The conjectured sharp lower bound for observability constants on high-dimensional tori

Let md(r)m_d(r) be the optimal observability constant for Laplacian eigenfunctions on the dd-dimensional torus observed on a ball of radius rr. For d4d\geq 4, let CdC_d and CdC'_d be the constants appearing in the conjectured matching lower and upper bounds. Sharp observability-bound conjecture. If d4d\geq 4, then

exp{Cdr3d}md(r)exp{Cdr3d}.\exp\bigl\{-C_d r^{3-d}\bigr\} \lesssim m_d(r) \lesssim \exp\bigl\{-C'_d r^{3-d} \bigr\}.

This conjecture says that the optimal lower bound for md(r)m_d(r) matches the upper bound obtained in the paper. The source reports strong evidence for the conjectures in this section, but gives no resolution of this claim.

Sources & referencesView supporting material

Primary source

Pierre Germain, Iván Moyano and Hui Zhu, “On the vanishing of eigenfunctions of the Laplacian on tori”, arXiv:2406.19925 (2025).

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.