Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.16904

Exponential profiles for the intrinsic volumes of Orlicz balls

Mykyta Sadok
View original source ↗Read source document ↗Export metadata ↓

Abstract

An Orlicz ball is the set of points where the sum of a fixed even convex function of the coordinates does not exceed a given radius, here proportional to the dimension. For a broad class of such functions, including non-homogeneous ones, we find the exponential rate of the intrinsic volumes whose order is proportional to the dimension and express it by a two-parameter variational formula involving only one-dimensional integrals. As a function of the order-to-dimension ratio, this rate is concave and continuous on the closed unit interval, and the convergence is uniform in the order. This proves the exponential-profile conjecture of Kabluchko, Marynych, and Prochno for these bodies and recovers their result for $\ell_p$ balls with $p>1$. The proof relies on the theory of large deviations. An exact formula for the Laplace transform of the intrinsic volumes in the radius, extending theirs for $\ell_p$ balls, plays the role of a moment generating function, and a Laplace method gives its exponential rate. An exponential change of measure, analogous to that used in Cramér's theorem, then recovers the intrinsic volumes. The key step is a lower bound on the tilted density at its mean, obtained from log-concavity rather than a law of large numbers.

Explore related subjects

math.MGmath.PR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mykyta Sadok. 2026-10-12. Exponential profiles for the intrinsic volumes of Orlicz balls. https://arxiv.org/abs/2610.16904

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

KEEP EXPLORING

Related papers

arXiv2026

Simultaneous random polytope approximation characterizes the Euclidean ball

In this work, we present a new geometric characterization of the Euclidean ball based on approximation by random polytopes. We investigate when a single boundary sampling density is asymptotically optimal for two random polytope approximation problems, and show that for a convex body in $\R^d$ with $C^2$ boundary and everywhere positive principal curvatures, one fixed density minimizes the leading expected errors for any two distinct intrinsic volume differences of inscribed random polytopes if and only if the body is a Euclidean ball. We show that an analogous characterization holds for the volume and mean width differences of circumscribed random polytopes, and that uniform sampling gives the converse statement in both models. We also determine the unique density minimizing the average of two normalized leading errors, and obtain an explicit positive gap for every nonball. The proofs combine classical random polytope asymptotics, Hölder's inequality, and a curvature rigidity argument based on the Hsiung--Minkowski identities and Newton--Maclaurin inequalities.

math.MG↗
arXiv2026

Non-smooth sub-Riemannian manifolds with non-integer dimension and a Poincaré inequality

For every integer $d\geq 3$ and real number $Q\in \left(d,\frac{d(d-1)+2}{2}\right]$, we construct a $Q$-Ahlfors regular metric measure manifold $(M,\mathbf{d},μ)$ of topological dimension $d$ and analytic dimension $2$ that satisfies a Poincaré inequality. For every $Q>\frac{d(d-1)+2}{2}$, the construction yields a metric measure manifold $(M,\mathbf{d},μ)$ that is doubling, satisfies a Poincaré inequality, and for which $M$ has $μ$-essential Hausdorff dimension $Q$. The manifold is $\mathbb{R}^d$ equipped with Lebesgue measure and a sub-Riemannian distance given by vector fields that are locally Hölder continuous but not Lipschitz continuous. These metrics give an uncountable family of new models that are genuinely distinct from the only known families of metric manifolds satisfying a Poincaré inequality: weighted and deformed Carnot groups and smooth sub-Riemannian spaces. The construction is modeled on a singular variant of a filiform Carnot group.

math.MG↗
arXiv2026

Geometry and barycenters in large $\CAT(κ)$ spaces

We study the geometry and resulting properties of Fréchet functions and barycenters in metric spaces with curvature bounded above by a positive constant in the sense of Alexandrov. Existing results typically rely on the assumption that the support is small enough that the squared distance, and thus the Fréchet function, is strongly geodesically convex. We work in the sharper regime where existence and uniqueness of the barycenter are guaranteed, but where convexity typically fails. We develop new geometric properties of these spaces, including a quantitative four-point inequality and a geodesic stability result. Using these tools, we establish new finite sample error bounds for two statistical estimators: the empirical barycenter and the iterated barycenter, as well as new results on sparse representations and approximations of barycenters.

math.MG↗