Abstract:Erdős' unit distance problem and Erdős' distinct distances problem are among the most classical and well-known open problems in discrete mathematics. They ask for the maximum number of unit distances, or the minimum number of distinct distances, respectively, determined by $n$ points in the Euclidean plane. The question of what happens in these problems if one considers normed spaces other than the Euclidean plane has been raised in the 1980s by Ulam and Erdős and attracted a lot of attention over the years. We give an essentially tight answer to both questions for almost all norms on $\mathbb{R}^d$, in a certain Baire categoric sense. For the unit distance problem we prove that for almost all norms $\|.\|$ on $\mathbb{R}^d$, any set of $n$ points defines at most $\frac{1}{2} d \cdot n \log_2 n$ unit distances according to $\|.\|$. We also show that this is essentially tight, by proving that for every norm $\|.\|$ on $\mathbb{R}^d$, for any large $n$, we can find $n$ points defining at least $\frac{1}{2}(d-1-o(1))\cdot n \log_2 n$ unit distances according to $\|.\|$. For the distinct distances problem, we prove that for almost all norms $\|.\|$ on $\mathbb{R}^d$ any set of $n$ points defines at least $(1-o(1))n$ distinct distances according to $\|.\|$. This is clearly tight up to the $o(1)$ term. We also answer the famous Hadwiger--Nelson problem for almost all norms on $\mathbb{R}^2$, showing that their unit distance graph has chromatic number $4$. Our results settle, in a strong and somewhat surprising form, problems and conjectures of Brass, Matoušek, Brass-Moser-Pach, Chilakamarri, and Robertson. The proofs combine combinatorial and geometric ideas with tools from Linear Algebra, Topology and Algebraic Geometry.

On the Banach–Mazur Distance in Small Dimensions

On the Banach-Mazur Distance in Small Dimensions

On certain extremal Banach-Mazur distances in small dimensions

On the Banach-Mazur Distance between the Cube and the Crosspolytope

Banach-Mazur distances between parallelograms and other affinely regular even-gons

Large dilates of hypercube graphs in the plane

Nagata Dimension and Lipschitz Extensions Into Quasi-Banach Spaces

Distance sets bounds for polyhedral norms via effective dimension

The volume of an isocanted cube is a determinant

Squares and their centers

An estimate of the centroid Banach-Mazur distance between planar convex bodies

On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$

On the Erdős--Ginzburg--Ziv Problem in large dimension

On higher-dimensional symmetric designs

Discrete logarithmic Sobolev inequalities in Banach spaces

Besicovitch's 1/2 problem and linear programming

Dimension-free inequalities for low and high degree functions on the Hamming cube

The Lower Dimensional Busemann-Petty Problem in the Complex Hyperbolic Space

Asymptotic insights for projection, Gordon-Lewis and Sidon constants in Boolean cube function spaces

On a Traveling Salesman Problem for Points in the Unit Cube

Unit and distinct distances in typical norms