pith. sign in

arxiv: 2511.08757 · v2 · submitted 2025-11-11 · 🧮 math.CA · math.CO

Bourgain-type projection theorems over finite fields

Alex Rose This is my paper

Pith reviewed 2026-05-17 23:49 UTC · model grok-4.3

classification 🧮 math.CA math.CO
keywords Bourgain projection theoremfinite fieldsexceptional setsharmonic analysisdiscrete geometryhigher dimensions
0
0 comments X

The pith

Finite-field analogs of Bourgain's projection theorem hold in higher dimensions and improve on Chen's exceptional set estimates for certain parameters.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves analogs of Bourgain's projection theorem over finite fields in higher dimensions. It focuses on bounding the exceptional sets where projections do not preserve the expected dimension. For a range of parameters, these bounds improve upon those given by Chen across all dimensions and codimensions. Such results bridge continuous and discrete geometry, potentially aiding problems in finite field combinatorics where projections of sets need to be controlled.

Core claim

The paper proves finite-field analogs of Bourgain's projection theorem in higher dimensions. In particular, for a certain range of parameters it improves on an exceptional set estimate by Chen in all dimensions and codimensions.

What carries the argument

The exceptional set estimate for projections over finite fields, which controls the size of bad directions or subspaces where dimension is not preserved.

Load-bearing premise

The improvement relies on the existence of a non-empty certain range of parameters where the new estimate beats Chen's bound.

What would settle it

A counterexample in a specific dimension, codimension and parameter value where the exceptional set size exceeds the improved bound claimed in the paper would disprove the result.

read the original abstract

We prove finite-field analogs of Bourgain's projection theorem in higher dimensions. In particular, for a certain range of parameters we improve on an exceptional set estimate by Chen in all dimensions and codimensions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript proves finite-field analogs of Bourgain's projection theorems in higher dimensions. In particular, for a certain range of parameters it improves Chen's exceptional-set estimate in all dimensions and codimensions.

Significance. If the stated improvement holds unconditionally for the claimed range, the work would extend projection theorems to the finite-field setting in higher dimensions and strengthen existing exceptional-set bounds. This could be useful for discrete harmonic analysis and additive combinatorics over finite fields, provided the range is non-vacuous and the proofs do not implicitly require large field size.

major comments (2)
  1. [§1] §1 (Introduction) and the statement of the main theorem: the improvement on Chen's exceptional-set bound is asserted only for an unspecified 'certain range of parameters.' No explicit relation between dimension, codimension, and |F| is given, nor is it shown that the range is non-empty for every finite field (including small ones). This is load-bearing for the central claim of improvement in all dimensions and codimensions; the range must be stated explicitly with field-size dependence clarified.
  2. [Abstract and §1] The abstract and introduction claim finite-field analogs without visible proof sketches or hypotheses on characteristic or field size. If the estimates rely on |F| ≫ 1 or char(F) = 0, this must be stated; otherwise the improvement cannot be verified as unconditional.
minor comments (1)
  1. Notation for projections and exceptional sets should be introduced with a clear comparison table to Chen's original bounds.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need for greater precision in the statement of our results. We address the two major comments below and have revised the manuscript to incorporate the requested clarifications.

read point-by-point responses

  1. Referee: [§1] §1 (Introduction) and the statement of the main theorem: the improvement on Chen's exceptional-set bound is asserted only for an unspecified 'certain range of parameters.' No explicit relation between dimension, codimension, and |F| is given, nor is it shown that the range is non-empty for every finite field (including small ones). This is load-bearing for the central claim of improvement in all dimensions and codimensions; the range must be stated explicitly with field-size dependence clarified.

    Authors: We agree that the range must be stated explicitly. In the revised manuscript we have updated Theorem 1.1 to give the precise condition: the improvement over Chen's bound holds whenever |F| > C(d,k) for an explicit constant C depending only on dimension d and codimension k (arising from the incidence estimates in the proof). We have added a short remark verifying that, for any fixed d and k, this range is non-empty for all sufficiently large finite fields. For very small fields the improvement may not hold or may be vacuous, and we now state this limitation clearly rather than claiming the result for every finite field. revision: yes

  2. Referee: [Abstract and §1] The abstract and introduction claim finite-field analogs without visible proof sketches or hypotheses on characteristic or field size. If the estimates rely on |F| ≫ 1 or char(F) = 0, this must be stated; otherwise the improvement cannot be verified as unconditional.

    Authors: The proofs are valid in arbitrary characteristic and do not assume char(F) = 0. However, several steps require |F| to be larger than a constant depending on d and k. We have now inserted this explicit hypothesis into the abstract, the introduction, and the statement of the main theorem. We have also added a brief proof sketch in §1 that outlines the key steps (reduction to incidence geometry, application of finite-field Szemerédi–Trotter-type bounds, and the exceptional-set argument) without any characteristic restriction beyond the size condition already stated. revision: yes

Circularity Check

0 steps flagged

No circularity: self-contained proof of finite-field projection theorems

full rationale

The paper states it proves finite-field analogs of Bourgain's projection theorem in higher dimensions and improves Chen's exceptional-set estimate for a certain range of parameters. As a pure existence/proof result in math.CA with no fitted parameters, empirical predictions, or self-referential definitions visible in the abstract or summary, the derivation chain consists of mathematical arguments that do not reduce to their own inputs by construction. No load-bearing self-citations or ansatzes smuggled via prior work are indicated, so the central claims remain independent of the patterns that would trigger circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit list of free parameters, axioms, or invented entities; standard finite-field arithmetic and vector-space properties are presumed but not audited.

pith-pipeline@v0.9.0 · 5300 in / 1085 out tokens · 19796 ms · 2026-05-17T23:49:37.137256+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Journal d’Analyse Math´ ematique, vol

    J.Bourgain, The discretized sum-product and projection theorems. Journal d’Analyse Math´ ematique, vol. 112, 2010, pp. 193–236

    work page 2010

  2. [2]

    Bright, S

    P. Bright, S. Gan, Exceptional set estimates in finite fields. Annales Fennici Mathematici, vol. 50(2), 2025, pp. 467–481

    work page 2025

  3. [3]

    Chen, Projections in vector spaces over finite fields

    C. Chen, Projections in vector spaces over finite fields. Annales Fennici Mathematici, vol. 43(1), 2018, pp. 171–185

    work page 2018

  4. [4]

    Falconer, Hausdorff dimension and the exceptional set of projections

    K. Falconer, Hausdorff dimension and the exceptional set of projections. Mathematika, vol. 29(1), 1982, pp. 109-115

    work page 1982

  5. [5]

    Grosu,F p is locally likeC

    C. Grosu,F p is locally likeC. Journal of the London Mathematical Society, vol.89(3), 2014, pp. 724-744

    work page 2014

  6. [6]

    He, Orthogonal projections of discretized sets

    W. He, Orthogonal projections of discretized sets. J. Fractal Geom. vol. 7(3), 2020, pp. 271–317

    work page 2020

  7. [7]

    Mathematika, vol

    R.Kaufman, On Hausdorff dimension of projections. Mathematika, vol. 15(2), 1968, pp. 153- 155

    work page 1968

  8. [8]

    Lund, T.Pham, L

    B. Lund, T.Pham, L. A. Vinh, Orthogonal projections in the plane over prime order fields - Preprint,https://arxiv.org/abs/2311.05148

    work page arXiv

  9. [9]

    Mattila, Hausdorff dimension, orthogonal projections and intersections with planes

    P. Mattila, Hausdorff dimension, orthogonal projections and intersections with planes. Annales Fennici Mathematici, vol. 1(2), 1975, pp. 227–244

    work page 1975

  10. [10]

    Oberlin, Restricted Radon transforms and projections of planar sets

    D. Oberlin, Restricted Radon transforms and projections of planar sets. Canadian Mathe- matical Bulletin, vol. 55(4) , 2012, pp. 815 - 820

    work page 2012

  11. [11]

    Orponen and P

    T. Orponen, P. Shmerkin, Projections, Furstenberg sets, and theABCsum-product problem. - Preprint,https://arxiv.org/abs/2301.10199

    work page arXiv

  12. [12]

    Peres, and B

    Y. Peres, and B. Schlag, Smoothness of projections, Bernoulli convolutions, and the dimension of exceptions. Duke Math. J., vol. 102(2), 2000, pp. 193-251

    work page 2000

  13. [13]

    K. Ren, H. Wang, Furstenberg sets estimate in the plane. - Preprint,https://arxiv.org/ abs/2308.08819

    work page arXiv

  14. [14]

    Stevens, F

    S. Stevens, F. de Zeeuw, An improved point-line incidence bound over arbitrary fields. Bull. London Math. Soc., vol. 49(5), 2017, pp. 842-858

    work page 2017

  15. [15]

    Toth, The Szemer´ edi-Trotter theorem in the complex plane

    C. Toth, The Szemer´ edi-Trotter theorem in the complex plane. Combinatorica, vol. 35, 2015, pp. 95–126

    work page 2015