物理学において、モヤル括弧は位相空間スター積の適切に正規化された反対称化です。
モヤル括弧は1940年頃にホセ・エンリケ・モヤルによって考案されたが、モヤルはポール・ディラックとの長い論争の末、1949年にようやくその成果を発表することに成功した。[1] [2] 一方、このアイデアは1946年にヒップ・グローネウォルドによって独立して導入された。[3]
概要
モイヤール括弧は、量子力学の位相空間定式化において、これらの観測量が位相空間上の関数として記述されるときに、観測量の交換子を記述する方法である。これは、位相空間上の関数を量子観測量と同一視するスキームに依存しており、これらのスキームの中で最も有名なのはウィグナー・ワイル変換である。これは、ハイゼンベルクの量子運動方程式と同等の定式化であるモイヤールの力学方程式の基礎となり、ハミルトン方程式の量子一般化を提供する。
数学的には、これは位相空間のポアソン括弧の変形(本質的にはその拡張)であり、変形パラメータは縮小されたプランク定数ħである。したがって、その群収縮ħ →0はポアソン括弧のリー代数 を生み出す。
形式的同値性まで、モヤル括弧はポアソン括弧の唯一の 1 パラメータ リー代数変形である。交換子代数に対する代数同型性は、ポアソン括弧の同型性を排除するグローネウォルド-ファン ホーヴェ定理の否定的結果を回避し、これはディラックが 1926 年の博士論文[4]で暗黙的に提起した問題で ある量子化の「古典的類推法」である。[5]
例えば、2次元平坦位相空間、およびワイル写像対応では、モヤル括弧は次のように表される。
ここで ★は位相空間におけるスター積演算子(モヤル積参照)であり、f とgは微分可能な位相空間関数であり、{ f , g }はそれらのポアソン括弧である。[6]
より具体的には、演算論理の言語で言えば、これは次のようになる。
偏導関数の上の左矢印と右矢印は、左偏導関数と右偏導関数を表します。Moyal 括弧は、Sine 括弧と呼ばれることもあります。
ジョージ・ベイカー[7]によって導入された、一般的な(フーリエ)積分表現は、
位相空間からヒルベルト空間への各対応写像は、特徴的な「モヤル」括弧(ここでワイル写像について示されているものなど)を誘導する。体系的な理論によれば、このようなモヤル括弧はすべて形式的に同等である。[8]
モヤル括弧は同名の無限次元 リー代数を指定する。これは引数f とg が反対称であり、ヤコビ恒等式を満たす。対応する抽象リー代数はT f ≡ f ★で実現され、
2次元トーラス位相空間T 2において、周期座標xとpがそれぞれ[0,2 π ]にあり、整数モードインデックスm i、基底関数exp( i ( m 1 x + m 2 p ))の場合、このリー代数は次のように表される。[9]
これは整数N ≡ 4 π/ħに対してSU ( N )に簡約されます。SU ( N ) は、変形パラメータ 1/ Nを持つSU (∞)の変形として現れます。
第二級制約を持つ量子系に対するモヤル括弧の一般化には、位相空間における関数の同値類に対する操作が含まれ、[10]これはディラック括弧の量子変形と見なすことができます。
正弦括弧と余弦括弧
議論された正弦括弧の次に、グローネウォルドはさらに[3]、ベイカーによって詳述された余弦括弧を導入した[7] [11]。
ここでも、★は位相空間におけるスター積演算子、f とg は微分可能な位相空間関数、f g は通常の積です。
正弦括弧と余弦括弧は、それぞれスター積を反対称化および対称化した結果である。したがって、正弦括弧が交換子のウィグナー写像であるのに対し、余弦括弧は標準量子力学における反交換子 のウィグナー像である。同様に、モヤル括弧はħの高次のオーダーまでポアソン括弧に等しいのに対し、余弦括弧はħの高次のオーダーまで通常の積に等しい。古典極限では、モヤル括弧は(ポアソン括弧で定式化された)リウヴィル方程式への簡約に役立ち、余弦括弧は古典ハミルトン・ヤコビ方程式につながる。[12]
正弦括弧と余弦括弧は、量子力学の純粋に代数的な記述の方程式にも関係している。 [12] [13]
参考文献
- ^ Moyal, JE; Bartlett, MS (1949). 「統計理論としての量子力学」.ケンブリッジ哲学協会数学紀要. 45 (1): 99–124. Bibcode :1949PCPS...45...99M. doi :10.1017/S0305004100000487. S2CID 124183640.
- ^モヤル、アン(2006年)。異端の数学者:JEモヤル の生涯と科学(第3章:伝説との戦い)。doi : 10.22459 / MM.08.2006。ISBN 9781920942595. 2010年5月2日閲覧。
- ^ ab Groenewold, HJ (1946). 「基本量子力学の原理について」. Physica . 12 (7): 405–460. Bibcode :1946Phy....12..405G. doi :10.1016/S0031-8914(46)80059-4.
- ^ PAM ディラック (1926) ケンブリッジ大学論文「量子力学」
- ^ PAM ディラック、「量子力学の原理」(クラレンドン・プレス・オックスフォード、1958年)ISBN 978-0-19-852011-5
- ^逆に、ポアソン括弧はスター積 iħ { f , g } = 2 f (log ★ ) gで形式的に表現できます。
- ^ ab Baker, George A. (1958-03-15). 「位相空間に誘導される準確率分布に基づく量子力学の定式化」. Physical Review . 109 (6). American Physical Society (APS): 2198–2206. Bibcode :1958PhRv..109.2198B. doi :10.1103/physrev.109.2198. ISSN 0031-899X.
- ^ C.Zachos、 D . Fairlie、T. Curtright、「Quantum Mechanics in Phase Space」(World Scientific、シンガポール、2005年)ISBN 978-981-238-384-6。Curtright 、TL ; Zachos、CK(2012年)。「Quantum Mechanics in Phase Space」。Asia Pacific Physics Newsletter。01:37–46。arXiv : 1104.5269。doi :10.1142 /S2251158X12000069。S2CID 119230734 。
- ^ Fairlie, DB; Zachos, CK (1989). 「無限次元代数、正弦括弧、SU(∞)」. Physics Letters B. 224 ( 1–2): 101–107. Bibcode :1989PhLB..224..101F. doi :10.1016/0370-2693(89)91057-5. S2CID 120159881.
- ^ Krivoruchenko, MI; Raduta, AA; Faessler, Amand (2006-01-17). 「ディラックブラケットの量子変形」. Physical Review D . 73 (2). American Physical Society (APS): 025008. arXiv : hep-th/0507049 . Bibcode :2006PhRvD..73b5008K. doi :10.1103/physrevd.73.025008. ISSN 1550-7998. S2CID 119131374.
- ^ Baker (1958) の引用も参照: Curtright, T.; Fairlie, D.; Zachos, C. (1998). "Features of time-independent Wigner functions". Physical Review D . 58 (2): 025002. arXiv : hep-th/9711183 . Bibcode :1998PhRvD..58b5002C. doi :10.1103/PhysRevD.58.025002. S2CID 288935.arXiv:hep-th/9711183v3
- ^ ab BJ Hiley : 量子現象の位相空間記述、A. Khrennikov (編) :量子理論: 基礎の再考–2、pp. 267-286、Växjö University Press、スウェーデン、2003 (PDF)
- ^ MR Brown、BJ Hiley: Schrodinger revisited: an algebraic approach、arXiv:quant-ph/0005026 (2000 年 5 月 4 日提出、2004 年 7 月 19 日版、2011 年 6 月 3 日取得)
