# Equivalences between different forms of the Kakeya conjecture and duality of Hausdorff and packing dimensions for additive complements

Preprint · Tamás Keleti, András Máthé

- Archive id: arxiv:2203.15731
- Published: 2022-03-29
- arXiv: https://arxiv.org/abs/2203.15731
- Source URL: https://arxiv.org/abs/2203.15731
- PDF: https://arxiv.org/pdf/2203.15731
- Provenance: arxiv

## Abstract

The Kakeya conjecture is generally formulated as one the following statements: every compact/Borel/arbitrary subset of ${\\mathbb R}^n$ that contains a (unit) line segment in every direction has Hausdorff dimension $n$; or, sometimes, that every closed/Borel/arbitrary subset of ${\\mathbb R}^n$ that contains a full line in every direction has Hausdorff dimension $n$. These statements are generally expected to be equivalent. Moreover, the condition that the set contains a line (segment) in every direction is often relaxed by requiring a line (segment) for a "large" set of directions only, where large could mean a set of positive $(n-1)$-dimensional Lebesgue measure. Here we prove that all the above forms of the Kakeya conjecture are indeed equivalent. In fact, we prove that there exist $d\\le n$ and a compact subset $C$ of ${\\mathbb R}^n$ of Hausdorff dimension $d$ that contains a unit line segment in every direction (and also a closed set of dimension $d$ that contains a line in every direction) such that every subset $S$ of ${\\mathbb R}^n$ that contains a line segment in every direction of a set of Hausdorff dimension $n-1$, must have dimension at least $d$. We also obtain results on the duality of Hausdorff and packing dimensions via additive complements: For any non-empty Borel set $A$ of ${\\mathbb R}^n$ we show that (1) the Hausdorff dimension of $A$ can be obtained as $n-p$, where $p$ is the infimum of the packing dimension of those Borel subsets $B$ of ${\\mathbb R}^n$ for which $A+B={\\mathbb R}^n$; and (2) the packing dimension of $A$ can be obtained as $n-h$, where $h$ is the infimum of the Hausdorff dimension of those Borel subsets $B$ of ${\\mathbb R}^n$ for which $A+B={\\mathbb R}^n$.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.