Constants
Published, after the 2026-08-17 fetch of Green #24 and Aaronson v4:
| quantity | value | source |
|---|---|---|
| γ lower | 1/3 | interval; Aaronson p.3 |
| γ upper (published) | 3/4 | Hardy–Littlewood / Aaronson (1.2), Lemma 2.6 |
| γ upper (this note) | 1/2 | T ≤ ⌈n²/2⌉ |
| conjecture | 1/3 | Aaronson; Green #24 |
Exact interval: T({0,…,n−1}) = A₀²+A₁²+A₂² with Aᵢ = ⌈(n−i)/3⌉. HL explicit: T ≤ (3n²+1)/4.