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

About 2 years old · traced to

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 d≥4d\geq 4, let CdC_d and Cd′C'_d be the constants appearing in the conjectured matching lower and upper bounds. Sharp observability-bound conjecture. If d≥4d\geq 4, then

exp⁡{−Cdr3−d}≲md(r)≲exp⁡{−Cd′r3−d}.\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.

References

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.