Fejes Tóth's real Hilbert-space zone conjecture
Let be unit vectors in a real Hilbert space . Fejes Tóth's real Hilbert-space zone conjecture. There exists a unit vector such that
for every . This is presented as a reformulation of Fejes Tóth's equal-width zone conjecture and as an optimal plank problem for real Hilbert spaces. The source does not supply a resolution status for this formulation.
References
Primary source
William Verreault, “Plank theorems and their applications: a survey”, arXiv:2203.05540 (2025).
Progress summary
The finite-dimensional version is proved, and that result covers the stated problem for arbitrary real Hilbert spaces.
Fejes Tóth posed the underlying equal-width zone conjecture in 1973. The displayed inequality is its vector formulation; the retrieved literature proves the corresponding statement in every finite-dimensional real space.
Known results
- The cases of and zones were proved by Rosta (1972) and Linhart (1974).
Finite-dimensional resolution (2017–2021)
Jiang and Polyanskii proved that covering a unit sphere by zones requires total width at least , completely resolving the zone conjecture; equal widths yield the bound . Ortega-Moreno gave an independent proof for equal-width zones, later simplified by Zhao. Since the finitely many input vectors span a finite-dimensional subspace, this covers the stated Hilbert-space formulation.
Current status (as of September 2026): The finite-dimensional theorem is settled and covers the displayed real Hilbert-space statement; no contrary result was found.
Sources
- arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- ui.adsabs.harvard.edu
- eurekalert.org
- arxiv.org
- en.wikipedia.org
- quantamagazine.org
- quantamagazine.org
- www-cdn.anthropic.com
- arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- www-cdn.anthropic.com
- quantamagazine.org
- cdn.openai.com
Solutions 0
No solutions have been posted yet.