Cited by 16Limits and Structures in Graph TheoryAdvanced Combinatorial MathematicsAnalytic Number Theory Research

New applications of the polynomial method: The cap set conjecture and beyond

Open access
Grochow, Joshua·2018·Bulletin of the American Mathematical Society

Abstract

The cap set problem asks how large can a subset of ( Z / 3 Z ) n be and contain no lines or, more generally, how can large a subset of ( Z / p Z ) n be and contain no arithmetic progressions. This problem was motivated by deep questions about structure in the prime numbers, the geometry of lattice points, and the design of statistical experiments. In 2016, Croot, Lev, and Pach solved the analogous problem in ( Z / 4 Z ) n , showing that the largest set without arithmetic progressions had size at most c n for some c > 4 . Their proof was as elegant as it was unexpected, being a departure from the tried and true methods of Fourier analysis that had dominated the field for half a century. Shortly thereafter, Ellenberg and Gijswijt leveraged their method to resolve the original cap set problem. This expository article covers the history and motivation for the cap set problem and some of the many applications of the technique: from removing triangles from graphs, to rigidity of matrices, and to algorithms for matrix multiplication. The latter application turns out to give back to the original problem, sharpening our understanding of the techniques involved and of what is needed for showing that the current bounds are tight. Most of our exposition assumes only familiarity with basic linear algebra, polynomials, and the integers modulo N .

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1090/bull/1648

Cites

140 of 140 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

Research works printed but not linked: 4

  1. Bose, R. C., 1947, Mathematical theory of the symmetrical factorial design, Sankhy\={a}, 8, 107
  2. Chowla, S., 1944, There exists an infinity of 3—combinations of primes in A. P, Proc. Lahore Philos. Soc., 6, 15
  3. Pellegrino, Giuseppe, 1970, Sul massimo ordine delle calotte in 𝑆_{4,3}, Matematiche (Catania), 25, 149
  4. Segre, Beniamino, 1967, Introduction to Galois geometries, Atti Accad. Naz. Lincei Mem. Cl. Sci. Fis. Mat. Natur. Sez. Ia (8), 8, 133

Cited by

Sorted by citations

Authors
Grochow, J.
Affiliations
University of Colorado Boulder (US)
Corresponding author
Grochow, Joshua
Venue
Bulletin of the American Mathematical Society
Published
2018-10-01
Volume
56
Issue
1
Pages
29-64
ISSN
  • 0002-9904 (ISSN-L)
  • 1088-9485
  • 0273-0979
OpenAlex
W2895170202
Cited by
16
References
140
Citations by year
2026: 1 · 2025: 3 · 2024: 3 · 2023: 2 · 2022: 3 · 2021: 3 · 2019: 1
FWCI
1.74
Type
journal article
Language
en
Open access
Locations
Bulletin of the American Mathematical Society (publishedVersion)
Funders
American Institute of Mathematics
Topics
  • Physical Sciences › Mathematics › Discrete Mathematics and Combinatorics › Limits and Structures in Graph Theory
  • Physical Sciences › Mathematics › Discrete Mathematics and Combinatorics › Advanced Combinatorial Mathematics
  • Physical Sciences › Mathematics › Algebra and Number Theory › Analytic Number Theory Research
Keywords
polynomial method, arithmetic progressions, finite fields, triangle-free graphs, matrix rigidity, matrix multiplication algorithms, additive combinatorics, Fourier analysis

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review