Metric Geometry

2024-12-03 | | Total: 11

#1 Planar radial mean bodies are convex [PDF] [Copy] [Kimi] [REL]

Author: J. Haddad

The radial mean bodies of parameter $p>-1$ of a convex body $K \subseteq \mathbb R^n$ are radial sets introduced in \cite{GZ98} by Gardner and Zhang. They are known to be convex for $p\geq 0$. We prove that if $K \subseteq \mathbb R^2$ is a convex body, then its radial mean body of parameter $p$ is convex for every $p \in (-1,0)$.

Subject: Metric Geometry

Publish: 2024-12-02 13:20:27 UTC


#2 From spherical separation center set to the upper and lower bound theorem [PDF] [Copy] [Kimi] [REL]

Author: Huhe Han

In this paper, we provide the upper bound and the lower bound of the sum of the number of spherical face-partition pair of simple spherical polytope $P$ with $p$ facets.

Subjects: Metric Geometry , Combinatorics

Publish: 2024-12-02 11:32:36 UTC


#3 On generalized metrics of Vandermonde type [PDF] [Copy] [Kimi] [REL]

Author: Wolf-Jürgen Beyn

In a series of papers in the 1960's, S. Gähler defined and investigated so-called m-metric spaces and their topological properties. An m-metric assigns to any tuple of m+1 elements a real value (more generally an element in a partially odered set) which satisfies the generalized metric axioms of semidefiniteness, symmetry, and simplex inequality. In this contribution we consider a new type of generalized metric which is based on the Vandermonde determinant. We present some remarkable geometric consequences of the corresponding simplex inequality in the complex plane. Then we show that the Vandermonde principle of construction extends to linear spaces of arbitrary dimension by using symmetric multilinear maps of degree m(m + 1)/2. In particular, we analyze when this generalized metrics has the stronger property of definiteness. Finally, an application is provided to the m-metric of point sets when driven by the same linear ordinary differential equation.

Subject: Metric Geometry

Publish: 2024-12-02 10:07:43 UTC


#4 On the geometry of Wasserstein barycenter I [PDF] [Copy] [Kimi] [REL]

Authors: Bang-Xian Han, Dengyu Liu, Zhuonan Zhu

We study the Wasserstein barycenter problem in the setting of non-compact, non-smooth extended metric measure spaces. We introduce a couple of new concepts and obtain the existence, uniqueness, absolute continuity of the Wasserstein barycenter, and prove Jensen's inequality in an abstract framework. This generalized several results on Euclidean space, Riemannian manifolds and Alexandrov spaces, to metric measure spaces satisfying Riemannian Curvature-Dimension condition à la Lott--Sturm--Villani, and some extended metric measure spaces including abstract Wiener spaces and configuration spaces over Riemannian manifolds. We also introduce a new curvature-dimesion condition, we call Barycenter-Curvature-Dimension condition {\rm BCD}. We prove its stability under measured-Gromov--Hausdorff convergence and prove the existence of the Wasserstein barycenter under this new condition. In addition, we get some geometric inequalities including a multi-marginal Brunn--Minkowski inequality and a functional Blaschke--Santaló type inequality.

Subjects: Metric Geometry , Functional Analysis , Probability

Publish: 2024-12-02 06:48:42 UTC


#5 Variations on five-dimensional sphere packings [PDF] [Copy] [Kimi] [REL]

Authors: Henry Cohn, Isaac Rajagopal

We analyze Szöllősi's recent construction of a five-dimensional kissing configuration and produce a new such configuration, the fourth to be discovered. We construct five-dimensional sphere packings from these configurations, which augment Conway and Sloane's list of conjecturally optimal packings, and we also construct a new kissing configuration in nine dimensions. None of these constructions improves on the known records, but they provide geometrically distinct constructions achieving these records.

Subjects: Metric Geometry , Combinatorics

Publish: 2024-12-01 19:03:05 UTC


#6 Hölder equivalence of a class of Barański carpets [PDF] [Copy] [Kimi] [REL]

Authors: Yunjie Zhu, Liang-yi Huang

The study of Lipschitz equivalence of fractals is a very active topic in recent years, but there are very few results on non-totally disconnected fractals. In this paper, we use a class of finite state automata, called feasible $\Sigma$-automata, to construct pseudo-metric spaces, and then apply them to the classification of self-affine sets. We first recall a notion of neighbor automaton, and we show that an neighbor automaton satisfying the finite type condition is a feasible $\Sigma$-automaton. Secondly, we construct a universal map to show that pseudo-metric spaces induced by different automata can be bi-Lipschitz equivalent. As an application, we obtain a rather general sufficient condition for Barański carpets to be Lipschitz equivalent.

Subjects: Metric Geometry , Formal Languages and Automata Theory , Geometric Topology

Publish: 2024-12-01 06:27:56 UTC


#7 On Nearly Optimal Paper Moebius Bands [PDF] [Copy] [Kimi] [REL]

Author: Richard Evan Schwartz

Let $\epsilon<1/384$ and let $\Omega$ be a smooth embedded paper Moebius band of aspect ratio less than $\sqrt 3 + \epsilon$. We prove that $\Omega$ is within Hausdorff distance $18 \sqrt \epsilon$ of an equilateral triangle of perimeter $2 \sqrt 3$. This is an effective and fairly sharp version of our recent theorems in [{\bf S0\/}] about the optimal paper Moebius band.

Subject: Metric Geometry

Publish: 2024-11-30 19:55:58 UTC


#8 Circle bundles with PSC over some four manifolds [PDF] [Copy] [Kimi] [REL]

Authors: Aditya Kumar, Balarka Sen

We construct infinitely many examples of four manifolds with macroscopic dimension 4 equipped with circle bundles whose total spaces admit metrics of positive scalar curvature. Further, we verify that these bundles have macroscopic dimension at most 3. Our constructions are based on techniques from symplectic geometry.

Subjects: Differential Geometry , Metric Geometry , Symplectic Geometry

Publish: 2024-12-02 02:07:04 UTC


#9 On weakly $1$-convex and weakly $1$-semiconvex sets [PDF] [Copy] [Kimi] [REL]

Author: Tetiana M. Osipchuk

The present work concerns generalized convex sets in the real multi-dimensional Euclidean space, known as weakly $1$-convex and weakly $1$-semiconvex sets. An open set is called weakly $1$-convex (weakly $1$-semiconvex) if, through every boundary point of the set, there passes a straight line (a closed ray) not intersecting the set. A closed set is called weakly $1$-convex (weakly $1$-semiconvex) if it is approximated from the outside by a family of open weakly $1$-convex (weakly $1$-semiconvex) sets. A point of the complement of a set to the whole space is a $1$-nonconvexity ($1$-nonsemiconvexity) point of the set if every straight line passing through the point (every ray emanating from the point) intersects the set. It is proved that if the collection of all $1$-nonconvexity ($1$-nonsemiconvexity) points corresponding to an open weakly $1$-convex (weakly $1$-semiconvex) set is non-empty, then it is open. It is also proved that the non-empty interior of a closed weakly $1$-convex (weakly $1$-semiconvex) set in the space is weakly $1$-convex (weakly $1$-semiconvex).

Subjects: General Topology , Metric Geometry

Publish: 2024-12-02 00:41:56 UTC


#10 Relative simplicity of the universal coverings of transformation groups and Tsuboi's metric [PDF] [Copy] [Kimi] [REL]

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Hiroki Kodama, Yoshifumi Matsuda, Takahiro Matsushita, Ryuma Orita

Many transformation groups on manifolds are simple, but their universal coverings are not. In the present paper, we study the concept of relatively simple group, that is, a group with the maximum proper normal subgroup. We show that many examples of universal coverings of transformation groups are relatively simple, including the universal covering $\widetilde{\mathrm{Ham}}(M,\omega)$ of the group of Hamiltonian diffeomorphisms of a closed symplectic manifold $(M,\omega)$. Tsuboi constructed a metric space $\mathcal{M}(G)$ for a simple group $G$. We generalize his construction to relatively simple groups, and study their large scale geometric structure. In particular, Tsuboi's metric space of $\widetilde{\mathrm{Ham}}(M, \omega)$ is not quasi-isometric to the half line for every closed symplectic manifold $(M,\omega)$.

Subjects: Group Theory , General Topology , Geometric Topology , Metric Geometry , Symplectic Geometry

Publish: 2024-12-01 15:01:21 UTC


#11 The Hexagonal Tiling Honeycomb [PDF] [Copy] [Kimi] [REL]

Author: John C. Baez

The hexagonal tiling honeycomb is a beautiful structure in 3-dimensional hyperbolic space. It is called {6,3,3} because each hexagon has 6 edges, 3 hexagons meet at each vertex in a Euclidean plane tiled by regular hexagons, and 3 such planes meet along each edge of this honeycomb. It also appears naturally in algebraic geometry. If $\mathbb{E}$ denotes the Eisenstein integers, the Néron-Severi group of the abelian surface $\mathbb{C}^2/\mathbb{E}^2$ is isomorphic to the lattice $\mathfrak{h}_2(\mathbb{E})$ consisting of $2 \times 2$ hermitian matrices with Eisenstein integer entries. The points $A \in \mathfrak{h}_2(\mathbb{E})$ with $\mathrm{tr}(A) \gt 0$ and $\det(A) \gt 0$ come from ample line bundles on $\mathbb{C}^2/\mathbb{E}^2$, and among these points, those with $\det(A) = 1$ correspond to principal polarizations. But these points are precisely the centers of the hexagons in the hexagonal tiling honeycomb!

Subjects: History and Overview , Algebraic Geometry , Metric Geometry

Publish: 2024-11-23 23:45:44 UTC