Extremal Problems in
Discrete Geometry

姜子麟 Zilin Jiang
Arizona State University
September 16, 2024

Extremal properties of simple geometric objects

What's the minimum number of distinct distances between $n$ points on a plane?

Erdős 1946 · Moser 1952 · Chung 1984
Chung, Szemerédi & Trotter 1992 · Székely 1993
Solymosi & Tóth 2001 · Tardos 2003 · Katz & Tardos 2004
Guth & Katz 2015

Geometry of ruled surfaces, polynomial method.

Given $n$ points not all collinear in $\mathbb{R}^2$,
what's the minimum number of ordinary lines ?

Sylvester 1893 · Gallai 1944
Dirac & Motzkin 1951 · Kelly & Moser 1958
Csima & Sawyer 1993 · Green & Tao 2012

Menelaus's theorem, Euler formula
Cayley–Bacharach theorem, sum-product estimate

What's the densest way to arrange
non-overlapping spheres in $\mathbb{R}^n$?

Kepler 1611 · Gauss 1831 · Thue 1890
Fejes Tóth 1940 · Hales 1998
Cohn, Kumar, Miller, Radchenko, Viazovska 2016

Poisson summation formula, modular forms, automated proof checking

Distinct distancesOrdinary linesSphere packing
Zone coveringEquiangular lines

How high do $n$ satellites need to fly?

Each satellite sees a zone of the sphere

width

What's the minimum width of $n$ equal zones
covering the unit sphere?

Is it $\pi / 3$ for $n = 3$?

Distribute $n$ great circles to minimize the greatest distance between a point and the nearest great circle.

What's the minimum width of $n$ equal zones
covering the unit sphere?

Fejes Tóth's zone conjecture

The width of $n$ equal zones covering the
unit sphere is at least $\pi / n$.

Research Problems: Exploring a Planet, 1973

Rosta 1972: 3 equal zones
Linhart 1974: 4 equal zones
Fodor, Vígh and Zarnócz 2016: a lower bound
for example, $\pi/6.83$ for 5 equal zones

Fejes Tóth's zone conjecture 1973 · J.–Polyanskii 2017

The total width of $n$ equal zones covering
the unit sphere is at least $\pi$ in any dimension; Characterization of equality cases.

Tarski's plankcovering problemErdős' circlecovering problem

A plank in $\mathbb{R}^d$ is

widthhyperplanehyperplane

Tarski's plank problem

What's the minimum total width of planks covering a given convex body?

What's the minimum total width of planks covering a unit disk?

wπw

Plank of width $w$

Planks cover disk

$\sum w_i \ge 2$

Archimedes: Arch of area $\pi w$

Arches cover hemisphere

$\sum \pi w_i \ge 2\pi$

What's the minimum total width of planks
covering a given convex body $C$?

Tarski's plank conjecture 1932 · Bang 1951

If convex body $C$ is covered by planks, then their total width is at least the width of $C$.

width

A direction of a plank is

v-vv1v2v3

Bang's lemma

Can choose directions such that $v_1 + \dots + v_n$ is not covered

Fejes Tóth's zone conjecture 1973 · J.–Polyanskii 2017

The total width of $n$ zones covering the unit sphere is at least $\pi$.

viv

Each zone is a plank $\cap$ the unit sphere
and it has two directions

Bang's lemma: $v := v_1 + \dots + v_n$ is not covered
If $\lVert v \rVert \le 1$, then $\hat{v}$ is not covered.

Otherwise, $v$ is large in magnitude
We merge some zones

Erdős' circle covering problem · Goodman–Goodman 1945

A non-separable family of balls of radii $r_1, \dots, r_n$ can be
covered by a ball of radius $r_1 + \dots + r_n$

wWrelative width = w/W

Bang's plank conjecture 1951

Total relative width of planks covering
a convex body is at least $1$.

Bezdek's annulus conjecture 2003

Total width of planks covering an annulus with a small hole at center is at least the diameter.

Ball 1992 using Bang's lemma

A lower bound on sphere packing density.

Zone coveringEquiangular lines

Equiangular lines in $\mathbb{R}^n$ are lines through origin pairwise separated by the same angle

What's the maximum number of
equiangular lines in $\mathbb{R}^n$?

$n$23-4567-14...23-414243
max36101628...276276-288344

What's the maximum number of equiangular lines in $\mathbb{R}^n$?

Gerzon 1973

At most $\frac{1}{2}n(n+1)$

de Caen 2000

At least $cn^2$

Angles $\to$ 90° as $n\to\infty$

What happens if the angles are held fixed?

What's the maximum number $E_\alpha(n)$ of
equiangular lines in $\mathbb{R}^n$ with a fixed angle $\arccos\alpha$?

Lemmens, Seidel 1973$E_{1/3}(n) = 2(n-1)$ for $n \ge 15$
Neumann 1973$E_{\alpha}(n) \le 2n$, unless $1/\alpha$ is odd
Neumaier 1989$E_{1/5}(n) = \lfloor \frac{3}{2}(n-1) \rfloor$ for $n \ge n_0$
Bukh 2016$E_{\alpha}(n) \le c_\alpha n$
Balla, Dräxler,
Sudakov, Keevash 2018
$E_{\alpha}(n) \le 1.93n$
for $n \ge n_0(\alpha)$ if $\alpha \neq 1/3$

Bukh's conjecture on equiangular lines with fixed angle

$E_{1/(2k-1)}(n) \approx \frac{kn}{k-1}$. $E_{1/7}(n) \approx \frac{4}{3}n$.

What's the maximum number $E_\alpha(n)$ of
equiangular lines in $\mathbb{R}^n$ with a fixed angle $\arccos\alpha$?

Conjecture J.–Polyanskii

$E_{\alpha}(n) \approx \frac{kn}{k-1}$, where $k = k(\lambda)$, $\lambda = \frac{1-\alpha}{2\alpha}$.

Spectral radius order $k(\lambda) := $ smallest $k$ such that
$\exists$ $k$-vertex graph $G$ whose adjacency matrix has spectral radius $= \lambda$

$\alpha$$\lambda$$G$$k$$E_\alpha(n)$
$\tfrac{1}{3}$$1$$2$$2n$
$\tfrac{1}{5}$$2$$3$$\tfrac{3n}{2}$
$\frac{1}{7}$$3$$4$$\tfrac{4n}{3}$

J.–Polyanskii 2018

True for all $\lambda \le \sqrt{2 + \sqrt{5}}$.

2.058 barrier

What's the maximum number $E_\alpha(n)$ of
equiangular lines in $\mathbb{R}^n$ with a fixed angle $\arccos\alpha$?

me
Jonathan Tidor
Yufei Zhao
Yuan Yao
Shengtong Zhang

J., Tidor, Yao, Zhang, Zhao 2019

$E_\alpha(n) = \lfloor \frac{k}{k-1}(n-1) \rfloor$ for $n \ge n_0(\alpha)$ if $k(\lambda) < \infty$;
$E_\alpha(n) = n+o(n)$ otherwise.

J., Tidor, Yao, Zhang, Zhao 2019

Multiplicity of second largest eigenvalue of an $n$-vertex connected graph of bounded degree is at most $Cn/\log\log n$.

Cayley graph of $\mathrm{PSL}(2,p)$ has
second eigenvalue multiplicity at least $\sqrt[3]{n}$

What is the maximum second eigenvalue multiplicity of
an $n$-vertex connected graph of bounded degree?

What is the maximum second eigenvalue multiplicity of
an $n$-vertex Cayley graph of bounded degree?

Gromov, Colding–Minicozzi, Kleiner
Lee–Makarychev: Constant for abelian groups

What is the maximum number of unit vectors in $\mathbb{R}^n$ such that pairwise inner products are either $\alpha$ or $\beta$?

Zauner's conjecture 1999

Maximum number of equiangular lines in $\mathbb{C}^n$ is $n^2$.