В квантовой физике квантовое состояние — это математическая сущность, воплощающая знания о квантовой системе. Квантовая механика определяет конструкцию, эволюцию и измерение квантового состояния. Результатом является предсказание для системы, представленной состоянием. Знание квантового состояния и правил эволюции системы во времени исчерпывает все, что можно знать о квантовой системе.
Квантовые состояния могут быть определены по-разному для разных видов систем или проблем. Две широкие категории:
Исторические, образовательные и прикладные задачи обычно содержат волновые функции; современная профессиональная физика использует абстрактные векторные состояния. В обеих категориях квантовые состояния делятся на чистые и смешанные состояния или на когерентные и некогерентные состояния. Категории со специальными свойствами включают стационарные состояния для независимости от времени и квантовые вакуумные состояния в квантовой теории поля .
Как инструмент для физики, квантовые состояния выросли из состояний в классической механике . Классическое динамическое состояние состоит из набора динамических переменных с четко определенными действительными значениями в каждый момент времени. [1] : 3 Например, состояние пушечного ядра будет состоять из его положения и скорости. Значения состояния развиваются в соответствии с уравнениями движения и, таким образом, остаются строго определенными. Если мы знаем положение пушки и скорость выхода ее снарядов, то мы можем использовать уравнения, содержащие силу тяжести, чтобы точно предсказать траекторию пушечного ядра.
Аналогично, квантовые состояния состоят из наборов динамических переменных, которые развиваются в соответствии с уравнениями движения. Однако значения, полученные из квантовых состояний, являются комплексными числами , квантованными, ограниченными соотношениями неопределенности , [1] : 159 и обеспечивают только распределение вероятностей для результатов для системы. Эти ограничения изменяют природу квантовых динамических переменных. Например, квантовое состояние электрона в двухщелевом эксперименте будет состоять из комплексных значений в области обнаружения и, будучи возведенным в квадрат, предсказывать только распределение вероятностей количества электронов по всему детектору.
Процесс описания квантовой системы с помощью квантовой механики начинается с идентификации набора переменных, определяющих квантовое состояние системы. [1] : 204 Набор будет содержать совместимые и несовместимые переменные . Одновременное измерение полного набора совместимых переменных подготавливает систему к уникальному состоянию. Затем состояние детерминировано развивается в соответствии с уравнениями движения . Последующее измерение состояния дает выборку из распределения вероятностей, предсказанного квантово-механическим оператором, соответствующим измерению.
Фундаментально статистическая или вероятностная природа квантовых измерений изменяет роль квантовых состояний в квантовой механике по сравнению с классическими состояниями в классической механике. В классической механике измеряется начальное состояние одного или нескольких тел; состояние развивается в соответствии с уравнениями движения; измерения конечного состояния сравниваются с предсказаниями. В квантовой механике ансамбли одинаково подготовленных квантовых состояний развиваются в соответствии с уравнениями движения, и множество повторных измерений сравниваются с предсказанными распределениями вероятностей. [1] : 204
Измерения, макроскопические операции над квантовыми состояниями, фильтруют состояние. [1] : 196 Каким бы ни было входное квантовое состояние, повторные идентичные измерения дают согласованные значения. По этой причине измерения «подготавливают» квантовые состояния для экспериментов, помещая систему в частично определенное состояние. Последующие измерения могут либо дополнительно подготовить систему — это совместимые измерения — или она может изменить состояние, переопределив его — это называется несовместимыми или дополнительными измерениями. Например, мы можем измерить импульс состояния вдоль оси любое количество раз и получить тот же результат, но если мы измеряем положение после одного измерения импульса, последующие измерения импульса изменяются. Квантовое состояние оказывается неизбежно измененным несовместимыми измерениями. Это известно как принцип неопределенности .
Квантовое состояние после измерения находится в собственном состоянии, соответствующем этому измерению и измеренному значению. [1] : 202 Другие аспекты состояния могут быть неизвестны. Повторение измерения не изменит состояние. В некоторых случаях совместимые измерения могут дополнительно уточнить состояние, сделав его собственным состоянием, соответствующим всем этим измерениям. [2] Полный набор совместимых измерений создает чистое состояние . Любое состояние, которое не является чистым, называется смешанным состоянием , что более подробно обсуждается ниже. [1] : 204 [3] : 73
Решения собственных состояний уравнения Шредингера могут быть преобразованы в чистые состояния. Эксперименты редко производят чистые состояния. Поэтому статистические смеси решений должны сравниваться с экспериментами. [1] : 204
Одно и то же физическое квантовое состояние может быть выражено математически разными способами, называемыми представлениями . [1] Позиционная волновая функция — это одно из представлений, которое часто встречается первым во введениях в квантовую механику. Эквивалентная импульсная волновая функция — это другое представление, основанное на волновой функции. Представления аналогичны системам координат [1] : 244 или подобным математическим устройствам, таким как параметрические уравнения . Выбор представления упростит некоторые аспекты проблемы за счет усложнения других вещей.
В формальной квантовой механике (см. ниже) теория развивается в терминах абстрактного « векторного пространства », избегая какого-либо конкретного представления. Это позволяет многим элегантным концепциям квантовой механики быть выраженными и применяться даже в случаях, когда не существует классического аналога. [1] : 244
Волновые функции представляют квантовые состояния, особенно когда они являются функциями положения или импульса . Исторически определения квантовых состояний использовали волновые функции до того, как были разработаны более формальные методы. [4] : 268 Волновая функция является комплекснозначной функцией любого полного набора коммутирующих или совместимых степеней свободы . Например, один набор может быть пространственными координатами электрона. Подготовка системы путем измерения полного набора совместимых наблюдаемых дает чистое квантовое состояние . Чаще всего неполное приготовление дает смешанное квантовое состояние . Решения волновой функции уравнений движения Шредингера для операторов, соответствующих измерениям, можно легко выразить как чистые состояния; их необходимо объединить со статистическими весами, соответствующими экспериментальной подготовке, чтобы вычислить ожидаемое распределение вероятностей. [1] : 205
Численные или аналитические решения в квантовой механике могут быть выражены как чистые состояния . Эти состояния решения, называемые собственными состояниями , помечены квантованными значениями, обычно квантовыми числами . Например, при работе с энергетическим спектром электрона в атоме водорода соответствующие чистые состояния идентифицируются главным квантовым числом n , квантовым числом углового момента ℓ , магнитным квантовым числом m и компонентой спина z s z . Для другого примера, если спин электрона измеряется в любом направлении, например, с помощью эксперимента Штерна-Герлаха , возможны два результата: вверх или вниз. Чистое состояние здесь представлено двумерным комплексным вектором с длиной , равной единице; то есть, с где и являются абсолютными значениями и .
Постулаты квантовой механики утверждают, что чистые состояния в заданный момент времени t соответствуют векторам в сепарабельном комплексном гильбертовом пространстве , в то время как каждая измеримая физическая величина (такая как энергия или импульс частицы ) связана с математическим оператором, называемым наблюдаемой . Оператор служит линейной функцией , которая действует на состояния системы. Собственные значения оператора соответствуют возможным значениям наблюдаемой. Например, можно наблюдать частицу с импульсом 1 кг⋅м/с тогда и только тогда, когда одно из собственных значений оператора импульса равно 1 кг⋅м/с. Соответствующий собственный вектор (который физики называют собственным состоянием ) с собственным значением 1 кг⋅м/с будет квантовым состоянием с определенным, четко определенным значением импульса 1 кг⋅м/с, без квантовой неопределенности . Если измерить его импульс, то гарантированно получится результат 1 кг⋅м/с.
С другой стороны, чистое состояние, описанное как суперпозиция нескольких различных собственных состояний , в общем случае имеет квантовую неопределенность для данной наблюдаемой. Используя обозначение скобок , эта линейная комбинация собственных состояний может быть представлена как: [5] : 22, 171, 172 Коэффициент, соответствующий конкретному состоянию в линейной комбинации, является комплексным числом, что допускает эффекты интерференции между состояниями. Коэффициенты зависят от времени. То, как квантовое состояние изменяется во времени, регулируется оператором эволюции времени .
Смешанное квантовое состояние соответствует вероятностной смеси чистых состояний; однако различные распределения чистых состояний могут генерировать эквивалентные (т.е. физически неразличимые) смешанные состояния. Смесь квантовых состояний снова является квантовым состоянием.
Смешанное состояние для электронных спинов в формулировке матрицы плотности имеет структуру матрицы , которая является эрмитовой и положительно полуопределенной, и имеет след 1. [6] Более сложный случай дается (в скобочной нотации ) синглетным состоянием , которое является примером квантовой запутанности : которая включает в себя суперпозицию совместных спиновых состояний для двух частиц со спином 1 ⁄ 2. Синглетное состояние удовлетворяет свойству, что если спины частиц измеряются вдоль одного и того же направления, то либо спин первой частицы наблюдается вверх, а спин второй частицы наблюдается вниз, либо первая частица наблюдается вниз, а вторая наблюдается вверх, обе возможности возникают с равной вероятностью.
Чистое квантовое состояние может быть представлено лучом в проективном гильбертовом пространстве над комплексными числами , в то время как смешанные состояния представлены матрицами плотности , которые являются положительными полуопределенными операторами , действующими в гильбертовых пространствах. [7] [3] Теорема Шредингера–HJW классифицирует множество способов записи заданного смешанного состояния как выпуклой комбинации чистых состояний. [8] До того, как конкретное измерение выполняется на квантовой системе, теория дает только распределение вероятностей для результата, и форма, которую принимает это распределение, полностью определяется квантовым состоянием и линейными операторами, описывающими измерение. Распределения вероятностей для различных измерений демонстрируют компромиссы, примером которых является принцип неопределенности : состояние, которое подразумевает узкий разброс возможных результатов для одного эксперимента, обязательно подразумевает широкий разброс возможных результатов для другого.
Статистические смеси состояний являются другим типом линейной комбинации. Статистическая смесь состояний является статистическим ансамблем независимых систем. Статистические смеси представляют степень знания, в то время как неопределенность в квантовой механике является фундаментальной. Математически статистическая смесь не является комбинацией, использующей комплексные коэффициенты, а скорее комбинацией, использующей действительные положительные вероятности различных состояний . Число представляет вероятность того, что случайно выбранная система находится в состоянии . В отличие от случая линейной комбинации каждая система находится в определенном собственном состоянии. [9] [10]
Ожидаемое значение наблюдаемой величины A — это статистическое среднее измеренных значений наблюдаемой величины. Именно это среднее значение и распределение вероятностей предсказываются физическими теориями.
Не существует состояния, которое одновременно является собственным состоянием для всех наблюдаемых. Например, мы не можем подготовить состояние, в котором и измерение положения Q ( t ) , и измерение импульса P ( t ) (в одно и то же время t ) были бы известны точно; по крайней мере одно из них будет иметь диапазон возможных значений. [a] Это содержание соотношения неопределенности Гейзенберга .
Более того, в отличие от классической механики, неизбежно, что выполнение измерения в системе, как правило, изменяет ее состояние . [11] [12] [13] : 4 Точнее: После измерения наблюдаемой величины A система будет находиться в собственном состоянии A ; таким образом, состояние изменилось, если только система уже не находилась в этом собственном состоянии. Это выражает своего рода логическую последовательность: если мы измеряем A дважды в одном и том же ходе эксперимента, причем измерения являются непосредственно последовательными во времени, [b] то они дадут те же самые результаты. Однако это имеет некоторые странные последствия, как следует ниже.
Рассмотрим две несовместимые наблюдаемые , A и B , где A соответствует измерению, более раннему по времени, чем B. [c] Предположим, что система находится в собственном состоянии B в начале эксперимента. Если мы измеряем только B , все прогоны эксперимента дадут один и тот же результат. Если мы измеряем сначала A , а затем B в одном и том же прогоне эксперимента, система перейдет в собственное состояние A после первого измерения, и мы, как правило, заметим, что результаты B являются статистическими. Таким образом: Квантово-механические измерения влияют друг на друга , и порядок, в котором они выполняются, важен.
Другая особенность квантовых состояний становится важной, если мы рассматриваем физическую систему, состоящую из нескольких подсистем; например, эксперимент с двумя частицами, а не с одной. Квантовая физика допускает определенные состояния, называемые запутанными состояниями , которые показывают определенные статистические корреляции между измерениями двух частиц, которые не могут быть объяснены классической теорией. Подробнее см. запутанность . Эти запутанные состояния приводят к экспериментально проверяемым свойствам ( теорема Белла ), которые позволяют нам различать квантовую теорию и альтернативные классические (неквантовые) модели.
Можно считать, что наблюдаемые зависят от времени, в то время как состояние σ было зафиксировано один раз в начале эксперимента. Этот подход называется картиной Гейзенберга . (Этот подход был принят в более поздней части обсуждения выше, с изменяющимися во времени наблюдаемыми P ( t ) , Q ( t ) .) Можно, эквивалентно, рассматривать наблюдаемые как фиксированные, в то время как состояние системы зависит от времени; это известно как картина Шредингера . (Этот подход был принят в более ранней части обсуждения выше, с изменяющимся во времени состоянием .) Концептуально (и математически) два подхода эквивалентны; выбор одного из них является вопросом соглашения.
Обе точки зрения используются в квантовой теории. В то время как нерелятивистская квантовая механика обычно формулируется в терминах картины Шредингера, картина Гейзенберга часто предпочтительнее в релятивистском контексте, то есть для квантовой теории поля . Сравните с картиной Дирака . [14] : 65
Квантовая физика чаще всего формулируется в терминах линейной алгебры следующим образом. Любая заданная система отождествляется с некоторым конечномерным или бесконечномерным гильбертовым пространством . Чистые состояния соответствуют векторам с нормой 1. Таким образом, множество всех чистых состояний соответствует единичной сфере в гильбертовом пространстве, поскольку единичная сфера определяется как множество всех векторов с нормой 1.
Умножение чистого состояния на скаляр физически несущественно (пока состояние рассматривается само по себе). Если вектор в комплексном гильбертовом пространстве может быть получен из другого вектора путем умножения на некоторое ненулевое комплексное число, то говорят, что два вектора в соответствуют одному и тому же лучу в проективном гильбертовом пространстве . Обратите внимание, что хотя используется слово луч , собственно говоря, точка в проективном гильбертовом пространстве соответствует прямой, проходящей через начало координат гильбертова пространства, а не полупрямой или лучу в геометрическом смысле .
Угловой момент имеет ту же размерность ( M · L 2 · T −1 ), что и постоянная Планка , и в квантовом масштабе ведет себя как дискретная степень свободы квантовой системы. Большинство частиц обладают своего рода внутренним угловым моментом, который вообще не появляется в классической механике и возникает из релятивистского обобщения теории Дирака. Математически он описывается спинорами . В нерелятивистской квантовой механике групповые представления группы Ли SU(2) используются для описания этой дополнительной свободы. Для данной частицы выбор представления (и, следовательно, диапазон возможных значений наблюдаемого спина) задается неотрицательным числом S , которое в единицах приведенной постоянной Планка ħ является либо целым числом (0, 1, 2 ...), либо полуцелым числом (1/2, 3/2, 5/2 ...). Для массивной частицы со спином S ее спиновое квантовое число m всегда принимает одно из 2 S + 1 возможных значений в наборе
Вследствие этого квантовое состояние частицы со спином описывается векторной волновой функцией со значениями в C2S +1 . Эквивалентно, она представлена комплекснозначной функцией четырех переменных: одна дискретная квантовая числовая переменная (для спина) добавляется к обычным трем непрерывным переменным (для положения в пространстве ) .
Квантовое состояние системы из N частиц, каждая из которых потенциально имеет спин, описывается комплекснозначной функцией с четырьмя переменными на частицу, соответствующими 3 пространственным координатам и спину , например:
Здесь спиновые переменные m ν принимают значения из набора , где — спин ν -й частицы. для частицы, не обладающей спином.
Обработка идентичных частиц сильно отличается для бозонов (частиц с целым спином) и фермионов (частиц с полуцелым спином). Вышеуказанная функция N -частиц должна быть либо симметризована (в бозонном случае), либо антисимметризована (в фермионном случае) относительно числа частиц. Если не все N частиц идентичны, но некоторые из них идентичны, то функция должна быть (анти)симметризована отдельно по переменным, соответствующим каждой группе идентичных переменных, в соответствии с ее статистикой (бозонной или фермионной).
Электроны — это фермионы с S = 1/2 , фотоны (кванты света) — это бозоны с S = 1 (хотя в вакууме они безмассовы и не могут быть описаны механикой Шредингера).
Когда симметризация или антисимметризация не нужны, N -частичные пространства состояний могут быть получены просто с помощью тензорных произведений одночастичных пространств, к которым мы вернемся позже.
Состояние, принадлежащее сепарабельному комплексному гильбертову пространству , всегда может быть выражено однозначно как линейная комбинация элементов ортонормированного базиса . Используя обозначение скобок , это означает, что любое состояние может быть записано как с комплексными коэффициентами и базисными элементами . В этом случае условие нормализации переводится в В физических терминах было выражено как квантовая суперпозиция «базисных состояний» , т. е. собственных состояний наблюдаемой. В частности, если указанная наблюдаемая измеряется на нормализованном состоянии , то есть вероятность того, что результат измерения будет . [5] : 22
В общем случае выражение для вероятности всегда состоит из соотношения между квантовым состоянием и частью спектра динамической переменной (т.е. случайной величины ), которая наблюдается. [15] : 98 [16] : 53 Например, ситуация выше описывает дискретный случай, когда собственные значения принадлежат точечному спектру . Аналогично, волновая функция является просто собственной функцией оператора Гамильтона с соответствующим собственным значением(ями) ; энергия системы.
Примером непрерывного случая является оператор положения . Вероятностная мера для системы в состоянии задается как: [17] где — функция плотности вероятности нахождения частицы в заданном положении. Эти примеры подчеркивают различие в характеристиках между состоянием и наблюдаемым. То есть, в то время как — чистое состояние, принадлежащее , (обобщенные) собственные векторы оператора положения не . [18]
Хотя чистые состояния тесно связаны, они не совпадают со связанными состояниями, принадлежащими чистому точечному спектру наблюдаемой без квантовой неопределенности. Говорят, что частица находится в связанном состоянии , если она остается локализованной в ограниченной области пространства для всех времен. Чистое состояние называется связанным состоянием тогда и только тогда, когда для каждого существует компактное множество такое, что для всех . [19] Интеграл представляет вероятность того, что частица будет обнаружена в ограниченной области в любой момент времени . Если вероятность остается произвольно близкой к , то говорят, что частица остается в .
Как упоминалось выше, квантовые состояния могут быть суперпозицией . Если и являются двумя кетами, соответствующими квантовым состояниям, кет также является квантовым состоянием той же системы. Оба и могут быть комплексными числами; их относительная амплитуда и относительная фаза будут влиять на результирующее квантовое состояние.
Записывая суперпозицию состояния с использованием и определяя норму состояния как: и извлекая общие множители, получаем: Общий фазовый множитель впереди не имеет физического эффекта. [20] : 108 Только относительная фаза влияет на физическую природу суперпозиции.
Одним из примеров суперпозиции является эксперимент с двумя щелями , в котором суперпозиция приводит к квантовой интерференции . Другим примером важности относительной фазы являются осцилляции Раби , где относительная фаза двух состояний изменяется во времени из-за уравнения Шредингера . Результирующая суперпозиция в конечном итоге колеблется вперед и назад между двумя различными состояниями.
Чистое квантовое состояние — это состояние, которое можно описать одним кет-вектором, как описано выше. Смешанное квантовое состояние — это статистический ансамбль чистых состояний (см. квантовую статистическую механику ). [3] : 73
Смешанные состояния возникают в квантовой механике в двух различных ситуациях: во-первых, когда подготовка системы не полностью известна, и, таким образом, приходится иметь дело со статистическим ансамблем возможных приготовлений; и, во-вторых, когда требуется описать физическую систему, которая запутана с другой, поскольку ее состояние не может быть описано чистым состоянием. В первом случае теоретически может быть другой человек, который знает полную историю системы, и, следовательно, описывает ту же систему как чистое состояние; в этом случае матрица плотности просто используется для представления ограниченного знания квантового состояния. Однако во втором случае существование квантовой запутанности теоретически препятствует существованию полного знания о подсистеме, и невозможно для любого человека описать подсистему запутанной пары как чистое состояние.
Смешанные состояния неизбежно возникают из чистых состояний, когда для составной квантовой системы с запутанным состоянием часть недоступна наблюдателю. [3] : 121–122 Состояние части тогда выражается как частичный след по .
Смешанное состояние не может быть описано одним кет-вектором. [21] : 691–692 Вместо этого оно описывается связанной с ним матрицей плотности (или оператором плотности ), обычно обозначаемым ρ . Матрицы плотности могут описывать как смешанные , так и чистые состояния, рассматривая их на одинаковой основе. Более того, смешанное квантовое состояние в заданной квантовой системе, описываемой гильбертовым пространством, всегда может быть представлено как частичный след чистого квантового состояния (называемого очищением ) в большей двудольной системе для достаточно большого гильбертова пространства .
Матрица плотности, описывающая смешанное состояние, определяется как оператор вида , где p s — доля ансамбля в каждом чистом состоянии. Матрицу плотности можно рассматривать как способ использования одночастичного формализма для описания поведения многих подобных частиц путем задания распределения вероятностей (или ансамбля) состояний, в которых эти частицы могут находиться.
Простым критерием проверки того, описывает ли матрица плотности чистое или смешанное состояние, является то, что след ρ2 равен 1, если состояние чистое, и меньше 1, если состояние смешанное. [d] [22] Другим эквивалентным критерием является то, что энтропия фон Неймана равна 0 для чистого состояния и строго положительна для смешанного состояния.
Правила измерения в квантовой механике особенно просто сформулировать в терминах матриц плотности. Например, среднее по ансамблю ( ожидаемое значение ) измерения, соответствующего наблюдаемой A, задается как где и являются собственными значениями и собственными значениями соответственно для оператора A , а " tr " обозначает след. [3] : 73 Важно отметить, что происходит два типа усреднения, одно (по ) является обычным ожидаемым значением наблюдаемой, когда квант находится в состоянии , а другое (по ) является статистическим (называемым некогерентным ) средним с вероятностями p s того, что квант находится в этих состояниях.
Состояния можно формулировать в терминах наблюдаемых, а не как векторы в векторном пространстве. Это положительные нормализованные линейные функционалы на C*-алгебре или иногда на других классах алгебр наблюдаемых. Подробнее см. Состояние на C*-алгебре и конструкция Гельфанда–Наймарка–Сигала .
Концепция квантовых состояний, в частности содержание раздела «Формализм в квантовой физике» выше, рассматривается в большинстве стандартных учебников по квантовой механике.
Для обсуждения концептуальных аспектов и сравнения с классическими состояниями см.:
Более подробное освещение математических аспектов см.:
Обсуждение очищения смешанных квантовых состояний см. в Главе 2 конспекта лекций Джона Прескилла по курсу физики 219 в Калтехе.
Для обсуждения геометрических аспектов см.: