Search arXiv⌕ Search

arXiv · 2610.19085

Blaschke--Santaló inequalities with respect to costs

Abstract

We study functional Blaschke--Santaló inequalities in which the inner product is replaced by a cost. An inequality on each orthant, combined with Steiner symmetrization, gives a sufficient condition for a cost inequality to hold for even convex functions. We apply this principle to a multiplicative cost defined on all orthants. Its second variation gives a weighted improvement of the Brascamp--Lieb inequality in the directions for which differentiation is justified. We also prove an $L^p$ version of the Fradelizi--Meyer theorem from a weighted volume-product inequality and derive the corresponding radial cost and Brascamp--Lieb inequalities. Explicit examples include anisotropic power and Cauchy densities, with dilation equality cases and a sharp obstruction below the coordinate exponent two. For the spherical logarithmic cost we compute an exact entropy--logdet deficit decomposition and the second-order deficit transverse to ellipsoids. We also explain the transport-entropy formulation and distinguish the restricted spectral question from the scalar $(B)$ property.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexander V. Kolesnikov, Galyna V. Livshyts, Liran Rotem. 2026-10-13. Blaschke--Santaló inequalities with respect to costs. https://arxiv.org/abs/2610.19085

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

KEEP EXPLORING

Related papers

On isoperimetric local-Bollobás-Thomason inequalities

We prove the following isoperimetric-type inequality: for every convex body $K$ in $\mathbb R^n$ and some $σ\subset[n]:=\{1,\dots,n\}$ there exists a suitable Hanner polytope $B_K$ with the same volume as $K$ and such that the volume of each of its orthogonal projections onto every subspace whose basis is formed by the canonical vectors $\{e_i:i\inτ\cup([n]\setminusσ)\}$, for every $τ\subseteqσ$, bounds from below the volume of the corresponding projections of $K$.

math.MG↗

On the Geometry of Wasserstein Barycenter II: Riemannian Rigidity, Essential Non-Branching, and Finsler Models

Wasserstein barycenters provide a notion of weighted mean for probability measures on a metric space. We prove that the barycenter curvature-dimension condition ${\rm BCD}(K,N)$ is equivalent to ${\rm RCD}(K,N)$ for $K\in \mathbb R$ and $1<N<\infty$. This gives a new characterization of Riemannian curvature-dimension spaces by entropy inequalities at barycenters of finite families of measures. As a byproduct, we introduce an almost ${\rm BCD}$ condition that allows an additive error in the entropy inequality. It is stable under measured Gromov-Hausdorff convergence and implies essential non-branching when the error is sufficiently small. The resulting class contains non-Riemannian Finsler spaces. Within the ${\rm BCD}$ framework, this answers an open problem posed by Ambrosio in his 2018 ICM survey. We further bound the failure of the parallelogram identity for cotangent norms in terms of the entropy error.

math.MG↗

On Densities in the Erdős-Falconer Distance Problems over the Integers

Motivated by the classical Erdős and Falconer distance problems and Magyar's work on distance sets in $\mathbb Z^d$, we study discrete analogues of the Erdős-Falconer unpinned and pinned distance problems over the integers. We ask how the discrete Hausdorff dimension of a set $A\subseteq\mathbb Z^d$ influences the size of its squared-distance sets, measured by generalized upper natural density and upper discrete mass dimension. We propose conjectures for both problems and prove the unpinned conjecture in dimensions $d=1,2,3$ and the pinned conjecture in dimensions $d=1,2$. For the unpinned problem in higher dimensions, we obtain explicit lower bounds for the dimensions of distance sets using elementary integer sphere counting, results on the Erdős distinct distances problem, and $\ell^p$-improving inequalities for discrete spherical averages. For the pinned problem, we obtain lower bounds for the dimensions of distance sets for some or every pin. We also establish more general results involving upper discrete mass dimension, upper discrete Banach dimension, and affine dimension, including bounds on the affine dimension of the exceptional set of pins. We construct examples showing that both conjectures are sharp in low dimensions. Further examples demonstrate how the distinctions among discrete Hausdorff dimension, upper discrete mass dimension, and upper discrete Banach dimension lead to different phenomena in the unpinned and pinned distance problems, including limitations on the nontrivial upper bounds these dimensions can provide for the dimensions of distance sets.

math.MG↗