Metric Geometry
New submissions
[ showing up to 1000 entries per page: fewer  more ]
New submissions for Wed, 29 Mar 23
 [1] arXiv:2303.15559 [pdf, other]

Title: On the BlaschkeLebesgue theorem for the Cheeger constant via areas and perimeters of inner parallel setsAuthors: Beniamin BogoselSubjects: 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 ProblemSubjects: 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 originsymmetric convex body $K\subset\mathbb{R}^n$ there exists an $(n1)$ 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: MongeAmpère operators and valuationsAuthors: Jonas KnoerrComments: 36 pagesSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA)
Two classes of measurevalued valuations on convex functions related to MongeAmp\`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 epitranslation invariant as well as translation equivariant, is finite dimensional. Integral representations of these valuations and a description in terms of mixed MongeAmp\`ere operators are established, as well as a characterization of $\mathrm{SO}(n)$equivariant valuations in terms of Hessian measures.
Crosslists for Wed, 29 Mar 23
 [4] arXiv:2303.15537 (crosslist from math.PR) [pdf, other]

Title: Mixed volume of infinitedimensional convex compact setsAuthors: Mariia DospolovaComments: 23 pages. Published: M. K. Dospolova, Mixed volume of infinitedimensional convex compact sets, Probability and statistics. Part 32, Zap. Nauchn. Sem. POMI, 510, POMI, St. Petersburg, 2022, 98123Journalref: Probability and statistics. Part 32, Zap. Nauchn. Sem. POMI, 510, POMI, St. Petersburg, 2022, 98123Subjects: 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 infinitedimensional 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 (crosslist from math.PR) [pdf, other]

Title: Criteria for entropic curvature on graph spacesComments: 62 pages, 2 figuresSubjects: 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 LottSturmVillani 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 semigroup 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 nonnegative entropic curvature for the uniform measure. A BonnetMyers type of theorem also ensures that any such graph with positive entropic curvature is finite. On any graph space, positive entropic curvature provides transportentropy inequalities with socalled weak optimal transport costs, as well as Poincar\'e or modified logSobolev 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 semigroups 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 BakryEmery curvature conditions [7,8], Ollivier or LinLuYau's curvature [28,20].
[ showing up to 1000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2303, contact, help (Access key information)