arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2611.03295

A height transportation approach to the quantitative Prékopa--Leindler inequality

João Miguel Machado·João P. G. Ramos
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give a new, simpler proof of sharp stability for the Prékopa--Leindler inequality. In contrast to the main arguments from Figalli, van Hintum and Tiba~\cite{FigalliVanHintumTibaPL}, our proof hinges mostly on the sharp stability theory for the Brunn--Minkowski problem, developed by the same authors \cite{figalli2024BM}, and on the idea of using a height transportation approach in order to match level sets. As a by-product of our techniques, we are able to prove the sharp dependency on $τ= \min\{λ,1-λ\}$ in the Prékopa--Leindler stability constant whenever one of the inputs is logarithmically concave, producing a new, simplified proof of two of the main results from~\cite{FigalliVanHintumTibaPL}. Finally, in the same fashion as Kristály and Pîrvuceanu \cite{kristaly2026quantitative}, we are able to obtain new stability results for the Bakry-Emery log-Sobolev inequality and for the Talagrand inequality. Due to the sharpness of the inputs, these results are optimal in terms of exponents. We moreover show that the $L^1$ nature of the distance in such results \emph{cannot} in general be improved to any other $L^p$ distance, where $p>1.$

Explore related subjects

math.FAmath.APmath.PR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

João Miguel Machado, João P. G. Ramos. 2026-11-02. A height transportation approach to the quantitative Prékopa--Leindler inequality. https://arxiv.org/abs/2611.03295

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

KEEP EXPLORING

Related papers

arXiv2026

O-segments on topological measure spaces

Let $μ$ be a finite non-atomic measure on a set $X$. A \emph{segment} for $μ$ is an increasing family $u(t)$, $t\in[0,1]$, of measurable sets with $u(0)=\emptyset$, $u(1)=X$ and $μ(u(t))=t\,μ(X)$; by a theorem of Fryszkowski, finitely many measures $f\,dμ$ admit a common segment. We study \emph{open segments}, i.e.\ segments consisting of open sets, when $X$ carries a topology. We show that weak outer regularity of $μ$ is equivalent to the approximability of measurable sets by open sets, and that it holds for every finite Borel measure on a metrizable space. Our main result states that if $μ$ is finite, non-atomic and weakly outer regular, then for all $f,g\in L^1(μ)$ with $(\int f\,dμ,\int g\,dμ)\neq(0,0)$ there is a common open segment for $f\,dμ$ and $g\,dμ$; in particular, for every $f\in L^1(μ)$ there is an open segment for $μ$ which is simultaneously a segment for $f\,dμ$. Relative versions allow one to prescribe an initial set. We also characterize open segments as upper semicontinuous functions with uniform distribution and show that on separable metrizable spaces a single measure admits such a function which is continuous.

math.FA↗
arXiv2026

A Note On Majorizing Norms on Majorized Spaces

We introduce a new type of norm for ordered vector spaces majorized by a proper (convex) cone that generalizes the notions of order unit norm and base norm. Then we give sufficient conditions to ensure its completeness. In the case of normed Riesz spaces, we also present necessary completeness conditions and describe the completed norm. Finally, we define a particular family of well-behaving sets. Spaces majorized by the cone generated by these sets display surprisingly interesting structural properties. In particular, we generalize two famous standard results in Banach lattice theory. Namely, every principal ideal in a Banach lattice is an AM-space and every Banach lattice having a generating cone with a compact base admits an equivalent L-norm.

math.FA↗
arXiv2026

The Cesàro Operator, Rhaly operators, and the Toeplitz Algebra

Barr\'ıa and Halmos [\emph{Trans. Amer. Math. Soc.} (1982), (10) Example] asked whether the Cesàro operator belongs to the Toeplitz algebra. We answer this question affirmatively and prove that the Cesàro operator is the product of a Toeplitz operator and a continuous function of a self-adjoint Toeplitz operator. Rhaly operators are a natural generalization of the Cesàro operator. We give necessary and sufficient conditions for a Rhaly operator to belong to the Toeplitz algebra or the Hankel algebra. The main approach is to use the Fejér kernels to get localized estimates for operators. This yields a necessary condition for an operator to belong to the Hankel algebra. As an application, we find a class of Rhaly operators that are asymptotic Toeplitz operators and essentially commute with the unilateral shift, but are not in the Hankel algebra. This answers (17) Question in the same paper.

math.FA↗