pith. sign in

arxiv: 2604.25893 · v1 · submitted 2026-04-28 · 🧮 math.NT · math.CO

A structure theorem for sets with doubling 4+δ

Yifan Jing , Akshat Mudgal This is my paper

Pith reviewed 2026-05-07 14:35 UTC · model grok-4.3

classification 🧮 math.NT math.CO MSC 11B30
keywords structure theoremdoubling constantadditive combinatoricssumsetsgeneralized arithmetic progressions
0
0 comments X

The pith

Integer sets with doubling at most 4+δ have a controlled additive structure when δ is small.

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

The paper proves a structure theorem for finite subsets A of the integers satisfying |A+A| ≤ (4 + δ)|A| with δ > 0 sufficiently small. This extends the earlier classification for doubling strictly below 4 due to Eberhard, Green and Manners, and advances Green's question on the possible forms of sets at the doubling threshold of 4. A sympathetic reader cares because the result refines the correspondence between sumset size and arithmetic regularity, showing that sets cannot deviate much from low-dimensional patterns once the doubling constant is pinned near 4.

Core claim

We prove a structural result for sets of integers with doubling at most 4 + δ, with δ > 0 sufficiently small. This generalises earlier work of Eberhard–Green–Manners which dealt with sets of integers with doubling strictly less than 4, and makes progress towards a question of Green.

What carries the argument

The doubling constant |A+A|/|A| bounded by 4 + δ, together with the structural description of A as an approximate low-dimensional generalized arithmetic progression.

If this is right

  • Such sets remain close to generalized arithmetic progressions of bounded dimension.
  • The transition to higher-dimensional or unstructured sets must occur at some doubling strictly larger than 4.
  • Progress is made on the full classification of integer sets with doubling at most 4.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result may enable effective algorithms to detect or approximate such sets inside large intervals.
  • Analogous statements could be tested in other abelian groups where doubling thresholds are known.
  • Computational searches for minimal counterexamples at slightly larger δ would test the sharpness of the small-δ hypothesis.

Load-bearing premise

That δ is sufficiently small.

What would settle it

An explicit finite set A of integers with |A+A| ≤ (4 + 0.01)|A| whose additive structure deviates from the form stated in the theorem.

read the original abstract

We prove a structural result for sets of integers with doubling at most $4 + \delta$, with $\delta>0$ sufficiently small. This generalises earlier work of Eberhard--Green--Manners which dealt with sets of integers with doubling strictly less than $4$, and makes progress towards a question of Green.

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 / 2 minor

Summary. The manuscript proves a structure theorem for finite sets A of integers with doubling constant at most 4 + δ for all sufficiently small δ > 0. It generalizes the Eberhard–Green–Manners classification (which handled doubling strictly less than 4) by first invoking a quantitative Freiman-type theorem to obtain an approximate arithmetic progression and then absorbing the δ-perturbation via a stability lemma whose constants may depend on δ, without changing the structural conclusion.

Significance. If the argument holds, the result is a meaningful incremental advance in additive combinatorics: it supplies a stability version that bridges the doubling threshold at 4 and makes concrete progress on Green’s question about the structure of sets with small doubling. The self-contained proof, explicit references to prior quantitative Freiman theorems, and handling of the finite-set case are strengths.

major comments (2)
  1. [§3] §3, stability lemma: the claim that the δ-error is absorbed without altering the structural conclusion relies on constants that depend on δ; the manuscript must verify that these constants remain finite and uniform for all δ smaller than some explicit positive threshold, otherwise the 'sufficiently small' quantifier is not fully justified.
  2. [§2] §2, application of the quantitative Freiman theorem: the error term produced by the approximate arithmetic progression must be shown to be o(|A|) uniformly in the δ-regime; if the Freiman constant grows faster than the stability lemma can compensate, the reduction to the δ = 0 case fails for some sequences of sets.
minor comments (2)
  1. [Abstract] The abstract and introduction should state the dependence of the implicit constant on δ more explicitly (e.g., 'for all δ < δ0 where δ0 > 0 is absolute').
  2. [§1] Notation for the doubling constant K = |A+A|/|A| is used interchangeably with the bound 4 + δ; a single consistent symbol would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive evaluation, and for highlighting these points on uniformity. We address each major comment below and will incorporate clarifications into the revised manuscript.

read point-by-point responses

  1. Referee: [§3] §3, stability lemma: the claim that the δ-error is absorbed without altering the structural conclusion relies on constants that depend on δ; the manuscript must verify that these constants remain finite and uniform for all δ smaller than some explicit positive threshold, otherwise the 'sufficiently small' quantifier is not fully justified.

    Authors: The stability lemma (Lemma 3.2) is stated with constants that may depend on δ, but its proof establishes that these constants are finite for each fixed δ > 0. The threshold δ0 is chosen first (depending only on the structural parameters from the δ = 0 case) so that for all δ < δ0 the δ-perturbation is absorbed while preserving the arithmetic-progression structure up to o(|A|) error. We will add an explicit paragraph after the statement of Lemma 3.2 that records this choice of δ0 and confirms that the constants remain bounded uniformly on [0, δ0). revision: yes

  2. Referee: [§2] §2, application of the quantitative Freiman theorem: the error term produced by the approximate arithmetic progression must be shown to be o(|A|) uniformly in the δ-regime; if the Freiman constant grows faster than the stability lemma can compensate, the reduction to the δ = 0 case fails for some sequences of sets.

    Authors: The quantitative Freiman theorem invoked in §2 (Theorem 2.3) is applied to sets whose doubling is at most 4 + δ with δ fixed and smaller than the δ0 chosen in §3. For any such fixed δ the Freiman constant is therefore a fixed finite number, and the resulting approximation error is o(|A|) as |A| → ∞. The stability lemma then absorbs the remaining δ-perturbation. We will insert a short calculation in the proof of Theorem 1.1 (immediately after the application of Theorem 2.3) that makes the o(|A|) bound explicit and uniform for δ < δ0, thereby confirming that the reduction to the δ = 0 case remains valid throughout the regime. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation extends independent prior results

full rationale

The paper's central claim is a generalization of the Eberhard–Green–Manners classification (distinct authors) for doubling strictly less than 4 to the case of doubling at most 4+δ for sufficiently small δ>0. The argument applies a quantitative Freiman-type theorem to obtain an approximate arithmetic progression and then absorbs the δ-perturbation via a stability lemma whose constants may depend on δ. All steps are explicitly referenced to prior independent results with no self-citations that are load-bearing, no fitted parameters renamed as predictions, and no self-definitional reductions. The structure theorem remains non-circular and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no information is given on free parameters, background axioms, or new entities introduced in the proof.

pith-pipeline@v0.9.0 · 5333 in / 1097 out tokens · 136146 ms · 2026-05-07T14:35:19.668719+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Sets with Few Subset Sums

    math.CO 2026-05 unverdicted novelty 7.0

    Stability versions of the inverse theorem for subset sums are proved: n-element positive real sets with at most binom(n+1,2)+1+M subset sums are characterized for M up to n-4, and sets with O(n^2) subset sums are char...

Reference graph

Works this paper leans on

29 extracted references · 3 canonical work pages · cited by 1 Pith paper

  1. [1]

    Bilu,Structure of sets with small sumset, Structure theory of set addition, Ast´ erisque No

    Y. Bilu,Structure of sets with small sumset, Structure theory of set addition, Ast´ erisque No. 258 (1999), xi, 77–108

    1999

  2. [2]

    Conlon, J

    D. Conlon, J. Lim,Difference sets inR d, Israel J. Math.267(2025), no. 2, 729–748

    2025

  3. [3]

    Eberhard,The abelian arithmetic regularity lemma, arXiv:1606.09303

    S. Eberhard,The abelian arithmetic regularity lemma, arXiv:1606.09303

    work page arXiv

  4. [4]

    Eberhard, B

    S. Eberhard, B. Green, F. Manners,Sets of integers with no large sum-free subset, Ann. of Math. (2) 180(2014), no. 2, 621–652

    2014

  5. [5]

    Figalli, D

    A. Figalli, D. Jerison,Quantitative stability for sumsets inR n, J. Eur. Math. Soc. (JEMS)17(2015), no. 5, 1079–1106

    2015

  6. [6]

    G. A. Freiman,Structure theory of set addition. II. Results and problems, Paul Erd˝ os and his mathe- matics, I (Budapest, 1999), 243–260. Bolyai Soc. Math. Stud., 11

    1999

  7. [7]

    W. T. Gowers,A new proof of Szemer´ edi’s theorem for arithmetic progressions of length four, Geom. Funct. Anal.8(1998), no. 3, 529–551

    1998

  8. [8]

    W. T. Gowers, B. Green, F. Manners, T. Tao,On a conjecture of Marton, Ann. of Math. (2)201 (2025), no. 2, 515–549

    2025

  9. [9]

    Green,100 Open problems, Available online

    B. Green,100 Open problems, Available online

  10. [10]

    Green, I

    B. Green, I. Z. Ruzsa,Sets with small sumset and rectification, Bull. London Math. Soc.38(2006), no. 1, 43–52

    2006

  11. [11]

    Green, T

    B. Green, T. Tao,Compressions, convex geometry and the Freiman-Bilu theorem, Q. J. Math. 57 (2006), no. 4, 495–504. 30 YIF AN JING AND AKSHAT MUDGAL

    2006

  12. [12]

    Green, T

    B. Green, T. Tao,Quadratic uniformity of the M¨ obius function, Ann. Inst. Fourier (Grenoble)58 (2008), no. 6, 1863–1935

    2008

  13. [13]

    Green, T

    B. Green, T. Tao,An arithmetic regularity lemma, an associated counting lemma, and applications, An irregular mind, 261–334. Bolyai Soc. Math. Stud., 21

  14. [14]

    Jin,Freiman’s inverse problem with small doubling property, Adv

    R. Jin,Freiman’s inverse problem with small doubling property, Adv. Math.216(2007), no. 2, 711–752

    2007

  15. [15]

    Y. Jing, A. Mudgal,Kemperman’s inequality and Freiman’s lemma via few translates, arXiv:2307.03066

    work page arXiv

  16. [16]

    V. F. Lev,Optimal representations by sumsets and subset sums, J. Number Theory62(1997), no. 1, 127–143

    1997

  17. [17]

    V. F. Lev, P. V. Smeliansky,On addition of two distinct sets of integers, Acta Arith.70(1995), no. 1, 85–91

    1995

  18. [18]

    Mudgal,New lower bounds for cardinalities of higher dimensional difference sets and sumsets, Dis- crete Anal

    A. Mudgal,New lower bounds for cardinalities of higher dimensional difference sets and sumsets, Dis- crete Anal. 2022, Paper No. 15, 19 pp

    2022

  19. [19]

    Mudgal,An Elekes–R´ onyai theorem for sets with few products, Int

    A. Mudgal,An Elekes–R´ onyai theorem for sets with few products, Int. Math. Res. Not. IMRN2024, no. 13, 10410–10424

  20. [20]

    Raghavan,Improved Bounds for the Freiman-Ruzsa Theorem, arXiv:2512.11217

    R. Raghavan,Improved Bounds for the Freiman-Ruzsa Theorem, arXiv:2512.11217

    work page arXiv

  21. [21]

    Reiher, T

    C. Reiher, T. Schoen,Note on the theorem of Balog, Szemer´ edi, and Gowers, Combinatorica44(2024), no. 3, 691–698

    2024

  22. [22]

    van Hintum, H

    P. van Hintum, H. Spink, M. Tiba,Sharp quantitative stability of the planar Brunn-Minkowski inequal- ity, J. Eur. Math. Soc. (JEMS) 26 (2024), no. 2, 695–730

    2024

  23. [23]

    Sanders,On the Bogolyubov-Ruzsa lemma, Anal

    T. Sanders,On the Bogolyubov-Ruzsa lemma, Anal. PDE5(2012), no. 3, 627–655

    2012

  24. [24]

    Sanders,The structure theory of set addition revisited, Bull

    T. Sanders,The structure theory of set addition revisited, Bull. Amer. Math. Soc. (N.S.)50(2013), no. 1, 93–127

    2013

  25. [25]

    Shao,On an almost all version of the Balog-Szemer´ edi-Gowers theorem, Discrete Anal

    X. Shao,On an almost all version of the Balog-Szemer´ edi-Gowers theorem, Discrete Anal. 2019, Paper No. 12, 18 pp

    2019

  26. [26]

    Sudakov, E

    B. Sudakov, E. Szemer´ edi, V. H. Vu,On a question of Erd˝ os and Moser, Duke Math. J. 129 (2005), no. 1, 129–155

    2005

  27. [27]

    Tao,Continued fractions, Bohr sets, and the Littlewood conjecture,https://terrytao.wordpress

    T. Tao,Continued fractions, Bohr sets, and the Littlewood conjecture,https://terrytao.wordpress. com/2012/01/03/continued-fractions-bohr-sets-and-the-littlewood-conjecture/

    2012

  28. [28]

    Tao,An inverse theorem for an inequality of Kneser, Proc

    T. Tao,An inverse theorem for an inequality of Kneser, Proc. Steklov Inst. Math.303(2018), no. 1, 193–219

    2018

  29. [29]

    T. Tao, V. Vu,Additive combinatorics, Cambridge Stud. Adv. Math.,105, Cambridge University Press, Cambridge, 2006. xviii+512 pp. Department of Mathematics, The Ohio State University, Columbus OH, 43210 USA. Email address:jing.245@osu.edu Mathematics Institute, Zeeman Building, University of W arwick, Coventry CV4 7AL, United Kingdom Email address:Akshat.M...

    2006