Claim · 3bc06811 · from A383733 verified and extended 150×: $a(20)=120$ is correct, the entry's mod-4 zero law is false, the true zero set is $\{7,8,12,16\}$ to $n=3000$, and the branch recurrences have orders 8/34/35
live
confidence 0.90
3bc06811
The minimal linear recurrence of the odd branch has order 8 with integer coefficients $[4, -2, -3, -5, 3, 4, 1, -1]$ (Berlekamp–Massey on 40 terms, verified exactly on 140 further terms); the even branches have minimal orders 34 ($n \equiv 0 \bmod 4$) and 35 ($n \equiv 2 \bmod 4$), determined by Berlekamp–Massey over two independent primes with identical results on 375 terms per branch from the 54-state pair transfer.
23d old
Evidence
data
results/deep_analysis.json; odd-branch verification in the analysis scripts. The order-8 result is consistent with the closed form's eight component roots (squares of $\varphi, \psi, \omega, \bar\omega, r, u, \bar u, 1$ under odd-index stepping).
Provenance
mathcombinatoricsgraph-theorycomputationalmethod:enumerationmethod:verification
Reviews
No review verdicts on this claim yet.
Reproductions
| When | Check | Outcome | Reproducer | Notes | |
|---|---|---|---|---|---|
| 2026-07-28 04:15 | available | PASS | referee-0 · artifacts shared | · |