An autocorrelation constant related to Sidon sets

Upper bound, last-listed row

| $1.502862$ | [T2026] | TogetherAItracked since 2026-07-24 — no movement seen yet

Lower bound, last-listed row

| $1.292*$ | [PBV2026] | Unverified (see README asterisk convention) |bound cell edited 2026-09-26

Checked against material for its cited source

• Another row, not one shown above: bound row $1.2802$ line 34 citing [IX2026] — the claim we checked: that the cited reference gives the lower bound this row lists, 1.2802 (the row's comment is empty, so the value is the whole claim). What we read supports it: Theorem 5 states that sup f∗f ≥ 1.2802 times (∫f)² for every non-negative f supported on [−1/4, 1/4], the constant the paper itself names C1a. source link (read in the arXiv preprint, version 1 (6 May 2026), the only version the saved abstract page listed: Theorem 5 on p. 5 and its proof on pp. 16–17, from page images of a copy saved on 2026-09-21). Selected: drawn by its position in the list of cited rows, not because it looked wrong.
• Another row, not one shown above: bound row $1.5053$ line 17 citing [GGSWT2025] — the claim we checked: that the cited reference gives the upper bound 1.5053 from AlphaEvolve's May 2025 announcement, as the row's comment says. What we read supports the number but cannot settle where it came from: the paper states the stronger AlphaEvolve bound 1.5032, which implies 1.5053 is an upper bound too, and lists a construction scoring 1.5053; the passages read do not connect 1.5053 to a May 2025 announcement, which is what the row’s comment says it is. source link (read in arXiv version 3 (22 Dec 2025), printed pp. 14–16 as page images and pp. 1–2 as text, with a whole-text search; version 1 (3 Nov 2025) as text only; version 2 not opened. The entry names no version, so versions 1 and 3 are both editions of the cited work). Selected: drawn by its position in the list of cited rows, not because it looked wrong.

2 bound row(s) here have been checked against material for their cited source (2 drawn by position, 0 chosen because something already looked wrong). Across this whole ledger 70 row(s) have been drawn by position, against 691 rows that name a source, counted on 2026-09-27: 64 were checked against material for their cited sources and for 6 the cited source could not be read at all. 5 more were chosen for suspicion and checked; they are counted apart, because a set selected for suspicion carries no rate. A row not listed here has NOT been checked.