Fejes Tóth's real Hilbert-space zone conjecture

About 4 years old · traced to

Let v1,v2,…,vnv_1,v_2,\ldots,v_n be unit vectors in a real Hilbert space H\mathcal{H}. Fejes Tóth's real Hilbert-space zone conjecture. There exists a unit vector u∈Hu\in\mathcal{H} such that

∣⟨vk,u⟩∣≥sin⁡(π2n)|\langle v_k,u\rangle|\geq \sin\left(\frac{\pi}{2n}\right)

for every 1≤k≤n1\leq k\leq n. 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

Refreshed
Claimed solved

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 33 and 44 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 π\pi, completely resolving the zone conjecture; equal widths yield the bound sin⁡ ⁣(π2n)\sin\!\left(\frac{\pi}{2n}\right). 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

Solutions 0

No solutions have been posted yet.