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.

Distance Between Unitary Orbits of Normal Elements in Simplec⁎-Algebras of Real Rank Zero

More unit distances in arbitrary norms

Maximal UHF subalgebras of certain C*-algebras

On unital absorbing extensions of C$^*$-algebras of stable rank one and real rank zero

Inequalities for linear functionals and numerical radii on $\mathbf{C}^*$-algebras

A harmonic analysis approach to essential normality of principal submodules

Unit and distinct distances in typical norms

Strict comparison for $C^*$-algebras arising from Almost finite groupoids

A Short Return to Simple Ah-Algebras with Real Rank Zero

Tracial oscillation zero and stable rank one

Cardinalities of Dccc Normal Spaces with A Rank 2-Diagonal

Approximated by finite-dimensional homomorphisms into Simple C*-Algebras with Tracial Rank One

The Range of Approximate Unitary Equivalence Classes of Homomorphisms from AH-algebras

When amenable groups have real rank zero $C^*$-algebras

Factorizations and minimality of the Calkin Algebra norm for $C(K)$-spaces

On Cardinality Of Non Isomorphic Intermediate Rings Of C(X)

A Simple Separable Exact C*-Algebra not Anti-isomorphic to Itself

On various diametral notions of points in the unit ball of some vector-valued function spaces

A C*-Algebra Approach To Complex Symmetric Operators

Quantitative estimates on the $C^2$-singular sets in Alexandrov spaces

Essential Normality of Cyclic Submodule Generated by any Polynomial