[论文解读] On minima of sum of theta functions and Mueller-Ho Conjecture

Senping Luo, Juncheng Wei|arXiv (Cornell University)|Apr 28, 2020

Advanced Mathematical Identities参考文献 30被引用 5

一句话总结

本文研究了二维空间中代表竞争性晶格的两个theta函数之和的最小化问题，揭示了随着竞争参数ρ变化时最优晶格几何结构的新型相变。最优晶格连续地从矩形演变为正方形，再变为菱形，最终变为六边形，且在ρ的中间区间内存在一个稳定的正方形相，为Bose-Einstein凝聚体中涡旋排列的Mueller-Ho猜想提供了部分解析验证。

ABSTRACT

Let $z=x+iy \in \mathbb{H}:=\{z= x+ i y\in\mathbb{C}: y>0\}$ and $ θ(s;z)=\sum_{(m,n)\in\mathbb{Z}^2 } e^{-s \frac{π}{y }|mz+n|^2}$ be the theta function associated with the lattice $Λ={\mathbb Z}\oplus z{\mathbb Z}$. In this paper we consider the following pair of minimization problems $$ \min_{ \mathbb{H} } θ(2;\frac{z+1}{2})+ρθ(1;z),\;\;ρ\in[0,\infty),$$ $$ \min_{ \mathbb{H} } θ(1; \frac{z+1}{2})+ρθ(2; z),\;\;ρ\in[0,\infty),$$ where the parameter $ρ\in[0,\infty)$ represents the competition of two intertwining lattices. We find that as $ρ$ varies the optimal lattices admit a novel pattern: they move from rectangular (the ratio of long and short side changes from $\sqrt3$ to 1), square, rhombus (the angle changes from $π/2$ to $π/3$) to hexagonal; furthermore, there exists a closed interval of $ρ$ such that the optimal lattices is always square lattice. This is in sharp contrast to optimal lattice shapes for single theta function ($ρ=\infty$ case), for which the hexagonal lattice prevails. As a consequence, we give a partial answer to optimal lattice arrangements of vortices in competing systems of Bose-Einstein condensates as conjectured (and numerically and experimentally verified) by Mueller-Ho \cite{Mue2002}.

研究动机与目标

• 分析代表相互交织晶格且具有竞争强度的两个theta函数之和的最小化问题。
• 确定当竞争参数ρ从0变化到∞时，最优晶格几何结构如何演变。
• 为两组分Bose-Einstein凝聚体中涡旋晶格排列的Mueller-Ho猜想提供严格的解析验证。
• 刻画上半平面中最小化器的轨迹，并识别相变的关键阈值。

提出的方法

• 定义泛函 $ \mathcal{W}_{1,\rho}(z) = \theta(2; \frac{z+1}{2}) + \rho\theta(1;z) $，其中 $ \theta(s;z) $ 是格点 $ \mathbb{Z} \oplus z\mathbb{Z} $ 上的theta函数。
• 通过群 $ \mathcal{G}_2 $ 的对称性分析（包括 $ z \mapsto -1/z $，$ z \mapsto z+2 $，和 $ z \mapsto -\overline{z} $）来缩小最小化域。
• 识别最优轨迹曲线 $ \Omega_e = \Omega_{ea} \cup \Omega_{eb} $，其由一条竖直线段和一条单位圆弧组成。
• 利用theta函数分量的渐近展开和导数估计，证明泛函的单调性和凸性。
• 通过指数衰减估计和系数比较，建立theta函数展开中误差项的严格界。
• 验证存在两个临界阈值 $ \sigma_{1,a} \approx 0.04016 $ 和 $ \sigma_{1,b} \approx 0.83972 $，分别标志着晶格相之间的转变。

实验结果

研究问题

• RQ1 当竞争参数ρ在两个theta函数之和中变化时，最优晶格几何结构如何变化？
• RQ2 尽管单个theta函数的最优解为六边形晶格，正方形晶格是否会在ρ的非平凡区间内形成稳定相？
• RQ3 最小化器在上半平面 $ \mathbb{H} $ 中的精确轨迹是什么？其结构如何由对称性和几何约束决定？
• RQ4 能否通过此最小化框架，对两组分Bose-Einstein凝聚体中涡旋晶格排列的Mueller-Ho猜想进行解析确认？
• RQ5 分隔不同晶格相的临界阈值 $ \sigma_{1,a} $ 和 $ \sigma_{1,b} $ 的精确值是什么？

主要发现

• 当ρ变化时，最小化器 $ z_{1,\rho} $ 沿曲线 $ \Omega_e $ 连续移动，该曲线由竖直线段 $ \Omega_{ea} $ 和单位圆弧 $ \Omega_{eb} $ 组成。
• 当 $ \rho \in [0, \sigma_{1,a}] $ 时，最小化器位于竖直线段 $ \Omega_{ea} $ 上，对应于纵横比从 $ \sqrt{3} $ 递减至1的矩形晶格。
• 当 $ \rho \in [\sigma_{1,a}, \sigma_{1,b}] $ 时，最小化器固定在 $ z = i $，对应于正方形晶格，表明存在稳定相。
• 当 $ \rho \in [\sigma_{1,b}, \infty) $ 时，最小化器沿单位圆弧 $ \Omega_{eb} $ 移动，从正方形经菱形最终演变为六边形晶格，且当 $ \rho \to \infty $ 时趋于六边形晶格点 $ \frac{1}{2} + i\frac{\sqrt{3}}{2} $。
• 临界阈值的数值估计为 $ \sigma_{1,a} \approx 0.04016 $ 和 $ \sigma_{1,b} \approx 0.83972 $，分别标记相变边界。
• 当 $ \rho \to \infty $ 时，最小化器沿 $ \Omega_{eb} $ 从左侧趋近六边形晶格点 $ \frac{1}{2} + i\frac{\sqrt{3}}{2} $，证实其收敛于单个theta函数的已知最优晶格。