Functional John ellipsoids

DOI10.1016/J.JFA.2022.109441MaRDI QIDQ2118412zbMATH OpenOpenAlexFDO

Authors Márton Naszódi, Grigory M. Ivanov

Publication date 22 March 2022

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

Copyright license Creative Commons Attribution 4.0 International

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

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)

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$.

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

Cites work

• scientific article; zbMATH DE number 46303 (Why is no real title available?)
• scientific article; zbMATH DE number 192855 (Why is no real title available?)
• scientific article; zbMATH DE number 194266 (Why is no real title available?)
• scientific article; zbMATH DE number 1149836 (Why is no real title available?)
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• scientific article; zbMATH DE number 3052220 (Why is no real title available?)
• Absolute and Unconditional Convergence in Normed Linear Spaces
• Alice and Bob Meet Banach
• Brascamp-Lieb inequality and quantitative versions of Helly's theorem
• Convex Bodies The Brunn-MinkowskiTheory
• Convex and Discrete Geometry
• Ellipsoids defined by Banach ideal norms
• Entropy and asymptotic geometry of non-symmetric convex bodies
• Geometry of isotropic convex bodies
• John's decomposition in the general case and applications
• John's decomposition of the identity in the non-convex case
• John's ellipsoid and the integral ratio of a log-concave function
• John's theorem for an arbitrary pair of convex bodies
• Proof of a conjecture of Bárány, Katchalski and Pach
• Quantitative Helly-Type Theorems
• The Santaló point of a function, and a functional form of the Santaló inequality
• The discrete yet ubiquitous theorems of Carathéodory, Helly, Sperner, Tucker, and Tverberg

Cited in

(9)

• Functional John and Löwner Conditions for Pairs of Log-Concave Functions
• Functional Löwner ellipsoids
• The Löwner function of a log-concave function
• Orlicz-John ellipsoids
• Geometric representation of classes of concave functions and duality
• Quantitative Helly-type theorems via sparse approximation
• John's ellipsoid and the integral ratio of a log-concave function
• Best approximation of functions by log-polynomials
• scientific article; zbMATH DE number 2152978 (Why is no real title available?)

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)