度量几何
We prove Penner's theorem on horocycles and theorems of Ptolemy and Casey, all with full converses, in hyperbolic space of several dimensions. Recently Waddle observed that the equations underpinning these three theorems are related, and it…
We present an explicit piecewise linear map from a flat Klein bottle (i.e. one that is locally isometric to the Euclidean plane) into Euclidean 3-space an that is an isometric immersion -- a path isometry that is locally injective. The…
An equidistant set in the Euclidean space consists of points having equal distances to both members of a given pair of sets, called focal sets. Since there is no effective formula to compute the distance of a point and a set, it is hard to…
We prove the non-symmetric Mahler conjecture in dimension three. More precisely, we prove the sharp lower bound \[ \mathcal P(K) \geq \frac{64}{9} \] for every convex body $K \subset \mathbb R^3$, where $\mathcal P(K)$ denotes the…
Let $B_n$ be the $n$-dimensional unit ball given by the inequality $\|x\|\leq 1$, where $\|x\|$ is the standard Euclid norm in ${\mathbb R}^n$. For an $n$-dimensional nondegenerate simplex $S$, we denote by $E$ the ellipsoid of minimum…
In this project we explore the geometry of general metric spaces, where we do not necessarily have the tools of differential geometry on our side. Some metric spaces $(X,d)$ allow us to define geodesics, permitting us to compare geodesic…
In a classical paper [20] in 2000, Lutwak-Yang-Zhang established the $L^p$ analog of the Petty projection inequality and the $L^p$ analog of the Busemann-Petty centroid inequality. In Section 7 of [20], Lutwak-Yang-Zhang proposed the…
An explicit solution to the Christoffel-Minkowski problem for convex bodies of revolution is presented. The conditions on the prescribed measure involve only first moments over spherical caps, and the support function of the resulting…
A functional analog of the Klain-Schneider theorem for vector-valued valuations on convex functions is established, providing a classification of continuous, translation covariant, simple valuations. Under additional rotation equivariance…
A polygon is equable if its area is equal to its perimeter. A pair of polygons is an amicable pair if the area of the first is equal to the perimeter of the second, and vice versa. A polygon is a lattice polygon if its vertices lie on the…
In this note, we show that the space of all $\varepsilon$-nets in the real line $\mathbb{R}$ with a natural metric, equipped with either Hausdorff or Gromov--Hausdorff distance, is contractible.
The Borsuk number $b(n)$ of $n$-dimensional Euclidean space $\mathbb{R}^n$ is the smallest integer such that any set $F \subset \mathbb{R}^n$ of unit diameter can be partitioned into $b(n)$ subsets of strictly smaller diameter. For $n=4$,…
In this article, we introduce the notion of locally uniformly d-controlling map between Lorentzian pre-length spaces which is preserving the diameters of causal diamonds, and through that we establish the coarea inequality for Lorentzian…
We establish an additive kinematic formula for the functional Minkowski vectors using mixed Monge-Amp\`ere measures. These vectors, recently introduced and characterized by the author and F. Mussnig, form a natural family of vector-valued…
In 1971, Davies proved that finitely many parallel line segments can be simultaneously fully rotated in an arbitrarily small area. In this paper we show that an even stronger statement holds: The unit square can be fully rotated in such a…
We investigate the existence of closed polylines (also known as closed polygonal chains or self-crossing polygons) that intersect each of their edges the same number of times. The most general question in this corner of combinatorial…
We prove that if a complete Riemannian surface $(\Sigma,d_\Sigma)$ is quasi-isometric to some bounded degree graph $G$, then $\Sigma$ admits a triangulation whose 1-skeleton is quasi-isometric to it when equipped with the simplicial metric.…
We prove the coarea formula for Lipschitz maps from the subriemannian $n$th Heisenberg group $\mathbb H_n$ to $\mathbb R^{2n}$. Our result is new even when $n=1$ and provides the simplest vector-valued instance of the coarea formula in…
We extend the old definition of the Apollonius circle in such a way that it results in the same curve in Euclidean geometry but will be more convenient in hyperbolic and spherical geometries. We show that there exists an Apollonius circle…
We develop a probabilistic framework for large-scale dimension bounds in metric geometry, based on padded decompositions, randomized ball carving on net graphs, and the Lov\'asz Local Lemma. For metric measure spaces with volume doubling…