Steinerberger's Vaserstein distance conjecture for Laplace eigenfunctions

Let (M,g)(M,g) be a smooth, compact Riemannian manifold without boundary. Let ϕ\phi be an L2L^2-normalised eigenfunction of the Laplacian with eigenvalue LL, satisfying

Δϕ=Lϕ-\Delta \phi=L\phi

on (M,g)(M,g). For pp in the range intended by the conjecture, let WpW_p denote the pp-Wasserstein distance between the positive and negative parts of ϕ\phi. Steinerberger's conjecture. Is it true that

Wp(ϕ+,ϕ)p,(M,g)1LϕL1(M)1/p?W_p(\phi^+,\phi^- )\simeq_{p,(M,g)}\frac{1}{\sqrt{L}}\\|\phi\\|_{L^1(M)}^{1/p}?

Steinerberger proved an upper bound for p=1p=1 with an additional factor of logL\sqrt{\log L}, while this paper obtains the conjectured upper bound for p=1p=1 and for high-frequency linear combinations of eigenfunctions. The conjecture for general pp remains open in the supplied text.

Sources & referencesView supporting material

Primary source

Tom Carroll, Xavier Massaneda and Joaquim Ortega-Cerdà, “An enhanced uncertainty principle for the Vaserstein distance”, arXiv:2003.03165 (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.