Spontaneous symmetry breaking under Bose--Einstein condensation

大きな全体像：混乱した群衆 vs. 統一された合唱団

巨大な部屋に人々（これらはボース粒子です）が詰まっている様子を想像してください。通常の状態では、誰もがランダムに動き回り、おしゃべりをし、それぞれが勝手に動いています。これが「気体」です。

しかし、この部屋を十分に冷却すると、魔法のようなことが起こります。全員が突然動きを止め、全く同じ場所に完璧に静止し、全く同じ音程でハミングを始めるのです。これが**ボース＝アインシュタイン凝縮（BEC）**です。彼らは一つの巨大な「超・人間」あるいは、統一された合唱団になったのです。

この論文は、この現象を数学的にどのように記述すべきかという、物理学者の間で長年続いてきた議論に取り組んでいます。著者が整理しようとしている混乱には、主に3つのポイントがあります。

この「統一された合唱団」は自動的に発生するのか、それとも強制する必要があるのか？
合唱団が存在するためには、特定の「位相（フェーズ）」（例えば、特定の拍子で歌を開始すること）を選ばなければならないのか？
数学的な破綻（「大正準カタルストロフィー（大正準の破局）」と呼ばれるもの）によって、システムが爆発してしまうのではないか？

著者の主な結論は、**「破局は存在しない」**ということです。数学を正しく適用すれば、システムは安定します。「破局」が現れるのは、ゲームの極めて重要なルールを忘れた場合のみです。

1. 「対称性の破れ」のアナロジー：円卓

物理学において「対称性」とは、多くの場合「どの方向を見ても変わらないこと」を意味します。完璧に左右対称なケーキが真ん中にある円卓を想像してください。誰かが触れる前、ケーキはどの角度から見ても同じに見えます。これがゲージ対称性です。

しかし、「統一された合唱団」（BEC）が形成されるためには、粒子たちは特定の律動や位相に同意しなければなりません。それは、円卓に突然「頭（起点）」ができるようなものです。粒子たちが一斉にハミングすることを決めた瞬間、彼らは特定の開始点を選ばなければなりません。

混乱： 一部の物理学者は、開始点を選ばなくても合唱団は存在できると主張しました。
論文の主張： それは不可能です。合唱団が形成された瞬間、対称性は破れます。彼らは必ず特定の位相（特定の開始拍子）を選ばなければなりません。著者は、この「位相を選ぶこと」は単なる推測ではなく、粒子が凝縮することの必然的な結果であることを、**準平均（Quasiaverages）**という数学的ツールを用いて証明しています。

アナロジー： 行進しようとしている人々の群衆を想像してください。もし全員がバラバラなら、彼らはただの群衆です（対称的）。しかし、もし彼らが完璧に足並みを揃えて行進し始めたら、彼らは「対称性を破った」ことになります。なぜなら、彼らは今や特定の方向を向いているからです。方向を向かずに足並みを揃えて行進することはできません。

2. 「エルゴード的分解」：無限の図書館

この論文では、**エルゴード的分解（Ergodic Decomposition）**という概念について論じています。これは難解に聞こえますが、図書館のように考えてください。

有限の部屋（小さなシステム）： 小さな部屋では、群衆の全体を一度に見ることができます。数学的には、群衆をあらゆる可能なリズムが混ざり合った、一つの大きな「ぼやけた混合物」として扱います。
無限の図書館（熱力学的極限）： 部屋が無限に巨大になったとき（これは現実世界の物理モデル化の方法です）、数学的な扱いが変わります。その「ぼやけた混合物」は分裂します。図書館には、今や別々の、明確に区別された「本」が含まれています。それぞれの本は、異なる開始位相を選んだ、それぞれのバージョンの合唱団を表しています。

著者は、実験で見られる「対称的な」状態とは、これら別々の「本（位相）」の平均であることを説明しています。しかし、それぞれの特定の「本」（特定の物理的実現）の中では、対称性は破れています。位相を無視することはできません。システムが多くの可能性の中から一つの経路を「選んだ」ことを認めなければなりません。

3. 「大正準カタルストロフィー」：割れない風船

これは論文の中で最も劇的な部分です。以前の研究では、凝縮体における粒子数のゆらぎ（震え）を計算すると、「カタルストロフィー（破局）」が起こると主張されていました。

誤った数学： もし対称性を破ることを忘れた場合（つまり、合唱団がまだ位相を選んでいないと仮定した場合）、数学は粒子数が激しく揺れ動くと予測します。それは、どんどん大きくなっていく風船のようで、最終的に爆発してしまいます。ゆらぎがあまりに巨大（粒子の数の二乗に比例）であるため、システムは不安定になります。これが「大正準カタルストロフィー」です。
著者の解決策： 著者はこう言います。「あなたは最も重要なルールを忘れています！」正しく対称性の破れのルールを適用すれば（合唱団が位相を選んだことを認めれば）、数学は劇的に変化します。
結果： 「風船」の膨張は止まります。ゆらぎは極めて小さく、制御可能なものになります。システムは完全に安定しています。

アナロジー： 綱渡りをする人を想像してください。

誤った数学： もし、綱渡りの人が、ぐらつく目に見えない棒の上でバランスを取っていると仮定したら、彼らはすぐに落下します（破局）。
正しい数学： もし、彼らが本物の、安定した棒を握っていることを認めれば、彼らは完璧に渡りきることができます。「落下」は、数学的なミスによって生じた錯覚であり、現実の危険ではありません。

4. なぜこれが重要なのか：安定性

この論文は、自然界に存在するシステム（超流動ヘリウムや冷原子ガスなど）には、安定性が不可欠であることを強調しています。

もし「大正準カタルストロフィー」が現実であれば、システムは不安定になります。それは、ガスが瞬時に飛び散るか、崩壊することを意味します。
しかし、私たちはこれらのガスが実験において実際に存在し、安定していることを知っています。
したがって、「破局」は存在し得ません。破局を予測する数学は、対称性の破れを忘れているために間違っているのです。

著者の結論の要約

BECと対称性は結びついている： ボース＝アインシュタイン凝縮が存在するためには、システムが自発的に対称性を破ること（位相を選ぶこと）なしにはあり得ません。
破局は存在しない： 恐ろしい「大正準カタルストロフィー」（巨大で不安定なゆらぎ）は、数学的なエラーです。それは対称性の破れを無視した場合にのみ起こります。正しく行えば、ゆらぎは極めて小さく、安全です。
安定性が鍵である： 現実の物理システムは安定しています。もし計算がシステムを不安定だと示しているなら、その計算が間違っているのであり、宇宙が間違っているわけではありません。
数学は明快である： 著者は、厳密な数学（準平均を用いたもの）は、凝縮体が安定しており、「破局」のシナリオは不完全な思考による人工的な産物に過ぎないことを証明していると主張しています。

端的に言えば： この論文は物理学者への「現実への引き戻し」です。「システムが爆発することを心配するのはやめなさい。粒子たちが進むべき方向を選ばなければならないということを忘れなければ、数学はシステムが安定していることを示しているのだ」と言っているのです。

技術要約：ボース＝アインシュタイン凝縮下における自発的対称性の破れ

問題提起
ボース＝アインシュタイン凝縮（BEC）の研究には長い歴史があるが、その現象の理論的基礎に関しては、依然として重大な概念的混乱や論争が文献の中に存在している。具体的には、「通常の意味での」BEC（外場がない場合）、ボゴリューボフの準平均（quasiaverages）によって定義されるBEC、および自発的なゲージ対称性の破れの間の関係性が議論の対象となっている。さらに、ゲージ不変な状態におけるエルゴード的分解の性質や、「グランドカノニカルの破綻（grand canonical catastrophe）」とも呼ばれる、非熱力学的な粒子揺らぎの存在についても議論が続いている。本論文は、これらの概念間の論理的なつながりを厳密に確立し、いわゆる「破綻」が物理的な実態ではなく、誤った理論的扱いに起因するアーティファクトであることを示すことにより、これらの問題を解明することを目的とする。

手法
本論文は、グランドカノニカルアンサンブルとボゴリューボフによって開発された準平均の手法に基づいた、厳密な数学的枠組みを用いる。解析は以下の手順で行われる：

形式構築： 系は、場演算子 $\psi(r)$ および $\psi^\dagger(r)$ によって生成されるフォック空間 $\mathcal{F}$ 内で定義される。場は凝縮成分 $\psi_0$ と非凝縮成分 $\psi_1$ に分解される。
準平均法： ゲージ対称性を持つハミルトニアン $H$ に対し、対称性を破る項 $\nu(a_0^\dagger e^{i\alpha} + a_0 e^{-i\alpha})$ を付加する。熱力学的極限（ $N, V \to \infty$ ）を先に採り、その後に $\nu \to 0$ の極限を取る。この手順により、結果としての平均においてゲージ対称性が破れた状態が維持される。
エルゴード的分解解析： 有限体積における位相変数に関する不完全な積分と、熱力学的極限においてのみ起こる真のエルゴード的分解を区別する。状態空間を分析するために、Ginibre、Roepstorff、Liebらによる定理を利用する。
揺らぎおよび安定性解析： 凝縮粒子数の分散を準平均の形式を用いて計算する。これらの結果を、系が安定な平衡状態にあるために必要な正かつ有限の感受率（分散）という安定条件と比較する。

主要な貢献および結果

BECと対称性の破れの等価性： 本論文は、通常の意味でのBEC（外場なし）の存在が、ボゴリューボフの準平均の意味でのBECの存在を内含することを厳密に証明する。さらに、準平均の意味でのBECが、自発的なゲージ対称性の破れと数学的に等価であることを確立する。具体的には、条件 $\lim \langle a_0^\dagger a_0 \rangle / V > 0$ （通常のBEC）は、 $\lim |\langle a_0 \rangle|^2 / V > 0$ （対称性の破れ）を必然的に要求する。
ボゴリューボフの置換： 凝縮場演算子 $\psi_0$ を非演算子のc-数 $\eta = \sqrt{\rho_0}e^{i\alpha}$ で置換することは、熱力学的極限において漸近的に正確であることが示される。この置換は単なる位相の選択ではなく、凝縮振幅を熱力学ポテンシャルの最小化因子として固定し、系の安定性を保証するものである。
エルゴード的分解： 本論文は、エルゴード的分解とは、フォック空間 $\mathcal{F}$ が、それぞれ固定された位相 $\alpha$ を特徴とする互いに直交する部分空間 $\mathcal{F}_\alpha$ の直和へと分解される熱力学的極限の特性であることを明確にする。有限体積における位相に関する不完全な積分が、エルゴード的分解を構成するという概念は誤りであり、そのような不完全な積分は単なる数学的恒等式であって、破れた対称性を備えた物理的状態ではないことを明示する。
「グランドカノニカルの破綻」の解決： 凝縮の揺らぎが $N^2$ に比例するという「グランドカノニカルの破綻」は、ゲージ対称性を破ることに失敗したことからのみ生じることを本論文は示す。ボゴリューボフの準平均法を正しく適用すると、凝縮数の分散は無視できる程度になり（ $N$ またはそれ以下にスケールする）、相対分散の極限は消失する。
安定性条件： 解析により、「グランドカノニカルの破綻」を示す系は、発散する圧縮率と構造因子、およびゼロの音速を持つことになり、熱力学的に不安定になることが確認される。安定な平衡状態（ヘリウム4や希薄ボースガスなど）が実験的に観測されている以上、この破綻は安定な系には存在し得ない。

意義
本論文は、BECの理論的枠組みは数学的に一貫しており、文献に見られる一見した矛盾は、熱力学的極限の解釈および対称性の破れの役割に関する誤解に起因するものであると主張する。主要な意義は、以下のことを決定的に証明した点にある：

自発的なゲージ対称性の破れは、BECのオプションの仮定ではなく、必然的な帰結である。
「グランドカノニカルの破綻」は、対称性の破れを無視した誤った計算による非物理的な結果である。
実験で観測される非熱力学的な揺らぎは、安定なBECの基本理論の失敗ではなく、有限サイズ効果、境界条件、または非平衡状態に帰せられるべきものである。

著者は、数学的に存在しないと証明されたもの（安定な系における破滅的な揺らぎ）は存在しないのであり、準平均を厳密に適用することで、安定性とボース凝縮状態の性質に関する長年の混乱が解消されると結論付けている。