Algebry KKS a KAS

KKS algebry (založené na kanonických komutačních vztazích ) a KAS algebry (založené na kanonických antikomutačních vztazích) se používají v matematickém aparátu kvantové mechaniky , kvantové statistické mechaniky a kvantové teorie pole při popisu statistiky a pozorovatelných vlastností všech elementárních částic: [1 ] bosony , respektive fermiony . [2] .

KKS-algebry a KAS-algebry jako *-algebry

Nechť je skutečný vektorový prostor vybavený nedegenerovanou reálnou antisymetrickou bilineární formou (tj. symplektický vektorový prostor ). jednotná *-algebra generovaná prvky, ve kterých platí vztahy

neboť jakýkoli in se nazývá algebra kanonických komutačních vztahů (KKS-algebra) .

Pokud je naopak jednotková *-algebra generovaná prvky vybavena nedegenerovanou reálnou symetrickou bilineární formou , ve které jsou vztahy

all in se nazývá algebra kanonických antikomutačních vztahů (CAS-algebra) .

CKS C*-algebra

Existuje samostatný, ale úzce související druh KKS-algebry, nazývaný KKS C*-algebra. Nechť je skutečný symplektický vektorový prostor s nesingulárním symplektickým tvarem . V teorii operátorových algeber je KKS algebra over jednotná C*-algebra generovaná prvky s vlastnostmi

Říká se jim Weylova forma kanonických komutačních vztahů a zejména z nich vyplývá, že každý prvek je unitární a . Je dobře známo, že KKS-algebra je jednoduchá neoddělitelná algebra a je jedinečná až do izomorfismu. [3]

Když je Hilbertův prostor , a je dán imaginární částí vnitřního součinu, KKS-algebra je spolehlivě reprezentována na symetrickém Fockově prostoru nad , pomocí vztahu:

pro jakýkoli . Operátory pole jsou pro každý definovány jako generátory jednoparametrové unitární skupiny na symetrickém Fockově prostoru. Jsou to samoadjungované neohraničené operátory , nicméně formálně splňují relaci

Protože je relace reálně-lineární, definují operátory KKS-algebru přes ve smyslu oddílu 1 .

CAS C*-algebra

Nechť je Hilbertův prostor. V teorii operátorových algeber je CAS-algebra jedinečné C*-dokončení komplexní jednotkové *-algebry generované prvky , přičemž se berou v úvahu vztahy

pro všechny ,. Když je oddělitelná, CAS-algebra je přibližně konečná-dimenzionální C*-algebra a v konkrétním případě nekonečně-rozměrné , je často psána jako . [čtyři]

Nechť je antisymetrický Fockův prostor nad a nechť je ortogonální projekce na antisymetrické vektory:

CAS-algebra je přesně reprezentována v , pomocí vztahu

pro všechny a . Skutečnost, že tvoří C*-algebru, je vysvětlena skutečností, že operátory vytvoření a anihilace v antisymetrickém Fockově prostoru jsou omezené operátory . Navíc operátory polí tento vztah splňují

dávám odkaz na kapitolu 1 .

Viz také

Poznámky

  1. Segal I. Matematické problémy relativistické fyziky. - M., Mir, 1968. - str. 51-52
  2. Bratteli, Ola. Operátorské algebry a kvantová statistická mechanika: v.2 / Ola Bratteli, Derek W. Robinson. - Springer, 2. vydání, 1997. - ISBN 978-3-540-61443-2 .
  3. Petz, Denes. Pozvánka do algebry kanonických komutačních vztahů . - Leuven University Press, 1990. - ISBN 978-90-6186-360-1 . Archivováno 15. srpna 2019 na Wayback Machine
  4. Evans, David E. Quantum Symmetries in Operator Algebras / David E. Evans, Yasuyuki Kawahigashi . - Oxford University Press, 1998. - ISBN 978-0-19-851175-5 .