Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.39252

Functional inequalities along Wasserstein geodesics

Nathael Gozlan·Hugo Malamut·Irène Waldspurger
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study functional inequalities along Wasserstein geodesics. If $μ$ 0 and $μ$ 1 are respectively $κ$ 0 -and $κ$ 1 -strongly log-concave probability measures on R n , we prove that their quadratic Wasserstein geodesic satisfies for all probability measures $ν$ on R n . The coefficient is sharp. By linearization, this recovers the Poincar{é} estimate of Han and Zhu [15]. On the real line, we prove convexity of the square roots of the optimal T 1 and T 2 constants along monotone interpolation between arbitrary probability measures. The argument applies to more general transport entropy inequalities. We also establish convexity of the rescaled L p Poincar{é} constants for every finite p $\ge$ 1, including the square root of the Poincar{é} constant and the inverse Cheeger constant. Finally, we construct a planar Wasserstein geodesic whose endpoints satisfy T 2 and all finite-p L p -Poincar{é} inequalities, whereas every interior interpolant fails these inequalities.

Explore related subjects

math.FAmath.PR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nathael Gozlan, Hugo Malamut, Irène Waldspurger. 2026-09-30. Functional inequalities along Wasserstein geodesics. https://arxiv.org/abs/2609.39252

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Mixed Bourgain-Morrey spaces and their applications to boundedness of operators

We introduce the mixed Bourgain-Morrey spaces and obtain their preduals. The boundedness of Hardy-Littlewood maximal operator, iterated maximal operator, fractional integral operator, singular integral operator on these spaces is proved. In addition, we give a description of the dual of mixed Bourgain-Morrey spaces and conclude the reflexivity of these spaces.

math.FA↗
arXiv2026

The stability landscape in wave-packet scattering: geometric rigidity and sharp Sobolev thresholds

A central problem in harmonic analysis is to understand how frequency resolution constrains stability under nonlinear changes of coordinates. Motivated by Mallat's wavelet scattering theory, we establish a sharp resolution--robustness principle for nonlinear representations built from two-dimensional wave-packet systems, showing that the transverse geometry of the frequency channels determines the critical Sobolev regularity. Whenever the channels are thinner than in the wavelet regime, arbitrarily small smooth deformations can move high-frequency mass between adjacent channels, producing instability already at the level of the linear filter bank and the first scattering layer. We match this obstruction with scale-sharp commutator estimates propagated through the full scattering cascade, obtaining Lipschitz stability at the critical regularity threshold. Together, the results provide the first intrinsic deformation-stability theory for non-wavelet Euclidean scattering transforms and identify a microlocal transport mechanism governing robustness across nonlinear multiscale representations.

math.FA↗
arXiv2026

Unbounded Helson Forms with a Moment Representation

We study the positive Helson form $h_0[a,b]=\sum_{m,n\ge1}α(mn)a_n\overline{b_m}$ on the finitely supported sequences $c_{00}\subset\ell^2(\mathbb{N})$, where $α(n)=\int_{\mathbb{R}}n^{-s}dμ(s)<\infty$ for a finite positive Borel measure $μ$. Under the Carleman condition $\sum_{k\ge1}α(4^k)^{-1/(2k)}=\infty$, closability of $h_0$ is equivalent to $\sqrt{n}α(n)\to0$, and hence to $μ((-\infty,1/2])=0$. For measures concentrated on $(1/2,\infty)$, we identify the closure of the operator $N_0a=\sum_{n\ge1}a_nn^{-s}$, defined on $c_{00}$, with its maximal realization from $\ell^2(\mathbb{N})$ to $L^2(μ)$. We further prove that the sequences $a\in c_{00}$ satisfying $\sum_{n\ge1}a_n/\sqrt{n}=0$ form an operator core for the positive self-adjoint operator associated with the closure of $h_0$.

math.FA↗