Матрица, описывающая квантовую систему в чистом или смешанном состоянии.
В квантовой механике матрица плотности (или оператор плотности ) — это матрица , описывающая квантовое состояние физической системы . Это позволяет рассчитывать вероятности результатов любого измерения , выполненного в этой системе, используя правило Борна . Это обобщение более обычных векторов состояния или волновых функций : хотя они могут представлять только чистые состояния , матрицы плотности также могут представлять смешанные состояния . Смешанные состояния возникают в квантовой механике в двух разных ситуациях:
когда препарат системы полностью не известен и поэтому приходится иметь дело со статистическим ансамблем возможных препаратов, и
когда хотят описать физическую систему, запутанную с другой, не описывая их совместное состояние; этот случай типичен для системы, взаимодействующей с некоторой средой (например, декогеренция ).
Матрица плотности представляет собой представление линейного оператора, называемого оператором плотности . Матрица плотности получается из оператора плотности путем выбора ортонормированного базиса в базисе. На практике термины « матрица плотности» и «оператор плотности» часто используются как взаимозаменяемые.
Выберите базис с состояниями в двумерном гильбертовом пространстве , тогда оператор плотности будет представлен матрицей
где диагональные элементы представляют собой действительные числа , сумма которых равна единице (также называемая населением двух штатов , ). Недиагональные элементы являются комплексно сопряженными друг с другом (также называемыми когерентностями); они ограничены по величине требованием, чтобы они были положительными полуопределенными , см. ниже.
На языке операторов оператор плотности системы — это положительно полуопределенный эрмитов оператор следа один , действующий в гильбертовом пространстве системы. [1] [2] [3] Это определение можно мотивировать, рассматривая ситуацию, когда каждое чистое состояние готовится с вероятностью , описывающей ансамбль чистых состояний. Вероятность получения результата проекционного измерения при использовании проекторов равна [4] : 99
Другая мотивация для определения операторов плотности связана с рассмотрением локальных измерений запутанных состояний. Пусть – чистое запутанное состояние в составном гильбертовом пространстве . Вероятность получения результата измерения при измерении проекторов только в гильбертовом пространстве равна [4] : 107
Чистое квантовое состояние — это состояние, которое нельзя записать как вероятностную смесь или выпуклую комбинацию других квантовых состояний. [3] Существует несколько эквивалентных характеристик чистых состояний на языке операторов плотности. [6] : 73 Оператор плотности представляет чистое состояние тогда и только тогда, когда:
его можно записать как внешнее произведение вектора состояния на самого себя, то есть
Важно подчеркнуть разницу между вероятностной смесью квантовых состояний и их суперпозицией . Если физическая система готова находиться либо в состоянии , либо с равной вероятностью, ее можно описать смешанным состоянием
где и для простоты предполагаются ортогональными и имеют размерность 2. С другой стороны, квантовая суперпозиция этих двух состояний с равными амплитудами вероятности приводит к чистому состоянию с матрицей плотности
В отличие от вероятностной смеси, эта суперпозиция может проявлять квантовую интерференцию . [4] : 81
В представлении кубита в сфере Блоха каждая точка единичной сферы обозначает чистое состояние. Все остальные матрицы плотности соответствуют точкам внутри.
Геометрически набор операторов плотности представляет собой выпуклое множество , а чистые состояния являются экстремальными точками этого набора. Простейшим случаем является двумерное гильбертово пространство, известное как кубит . Произвольное смешанное состояние кубита можно записать как линейную комбинацию матриц Паули , которые вместе с единичной матрицей обеспечивают основу для самосопряженных матриц : [7] : 126
где действительные числа — это координаты точки внутри единичного шара , а
Точки с представляют собой чистые состояния, а смешанные состояния представляются точками внутри. Это известно как картина сферы Блоха пространства состояний кубита.
Пример: поляризация света
Лампа накаливания (1) излучает совершенно случайные поляризованные фотоны (2) со смешанной матрицей плотности состояний:
.
После прохождения через поляризатор вертикальной плоскости (3) все оставшиеся фотоны вертикально поляризованы (4) и имеют матрицу плотности в чистом состоянии:
.
Примером чистых и смешанных состояний является поляризация света . Отдельный фотон
может быть описан как имеющий правую или левую круговую поляризацию , описываемую ортогональными квантовыми состояниями или суперпозицией двух: он может находиться в любом состоянии ( с ), соответствующем линейной , круговой или эллиптической поляризации . Рассмотрим теперь вертикально поляризованный фотон, описываемый состоянием . Если мы пропустим его через круговой поляризатор , пропускающий либо только поляризованный свет, либо только поляризованный свет, в обоих случаях половина фотонов поглотится. Может показаться , что половина фотонов находится в состоянии , а другая половина — в состоянии , но это неверно: если мы проходим через линейный поляризатор, поглощения не происходит вообще, но если мы проходим либо состояние , либо половину фотонов поглощаются.
Неполяризованный свет (например, свет лампы накаливания ) не может быть описан как какое-либо состояние формы (линейная, круговая или эллиптическая поляризация). В отличие от поляризованного света, он проходит через поляризатор с потерей интенсивности на 50% независимо от ориентации поляризатора; и его нельзя сделать поляризованным, пропустив его через какую-либо волновую пластинку . Однако неполяризованный свет можно описать как статистический ансамбль, например, как каждый фотон, имеющий либо поляризацию, либо поляризацию с вероятностью 1/2. То же самое произошло бы, если бы каждый фотон имел либо вертикальную , либо горизонтальную поляризацию с вероятностью 1/2. Эти два ансамбля экспериментально совершенно неразличимы, и поэтому их считают одним и тем же смешанным состоянием. Для этого примера неполяризованного света оператор плотности равен [6] : 75
Есть и другие способы генерации неполяризованного света: одна из возможностей — внести неопределенность в подготовку фотона, например, пропуская его через двулучепреломляющий кристалл с шероховатой поверхностью, чтобы несколько разные части светового луча приобретали разную поляризацию. Другая возможность — использование запутанных состояний: радиоактивный распад может испустить два фотона, движущихся в противоположных направлениях, в квантовом состоянии . Совместное состояние двух фотонов чистое, но матрица плотности для каждого фотона в отдельности, найденная путем взятия частичного следа совместной матрицы плотности, полностью смешана. [4] : 106
Эквивалентные ансамбли и очистки
Данный оператор плотности не определяет однозначно, какой ансамбль чистых состояний его порождает; вообще существует бесконечно много различных ансамблей, генерирующих одну и ту же матрицу плотности. [8] Их невозможно отличить никакими измерениями. [9] Эквивалентные ансамбли можно полностью охарактеризовать: пусть это ансамбль. Тогда для любой комплексной матрицы такой, что ( частичная изометрия ) ансамбль, определяемый формулой
будет порождать один и тот же оператор плотности, и все эквивалентные ансамбли имеют этот вид.
Тесно связанный с этим факт заключается в том, что данный оператор плотности имеет бесконечно много различных очисток , которые представляют собой чистые состояния, генерирующие оператор плотности при взятии частичного следа. Позволять
быть оператором плотности, порожденным ансамблем с состояниями, не обязательно ортогональными. Тогда для всех частичных изометрий имеем это
является очисткой , где – ортогональный базис, и, кроме того, все очистки имеют этот вид.
Измерение
Пусть – наблюдаемая системы, и предположим, что ансамбль находится в смешанном состоянии, так что каждое из чистых состояний возникает с вероятностью . Тогда соответствующий оператор плотности равен
Ожидаемое значение измерения можно рассчитать , исходя из случая чистых состояний:
где обозначает след . Таким образом, привычное выражение для чистых состояний заменяется на
когда результат i получен. В случае, когда результат измерения неизвестен, ансамбль описывается выражением
Если предположить, что вероятности результатов измерений являются линейными функциями проекторов , то они должны быть заданы следом проектора с оператором плотности. Теорема Глисона показывает, что в гильбертовых пространствах размерности 3 или больше предположение о линейности можно заменить предположением о неконтекстуальности . [12] Это ограничение на размерность можно снять, допустив неконтекстуальность и для POVM , [13] [14] , но это подвергалось критике как физически немотивированное. [15]
Энтропия
Энтропия фон Неймана смеси может быть выражена через собственные значения или через след и логарифм оператора плотности . Так как является положительно полуопределенным оператором, он имеет спектральное разложение такое, что , где – ортонормированные векторы, и . Тогда энтропия квантовой системы с матрицей плотности равна
Из этого определения следует, что энтропия фон Неймана любого чистого состояния равна нулю. [16] : 217 Если существуют состояния, имеющие опору на ортогональных подпространствах, то энтропия фон Неймана выпуклой комбинации этих состояний
определяется энтропией фон Неймана состояний и энтропией Шеннона распределения вероятностей :
Когда состояния не имеют ортогональных носителей, сумма в правой части строго больше энтропии фон Неймана выпуклой комбинации . [4] : 518
Учитывая оператор плотности и проективное измерение, как в предыдущем разделе, состояние, определяемое выпуклой комбинацией
которое можно интерпретировать как состояние, возникающее в результате выполнения измерения, но не записи того, какой результат произошел, [7] : 159 имеет энтропию фон Неймана больше, чем у , за исключением случая . Однако возможно, что результат обобщенного измерения , или POVM , будет иметь более низкую энтропию фон Неймана, чем . [4] : 514
Уравнение фон Неймана для эволюции во времени
Подобно тому, как уравнение Шредингера описывает, как чистые состояния развиваются во времени, уравнение фон Неймана (также известное как уравнение Лиувилля – фон Неймана ) описывает, как оператор плотности развивается во времени. Уравнение фон Неймана показывает, что [17] [18] [19]
Это уравнение справедливо только тогда, когда оператор плотности принимается в картине Шрёдингера , хотя на первый взгляд кажется, что это уравнение имитирует уравнение движения Гейзенберга в картине Гейзенберга , с решающей разницей в знаках:
где – некоторый оператор изображения Гейзенберга ; но в этой картине матрица плотности не зависит от времени , а относительный знак гарантирует, что производная ожидаемого значения по времени получается такой же, как и в картине Шредингера . [3]
Если гамильтониан не зависит от времени, уравнение фон Неймана можно легко решить и получить
Для более общего гамильтониана, если является распространителем волновой функции на некотором интервале, то временная эволюция матрицы плотности на этом же интервале определяется выражением
Уравнение временной эволюции функции Вигнера, известное как уравнение Мойала , представляет собой преобразование Вигнера приведенного выше уравнения фон Неймана:
Тогда уравнение эволюции функции Вигнера аналогично уравнению ее классического предела — уравнению Лиувилля классической физики . В пределе исчезновения постоянной Планка сводится к классической функции плотности вероятности Лиувилля в фазовом пространстве .
Примеры приложений
Матрицы плотности являются основным инструментом квантовой механики и хотя бы иногда появляются практически в любом типе квантово-механических расчетов. Вот некоторые конкретные примеры, когда матрицы плотности особенно полезны и распространены:
Статистическая механика использует матрицы плотности, прежде всего для выражения идеи о том, что система готовится при ненулевой температуре. Построение матрицы плотности с использованием канонического ансамбля дает результат вида , где – обратная температура , – гамильтониан системы. Условие нормализации, согласно которому след равен 1, определяет статистическую сумму как . Если число частиц, участвующих в системе, само по себе не определено, то можно применить большой канонический ансамбль , в котором состояния, суммируемые для создания матрицы плотности, взяты из пространства Фока . [20] : 174
Теория квантовой декогеренции обычно предполагает запутывание неизолированных квантовых систем с другими системами, включая измерительные приборы. Матрицы плотности значительно облегчают описание процесса и расчет его последствий. Квантовая декогеренция объясняет, почему система, взаимодействующая с окружающей средой, переходит из чистого состояния, демонстрирующего суперпозиции, в смешанное состояние — бессвязную комбинацию классических альтернатив. Этот переход принципиально обратим, поскольку совокупное состояние системы и окружающей среды по-прежнему чистое, но для всех практических целей необратим, поскольку окружающая среда представляет собой очень большую и сложную квантовую систему, и обратить вспять их взаимодействие невозможно. Таким образом, декогеренция очень важна для объяснения классического предела квантовой механики, но не может объяснить коллапс волновой функции, поскольку все классические альтернативы все еще присутствуют в смешанном состоянии, а коллапс волновой функции выбирает только одну из них. [21]
При анализе системы со многими электронами, такой как атом или молекула , несовершенным, но полезным первым приближением является рассмотрение электронов как некоррелированных или как каждый из которых имеет независимую одночастичную волновую функцию. Это обычная отправная точка при построении определителя Слейтера в методе Хартри – Фока . Если есть электроны, заполняющие одночастичные волновые функции , то совокупность электронов вместе можно охарактеризовать матрицей плотности .
C*-алгебраическая формулировка состояний
В настоящее время общепринято, что описание квантовой механики, в котором все самосопряженные операторы представляют собой наблюдаемые, несостоятельно. [24] [25] По этой причине наблюдаемые отождествляются с элементами абстрактной C*-алгебры A (то есть без выделенного представления в виде алгебры операторов), а состояния являются положительными линейными функционалами на A . Однако, используя конструкцию GNS , мы можем восстановить гильбертовы пространства, реализующие A как подалгебру операторов.
Геометрически чистое состояние C*-алгебры A — это состояние , которое является крайней точкой множества всех состояний A. По свойствам конструкции ГНС эти состояния соответствуют неприводимым представлениям A .
Состояния С*-алгебры компактных операторов К ( Н ) в точности соответствуют операторам плотности, и поэтому чистые состояния К ( Н ) являются в точности чистыми состояниями в смысле квантовой механики.
Можно видеть, что C*-алгебраическая формулировка включает как классические, так и квантовые системы. Когда система является классической, алгебра наблюдаемых становится абелевой C*-алгеброй. В этом случае состояния становятся вероятностными мерами.
История
Формализм операторов плотности и матриц был введен в 1927 году Джоном фон Нейманом [26] и независимо, но менее систематически, Львом Ландау [27] и позже, в 1946 году, Феликсом Блохом . [28] Фон Нейман ввел матрицу плотности для развития как квантовой статистической механики, так и теории квантовых измерений. Само название «Матрица плотности» связано с ее классическим соответствием вероятностной мере в фазовом пространстве (распределению вероятностей положения и импульса) в классической статистической механике , которая была введена Вигнером в 1932 году. [1]
Напротив, мотивацией, вдохновившей Ландау, была невозможность описать подсистему сложной квантовой системы вектором состояния. [27]
^ аб Фано, У. (1957). «Описание состояний в квантовой механике с помощью матрицы плотности и операторных методов». Обзоры современной физики . 29 (1): 74–93. Бибкод : 1957RvMP...29...74F. doi : 10.1103/RevModPhys.29.74.
^ Холево, Александр С. (2001). Статистическая структура квантовой теории . Конспект лекций по физике. Спрингер. ISBN3-540-42082-7. ОСЛК 318268606.
^ abc Hall, Брайан С. (2013). «Системы и подсистемы, множественные частицы». Квантовая теория для математиков . Тексты для аспирантов по математике. Том. 267. стр. 419–440. дои : 10.1007/978-1-4614-7116-5_19. ISBN978-1-4614-7115-8.
^ аб Уайльд, Марк М. (2017). Квантовая теория информации (2-е изд.). Издательство Кембриджского университета. arXiv : 1106.1445 . дои : 10.1017/9781316809976.001. ISBN978-1-107-17616-4. OCLC 973404322. S2CID 2515538.
^ Киркпатрик, Калифорния (февраль 2006 г.). «Теорема Шрёдингера-ХЮВ». Основы физики письма . 19 (1): 95–102. arXiv : Quant-ph/0305068 . Бибкод : 2006FoPhL..19...95K. дои : 10.1007/s10702-006-1852-1. ISSN 0894-9875. S2CID 15995449.
^ Окс, Вильгельм (1 ноября 1981). «Некоторые комментарии к понятию состояния в квантовой механике». Эркеннтнис . 16 (3): 339–356. дои : 10.1007/BF00211375. ISSN 1572-8420. S2CID 119980948.
^ Людерс, Герхарт (1950). «Über die Zustandsänderung durch den Messprozeß». Аннален дер Физик . 443 (5–8): 322. Бибкод : 1950АнП...443..322Л. дои : 10.1002/andp.19504430510.Перевод К. А. Киркпатрика как Людерс, Герхарт (3 апреля 2006 г.). «Относительно изменения состояния в результате процесса измерения». Аннален дер Физик . 15 (9): 663–670. arXiv : Quant-ph/0403007 . Бибкод : 2006АнП...518..663Л. дои : 10.1002/andp.200610207. S2CID 119103479.
^ Буш, Пол ; Лахти, Пекка (2009), Гринбергер, Дэниел; Хентшель, Клаус; Вайнерт, Фридель (ред.), «Правило Людерса», Сборник квантовой физики , Springer Berlin Heidelberg, стр. 356–358, doi : 10.1007/978-3-540-70626-7_110, ISBN978-3-540-70622-9
^ Буш, Пол (2003). «Квантовые состояния и обобщенные наблюдаемые: простое доказательство теоремы Глисона». Письма о физических отзывах . 91 (12): 120403. arXiv : quant-ph/9909073 . Бибкод : 2003PhRvL..91l0403B. doi : 10.1103/PhysRevLett.91.120403. PMID 14525351. S2CID 2168715.
^ Кейвс, Карлтон М .; Фукс, Кристофер А.; Манн, Киран К.; Ренес, Джозеф М. (2004). «Выводы типа Глисона из правила квантовой вероятности для обобщенных измерений». Основы физики . 34 (2): 193–209. arXiv : Quant-ph/0306179 . Бибкод : 2004FoPh...34..193C. doi :10.1023/B:FOOP.0000019581.00318.a5. S2CID 18132256.
^ Анджей Грудка; Павел Куржинский (2008). «Есть ли контекстуальность для одного кубита?». Письма о физических отзывах . 100 (16): 160401. arXiv : 0705.0181 . Бибкод : 2008PhRvL.100p0401G. doi : 10.1103/PhysRevLett.100.160401. PMID 18518167. S2CID 13251108.
^ Эмч, Джерард Г. (1972), Алгебраические методы в статистической механике и квантовой теории поля , Wiley-Interscience , ISBN978-0-471-23900-0
^ фон Нейман, Джон (1927), «Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik», Göttinger Nachrichten , 1 : 245–272
^ ab «Проблема затухания в волновой механике (1927)». Сборник статей Л.Д. Ландау . 1965. стр. 8–18. дои : 10.1016/B978-0-08-010586-4.50007-9. ISBN978-0-08-010586-4.