Sharp Poincaré Interpolation Along Wasserstein Geodesics

Abstract

We prove a sharp interpolation inequality for the Poincaré constant along quadratic Wasserstein geodesics. Let $\hat{I}{¼}_i$, $i=0,1$, be $\hat{I}{º}_i$-strongly log-concave probability measures on ${\mathbb{R}}^n$, and let $(\hat{I}{¼}_t{)}_{t\in [0,1]}$ be their optimal displacement interpolation. Then \[ \sqrt{C_P(μ_t)} \leq \frac{1-t}{\sqrt{κ_0}} + \frac{t}{\sqrt{κ_1}}. \] This estimate is optimal for every $t,\hat{I}{º}_0,\hat{I}{º}_1$, holds for all test functions without symmetry assumptions, and remains valid for extended-valued potentials. We also characterize equality at an interior time: it holds if and only if the two endpoints split off curvature-saturating Gaussian factors in a common direction. The equality directions form the maximal subspace on which both endpoints have the corresponding Gaussian factors. As a special case, we resolve a question of Aishwarya and Rotem concerning odd functions along optimal interpolations between even strongly log-concave measures. The proof uses a two-endpoint Bochner method, which is also one of the most important contribution at the methodological level: it converts curvature information available only at the endpoints directly into a sharp spectral estimate along the connecting geodesic, bypassing the generally inaccessible curvature of the intermediate measures.