Metric Geometry

New submissions

• New submissions
• Cross-lists

New submissions for Wed, 29 Mar 23

[1]  arXiv:2303.15559 [pdf, other]

Title: On the Blaschke-Lebesgue theorem for the Cheeger constant via areas and perimeters of inner parallel sets

Authors: Beniamin Bogosel

Subjects: Metric Geometry (math.MG); Optimization and Control (math.OC)

The first main result presented in the paper shows that the perimeters of inner parallel sets of planar shapes having a given constant width are minimal for the Reuleaux triangles. This implies that the areas of inner parallel sets and, consequently, the inverse of the Cheeger constant are also minimal for the Reuleaux triangles. Proofs use elementary geometry arguments and are based on direct comparisons between general constant width shapes and the Reuleaux triangle.

[2]  arXiv:2303.15976 [pdf, ps, other]

Title: Polynomial Bounds in Koldobsky's Discrete Slicing Problem

Authors: Ansgar Freyer, Martin Henk

Subjects: Metric Geometry (math.MG)

In 2013, Koldobsky posed the problem to find a constant $d_n$, depending only on the dimension $n$, such that for any origin-symmetric convex body $K\subset\mathbb{R}^n$ there exists an $(n-1)$ dimensional linear subspace $H\subset\mathbb{R}^n$ with
\[
|K\cap\mathbb{Z}^n| \leq d_n\,|K\cap H\cap \mathbb{Z}^n|\,\mathrm{vol}(K)^{\frac 1n}.
\] In this article we show that $d_n$ is bounded from above by $c\,n^2\,\omega(n)$, where $c$ is an absolute constant and $\omega(n)$ is the flatness constant. Due to the best known upper bound on $\omega(n)$ this gives a ${c\,n^{10/3}\log(n)^a}$ bound on $d_n$ where $a$ is another absolute constant. This bound improves on former bounds which were exponential in the dimension.

[3]  arXiv:2303.16000 [pdf, ps, other]

Title: Monge-Ampère operators and valuations

Authors: Jonas Knoerr

Comments: 36 pages

Subjects: Metric Geometry (math.MG); Functional Analysis (math.FA)

Two classes of measure-valued valuations on convex functions related to Monge-Amp\`ere operators are investigated and classified. It is shown that the space of all valuations with values in the space of complex Radon measures on $\mathbb{R}^n$ that are locally determined, continuous, dually epi-translation invariant as well as translation equivariant, is finite dimensional. Integral representations of these valuations and a description in terms of mixed Monge-Amp\`ere operators are established, as well as a characterization of $\mathrm{SO}(n)$-equivariant valuations in terms of Hessian measures.

Cross-lists for Wed, 29 Mar 23

[4]  arXiv:2303.15537 (cross-list from math.PR) [pdf, other]

Title: Mixed volume of infinite-dimensional convex compact sets

Authors: Mariia Dospolova

Comments: 23 pages. Published: M. K. Dospolova, Mixed volume of infinite-dimensional convex compact sets, Probability and statistics. Part 32, Zap. Nauchn. Sem. POMI, 510, POMI, St. Petersburg, 2022, 98-123

Journal-ref: Probability and statistics. Part 32, Zap. Nauchn. Sem. POMI, 510, POMI, St. Petersburg, 2022, 98-123

Subjects: Probability (math.PR); Metric Geometry (math.MG)

Let $K$ be a convex compact $GB$-subset of a separable Hilbert space $H$. Denote by $\mathrm{Spec}_k K$ the set $\{(\xi_1(h), \ldots, \xi_k(h))\colon h\in K\}\subset \mathbb{R}^k,$ where $\xi_1, \ldots, \xi_k$ are independent copies of the isonormal Gaussian process on $H$. Tsirelson showed that in this case the intrinsic volumes of $K$ satisfy the relation \begin{equation*} V_k(K)= \frac{(2\pi)^{k/2}}{k!\kappa_k} \mathbf{E}\,\mathrm{Vol}_k(\mathrm{Spec}_k K). \end{equation*} Here, $\mathbf{E} \ \mathrm{Vol}_k(\mathrm{Spec}_k K)$ is the mean volume of $\mathrm{Spec}_k K$ and $\kappa_k$ is the volume of the $k$-dimensional unit ball. In this work, we generalize Tsirelson's theorem to the mixed volumes of the infinite-dimensional convex compact $GB$-subsets of $H$, first introducing this notion. Moreover, using the obtained result we compute the mixed volume of the closed convex hulls of the two orthogonal Wiener spirals.

[5]  arXiv:2303.15874 (cross-list from math.PR) [pdf, other]

Title: Criteria for entropic curvature on graph spaces

Authors: Martin Rapaport, Paul-Marie Samson

Comments: 62 pages, 2 figures

Subjects: Probability (math.PR); Functional Analysis (math.FA); Metric Geometry (math.MG)

This paper presents local criteria for lower bounds on entropic curvature of graph spaces along Schr\"odinger bridges at zero temperature, according to the definition given by the second named author in [31], in the continuity of the work by C. L\'eonard [19] inspired by the Lott-Sturm-Villani theory. A graph space is defined as a quadruple $(\mathcal{X},d,L,m)$ where $\mathcal{X}$ is the set of vertices, $d$ is the combinatorial distance and $m$ is a reversible reference measure with respect to a generator $L$ of a Markov semi-group on $\mathcal{X}$. The criteria are given by local optimization problems on balls of radius two, depending only on the generator $L$ and on the discrete structure of these balls. General tensorization properties of the criteria are presented for the study of the Cartesian product of graphs. This approach is robust since it applies to a wide range of graph spaces and also for any measure $m$, including measures with interaction potential like Ising models. We introduce a very large class of structured graphs, for which the local criteria give non-negative entropic curvature for the uniform measure. A Bonnet-Myers type of theorem also ensures that any such graph with positive entropic curvature is finite. On any graph space, positive entropic curvature provides transport-entropy inequalities with so-called weak optimal transport costs, as well as Poincar\'e or modified log-Sobolev inequalities for the renormalized probability measure $\mu = m/m(\mathcal{X})$. These inequalities are related to refined concentration properties of the measure $\mu$, speed of convergence of semi-groups to the measure $\mu$. We also present examples of graphs with negative curvature. Some comparisons of our results with other notions of curvature are established, such as Bakry-Emery curvature conditions [7,8], Ollivier or Lin-Lu-Yau's curvature [28,20].

• New submissions
• Cross-lists