WikiDer > Когерентные состояния в математической физике

Эта статья может потребоваться переписанный соответствовать требованиям Википедии стандарты качества. Ты можешь помочь. В страница обсуждения может содержать предложения. (Февраль 2019 г.)

Когерентные состояния были введены в физическом контексте, сначала как квазиклассические состояния в квантовая механика, то в качестве основы квантовая оптика и они описаны в этом духе в статье Когерентные состояния (см. также^[1]). Однако они породили огромное количество обобщений, которые привели к появлению огромного количества литературы в математическая физикаВ этой статье мы кратко изложим основные направления исследований в этом направлении. Для получения дополнительной информации мы ссылаемся на несколько существующих опросов.^[2][3][4]

Общее определение

Позволять ${ Displaystyle { mathfrak {H}} ,}$ - комплексное сепарабельное гильбертово пространство, ${ displaystyle X}$ локально компактное пространство и ${ displaystyle d nu}$ мера на ${ displaystyle X}$. Для каждого ${ displaystyle x}$ в ${ displaystyle X}$, обозначим ${ Displaystyle | х rangle}$ вектор в ${ displaystyle { mathfrak {H}}}$. Предположим, что этот набор векторов обладает следующими свойствами:

1. Отображение ${ Displaystyle х mapsto | х rangle}$ слабо непрерывна, т.е. для каждого вектора ${ displaystyle | phi rangle}$ в ${ displaystyle { mathfrak {H}}}$, функция ${ Displaystyle Psi (x) = langle x | phi rangle}$ непрерывна (в топологии ${ displaystyle X}$).
2. Разрешение личности

${ displaystyle int _ {X} | x rangle langle x | ; d nu (x) = I _ { mathfrak {H}}}$

выполняется в слабом смысле на гильбертовом пространстве ${ displaystyle { mathfrak {H}}}$, т.е. для любых двух векторов ${ displaystyle | phi rangle, | psi rangle}$ в ${ displaystyle { mathfrak {H}}}$, имеет место равенство

${ Displaystyle int _ {X} langle phi | x rangle langle x | psi rangle ; d nu (x) = langle phi | psi rangle ;.}$

Набор векторов ${ Displaystyle | х rangle}$ удовлетворяющий двум указанным выше свойствам, называется семейством обобщенные когерентные состояния. Чтобы восстановить предыдущее определение (приведенное в статье Когерентное состояние) канонических или стандартных когерентных состояний (CCS), достаточно взять ${ Displaystyle X эквив mathbb {C}}$, комплексная плоскость и ${ Displaystyle d nu (x) Equiv { frac {1} { pi}} d ^ {2} x.}$

Иногда разрешение условия тождества заменяется более слабым условием с векторами ${ Displaystyle | х rangle}$ просто формируя общий набор^{[требуется разъяснение]} в ${ Displaystyle { mathfrak {H}} ,}$ и функции ${ Displaystyle Psi (x) = langle x | psi rangle}$, так как${ displaystyle | psi rangle}$ проходит через ${ displaystyle { mathfrak {H}}}$, образуя воспроизводящее ядро ​​гильбертова пространстваЗадача в обоих случаях - обеспечить, чтобы произвольный вектор ${ displaystyle | psi rangle}$ можно выразить как линейную (целую) комбинацию этих векторов. Действительно, из разрешения тождества сразу следует, что

${ Displaystyle | psi rangle = int _ {X} Psi (x) | x rangle ; d nu (x) ;,}$

куда ${ Displaystyle Psi (x) = langle x | psi rangle}$.

Эти векторы ${ displaystyle Psi}$ являются квадратично интегрируемыми непрерывными функциями на ${ displaystyle X}$ и удовлетворить воспроизводящая собственность

${ Displaystyle int _ {X} К (х, у) пси (у) ; д ню (у) = пси (х) ,,}$

куда ${ Displaystyle К (х, y) = langle x | y rangle}$ - воспроизводящее ядро, которое удовлетворяет следующим свойствам

${ Displaystyle четырехъядерный К (х, у) = { overline {К (у, х)}} ; qquad K (х, х)> 0 ;,}$

${ Displaystyle int _ {X} К (х, z) ; К (z, y) ; d nu (z) = K (x, y) ;.}$

Некоторые примеры

В этом разделе мы представляем некоторые из наиболее часто используемых типов когерентных состояний в качестве иллюстраций общей структуры, приведенной выше.

Нелинейные когерентные состояния

Широкий класс обобщений CCS получается простой модификацией их аналитической структуры. Позволять ${ displaystyle varepsilon _ {1} leq varepsilon _ {2} leq ldots leq varepsilon _ {n} leq ldots}$ - бесконечная последовательность положительных чисел (${ displaystyle varepsilon _ {1} neq 0}$). Определять${ displaystyle varepsilon _ {n}! = varepsilon _ {1} varepsilon _ {2} ldots varepsilon _ {n}}$ и по соглашению ${ displaystyle varepsilon _ {0}! = 1}$. В то же самое Пространство фокав котором были описаны CCS, теперь мы определяем связанные деформированный или же нелинейный когерентные состояния по разложению

${ displaystyle vert alpha rangle = { mathcal {N}} ( vert alpha vert ^ {2}) ^ {- { frac {1} {2}}} ; sum _ {n = 0} ^ { infty} { frac { alpha ^ {n}} { sqrt { varepsilon _ {n}!}}} | N rangle ,.}$

Коэффициент нормализации ${ Displaystyle { mathcal {N}} ( верт альфа верт ^ {2})}$ выбирается так, чтобы${ Displaystyle langle alpha vert alpha rangle = 1}$. Эти обобщенные когерентные состояния переполнены пространством Фока и удовлетворяют разрешению тождества

${ displaystyle int _ { mathcal {D}} vert alpha rangle langle alpha vert ; { mathcal {N}} ( vert alpha vert ^ {2}) ; d nu ( alpha, { overline { alpha}}) = I ;,}$

${ Displaystyle { mathcal {D}}}$ открытый диск в комплексной плоскости радиуса ${ displaystyle L}$, радиус сходимости ряда${ displaystyle sum _ {n = 0} ^ { infty} { frac { alpha ^ {n}} { sqrt { varepsilon _ {n}!}}}}$(в случае CCS, ${ Displaystyle L = infty}$.)Мера ${ displaystyle d nu}$ в общем имеет форму ${ Displaystyle д тета ; д лямбда (г)}$ (за ${ Displaystyle альфа = ре ^ {я тета}}$), куда ${ displaystyle d lambda}$относится к ${ displaystyle varepsilon _ {n}!}$ через момент состояние.

Еще раз видим, что для произвольного вектора ${ displaystyle | phi rangle}$ в пространстве Фока функция ${ Displaystyle Phi ( alpha) = langle phi | alpha rangle}$ имеет форму ${ displaystyle Phi ( alpha) = { mathcal {N}} ( vert alpha vert ^ {2}) ^ {- { frac {1} {2}}} f ( alpha)}$, куда ${ displaystyle f ,}$ является аналитическая функция на домене ${ Displaystyle { mathcal {D}}}$. Воспроизводящее ядро, связанное с этими когерентными состояниями, есть

${ Displaystyle К ({ overline { alpha}}, alpha ') = langle alpha | alpha' rangle = left [{ mathcal {N}} ( vert alpha vert ^ {2 }) { mathcal {N}} ( vert alpha ' vert ^ {2}) right] ^ {- { frac {1} {2}}} sum _ {n = 0} ^ { infty} { frac {({ overline { alpha}} alpha ') ^ {n}} { varepsilon _ {n}!}} ;}$

Когерентные состояния Барута – Жирарделло.

По аналогии со случаем CCS можно определить обобщенный оператор аннигиляции ${ displaystyle A}$ своим действием на векторы ${ displaystyle | alpha rangle}$,

${ Displaystyle А | альфа rangle = альфа | альфа rangle ;,}$

и сопряженный к нему оператор ${ displaystyle A ^ { dagger}}$. Они действуют на Фока заявляет ${ displaystyle | п rangle}$ в качестве

${ displaystyle A | n rangle = { sqrt { varepsilon _ {n}}} | n-1 rangle ;, qquad A ^ { dagger} | n rangle = { sqrt { varepsilon _ {n + 1}}} | n + 1 rangle ;.}$

В зависимости от точных значений количеств ${ displaystyle varepsilon _ {n}}$эти два оператора вместе с тождеством ${ displaystyle I}$ и все их коммутаторы, могут генерировать широкий спектр алгебр, включая различные типы деформированных квантовые алгебры. Термин `` нелинейный '', часто применяемый к этим обобщенным когерентным состояниям, снова происходит из квантовой оптики, где многие такие семейства состояний используются при изучении взаимодействия между полем излучения и атомами, где сила самого взаимодействия зависит от частоты излучения. . Конечно, эти когерентные состояния, как правило, не обладают ни теоретико-групповыми свойствами, ни свойствами минимальной неопределенности CCS (могут быть и более общие свойства).

Операторы ${ displaystyle A}$ и ${ displaystyle A ^ { dagger}}$ общего типа, определенного выше, также известны как операторы лестницы . Когда такие операторы появляются как генераторы представлений алгебр Ли, собственные векторы ${ displaystyle A}$обычно называются Когерентные состояния Барута – Жирарделло..^[5]Типичный пример получается из представлений Алгебра Ли SU (1,1) на Пространство фока.

Когерентные состояния Газо – Клаудера.

Неаналитическое расширение приведенного выше выражения нелинейных когерентных состояний часто используется для определения обобщенных когерентных состояний, связанных с физическими Гамильтонианы имеют чисто точечный спектр. Эти когерентные состояния, известные как Когерентные состояния Газо – Клаудера., помечены угол действия переменные.^[6]Предположим, что нам дан физический гамильтониан ${ displaystyle H = sum _ {n = 0} ^ { infty} E_ {n} | n rangle langle n |}$, с ${ displaystyle E_ {0} = 0}$, т.е. имеет собственные значения энергии${ displaystyle E_ {n}}$ и собственные векторы ${ displaystyle | п rangle}$, которые, как мы предполагаем, образуют ортонормированный базис гильбертова пространства состояний ${ displaystyle { mathfrak {H}}}$. Запишем собственные значения в виде${ displaystyle E_ {n} = omega varepsilon _ {n}}$ введением последовательности безразмерных величин ${ Displaystyle { varepsilon _ {п} }}$ заказано как:${ Displaystyle 0 = varepsilon _ {0} < varepsilon _ {1} < varepsilon _ {2} < ldots ;}$. Тогда для всех ${ displaystyle J geq 0}$ и${ displaystyle gamma in mathbb {R}}$, когерентные состояния Газо – Клаудера определяются как

${ displaystyle | J, gamma rangle = { mathcal {N}} (J) ^ {- { frac {1} {2}}} sum _ {n = 0} ^ { infty} , { frac {J ^ {n / 2} e ^ {- i varepsilon _ {n} gamma}} { sqrt { varepsilon _ {n}!}}} | n rangle ;,}$

где снова ${ displaystyle { mathcal {N}}}$ - коэффициент нормализации, который оказывается зависимым от ${ displaystyle J}$ только эти когерентные состояния удовлетворяют временная стабильность условие,

${ displaystyle e ^ {- iHt} vert J, gamma rangle = vert J, gamma + omega t rangle ;,}$

и личность действия,

${ displaystyle langle J, gamma | H | J, gamma rangle _ { mathfrak {H}} = omega J ;.}$

Хотя эти обобщенные когерентные состояния действительно образуют чрезмерно полный набор в ${ displaystyle { mathfrak {H}}}$разрешение тождества обычно задается не интегральным соотношением, как выше, а интегралом в смысле Бора, как это используется в теории почти периодические функции.

Фактически конструкция CS Газо – Клаудера может быть расширена на векторные CS и на гамильтонианы с вырожденными спектрами, как показали Али и Багарелло.^[7]

Когерентные состояния теплового ядра

Другой тип когерентного состояния возникает при рассмотрении частицы, конфигурационное пространство которой является групповым многообразием компактной группы Ли K. Холл ввел когерентные состояния, в которых обычный гауссовский на евклидовом пространстве заменяется на тепловое ядро на K.^[8] Пространство параметров когерентных состояний - это "комплексирование"из K; например, если K есть SU (n), то комплексификация SL (п,C). Эти когерентные состояния имеют разрешение идентичности, которое приводит к Пространство Сегала-Баргмана по усложнению. Результаты Холла были распространены Стензелем на компактные симметрические пространства, включая сферы.^[9][10] Когерентные состояния теплового ядра в случае ${ Displaystyle К = mathrm {SU} (2)}$, были применены в теории квантовой гравитации Тиманом и его сотрудниками.^[11] Хотя в построении участвуют две разные группы Ли, когерентные состояния теплового ядра не относятся к переломовскому типу.

Теоретико-групповой подход

Гилмор и Переломов независимо друг от друга осознали, что построение когерентных состояний иногда можно рассматривать как теоретико-групповую проблему.^{[12][13][14][15][16][17]}

Чтобы убедиться в этом, вернемся ненадолго к случаю CCS: там действительно есть оператор смещения ${ Displaystyle D ( альфа) ;}$не что иное, как представитель в Пространство фока элемента Группа Гейзенберга (также называемая группой Вейля – Гейзенберга), чья Алгебра Ли генерируется ${ Displaystyle X, , P}$ и ${ displaystyle I}$. Однако, прежде чем переходить к CCS, рассмотрим сначала общий случай.

Позволять ${ displaystyle G}$ - локально компактная группа, и предположим, что у нее есть непрерывная неприводимая представление ${ displaystyle U}$ на гильбертском пространстве ${ Displaystyle { mathfrak {H}} ,}$ унитарными операторами ${ Displaystyle U (г), ; г в G}$. Это представление называетсяквадратично интегрируемый если существует ненулевой вектор ${ displaystyle | psi rangle}$ в ${ Displaystyle { mathfrak {H}} ;}$ для которого интеграл

${ Displaystyle с ( psi) = int _ {G} vert langle psi | U (g) psi rangle vert ^ {2} ; d mu (g)}$

сходится. Здесь ${ displaystyle d mu}$ левый инвариант Мера Хаара на ${ displaystyle G}$.A вектор ${ displaystyle | psi rangle}$ для которого ${ Displaystyle с ( фунт / кв. дюйм) < infty}$ как говорятдопустимый, и можно показать, что существование одного такого вектора гарантирует существование целого плотного множества таких векторов в ${ displaystyle { mathfrak {H}}}$. Более того, если группа ${ displaystyle G}$ является унимодулярный, т.е. если левая и правая инвариантные меры совпадают, то из существования одного допустимого вектора следует, что каждый вектор из${ Displaystyle { mathfrak {H}} ;}$ допустимо. Учитывая квадратично интегрируемое представление ${ displaystyle U}$ и допустимый вектор${ displaystyle | psi rangle}$, определим векторы

${ displaystyle | g rangle = { frac {1} { sqrt {c ( psi)}}} ; U (g) | psi rangle, { mbox {для всех}} g in G .}$

Эти векторы являются аналогами канонических когерентных состояний, записанных там в терминах представления Группа Гейзенберга (однако см. раздел о С.С. Гилмора-Переломова ниже). Далее можно показать, что разрешение тождества

${ displaystyle int _ {G} | g rangle langle g | ; d mu (g) ​​= I _ { mathfrak {H}}}$

держится ${ displaystyle { mathfrak {H}}}$. Таким образом, векторы ${ displaystyle | g rangle}$ составляют семейство обобщенно когерентных состояний. Функции ${ Displaystyle F (g) = langle g | phi rangle}$ для всех векторов${ displaystyle | phi rangle}$ в ${ Displaystyle { mathfrak {H}} ;}$ квадратично интегрируемы по мере${ displaystyle d mu}$ и множество таких функций, которые на самом деле непрерывны в топологии ${ displaystyle G}$, образует замкнутое подпространство ${ Displaystyle L ^ {2} (G, d mu)}$. Кроме того, отображение${ displaystyle phi mapsto F}$ является линейной изометрией между ${ Displaystyle { mathfrak {H}} ;}$ и ${ Displaystyle L ^ {2} (G, d mu)}$ и при этой изометрии представление $ U $ отображается на подпредставление левого регулярное представительство из ${ displaystyle G}$ на ${ Displaystyle L ^ {2} (G, d mu)}$.

Пример: вейвлеты

Типичный пример вышеупомянутой конструкции представляет собой аффинная группа линии, ${ displaystyle G _ { text {Aff}}}$. Это группа всех 2${ displaystyle times}$2 матрицы типа,

${ displaystyle g = { begin {pmatrix} a & b 0 & 1 end {pmatrix}} ;,}$

${ displaystyle a}$ и ${ displaystyle b}$ быть реальными числами с ${ displaystyle a neq 0}$. Мы также напишем${ Displaystyle г = (Ь, а)}$, с действием на ${ Displaystyle mathbb {R}}$ данный ${ displaystyle (b, a) cdot x = b + ax}$. Эта группа не унимодулярна, а левая инвариантная мера задается формулой ${ Displaystyle д му (Ь, а) = а ^ {- 2} ; дб ; да}$ (правая инвариантная мера ${ displaystyle a ^ {- 1} ; db ; da}$Аффинная группа имеет унитарное неприводимое представление в гильбертовом пространстве ${ Displaystyle L ^ {2} ( mathbb {R}, dx)}$.Вектора в ${ Displaystyle L ^ {2} ( mathbb {R}, dx)}$ измеримые функции ${ Displaystyle varphi (х)}$реальной переменной ${ displaystyle x}$ и (унитарные) операторы ${ Displaystyle U (Ь, а)}$ этого представления действовать на них как

${ displaystyle (U (b, a) varphi) (x) = { frac {1} { sqrt { vert a vert}}} ; varphi left ({ frac {xb} {a }} right) = { frac {1} { sqrt { vert a vert}}} ; varphi left ((b, a) ^ {- 1} cdot x right) ;. }$

Если ${ displaystyle psi}$ функция в ${ Displaystyle L ^ {2} ( mathbb {R}, dx)}$ так что его преобразование Фурье${ displaystyle { widehat { psi}}}$ удовлетворяет условию (допустимости)

${ displaystyle int _ { mathbb {R}} { frac { vert { widehat { psi}} (k) vert ^ {2}} { vert k vert}} ; dk < infty ;,}$

то можно показать, что это допустимый вектор, т. е.

${ displaystyle c ( psi) = int _ {G _ { text {Aff}}} vert langle psi | U (b, a) psi rangle vert ^ {2} ; { frac {db ; da} {a ^ {2}}} < infty ;.}$

Таким образом, следуя изложенной выше общей конструкции, векторы

${ displaystyle | b, a rangle = { frac {1} { sqrt {c ( psi)}}} ; U (b, a) psi ;, qquad (b, a) in G _ { text {Aff}}}$

определить семейство обобщенных когерентных состояний и получить разрешение тождества

${ displaystyle int _ {G _ { text {Aff}}} | b, a rangle langle b, a | ; { frac {db ; da} {a ^ {2}}} = I}$

на ${ Displaystyle L ^ {2} ( mathbb {R}, dx)}$В литературе по анализу сигналов вектор, удовлетворяющий вышеуказанному условию допустимости, называется материнский вейвлет и обобщенные когерентные состояния ${ displaystyle | b, a rangle}$ называются вейвлеты. Затем сигналы идентифицируются векторами. ${ displaystyle | varphi rangle}$ в ${ Displaystyle L ^ {2} ( mathbb {R}, dx)}$ и функция

${ Displaystyle F (b, a) = langle b, a | varphi rangle ;,}$

называется непрерывное вейвлет-преобразование сигнала ${ displaystyle varphi}$. ^[18][19]

Эту концепцию можно расширить до двух измерений: группа ${ Displaystyle G _ { text {Aff}} ;}$заменяется так называемым группа подобия плоскости, которая состоит из плоских трансляций, поворотов и глобальных растяжений. Полученные двумерные вейвлеты и некоторые их обобщения широко используются в обработка изображений.^[20]

Когерентные состояния Гилмора – Переломова.

Построения когерентных состояний с использованием описанных выше представлений групп недостаточно. Он уже не может уступить CCS, так как они нет индексируется элементами Группа Гейзенберга, а скорее точками отношения последнего к его центру, причем это частное в точности равно ${ Displaystyle mathbb {R} ^ {2}}$. Ключевое наблюдение состоит в том, что центр группы Гейзенберга оставляет вакуумный вектор ${ displaystyle | 0 rangle}$ инвариантен с точностью до фазы. Обобщая эту идею, Гилмор и Переломов^{[12] [13] [14] [15]} рассмотрим локально компактную группу ${ displaystyle G}$ и унитарное неприводимое представление ${ displaystyle U}$ из ${ displaystyle G}$ на гильбертовом пространстве ${ displaystyle { mathfrak {H}}}$, не обязательно квадратично интегрируемым. Исправить вектор ${ displaystyle | psi rangle}$ в ${ displaystyle { mathfrak {H}}}$, единичной нормы и обозначим ${ displaystyle H}$ подгруппа ${ displaystyle G}$ состоящий из всех элементов ${ displaystyle h}$ которые оставляют его неизменным до фазы, то есть,

${ Displaystyle U (h) mid psi rangle = e ^ {я omega (h)} mid psi rangle ,,}$

куда ${ displaystyle omega}$ является действительной функцией от ${ displaystyle h}$. Позволять ${ Displaystyle X = G / H}$ левое пространство смежных классов и${ displaystyle x}$ произвольный элемент в ${ displaystyle X}$. Выбор представителя смежного класса ${ displaystyle g (x) in G}$, для каждого смежного класса ${ displaystyle x}$, определим векторы

${ displaystyle | x rangle = U (g (x)) | psi rangle in { mathfrak {H}}.}$

Зависимость этих векторов от конкретного выбора представителя смежного класса${ displaystyle g (x)}$ только через фазу. Действительно, если бы вместо ${ displaystyle g (x)}$, мы взяли другого представителя ${ displaystyle g (x) ' in G}$ для того же класса ${ displaystyle x}$, то поскольку ${ Displaystyle г (х) '= г (х) ч}$ для некоторых ${ displaystyle h in H}$, мы бы хотели иметь ${ Displaystyle U (г (х) ') | psi rangle = e ^ {я omega (h)} | x rangle}$. Следовательно, квантово-механически оба ${ Displaystyle | х rangle}$ и${ Displaystyle U (г (х) ') | psi rangle}$ представляют одно и то же физическое состояние и, в частности, оператор проекции${ Displaystyle | х rangle langle x |}$ зависит только от смежника. Векторы ${ Displaystyle | х rangle}$ определены таким образом, называютсяКогерентные состояния Гилмора – Переломова.. С ${ displaystyle U}$ считается неприводимым, множество всех этих векторов как ${ displaystyle x}$ проходит через ${ displaystyle G / H}$ плотно в ${ displaystyle { mathfrak {H}}}$В этом определении обобщенных когерентных состояний не постулируется разрешение тождества. Однако если ${ displaystyle X}$ несет инвариантную меру под естественным действием ${ displaystyle G}$, и если формальный оператор ${ displaystyle B}$ определяется как

${ displaystyle B = int _ {X} | x rangle langle x | ; d mu (x) ;,}$

ограничено, то это обязательно кратное тождеству, и снова извлекается разрешение тождества.

Когерентные состояния Гилмора – Переломова были обобщены на квантовые группы, но для этого обратимся к литературе.^{[21][22][23][24][25][26]}

Дальнейшее обобщение: когерентные состояния на смежных пространствах.

Конструкцию Переломова можно использовать для определения когерентных состояний любой локально компактной группы. С другой стороны, особенно в случае отказа конструкции Гилмора – Переломова, существуют другие конструкции обобщенных когерентных состояний, использующие представления групп, которые обобщают понятие квадратичной интегрируемости на однородные пространства группы.^[2][3]

Вкратце, в этом подходе мы начинаем с унитарного неприводимого представления ${ displaystyle U}$ и пытается найти вектор ${ displaystyle | psi rangle}$, asubgroup ${ displaystyle H}$ и раздел ${ displaystyle sigma: G / H to G}$ такой, что

${ displaystyle int _ {G / H} | x rangle langle x | ; d mu (x) = T ;,}$

куда ${ Displaystyle | х rangle = U ( sigma (x)) | psi rangle}$, ${ Displaystyle T ;}$ является ограниченным положительным оператором с ограниченными обратным и ${ displaystyle d mu}$ является квазиинвариантной мерой на ${ Displaystyle X = G / H}$. Не предполагается, что${ displaystyle | psi rangle}$ быть инвариантным с точностью до фазы под действием ${ displaystyle H}$ и ясно, что лучшая ситуация - это когда ${ displaystyle T}$ является кратным тождеству. Хотя эта общая конструкция несколько техническая, она чрезвычайно универсальна для полупрямых групп продуктов типа ${ Displaystyle mathbb {R} ^ {n} rtimes K}$, куда ${ displaystyle K}$ замкнутая подгруппа в ${ Displaystyle GL (п, mathbb {R})}$Таким образом, это полезно для многих физически важных групп, таких какГруппа Пуанкаре или Евклидова группа, которые не имеют квадратично интегрируемых представлений в смысле предыдущего определения, в частности интегрального условия, определяющего оператор ${ displaystyle T}$ гарантирует, что любой вектор${ displaystyle | phi rangle}$ в ${ Displaystyle { mathfrak {H}} ;}$ можно записать в терминах обобщенных когерентных состояний ${ Displaystyle | х rangle}$ а именно,

${ Displaystyle | phi rangle = int _ {X} Psi (x) | x rangle ; d mu (x) ;, qquad Psi (x) = langle x | T ^ { -1} phi rangle ;,}$

что является основной целью любых когерентных состояний.

Когерентные состояния: байесовская конструкция для квантования множества мер

Теперь мы отойдем от стандартной ситуации и представим общий метод построения когерентных состояний, начиная с нескольких наблюдений за структурой этих объектов как суперпозиций собственных состояний некоторого самосопряженного оператора, как и гамильтониан гармонического осциллятора для стандартного CS. . Суть квантовой механики в том, что эта суперпозиция имеет вероятностный привкус. Фактически мы замечаем, что вероятностная структура канонических когерентных состояний включает два распределения вероятностей, лежащие в основе их построения. В некотором роде двойственности распределение Пуассона определение вероятности обнаружения ${ displaystyle n}$ возбуждения, когда квантовая система находится в когерентном состоянии ${ Displaystyle | г rangle}$, а гамма-распределение на съемочной площадке ${ displaystyle mathbb {C}}$ сложных параметров, точнее по диапазону ${ Displaystyle mathbb {R} ^ {+}}$ квадрата радиальной переменной. Обобщение следует этой схеме двойственности. Позволять ${ displaystyle X}$ быть набором параметров, снабженным мерой ${ displaystyle mu}$ и связанное с ним гильбертово пространство ${ Displaystyle L ^ {2} (X, d mu)}$ комплекснозначных функций, интегрируемых с квадратом относительно ${ displaystyle mu}$. Давайте выбирать в ${ Displaystyle L ^ {2} (X, d mu)}$ конечное или счетное ортонормированное множество ${ Displaystyle { mathcal {O}} = { phi _ {n} ,, , n = 0,1, точки }}$:

${ displaystyle langle phi _ {m} | phi _ {n} rangle = int _ {X} { overline { phi _ {m} (x)}} , phi _ {n} (x) , d mu (x) = delta _ {mn} ,.}$

В случае бесконечной счетности это множество должно подчиняться (решающему) условию конечности:

${ displaystyle 0 <{ mathcal {N}} (x): = sum _ {n} vert phi _ {n} (x) vert ^ {2} < infty , quad mathrm { ае} ,.}$

Позволять ${ displaystyle { mathfrak {H}}}$ - сепарабельное комплексное гильбертово пространство с ортонормированным базисом ${ Displaystyle {| е_ {п} rangle ,, , п = 0,1, точки }}$ во взаимно однозначном соответствии с элементами ${ displaystyle { mathcal {O}}}$. Два приведенных выше условия подразумевают, что семейство нормализованных последовательный состояния ${ Displaystyle { mathcal {F}} _ { mathfrak {H}} = {| x rangle ,, , x in X }}$ в ${ displaystyle { mathfrak {H}}}$, которые определяются

${ displaystyle | x rangle = { frac {1} { sqrt {{ mathcal {N}} (x)}}} sum _ {n} { overline { phi _ {n} (x) }} , | e_ {n} rangle ,,}$

решает личность в ${ displaystyle { mathfrak {H}}}$:

${ displaystyle int _ {X} d mu (x) , { mathcal {N}} (x) , | x rangle langle x | = I _ { mathfrak {H}} ,.}$

Такое отношение позволяет нам реализовать когерентное состояние или же квантование кадров набора параметров ${ displaystyle X}$ путем связывания с функцией ${ Displaystyle X ni x mapsto f (x)}$ который удовлетворяет соответствующим условиям следующий оператор в ${ displaystyle { mathfrak {H}}}$ :

${ Displaystyle f (x) mapsto A_ {f}: = int _ {X} mu (dx) , { mathcal {N}} (x) , f (x) , | x rangle langle x | ,.}$

Оператор ${ displaystyle A_ {f}}$ симметричен, если ${ displaystyle f (x)}$ вещественнозначна и самосопряжена (как квадратичная форма), если ${ displaystyle f (x)}$ действительна и полуограничена. Оригинал ${ displaystyle f (x)}$ является верхний символ, обычно неуникальный, для оператора ${ displaystyle A_ {f}}$. Он будет называться классический наблюдаемый по отношению к семье ${ Displaystyle { mathcal {F}} _ { mathfrak {H}}}$ если так называемый нижний символ из ${ displaystyle A_ {f}}$, определяется как

${ displaystyle { check {f}} (x): = langle x | A_ {f} | x rangle = int _ {X} mu (dx ') , { mathcal {N}} ( x ') , f (x') , vert langle x | x ' rangle vert ^ {2} ,.}$

имеет умеренные функциональные свойства, которые необходимо уточнить в соответствии с дополнительными топологическими свойствами, предоставленными исходному набору ${ displaystyle X}$Последний пункт этого построения пространства квантовых состояний касается его статистических аспектов. Действительно, существует взаимодействие между двумя распределениями вероятностей:

(i) Почти для каждого ${ displaystyle x}$, а дискретный распределение,

${ displaystyle n mapsto { frac { vert phi _ {n} (x) vert ^ {2}} {{ mathcal {N}} (x)}}.}$

Эта вероятность может рассматриваться как относящаяся к экспериментам, проводимым над системой в рамках некоторого экспериментального протокола, с целью измерения спектральных значений определенного самосопряженного оператора. ${ displaystyle A}$, т.е. квантовая наблюдаемая, действуя в ${ displaystyle { mathfrak {H}}}$ и имеющий дискретное спектральное разрешение ${ displaystyle A = sum _ {n} a_ {n} | e_ {n} rangle langle e_ {n} |}$.

(ii) Для каждого ${ displaystyle n}$, а непрерывный распространение на ${ Displaystyle (Х, му)}$,

${ Displaystyle X ni x mapsto vert phi _ {n} (x) vert ^ {2} ,.}$

Здесь мы наблюдаем байесовскую двойственность, типичную для когерентных состояний. Есть две интерпретации: разрешение единства, подтвержденное последовательный состояния ${ Displaystyle | х rangle}$ вводит предпочтительный предварительная мера на съемочной площадке ${ displaystyle X}$, который представляет собой набор параметров дискретного распределения, причем само это распределение играет роль функция правдоподобия. Соответствующие дискретно индексированные непрерывные распределения становятся связанными условный апостериорное распределение. Следовательно, вероятностный подход к экспериментальным наблюдениям относительно ${ displaystyle A}$ должны служить ориентиром при выборе набора ${ Displaystyle phi _ {п} (х)}$Заметим, что непрерывный предварительное распространение будет иметь отношение к квантованию, тогда как дискретное апостериорное характеризует измерение физического спектра, из которого строится последовательный суперпозиция квантовых состояний ${ displaystyle | e_ {n} rangle}$.^[1]

Смотрите также

• Когерентные состояния
• Гипотеза Либа
• Квантование

Рекомендации