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

Tables

n100000
sup_abs_d1.1286944467284874
argmax94352
gamma_argmax71128.97080156027
first_cross_index9
gamma_first_cross48.00515088116716
centered_sup1.1030397909602647
cstar-0.02565465576822247
mean_d-6.988858649370489e-06
rms_d0.3108484384964092
count_abs_ge_quarter43588
min_gap0.021860465151190524
min_gap_index95248
gamma_at_min_gap71732.90120787236

D_M

11.1286944467284874
20.7951094246158471
40.4725894059501196
80.2161596056119217
160.10263498809093101
320.06161062998700859
640.02796555305213705
1280.015008907134334264
2560.007694854688348393
5120.004062270624299117
10240.0019394880997338293
20480.000996519226034616
40960.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
}