Exact splitting guarantee for hyperplane families

Establish whether Theorem 1 can be strengthened so that every family of finite point sets satisfying the (p,q,α)-property with respect to hyperplanes is α-split by a bounded number of hyperplanes, thereby replacing the theorem’s guarantee β=β(α,d)<α with β=α.

Background

Theorem 1 states that, for fixed α, p, q, and d, a family of finite point sets with the (p,q,α)-property with respect to hyperplanes can be β-split by a bounded number of hyperplanes, where β depends on α and d and is strictly smaller than α.

The concluding remarks identify as unresolved whether the loss in the splitting parameter is necessary. Specifically, they ask whether the same bounded-family conclusion can hold without weakening α to a smaller value.

References

We conjecture that the fractional Helly theorem also admits an overlap version.

Overlap-Helly theorems  (2609.10023 - Holmsen et al., 9 Sep 2026) in Problem 4, Section 1.3

However, it remains an intriguing question to determine if Theorem \ref{Theorem:SplitHyperplanes} can be established with $\beta=\alpha$.

Helly Type Theorems for Splitting Point-Sets  (2609.02180 - Portal et al., 2 Sep 2026) in Section 5, Concluding Remarks