CC BY
30
УДК 530.145
КЛАССИЧЕСКИЕ И КВАНТОВЫЕ КОРРЕЛЯЦИИ В СИСТЕМЕ ВЗАИМОДЕЙСТВУЮЩИХ ЭЛЕКТРОМАГНИТНЫХ МОД
А. С. Аванесов1, В. И. Манько2
Эволюция гауссовских состояний двух взаимодействующих осцилляторов, соответствующих модам электромагнитного поля, изучены в классической и в квантовой областях. Рассмотрение проведено как в представлении состояний функциями Вигнера, так и в томографическом вероятностном представлении квантовой механики. Корреляции в двухмодовой системе, в частности, запутанные состояния мод в квантовой области, рассмотрены с использованием томографического подхода. В классической области состояния двух мод описаны оператором плотности, который в этом случае может, иметь отрицательные собственные значения.
Ключевые слова: квантовая томография, запутанность и сепарабельность состояния, волны Купмана-фон Неймана, операция частичного транспонирования.
Введение. Известно [1, 2], что состояния любой квантовой системы могут быть представлены в томографической форме. При этом волновая функция или матрица плотности состояния отображается на положительные распределения вероятности, называемые томограммой состояния. Томограмма состояния задаёт матрицу плотности состояния с помощью обратного отображения. Таким образом, квантовые состояния могут в томографическом вероятностном представлении квантовой механики описываться таким же образом, как состояние классических систем описывается в рамках классической статистической механики. Аналогично классические состояния могут быть описаны квантовоподобным образом. Такое описание было предложено в [3, 4]. Волновые функции для описания свободной классической частицы и классического осциллятора
1 Факультет общей и прикладной физики, МФТИ, 141700 Россия, Московская область, г. Долгопрудный, Институтский переулок, д. 9; e-mail: [email protected].
2 ФИАН, 119991 Россия, Москва, Ленинский пр-т, 53.
рассматривались в [5-7]. Обзор квантовоподобного подхода к классическим системам и "классического" описания квантовых систем представлен [8]. Важным свойством квантовых систем является наличие сильных квантовых корреляций подсистем в случае запутанных состояний составных систем. Запутанность квантовых состояний изучалась для состояний с функцией Вигнера [9] гауссовской формы в [10, 11]. Цель настоящей работы - изучить свойства запутанности гауссовских состояний для классического двухмодового осциллятора. Мы строим для этого осциллятора оператор плотности [12, 13] и применяем критерий запутанности состояний [14-16] к функции распределения вероятности в фазовом пространстве, проводя аналогию с функцией Вигнера состояния квантового осциллятора. Мы также опишем эволюцию классического осциллятора, вводя для этого функцию Грина уравнения эволюции классической волновой функции, подобного уравнению Шрёдингера.
Функция Грина для классического состояния. Одним из способов описания состояния в квантовой механике является задание функции Вигнера, она связана с матрицей плотности данного состояния посредством преобразований
В классической механике мы задаем состояние с помощью нормированной неотрицательной функции, определенной в фазовом пространстве. Возникает желание ввести и другой подход описания состояния по аналогии с тем, как в квантовой механике мы переходили от представления волновой функции (матрицы плотности) к представлению Вигнера, только в случае классической механики двигаться будем в противоположном направлении. Иными словами, мы хотим предложить описание классического состояния векторами в гильбертовом пространстве.
Данный подход впервые был предложен Купманом и фон Нейманом [3, 4]. В классическом случае переход от фазового пространства к гильбертовому осуществлялся с помощью преобразований
(1)
В физических приложениях встречаются системы с гамильтонианом вида
М 1
н = ^ ^<«В«в, (3) а,в=1
где = (р1,р2, — , ..., ), а N - размерность системы. Нашей целью является
выражение для функции Грина для волновой функции классического состояния данной системы. Выразим функцию Грина соответствующей классической волновой функции через интегралы движения. Данная задача для квантового случая была решена в [17].
Мы можем связать оператор эволюции для уравнения Лиувилля с функцией Грина волнового уравнения для этой же системы. Для удобства обозначим преобразование (2) от классической матрицы плотности к функции распределения вероятностей как Г, и обратное ему преобразование как Г-1, пусть В - оператор эволюции для матрицы плотности, то есть р(х, у, г) = Вр0(х, у), тогда
В = Г-1П Г, (4)
где П - оператор эволюции функции распределения вероятности,
Г-1 (х, у, я, р, г) = егр(х-у)£ (- я)
Г(х, у, я, р, г) = ¿е-гр(х-У- ч) . (5)
Для начала найдём оператор эволюции для функции распределения вероятностей, то есть решим эту задачу в фазовом пространстве. Потом посредством преобразований выражения (4) мы сможем получить функцию Грина, то есть ядро оператора эволюции для волновой функции.
Пусть функция <5 = Л(г)Я(г) - интеграл движения. В начальный момент времени функция распределения вероятностей /(я,р,0) = /о(я,р). Пусть П(г) - оператор эволюции для функции распределения, то есть /(я, р,г) = П(г)/0(я, р) =
/ П(я, р, я', р',г) /о(я', р') ¿я' ар'.
Заметим, что ядро этого оператора можно выразить через интегралы движения.
Действительно, пусть Л = ( 1 2 ) , причем мы для краткости опустили зависимость
\Лз Л4 у
от времени в записи Л-матриц, в дальнейшем эта зависимость всегда подразумевается, но специально обозначаться не будет. В итоге получаем П(я, р, я', р',г) = ¿(р' — Л1р —
Л2я) ¿(я' — Лзр — Л4я).
Теперь нужно подставить выражение для оператора эволюции функции распределения в (4). После интегрирования и некоторых преобразований мы получаем для В(х, у, х', у',*) выражение
В(х,у,х',у7,*) = 2п^ ^ ехр |-2 [хтЛ3-1Л4Х - 2хтЛ--1х' + х'ЛА^х'] > х
х ехр | - 2 [утЛ-1Л4У - 2утЛ-1у' + у'Л^-У] 1 . (6)
При этом мы воспользовались следующими соотношениями для Л-матриц: Л4Л^ = ЛзЛ^, Л^Л1 = Л^Л3, Л4Л^ - Л3Л^ = I. Эти соотношения являются следствием сохранения скобок Пуассона интегралов движения в процессе эволюции.
Функцию Грина для классической волновой функции мы получим с помощью факторизации В(х,у,х',у',*) = С(х,х',*)С*(у,у',*). При этом мы имеем некоторую свободу в выборе фазы, зависящей от времени: С(х,х',*) ^ С(х,х',*)егф(4). Эту фазу мы определяем так, чтобы функция С(х, х',*) удовлетворяла соответствующему уравнению эволюции классической волновой функции, подобному уравнению Шрёдингера г = Н С(х, х',*).
В итоге получаем выражение для функции Грина
С(х, х', *) = ех^-2 ^Л--1Л4х - 2хтЛ--1х' + х'ЛА^х'] } . (7)
Квантовые и классические корреляции. Перейдём ко второй части нашей работы. По определению состояние системы, состоящей из двух подсистем, описываемой в гильбертовом пространстве И а 0 Ив, является сепарабельным тогда и только тогда, когда
существуют коэффициенты | рк | Рк > 0, ^ рк = 11 и рА € И а, Рв € Ив, РА > 0, рв > 0 такие, что
Р = ^ Рк (РА 0 Рв) , (8)
к
в противном случае состояние будет запутанным.
Заметим, что, если классическая матрица плотности, задающая некоторое состояние, имеет отрицательные собственные значения, то соотношение неопределённостей для этого состояния не выполняется.
Разберём этот момент подробнее. В квантовой механике должно выполняться соотношение неопределённостей. Запишем его в следующем виде
а + 2П > 0, (9)
где а = | — 1, П = Г Л , ЧаС, = ({Са-{Са)С)}>, где < = (р^),
аР,Р/ V1 0 /
|<3а,<3в| - антикоммутатор операторов и .
Если же условие (9) не выполняется для некоторой матрицы р, то эта матрица р не будет положительно полуопределена и не будет являться матрицей плотности квантового состояния.
В классической физике нам будет достаточно более слабого условия, а именно: матрица ковариаций должна быть положительной, а > 0.
Рассмотрим систему, состоящую из двух подсистем. Нас интересует вопрос - является ли состояние этой системы сепарабельным или запутанным? Существует необходимое условие сепарабельности состояния, известное как критерий Переса-Городецкого [14, 15].
Подвергнем данную нам матрицу плотности р операции частичного транспонирования. Утверждается, что если состояние является сепарабельным, то полученная после данного преобразования матрица также будет являться матрицей плотности, то есть сохранится её положительность.
В случае, если состояние описывается гауссовскими функциями, эти необходимые условия являются ещё и достаточными [16], то есть в гауссовском случае мы имеем критерий сепарабельности состояния. Если состояние запутанное, то после частичного транспонирования мы получаем функцию ррр4, которая нарушает условие (9).
Перейдём к классическим состояниям. Будем также, как и в квантовом случае, рассматривать систему, состоящую из двух подсистем. Рассмотрим гауссовские состояния, которые будут удовлетворять соотношению (9). Произведём частичное транспонирование для нашего классического состояния. Будут возможны два случая, когда преобразованная матрица ковариаций будет удовлетворять соотношению неопределённостей, и когда не будет. Как говорилось выше, по тому, соблюдаются или не соблюдаются соотношения (9), мы можем дать ответ, является ли состояние запутанным или сепара-бельным. Давайте и для классических, и для квантовых состояний введём определение запутанности через соотношения неопределенностей.
Определение: если соотношение
арр* + 1 П > о (10)
для преобразованной матрицы выполняется, то состояние сепарабельное, если не выполняется, то состояние запутанное. Здесь арр1 - матрица, получившаяся из матрицы
ковариаций после частичного транспонирования. При этом мы должны сделать замечание. Если соотношение (10) не будет соблюдаться, то матрица pppt, которую мы получили с помощью частичного транспонирования, всё равно будет являться классической, то есть будет описывать некоторое классическое состояние. Действительно, после частичного транспонирования матрица ковариаций всё равно останется положительной, то есть будет являться матрицей ковариаций некоторого классического состояния.
Операция частичного транспонирования в фазовом пространстве означает изменение знака у импульса во второй подсистеме
/(9i,92,PI,P2) (Зъ^Ръ Р2),
то есть можно сказать, что частичное транспонирование означает обращение времени во второй подсистеме. Как мы видели, в квантовом случае, если состояние запутанное, то после частичного транспонирования мы не получаем какое-либо квантовое состояние, то есть это означает то, что мы не можем обращать время во второй подсистеме, если состояние запутано. В классическом случае после частичного транспонирования мы всё-таки получаем какую-то матрицу плотности р или функцию, определённую в фазовом пространстве, которые описывают некоторое классическое состояние. Таким образом, в классическом случае, если состояние запутанное (в том смысле, в котором мы определили запутанность для классического состояния), мы всё равно можем осуществить обращение времени во второй подсистеме.
зЗаключение. Мы показали, что для состояния классического осциллятора с гаус-совской функцией распределения в фазовой плоскости можно определить понятие сепарабельности и запутанности по аналогии с этими понятиями в квантовой механике. Можно классифицировать классические состояния, разделяя их на запутанные и сепа-рабельные. При этом разница заключается в том, что запутанные гауссовские классические состояния при применении к ним операции частичного транспонирования остаются классическими состояниями с дисперсиями координат и импульсов, нарушающими соотношение неопределённостей Шрёдингера-Робертсона [18, 19], что недопустимо для квантовых состояний.
ЛИТЕРАТУРА
[1] S. Mancini, V. I. Man'ko and P. Tombesi, Phys. Lett. A, 213, 1 (1996).
[2] A. Ibort, V. I. Man'ko, G. Marmo, et al., Phys. Scr. 79, 065013 (2009).
[3] B. O. Koopman, Proc. Natl. Acad. Sci. USA 17, 315 (1931).
[4] J. von Neumann, Ann. Math. 33, 587 (1932); ibid. 33, 789 (1932).
[5] V. N. Chernega and V. I. Man'ko, J. Russ. Laser Res. 28, 6 (2007).
[6] Elliott Francesco Tammaro, Found. Phys. 42(2), 284 (2012).
[7] Dmitry B. Lemeshevskiy, Vladimir I. Man'ko, J. Russ. Laser Res. 33, 2 (2012).
[8] M. A. Man'ko, V. I. Man'ko, G. Marmo, et al., Nuovo Cim. C, 36, Ser.3, 163 (2013).
[9] E. Wigner, Phys. Rev. 40, 749 (1932).
10] L. M. Duan, G. Giedke, J. I. Cirac, P. Zoller, Phys. Rev. Lett. 84 (12), 2722 (2000).
11] Gerardo Adesso and Fabrizio Illuminati, J. Phys. A: Math. Theor. 40, 7821 (2007).
12] V. N. Chernega and V. I. Manko, AIP Conf. Proc. 1424, 33.
13] O. V. Man'ko and V. I. Man'ko, J. Russ. Laser Res. 118, 407 (1997).
14] A. Peres, Phys. Rev. Lett. 77, 1413 (1996).
15] P. Horodecki, Phys. Lett. A, 232, 333 (1997).
16] R. Simon, Phys. Rev. Lett. 84, 2726 (2000).
17] В. В. Додонов и В. И. Манько, Труды ФИАН 183, (1987).
18] H. P. Robertson, Phys. Rev. 34, 163 (1929).
19] E. Schrödinger, Sitzungsber. Preuss. Akad. Wiss., 296 (1930).
Поступила в редакцию 30 мая 2014 г.
