度量几何

We find a formula for the area of disks tangent to a given disk in an Apollonian disk packing (corona) in terms of a certain novel arithmetic Zeta function. The idea is based on "tangency spinors" defined for pairs of tangent disks.

We present a rigorous study of framework rigidity in general finite dimensional normed spaces from the perspective of Lie group actions on smooth manifolds. As an application, we prove an extension of Asimow and Roth's 1978/9 result…

We study the problem of determining the least symmetric triangle, which arises both from pure geometry and from the study of molecular chirality in chemistry. Using the correspondence between planar $n$-gons and points in the Grassmannian…

In this work we study the geodesic structure of the space $\Sigma (X)$ of compact balls of a complete and locally compact metric length space endowed with the Hausdorff distance $d_H$. In particular, we focus on a geometric condition…

Dimension theory lies at the heart of fractal geometry and concerns the rigorous quantification of how large a subset of a metric space is. There are many notions of dimension to consider, and part of the richness of the subject is in…

Let $x$ and $y$ be two unit vectors in a normed plane $\mathbb{R}^2$. We say that $x$ is Birkhoff orthogonal to $y$ if the line through $x$ in the direction $y$ supports the unit disc. A B-measure (Fankh\"anel 2011) is an angular measure…

The classical Dvoretzky--Rogers lemma provides a deterministic algorithm by which, from any set of isotropic vectors in Euclidean $d$-space, one can select a subset of $d$ vectors whose determinant is not too small. Subsequently,…

We prove the existence of the curvature measures for a class of $\cal U_{\rm WDC}$ sets, which is a direct generalization of $\cal U_{\rm PR}$ sets studied by Rataj and Z\"ahle. Moreover, we provide a simple characterisation of $\cal U_{\rm…

We define spinors for pairs of tangent disks in the Euclidean plane and prove a number of theorems, one of which may be interpreted as a "square root of Descartes Theorem". In any Apollonian disk packing, spinors form a network. In the…

We establish a version of the bottleneck conjecture, which in turn implies a partial solution to the Mahler conjecture on the product $v(K) = (\Vol K)(\Vol K^\circ)$ of the volume of a symmetric convex body $K \in \R^n$ and its polar body…

We show that a honeycomb circle packing in $\R^2$ with a linear gap defect cannot be completely saturated, no matter how narrow the gap is. The result is motivated by an open problem of G. Fejes T\'oth, G. Kuperberg, and W. Kuperberg, which…

Filliman duality expresses (the characteristic measure of) a convex polytope P containing the origin as an alternating sum of simplices that share supporting hyperplanes with P. The terms in the alternating sum are given by a triangulation…

We give a solution to the inverse problem of Moebius geometry on the circle. Namely, we describe a class of Moebius structures on the circle for each of which there is a hyperbolic space such that its boundary at infinity is the circle, and…

Let $\mathbb{G}$ be any Carnot group. We prove that, if a subset of $\mathbb{G}$ is contained in a rectifiable curve, then it satisfies Peter Jones' geometric lemma with some natural modifications. We thus prove one direction of the…

Here I show compatibility of two definition of generalized curvature bounds --- the lower bound for sectional curvature in the sense of Alexandrov and lower bound for Ricci curvature in the sense of Lott--Villani--Sturm.

This note is devoted to the study of sets of finite perimeter over RCD$(K,N)$ metric measure spaces. Its aim is to complete the picture about the generalization of De Giorgi's theorem within this framework. Starting from the results of [2]…

This note is dedicated to the study of the asymptotic behaviour of sets of finite perimeter over RCD(K,N) metric measure spaces. Our main result asserts existence of a Euclidean tangent half-space almost everywhere with respect to the…

We prove a regularity result for Lagrangian flows of Sobolev vector fields over RCD(K,N) metric measure spaces, regularity is understood with respect to a newly defined quasi-metric built from the Green function of the Laplacian. Its main…

When a pair of non-incident edges of a tetrahedron is chosen, the midpoints of the remaining 4 edges are the vertices of a planar parallelogram. A formula is given in terms of the six edge lengths for the area of this parallelogram. It is…

We construct a metric space whose transfinite asymptotic dimension and complementary-finite asymptotic dimension are both omega+1, where omega is the smallest infinite ordinal number. Therefore, we prove that the omega conjecture is not…