[논문 리뷰] On minima of sum of theta functions and Mueller-Ho Conjecture

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

Advanced Mathematical Identities참고 문헌 30인용 수 5

한 줄 요약

이 논문은 두 개의 θ 함수 합의 최소화를 다루며, 이는 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}.

연구 동기 및 목표

• 서로 겹치는 강도가 경쟁하는 두 개의 θ 함수 합의 최소화를 분석한다.
• 경쟁 매개변수 ρ가 0에서 ∞로 변화함에 따라 최적의 격자 기하학이 어떻게 변화하는지 규명한다.
• 이중 성분 보스-아인슈타인 응축체에서의 비틀림 격자 배열에 대한 마우러-호 추측을 엄밀한 해석적 방법으로 확인한다.
• 상반평면 $ \mathbb{H} $ 내에서 최소화자의 궤적을 기술하고, 상전이의 임계 조건을 규명한다.

제안 방법

• 함수 $ \mathcal{W}_{1,\rho}(z) = \theta(2; \frac{z+1}{2}) + \rho\theta(1;z) $ 를 정의하며, 여기서 $ \theta(s;z) $ 는 격자 $ \mathbb{Z} \oplus z\mathbb{Z} $ 에 대한 θ 함수이다.
• 군 $ \mathcal{G}_2 $ 의 대칭성 특성을 분석하여 최소화 도메인을 축소한다. 이 군은 $ z \mapsto -1/z $, $ z \mapsto z+2 $, 및 $ z \mapsto -\overline{z} $ 를 포함한다.
• 최적 궤적 곡선 $ \Omega_e = \Omega_{ea} \cup \Omega_{eb} $ 를 식별하며, 이는 수직 세그먼트와 단위 원호로 구성된다.
• θ 함수 성분의 점근 전개와 도함수 추정을 이용하여 함수의 단조성 및 볼록성 성질을 증명한다.
• θ 함수 전개에서 오차 항에 대한 엄밀한 경계를 설정한다. 지수 감쇠 추정과 계수 비교를 활용한다.
• 두 개의 임계 조건 $ \sigma_{1,a} \approx 0.04016 $ 과 $ \sigma_{1,b} \approx 0.83972 $ 이 존재함을 검증하며, 이는 격자 상전이의 전환점을 나타낸다.

실험 결과

연구 질문

• RQ1 두 θ 함수 합에서 경쟁 매개변수 ρ가 변화함에 따라 최적의 격자 기하학은 어떻게 변화하는가?
• RQ2 단일 θ 함수에서 정육각형 격자가 최적임에도 불구하고, 정사각형 격자가 ρ의 비자명한 구간에서 안정된 상으로 나타나는가?
• RQ3 최소화자의 정확한 궤적은 상반평면 $ \mathbb{H} $ 내에서 어떻게 구성되어 있으며, 대칭성과 기하적 제약 조건에 의해 어떻게 결정되는가?
• RQ4 이 최소화 프레임워크를 통해 이중 성분 보스-아인슈타인 응축체에서의 비틀림 격자 배열에 대한 마우러-호 추측을 해석적으로 확인할 수 있는가?
• RQ5 각 격자 상전이를 분리하는 정확한 임계 조건 $ \sigma_{1,a} $ 과 $ \sigma_{1,b} $ 의 값은 무엇인가?

주요 결과

• ρ 가 변화함에 따라 최소화자 $ z_{1,\rho} $ 는 수직 세그먼트 $ \Omega_{ea} $ 와 단위 원호 $ \Omega_{eb} $ 로 구성된 곡선 $ \Omega_e $ 를 연속적으로 이동한다.
• $ \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} $ 를 따라 이동하며, ρ → ∞ 일 때 정사각형에서 마름모형 격자로, 마지막으로 정육각형 격자로 변화한다.
• 임계 조건은 수치적으로 $ \sigma_{1,a} \approx 0.04016 $ 과 $ \sigma_{1,b} \approx 0.83972 $ 로 추정되며, 이는 상전이의 경계를 나타낸다.
• ρ → ∞ 일 때 최소화자는 $ \Omega_{eb} 를 따라 왼쪽에서 정육각형 격자 점 $ \frac{1}{2} + i\frac{\sqrt{3}}{2} $ 쪽으로 수렴하며, 단일 θ 함수의 알려진 최적 격자로 수렴함을 확인한다.