На фото: Компьютер компании D-Wave, который она называет квантовым. Усилия в направлении квантового компьютера предпринимаются с начала 80-х прошлого века – столетия великих научных достижений, среди которых КМ стоит на первом месте (хотя без СТО она бы не развилась). В основе квантового компьютинга лежит понятие запутанности (quantum entanglement). Однако, сложившиеся и широко популяризованные взгляды на сей предмет, на мой взгляд, слишком далеко ушли от того, что на самом деле строго вытекает из КМ. Здесь рассмотрена проблема квантовых вычислений. Главным содержанием настоящей статьи являются критические замечания в отношении научных основ мечты о Святом Граале эпохи интернета. Статья содержит ряд формул, которые понятны в основном профессиональным математикам. Однако, в целом статья интересна всем интересующимся проблемами и перспективами квантовых вычислений.
О кубитах для тех, кто не в теме
Исходным понятием является кубит (quantum bit) – элементарный носитель информации. В качестве физической реализации в принципе может выступать любой квантовый объект, имеющий два базовых состояния, которые обозначаются |0⟩ и |1⟩. На роль кубита, например, годится фотон с одной из двух перпендикулярных поляризаций или электрон с одним из двух противоположных направлений спина. С математической точки зрения состояния являются векторами, которые можно умножать на комплексные числа, а также складывать между собой. Таким образом, помимо базовых состояний |0⟩ и |1⟩, которые аналогичны 0 и 1 в обычном бите, кубит может пребывать в квантовом состоянии
где c0,c1 — любые комплексные числа (в частности действительные). При этом физическое состояние кубита не изменится, если коэффициенты c0,c1 умножить на одно и то же число a≠0. Поэтому вектор |x⟩ можно нормировать, т.е., выбрать множитель a∈C так, чтобы новые коэффициенты cj′=acj удовлетворяли условию |c0′|2+|c1′|2=1. Тогда вектор |x′⟩=c0′⋅|0⟩+c1′⋅|1⟩ называется нормированным или единичным.
Физический смысл состояния (1), которое называется суперпозицией базовых состояний, заключается в следующем. Если вектор |x⟩ суть единичный, то числа |c0|2 и |c1|2 дают вероятности того, что при измерении состояния кубита будет получено |0⟩ и |1⟩ соответственно. После измерения кубит останется в том базовом состоянии, которое оказалось измеренным. Вывести из него может только внешнее воздействие. Таким образом можно сказать, что кубит в нормированном состоянии (1) с вероятностью |c0|2 равен 0 и с вероятностью |c1|2 равен 1. Ничего подобного с обычным (классическим) битом происходить не может. Суперпозиция — существенно квантовый эффект! Термин «базовые» применительно к состояниям |0⟩ и |1⟩ означает, что любое другое состояние кубита может быть выражено их суперпозицией в смысле (1) для некоторых чисел c0,c1 (определенных с точностью до пропорциональности).
Рабочий регистр квантового компьютера мыслится набором из n кубитов, которые каким-то образом взаимосвязаны между собой — запутаны. Для того, чтобы реализовать его грандиозные возможности, число n должно быть достаточно большим, скажем n>100. Пусть каждый кубит номер j в регистре находится в своем состоянии |xj⟩, где xj∈{0,1}. Если рассматривать набор из n кубитов, как квантовый объект, то его состояние можно описать набором векторов |x1⟩|x2⟩…|xn⟩, который кратко обозначается |x1x2…xn⟩. Часто используется термин «тензорное произведение» и обозначения вроде |x1⟩⊗…⊗|xn⟩, способные смутить многих читателей статей о квантовых компьютерах. Им можно посоветовать просто игнорировать значок ⊗, полагая
Пока нет никакой запутанности — просто набор независимых кубитов, хотя и считающихся единым объектом. Запутанность появится, если мы введем в рассмотрение суперпозиции состояний (2), т.е., векторы (точнее тензоры) состояний регистра, имеющие вид
где cj — комплексные числа, |xkj⟩ — вектор состояния k — го кубита, xkj∈{0,1}. Множество всевозможных векторов вида (3) называется тензорным произведением n пространств состояний одиночных кубитов, хотя без слова «тензор» вполне можно обходиться (в фундаментальной книге Дирака «Принципы квантовой механики» оно ни разу не встречается).
Для начального, но точного и не научно-популярного знакомства с этой темой рекомендуется хорошая статья, причем достаточно параграфов 2, 3, 4, 5 и 7.1. Параграф 6 можно пропустить без ущерба для понимания основных идей. После того, как вы прочитали это введение, вам будет легче разобраться с ней, а изложение основ квантовой механики можно будет вовсе пропустить.
КВАНТОВАЯ ЗАПУТАННОСТЬ
По определению состояние (3) является запутанным, если этот вектор нельзя разложить в произведение |A1⟩|A2⟩…|An⟩ векторов состояний одиночных кубитов. В этом случае воздействие на любой из кубитов может отражаться на состояниях каких-то других кубитов регистра. Заметим, что каждый вектор |Aj⟩, вообще говоря, является суперпозицией базовых, так что |Aj⟩=cj0|0⟩+cj1|1⟩ для некоторых чисел cj0,cj1.
Для иллюстрации рассмотрим случай двух кубитов. Их общее состояние |01⟩ не является запутанным, т.к. |01⟩=|0⟩|1⟩. Измерив, скажем, второй кубит мы найдем его в состоянии |1⟩. При этом первый останется в то же состоянии |0⟩, т.е., измерение второго на него не повлияло. Пусть теперь пара кубитов находится в состоянии |01⟩+|10⟩. Оно является запутанным, т.к. этот вектор нельзя представить в виде произведения |A1⟩|A2⟩ (легко проверить).
При измерении второго кубита мы с равной вероятностью 0.5 найдем его в состоянии |0⟩ или |1⟩. Если второй кубит обнаружен в состоянии |0⟩, то это означает, что запутанная пара оказалась в |10⟩. Соответственно, первый кубит автоматически попал в состояние |1⟩. Если же второй кубит измерен в состоянии |1⟩, то пара оказалась в |01⟩. Следовательно, первый кубит оказался в состоянии |0⟩ в тот момент, как мы измерили второй. Таким образом, измерение состояния одного из двух запутанных кубитов мгновенно влияет на состояние второго. При этом исходное, общее состояние пары кубитов разрушается, что драматически называют коллапсом волновой функции (термин «волновая функция» можно считать синонимом для «вектор состояния», хотя между ними все же есть формальное различие).
Примером запутанных кубитов являются электроны одного атома или одной орбитали, рассматриваемые в спиновых состояниях. Принцип Паули запрещает двум электронам иметь общий энергетический уровень, орбитальный и спиновой момент. Предположим, что для одного электрона удалось измерить спин, а до этого он был в суперпозиции спиновых состояний. Тогда второй электрон на той же орбитали сразу приобретает спин ему обратный, хотя до этого он также был в суперпозиции. Даже если при измерении первого электрона второй не был затронут!
Рисунок иллюстрирует измерение одного кубита в квантовом регистре из 6-ти кубитов
О бабочке, сотрясающей галактику
Все это действительно вытекает из квантовой механики, но… любая математическая модель имеет ограниченную применимость. Очевидно, что для применимости КМ кубиты должны быть реально связаны между собой в рамках единой, квантовой системы. Дать строгую формулировку затруднительно, хотя интуитивно все понятно.
Предположим, что кубитами являются фотоны в состояниях поляризации. Очевидно, что, как единая квантовая система, они должны быть частью единого, связного поля, которое остается таковым в процессе своего распространения. Если же каждый из фотонов находится в отдельном волновом пакете и они разобщены между собой в пространстве (к примеру между пакетами ~1 м при размерах пакетов ~1 мм), то о реальной их запутанности вряд ли есть смысл говорить.
Можно формально рассматривать векторы общих состояний вида (3), но от этого наши фотоны не запутаются. Физической реальности a’ priori соответствуют только векторы вида (2), которые выражают факт пребывания каждого фотона в своем «личном» состоянии поляризации, без какой-либо связи с другими. Из квантовой механики отнюдь не вытекает, что суперпозиции (3) таких «общих состояний» имеют отношение к физической реальности. Это — вопрос о применимости математической модели, на который она сама не ответит.
Однако, энтузиасты квантовой магии по существу верят в то, что любой набор однородных квантовых объектов, формально объединенных в нечто целое, автоматически образует квантовую систему с пространством состояний, состоящим из векторов вида (3). Поскольку среди таких состояний есть запутанные, эти объекты можно запутать. Нужно лишь придумать как… или откуда получить уже запутанными. Догматизации этой идеи, по-видимому, в значительной мере способствовали математики с их склонностью к формальным построениям. Квантовые вычисления — это огромное поле для приложения математических усилий, на котором растут красивые результаты вроде алгоритма Шора! При этом все ссылаются на КМ, как якобы надежную основу своей веры.
Вернемся к примеру с парой кубитов в запутанном состоянии |01⟩+|10⟩. Допустим, что они удаляются друг от друга на такое расстояние, которое исключает физическое взаимодействие (прямо и через посредство других тел). Сторонники квантовой магии считают, что если разлет происходит по инерции без внешнего влияния, то данное, запутанное состояние останется таковым независимо от расстояния между кубитами. Формально ничто не мешает так считать, но что фактически произойдет после того, как мы измерим 1-й кубит и найдем его в состоянии |1⟩, к примеру? Согласно магической парадигме, пара кубитов окажется в состоянии |10⟩. Но это означало бы, что измеряя 1-й кубит мы автоматически влияем на 2-й. Даже если он находится на другом конце галактики! Абсурдность такого вывода не смущает научное сообщество, которое принимает ЭПР — чудеса, как якобы формально вытекающие из квантовой механики.
Более разумно предположить, что измерение 1-го кубита никак не повлияет на 2-й, а лишь уничтожит их совместное состояние без каких-либо последствий для 2-го кубита. Он так и останется в индивидуальном состоянии |0⟩+|1⟩, в котором был первоначально. Принимая эту точку зрения мы должны просто уточнить понятие измерения составной системы. А именно: ее измерением (которое способно вызвать скачок в собственное состояние измеряемой величины) является лишь такое взаимодействие с макроскопическим объектом, которое затрагивает все подсистемы, объединением которых данная система получается.
Таким образом, абсурдные выводы из псевдопарадокса ЭПР, составляющие квантовую магию, вынуждают нас уточнить понятие возмущения. Но вместо этого ему придают абсолютный смысл, как если бы взмах крыла бабочки считался возмущением Вселенной, … хотя с философской точки зрения так оно и есть. Разумеется, эти соображения не опровергают ЭПР — парадигму. Мерилом истины является только эксперимент. В статье основополагающие эксперименты Алана Аспэ подвергнуты критике с точки зрения квантовой механики. Есть серьезные основания полагать, что они были неверно интерпретированы.
Магическая запутанность необходима для управления кубитами. Очевидно, что человек сможет взаимодействовать с отдельными кубитами в регистре через попарно запутанные с ними, пространственно разделенные между собой объекты или разводя кубиты на макроскопические расстояния при сохранении запутанности между ними. Иначе считывать/записывать данные в квантовые регистры вряд ли возможно. Безотносительно к вопросу о физической реальности запутанности в смысле ЭПР, теория квантовых компьютеров имеет собственные трудности. Рассмотрим специфическую проблему квантовых вычислений, которая известна многим специалистам, но в целом не привлекает к себе должного внимания. Она связана с симметрией/антисимметрией совместных состояний тождественных частиц.
Продукт неудачной телепортации человека (скриншот из фильма «Муха»)
Квантовая телепортация
На ЭПР основана идея телепортации, т.е., способа передачи состояния кубитов другим кубитам, расположенным на любом удалении. Об этой технологии можно прочитать в пункте 4.2.2 статьи, на которую я буду ссылаться, указывая только пункты. Описание алгоритма точно следует п. 4.1.
Небольшое отступление. Теория квантовых вычислений исходит из гипотезы о том, что любое унитарное преобразование пространства состояний квантового регистра может быть физически реализовано через воздействие на его кубиты (все вместе или по отдельности). Определение унитарного преобразования дано в п. 4 (Квантовые вентили). Условие унитарности лежит в основе квантовой механики. В квантовых вычислениях такие преобразования называются квантовыми вентилями (gate), что указывает на связь со схемотехникой. В сущности это — обратимые логические схемы, преобразующие данные в регистрах, только они действуют на кубиты, а не биты. Но некоторые квантовые вентили не имеют классических аналогов, например 1-кубитное преобразование Адамара H (п. 4.1.1).
Например вентиль Cnot он же CONTROLLED-NOT действует на пару кубитов, как классическое Cnot на пару битов. Кроме того, квантовый Cnot сохраняет суперпозиции состояний, т.е.:
Вернемся к телепортации. Пусть у Алисы и удаленного Боба есть по одному кубиту из запутанной пары в общем состоянии |ψ0⟩=|00⟩+|11⟩. Алиса хочет телепортировать Бобу другой кубит, который находится в состоянии |φ⟩=a|0⟩+b|1⟩. Состояние набора этих кубитов можно задать вектором
Первый кубит в тройке |xyz⟩ подлежит телепортации, второй и третий — это запутанная пара кубитов Алисы и Боба соответственно. Алиса применяет к вектору (4) вентиль Cnot⊗I, а затем H⊗I⊗I, где I — тождественное преобразование. Фактически она воздействует Cnot на первые два кубита, которые ей доступны, а третий остается неизменным. Затем применяет к первому кубиту вентиль H, при этом два других не трогает.
Потом Алиса измеряет первые два кубита, которые оказываются в одном из состояний |xy⟩, где x,y∈{0,1}. Соответственно, запутанный с ними кубит Боба переходит в одно из четырех состояний, указанных в таблице в конце п. 4.2.2. Полученную при измерении пару битов Алиса пересылает Бобу по обычной связи через интернет. В зависимости от полученных значений он применяет к своему кубиту один из вентилей I,X,Y,Z, согласно таблице в конце п. 4.2.2. Действие X,Y,Z описано в начале п. 4.1.
В результате всех этих манипуляций кубит Боба переходит в состояние a|0⟩+b|1⟩ того кубита, который Алиса хотела телепортировать. При этом состояние последнего разрушилось, т.к. клонирование состояний невозможно (доказано). Таким образом, имела место передача состояния кубита, а необходимая для этого информация передана обычным образом.
Можно ли назвать это телепортацией? Даже если бы удалось передать квантовое состояние макроскопического объекта, то для его воспроизведения в другом месте потребуется физически тождественный объект. Сначала эту «заготовку» нужно разместить по месту прибытия. Поэтому фантазии о телепортациях, как способе преодоления чудовищных, межзвездных расстояний не имеют под собой основания. Кроме того для человека, который подвергся такой «нуль-транспортировке», она бы просто означала смерть. Копия исходного лица, возникшая по месту прибытия, была бы другим человеком, хотя и с тем же набором воспоминаний (см. фильм «Луна 2112» и статью). В любом случае ограничение перемещений скоростью света остается в силе, т.к. метод квантовой телепортации предполагает передачу информации посредством сигналов.
По-видимому, даже состояние одного кубита телепортировать нельзя. Причина в том, что пару удаленных друг от друга, запутанных кубитов создать вряд ли возможно. Однако предположим, что возможно.
Согласно квантовой механике частицы делятся на два класса: бозоны и фермионы. К первым относятся фотоны, а к вторым электроны. Если набор из n бозонов образует единый квантовый объект, то допустимые для него векторы состояний (3) должны быть симметричными относительно любых перестановок частиц. Это означает, что если в каждом слагаемом |x1jx2j…xnj⟩ одинаково переставить сомножители, то вектор (3) не должен измениться. Для набора из n фермионов допустимые состояния (3) должны быть антисимметричными относительно любых перестановок. Это означает, что если в каждом слагаемом одинаково переставить сомножители, то для четной перестановки вектор (3) не изменится, а для нечетной поменяет знак. Именно различие в поведении при перестановках наборов тождественных частиц делит их на бозоны и фермионы.
Таким образом пара запутанных кубитов, являющихся бозонами, может быть в состояниях |00⟩, |11⟩, |01⟩+|10⟩, но не может находиться в состоянии |10⟩, т.к. при транспозиции оно переходит в |01⟩. Пара кубитов, являющихся фермионами, не может быть в состояниях |00⟩ и |11⟩, т.к. при транспозиции (нечетная перестановка) они не меняются. Пара фермионов может находиться в (запутанном) состоянии |01⟩−|10⟩, т.к. при транспозиции оно переходит в |10⟩−|01⟩=−(|01⟩−|10⟩) (т.е. меняет знак).
Преобразование CONTROLLED-NOT не сохраняет симметрию и антисимметрию состояний:
Cnot(|11⟩)=|10⟩ — образ симметричного вектора не симметричен и не антисимметричен;
Cnot(|10⟩−|01⟩)=|11⟩−|01⟩ — образ антисимметричного вектора не симметричен и не антисимметричен.
Таким образом, применяя преобразование Cnot к паре запутанных бозонов получим состояние, в котором эта пара не может оказаться. Аналогично, применяя Cnot к паре запутанных фермионов получим состояние, в котором они вместе быть не могут. Поэтому любая попытка физической реализации Cnot приведет к тому, что состояние двух кубитов Алисы перестанет быть запутанным, и единая квантовая система выродится в пару независимых кубитов с общим состоянием |x⟩|y⟩.
Вектор (4), который служит исходным состоянием тройки кубитов, не является симметричным и не является антисимметричным. Это также относится к результату манипуляций над ним (см. п. 4.2.2). Таким образом, данная тройка кубитов не может находиться в запутанном состоянии, т.к. она не может образовывать единую квантовую систему из трех бозонов или трех фермионов. Однако алгоритм предполагает, что первая пара кубитов запутана с третьим. Поскольку второй и третий кубиты являются запутанными, первые два кубита должны быть запутаны между собой (вплоть до измерения Алисой состояния своих кубитов). Но, как показано выше, преобразование Cnot разрушит эту связь.
Итак, данный алгоритм телепортации нельзя осуществить с помощью физически тождественных, т.е., неразличимых кубитов. А в случае различных квантовых частиц механизм запутывания не работает. В самом деле, состояние |x⟩|y⟩+|y⟩|x⟩ не имеет смысла, т.к. если |x⟩ есть вектор состояния 1-й частицы, то он не может быть состоянием 2-й, аналогично |y⟩. Менять местами эти сомножители нельзя! Кроме того, для различных частиц телепортация в общем теряет смысл (нельзя копировать состояние протона на нейтроне)
По-видимому, соображения симметрии/антисимметрии могут быть использованы для доказательства невозможности телепортации состояния кубита посредством других алгоритмов.
Но как быть с успешными экспериментами по телепортации одного кубита, о которых идет речь в п. 4.2.2 ?! Первый из этих опытов описан в статье. Из аннотации видно, что данный эксперимент не был телепортацией в том смысле, который обсуждался выше. Утверждается, что имело место измерение поляризации одного из пары запутанных и удаленных друг от друга фотонов. При этом оказалось, что (как и предсказывает ЭПР) второй фотон имел такую же поляризацию. Данный результат авторы назвали телепортацией. Такая свобода манипулирования научно-фантастическими терминами вносит изрядную сумятицу в умы!
Но был ли такого рода опытами подтвержден феномен запутанности взаимно удаленных частиц, являющийся основой квантовой магии? Позволю себе утверждать, что нет! Опыты с запутанными фотонами были интерпретированы ошибочно. Во всех таких экспериментах, на самом деле, фиксировались факты «запутанности» одного фотонов с самими собой.
Квантовые вычисления
Если в качестве кубитов использовать фермионы, например электроны в спиновых состояниях, то при числе кубитов n≥3 любой вектор состояния регистра является нулевым. Это следует из общего утверждения: любой поливектор равен нулю в пространстве, размерность которого меньше его ранга. Его легко проверить непосредственно, попытавшись составить антисимметричное состояние из векторов вида |000⟩,|001⟩,…,|111⟩. Ничего не выйдет! Не следует путать нулевой вектор состояния регистра, не отвечающий никакому физическому состоянию, с вектором состояния, в котором все кубиты имеют значение 0.
Таким образом, фермионы не годятся для квантовых регистров из более, чем двух кубитов. Практически это означает, что квантовые компьютеры можно создавать только на «элементной базе» из бозонов. Например фотонов или альфа-частиц, хотя для последних не ясно, что считать состояниями |0⟩ и |1⟩.
Однако в том виде, как принято описывать квантовые компьютеры, они не осуществимы и с кубитами-бозонами!
Известно, что любое преобразование двоичного кода может быть выполнено через композицию вентилей Фредкина F и Тоффоли T (п. 5.1). Легко проверить, что квантовый вентиль T разрушает симметрию состояний: T(|111⟩)=|110⟩. Вентиль F действует на симметричные векторы, как тождественное преобразование. В самом деле:
F(|101⟩+|110⟩+|011⟩)=|110⟩+|101⟩+|011⟩
F(|100⟩+|010⟩+|001⟩)=|100⟩+|010⟩+|001⟩
F(|111⟩)=|111⟩ F(|000⟩)=|000⟩
Легко понять, что любой симметричный, трехкубитный вектор состояния является линейной комбинацией векторов в левых частях этих уравнений. Следовательно, вентиль Фредкина не меняет симметрические состояния. Поэтому любая последовательность преобразований F и T, применяемых к тройкам кубитов в соответствующих разрядах регистров с данными, разрушит запутанные состояния таких троек или оставит их без изменений. Поэтому квантовая вычисление, реализованное последовательностью вентилей F и T, в общем случае физически неосуществимо. Отсюда следует, что почти все квантовые вычисления осуществить невозможно!
Таким образом, вопреки всеобщему энтузиазму, реальные перспективы квантовых компьютеров выглядят весьма туманно. Проблема с симметрией состояний известна, но большинство специалистов над ней явно не задумываются. В качестве решения предлагается эмуляция квантовых регистров с помощью цепочек фермионов (fermionic lattices) или, другими словами, пространств Фока. Эта идея заключается в следующем.
Пусть даны n состояний |ψ1⟩,…,|ψn⟩ какого-нибудь фермиона, и других состояний он принимать не может. Тогда состояние |x1x2…xn⟩ виртуального, квантового регистра предлагается эмулировать набором из k таких фермионов, где k — число единиц в двоичном коде x1x2…xn. При этом фермионы находятся в общем антисимметричном состоянии, отвечающем занятым состояниям |ψj1⟩,…,|ψjk⟩, где j1,…,jk — номера разрядов регистра, в которых стоят единицы. Соответственно, линейные комбинации вида (3) состояний виртуального регистра эмулируются такими же линейными комбинациями оответствующих им состояний цепочек фермионов.
Выбор фермионов, а не бозонов обусловлен тем, что никакие два фермиона в этой системе не могут находиться в одном состоянии |ψj⟩. В противном случае такая эмуляция была бы невозможной. Таким образом, всевозможным состояниям квантового регистра соответствует пространство Фока фермионных состояний, в которых число частиц варьируется от 0 до n.
Считается, что такая эмуляция решает проблему нарушения симметрии состояний в процессе квантовых вычислений. Однако, она катастрофически усложняет физическую реализацию квантовых алгоритмов! Дело в том, что придется различать и контролировать не 2 состояния каждого кубита в регистре из n кубитов, а n состояний фермионов в системе, где число этих частиц меняется в процессе вычислений. При этом n достигает сотен или тысяч, если нужен квантовый компьютер со всеми его фантастическими возможностями. Проблема декогеренции физических кубитов на этом фоне выглядит детской забавой, а усилия, направленные на ее решение, были затрачены во многом понапрасну.
Есть также теоретические трудности, связанные с эмуляцией запутанных состояний виртуального регистра. Для определения запутанности по состояниям фермионных цепочек прибегают к ухищрениям, которые не дают полного решения проблемы. Следствием этого стал например тот факт, что фермионному состоянию |10⟩−|01⟩ отказали в праве считаться запутанным на том основании, что это состояние якобы нефизическое!
Стоит также заметить, что проблема с квантовой телепортацией таким образом не решается, поскольку она осуществляется не с виртуальными, а с реальными кубитами.
Таким образом, даже безотносительно к вопросу о физической реальности квантовой магии, принципиальная осуществимость квантовых компьютеров вызывает серьезные сомнения. О них ученые предпочитают не рассказывать обществу, если судить по научно-популярным восторгам вокруг очередных проверок нарушений неравенства Белла.
Автор: Дмитрий Борисович Зотьев @SpaceOdyssey
Источник: https://habr.com/