Conjecture on the number and modular invariance of critical points of the interaction functional

Let H={zC:Im(z)>0}\mathbb{H}=\{z\in\mathbb{C}:\operatorname{Im}(z)>0\} be the upper half-plane, and let

J(z;a,b)=(m,n)Z2eπIm(z)mzn2cos(2π(ma+nb)).\mathcal{J}(z;a,b)=\sum_{(m,n)\in\mathbb{Z}^2}e^{-\frac{\pi}{\operatorname{Im}(z)}|mz-n|^2}\cos(2\pi(ma+nb)).

For a fixed zz, consider the critical points of J(z;a,b)\mathcal{J}(z;a,b) with respect to (a,b)(a,b). Let Ω4\Omega_4 and Ω6\Omega_6 denote the subsets of H\mathbb{H} corresponding to tori zz with four and six such critical points, respectively. Let

\Gamma=SL_2(\mathbb{Z})=\left\{\begin{pmatrix}a&b\c&d\end{pmatrix}:ad-bc=1,\ a,b,c,d\in\mathbb{Z}\right\}.

Critical-point conjecture. The function J(z;a,b)\mathcal{J}(z;a,b) has either four or six critical points with respect to a,ba,b, and the following hold:

H=Ω4Ω6,Ω4Ω6=.\mathbb{H}=\Omega_4\cup\Omega_6,\qquad \Omega_4\cap\Omega_6=\emptyset.

Rectangular tori have only four critical points and the hexagonal torus has six; in particular,

i{z:Re(z)=0, Im(z)>0}Ω4,12+i32Ω6.i\in\{z:\operatorname{Re}(z)=0,\ \operatorname{Im}(z)>0\}\subset\Omega_4,\qquad \frac{1}{2}+i\frac{\sqrt{3}}{2}\in\Omega_6.

Moreover,

zΩ4Γ(z)Ω4,zΩ6Γ(z)Ω6.z\in\Omega_4\Rightarrow\Gamma(z)\in\Omega_4,\qquad z\in\Omega_6\Rightarrow\Gamma(z)\in\Omega_6.

This conjecture concerns the global classification of critical points of the relative-position interaction and its compatibility with modular symmetry; the source says it is suggested by numerical simulation, and no resolution is supplied.

Sources & referencesView supporting material

Primary source

Senping Luo and Juncheng Wei, “On minima of sum of theta functions and Mueller-Ho Conjecture”, arXiv:2004.13882 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.