A Complete Proof of Mueller--Ho Conjecture

技术摘要：Mueller–Ho 猜想的完整证明

问题陈述
本文研究了在存在大量涡旋的情况下，两组分玻色-爱因斯坦凝聚体（BECs）相关能量泛函的极小化问题。该能量由一个经典 $\theta$ 函数（代表单组分的晶格能量）和一个经过位移的 $\theta$ 函数（代表两组分之间的相互作用）加权求和而成，权重为相互作用强度参数 $\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$ 相关的经典 $\theta$ 函数。
• $J(z; a, b)$ 是位移后的 $\theta$ 函数（高斯晶格和），定义为 $\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}$ 生成的群下的模不变性。这使得他们可以将搜索极小值的范围限制在基本域 $D_G$ 内，其中 $0 \le x \le 1/2$，$x^2 + y^2 \ge 1$，且 $y < 2$。紧致性论证（引理 2.3）确保了在缩减后的定义域内存在极小值。

2. 位移定位与傅里叶估计：
   一个关键组成部分是“消除位移”（引理 2.4）。通过分析能量的傅里叶级数展开，作者推导出了依赖于晶格形状 $(x, y)$ 但在特定位移处取得最小值的下界。他们证明了对于某些 $\alpha$ 范围，全局极小值必须是“中心化”的（即 $a=b=1/2$）或者位于三角形晶格的“深孔”（deep holes）附近（即 $a=b=1/3$）。

3. 海森矩阵分析与凸性：
   为了建立唯一性和局部极小性，作者计算了能量泛函关于变量 $(x, y, a, b)$ 的海森矩阵（Hessian）。

• 三角形邻域： 在三角形晶格（$z = e^{i\pi/3}$）附近，他们证明了对于特定的 $\alpha$ 范围，联合海森矩阵是正定的（引理 4.2）。这确认了三角形深孔构型是该区域内唯一的局部极小值。
• 中心化邻域： 对于中心化构型，他们利用了“中心恒等式”（引理 2.2），该式将能量表示为无位移 $\theta$ 函数的线性组合。这使得问题可以简化为已知的 $\theta$ 函数极小值分类问题。

4. 相变分析：
   作者通过比较三角形深孔构型与中心化构型的最小值，定义了三个临界阈值 $\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$)： 全局极小值是三角形晶格（$z = e^{i\pi/3}$），其相对位移为 $(a, b) = (1/3, 1/3)$。这对应于三角形晶格的“深孔”。
• 阶段 2 ($\alpha = \alpha_a$)： 发生相变。三角形深孔构型和中心化菱形构型（具有 $z = e^{i\phi_{\alpha_a}}$ 且 $a=b=1/2$）均为全局极小值。该转变涉及晶格形状和位移的不连续变化。
• 阶段 3 ($\alpha_a < \alpha < \alpha_b$)： 极小值是中心化菱形晶格（$z = e^{i\phi_\alpha}$，其中 $\phi_\alpha \in (\phi_{\alpha_a}, \pi/2)$），具有固定的位移 $(a, b) = (1/2, 1/2)$。晶格形状随 $\alpha$ 连续变化。
• 阶段 4 ($\alpha_b \le \alpha \le \alpha_c$)： 极小值是中心化正方形晶格（$z = i$），位移为 $(a, b) = (1/2, 1/2)$。
• 阶段 5 ($\alpha_c < \alpha \le 1$)： 极小值是中心化矩形晶格（$z = iy_\alpha$，其中 $y_\alpha \in (1, \sqrt{3}]$），位移为 $(a, b) = (1/2, 1/2)$。在 $\alpha=1$ 时，长宽比为 $y_1 = \sqrt{3}$。

阈值的数值给出为：
$\alpha_a \approx 0.172356$，$\alpha_b \approx 0.373215$，$\alpha_c \approx 0.925649$。

意义
本文声称提供了关于两组分玻色-爱因斯坦凝聚体基态结构的 Mueller–Ho 猜想的第一个完整的数学证明。

• 数学严谨性： 它解决了带有位移的晶格上 $\theta$ 函数极小化这一长期存在的开放问题，将 Montgomery 定理 (1988) 和 Theorem B (B´etermin 等人, 2022) 扩展到了耦合的两组分情形。
• 物理相关性： 其结果从数学上解释了旋转两组分 BEC 中，随着组分间相互作用强度的变化，涡旋晶格形状发生转变（从六角形到正方形/矩形）的实验观测现象。
• 方法论进步： 该工作引入了一个稳健的框架，结合了模约减、精细的傅里叶估计和海森矩阵分析，用以处理涉及晶格几何形状和相对位移的极小化问题，这类问题此前在解析处理上一直非常困难。

作者强调，其证明依赖于精确恒等式、凸性论证和严格的误差界限，避免了在最终分类中使用纯粹的数值启发式方法，尽管在定位特定转换点时使用了数值验证。