{"id":"arxiv/2610.12203","url":"https://arxiv.org/abs/2610.12203","tags":["math.AP","math-ph","math.NT"],"score":0,"title":"A Complete Proof of Mueller--Ho Conjecture","domain":"math.AP","source":"arxiv","authors":["Senping Luo","Juncheng Wei"],"reviews":0,"subject":"math.AP","summary":"For $s>0$, and $z\\in\\mathbb H=\\{z=x+iy:y>0\\}$, define $θ(s;z)=\\sum_{m,n\\in\\mathbb Z}e^{-πs\\big(m^2y+\\frac{(mx-n)^2}{y}\\big)}$ and $ J(z;a,b)=\\sum_{m,n\\in\\mathbb Z}e^{-π\\big(m^2y+\\frac{(mx-n)^2}{y}\\big)} \\cos\\bigl(2π(ma+nb)\\bigr)$ for the classical and shifted theta functions (Gaussian lattice sums), respectively. We prove that, up to the modular group, there exist three thresholds $0<α_a<α_b<α_c<1$ such that \\begin{equation}\\aligned\\nonumber \\Minima_{z\\in\\mathbb H,\\,(a,b)\\in\\mathbb R^2}\\Big(θ(1;z)+αJ(z;a,b)\\Big)= \\begin{cases} \\;\\big(e^{iπ/{3}};1/3,1/3\\big), &\\hbox{if}\\;\\; α\\in[0,α_a),\\\\…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}