ЖЭТФ, 2020, том 158, вып. 3 (9), стр. 419-429
© 2020
ВЕРОЯТНОСТНАЯ ТЕЛЕПОРТАЦИЯ ОДИНОЧНОГО КУБИТА:
ОБНАРУЖЕНИЕ НОВОГО W -КЛАССА СОСТОЯНИЙ
С. Адхикари*
Технологический университет Дели
110042, Дели, Индия
Поступила в редакцию 28 августа 2019 г.,
после переработки 28 августа 2019 г.
Принята к публикации 15 октября 2019 г.
(Перевод с английского)
PROBABILISTIC TELEPORTATION OF A SINGLE QUBIT:
UNEARTHING NEW W -CLASS OF STATES
Satyabrata Adhikari
Предложен вероятностный протокол для телепортации одного кубита через трехкубитные W -состояния с
использованием двухкубитного измерительного базиса. Показано, что при правильном выборе параметра
исходного состояния можно добиться очень высокой вероятности успеха протокола. Получено условие
успешного выполнения протокола телепортации, что определяет новый класс трехкубитных W -состоя-
ний, используемых в качестве исходного состояния. Построены операторы, которые можно использовать
для экспериментальной проверки условия телепортации. Эта проверка необходима для определения при-
менимости данного трехкубитного состояния для протокола. Также численно определено количество
запутанности, содержащейся в найденном W -классе общих состояний. Кроме того, показано, что общие
состояния W -класса, используемые в протоколе телепортации, можно приготовить в ЯМР-эксперименте.
DOI: 10.31857/S0044451020090011
зашифрованная в одиночном кубите, может пере-
даваться удаленному получателю через двухкубит-
ное максимально запутанное состояние, совместно
1. ВВЕДЕНИЕ
используемое отправителем и получателем, с помо-
Запутанность является квантовомеханическим
щью двух классических битов информации. Прото-
свойством, не имеющим аналогов в классической
колы квантовой телепортации имеют решающее зна-
физике [1]. Она служит мощным средством кван-
чение не только для развития квантовой теории ин-
товой обработки информации, поскольку в рамках
формации, но и для совершенствования квантовых
законов квантовой механики без запутанности бы-
технологий. Протокол телепортации может быть де-
ло бы невозможно осуществить переход квантово-
терминированным [5] или вероятностным [6], т. е.
го состояния (квантовую телепортацию) [2]. Кван-
кубит может телепортироваться с единичной веро-
товая телепортация оказывается незаменимым ин-
ятностью или с некоторой ненулевой вероятностью
струментом для квантовых вычислений [3] и кван-
меньше единицы. Если кубит можно телепортиро-
товых коммуникаций [4]. В 1993 г. в работе [5] был
вать между двумя удаленными друг от друга ме-
предложен протокол телепортации, ставший рево-
стами с единичной точностью и единичной вероят-
люционной идеей в области квантовых коммуника-
ностью, то это называется идеальной телепортаци-
ций. В работе [5] было показано, что информация,
ей. В первоначальном протоколе идеальная телепор-
тация одного кубита была достигнута с помощью
* E-mail: satyabrata@dtu.ac.in
419
С. Адхикари
ЖЭТФ, том 158, вып. 3 (9), 2020
общего чистого двухкубитного максимально запу-
Помимо ГХЦ-состояний существует еще один
танного состояния. Однако если общее состояние не
класс трехкубитных состояний, называемый
является максимально запутанным, то существуют
W-классом. Эти два класса трехкубитных за-
протоколы, с помощью которых можно телепорти-
путанных состояний неэквивалентны по отношению
ровать кубит с единичной точностью, но с некоторой
к стохастическим локальным операциям и клас-
вероятностью меньше единицы [7].
сическим коммуникациям (ЛОКК) [22]. Следует
Существуют некоторые другие протоколы, такие
отметить важное обстоятельство, что если от-
как протокол телепортации с использованием пор-
следить один кубит из трехкубитного состояния
тов [8], в котором неизвестное квантовое состояние
ГХЦ-класса, то редуцированное двухкубитное со-
должно быть телепортировано в один из несколь-
стояние окажется состоянием с нулевым дискордом
ких портов на удаленном сайте, симметричный про-
[23], в то время как для случая трехкубитного со-
токол многосторонне управляемой телепортации [9],
стояния W -класса ситуация иная. Отличие состоит
в котором изучалась телепортация произвольного
не только в том, что они могут использоваться в
двухкубитного запутанного состояния с использова-
качестве квантового канала при телепортации, но
нием двух состояний Гринбергера - Хорна - Цайлин-
также в том, что если отследить один кубит из
дера (ГХЦ) [10], и протокол идеальной управляе-
трехкубитного состояния W -класса, то редуциро-
мой телепортации [11], в котором в качестве общего
ванное двухкубитное смешанное состояние будет
исходного состояния использовалось трехкубитное
запутанным. В работе
[24] было показано, что
запутанное состояние. В работе [12] изучалась те-
трехкубитное W -состояние может служить удоб-
лепортация неизвестных кудитных состояний через
ным общим исходным состоянием при квантовой
чисто квантовые каналы с немаксимальным рангом
защищенной передаче информации. В работе [25]
Шмидта. Таким образом, общее запутанное состо-
разработан протокол квантовой телепортации с
яние играет важнейшую роль в архитектуре про-
использованием W -состояния в качестве общего
токолов телепортации. Экспериментальная реализа-
квантового канала, однако для восстановления
ция квантовой телепортации была успешно проде-
неизвестного состояния в этом протоколе требуется
монстрирована на примере фотонных [13] и атомных
нелокальное действие. Существует еще один про-
[14] кубитов.
токол телепортации, использующий W-состояние в
В протоколе телепортации кубита в качестве ис-
качестве исходного, однако он работает с точностью
ходного состояния можно также использовать двух-
телепортации меньше единицы [26].
кубитное смешанное запутанное состояние [15]. В
работе [16] изучалась квантовая телепортация опти-
В 2006 г. Агравал и Пати в работе [27] доказали
ческих кубитов с использованием в качестве кван-
существование трехкубитных состояний W-класса,
тового канала гибридной запутанности с эффекта-
которые можно использовать в качестве общего ис-
ми декогерирования. Однако можно видеть, что до-
ходного состояния для достижения идеальной теле-
стижение отметки единичной точности невозмож-
портации однокубитного состояния. Этот протокол
но ни в одном протоколе телепортации, использую-
основан на трехкубитном проекционном измерении
щем в качестве общего исходного состояния смешан-
фон Неймана и двух классических битах передачи
ные двухкубитные запутанные состояния, поэтому
информации, однако такое измерение трудно осуще-
их нельзя рассматривать в качестве надежной осно-
ствить экспериментально. Это побуждает пересмот-
вы для идеальной телепортации.
реть данный протокол телепортации с точки зрения
Было обнаружено, что неизвестные трехкубит-
возможности использования двухкубитных проек-
ные запутанные ГХЦ-состояния можно использо-
ционных измерений фон неймановского типа вместо
вать в качестве квантовых каналов при некоторой
трехкубитных. В данной работе показана возмож-
схеме телепортации, которая была также осуществ-
ность разрешения проблемы, отмеченной в прото-
лена экспериментально [17, 18]. Реализация адиаба-
коле телепортации Агравала - Пати, за счет исполь-
тического протокола квантовой телепортации для
зования двухкубитного базиса проекционного изме-
идеальной телепортации с тремя кубитами была ис-
рения вместо трехкубитного. Для этого предложен
следована в работе [19]. Также было получено [20],
вероятностный протокол телепортации, в котором
что для идеальной телепортации одно- и двухкубит-
можно выбирать параметр исходного состояния та-
ного состояний можно использовать максимально
ким образом, чтобы повышать вероятность успеш-
запутанное пятикубитное состояние, предложенное
ной работы протокола. В этом смысле его можно
в работе [21].
считать протоколом почти идеальной телепортации.
420
ЖЭТФ, том 158, вып. 3 (9), 2020
Вероятностная телепортация одиночного кубита. . .
Статья имеет следующую структуру. В разд. 2
ленная из четырех кубитов, описывается тензорным
пересмотрен протокол телепортации одиночного ку-
произведением |ψ〉x и |W 〉ABC и выражается в виде
бита Агравала - Пати. В разд. 3 предложен прото-
|ΦxABC = |ψ〉x ⊗ |W 〉ABC =
кол телепортации и получены условия телепорта-
ции одиночного кубита с единичной точностью и
= αλ0|0100 + αλ3|0010 + αλ2|0001 +
вероятностью близкой к единице. В разд. 4 обсуж-
+ βλ0|1100 + βλ3|1010 + βλ2|1001 =
дается реализация предложенного протокола почти
1
идеальной телепортации. В разд. 5 численно опре-
=
[|M+1xAB (α|0c + β|1c) + |M-1xAB
2
деляется количество запутанности используемого в
(α|0c - β|1c) + |M+2 xAB (β|0c + α|1c) +
протоколе телепортации общего трехкубитного со-
+ |M-2 xAB (β|0c - α|1c)],
(4)
стояния W -класса, а также его экспериментальное
осуществление. В разд. 6 обсуждается приготовле-
где векторы трехкубитных состояний
|M+1xAB,
ние общих трехкубитных W -состояний в ЯМР-экс-
|M-1xAB, |M+2xAB и |M-2xAB записываются как
перименте. В разд. 7 приведены основные выводы.
|M+1xAB = λ0|010 + λ3|001 + λ2|100〉,
|M-1xAB = λ0|010 + λ3|001〉 - λ2|100),
(5)
2. ПЕРЕСМОТР ПРОТОКОЛА
|M+2xAB = λ0|110 + λ3|101 + λ2|000),
АГРАВАЛА - ПАТИ ДЛЯ ИДЕАЛЬНОЙ
|M-2xAB = λ0|110 + λ3|101〉 - λ2|000).
ТЕЛЕПОРТАЦИИ ОДИНОЧНОГО КУБИТА
Для осуществления идеальной телепортации век-
Протокол идеальной телепортации одиночного
торы трехкубитных состояний |M+1xAB, |M-1xAB,
кубита, изученный Агравалом и Пати, отличает-
|M+2xAB и |M-2xAB должны быть взаимно ортого-
ся от первоначального протокола тем, что в каче-
нальны, однако легко показать, что 〈M+1|M-1 = 0
стве общего исходного состояния в нем используется
и 〈M+2|M-2 = 0. Поскольку векторы трехкубитно-
трехкубитное состояние W -класса. Более того, бы-
го состояния попарно неортогональны, необходимо
ло показано, что существует особый класс трехку-
наложить условие ортогональности.
битных W -состояний, который можно использовать
Трехкубитные векторы
|M+1xAB,
|M-1xAB,
в качестве исходного состояния для идеальной те-
|M+2xAB и |M-2xAB взаимно ортогональны, если
лепортации одиночного кубита. В данном разделе
эта схема телепортации будет пересмотрена с уче-
0|2 +3|2 =2|2.
(6)
том некоторых интересных фактов.
При выполнении условия (6) Алиса может осу-
ществить измерение состояния |ΦxABC с помощью
2.1. Протокол телепортации Агравала - Пати
трехкубитного измерительного базиса
Рассмотрим телепортируемое однокубитное со-
B = {|M+1 xAB,|M-1 xAB,|M+2 xAB|M-2 xAB}.
стояние вида:
В зависимости от результатов измерения Алиса по-
сылает Бобу два классических бита информации,
|ψ〉x = α|0 + β|1〉,
|α|2 + |β|2 = 1.
(1)
после чего Боб применяет соответствующую одноку-
битную унитарную операцию для завершения про-
Предположим, что чистое трехкубитное исходное
токола телепортации.
состояние, принадлежащее к W -классу, задается
как
2.2. Геометрическая интерпретация условия
|W (λ0, λ2, λ3)ABC = λ0|100+λ2|001+λ3|010〉.
(2)
идеальной телепортации
Используя условие ортогональности (6) в норми-
Условие
нормировки
для
состояния
ровке (3), получаем
|W (λ0, λ2, λ3)ABC имеет вид
1
2|2 =
(7)
0|2 +2|2 +3|2 = 1.
(3)
2
Из условий (6) и (7) имеем
Далее предполагается, что кубиты «x», «A» и «B»
принадлежат отправителю Алисе, а оставшийся ку-
1
0|2 +3|2 =
(8)
бит находится у получателя Боба. Система, состав-
2
421
С. Адхикари
ЖЭТФ, том 158, вып. 3 (9), 2020
Выражение (8) задает необходимое условие идеаль-
ночного кубита вместо трехкубитного проекционно-
ной телепортации одиночного кубита по протоко-
го измерения необходимо двухкубитное измерение
лу Агравана - Пати с использованием состояния
состояния Белла. Кроме того, показано, что суще-
W-класса вида (2) в качестве исходного состояния.
ствуют отличные от предложенных в работе [27]
Поскольку λ0 и λ3 являются комплексными па-
состояния W-класса, которые можно использовать
раметрами, можно всегда принять λ0 = u exp(1) и
для почти идеальной телепортации одиночного ку-
λ3 = v exp(2), где u, v — действительные перемен-
бита.
ные, а θ1, θ2 — фазы. Тогда уравнение (8) принимает
Начнем протокол телепортации с предположе-
вид
ния, что отправитель Алиса хочет передать некото-
рую информацию, зашифрованную в однокубитном
1
u2 + v2 =
(9)
состоянии (1), путем телепортации этого кубита по-
2
лучателю Бобу. По-прежнему считается, что Алиса
Геометрически это представляет собой окружность
и Боб совместно используют исходное состояние (2).
с центром в точке (0,0) и радиусом 1/
2. В центре
Хотя используемое в протоколе исходное состояние
окружности параметры λ0 и λ3 равны нулю, поэто-
принадлежит к W -классу, будет показано, что этот
му состояние |001 лежит в центре окружности. Ин-
класс отличается от W -состояний, задаваемых вы-
тересно отметить, что для идеальной телепортации
ражением (10).
по протоколу Агравала - Пати применимы все состо-
яния, лежащие на окружности. Без потери общнос-
ти можно выбрать
3.1. Протокол почти идеальной
телепортации одиночного кубита
1
√n
u=
,
2 + 2n,v=
2 + 2n
Рассмотрим составную систему из четырех ку-
битов, которую можно выразить в виде тензорного
где n — любое действительное число. Тогда трех-
произведения одиночного телепортируемого кубита
кубитные состояния W -класса, используемые в ка-
(1) и трехкубитного исходного состояния (2). Сле-
честве исходного состояния в протоколе Аграва-
довательно, четырехкубитное состояние можно вы-
ла - Пати, принимают вид
разить как
(
)
e1
1
√ne2
,
=
W
|ΦxABC = |ψ〉x ⊗ |W 〉ABC =
2 + 2n,
2
2 + 2nABC
e
1
1
√ne2
= αλ0|0100 + αλ3|0010 + αλ2|0001 +
=
|001 +
|010〉.
(10)
2 + 2n|100+
2
2 + 2n
+ βλ0|1100 + βλ3|1010 + βλ2|1001 =
1
Если выбрать параметр n так, чтобы выполнялось
=
[|N+1xAB (α|0c + β|1c) + |N-1xAB
одно из условий
2
(α|0c - β|1c) + |N+2 xAB (β|0c + α|1c) +
1
u2 + v2 <
(11)
+ |N-2 xAB (β|0c - α|1c)],
(13)
2
или
где трехкубитные векторы
|N+1xAB,
|N-1xAB,
1
u2 + v2 >
,
(12)
|N+2xAB и
|N-2xAB записываются следующим
2
образом:
то трехкубитные состояния лежат внутри или сна-
ружи окружности и поэтому неприменимы в каче-
|N+1xAB = (λ0|01+λ2|10) ⊗ |0+λ3|00〉 ⊗ |1〉,
стве исходного состояния для идеальной телепорта-
|N-1xAB = (λ0|01+λ2|10) ⊗ |0+λ3|00〉 ⊗ |1〉,
(14)
ции.
|N+2xAB = (λ0|11+λ2|00) ⊗ |0+λ3|10〉 ⊗ |1〉,
|N-2xAB = (λ0|11〉-λ2|00) ⊗ |0+λ3|10〉 ⊗ |1〉.
3. ПРОТОКОЛ ПОЧТИ ИДЕАЛЬНОЙ
Для осуществления измерения на своих кубитах
ТЕЛЕПОРТАЦИИ ОДИНОЧНОГО КУБИТА С
Алиса должна построить проекторы F и I - F , где
ЧИСТЫМ ТРЕХКУБИТНЫМ ИСХОДНЫМ
СОСТОЯНИЕМ И ДВУХКУБИТНЫМ
IxAB + IxA (σz)B
ИЗМЕРИТЕЛЬНЫМ БАЗИСОМ
F =
2
В данном разделе предложен протокол, в кото-
Под действием проектора F четырехкубитное со-
ром для достижения идеальной телепортации оди-
стояние |ΦxABC принимает вид
422
ЖЭТФ, том 158, вып. 3 (9), 2020
Вероятностная телепортация одиночного кубита. . .
|Υ(1)xACB = (F ⊗ IC )|ΦxABC =
Теперь рассмотрим случай, когда Алиса действу-
ет проектором F. В этом сценарии двухкубитные
= |Ψ(1)xAC ⊗ |0B,
(15)
векторы |P+1xA, |P-1xA, |P+2xA и |P-2
xA должны
где вектор трехкубитного состояния |Ψ(1)xAC зада-
быть взаимно ортогональны, однако оказывается,
ется как
что по-крайней мере для одной из пар векторов это
условие не выполняется. Поэтому необходимо нало-
1
|Ψ(1)xAC =
[|P+1xA (α|0c+β|1c)+|P-1xA
жить условие ортогональности. Трехкубитные век-
2
xAB явля-
торы |P+1xAB, |P-1xAB, |P+2xAB и |P-2
(α|0c - β|1c) + |P+2 xA (β|0c + α|1c) +
ются взаимно ортогональными, если
+ |P-2 xA (β|0c - α|1c)].
(16)
0|2 =2|2.
(22)
Векторы |P+1xA, |P-1xA, |P+2xA, |P-2xA определя-
ются следующим образом:
При выполнении условия (22) Алиса осуществля-
ет измерение состояния Белла на двух кубитах «x»
|P+1xA = λ0|01 + λ2|10〉,
и «A» и посылает результат Бобу, используя два
|P-1xA = λ0|01〉 - λ2|10〉,
классических бита. На последнем шаге протокола
(17)
|P+2xA = λ0|11 + λ2|00〉,
для восстановления исходного кубита (1) Боб, в за-
|P-2xAB = λ0|11〉 - λ2|00〉.
висимости от результата измерения Алисы, действу-
ет соответствующим оператором Паули на свой ку-
Вероятность оказаться в состоянии |Ψ(1)xAC ⊗ |0B
бит.
под действием измерения с проектором F равна
P(1) =0|2 +2|2.
(18)
3.2. Геометрическая интерпретация условия
почти идеального протокола телепортации
С другой стороны, если Алиса действует на свой ку-
бит проектором I-F , то четырехкубитное состояние
При помощи условия ортогональности (22) нор-
|ΦxABC имеет вид
мировка (3) сводится к выражению:
|Υ(2)xACB = ((I - F ) ⊗ IC )|ΦxABC =
20|2 +3|2 = 1,
(23)
= |Ψ(2)xAC ⊗ |1B,
(19)
где величина3| очень мала.
Таким образом получается условие (23), которое
где вектор трехкубитного состояния |Ψ(2)xAC вы-
является необходимым для почти идеальной теле-
ражается как
портации одиночного кубита в протоколе с исполь-
|Ψ(2)xAC = λ3(α|0 + β|1)x ⊗ |0A ⊗ |0C .
(20)
зованием в качестве исходного состояния W -клас-
са (2).
Вероятность перехода в состояние |Ψ(2)xAC ⊗ |1B
Теперь условие почти идеальной телепортации
равна
(23) можно выразить в виде
P(2) =3|2.
(21)
0|2
3|2
(
)2 +
= 1.
(24)
Из выражения (20) очевидно, что, если Алиса осу-
1/
2
12
ществляет проекционное измерение с проектором
I - F, то состояние нельзя телепортировать и, сле-
Выбирая λ0 = u exp(1) и λ3 = v exp(2), записы-
довательно, протокол нарушается.
ваем уравнение (24) следующим образом:
Чтобы сделать протокол телепортации почти
идеальным, можно выбрать малую величину пара-
u2
v2
(
)2 +
= 1,
(25)
метра λ3 в общем состоянии и пренебречь членом
1/
2
12
второго порядка λ23. Таким образом, можно достичь
почти нулевой вероятности оказаться в состоянии
где u, v — действительные переменные, η1, η2 — фа-
|Ψ(2)xAC ⊗ |1B. Другими словами, вероятность P1
зы, причем v очень мало.
может практически достигать единицы и, следова-
Геометрически уравнение (25) задает эллипс с
тельно, телепортация по протоколу становится по-
центром в точке (0,0), в котором лежит состояние
чти идеальной.
|001. Длины большой и малой осей эллипса равны
423
С. Адхикари
ЖЭТФ, том 158, вып. 3 (9), 2020
соответственно 1 и 1/
2. Можно видеть, что трех-
1. Протокол телепортации Агравала - Пати явля-
кубитные состояния W -класса, используемые в ка-
ется детерминированным, в то время как в данной
честве исходных для модифицированного протоко-
работе предлагается вероятностный протокол с вы-
ла идеальной телепортации, лежат на периметре эл-
сокой вероятностью успеха.
липса.
2. Для успешного выполнения протокола Агра-
Если выбрать значения действительных пере-
вала - Пати необходимо трехкубитное измерение, а
менных u и v так, чтобы выполнялось одно из усло-
для предлагаемого протокола требуется двухкубит-
вий
ное измерение состояния Белла, в котором Алиса
осуществляет проекционное измерение F. Как пра-
u2
v2
(
)2 +
<1
(26)
вило, двухкубитные измерения легче реализовать
12
1/
2
экспериментально, чем трехкубитные. Далее необ-
или
ходимо отметить важное обстоятельство, что для
u2
v2
выполнения данного протокола телепортации требу-
> 1,
(27)
(
)2 +
ется разделить четыре запутанных состояний Бел-
12
1/
2
ла. В этом отношении удачно, что эта задача была
то трехкубитные состояния лежат внутри или сна-
решена экспериментально на основе линейных опти-
ружи эллипса и поэтому неприменимы в качестве
ческих элементов [28, 29].
исходного состояния для идеальной телепортации в
3. Было получено, что в данном протоколе общие
модифицированном протоколе.
состояния W-класса, применимые для идеальной те-
лепортации одиночного кубита, лежат на периметре
эллипса с центром в точке (0,0) и длинами большой
3.3. Новый класс общих трехкубитных
и малой осей соответственно 1 и 1/
2, а в протоколе
W -состояний для телепортации одиночного
Агравала - Пати такие состояния лежат на окруж-
кубита
ности радиусом 1/
2 с центром в точке (0,0).
В данном разделе приведен настоящий вид клас-
4. Периметр эллипса, на котором лежат трехку-
са общих трехкубитных W-состояний для моди-
битные состояния W -класса для идеальной телепор-
фицированного протокола телепортации одиночно-
тации в данном протоколе, равен
3π, в то время
го кубита. Без потери общности можно выбрать
как длина окружности, на которой лежат такие со-
√m
2
стояния в протоколе Агравала - Пати, равна
2π.
u=
,
Поэтому в данном случае можно сделать вывод, что,
2 + 2m,v=
2 + 2m
по сравнению с протоколом Агравала - Пати, в пред-
где m — любое большое действительное число. Тогда
лагаемом протоколе содержится больше трехкубит-
общие трехкубитные состояния W-класса в модифи-
ных состояний W -класса.
цированном протоколе можно представить в следу-
ющем виде:
(√
4. РЕАЛИЗАЦИЯ УСЛОВИЯ
m
m
Ws
e1 ,
,
ТЕЛЕПОРТАЦИИ
2 + 2m
2 + 2m
)
В данном разделе получены условия идеальной
2
1
2
e
=
×
телепортации для протокола Агравала - Пати и поч-
2 + 2m
2 + 2m
ABC
ти идеальной телепортации данного протокола че-
]
×
[√m(e1 |100 + |001) +2e2 |010
(28)
рез пересечения [30] двухкубитных редуцированных
состояний. Двухкубитные редуцированные состоя-
ния получаются за счет отслеживания одного ку-
3.4. Сравнение предлагаемого протокола
бита из трехкубитных состояний W -класса, зада-
телепортации с протоколом Агравала - Пати
ваемых выражениями (10) и (28), соответственно.
Теперь можно сравнить модифицированный про-
Таким путем будет показано, что условие идеаль-
токол телепортации с протоколом Агравала - Па-
ной/почти идеальной телепортации для обсуждае-
ти. Оба протокола предназначены для телепортации
мого выше протокола может осуществляться экспе-
одиночного кубита с использованием общего состо-
риментально.
яния W -класса, однако между ними имеются суще-
Рассмотрим трехкубитное состояние, заданное в
ственные различия по следующим пунктам.
каноническом виде:
424
ЖЭТФ, том 158, вып. 3 (9), 2020
Вероятностная телепортация одиночного кубита. . .
|Ω = λ0|000 + λ1e|100 +
Для протокола Агравала - Пати λ2 = 1/
2. Следо-
вательно, параметры λ0 и λ3, определяемые по фор-
+ λ2|101 + λ3|110 + λ4|111〉,
(29)
мулам (33), можно переписать в виде
где коэффициенты λi — неотрицательные действи-
CAB
CAB
тельные числа, удовлетворяющие условию λ20 +λ21 +
λ0 =
,
λ3 =
(35)
+ λ22 + λ23 + λ24 = 1.
2CBC
2CAC
Для трехкубитного состояния |Ω имеются сле-
В данном случае условие идеальной телепортации
дующие инварианты относительно локальных уни-
(8) можно выразить через пересечения CAB, CBC ,
тарных преобразований [31]:
CAC следующим образом:
√τABC
λ0λ4 =
,
1
1
1
2
=
+
(36)
2
C2AB
C2BC
C
CAC
AC
λ0λ2 =
,
2
(30)
Соотношение (36) можно записать как
CAB
λ0λ3 =
,
2
1
C2AB =
H(C2BC , C2AC ),
(37)
CBC
2
2λ3 - eλ1λ4| =
2
где
1
1
Поскольку нас интересуют состояния W-класса
H(C2BC , C2AC ) =
+
и нужно, чтобы все пересечения двухкубитного со-
C2BC
C2AC
стояния были ненулевыми, λ4 принимается равным
обозначает среднее гармоническое величин C2BC и
нулю. Далее без потери общности можно также счи-
C2AC.
тать λ1 = 0. При таком выборе параметров λ1 и λ4
Соотношение между средним гармоническим и
канонический вид трехкубитного состояния сводит-
средним геометрическим определяется неравенст-
ся к состоянию W -класса, которое задается следую-
вом
щим образом:
H(C2BC , C2AC ) ≤ G(C2BC , C2AC ),
(38)
|Ws(λ0, λ2, λ3) = λ0|000 + λ2|101 + λ3|110〉.
(31)
где G(C2BC , C2AC ) = CBC CAC обозначает среднее
Для состояния W -класса |Ws(λ0, λ2, λ3) инвариан-
геометрическое.
ты (30) также сводятся к уравнениям:
Из формул (37) и (38) получаем
2λ0λ2 = CAC,
1
1
2λ0λ3 = CAB,
(32)
C2AB
G(C2BC , C2AC ) ⇒ C2AB
CBCCAC.
(39)
2
2
2λ2λ3 = CBC.
Условие равенства достигается при CBC = CAC , по-
Решив уравнения (32), можно выразить параметры
этому неравенство (39) сводится к следующему ра-
λ0 и λ3 через λ2 следующим образом:
венству:
CAB
CAB
λ0 =
λ2, λ3 =
λ2.
(33)
1
1
CBC
CAC
C2AB =
C2AC =
C2BC.
(40)
2
2
В частном случае (40) параметры λ0, λ2, λ3 рав-
4.1. Протокол телепортации Агравала - Пати
ны
В работе [32] изучено необходимое и достаточ-
1
1
1
ное условие возможности применения детерминиро-
λ0 =
,
λ2 =
,
λ3 =
(41)
2
2
2
ванного преобразования ЛОКК чистых трехкубит-
ных состояний. Операция ЛОКК σx ⊗ I ⊗ I преоб-
В результате получаются следующие общие трехку-
разует состояние |Ws(λ0, λ2, λ3) вида (31) к состо-
битные состояния W -класса, применимые для про-
янию |W (λ0, λ2, λ3)ABC , задаваемому выражением
токола телепортации Агравала - Пати:
(2). Это означает, что
(
)
1
1
1
|W (λ0, λ2, λ3)ABC =
,
,
=
W
2
2
2
ABC
= (σx ⊗ I ⊗ I)|Ws(λ0, λ2, λ3)ABC =
1
1
1
=
|100 +
|001 +
|010〉.
(42)
= λ0|100 + λ2|001 + λ3|010〉.
(34)
2
2
2
425
С. Адхикари
ЖЭТФ, том 158, вып. 3 (9), 2020
4.2. Предлагаемый протокол телепортации
идеальной телепортации (36) для протокола Агра-
вала - Пати и условие (43) для предлагаемого про-
Условие почти идеальной телепортации для
токола реализуются экспериментально. Для любого
предлагаемого в работе протокола
(22) можно
заданного общего состояния W-класса можно легко
выразить через пересечения редуцированных
проверить экспериментально его применимость для
двухкубитных состояний следующим образом:
идеальной/почти идеальной телепортации одиноч-
ного кубита по протоколу Агравала - Пати или по
CAB = CBC.
(43)
протоколу, предложенному в данной работе.
Трехкубитное общее состояние W -класса, приме-
нимое для идеальной телепортации одиночного
5. ЧИСЛЕННАЯ ОЦЕНКА ТРЕХКУБИТНОЙ
кубита по предлагаемому протоколу, имеет вид
ЗАПУТАННОСТИ С ПОМОЩЬЮ ТРИ-π
|Ws(λ0, λ2, λ3), где параметры состояния выража-
МЕРЫ
ются через пересечения CAB и CAC следующим
образом:
В данном разделе проведена численная оценка
количества запутанности в трехкубитных состоя-
C2AC
λ20 = λ22 =
,
ниях W -класса, применимых в предложенном про-
2C2AC + C2
AB
токоле телепортации, на основе три-π меры. Ме-
(44)
C2AB
ра, используемая для численной оценки трехкубит-
λ23 =
2C2AC
+C2
ной запутанности через отрицательность, называет-
AB
ся три-π мерой [35]. Ее можно определить следую-
Необходимо отметить, что почти идеальная теле-
щим образом:
портация достигается при малой величине парамет-
ра λ3, поэтому пересечение CAB должно быть очень
πA + πB + πC
πABC =
,
(47)
мало.
3
где πA, πB, πC обозначают остаточную запутан-
4.3. Обсуждение
ность,
В работе [33] было показано, что существуют
πA = N2A(BC) - N2AB - N2AC,
разлагаемые через матрицы Паули операторы O1,
πB = N2B(CA) - N2BC - N2BA,
(48)
O2 и O3, которые можно использовать для класси-
фикации трехкубитных чистых состояний. Экспери-
πC = N2C(AB) - N2CA - N2CB.
ментальная классификация этих состояний была по-
Для любого чистого трехкубитного состояния было
лучена в работе [34]. Операторы O1, O2 и O3 можно
показано [35], что
определить следующим образом [33]:
NA(BC) = CA(BC), NB(CA) = CB(CA),
O1 = 2(σx ⊗ σx ⊗ σz),
(49)
NC(AB) = CC(AB).
O2 = 2(σx ⊗ σz ⊗ σx),
(45)
O2 = 2(σz ⊗ σx ⊗ σx).
Следовательно, выражения для остаточной запу-
танности (48) сводятся к формулам
Квадраты средних значений этих операторов по со-
стоянию |Ws(λ0, λ2, λ3) равны
πA = C2A(BC) - N2AB - N2AC,
πB = C2B(CA) - N2BC - N2BA,
(50)
〈O12W
s
C2AB =
,
πC = C2C(AB) - N2CA - N2CB.
4
〈O22W
C2AC =
s
,
(46)
Теперь необходимо показать, что три-π мера, харак-
4
теризующая количество запутанности трехкубит-
〈O32
Ws
ных состояний W -класса, подходит для предлагае-
C2BC =
4
мого протокола телепортации, т. е. может быть опре-
Следовательно, пересечения CAB, CBC и CCA реду-
делена экспериментально. Для этого будет предло-
цированных двухкубитных состояний, полученных
жен экспериментальный метод численного опреде-
из трехкубитных состояний Ws-класса, можно по-
ления величин C2A(BC), C2B(CA), C2C(AB), N2AB, N2AC
лучить экспериментально. Таким образом, условие
и N2CA.
426
ЖЭТФ, том 158, вып. 3 (9), 2020
Вероятностная телепортация одиночного кубита. . .
5.1. Определение величин C2A(BC), C2B(CA) и
Класс трехкубитных состояний, применимых
C2C(AB)
для телепортации одиночного кубита по предла-
гаемому протоколу, задается выражением
(31),
Запутанность τABC для трех кубитов A, B, C
параметры состояния в котором определяются по
можно определить соотношением
формулам (44). Подставляя (44) в выражение (56),
C2C(BA) = τABC + C2CA + C2CB,
(51)
можно получить отрицательности двухкубитных
состояний в следующем виде:
где CC(AB) задает пересечение между кубитом C и
(√
)
парой кубитов B, A, взятых вместе, а CAB, CCA,
CAC
C2AC + 4C2AB - CAC
CCB обозначают пересечения редуцированных двух-
NAB = NBC =
,
кубитных состояний ρAB, ρBC , ρAC . Для состояний
2C2AC + C2
AB
(57)
W-класса τABC = 0 и, таким образом, соотношение
C4AB + 4C4AC - C2AB
(51) сводится к выражению
NCA =
2C2AC
+C2
C2C(BA) = C2AC + C2BC.
(52)
AB
Из уравнения (46) следует, что отрицательности
Аналогичные соотношения можно записать для
NAB, NBC, NCA из формул (57) также можно по-
C2B(CA), C2A(BC):
лучить экспериментально.
C2B(CA) = C2BC + C2BA,
(53)
C2A(BC) = C2AB + C2AC.
(54)
5.3. Определение три-π меры запутанности
Для трехкубитных
состояний
W-класса
Теперь при помощи три-π меры запутанности
|Ws(λ0, λ2, λ3) соотношения (52), (53) и (54) можно
можно определить количество запутанности в со-
выразить через средние значения операторов O1,
стояниях Ws-классов, применимых для телепорта-
O2, O3 в следующем виде:
ции одиночного кубита по модифицированному про-
токолу. Три-π мера для численной характеризации
1
C2A(BC) =
(〈O12W
+ 〈O22
),
таких состояний равна
s
Ws
4
1
C2B(CA) =
(〈O12W
+ 〈O32
),
(55)
s
Ws
πABC = 4(C2AB - N2AB) + 2(C2AC - N2AC),
(58)
4
1
C2C(AB) =
(〈O22W
+ 〈O32
).
s
Ws
где NAB и NAC определяются из выражения (57).
4
Поскольку меры двухкубитной запутанности
Таким образом, пересечения C2A(BC), C2B(CA),
NAB и NAC можно выразить через пересечения
C2C(AB) можно получить экспериментально.
CAB и CAC, а из выражений (46) следует, что
эти меры определяются экспериментально, три-π
5.2. Определение отрицательности для
мера запутанности также может быть получена
двухкубитных редуцированных состояний
экспериментально.
Для определения отрицательности двухкубит-
ных редуцированных состояний снова рассмотрим
трехкубитное состояние |WsABC , определяемое вы-
6. РЕАЛИЗАЦИИ УСЛОВИЯ ИДЕАЛЬНОЙ
ражением (31). Они описываются матрицами плот-
ТЕЛЕПОРТАЦИИ В ЯМР-ЭКСПЕРИМЕНТЕ
ности
Общий вид чистого трехкубитного состояния за-
ρAB = TrC(|WsABC〈Ws|,
дается следующим образом:
ρBC = TrA(|WsABC〈Ws|, ρCA = TrB(|WsABC〈Ws|
и, следовательно, равны
|ΘABC = cos α|000 + sin α cos β sin γ|001 +
+ sinαsinβ|010 + sinα cosβ cosγ cosδ|100+
NAB = λ42 + 4λ20λ23 - λ22,
+ esinαcosβ cosγ sinδ|111〉,
(59)
NBC = λ40 + 4λ22λ23 - λ20,
(56)
где четыре параметра α ∈ [0, π/2], β ∈ [0, π/2], γ ∈
[0, π/2], δ ∈ [0, π/2], а значение относительной фа-
NCA = λ43 + 4λ22λ20 - λ23.
зы лежит в пределах 0 ≤ δ ≤ 2π.
427
С. Адхикари
ЖЭТФ, том 158, вып. 3 (9), 2020
Данное трехкубитное состояние можно постро-
Следовательно, эти состояния можно приготовить в
ить в ЯМР-эксперименте с использованием одноку-
ЯМР-эксперименте, выбрав значение параметра γ =
битного вентиля вращения, нескольких контролиру-
= π/4. Таким образом, данный W-класс можно вы-
ющих двухкубитных вентилей вращения и венти-
разить в виде
лей CNOT, трехкубитного вентиля Тоффоли и конт-
роль-контролирующего вентиля фазы [36].
cosβ
cosβ
При выборе значений α = π/2 и δ = φ = 0 кано-
|WMABC =
|100 +
√ |001 +
2
2
нический вид общего трехкубитного состояния (59)
(
π)
сводится к состоянию W -класса вида
+ sinβ|010〉, β ∈
0,
(64)
2
|W 〉ABC = cos β sin γ|001 + sin β|010 +
Для почти идеальной телепортации величину β
+ cosβ cosγ|100〉.
(60)
можно выбрать вблизи нуля. Сравнивая диапазон
параметра β в уравнениях (62) и (64), можно снова
сделать вывод, что набор трехкубитных состояний
6.1. Приготовление общего запутанного
W-класса, используемых в данном протоколе теле-
состояния для протокола Агравала - Пати в
портации, больше, чем в протоколе Агравала - Пати.
ЯМР-эксперименте
Приготовление общего запутанного состояния
является необходимой задачей для осуществления
любого протокола телепортации. В протоколе Агра-
7. ВЫВОДЫ
вала - Пати использовалось трехкубитное состояние
W-класса, которое можно приготовить в ЯМР-экс-
В заключение отметим, что обсуждена схема
перименте, выбирая соответствующие значения па-
протокола для почти идеальной телепортации оди-
раметров β и γ. Трехкубитное состояние W -класса
ночного кубита, в которой в качестве общего кванто-
вида (60) можно использовать в качестве исходного
вого состояния используются трехкубитные состо-
состояния в протоколе Агравала - Пати при условии
яния W -класса, отличающегося от предложенного
1
Агравалом и Пати. Показано, что обнаруженный
cosβ sinγ =
√ .
(61)
класс содержит больше состояний, лежащих на пе-
2
риметре эллипса с центром в точке (0,0). В отли-
Используя условие (61), для общего исходного
чие от протокола Агравала - Пати, в котором ис-
состояния протокола телепортации Агравала - Пати
пользуется трехкубитный измерительный базис, в
в ЯМР-эксперименте можно построить следующее
предложенном протоколе необходим двухкубитный
состояние W-класса:
базис. Условия данной схемы телепортации и про-
токола Агравала - Пати выражены через пересече-
2 cos2 β - 1
1
ния редуцированного двухкубитного состояния, по-
|WAPABC =
|100 +
√ |001 +
лученного отслеживанием одного кубита из исход-
2
2
(
π]
ного трехкубитного состояния W -класса. Показано,
+ sinβ|010〉, β ∈
0,
(62)
4
что, поскольку величины пересечений редуцирован-
ного двухкубитного состояния можно получить экс-
периментально, условия телепортации также мож-
6.2. Приготовление общего запутанного
но проверить в эксперименте. Эта проверка поз-
состояния для предлагаемого протокола в
воляет определить, можно ли использовать данное
ЯМР-эксперименте
трехкубитное состояние для обоих протоколов. Кро-
В предлагаемом протоколе используются трех-
ме того, показано, что для численной оценки ко-
кубитные W -состояний другого класса, которые
личества запутанности общих трехкубитных состо-
также можно приготовить в ЯМР-эксперименте.
яний W -класса в предложенном протоколе можно
W-класс трехкубитных состояний вида (28) мож-
использовать три-π меру запутанности, а также об-
но использовать в качестве исходного состояния в
суждается ее экспериментальная реализация. Нако-
предлагаемом протоколе при условии
нец, обсуждается способ приготовления общих трех-
кубитных состояний W -класса для обоих протоко-
π
tg γ = 1, т. е. γ =
(63)
лов в ЯМР-эксперименте.
4
428
ЖЭТФ, том 158, вып. 3 (9), 2020
Вероятностная телепортация одиночного кубита. . .
ЛИТЕРАТУРА
18.
D. Bouwmeester, J. W. Pan, M. Daniell, H. Wein-
furter, and A. Zeilinger, Phys. Rev. Lett. 82, 1345
1.
R. Horodecki, P. Horodecki, M. Horodecki, and
(1999).
K. Horodecki, Rev. Mod. Phys. 81, 865 (2009).
19.
S. Oh, Y.-P. Shim, J. Fei, M. Friesen, and X. Hu,
2.
S. Pirandola, J. Eisert, C. Weedbrook, A. Furusawa,
Phys. Rev. A 87, 022332 (2013).
and S. L. Braunstein, Nat. Photon. 9, 641 (2015).
20.
S. Muralidharan and P. K. Panigrahi, Phys. Rev.
3.
M. Baur, A. Fedorov, L. Steffen, S. Filipp,
A 77, 032321 (2008).
M. P. da Silva, and A. Wallraff, Phys. Rev. Lett. 108,
040502 (2012).
21.
I. D. K. Brown, S. Stepney, A. Sudbery, and S. L. Bra-
unstein, J. Phys. A 38, 1119 (2005).
4.
N. Gisin and R. Thew, Nat. Photon. 1, 165 (2007).
5.
C. H. Bennett, G. Brassard, C. Crepeau, R. Jozsa,
22.
W. Dur, G. Vidal, and J. I. Cirac, Phys. Rev. A 62,
A. Peres, and W. K. Wootters, Phys. Rev. Lett. 70,
062314 (2000).
1895 (1993).
23.
A. Datta, A. Shaji, and C. M. Caves, Phys. Rev. Lett.
6.
W. L. Li, C. F. Li, and G. C. Guo, Phys. Rev. A 61,
100, 050502 (2008).
034301 (2000).
24.
J. Joo, J. Lee, J. Jang, and Y.-J. Park, arXiv:
7.
P. Agrawal and A. K. Pati, Phys. Lett. A 305, 12
quant-ph/0204003.
(2002).
25.
V. N. Gorbachev, A. A. Rodichkina, and A. I. Tru-
8.
S. Ishizaka and T. Hiroshima, Phys. Rev. Lett. 101,
bilko, Phys. Lett. A 310, 339 (2003).
240501
(2008); D. P. Garcia, Phys. Rev. A 87,
040303(R) (2013).
26.
J. Joo, Y.-J. Park, S. Oh, and J. Kim, New J. Phys.
5, 136 (2003).
9.
F.-G. Deng, C.-Y. Li, Y.-S. Li, H.-Y. Zhou, and
Y. Wang, Phys. Rev. A 72, 022338 (2005).
27.
P. Agrawal and A. Pati, Phys. Rev. A 74, 062320
(2006).
10.
M. Greenberger, M. A. Horne, A. Shimony, and
A. Zeilinger, Amer. J. Phys. 58, 1131 (1990).
28.
M. Pavicic, Phys. Rev. Lett. 107, 080403 (2011).
11.
X.-H. Li and S. Ghose, Phys. Rev. A 90, 052305
29.
J. A. W. van Houwelingen, N. Brunner, A. Beveratos,
(2014).
H. Zbinden, and N. Gisin, Phys. Rev. Lett. 96,
12.
L. Neves, M. A. Solis-Prosser, A. Delgado, and
130502 (2006); J. A. W. van Houwelingen, A. Beve-
ratos, N. Brunner, N. Gisin, and H. Zbinden, Phys.
O. Jimenez, Phys. Rev. A 85, 062322 (2012).
Rev. A 74, 022303 (2006).
13.
D. Bouwmeester, J. W. Pan, K. Mattle, M. Eibl,
H. Weinfurter, and A. Zeilinger, Nature 390, 575
30.
W. K. Wootters, Phys. Rev. Lett. 80, 2245 (1998).
(1997).
31.
G. Torun and A. Yildiz, Phys. Rev. A 89, 032320
14.
M. D. Barrett, J. Chiaverini, T. Schaetz, J. Britton,
(2014).
W. M. Itano, J. D. Jost, E. Knill, C. Langer, D. Lei-
32.
H. Tajima, Ann. Phys. 329, 1 (2013).
bfried, R. Ozeri, and D. J. Wineland, Nature 429,
737 (2004).
33.
C. Datta, S. Adhikari, A. Das, and P. Agrawal, Eur.
15.
F. Verstraete and H. Verschelde, Phys. Rev. Lett. 90
Phys. J. D 72, 157 (2018).
097901 (2003); M. L. Hu, Eur. Phys. J. D 64, 531
34.
A. Singh, H. Singh, K. Dorai, and Arvind, Phys. Rev.
(2011).
A 98, 032301 (2018).
16.
H. Jeong, S. Bae, and S. Choi, Quant. Inf. Proc. 15,
913 (2016).
35.
Y. C. Ou and H. Fan, Phys. Rev. A 75, 062308 (2007).
17.
B. S. Shi, Y. K. Jiang, and G. C. Guo, Phys. Lett.
36.
S. Dogra, K. Dorai, and Arvind, Phys. Rev. A 91,
A 268, 161 (2000).
022312 (2015).
429