Continuum Beck-Type Theorem for Hyperplanes

• The paper introduces a continuum extension of Beck’s theorem that replaces point counts with Hausdorff dimension, accurately capturing hyperplane incidence richness in fractal settings.
• The methodology employs Frostman measures, thin k-planes, and an inductive irreducible decomposition to establish sharp lower bounds on the dimensions of hyperplane sets.
• Implications span incidence combinatorics, projection theory, and mass partition problems, linking fractal geometry with modern techniques in algebraic topology.

The Continuum Beck-Type Theorem for Hyperplanes provides a sharp quantitative extension of the classical Beck theorem into the field of high-dimensional and measure-theoretic settings, capturing incidence richness in fractal and continuum configurations. While Beck’s original result dichotomized finite planar point sets according to collinearity or incidence, the continuum versions address Borel sets in $\mathbb{R}^n$ and replace cardinality by Hausdorff dimension, revealing when a set’s configuration enforces dimensional or algebraic complexity in the family of spanned hyperplanes.

1. Classical Background and Motivation

Beck’s discrete theorem (Do, 2016) asserts: Given $n$ points in the plane with no large collinear subset (specifically, if at most $n-x$ points are collinear), at least $c x n$ distinct lines are defined, for some positive constant $c$. The motivation for a continuum generalization is to develop analogues using Hausdorff dimension rather than point counts, so that results remain meaningful for fractal and measure-theoretic sets in $\mathbb{R}^n$. This addresses not only classical point-line incidence questions, but also projection and dimension estimates relevant to fractal geometry, Falconer problems, and incidence combinatorics.

2. Main Theorem: Dimension Lower Bounds for Hyperplane Sets

The central continuum Beck-type theorem for hyperplanes (Bright et al., 13 Oct 2025, Orponen et al., 2022, Bright et al., 2024) is:

Given a Borel set $X \subset \mathbb{R}^n$ which is non-concentrated (i.e., does not cluster on lower-dimensional flats), the set of hyperplanes spanned by $n$-tuples from $X$ has large Hausdorff dimension:

$\dim \mathcal{P}^{n-1}(X) \geq n \min\{\dim X, 1\}$

This is sharp when $\dim X \leq 1$. The term "non-concentrated" (NC, Editor's term) is formalized by assuming $X$ carries a Frostman measure $\mu$ with $\mu(V(\delta)) \lesssim \delta^\tau$ for proper affine subspaces $V$ and uniform $\tau > 0$, suppressing measure concentration on flats.

The core extension over earlier discrete results is the replacement of line count with Hausdorff dimension, addressing situations where $X$ may be fractal and traditional combinatorial techniques are inapplicable.

3. Key Technical Concepts: Thin k-Planes and Inductive Framework

Thin $k$-Planes

The notion of a thin $k$-plane is introduced to quantify the minimal mass that $X$ may allocate to tubular neighborhoods of affine $k$-planes:

Given probability measures $\mu_0,\ldots,\mu_k$ supported respectively on $X_0,\ldots,X_k$, we say they span $(\sigma,K,c)$-thin $k$-planes if there exists a Borel graph $G\subset X_0\times \cdots \times X_k$ with $(\mu_0\times\cdots\times\mu_k)(G)\geq c$ and for $(x_0,\ldots,x_k)\in G$ the affine plane $V_{x_0,\ldots,x_k}$ satisfies

$$\mu_i(V_{x_0,\ldots,x_k}(\delta)) \leq K \delta^\sigma \text{ for all } \delta>0.$$

This generalizes "thin tubes" from projection theory (Orponen et al., 2022, Bright et al., 2024, Bright et al., 13 Oct 2025).

Inductive Construction and Irreducible Measures

The proof proceeds by decomposing Frostman measures on $X$ into irreducible pieces supported on flats $V \subset \mathbb{R}^n$ but not on any proper subflat, and iteratively patching thin $k$-planes into thin $(k+1)$-planes. In particular, projection-theoretic results of Orponen–Shmerkin–Wang and Ren (Orponen et al., 2022, Bright et al., 2024, Bright et al., 13 Oct 2025) establish dimension estimates for thin tubes (the $k=1$ case):

$\mu_1(T(x_0, r)) \leq K r^\sigma$

for typical tubes $T(x_0, r)$ about lines, bootstrapped via robust combinatorial and analytic techniques to higher-dimensional statements for hyperplanes.

By arranging irreducible pieces in stable position (uniform transversality), the pushforward measure (mapping $(x_1,\ldots,x_n)$ to the hyperplane $\operatorname{aff}(x_1,\ldots,x_n)$) inherits a Frostman exponent at least $n\sigma$, yielding

$\dim \mathcal{P}^{n-1}(X) \geq n \min\{\dim X, 1\}$

4. Extensions: Trapping Number and Dichotomy

A refined analysis, as in (Bright et al., 2024), introduces the trapping number $T(X)$, measuring the lowest dimension $k$ such that $X$ loses mass by removal of any $k$-dimensional affine subspace:

$$T(X) := \min\{k\in\mathbb{N}_+: \exists H \in \mathcal{A}(n,k) \text{ s.t. } \dim(X\setminus H) < \dim X\}$$

Depending on how $X$ interacts with hyperplanes, two regimes emerge:

• If for every $k$-plane $H$, $\dim(X\setminus H)=\dim X$ then

$\dim \mathcal{L}(X) \geq \min\{2\dim X, 2k\}$

• If there exists $k$-plane $H$ such that $\dim(X\setminus H)<\dim X$ and $\inf_{H} \dim(X\setminus H)=t$, then

$\dim \mathcal{L}(X) \geq \dim X + t$

A strengthened lower bound incorporates $T(X)$: $$\dim \mathcal{L}(X) \geq \max\{\dim X + t, \min\{2\dim X, 2(T(X)-1)\}\}$$

5. Connections to Incidence Theory, Classical Extensions, and Mass Partition

The continuum Beck-type theorem for hyperplanes (Do, 2016, Bright et al., 13 Oct 2025) provides a combinatorial richness criterion in high-dimensional, measure-theoretic settings. Unless $X$ degenerately clusters in a union of lower-dimensional flats, the set of spanned hyperplanes is as large as permitted by dimension, up to constants.

This has direct implications for point–hyperplane incidence bounds (e.g., Elekes–Tóth type estimates), covering problems, and mass partition theorems. For instance, generalized ham sandwich results (Frick et al., 2022, Crabb, 2024, Hubard et al., 2024, Sadovek et al., 2024) assert that $d+k-1$ measures in $\mathbb{R}^d$ can be bisected by $k$ parallel hyperplanes under parity conditions derived from Stirling numbers and Fadell–Husseini index computations. These statements leverage combinatorial and algebraic topology to guarantee partitioning richness analogous to continuum Beck-type theorems.

6. Related Structure Theory and Classification

The classification of hyperplane arrangements (Kumar, 2017) using normal systems and convex positive bijections offers a paradigm to formalize equivalence and incidence complexity in continuum settings. Such machinery, while not central to the Beck dichotomy, allows for finer control over hyperplane families and their geometric combinatorial invariants—potentially informing algorithms for point covering and equipartition tasks where arrangement equivalence matters.

7. Summary and Modern Outlook

The continuum Beck-type theorem for hyperplanes establishes that in $\mathbb{R}^n$, a non-concentrated set $X$ with positive dimension forces the set of hyperplanes determined by $n$-tuples from $X$ to have dimension at least $n\min\{\dim X,1\}$ (Bright et al., 13 Oct 2025). This result is underpinned by delicate projection-theoretic arguments, irreducibility analysis, and an inductive framework connecting thin tubes and thin planes under stable position conditions. Extensions incorporating the trapping number and refined lower bounds capture more subtle geometric degeneracy. Applications range across geometric measure theory, combinatorial incidence theory, topological mass partition, and equipartition problems, revealing deep links between discrete combinatorics, fractal dimension, and algebraic topology in modern incidence geometry.