Русская Википедия:Квантовое сверхплотное кодирование
Шаблон:Rq Квантовое сверхплотное кодирование — метод, позволяющий передать два бита классической информации с помощью лишь одного кубита, используя явление квантовой запутанности.
Принцип действия
Предположим, что Алиса хочет отправить классическую информацию Бобу, используя квантовые биты (кубиты) вместо классических. Алиса кодирует классическую информацию состоянием кубита, которые затем отправляет Бобу. Боб извлекает классическую информацию, производя измерение состояния кубита. Вопрос: какой объём классической информации можно передать, используя один кубит? Поскольку неортогональные состояния невозможно различить с достоверностью, можно предположить, что Алиса сможет передать лишь один классический бит. Это действительно так согласно теореме Холево. Таким образом, использование кубитов вместо классических битов не дает в данном случае никакого преимущества. Если, однако, предположить, что Алиса и Боб имеют в своем распоряжении запутанное состояние пары кубитов (один — у Алисы, другой — у Боба), оказывается возможным передать не один, а два бита классической информации, используя по прежнему лишь один кубит. Подобное удвоение «эффективности» передачи информации и носит название квантового сверхплотного кодирования.
Детали
Использование Алисой и Бобом сцепленного состояния кубитов — ключевое условие сверхплотного кодирования.
Предположим, что Алиса и Боб имеют по одному кубиту находящихся в состоянии Белла
- <math>|\Psi^+\rangle = \frac{1}{\sqrt{2}} (|0\rangle_A \otimes |1\rangle_B + |1\rangle_A \otimes |0\rangle_B)</math>.
Первая подсистема, обозначаемая индексом A, принадлежит Алисе, а вторая, B, — Бобу. Выполняя лишь локальные операции над своим кубитом, Алиса может преобразовать состояние всей системы в любое другое состояние Белла (это и неудивительно, если вспомнить, что запутанность нельзя разрушить выполняя лишь локальные унитарные преобразования):
- Очевидно, что если Алиса вообще не выполняет никакой операции, система остается в исходном состоянии <math>|\Psi^+\rangle</math>.
- Если Алиса выполнит унитарное преобразование
- <math>\sigma_1 = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}</math>
(это одна из матриц Паули), двухчастичная система перейдет в состояние
- <math>( \sigma_1 \otimes I ) |\Psi^+\rangle = |\Phi^+\rangle .</math>
- Если вместо <math>\sigma_1</math> выполнить операцию <math>\sigma_3</math>, исходное состояние <math>|\Psi^+\rangle </math> будет преобразовано в <math>|\Psi^-\rangle </math>.
- Аналогично, применив <math>i \sigma_2 \otimes I</math>, Алиса преобразует состояние системы в <math>|\Phi^-\rangle </math>
Таким образом, в зависимости от того, какое сообщение Алиса хочет передать, она выполняет одну из четырёх локальных операций над своим кубитом, который затем отправляет Бобу. Боб, выполняя ортогональное измерение в базисе Белла, извлекает сообщение Алисы.
Необходимо отметить, что если третья сторона, Ева, перехватит кубит Алисы на пути к Бобу, то, выполнив измерение этого кубита, она не сможет извлечь никакой полезной информации, поскольку матрица плотности этого кубита пропорциональна единичной.
Общая схема сверхплотного кодирования
Общую схему процедуры сверхплотного кодирования можно представить следующим образом. Алиса и Боб делят между собой максимально запутанное состояние ω двух частиц; то есть частичный след состояния
- <math>\omega \in H_A \otimes H_B </math>
пропорционален единичной матрице
- <math>\begin{bmatrix} 1 & \; & \; \\ \; & \ddots \; \\ \; & \; & 1 \end{bmatrix}</math>.
Чтобы передать сообщение x, Алиса выполняет соответствующее преобразование
- <math>\; \Phi_x</math>
над подсистемой A. Состояние всей системы при этом преобразуется следующим образом:
- <math>\omega \rightarrow (\Phi_x \otimes I_B)(\omega)</math>
где <math>I_B</math> обозначает тождественную операцию в подсистеме B. Алиса отправляет свою подсистему Бобу, который производит измерение составной системы A+B, извлекая переданное сообщение x. Пусть Боб выполняет измерение Fy. Вероятность того, что при измерении Боб получит y, равна
- <math>\operatorname{Tr}\; (\Phi_x \otimes I_B)(\omega) \cdot F_y .</math>
Таким образом, описанная процедура будет работоспособной, если
- <math>\operatorname{Tr}\; (\Phi_x \otimes I_B)(\omega) \cdot F_y = \delta_{xy}</math>,
где δxy — дельта-символ Кронекера.
Ссылки
- C. Bennett and S.J. Wiesner. Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states. Phys. Rev. Lett., 69:2881, 1992 [1] Шаблон:Wayback
- Бауместер Д., Экерт А., Цайлингер А. Физика квантовой информации. М.: Постмаркет, 2002. 376 с.
- Нильсен М., Чанг И. Квантовые вычисления и квантовая информация. М.: Мир, 2006. 824 с.
- Прескилл Дж. Квантовая информация и квантовые вычисления. Том 1. РХД, 2008. 464 с. ISBN 978-5-93972-651-1
- Холево А. С. Введение в квантовую теорию информации. М.: МЦНМО, 2002. 128 с. ISBN 5-94057-017-8