Сверхсветовая передача сигналов [Петр Путенихин] (fb2) читать постранично, страница - 3

фотона, соответственно, в следующих состояниях:

Это состояние системы фотонов на входе гейта будет описываться уравнением и матрицей вида:

После прохождения фотонов через гейт будет получено новое состояние системы:

Знак неравенства означает, что на выходе получено запутанное (белловское) состояние фотонов: управляющего и управляемого, поскольку такое состояние не может быть факторизовано, то есть, не может быть представлено как тензорное произведение состояний независимых фотонов. Из этого сразу же следует, что входной управляющий сигнал на выход в неизменном виде все-таки не прошёл.

Состояния квантовых частиц с нелокальными свойствами в квантовой механике известны как состояния полной запутанности – состояния Белла:

Два из этих состояний в литературе известны под собственными именами: ψ ^– – "ЭПР-состояние" и ϕ⁺ – "состояние шрёдингеровского кота". Частицы в состоянии запутанности ведут себя как единое целое независимо от расстояния между ними, демонстрируя полную и мгновенную взаимосвязь. Однако приведённые четыре состояния Белла – это лишь часть всех возможных состояний запутанности, их частный случай. Как и чистых состояний Белла, таких общих состояний также четыре:

В литературе гейт CNOT описывается помимо уравнений также таблицей истинности, в которой, однако, не отражено это свойство гейта – создавать запутанные состояния. То есть, традиционная таблица истинности гейта CNOT неполна, и должна быть дополнена строками, отражающими создание запутанных состояний. В конец полной таблицы состояний гейта CNOT должны быть добавлены следующие две строки:

Эти строки показывают, что при определённых комбинациях входных сигналов на выходе образуется запутанное состояние, которое не является логическим сложением по модулю 2. Запутанные состояния приведены в общем виде, частным случаем которых являются запутанные состояния Белла ϕ^± и ψ^±, для которых α = β = 1/√2. Это дополнение расширяет понятие гейта "Controlled NOT" (CNOT, "управляемое НЕ"), поскольку его управляемый вход при определённых условиях становится управляющим.

Телепортация запутанности

Квантовая телепортация, то есть, мгновенная передача квантового состояния от одной частицы к другой – это свершившийся экспериментальный факт. В процессе традиционной "квантовой телепортации состояния" частицы (кубиты) преобразуются в специальной установке, где они последовательно изменяют свои состояния. Если немного видоизменить классическую установку, то можно попытаться осуществить еще одни вариант телепортации – "телепортацию состояния запутанности". Это более общий случай телепортации, когда телепортируется не состояние одного кубита, а состояние запутанности пары кубитов, что, вероятно, позволит получить новый интересный результат. Для такой расширенной телепортации в схеме традиционной установки следует поменять местами гейт CNOT и гейт Адамара, как показано на рис.2.

Рис.2. Установка для телепортации запутанности

При описании процесса телепортации будем считать, что в его осуществлении принимают участие традиционные персонажи – Алиса и Боб. Пометим индексами A и C кубиты, принадлежащие Алисе, а индексами B и D кубиты, соответственно, принадлежащие Бобу. Волновые функции двух запутанных пар описываются уравнениями

Тогда на стороне Алисы исходные, начальные состояния системы кубитов, участвующих в телепортации запутанности, можно записать следующим образом:

Здесь мы совершаем кажущееся нарушение формализма теории, поскольку фотоны Алисы запутаны с соответствующими фотонами Боба, поэтому, казалось бы, не могут быть описаны собственной волновой функцией. Однако при отсутствии воздействий на фотоны Боба для Алисы её фотоны ничем не отличаются от обычных, незапутанных фотонов, и она может работать с каждым из них как с обычным фотоном. В этом случае независимые фотоны Алисы описываются волновыми функциями:

Пропустим кубит C Алисы через гейт Адамара. В результате получаем новую функцию системы

Раскрываем скобки у правых сомножителей

Раскрываем оставшиеся скобки и собираем однотипные члены уравнения

После группировки и сокращения получаем

Здесь мы в рамках формализма квантовой информатики выполнили хотя и очевидные, но не вполне обоснованные математические