Pith. sign in

REVIEW 4 cited by

Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2007.03528 v2 pith:WSFYAQ2B submitted 2020-07-07 math.NT math.CO

Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions

classification math.NT math.CO
keywords arithmeticprogressionsnon-trivialabsolutebarrierbreakingcaseconjecture
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We show that if $A\subset \{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert \ll N/(\log N)^{1+c}$ for some absolute constant $c>0$. In particular, this proves the first non-trivial case of a conjecture of Erd\H{o}s on arithmetic progressions.

discussion (0)

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

Forward citations

Cited by 4 Pith papers

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

  1. Beating Product Constructions for Linear Equations Over Finite Fields

    math.CO 2026-06 unverdicted novelty 8.0

    Any set avoiding a genus-one translation-invariant linear equation over finite fields can be improved upon by a higher-dimensional avoiding set with strictly higher normalized size.

  2. A strengthening of Chang's lemma

    math.NT 2026-05 unverdicted novelty 7.0

    A refinement of Chang's lemma that adds cosetwise l1 control on correlations outside the large spectrum subspace, producing a localized counting lemma for subsets of finite abelian groups.

  3. On the Furstenberg-Katznelson constant for the IP Szemeredi theorem over finite fields

    math.DS 2026-04 unverdicted novelty 7.0

    The paper establishes the existence of positive constants c and c_IP for the IP Szemeredi theorem over finite fields and gives strong quantitative bounds in the special cases of Roth and IP-Roth theorems.

  4. Witness-split + window-cardinality refinement for $r_3(N)$: Architecture, empirical results, and a structural hard pocket

    cs.LO 2026-05 unverdicted novelty 5.0

    A witness-split and window-pruning SAT framework finds no 44-element 3-AP-free subset of [1,212] but leaves two resistant instances unsolved.