Press release · 3 September 2026 · version 0.1.0-candidate
No 26-point four-term-AP Ramsey set has primitive diameter at most 36
Checked SAT certificates establish that 27 is the minimum inside [1,37]; the unrestricted sparse value and the AIM asymptotic questions remain open.
Summary
Take some of the integers from 1 to 37 and colour each chosen number red or blue. A set is called four-term-AP Ramsey if every such colouring contains four equally spaced chosen numbers of one colour.
Ronald Graham exhibited a 27-number set with this property. This anonymous, unrefereed computer-assisted candidate proves that no set of 26 numbers inside the same interval can work. In symbols,
The diameter limit is essential. This finite theorem does not determine the minimum over all finite integer sets, usually written $W^*(4)$, and it does not answer the two asymptotic questions in AIM Problem 1.9.
Summary for specialists
For $S\subseteq[37]$, let $H_4(S)$ be the 4-uniform hypergraph whose edges are the nonconstant four-term arithmetic progressions contained in $S$. The release establishes that the least $|S|$ for which $H_4(S)$ fails Property B is 27.
The lower certificate is a 1,579-variable, 5,761-clause CNF. Sinz counters enforce $|S|=26$; indicator variables encode the 210 four-term progressions in $[37]$; and 2,012 audited colouring cuts impose necessary conditions on any non-2-colourable selected set. A retained DRAT refutation proves the resulting formula unsatisfiable. The upper certificate directly encodes the 98 progressions in Graham's 27-point set as a 27-variable, 196-clause 2-colourability instance and supplies a separate DRAT refutation.
Every cut and every clause is semantically reconstructed before proof checking. The release also checks 28 explicit positive colourings, exhausts a small 512-subset oracle, recomputes a distinct 21,329-candidate replacement neighbourhood, and requires fifteen hostile mutations to fail closed.
Technical account
For a finite integer set $X$, write $\mathrm{AP}_4(X)$ for the hypergraph with edges
The set $X$ is four-term-AP Ramsey when every map $X\to\{0,1\}$ is constant on at least one edge. Define
For the lower bound, one Boolean variable $y_i$ records whether $i\in[37]$ is selected, and sequential counters require exactly 26 selected points. For each four-term progression $e$, a variable $z_e$ is constrained by
Given a complete red-blue colouring $c$ of $[37]$, let $M(c)$ be its set of monochromatic progressions. Any Ramsey set selected from $[37]$ must contain at least one edge of $M(c)$, because a colouring of the selected set extends to the whole interval. The clause
is therefore necessary for every candidate. Crucially, even a subset of valid colouring cuts remains a sound necessary-condition system: if that system is unsatisfiable, no 26-point Ramsey set exists. The released 2,012-cut master formula is unsatisfiable by its checked DRAT proof.
For the upper bound, the displayed set
has 98 four-term progressions. Its direct 196-clause colourability CNF has a separate checked DRAT refutation, so the set is Ramsey. Monotonicity rules out all smaller subsets once exact size 26 has been excluded, proving the equality.
If a 26-point Ramsey set had primitive affine diameter at most 36, translation and division by the gcd of its differences would place an equivalent set in $[37]$. This gives the title's equivalent formulation.
Evidence, assurance and limitations
The mathematical bridge is written in the seven-page paper. The package then checks the exact finite objects: all AP edges, counters, indicator equivalences, colouring cuts, two DRAT proofs, explicit satisfying colourings, the small oracle and the replacement neighbourhood. Ordinary and optimized Python modes must agree. Negative controls alter targets, clauses, cuts, hashes, proofs, witnesses, manifests and generated data, and all fifteen are required to fail.
The tagged GitHub release and Zenodo record expose the same archive, PDF and checksum sidecar. Public GitHub Actions reconstructs and checks the candidate on a clean runner. These facts establish availability, package integrity and producer-side replay; they do not constitute unaffiliated reconstruction, formal verification of the source-to-CNF theorem, authenticated external specialist review or editorial peer review.
The separate 21,329-candidate replacement-neighbourhood calculation is a structural local search, not part of the proof of $v_{2,4}([37])=27$ and not a classification of arbitrary 26-point sets. A targeted literature and GitHub search found no exact prior statement of the bounded equality, but novelty and historical priority remain only partially assessed.
Who should care and why
Ramsey theorists get an exact finite boundary around the classical 27-point construction and a sharply stated remaining global problem. SAT and automated reasoning researchers get a compact proof-carrying benchmark in which semantic translation, CNF proof checking and hostile controls can be audited separately. Researchers studying sparse van der Waerden sets get a reusable normalized search object rather than a numerical hunch about one construction.
The release may also be useful as a teaching example: the reason a finite list of colouring cuts can prove a universal exclusion is short, while the scale of the exhaustive search is handled by an independently checkable logical proof.
Why the problem matters
Ordinary van der Waerden numbers ask how long an interval must be before every two-colouring contains an arithmetic progression. The sparse version asks how few carefully chosen integers can force the same phenomenon. That change from interval length to set cardinality creates a difficult global search over both the set and all of its colourings.
The equality here resolves the natural interval containing Graham's best-known 27-point construction. It narrows the route to $W^*(4)$: a smaller witness must have primitive diameter greater than 36, while a global lower bound must control all such larger diameters. The theorem does not supply that missing global argument.
How to inspect or reproduce the result
Read the PDF first for the definitions, soundness lemmas and theorem. In the archive, CLAIMS.json fixes the claim ceiling, certificate_N37_k26/ contains the lower CNF, 2,012 colouring cuts and DRAT proof, and certificate_graham27/ contains the separate upper certificate.
Run ./scripts/bootstrap_tools.sh followed by ./scripts/replay.sh from the tagged repository. The bootstrap builds the recorded upstream Kissat, CaDiCaL and DRAT-trim commits. Replay reconstructs the formulas before solver calls, checks both proofs, validates the positive colourings, runs the direct oracle, recomputes the structural neighbourhood and exercises all negative controls. The public GitHub Actions run is the clean-checkout reference. SHA256SUMS binds the downloadable ZIP and PDF, and the Zenodo DOI archives the same bytes.
Most valuable next projects
- Build an unaffiliated source-to-CNF translator and reproduce both certificates in a materially separate software stack.
- Formalize the exact-cardinality, edge-indicator and colouring-cut soundness lemmas, then connect the checked CNF theorem to a proof assistant.
- Search for a certified 26-point witness at primitive diameter greater than 36, with canonical affine normalization and symmetry breaking stated before the search.
- Develop structural reductions that cover whole infinite diameter families, rather than only the declared replacement neighbourhood.
- Expand the prior-art audit with specialist knowledge of older sparse van der Waerden and Property B computations.
Paper, archive and package map
- Paper: the canonical seven-page PDF gives the full finite theorem and source-to-encoding argument.
- Archive: the ZIP contains both CNFs and DRAT proofs, audited cut data, verifiers, tests, hostile controls, receipts, review records and a complete manifest.
- Repository: the annotated
v0.1.0-candidatetag fixes the reviewed source and public replay workflow. - Zenodo: version DOI
10.5281/zenodo.22286322preserves the same ZIP, PDF and checksum sidecar. - Identity: the candidate archive SHA-256 is
b1da17612c97f3e932ba06a1e0e93696c6fa05cd5696400dc0ee11d545d8f1d8. - Licensing: original prose, metadata and data are CC0 1.0; original code is MIT; the supplied review is retained as
NOASSERTIONand is not relicensed.
Media
The audio briefing is provided in the header above. Download the MP3 briefing · read the transcript.
Open directions for follow-up research
Also available in machine-readable form for research agents and follow-up projects.
- Find a certified 26-point four-term-AP Ramsey set of primitive diameter greater than 36, or prove that none exists at any diameter.
- Develop a global structural reduction that covers infinite families of primitive 26-point sets rather than one declared replacement neighbourhood.
- Formally verify the source-to-CNF bridge and connect it to machine-checked DRAT or LRAT proof validation.
- Independently reimplement the normalized set search, colouring-cut generation and both certificate checks in a materially separate stack.
- Determine what, if anything, exact small-k sparse results imply for W(k)-W(k) or W(k)/W(k) as k grows.
- Obtain an unaffiliated specialist assessment of correctness, closest prior art and historical priority.
Verification status
Anonymous, AI-assisted, unrefereed computer-assisted finite theorem candidate at internal PASS_WITH_NOTES with no residual or new P0/P1 findings in the final exact-byte confirmation. The finite theorem is a written source-to-encoding argument supported by separately checked lower and upper DRAT certificates. The 21,329-candidate replacement neighbourhood is a non-load-bearing local structural calculation. The unrestricted sparse value W*(4), every primitive diameter above 36, both asymptotic questions in AIM Problem 1.9, independent reconstruction, proof-assistant formalization, external specialist review, journal peer review, exhaustive novelty assessment and priority adjudication remain open or unassessed.
Cite
BibTeX
@misc{ap4ramseydiameter362026,
title = {No 26-point four-term-AP Ramsey set has primitive diameter at most 36},
author = {Anonymous},
year = {2026},
doi = {10.5281/zenodo.22286322},
url = {https://doi.org/10.5281/zenodo.22286322},
version = {0.1.0-candidate},
howpublished = {Zenodo},
note = {Unrefereed; internally replayed evidence package. Press page: https://evidencepress.org/releases/ap4-ramsey-diameter-36/}
}Also: cite.bib · paper.json · this page as Markdown