Functional John ellipsoids

DOI10.1016/J.JFA.2022.109441zbMATH Open1497.52007arXiv2006.09934OpenAlexW4214907803MaRDI QIDQ2118412FDOQ2118412

Márton Naszódi, Grigory M. Ivanov

Publication date: 22 March 2022

Published in: Journal of Functional Analysis (Search for Journal in Brave)

Abstract: We introduce a new way of representing logarithmically concave functions on $mathbb{R}^d$. It allows us to extend the notion of the largest volume ellipsoid contained in a convex body to the setting of logarithmically concave functions as follows. For every $s>0$, we define a class of non-negative functions on $mathbb{R}^d$ derived from ellipsoids in $mathbb{R}^{d+1}$. For any log-concave function $f$ on $mathbb{R}^d$, and any fixed $s>0$, we consider functions belonging to this class, and find the one with the largest integral under the condition that it is pointwise less than or equal to $f$, and we call it the emph{jsfunction} of $f$. After establishing existence and uniqueness, we give a characterization of this function similar to the one given by John in his fundamental theorem. We find that John $s$-functions converge to characteristic functions of ellipsoids as $s$ tends to zero and to Gaussian densities as $s$ tends to infinity. As an application, we prove a quantitative Helly type result: the integral of the pointwise minimum of any family of log-concave functions is at least a constant $c_d$ multiple of the integral of the pointwise minimum of a properly chosen subfamily of size $3d+2$, where $c_d$ depends only on $d$.

Full work available at URL: https://arxiv.org/abs/2006.09934

Recommendations

• Functional Löwner ellipsoids
• John's ellipsoid and the integral ratio of a log-concave function
• The logarithmic John ellipsoid
• The Löwner function of a log-concave function
• LYZ ellipsoid and Petty projection body for log-concave functions

zbMATH Keywords

Helly type theoremJohn ellipsoidlogarithmically concave function

Mathematics Subject Classification ID

Convexity of real functions of several variables, generalizations (26B25) Inequalities and extremum problems involving convexity in convex geometry (52A40) Asymptotic theory of convex bodies (52A23) Helly-type theorems and geometric transversal theory (52A35) Measure (Gaussian, cylindrical, etc.) and integrals (Feynman, path, Fresnel, etc.) on manifolds (46T12)

Cites Work

• Title not available (Why is that?)
• Convex and Discrete Geometry
• Title not available (Why is that?)
• Entropy and asymptotic geometry of non-symmetric convex bodies
• Title not available (Why is that?)
• Title not available (Why is that?)
• Convex Bodies The Brunn-MinkowskiTheory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Absolute and Unconditional Convergence in Normed Linear Spaces
• John's decomposition in the general case and applications
• The Santaló point of a function, and a functional form of the Santaló inequality
• John's decomposition of the identity in the non-convex case
• Ellipsoids defined by Banach ideal norms
• John's theorem for an arbitrary pair of convex bodies
• BRASCAMP–LIEB INEQUALITY AND QUANTITATIVE VERSIONS OF HELLY'S THEOREM
• Quantitative Helly-Type Theorems
• Proof of a conjecture of Bárány, Katchalski and Pach
• Alice and Bob Meet Banach
• John's ellipsoid and the integral ratio of a log-concave function
• The discrete yet ubiquitous theorems of Carathéodory, Helly, Sperner, Tucker, and Tverberg

Cited In (5)

• Title not available (Why is that?)
• Orlicz-John ellipsoids
• Geometric representation of classes of concave functions and duality
• Quantitative Helly-type theorems via sparse approximation
• Best approximation of functions by log-polynomials

This page was built for publication: Functional John ellipsoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118412)