Milman's Gaussian spectral conjecture under the CD condition

From papers

Let dd be a positive integer, let (Rd,g,μ)(\mathbb{R}^d,g,\mu) satisfy the curvature-dimension condition CD(ρ,)\operatorname{CD}(\rho,\infty) for some ρ>0\rho>0, and let λk(Rd,g,μ)\lambda_k(\mathbb{R}^d,g,\mu) denote the kkth eigenvalue in the associated weighted spectral problem. Define the centered Gaussian probability measure by

γρd(dx)=cρdeρx2/2dx,\gamma_\rho^d(\mathrm{d}x)=c_\rho^d e^{-\rho|x|^2/2}\,\mathrm{d}x,

where cρd>0c_\rho^d>0 is a normalization constant. Milman's Gaussian spectral conjecture. For every k1k\geq 1,

λk(Rd,g,μ)λk(Rd,,γρd).\lambda_k(\mathbb{R}^d,g,\mu)\geq\lambda_k(\mathbb{R}^d,|\cdot|,\gamma_\rho^d).

This is the infinite-dimensional-model analogue in Euclidean space of the spherical spectral comparison conjecture. The supplied text gives no evidence that this claim has been resolved.

Progress summary

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

Sources & referencesView supporting material

Primary source

Shrey Aryan, “Spectral Obstructions to Contracting Transport Maps on Curved Spaces”, arXiv:2605.24705 (2026).

Solutions 0

No solutions have been posted yet.