エリツァーの定理のソースを表示

{{孤立|date=2024年10月26日 (土) 06:16 (UTC)}}
[[場の量子論]]と[[統計的場の理論|統計場の理論]]における'''エリツァーの定理'''（エリツァーのていり、''Elitzur's theorem''）は、[[ゲージ理論]]のもとでゼロでない[[真空期待値|期待値]]を持てる演算子は局所ゲージ変換に対して不変な演算子のみであると述べる定理である。この定理の重要な帰結は、ゲージ対称性の[[自発的対称性の破れ|自発的破れ]]は起こらないということである。この定理は、1975年にシュムエル・エリツァーによって{{日本語版にない記事リンク|格子場の理論|en|lattice field theory}}上で初めて証明されたが、<ref>{{Cite journal|last=Elitzur|first=S.|author-link=|date=1975|title=Impossibility of spontaneously breaking local symmetries|url=https://link.aps.org/doi/10.1103/PhysRevD.12.3978|journal=Phys. Rev. D|volume=12|issue=12|pages=3978–3982|accessdate=|arxiv=|doi=10.1103/PhysRevD.12.3978|pmid=}}</ref>{{日本語版にない記事リンク|連続極限|en|continuum limit}}でも同じ結果が成り立つと予想されている。この定理は、[[ヒッグス機構]]をゲージ対称性の自発的な破れと単純に解釈するのは誤りであることを示しているが、この現象はフレーリッヒ・モルキオ・ストロッキ機構（Fröhlich–Morchio–Strocchi mechanism）として知られるゲージ不変量の観点から完全に再定式化できる<ref>{{Cite journal|last=Fröhlich|first=J.|author-link=Jürg Fröhlich|last2=Morchio|first2=G.|last3=Strocchi|first3=F.|date=1981|title=Higgs phenomenon without symmetry breaking order parameter|url=https://dx.doi.org/10.1016/0550-3213%2881%2990448-X|journal=Nuclear Physics B|volume=190|issue=3|pages=553–582|accessdate=|arxiv=|bibcode=1981NuPhB.190..553F|doi=10.1016/0550-3213(81)90448-X|pmid=}}</ref>。

== 理論 ==
場の量子論はさまざまな種類の[[対称性 (物理学)|対称性]]を許容するが、最も一般的なものは[[対称性 (物理学)|グローバル対称性とローカル対称性]]である。グローバル対称性は、時空上のどの点でも同じように作用する場の変換であるが、ローカル対称性は、位置に依存して場に作用する。後者は系の記述における冗長性に対応する。これは、各ローカル対称性の自由度が[[オイラー＝ラグランジュ方程式|オイラー=ラグランジュ方程式]]間の関係に対応し、系を{{日本語版にない記事リンク|不定|en|underdetermined system}}にするという、{{日本語版にない記事リンク|ネーターの第2定理|en|noether's second theorem}}の結果である。不確定性に対しては、[[運動方程式]]が一意な解を許容するように非伝播自由度の{{日本語版にない記事リンク|ゲージ固定|en|gauge fixing}}が必要である<ref>{{Cite journal|last=Friedreich|first=S.|author-link=|date=2012|title=A Philosophical Look at the Higgs Mechanism|url=https://www.jstor.org/stable/44113589|journal=Journal for General Philosophy of Science|volume=45|issue=2|pages=335–350|accessdate=|arxiv=|doi=|pmid=}}</ref>。

自発的対称性の破れは、理論の[[作用 (物理学)|作用]]が対称性を持つが、[[真空状態]]がこの対称性を破る場合に発生する。その場合、対称性の下で不変でない[[局所性|局所演算子]]が存在し、非ゼロの真空期待値を与える。このような不変でない局所演算子は、有限体積の系に対して常に真空期待値がゼロになり、自発的対称性の破れを阻止する。これは、大きな時間スケールでは、有限系は常にすべての可能な基底状態の間を遷移し、演算子の期待値を平均化するために発生する<ref>{{Cite book |last=Shankar |first=R. |author-link=Ramamurti Shankar |date=2017 |title=Quantum Field Theory and Condensed Matter: An Introduction |url= |doi= |location=Cambridge |publisher=Cambridge University Press |chapter=10 |page=164–165 |isbn=978-0521592109}}</ref>。

グローバル対称性では自発的対称性の破れが起こり得るが、エリツァーの定理によれば、ゲージ対称性では同じことは起こらない。ゲージ不変演算子の真空期待値はすべて、無限大の系であってもゼロになる<ref>{{Cite book |last=Fradkin |first=E. |author-link=Eduardo Fradkin |date=2021 |title=Quantum Field Theory: An Integrated Approach |url= |doi= |location= |publisher=Princeton University Press |chapter=18.6 |page=533–534 |isbn=978-0691149080}}</ref>。格子上では、ゲージ不変な[[オブザーバブル]]を[[ハール測度|群測度]]で積分すると、[[コンパクト群|コンパクトゲージ群]]では常にゼロになるという事実から、このことが導かれる<ref>{{Cite book |last=Gattringer |first=C. |last2=Lang |first2=C.B. |date=2009 |title=Quantum Chromodynamics on the Lattice: An Introductory Presentation |series=Lecture Notes in Physics 788 |url= |doi=10.1007/978-3-642-01850-3 |location= |publisher=Springer |chapter=3 |page=53 |isbn=978-3642018497}}</ref>。測度の正値性とゲージ不変性は、定理を証明するのに十分である<ref>{{Cite book |last=Wipf |first=A. |author-link= |date=2012 |title=Statistical Approach to Quantum Field Theory: An Introduction |url= |doi= |location= |publisher=Springer |chapter=13 |page=313–314 |isbn=978-3642331046}}</ref>。これは、格子場の理論においてゲージ対称性が単なる冗長性である理由の説明でもある。格子場理論では、運動方程式は解く必要がないため、[[良設定問題]]を定義する必要がない。代わりに、エリツァーの定理は、対称性の下で不変でない観測量は期待値がゼロになるため、観測できず、したがって冗長になることを示す。

系が自発的対称性の破れを許容することを示すには、対称性を破り、好ましい[[基底状態]]を生じる弱い外場（ソース）を導入する必要がある。次に、系の[[熱力学的極限|熱力学極限]]を取り、その後、外場を切る。対称性のもとで不変でない演算子の真空期待値がこの極限でゼロでない場合、自発的な対称性の破れがある<ref>{{Cite book |last=Baulieu |first=L. |author-link= |last2=Iliopoulos |first2=J. |author2-link=John Iliopoulos |last3=Sénéor |first3=R. |author3-link= |date=2017 |title=From Classical to Quantum Fields |url= |doi= |location=Oxford |publisher=Oxford University Press |chapter=25 |page=722–724 |isbn=978-0198788409}}</ref>。物理的には、系が外場によっておかれた元の基底状態から決して離れないことを意味する。グローバル対称性の場合、さまざまな基底状態間のエネルギー障壁が体積に比例するため、これが発生する。そのため、熱力学的極限ではこれが発散し、系が基底状態に固定される。ローカル対称性では、2つの基底状態間のエネルギー障壁が局所的な特徴のみに依存するため、この構成を回避する。そのため、異なるゲージ関連の基底状態への遷移はローカルで発生し、グローバル対称性の場合のように場がすべての場所で同時に変化する必要はない。

== 適用限界と意味合い ==
この定理には多くの制限がある。特に、ゲージ対称性の自発的な破れは、無限の空間次元を持つ系や無限の変数を持つ対称性で許容される。なぜなら、これらの場合には、ゲージ配位間に無限のエネルギー障壁があるからである。この定理は、原理的には自発的に破れる可能性がある残余ゲージ自由度<ref>{{Cite book |last=Greensite |first=J. |author-link= |date=2020 |title=An Introduction to the Confinement Problem |edition=2 |url= |doi= |location= |publisher=Springer |chapter=3 |page=27–28 |isbn=978-3030515621}}</ref>や{{日本語版にない記事リンク|大ゲージ変換|en|large gauge transformation}}<ref>{{Cite journal|last=Hertzberg|first=M.P.|author-link=|last2=Jain|first2=M.|date=2019|title=Counting of states in Higgs theories|url=|journal=Phys. Rev. D|volume=99|issue=6|pages=065015|accessdate=|arxiv=1807.05233|doi=10.1103/PhysRevD.99.065015|pmid=}}</ref>にも適用されない。さらに、現在の証明はすべて格子場の理論の定式化に依存しているため、真の連続場理論では無効である可能性がある。したがって、ゲージ対称性が自発的に破れる可能性のあるエキゾチックな連続場理論が存在する可能性は原理的にはあり得るが、そのようなシナリオは既知の例がないため、ありそうにない。

{{日本語版にない記事リンク|ランダウ理論|en|landau theory}}では、局所演算子の期待値を使用して系の[[相転移|相構造]]を決定する。ただし、エリツァーの定理は、[[ヤン＝ミルズ理論|ヤン=ミルズ理論]]など、局所演算子が[[クォークの閉じ込め|閉じ込め]]の{{日本語版にない記事リンク|順序演算子|en|order operator}}として機能できない特定の系では、このアプローチは受け入れられないことを示している。代わりに、定理を回避するには、期待値がゼロである必要がない非局所ゲージ不変演算子を構築する必要がある。最も一般的なものは、[[ウィルソンループ]]と、その熱力学的等価物である{{日本語版にない記事リンク|ポリヤコフループ|en|Polyakov loop}}である。順序演算子として機能する別の非局所演算子は、トフーフトループ（'t Hooft loop）がある。

ゲージ対称性は自発的に破れることはないので、ヒッグス機構の妥当性に疑問が投げかけられる。通常の説明では、ヒッグス場は、場にゼロではない真空期待値を与える[[ポテンシャル]]を持っているように見える。しかし、これは単にゲージ固定、通常は{{日本語版にない記事リンク|ユニタリゲージ|en|unitary gauge}}を課した結果に過ぎない。真空期待値の任意の値は、適切なゲージ固定を選択することにより得られる。期待値をゲージ不変な方法で計算すると、エリツァーの定理と一致して常にゼロになる。しかし、ヒッグス機構は、いかなる対称性の自発的破れも伴わないフレーリッヒ・モルキオ・ストロッキ機構として知られるゲージ不変な方法で完全に再定式化することができる<ref>{{Cite journal|last=Axel|first=M.|author-link=|date=2019|title=Brout-Englert-Higgs physics: From foundations to phenomenology|url=|journal=Prog. Part. Nucl. Phys.|volume=106|issue=|pages=132–209|accessdate=|arxiv=1712.04721|doi=10.1016/j.ppnp.2019.02.003|pmid=}}</ref>。[[特殊ユニタリ群|<math>\text{SU}(2)</math>]][[部分群]]を持つ非可換ゲージ群の場合、この機構はヒッグス機構と一致するが、他のゲージ群の場合、2つのアプローチの間に矛盾が生じる可能性がある。

エリツァーの定理は、より広い概念であるD次元空間の局所対称性に一般化することもでき、D次元[[超平面]]に均一に作用する対称性が存在する可能性がある。この見方では、グローバル対称性はD次元超平面に作用し、局所対称性は0次元超平面に作用する。一般化されたエリツァーの定理は、そのようなD次元対称性の下で不変でない演算子の真空期待値に上限を与える。<ref>{{Cite journal|last=Batista|first=C.D.|author-link=|last2=Nussinov|first2=Z.|date=2005|title=Generalized Elitzur's theorem and dimensional reductions|url=|journal=Phys. Rev. B|volume=72|issue=4|pages=045137|accessdate=|arxiv=cond-mat/0410599|doi=10.1103/PhysRevB.72.045137|pmid=}}</ref>この定理は、そのような対称性が現れる[[物性物理学]]において多数の応用がある。

== 関連項目 ==
* Mermin–Wagner theorem

== 参考文献 ==
{{Reflist}}
<references />

{{DEFAULTSORT:えりつああのていり}}
[[Category:統計力学の定理]]
[[Category:量子力学の定理]]
[[Category:対称性]]
[[Category:ゲージ理論]]
[[Category:場の量子論]]
[[Category:物理学のエポニム]]