Kakeya-type sum-difference constant

Upper bound, last-listed row

| $2 - \frac{1}{6} = 1.83333\dots$ | [KT1999] | |tracked since 2026-07-24 — no movement seen yet

Lower bound, last-listed row

| $1.77898884$* | [MI2026] | Entropy construction on a 13-point support. Asterisked: the certificate is a self-archived Zenodo deposit and the bound has not been independently replayed. |bound cell edited 2026-09-26

Checked against material for its cited source

• Another row, not one shown above: bound row $2 - \frac{1}{13} = 1.92307\dots$ line 16 citing [B1999] — the claim we checked: that B1999 proves the statement which, under this constant's definition (|A −_G B| is at most max(|A|, |B|, |A +_G B|) raised to the power C_3b), gives C_3b ≤ 25/13 = 2 − 1/13. What we read could not settle it. source link (reached in the cited GAFA edition, printed pp. 256–257 only, the publisher's first-page preview. Those pages state, without its proof, the Kakeya bound H-dim ≥ 13d/25 + 12/25 (Proposition 1.5), which matches this row through the file's own formula. The sum-difference estimate that defines the row's constant would be in the body, pp. 258–282, which was not read). Selected: drawn by its position in the list of cited rows, not because it looked wrong.

1 bound row(s) here have been checked against material for their cited source (1 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.