WikiDer > CCR и CAR алгебры

В математика и физика CCR алгебры (после канонические коммутационные соотношения) и CAR алгебры (после канонических антикоммутационных соотношений) возникают из квантово-механический исследование бозоны и фермионы соответственно. Они играют важную роль в квантовая статистическая механика^[1] и квантовая теория поля.

CCR и CAR как * -алгебры

Позволять ${ displaystyle V}$ быть настоящий векторное пространство оснащен неособый настоящий антисимметричный билинейная форма ${ Displaystyle ( cdot, cdot)}$ (т.е. симплектическое векторное пространство). В единый *-алгебра генерируется элементами ${ displaystyle V}$ при условии отношений

${ Displaystyle fg-gf = я (е, г) ,}$

${ Displaystyle е ^ {*} = е, ,}$

для любого ${ displaystyle f, ~ g}$ в ${ displaystyle V}$ называется алгебра канонических коммутационных соотношений (CCR). Единственность представлений этой алгебры при ${ displaystyle V}$ является конечномерный обсуждается в Теорема Стоуна – фон Неймана.

Если ${ displaystyle V}$ оснащен неособый настоящий симметричная билинейная форма ${ Displaystyle ( cdot, cdot)}$ вместо этого унитальная * -алгебра, порожденная элементами ${ displaystyle V}$ при условии отношений

${ Displaystyle fg + gf = (е, g), ,}$

${ Displaystyle е ^ {*} = е, ,}$

для любого ${ displaystyle f, ~ g}$ в ${ displaystyle V}$ называется алгебра канонических антикоммутационных соотношений (CAR).

C * -алгебра CCR

Есть отличное, но тесно связанное с этим значение алгебры CCR, называемой CCR C * -алгеброй. Позволять ${ displaystyle H}$ - вещественное симплектическое векторное пространство с невырожденной симплектической формой ${ Displaystyle ( cdot, cdot)}$. В теории операторные алгебры, алгебра ККС над ${ displaystyle H}$ это единый C * -алгебра генерируется элементами ${ Displaystyle {W (е): ~ е в H }}$ при условии

${ Displaystyle W (е) W (г) = е ^ {- я (е, g)} W (е + г), ,}$

${ Displaystyle W (е) ^ {*} = W (-f). ,}$

Они называются формой Вейля канонических коммутационных соотношений, и, в частности, из них следует, что каждое ${ displaystyle W (f)}$ является унитарный и ${ Displaystyle W (0) = 1}$. Хорошо известно, что алгебра CCR является простой несепарабельной алгеброй и единственна с точностью до изоморфизма.^[2]

Когда ${ displaystyle H}$ это Гильбертово пространство и ${ Displaystyle ( cdot, cdot)}$ дается мнимой частью скалярного произведения, алгебра CCR верно представлен на симметричное пространство Фока над ${ displaystyle H}$ установив

${ displaystyle W (f) left (1, g, { frac {g ^ { otimes 2}} {2!}}, { frac {g ^ { otimes 3}} {3!}}, ldots right) = e ^ {- { frac {1} {2}} || f || ^ {2} - langle f, g rangle} left (1, f + g, { frac {(f + g) ^ { otimes 2}} {2!}}, { frac {(f + g) ^ { otimes 3}} {3!}}, ldots right), ,}$

для любого ${ displaystyle f, g in H}$. Операторы поля ${ displaystyle B (f)}$ определены для каждого ${ displaystyle f in H}$ как генератор однопараметрической унитарной группы ${ Displaystyle (W (tf)) _ {т in mathbb {R}}}$ на симметричном пространстве Фока. Эти самосопряженный неограниченные операторы, однако формально они удовлетворяют

${ Displaystyle B (f) B (g) -B (g) B (f) = 2i mathrm {Im} langle f, g rangle. ,}$

В качестве задания ${ displaystyle f mapsto B (f)}$ действительно линейно, поэтому операторы ${ displaystyle B (f)}$ определить алгебру CCR над ${ Displaystyle (H, 2 mathrm {Im} langle cdot, cdot rangle)}$ в смысле Секция 1.

C * -алгебра CAR

Позволять ${ displaystyle H}$ - гильбертово пространство. В теории операторных алгебр CAR-алгебра является единственной C * -завершение комплексной унитальной * -алгебры, порожденной элементами ${ displaystyle {b (f), b ^ {*} (f): ~ f in H }}$ при условии отношений

${ Displaystyle b (f) b ^ {*} (g) + b ^ {*} (g) b (f) = langle f, g rangle, ,}$

${ Displaystyle б (е) б (г) + б (г) Ь (е) = 0, ,}$

${ Displaystyle лямбда Ь ^ {*} (е) = Ь ^ {*} ( лямбда е), ,}$

${ Displaystyle Ь (е) ^ {*} = Ь ^ {*} (е), ,}$

для любого ${ displaystyle f, g in H}$, ${ displaystyle lambda in mathbb {C}}$.Когда ${ displaystyle H}$ сепарабельна, алгебра CAR является Алгебра AF и в частном случае ${ displaystyle H}$ бесконечномерно, его часто записывают как ${ Displaystyle {M_ {2 ^ { infty}} ( mathbb {C})}}$.^[3]

Позволять ${ Displaystyle F_ {а} (Н)}$ быть антисимметричное пространство Фока над ${ displaystyle H}$ и разреши ${ displaystyle P_ {a}}$ - ортогональная проекция на антисимметричные векторы:

${ displaystyle P_ {a}: bigoplus _ {n = 0} ^ { infty} H ^ { otimes n} to F_ {a} (H). ,}$

Алгебра CAR точно представлена ​​на ${ Displaystyle F_ {а} (Н)}$ установив

${ displaystyle b ^ {*} (f) P_ {a} (g_ {1} otimes g_ {2} otimes cdots otimes g_ {n}) = P_ {a} (f otimes g_ {1} otimes g_ {2} otimes cdots otimes g_ {n}) ,}$

для всех ${ displaystyle f, g_ {1}, ldots, g_ {n} in H}$ и ${ Displaystyle п в mathbb {N}}$. Тот факт, что они образуют C * -алгебру, объясняется тем фактом, что операторы рождения и уничтожения в антисимметричном пространстве Фока являются истинными ограниченные операторы. Кроме того, операторы поля ${ Displaystyle В (е): = Ь ^ {*} (е) + Ь (е)}$ удовлетворить

${ Displaystyle В (е) В (г) + В (г) В (е) = 2 mathrm {Re} langle f, g rangle, ,}$

давая отношения с Секция 1.

Обобщение супералгебры

Позволять ${ displaystyle V}$ быть настоящим ${ Displaystyle mathbb {Z} _ {2}}$-градуированное векторное пространство с невырожденной антисимметричной билинейной суперформой ${ Displaystyle ( cdot, cdot)}$ (т.е. ${ Displaystyle (г, е) = - (- 1) ^ {| е || г |} (е, г)}$ ) такие, что ${ Displaystyle (е, г)}$ реально, если либо ${ displaystyle f}$ или ${ displaystyle g}$ является четным элементом и воображаемый если они оба нечетные. Унитальная * -алгебра, порожденная элементами ${ displaystyle V}$ при условии отношений

${ displaystyle fg - (- 1) ^ {| f || g |} gf = i (f, g) ,}$

${ displaystyle f ^ {*} = f, ~ g ^ {*} = g ,}$

для любых двух чистых элементов ${ displaystyle f, ~ g}$ в ${ displaystyle V}$ это очевидно супералгебра обобщение, которое объединяет CCR с CAR: если все чистые элементы четны, один получает CCR, а если все чистые элементы нечетные, один получает CAR.

В математике абстрактная структура алгебр CCR и CAR над любым полем, а не только над комплексными числами, изучается под названием Weyl и Алгебры Клиффорда, где было получено много значительных результатов. Одним из них является то, что оцененный обобщения Weyl и Клиффорд алгебры допускают безбазисную формулировку канонических коммутационных и антикоммутационных соотношений в терминах симплектической и симметричной невырожденной билинейной формы. Кроме того, бинарные элементы в этой градуированной алгебре Вейля дают безбазисную версию коммутационных соотношений симплектический и индефинитные ортогональные алгебры Ли.^[4]

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

• Статистика Бозе – Эйнштейна
• Статистика Ферми – Дирака
• Глоссарий теории струн
• Группа Гейзенберга
• Преобразование Боголюбова
• (−1)^F

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