A Continuum Beck-type Theorem for Hyperplanes

Basic Information

• Paper ID: 2510.10907
• Title: A Continuum Beck-type Theorem for Hyperplanes
• Authors: Paige Bright (MIT), Alexander Ortiz (Rice University), Dmitrii Zakharov (MIT)
• Classification: math.CA (Harmonic Analysis), math.CO (Combinatorics)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.10907v1

Abstract

This paper establishes a sharp continuum Beck-type theorem for hyperplanes. The research is motivated by Beck's foundational work on discrete problems and subsequent improvements by Do and Lund. The inductive proof employs recent breakthrough results in projection theory by Orponen-Shmerkin-Wang and Ren, who proved continuum Beck-type theorems for lines in $\mathbb{R}^2$ and $\mathbb{R}^n$.

Research Background and Motivation

Problem Origins

In 1983, József Beck studied discrete problems concerning points and lines in Euclidean space. Given a finite set $X \subset \mathbb{R}^n$ with $|X| = N$, Beck proved a dichotomy: either approximately $N$ points lie on a single line, or $P_1(X)$ (the collection of affine lines spanned by at least two points in $X$) contains approximately $N^2$ distinct lines.

Continuum Development

Recently, Orponen, Shmerkin, and Wang proved a continuum Beck theorem for lines in the plane, which Ren subsequently generalized to higher dimensions. For a Borel set $X \subset \mathbb{R}^n$, either there exists an $m$-dimensional affine subspace $F$ such that $\dim(X \setminus F) < \dim X$, or $\dim P_1(X) \geq 2\min\{\dim X, m\}$.

The Hyperplane Problem

Beck also studied hyperplanes in $\mathbb{R}^n$ spanned by $n$ affinely independent points. Do and Lund improved Beck's hyperplane theorem in 2016, introducing more refined non-concentration assumptions. This paper aims to establish the continuum analogue for hyperplanes.

Core Contributions

1. Main Theorem: Proves a sharp continuum Beck-type hyperplane theorem (Theorem 1.2)
2. Non-concentration Concept: Introduces the non-concentration (NC) property for Borel sets as a continuum analogue of the discrete case
3. Technical Innovations:
   • Develops the concept of "thin $k$-planes," generalizing thin tube theory
   • Establishes an inductive framework from irreducible measures to thin hyperplanes
   • Introduces the notion of $c$-stable position for handling geometric configurations
4. Dimension Lower Bounds: Obtains the sharp lower bound $\dim P_{n-1}(X) \geq n\min\{\dim X, 1\}$

Detailed Methodology

Core Definitions

Definition 1.1 (Non-concentrated Sets): Let $X \subset \mathbb{R}^n$ be a Borel set. We say $X$ is non-concentrated (NC) if for any $r \geq 1$ and affine subspaces $F_1, \ldots, F_r \subset \mathbb{R}^n$ satisfying $\sum_{i=1}^r \dim F_i \leq n-1$, we have $\dim\left(X \setminus \bigcup_{i=1}^r F_i\right) = \dim X$

Theorem 1.2 (Main Result): Let $X \subset \mathbb{R}^n$ be a Borel NC set. Then $\dim P_{n-1}(X) \geq n\min\{\dim X, 1\}$

Technical Framework

1. Thin $k$-Plane Theory

Definition 3.3: Let $\mu_0, \ldots, \mu_k$ be probability measures on $\mathbb{R}^n$ in good position. We say $(\mu_0, \ldots, \mu_k)$ spans a $(\sigma, K, c)$-thin $k$-plane if there exists a Borel set $G \subset \prod \text{supp}\mu_i$ such that:

• $(\mu_0 \times \cdots \times \mu_k)(G) \geq c$
• For any $(x_0, \ldots, x_k) \in G$ and $\delta > 0$, $j = 0, \ldots, k$, we have $\mu_j(V_{x_0,\ldots,x_k}(\delta)) \leq K\delta^\sigma$

Lemma 3.4: Thin $k$-planes generate $(k+1)\sigma$-Frostman measures, thereby yielding dimension lower bounds.

2. Decomposition Algorithm

Lemma 2.1: For an NC set $X$ and any $0 < s < \dim X$, there exist affine subspaces $V_1, \ldots, V_m$ and $s$-Frostman measures $\mu_i$ such that:

• Each $\mu_i$ is irreducible on $V_i$
• Their supports are pairwise disjoint
• For any covering $\bigcup V_i \subset \bigcup F_j$, we have $\sum \dim F_j \geq n$

3. Inductive Proof Strategy

The proof divides into two main cases:

Case 1 (Irreducible Case): If $\mu$ is irreducible on $\mathbb{R}^n$, directly apply Ren's radial projection theorem.

Theorem 4.1: If $X$ supports an irreducible $s$-Frostman measure, then $\dim P_k(X) \geq (k+1)\min\{s, n-k\}$

Case 2 (Reducible Case): Use the decomposition algorithm to decompose the measure into irreducible pieces, then "glue" them together to construct hyperplanes.

Stable Position Technique

Definition 5.1: A collection of measures $(\mu_{j,i})$ is in $c$-stable position if for all index sets $I, J$ and choices of $x$, the matrix $(B_I(x), A_J)$ has rank $r(I,J)$ and the absolute value of the maximal $r$-minor is $\geq c$.

This ensures that various "sums" $V + W$ and "intersections" $V \cap W$ have the expected dimensions.

Technical Innovations

1. Generalization of Thin $k$-Planes

Extends the thin tube concept of Orponen-Shmerkin-Wang to planes of arbitrary dimension, establishing a unified framework for handling geometric objects of different dimensions.

2. Minimality Reduction

Definition 1.8 (Minimal Plane Collections): A collection of planes $F_1, \ldots, F_k$ is minimal if $\dim F_{[k]} = n \leq \sum \dim F_j$ and for any proper subset $J \subsetneq [k]$, we have $\dim F_J \geq \sum_{j \in J} \dim F_j$.

By reducing to the minimal case, the complexity of geometric analysis is simplified.

3. Key Lemma (Key Lemma 7.10)

For typical choices of $x_{I^c}$, there exist subsets $E_i(x_{I^c})$ such that the restricted measure $\nu_{x_{I^c}}^i|_{E_i(x_{I^c})}$ is $(\tilde{C}, \sigma)$-Frostman, and the graph $H_{x_{I^c}}$ is a thin $(p-1)$-plane graph.

Proof Structure

Phase One: Decomposition

1. Use the NC condition to find affine subspaces $V_i$ and corresponding irreducible measures $\mu_i$
2. Apply the irreducible case to obtain thin planes on each $V_i$

Phase Two: Combination

1. Place measures in $c$-stable position
2. Reduce to the minimal case
3. Use induction to handle the general case $p \geq 1$

Key Technical Challenges

Dimension Calculation: For minimal plane collections $F_1, \ldots, F_k$:

• $r(I, \emptyset) = n_I$
• $r(I, J) \geq n_{I \cup J} + 1$ (when $J \neq \emptyset, J \neq [k] \setminus I$)
• $r(I, [k] \setminus I) = n + 1$

Angle Separation: The $c$-stable position ensures $\angle(F_j, P_{[k]\setminus\{j\}}(x)) \gtrsim c$.

Related Work

Development of Discrete Beck Theorem

• Beck (1983): Original point-line dichotomy
• Do (2020), Lund (2016): Improved non-concentration conditions

Continuum Theory

• Orponen-Shmerkin-Wang (2024): Continuum Beck theorem for lines in the plane
• Ren (2023): Generalization to higher-dimensional lines
• Radial Projection Theory: Key tool in this paper

Applications of Projection Theory

• Furstenberg set estimates
• Improved upper bounds for Falconer distance set problem

Main Results

Sharpness of Theorem 1.2

The lower bound $n\min\{\dim X, 1\}$ is sharp. Counterexample: if $X$ is contained in a union of disjoint planes $\bigcup F_i$ where $\sum \dim F_i \leq n-1$, then $\dim P_{n-1}(X) \leq (n-2)\min\{\dim X, 1\}$

Quantitative Version (Theorem 6.3)

For NC plane collections and measures in $c$-stable position, there exist parameters such that the measures possess thin hyperplane properties.

Conclusions and Discussion

Main Conclusions

1. Establishes a sharp continuum Beck-type theorem for hyperplanes
2. Proves the necessity and sufficiency of the NC condition
3. Develops new technical tools for handling high-dimensional geometric configurations

Technical Contributions

• Systematic development of thin $k$-plane theory
• Introduction of the stable position concept
• Establishment of an inductive proof framework

Future Directions

1. Generalization to other geometric objects (e.g., spheres, surfaces)
2. Applications to other harmonic analysis problems
3. Improvement of constant dependencies in quantitative estimates

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Establishes a complete theoretical framework from discrete to continuum
2. Technical Innovation: The concepts of thin $k$-planes and stable position have independent value
3. Rigorous Proof: Clear inductive structure with careful technical details
4. Sharp Results: Obtains optimal dimension lower bounds

Technical Highlights

1. Unified Framework: Incorporates geometric problems of different dimensions into a unified treatment
2. Quantitative Control: Provides explicit dependence relationships for all parameters
3. Geometric Insight: The stable position concept reveals the essential structure of high-dimensional geometry

Limitations

1. Constant Dependencies: Some estimates may have suboptimal constants
2. Technical Complexity: The proof involves multiple layers of induction with high comprehension barriers
3. Scope of Applications: Primarily limited to affine geometric settings

Impact

This work has significant importance at the intersection of harmonic analysis and geometric combinatorics, providing new technical tools and theoretical frameworks for related research. The thin $k$-plane theory is expected to find applications in other geometric problems.

References

1. Beck, J. (1983). On the lattice property of the plane and some problems of Dirac, Motzkin and Erdős in combinatorial geometry.
2. Orponen, T., Shmerkin, P., Wang, H. (2024). Kaufman and Falconer estimates for radial projections and a continuum version of Beck's theorem.
3. Ren, K. (2023). Discretized Radial Projections in Rd.
4. Do, T. (2020). Extending Erdős–Beck's theorem to higher dimensions.