Checks · The unfolded zeros of the Riemann zeta function do not form a Riesz basis of exponentials
Recorded output over the first 100,000 zeros
The keys, in order: n, the number of zeros; sup_abs_d, the largest displacement, 1.12869, with argmax its index (94,352) and gamma_argmax its height; first_cross_index, the first displacement of size at least 1/4 (the 9th zero), with gamma_first_cross its height; centered_sup, the largest displacement after the best centering, cstar; mean_d and rms_d; count_abs_ge_quarter, the 43,588 displacements of size at least 1/4; D_M, the largest block mean for each block length from 1 to 4,096, falling from 1.129 to 0.00049; and min_gap, the smallest unfolded gap, 0.02186, with its index and height. These match Section 7 and Table 1 to the printed digits. The file records no date.
- Output of
- Verification program for the Kadec and Avdonin statistics over 100,000 zeros (checks/verify_kadec_1e5.py), shown beside it on that page
- Written by
- verify_kadec_1e5.py, a program by Claude Fable 5.1 (Anthropic)
- Size
- 866 bytes
- SHA-256
b7bb26d20e645df26c3ba86e0acb97a8238f0ede844d73b7de7375bf5f442f65
The paper's pageEvery file published with itThis file on GitHub
Tables
| n | 100000 |
|---|---|
| sup_abs_d | 1.1286944467284874 |
| argmax | 94352 |
| gamma_argmax | 71128.97080156027 |
| first_cross_index | 9 |
| gamma_first_cross | 48.00515088116716 |
| centered_sup | 1.1030397909602647 |
| cstar | -0.02565465576822247 |
| mean_d | -6.988858649370489e-06 |
| rms_d | 0.3108484384964092 |
| count_abs_ge_quarter | 43588 |
| min_gap | 0.021860465151190524 |
| min_gap_index | 95248 |
| gamma_at_min_gap | 71732.90120787236 |
D_M
| 1 | 1.1286944467284874 |
|---|---|
| 2 | 0.7951094246158471 |
| 4 | 0.4725894059501196 |
| 8 | 0.2161596056119217 |
| 16 | 0.10263498809093101 |
| 32 | 0.06161062998700859 |
| 64 | 0.02796555305213705 |
| 128 | 0.015008907134334264 |
| 256 | 0.007694854688348393 |
| 512 | 0.004062270624299117 |
| 1024 | 0.0019394880997338293 |
| 2048 | 0.000996519226034616 |
| 4096 | 0.0004904913564794435 |
JSON
{
"n": 100000,
"sup_abs_d": 1.1286944467284874,
"argmax": 94352,
"gamma_argmax": 71128.97080156027,
"first_cross_index": 9,
"gamma_first_cross": 48.00515088116716,
"centered_sup": 1.1030397909602647,
"cstar": -0.02565465576822247,
"mean_d": -6.988858649370489e-06,
"rms_d": 0.3108484384964092,
"count_abs_ge_quarter": 43588,
"D_M": {
"1": 1.1286944467284874,
"2": 0.7951094246158471,
"4": 0.4725894059501196,
"8": 0.2161596056119217,
"16": 0.10263498809093101,
"32": 0.06161062998700859,
"64": 0.02796555305213705,
"128": 0.015008907134334264,
"256": 0.007694854688348393,
"512": 0.004062270624299117,
"1024": 0.0019394880997338293,
"2048": 0.000996519226034616,
"4096": 0.0004904913564794435
},
"min_gap": 0.021860465151190524,
"min_gap_index": 95248,
"gamma_at_min_gap": 71732.90120787236
}