度量几何
Can the entire plane be paved with a single tile that forces aperiodicity? This is known as the ein Stein problem (in German, ein Stein means one tile). This paper presents an aperiodic monotile for the tiler. It is based on the monotile…
We show that if $(X,d)$ is a metric space which admits a consistent convex geodesic bicombing, then we can construct a conical bicombing on $CB(X)$, the hyperspace of nonempty, closed, bounded, and convex subsets of $X$ (with the Hausdorff…
Given a finite set of points $S\subset\mathbb{R}^d$, a $k$-set of $S$ is a subset $A \subset S$ of size $k$ which can be strictly separated from $S \setminus A $ by a hyperplane. Similarly, a $k$-facet of a point set $S$ in general position…
An arrangement of hyperplanes is strongly inscribable if it has an inscribed (or ideal hyperbolic) zonotope. We characterize inscribed zonotopes and prove that the family of strongly inscribable arrangements is closed under restriction and…
A subset of a Carnot group is said to be precisely monotone if the restriction of its characteristic function to each integral curve of every left-invariant horizontal vector field is monotone. Equivalently, a precisely monotone set is a…
The aim of this paper is to show the existence of a canonical distance $\mathsf d'$ defined on a locally Minkowski metric measure space $(\mathsf X,\mathsf d,\mathfrak m)$ such that: i) $\mathsf d'$ is equivalent to $\mathsf d$, ii)…
We extend the notion of Ulam floating sets from convex bodies to Ulam floating functions. We use the Ulam floating functions to derive a new variational formula for the affine surface area of log-concave functions.
Given a Lipschitz map $f$ from a cube into a metric space, we find several equivalent conditions for $f$ to have a Lipschitz factorization through a metric tree. As an application we prove a recent conjecture of David and Schul. The…
We show that if a polyhedron in the three-dimensional affine space with triangular faces is flexible, i.e., can be continuously deformed preserving the shape of its faces, then there is a cycle of edges whose lengths sum up to zero once…
Toeplitz's Square Peg Problem asks whether every continuous simple closed curve in the plane contains the four vertices of a square. It has been proved for various classes of sufficiently smooth curves, some of which are dense, none of…
We characterize compact metric spaces whose locally flat Lipschitz functions separate points uniformly as exactly those that are purely 1-unrectifiable, resolving a problem of Weaver. We subsequently use this geometric characterization to…
Topological data analysis asks when balls in a metric space $(X,d)$ intersect. Geometric data analysis asks how much balls have to be enlarged to intersect. We connect this principle to the traditional core geometric concept of curvature.…
We enumerate and classify all stationary logarithmic configurations of d+2 points on the unit (d-1)-sphere in d-dimensions. In particular, we show that the logarithmic energy attains its relative minima at configurations that consist of two…
This paper studies the asymptotic product of two metric spaces. It is well defined if one of the spaces is visual or if both spaces are geodesic. In this case the asymptotic product is the pullback of a limit diagram in the coarse category.…
Of the Thurston geometries, those with constant curvature geometries (Euclidean $\EUC$, hyperbolic $\HYP$, spherical $\SPH$) have been extensively studied, but the other five geometries, $\HXR$, $\SXR$, $\NIL$, $\SLR$, $\SOL$ have been…
A well known open problem of Meir and Moser asks if the squares of sidelength $1/n$ for $n \geq 2$ can be packed perfectly into a square of area $\sum_{n=2}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}-1$. In this paper we show that for any $1/2…
Pogorelov proved in 1949 that every every convex polyhedron has at least three simple closed quasigeodesics. Whereas a geodesic has exactly pi surface angle to either side at each point, a quasigeodesic has at most pi surface angle to…
Fix $p\in[1,\infty)$, $K\in(0,\infty)$ and a probability measure $\mu$. We prove that for every $n\in\mathbb{N}$, $\varepsilon\in(0,1)$ and $x_1,\ldots,x_n\in L_p(\mu)$ with $\big\| \max_{i\in\{1,\ldots,n\}} |x_i| \big\|_{L_p(\mu)} \leq K$,…
A quasiconformal tree is a doubling metric tree in which the diameter of each arc is bounded above by a fixed multiple of the distance between its endpoints. We study the geometry of these trees in two directions. First, we construct a…
The purpose of this article is to demonstrate the connection between the properties of the Gromov--Hausdorff distance and the Borsuk conjecture. The Borsuk number of a given bounded metric space $X$ is the infimum of cardinal numbers $n$…