度量几何
We construct families of trivial $2$-knots $K_i$ in $\mathbb{R}^4$ such that the maximal complexity of $2$-knots in any isotopy connecting $K_i$ with the standard unknot grows faster than a tower of exponentials of any fixed height of the…
We extend a rigidity result of Alexander Lytchak by relaxing the requirement that the CAT(1) space be geodesically complete.
Smocked metric spaces were first defined in arXiv:1906.03403 and it was proved that if a norm on the Euclidean space uniformly estimates the pseudometric of a smocked metric space, then the tangent cone at infinity is unique and is a norm…
We describe the geometry of an arrangement of 24-cells inscribed in the 600-cell. In $\S$7 we apply our results to the even unimodular lattice $E_8$ and show how the 600-cell transforms $E_8$/2$E_8$, an 8-space over the field $\bf{F}$$_2$,…
We introduce some general and special formulations of general position theorem for parametrized families of fractals and explain the techniques of its application to prove the existence of self-similar sets with prescribed special…
We study the structure of higher-order Voronoi cells on a discrete set of sites in $\mathbb{R}^n$, focussing on the relations between cells of different order, and paying special attention to the ill-posed case when a large number of points…
Given a plane triangle $\Delta$, one can construct a new triangle $\Delta'$ whose vertices are intersections of two cevian triples of $\Delta$. We extend the family of operators $\Delta\mapsto\Delta'$ by complexifying the defining two…
We study Riemannian metrics on compact, torsionless, non-geometric $3$-manifolds, i.e. whose interior does not support any of the eight model geometries. We prove a lower bound "\`a la Margulis" for the systole and a volume estimate for…
For $d\in\{5,6\}$, we classify arrangements of $d + 2$ points in $\mathbf{RP}^{d-1}$ for which the minimum distance is as large as possible. To do so, we leverage ideas from matrix and convex analysis to determine the best possible codes…
We show that every graded nilpotent Lie group $G$ of step $r$, equipped with a left invariant metric homogeneous with respect to the dilations induced by the grading, (this includes all Carnot groups with Carnot-Caratheodory metric) is…
A new method for constructing self-referential tilings of Euclidean space from a graph directed iterated function system, based on a combinatorial structure we call a pre-tree, is introduced. In the special case that we refer to as…
A sphere packing of the three-dimensional Euclidean space is compact if it has only tetrahedral holes, that is, any local maximum of the distance to the spheres is at equal distance to exactly four spheres. This papers describes all the…
Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points has a Euclidean length in the configuration. Given some graph $G$ on $n$ vertices, we measure the point-pair lengths…
An irregular vertex in a tiling by polygons is a vertex of one tile and belongs to the interior of an edge of another tile. In this paper we show that for any integer $k\geq 3$, there exists a normal tiling of the Euclidean plane by convex…
We introduce a class of mappings called vertical quasi-isometries and show that branched quasisymmetries $X\to Y$ of Guo and Williams between compact, bounded turning metric doubling spaces admit natural vertically quasi-isometric…
Given a sample $Y$ from an unknown manifold $X$ embedded in Euclidean space, it is possible to recover the homology groups of $X$ by building a Vietoris--Rips or \v{C}ech simplicial complex on top of the vertex set $Y$. However, these…
Crofton's formula of integral geometry evaluates the total motion invariant measure of the set of $k$-dimensional planes having nonempty intersection with a given convex body. This note deals with motion invariant measures on sets of pairs…
It is well-known that a complete Riemannian manifold M which is locally isometric to a symmetric space is covered by a symmetric space. Here we prove that a discrete version of this property (called local to global rigidity) holds for a…
We consider quadrangles of perimeter $2$ in the plane with marked directed edge. To such quadrangle $Q$ a two-dimensional plane $\Pi\in\mathbb{R}^4$ with orthonormal base is corresponded. Orthogonal plane $\Pi^\bot$ defines a plane…
Let $K$ be a convex body in Euclidean space ${\mathbb R}^d$, and let a translation invariant, locally finite Borel measure on the space of hyperplanes in ${\mathbb R}^d$ be given. For $\delta\ge 0$, we consider the set of all points $x$ for…