Pith. sign in

REVIEW 2 major objections 1 minor 15 references

Bourgain-type projection theorems over finite fields

T0 review · 2 major / 1 minor · reviewed 2026-05-17 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

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

desk verdict This paper gives finite-field analogs of Bourgain's projection theorems in higher dimensions and claims an improvement on Chen's bound, but only inside an unspecified parameter range. read the letter →

arxiv 2511.08757 v2 submitted 2025-11-11 math.CA math.CO

Alex Rose This is my paper · ORCID
classification math.CAmath.CO
keywords Bourgainprojectiontheoremfinitefieldsexceptionalsetsharmonicanalysisdiscretegeometryhigherdimensions
checked against Foundation.DimensionForcingCost.FunctionalEquation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bourgain-type projection theorems over finite fields." pith.science (2026). https://pith.science/paper/2511.08757

@misc{pith2026251108757,
  author       = {Pith},
  title        = {Pith review of: Bourgain-type projection theorems over finite fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2511.08757}},
  note         = {Machine review of arXiv:2511.08757}
}
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.

Discussion (0). Continue with ORCID to comment.

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

Show all 15 references
  1. [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

    1975

  2. [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

    2012

  3. [11]

    Orponen, P

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

  4. [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

    2000

  5. [13]

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

  6. [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

    2017

  7. [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

    2015

Pith tools

Reviewed May 17, 2026 · model on record in the stance chip above.