
ウィグナーの定理は、ユージン・ウィグナーによって1931年に証明され、[2]量子力学の数学的定式化の 基礎となっています。この定理は、回転、並進、CPT変換などの物理的対称性がヒルベルト状態空間上でどのように表現されるかを規定しています。
量子論における物理的状態は、位相因子を除いたヒルベルト空間の単位ベクトル、すなわちベクトルが張る複素直線または光線によって表される。さらに、ボルンの規則により、単位ベクトルと単位固有ベクトルの内積の絶対値、またはそれと同値なベクトルが張る直線間の角度の余弦二乗は、遷移確率に対応する。数学では射影ヒルベルト空間として知られる光線空間は、位相因子によって異なるという同値関係を除いたヒルベルト空間のすべての単位ベクトルの空間である。ウィグナーの定理により、内積の絶対値を保存する光線空間の変換はどれも、位相因子を除いた一意のヒルベルト空間のユニタリ変換または反ユニタリ変換によって表すことができる。結果として、光線空間上の対称群の表現は、ヒルベルト空間上の射影表現、または場合によっては通常の表現にまで持ち上げることができる。
光線と光線空間
量子力学の公理によれば、互いにスカラー非ゼロ倍である複素可分 ヒルベルト空間 内の状態ベクトルは同じ純粋状態を表す、つまり、ベクトルとは同じ状態を表す。[3] 状態ベクトルに位相因子を乗じると、光線と呼ばれるベクトルの集合が得られる[4] [5]
2つの非零ベクトルは、それらのベクトルが非零複素数だけ異なる場合に限り、同じ光線を定義します。あるいは、光線をノルム1のベクトルの集合、つまり単位光線とみなすこともできます。これは、直線を単位球面[6]と交差させることによって得られます。
- 。
2つの単位ベクトルは、位相係数だけ異なる場合、同じ単位光線を定義します。これは物理学ではより一般的な図です。光線の集合は単位光線の集合と1対1に対応しており、それらを識別できます。また、物理的純粋状態と(単位)光線の間にも1対1の対応があり、次のように表されます。
ここで は直線 上の直交投影です。どちらの解釈でも、またはの場合にははを表します。[nb 1]
すべての光線の成す空間は射影ヒルベルト空間であり、光線空間と呼ばれる。[7]これは いくつかの方法で定義できる。例えば、
そして光線空間を商集合として定義する
- 。
あるいは、球面上の同値関係の場合、単位光線空間は、(光線空間との表記上の区別なく)同値類の集合として定義される光線空間の具体化である。
- 。
光線空間の3番目の同等の定義は、純粋状態光線空間、すなわち、ランク1の直交投影である密度行列である[説明が必要]
- 。
がn次元、つまり である場合、 は複素射影空間と同型である。例えば、
光線空間(すなわち射影空間)はベクトル空間ではなく、次元n + 1のベクトル空間におけるベクトル直線(次元 1 のベクトル部分空間)の集合です。たとえば、複素数の比(すなわち の元)の 2 つのベクトルとごとに、明確に定義された光線 が存在します。したがって、別個の光線(すなわち線形独立な直線)に対して、における形式の光線の射影直線が存在します。これは、およびによって張られる 2 次元複素平面内のすべての 1 次元複素直線です。ただし、ベクトル空間の場合とは異なり、独立した張集合は座標を定義するのに十分ではありません(射影フレーム を参照)。
上のヒルベルト空間構造は、光線空間上の追加の構造を定義します。光線相関(または光線積) を定義します。
ここで、はヒルベルト空間の内積、 はおよびの代表である。右辺は代表の選択とは無関係であることに注意する。この定義の物理的な意味は、量子力学の別の公理であるボルンの規則によれば、ヒルベルト空間における正規化された状態との間の遷移確率が次のように与えられることである。
つまり、光線空間上のボルンの規則を次のように定義できます。
幾何学的には、直線 と直線の間の角度を で定義できます。この角度は三角不等式を満たすことがわかり、リーマン計量であるフビニ・スタディ計量から導かれる光線空間上の計量構造を定義します。
対称変換
大まかに言えば、対称変換とは「何も起こらない」[8]または「視点の変化」[9]であり、可能な実験の結果は変わりません。たとえば、均質な環境でシステムを平行移動しても、システムで行われた実験の結果に質的な影響はありません。等方性環境でシステムを回転する場合も同様です。数学的に同等の受動変換、つまり座標を変更してシステムをそのままにしておくことを考えれば、このことはさらに明らかになります。通常、ヒルベルト空間のドメインと値域は同じです。例外は (非相対論的理論では)電荷共役変換を受ける電子状態のヒルベルト空間です。この場合、電子状態は陽電子状態のヒルベルト空間にマッピングされ、その逆も同様です。ただし、これは対称性がヒルベルト空間の直和に作用することを意味します。
物理システムの変換は状態の変換であり、数学的にはヒルベルト空間の変換ではなく、その光線空間の変換である。したがって、量子力学では、物理システムの変換は全単射 光線変換を生じる。
2 つの物理変換の合成と物理変換の反転も物理変換であるため、このようにして得られたすべての光線変換の集合は に作用する群です 。ただし、 のすべての全単射が対称変換として許容されるわけでは ありません。物理変換はボルンの規則を維持する必要があります。
物理的な変換では、変換されたシステムと変換されていないシステムの遷移確率が保存される必要があります。
全単射光線変換は[10]が成り立つ場合に限り対称変換と呼ばれる。幾何学的解釈では対称変換は光線空間の 等長変換である。
定義を使用して検証できる対称変換に関するいくつかの事実:
- 2 つの対称変換の積、つまり連続して適用された 2 つの対称変換が対称変換です。
- あらゆる対称変換には逆変換が存在します。
- 恒等変換は対称変換です。
- 対称変換の乗算は結合的です。
対称変換の集合は、システムの対称群である群を形成する。システムの対称群に頻繁に現れる重要な部分 群には、
- 対称群とその部分群。これは粒子ラベルの交換において重要です。
- ポアンカレ群。これは時空の基本的な対称性を符号化します[注: 対称性は、与えられたシステムを記述する光線空間上のマップとして上記で定義されていますが、時空の対称性の概念は定義されておらず、明確ではありません]。
- SU(2)やSU(3)のような内部対称群。これらは量子力学系特有のアイソスピンや色荷などのいわゆる内部対称性を記述します。
これらのグループは、システムの対称グループとも呼ばれます。
ウィグナーの定理の説明
予選
定理を述べるには、いくつかの予備的な定義が必要である。ヒルベルト空間間の変換がユニタリであるとは、それが全単射であり、
の場合、 はユニタリ演算子に簡約され、その逆演算子はその随伴演算子に等しくなります。
同様に、変換が反ユニタリーであるのは、それが全単射であり、
ヒルベルト空間間の ユニタリ変換が与えられたとき、定義する。
これは対称変換である。
同様に、ヒルベルト空間間の反ユニタリー変換は対称変換を誘導する。ヒルベルト空間間の変換は、光線空間間の変換と両立できると言えるのは、
全てのために。[11]
声明
ウィグナーの定理は上記の逆を述べている:[12]
ウィグナーの定理 (1931) — とがヒルベルト空間であり、が対称変換である場合、と両立するユニタリ変換または反ユニタリ変換が存在する。、がユニタリまたは反ユニタリである場合。(およびが単一の点からなる)である場合、すべてのユニタリ変換とすべての反ユニタリ変換は と両立する。と が両方とも と両立する場合、いくつかの
証明はウィグナー(1931、1959)、バーグマン(1964)、ワインバーグ(2002)に見られる。反ユニタリー変換は物理学ではあまり目立たない。それらはすべて時間の流れの方向の逆転に関連している。[13]
注1 : 定理の一意性の部分の重要性は、それが 上の表現の一意性の度合いを指定することである。例えば、次のように考えがちである。
は、 の場合には許容されるが、定理によればそうではない。[nb 2] [14]実際、そのような は加法的ではない。
注 2 : がユニタリ演算子で表されなければならないか、反ユニタリ演算子で表されなければならないかは、位相によって決まります。 の場合、第 2コホモロジーには一意の生成元があり、 (すべての) 複素射影直線 に対してが成り立ちます。は同相写像なので、も生成され、したがって が成り立ちます。 がユニタリの場合 が成り立ち、 が反線型の場合 が成り立ちます。
注3 :ウィグナーの定理は射影幾何学の基本定理と密接に関係している[15]
表現と射影表現
Gが対称群(後者の意味で光線空間に作用する系の対称群の部分群として埋め込まれている)であり、 f , g , h ∈ Gでfg = hであるとき、
ここで、Tは光線変換である。ウィグナーの定理の一意性部分から、適合する代表値Uに対して、
ここでω ( f , g )は位相係数である。[注3]
関数ωは2-コサイクルまたはシュア乗数と呼ばれます。あるベクトル空間Vに対して上記の関係を満たす写像U : G → GL( V )は、射影表現または光線表現と呼ばれます。ω ( f , g ) = 1の場合、それは表現と呼ばれます。
数学と物理学では用語が異なることに注意する必要があります。リンク先の記事では、射影表現という用語は少し意味が異なりますが、ここで提示されている用語は要素として含まれており、数学自体はもちろん同じです。対称群g → T ( g )の実現が単位光線空間 S = PHへの作用で与えられる場合、それは数学的な意味での射影表現G → PGL( H )であり、ヒルベルト空間でのその表現は物理的な意味での射影表現G → GL( H )です。
最後の関係を積fghに(数回)適用し、 H上の演算子の乗算の既知の結合性を利用すると、次の式が得られる。
また、
フェーズを再定義すると、
これは最後の定理によって許される。[16] [17]
ここで、ハット量は次のように定義される。
位相自由度の有用性
以下のかなり技術的な定理とその他多くの定理は、わかりやすい証明とともに、Bargmann (1954) に記載されています。
フェーズを自由に選択することで、フェーズ要因を簡素化できます。グループによっては、フェーズを完全に排除することもできます。
定理 - Gが半単純かつ単連結であれば、ω ( g , h )=1が可能である。[18]
ローレンツ群とその部分群である回転群 SO(3)の場合、位相は射影表現に対してω ( g , h ) = ± 1 となるように選択できる。それぞれの普遍被覆群SL (2,C)とSpin(3)に対しては、定理に従ってω ( g , h ) = 1となることが可能であり、つまりそれらは適切な表現である。
位相の再定義の研究には群コホモロジーが含まれる。上記のωのハット付きバージョンとハットなしバージョンとして関連する 2 つの関数は、コホモロジーであると言われる。これらは同じ第 2 コホモロジークラスに属し、つまり、Gの第 2 コホモロジー群であるH 2 ( G )の同じ要素によって表される。 H 2 ( G )の要素が自明な関数ω = 0を含む場合、それは自明であると言われる。[17]このトピックは、リー代数とリー代数コホモロジーのレベルでも研究できる。[19] [20]
射影表現g → T ( g )が弱連続であると仮定すると、2つの関連する定理を述べることができる。(弱)連続性の直接的な帰結は、恒等成分がユニタリ演算子によって表されるということである。[nb 4]
定理: (ウィグナー 1939) — 位相自由度は、恒等写像のある近傍において、写像g → U ( g )が強連続となるように使用することができる。[21]
定理(バーグマン) — eの十分に小さい近傍では、半単純リー群( SO( n ) 、SO(3,1)、アフィン線型群(特にポアンカレ群)など)に対してω(g 1、g 2)≡1の選択が可能である。より正確には、 Gのリー代数gの2番目のコホモロジー群H 2(g、R)が自明である場合にまさにこれが当てはまる。[21]
修正と一般化
ウィグナーの定理は純粋状態のヒルベルト空間上の自己同型に適用される。カディソン[22]とサイモン[23]の定理は混合状態(トレースクラスの正の作用素)の空間に適用され、対称性のわずかに異なる概念を使用する。[24] [25]
参照
備考
- ^ここでは、 超選択ルールの可能性は無視されています。システムが特定の状態で準備できない場合があるかもしれません。たとえば、異なるスピンを持つ状態の重ね合わせは一般的に不可能であると考えられています。同様に、異なる電荷を持つ状態の重ね合わせである状態も不可能であると考えられています。これらの問題による軽微な複雑さは、Bogoliubov、Logunov、Todorov(1975)で扱われています。
- ^ これには例外があります。スーパーセレクションルールが有効な場合、位相は要素のどのセクターに存在するかによって異なります。Weinberg 2002、p. 53 を参照してください。
- ^ ここでも例外があります。超選択ルールが有効な場合、位相はH hのどのセクターに作用するかによって決まります。Weinberg 2002、p. 53を参照してください。
- ^ これは次のようにしてもっともらしくなります。恒等式の近くの開いた近傍では、すべての演算子は平方として表すことができます。演算子がユニタリか反ユニタリかに関係なく、その平方はユニタリです。したがって、十分に小さい近傍では、それらはすべてユニタリです。そのような近傍は恒等式を生成します。
注記
- ^ ザイツ、ヴォクト、ワインバーグ 2000
- ^ Wigner 1931、pp. 251–254(ドイツ語)、
Wigner 1959、pp. 233–236(英語訳)。 - ^ Bäuerle & de Kerf 1990、p. 330.
- ^ ワインバーグ 2002、49ページ。
- ^ Bäuerle & de Kerf 1990、p. 341.
- ^ サイモンら 2008
- ^ 1987ページ。
- ^ Bäuerle & de Kerf 1990年。
- ^ ワインバーグ 2002、50 ページ
- ^ Bäuerle & de Kerf 1990、p. 342.
- ^ バーグマン 1964年。
- ^ Bäuerle & de Kerf 1990、p. 343.
- ^ ワインバーグ 2002、51 ページ
- ^ Bäuerle & de Kerf 1990、p. 330 これは述べられているが証明されていない。
- ^ フォーレ 2002
- ^ Bäuerle & de Kerf 1990、p. 346 この本ではこの式に誤りがある。
- ^ ワインバーグ 2002、p. 82より
- ^ ワインバーグ 2002、付録 B、第 2 章
- ^ Bäuerle & de Kerf 1990、pp. 347–349
- ^ Weinberg 2002、セクション2.7。
- ^ ストラウマン 2014
- ^ Kadison, Richard V. (1965年2月1日). 「演算子理論とダイナミクスにおける状態の変換」.トポロジー. 3 : 177–198. doi : 10.1016/0040-9383(65)90075-3 . ISSN 0040-9383.
- ^ サイモン、バリー(2015年3月8日)。「量子力学:自己同型からハミルトニアンへ」。数理物理学研究:バレンタイン・バーグマンを讃えるエッセイ。プリンストン大学出版。pp. 327–350。doi : 10.1515 /9781400868940-016。ISBN 978-1-4008-6894-0– www.degruyter.com より。
- ^ Moretti, Valter (2016年10月). 「量子力学の数学的基礎:上級短期コース」.現代物理学における幾何学的手法の国際ジャーナル. 13 (Supp. 1): 1630011–1630843. arXiv : 1508.06951 . Bibcode :2016IJGMM..1330011M. doi :10.1142/S0219887816300117.
- ^ 「(ウィグナーの定理から): QFT における対称性とは?」Physics Stack Exchange . 2023 年 10 月 18 日閲覧。
参考文献
- Bargmann, V. (1954). 「連続群のユニタリ光線表現について」. Ann. of Math . 59 (1): 1–46. doi :10.2307/1969831. JSTOR 1969831.
- Bargmann, V. (1964). 「対称性操作に関するウィグナーの定理に関する注記」.数理物理学ジャーナル. 5 (7). AIP 出版: 862–868. Bibcode :1964JMP.....5..862B. doi :10.1063/1.1704188. ISSN 0022-2488.
- Bogoliubov, NN ; Logunov, AA; Todorov, IT (1975).公理的量子場理論入門。数理物理学モノグラフシリーズ。第18巻。Stephan A. FullingとLudmila G. Popovaによる英訳。ニューヨーク:Benjamin。ASIN B000IM4HLS 。
- Bäuerle, Gerard GA; de Kerf, Eddy A. (1990)。リー代数、パート 1: 有限次元および無限次元リー代数と物理学への応用。数理物理学研究。アムステルダム: 北ホラント。ISBN 0-444-88776-8。
- フォーレ、クロード=アラン (2002)。 「射影幾何学の基本定理の初等証明」。ジオメトリエ・デディカタ。90:145-151。土井:10.1023/A:1014933313332。S2CID 115770315。
- Page, Don N. (1987). 「ベリーの位相の幾何学的記述」. Physical Review A. 36 ( 7). アメリカ物理学会 (APS): 3479–3481. Bibcode :1987PhRvA..36.3479P. doi :10.1103/physreva.36.3479. ISSN 0556-2791. PMID 9899276.
- Seitz, F.; Vogt, E.; Weinberg, AM (2000). 「ユージン・ポール・ウィグナー。1902年11月17日 - 1995年1月1日」。Biogr . Mem. Fellows R. Soc . 46 : 577–592. doi : 10.1098/rsbm.1999.0102 .
- Simon, R.; Mukunda, N. ; Chaturvedi, S.; Srinivasan, V.; Hamhalter, J. (2008). 「量子力学における対称性に関するウィグナー定理の 2 つの基本的証明」. Phys. Lett. A. 372 ( 46): 6847–6852. arXiv : 0808.0779 . Bibcode :2008PhLA..372.6847S. doi :10.1016/j.physleta.2008.09.052. S2CID 53858196.
- Straumann, N. (2014). 「不均質ローレンツ群のユニタリ表現と量子物理学におけるその意義」 A. Ashtekar、V. Petkov (編)。Springer Handbook of Spacetime。 Springer Handbooks。 pp. 265–278。arXiv : 0809.4942。Bibcode :2014shst.book..265S。CiteSeerX 10.1.1.312.401。doi :10.1007/978-3-642-41992-8_14。ISBN 978-3-642-41991-1. S2CID 18493194。
- ワインバーグ、S. (2002)、『場の量子論』第1巻、ケンブリッジ大学出版局、ISBN 978-0-521-55001-7
- ウィグナー、EP (1931)。Gruppentheorie und ihre Anwendung auf die Quanten mechanik der Atomspektren (ドイツ語)。ブラウンシュヴァイク、ドイツ:フリードリヒ・ビューエグ・ウント・ゾーン。 251–254ページ。ASIN B000K1MPEI。
- ウィグナー、EP(1959)。群論と原子スペクトルの量子力学への応用。ドイツ語からの翻訳、JJグリフィン。ニューヨーク:アカデミックプレス。pp. 233–236。ISBN 978-0-1275-0550-3。
さらに読む
- ホール、ブライアン C. (2013)。「数学者のための量子理論」。Graduate Texts in Mathematics。第 267 巻。ニューヨーク、NY: Springer New York。doi : 10.1007 /978-1-4614-7116-5。ISBN 978-1-4614-7115-8. ISSN 0072-5285. S2CID 117837329.
- Mouchet, Amaury (2013). 「基本的な複素解析に基づく量子変換に関するウィグナー定理の代替証明」. Physics Letters A. 377 ( 39): 2709–2711. arXiv : 1304.1376 . Bibcode :2013PhLA..377.2709M. doi :10.1016/j.physleta.2013.08.017. S2CID 42994708.
- Molnar, Lajos (1999). 「Wigner のユニタリ-反ユニタリ定理への代数的アプローチ」(PDF) . J. Austral. Math. Soc. Ser. A . 65 (3): 354–369. arXiv : math/9808033 . Bibcode :1998math......8033M. doi :10.1017/s144678870003593x. S2CID 119593689. 2019-04-24 に オリジナル(PDF)からアーカイブ。2015-02-07に取得。
