Proof of the Kakeya set conjecture over rings of integers modulo square-free NNN (original) (raw)

View PDF

Abstract:A Kakeya set Ssubset(mathbbZ/NmathbbZ)nS \subset (\mathbb{Z}/N\mathbb{Z})^nSsubset(mathbbZ/NmathbbZ)n is a set containing a line in each direction. We show that, when NNN is any square-free integer, the size of the smallest Kakeya set in (mathbbZ/NmathbbZ)n(\mathbb{Z}/N\mathbb{Z})^n(mathbbZ/NmathbbZ)n is at least Cn,epsilonNn−epsilonC_{n,\epsilon} N^{n - \epsilon}Cn,epsilonNn−epsilon for any epsilon\epsilonepsilon -- resolving a special case of a conjecture of Hickman and Wright. Previously, such bounds were only known for the case of prime NNN. We also show that the case of general NNN can be reduced to lower bounding the mathbbFp\mathbb{F}_pmathbbFp rank of the incidence matrix of points and hyperplanes over (mathbbZ/pkmathbbZ)n(\mathbb{Z}/p^k\mathbb{Z})^n(mathbbZ/pkmathbbZ)n.

Submission history

From: Manik Dhar [view email]
[v1] Mon, 23 Nov 2020 05:52:05 UTC (27 KB)
[v2] Wed, 21 Apr 2021 07:31:52 UTC (31 KB)