Смешанные состояния и матрицы плотности
Contents
Смешанные состояния и матрицы плотности#
Автор(ы):
Описание лекции#
Из этой лекции мы узнаем:
Что такое матрица плотности
Как ввести в описание квантовых состояний новый уровень случайности
Как связаны смешанные (mixed) и запутанные (entangled) состояния
Как можно описать насколько “сильно” квантовое состояние является смешанным
Смешанные состояния#
Эта глава кратко рассматривает довольно сложный, но крайне важный аспект квантового описания мира: как описать квантовую систему, в которой случайным является не только результат измерения, но и само состояние квантовой системы, иными словами, когда мы не можем описать квантовую систему определенным вектором состояния.
Как могут появиться такие ситуации?
Прежде всего, в любой реалистичной ситуации квантовая система будет испытывать влияние окружающей среды. Это воздействие окружающей среды на квантовый компьютер, как правило, может быть охарактеризовано некоторой температурой этой самой среды и скоростью термализации системы с ней. В отличие от классических компьютеров, где шумы редко приводят к ошибкам в вычислениях, квантовые компьютеры очень плохо защищены от шумов. Любое масштабное квантовое вычисление является гонкой с процессами декогеренции и релаксации: за время выполнения алгоритма шумы не должны испортить результат вычислений настолько, чтобы его нельзя было использовать.
Вторая, более важная причина использования смешанных состояний состоит в их тесной связи с запутанными состояниями, как показано ниже.
Почему нельзя обойтись волновой функцией#
Рассмотрим реальный физический кубит в состоянии равновесия, например, спин ядра атома в магнитном поле.
Статистическая физика говорит нам, что вероятность обнаружить этот спин ориентированным вдоль внешнего поля выше, чем в
противоположном полю направлении. Для расчета отношений этих вероятностей можно использовать распределение Больцмана:
Волновую функцию, отвечающую такому тепловому состоянию, можно записать в виде
где значение фазы
Матрица плотности#
Оказывается, что вместо распределения вероятностей по волновым функциям можно использовать более простую
конструкцию – матрицу плотности. Если система находится в состояниях
Выражение
Математическое обоснование этой циклической перестановки можно получить, расписав матричные произведения покомпонентно:
Любую наблюдаемую физическую величину можно выразить в виде ожидаемой величины некоторого эрмитова оператора – а значит, описание с помощью матрицы плотности является универсальным для любых случайных квантовых систем.
Стоит заметить, что матрица плотности для подсистем была впервые введена в научный оборот знаменитым советским физиком, лауреатом Нобелевской премии Львом Ландау. [15a]

Fig. 25 Лев Ландау, 1908-1968#
Чистые и смешанные состояния#
Состояния, которые описываются одной единственной волновой функцией
Матрица плотности чистого состояния является оператором-проектором: действие оператора на волновую функцию произвольного состояния
Чистота состояния#
Можно легко показать, для оператора-проектора (2) выполняется тождество
и следовательно, для чистого состояния
(напомним, что мы всегда считаем вектора состояния нормированными на единицу).
Аналогичным образом, но после более длинных выкладок можно показать, что в общем случае
причем знак равенства в последней формуле возможен, только если в формуле (1) сумма имеет лишь одно слагаемое (т.е. состояние является чистым). Последнее свойство матрицы плотности позволяет ввести ряд величин, характеризующих смешанные и запутанные состояния, о чем будет рассказано в заключительном разделе этой лекции. Величина
называется чистотой состояния (quantum state purity).
Энтропия#
Энтропия фон Неймана – это другая численная характеристика того, насколько сильно наша система смешанная. Ее выражение очень похоже на выражение для классической энтропии Шеннона. Только в отличие от классики, в квантовой механике мы имеем матрицу плотности, поэтому в выражении у нас фигурирует матричный логарифм:
Спектральная декомпозиция матрицы плотности#
Определение матрицы плотности (1) представляет собой сумму матриц плотностей чистых состояний, взятых с
некоторыми вероятностями. Интересно, что совершенно разным комбинациям чистых состояний могут соответствовать одинаковые
матрицы плотности. Например, состояние кубита, который с вероятностью 50% находится в состоянии
Соотношение (1) также можно рассматривать как спектральную декомпозицию матрицы плотности. В этом случае
состояния
Смешанные состояния и запутанность#
Рассмотрим ситуацию, когда описываемую квантовую систему
Здесь два ортонормированных набора векторов состояния
Note
Вспомним обсуждение кота Шредингера в лекции про кубит – упрощая до предела, можно считать, что радиоактивный атом является одной системой, а несчастный кот – второй.
До измерения ни атом, ни кот не имеют определенного состояния, а находятся в суперпозиции возможных состояний.
Что же мы можем сделать, если у нас есть доступ лишь к одной из двух подсистем, а измерить состояние второй мы уже не
можем? В таком случае, все наши наблюдаемые величины будут отвечать операторами
где
а
Здесь след матрицы уже вычисляется по первой подсистеме.
Чаще всего при обсуждении смешанных состояний рассматривают только одну “подсистему”, считая, что вторая – это некоторый макроскопический объект (“резервуар”, например лаборатория или даже вся Вселенная). В этом случае определение матрицы плотности (1) можно рассматривать как редуцированную матрицу плотности (5), из которой убрали нерелевантные и неконтролируемые степени свободы.
Запутанные и сепарабельные состояния#
Давайте вернемся к представлению состояния составной системы и зададимся вопросом: что можно сказать о связи между частями системы с точки зрения квантового описания? Для системы из двух кубитов такая составная система в общем случае может быть записана в явном виде (в этом разделе мы в основном следуем изложению из книги [01]):
где индексы
Теперь, как можно показать, состояние типа (6) может быть представлено в виде произведения состояний двух отдельных кубитов, если
где для выражения (6)
В других случаях, когда
Note
В отличие от анлийского языка, в русском языке не сложилось единой терминологии в отношении запутанных состояний. На момент написания этой лекции (осень 2021 года) в статье Квантовая запутанность русскоязычной Википедии указывается восемь (!) отличающихся терминов для этого явления, например, “запутанность”, “перепутанность” или “сцепленность”. Сделать с этим что-то сложно, остается только иметь в виду имеющиеся обстоятельства. Мы будем стараться употреблять термин запутанность и, соответственно, запутанные состояния.
Приведем пару примеров запутанных состояний:
– состояние “шредингеровского кота”, см. [01] и [07], такая формула для вектора состояния возникает для суперпозиции двух макроскопически различимых состояний одной из подсистем, например, живой или мертвый кот. – такое состояние называется ЭПР-парой (EPR, от Einstein-Podolsky-Rosen) и это очень важный пример из истории изучения запутанности в квантовой физике.
Note
в 1930-е происходили многочисленные споры об “интерпретации” (сути) квантовой механики. Именно тогда Эйнштейн, Шредингер и их коллеги обратили внимание на несепарабельные состояния и затем Эйнштейном, Подольским и Розеном был сформулирован “парадокс” – что квантовая механика либо нелокальна (т.е. несовместима с теорией относительности), либо неполна (мы учитываем не все параметры при описании состяния квантовых систем). Именно с дискуссией о сути запутанности связана знаменитая цитата Эйнштейна “Бог не играет в кости” и менее известный ответ Нильса Бора, “Альберт, не указывай Богу, что ему делать.”
Довольно долго изучение запутанности и связанных с ней трудностей считались сложным, но не основными вопросами квантовой физики. Но с развитием квантовой информатики стало понятно, что без запутанности нельзя разрабатывать квантовые компьютеры и системы квантовой связи. В настоящее время существуют устоявшиеся методы создания запутанных состояний в эксперименте. А для целей нашего курса, в симуляциях, достаточно использовать двухкубитные гейты, которые обсуждались в предыдущей лекции, например CNOT
или CZ
, который используется в лекции про Градиенты квантовых схем.
В качестве примера давайте посмотрим, как можно создать запутанное состояние в PennyLane
. Начнем с импортов и создания двухкубитной схемы:
import pennylane as qml
from pennylane import numpy as np
dev = qml.device("default.qubit", wires=2)
/home/runner/work/qmlcourse/qmlcourse/.venv/lib/python3.8/site-packages/_distutils_hack/__init__.py:33: UserWarning: Setuptools is replacing distutils.
warnings.warn("Setuptools is replacing distutils.")
Далее применим к первому кубиту операцию поворота
@qml.qnode(dev)
def circuit(param):
qml.RX(param, wires=0)
qml.CNOT(wires=[0, 1])
return qml.expval(qml.PauliZ(0)), qml.expval(qml.PauliZ(1))
В этом примере значение переменной param
определяет степень запутанности, и для
print(circuit(np.pi / 2))
[2.22044605e-16 2.22044605e-16]
(код взят из официальной демонстрации для библиотеки PennyLane
)
Разложение Шмидта#
В этом разделе мы познакомимся с важной процедурой – разложением Шмидта, которое тесно связано со спектром редуцированных матриц плотности состояния составной квантовой системы и благодаря которому легко увидеть, является ли состояние системы запутанным или нет.
Снова запишем чистое двухчастичное состояние
где
Для доказательства рассмотрим случай, когда обе подсистемы имеют пространство одинаковой размерности. Пусть тогда
Константы разложения
Теперь переопределим базис состояний в подсистемах
и обозначим
В силу унитарности
Следствием приведенных выше свойств является важная связь между коэффициентами Шмидта чистого запутанного состояния со спектром его редуцированных матриц плотности
Описания эволюции смешанного состояния#
Квантовая динамика#
Напомним, что квантовая динамика в терминах волновых функций
Аналогичное уравнение можно получить и для матриц плотности. Оно называется уравнением фон Неймана и записывается через коммутатор
Аналогично, если действие каких-то унитарных операций изменяет вектор состояния
Важное свойство унитарных матриц – их собственные значения по модулю равны единице. Действие унитарного оператора не изменяет собственных значений матрицы плотности, но вращает собственный ее базис. Исходя из этого можно сделать вывод о том, что ни чистота, ни энтропия не могут изменяться в результате унитарных операций.
Измерения и томография#
Квантовая механика работает так, что любое измерение приводит к коллапсу волновой функции и является необратимым. А еще измерения, например, состояния
Note
Строго говоря это не просто “большая” проблема, а настоящая NP-полная задача оптимизации!

Fig. 26 Иллюстрация фазовой проблемы.#
Эта задача обычно решается при помощи квантовой томографии, и восстанавливают как раз не волновую функцию
где
Методы квантовой томографии являются критической частью, в том числе, квантовой связи, так как системы там обычно небольшие, но восстанавливать надо всю матрицу плотности.
Что мы узнали?#
Формализм матрицы плотности позволяет описывать составные системы (например, один кубит в многокубитной системе)
Чаще всего в реальных экспериментах у нас ситуация “мы приготовили состояние, но точно не знаем какое” и волновая функция нам не подходит
Что такое квантовая запутанность и как ее можно описать
Состояние части запутанного состояния – смешанное
Отличие смешанного состояния от чистого можно охарактеризовать параметром типа энтропии