Protrusive ordering not witnessed by 5 points

Five-point protrusive-but-not-witnessed construction · arXiv:2308.05208

arXiv Problem medium confidence— first stated 2023-08-09

Status solved high confidence

Adrian Beker answered the question positively in arXiv:2309.12809 (2023), constructing an explicit 5-element set in ℝ² that has a protrusive ordering not realised by any finite multiset of vantage points, i.e., not contained in Ψ(C). The paper explicitly states it answers a question of Alon, Defant, Kravitz, and Zhu, and was published in Archiv der Mathematik (DOI 10.1007/s00013-024-02020-x).

Cited literature (1)

Reviewer notes. The question is resolved: a 5-point counterexample exists (yes). Beker's paper arXiv:2309.12809 was submitted in September 2023, only weeks after the source paper, and published in Archiv der Mathematik in 2024.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Problem. Does there exist a 5-element set $C \subseteq \mathbb{R}^2$ such that some protrusive ordering of $C$ is not contained in $\Psi(C)$?

Context

The authors construct a 6-element set $C \subseteq \mathbb{R}^2$ for which $\Psi(C)$ is strictly smaller than the set of all protrusive orderings, showing that the equality $\Psi(C) = \{\text{protrusive orderings of } C\}$ (which holds for $d=1$, $n \le 4$, and vertex-transitive polytopes) fails in general. Whether 5 points suffice for a counterexample is explicitly left open.

Source paper

Ordering Candidates via Vantage Points
Noga Alon, Colin Defant, Noah Kravitz, Daniel G. Zhu · 2023-08-09
https://arxiv.org/abs/2308.05208 PDF source