[論文レビュー] 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

ひとこと要約

本稿は、2次元空間における競合する格子を表す2つのシータ関数の和の最小化を調査し、競合パラメータρの変化に伴い、最適格子幾何の新しい相転移を明らかにした。最適格子はρの変化に伴い、長方形から正方形を経て、ひし形へ、最終的にヘキサゴナルに連続的に変化し、中間的なρの区間で安定した正方形相が存在する。これはボーズ＝アインシュタイン凝縮体におけるストロベリー配列に関するミュラー＝ホー予想の部分的な解析的裏付けを提供する。

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}.

研究の動機と目的

• 2つの競合する強度を持つ入れ違いの格子を表す2つのシータ関数の和の最小化を分析すること。
• 競合パラメータρを0から∞に変化させた際、最適格子幾何がどのように変化するかを特定すること。
• 2成分ボーズ＝アインシュタイン凝縮体におけるストロベリー格子配列に関するミュラー＝ホー予想を、厳密な解析的裏付けを与えること。
• 上半平面における最小化子の軌跡を特定し、相転移の臨界閾値を同定すること。

提案手法

• 関数 $ \mathcal{W}_{1,\rho}(z) = \theta(2; \frac{z+1}{2}) + \rho\theta(1;z) $ を定義し、ここで $ \theta(s;z) $ は格子 $ \mathbb{Z} \oplus z\mathbb{Z} $ におけるシータ関数である。
• $ z \mapsto -1/z $, $ z \mapsto z+2 $, および $ z \mapsto -\overline{z} $ を含む群 $ \mathcal{G}_2 $ における対称性を分析し、最小化の定義域を縮小する。
• 垂直線分と単位円弧からなる最適軌跡曲線 $ \Omega_e = \Omega_{ea} \cup \Omega_{eb} $ を特定する。
• シータ関数成分の漸近展開と微分の推定値を用いて、関数の単調性および凸性の性質を証明する。
• 指数的減衰推定と係数比較を用いて、シータ関数展開における誤差項の厳密な境界を確立する。
• 2つの臨界閾値 $ \sigma_{1,a} \approx 0.04016 $ および $ \sigma_{1,b} \approx 0.83972 $ が存在することを検証し、これらは格子相の遷移を示す。

実験結果

リサーチクエスチョン

• RQ1 競合パラメータρの変化に伴い、2つのシータ関数の和における最適格子幾何はどのように変化するか？
• RQ2 ヘキサゴナル格子が単一のシータ関数に対して最適であるにもかかわらず、正方形格子がρの非自明な区間で安定した相として出現するか？
• RQ3 上半平面 $ \mathbb{H} $ における最小化子の正確な軌跡は何か？ また、その構造は対称性と幾何的制約によってどのように規定されるか？
• RQ4 本稿の最小化フレームワークを通じて、2成分ボーズ＝アインシュタイン凝縮体におけるストロベリー格子配列に関するミュラー＝ホー予想を解析的に確認できるか？
• RQ5 格子相を分ける正確な臨界閾値 $ \sigma_{1,a} $ および $ \sigma_{1,b} $ の値は何か？

主な発見

• 最小化子 $ z_{1,\rho} $ は、ρの変化に伴い、垂直線分 $ \Omega_{ea} $ と単位円弧 $ \Omega_{eb} $ からなる曲線 $ \Omega_e $ に沿って連続的に移動する。
• ρ ∈ [0, σ_{1,a}] の場合、最小化子は垂直線分 $ \Omega_{ea} $ 上にあり、長方形格子に対応し、縦横比は $ \sqrt{3} $ から1に減少する。
• ρ ∈ [σ_{1,a}, σ_{1,b}] の場合、最小化子は固定点 $ z = i $ にあり、正方形格子に対応し、安定相が存在する。
• ρ ∈ [σ_{1,b}, ∞) の場合、最小化子は単位円弧 $ \Omega_{eb} $ 沿いに移動し、正方形からひし形格子へ、最終的に $ \rho \to \infty $ のときヘキサゴナル格子に移行する。
• 臨界閾値は数値的に $ \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} $ のヘキサゴナル格子点に収束し、単一のシータ関数に対する既知の最適格子への収束を確認する。