A Complete Proof of Mueller--Ho Conjecture

技術的要約：Mueller–Ho予想の完全な証明

問題設定
本論文は、多数の渦が存在する二成分ボース＝アインシュタイン凝縮体（BEC）に関連するエネルギー汎関数の最小化について扱う。このエネルギーは、古典的なテータ関数（単一成分の格子エネルギーを表す）と、シフトされたテータ関数（二成分間の相互作用を表す）の和に相互作用強度パラメータ $\alpha \in [0, 1]$ を重みとして付けたものによってモデル化される。

具体的には、著者らは以下のエネルギー汎関数の大域的最小化を調査している：
$$E_\alpha(z; a, b) = \theta(1; z) + \alpha J(z; a, b)$$
ここで：

• $z = x + iy \in \mathbb{H}$ （上半平面）は、渦格子の形状をパラメータ化する。
• $(a, b) \in \mathbb{R}^2$ は、二成分間の相対的な変位（シフト）を表す。
• $\theta(1; z)$ は、格子 $\Lambda_z$ に関連する古典的なテータ関数である。
• $J(z; a, b)$ は、ガウス格子和として定義されるシフトされたテータ関数であり、$\sum_{m,n \in \mathbb{Z}} e^{-\pi(m^2y + (mx-n)^2/y)} \cos(2\pi(ma+nb))$ である。

MuellerとHo (2002) によって提唱されたこの問題は、変化する相互作用強度 $\alpha$ に対して、最適な格子の形状 ($z$) および相対的な変位 ($a, b$) を決定することを目的としている。先行研究では、$\alpha=0$ の場合（Montgomeryの定理による三角格子）および中心の場合（$a=b=1/2$）の最小化については確立されていたが、格子の形状と変位を同時に最適化するフル・フェーズダイアグラムの解明は未解決のままであった。

手法
証明には、解析的数論、変分法、およびモジュラー形式論の厳密な組み合わせが用いられている。核心となる戦略は、以下のステップを通じて、無限次元の最小化問題を有限個の候補構成へと還元することである。

1. モジュラー簡約とコンパクト性:
   著者らは、写像 $z \mapsto -1/z$、$z \mapsto z+1$、および $z \mapsto -\bar{z}$ によって生成される群の下でのエネルギー汎関数のモジュラー不変性を利用している。これにより、探索範囲を $0 \le x \le 1/2$、$x^2 + y^2 \ge 1$、$y < 2$ である基本領域 $D_G$ に制限することができる。コンパクト性の議論（補題2.3）により、この簡約された領域内で最小値が達成されることが保証される。

2. 変位の局在化とフーリエ評価:
   重要な要素は「変位の排除」（補題2.4）である。エネルギーのフーリエ級数展開を解析することにより、著者らは格子形状 $(x, y)$ に依存する下界を導出し、それが特定の変位において最小となることを示している。彼らは、特定の $\alpha$ の範囲において、大域的最小化因子が「中心」にある（すなわち $a=b=1/2$）か、あるいは三角格子の「ディープホール（深い穴）」付近に位置する（すなわち $a=b=1/3$）ことを証明している。

3. ヘッセ行列解析と凸性:
   変数 $(x, y, a, b)$ に関するエネルギーのヘッセ行列を計算することで、一意性と局所的最小性を確立する。

• 三角近傍: 三角格子 ($z = e^{i\pi/3}$) の近傍において、特定の $\alpha$ 範囲で結合ヘッセ行列が正定値であることを証明している（補題4.2）。これにより、三角ディープホール構成がこの領域における一意の局所最小点であることが確認される。
• 中心構成: 中心構成については、「中心恒等式」（補題2.2）を利用している。これは、エネルギーをシフトされていないテータ関数の線形結合として表すものである。これにより、問題は既知のテータ関数の最小化の分類へと還元される。

4. 相転移解析:
   著者らは、三角ディープホール構成のエネルギーと、中心構成の最小値を比較することによって、3つの臨界閾値 $\alpha_a, \alpha_b, \alpha_c$ を定義する。

• 著者らは、関数 $\alpha \mapsto \min_{\tau} E_\alpha(\tau; 1/2, 1/2) - E_\alpha(e^{i\pi/3}; 1/3, 1/3)$ が凹関数であることを証明している。
• 認証された数値境界（例：$\alpha = 1723/10000$ および $\alpha = 7/40$ において）を用いることで、大域的最小化因子が三角ディープホールから中心菱形構成へと切り替わる一意の交点 $\alpha_a$ を特定している。

主な貢献と結果
本論文は、すべての $\alpha \in [0, 1]$ に対する最小化の完全な分類を提供し、Mueller–Ho予想を立証した。結果は以下のようにまとめられる：

• フェーズ 1 ($0 \le \alpha < \alpha_a$): 大域的最小化因子は、相対的変位 $(a, b) = (1/3, 1/3)$ を持つ三角格子 ($z = e^{i\pi/3}$) である。これは三角格子の「ディープホール」に対応する。
• フェーズ 2 ($\alpha = \alpha_a$): 相転移が発生する。三角ディープホール構成と、中心菱形格子（$z = e^{i\phi_{\alpha_a}}$ かつ $a=b=1/2$）の両方が大域的最小化因子となる。この転移は、格子の形状と変位の両方における不連続な変化を伴う。
• フェーズ 3 ($\alpha_a < \alpha < \alpha_b$): 最小化因子は、固定された変位 $(a, b) = (1/2, 1/2)$ を持つ中心菱形格子 ($z = e^{i\phi_\alpha}$、ただし $\phi_\alpha \in (\phi_{\alpha_a}, \pi/2)$) である。格子の形状は $\alpha$ と共に連続的に変化する。
• フェーズ 4 ($\alpha_b \le \alpha \le \alpha_c$): 最小化因子は、変位 $(a, b) = (1/2, 1/2)$ を持つ中心正方格子 ($z = i$) である。
• フェーズ 5 ($\alpha_c < \alpha \le 1$): 最小化因子は、変位 $(a, b) = (1/2, 1/2)$ を持つ中心長方形格子 ($z = iy_\alpha$、ただし $y_\alpha \in (1, \sqrt{3}]$) である。$\alpha=1$ において、アスペクト比は $y_1 = \sqrt{3}$ となる。

数値的な閾値は次のように与えられる：
$\alpha_a \approx 0.172356$, $\alpha_b \approx 0.373215$, $\alpha_c \approx 0.925649$。

意義
本論文は、二成分ボース＝アインシュタイン凝縮体の基底状態構造に関するMueller–Ho予想の、最初の完全な数学的証明を提供したと主張している。

• 数学的厳密性: シフトを伴う格子のテータ関数の最小化に関する長年の未解決問題（Montgomeryの定理 (1988) および Béterminら (2022) の定理Bの拡張）を解決した。
• 物理的関連性: 回転する二成分BECにおける、相互成分間の相互作用強度の関数としての渦格子の形状転移（六角形から正方/長方形へ）という実験的観察を、厳密に説明するものである。
• 手法の進展: モジュラー簡約、鋭いフーリエ評価、およびヘッセ行列解析を組み合わせ、格子幾何学と相対変位の両方を扱う最小化問題を扱うための堅牢なフレームワークを導入した。これは、これまで解析的に扱うことが困難であった問題のクラスである。

著者らは、自らの証明が、最終的な分類のために純粋な数値的ヒューリスティクスを避け、厳密な誤差境界を用いた正確な恒等式、凸性引数、および厳密な誤差境界に基づいていることを強調している。