度量几何

We show that the Grothendieck group associated to integral polytopes in $\mathbb{R}^n$ is free-abelian by providing an explicit basis. Moreover, we identify the involution on this polytope group given by reflection about the origin as a sum…

The Apollonian circle packing, generated from three mutually-tangent circles in the plane, has inspired over the past half-century the study of other classes of space-filling packings, both in two and in higher dimensions. Recently,…

We have discovered a "little" gap in our proof of the sharp conjecture that in $\mathbb{R}^n$ with volume and perimeter densities $r^m$ and $r^k$, balls about the origin are uniquely isoperimetric if $0 < m \leq k - k/(n+k-1)$, that is, if…

It is well-known that global hyperbolicity implies that the Lorentzian distance is finite and continuous. By carefully analysing the causes of discontinuity of the Lorentzian distance, we show that in most other respects the finiteness and…

For a connected locally path-connected topological space $X$ and a continuous function $f$ on it such that its Reeb graph $R_f$ is a finite topological graph, we show that the cycle rank of $R_f$, i.e., the first Betti number $b_1(R_f)$, in…

Using previous results about shadow systems and Steiner symmetrization, we prove that the local maximizers of the volume product of convex bodies are actually the global maximizers, that is: ellipsoids.

A pseudo-edge graph of a convex polyhedron K is a 3-connected embedded graph in K whose vertices coincide with those of K, whose edges are distance minimizing geodesics, and whose faces are convex. We construct a convex polyhedron K in…

The spherical centroid body of a centrally-symmetric convex body in the Euclidean unit sphere is introduced. Two alternative definitions - one geometric, the other probabilistic in nature - are given and shown to lead to the same objects.…

How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that…

We study the octahedral configurations $O_6$ of six equal cylinders touching the unit sphere. We show that the configuration $O_6$ is a local sharp maximum of the distance function. Thus it is not unlockable and, moreover, rigid.

In the setting of step two Carnot groups, we show a "cone property" for horizontally convex sets. Namely we prove that, given a horizontally convex set $C$, a pair of points $P\in \partial C$ and $Q\in $ int $C$, both belonging to a…

We construct a geodesic net in the plane with four unbalanced (boundary) vertices that has 16 balanced vertices and does not contain proper geodesic subnets. This is the first example of an irreducible geodesic net in the Euclidean plane…

We prove that a geodesic net with three boundary (= unbalanced) vertices on a non-positively curved plane has at most one balanced vertex. We do not assume any a priori bound for the degrees of unbalanced vertices. The result seems to be…

M. Gromov introduced the Lipschitz order relation on the set of metric measure spaces and developed a rich theory. In particular, he claimed that an isoperimetric inequality on a non-discrete space is represented by using the Lipschitz…

Let $X$ be a Banach space or more generally a complete metric space admitting a conical geodesic bicombing. We prove that every closed $L$-Lipschitz curve $\gamma:S^1\rightarrow X$ may be extended to an $L$-Lipschitz map defined on the…

In this paper, we discuss some dimension results for triangle sets of compact sets in $\mathbb{R}^2$. In particular, we prove that for any compact set $F$ in $\mathbb{R}^2$, the triangle set $\Delta(F)$ satisfies \[ \dim_{\mathrm{A}}…

Using the duality of metric currents and polylipschitz forms, we show that a BLD-mapping $f\colon X\to Y$ between oriented cohomology manifolds $X$ and $Y$ induces a pull-back operator $f^\ast \colon M_{k,loc}(Y) \to M_{k,loc}(X)$ between…

We show that if $0<t<s\leq n-1$, $\Omega\subseteq \mathbb{R}^{n}$ with lower $s$-content regular complement, and $z\in \Omega$, there is a chord-arc domain $\Omega_{z}\subseteq \Omega $ with center $z$ so that…

Let $n\geq C$ for a large universal constant $C>0$, and let $B$ be a convex body in $R^n$ such that for any $(x_1,x_2,\dots,x_n)\in B$, any choice of signs $\varepsilon_1,\varepsilon_2,\dots,\varepsilon_n\in\{-1,1\}$ and for any permutation…

We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not…