← Experiments
← Back
Next →
E-011 — Li coefficients n<=2000 from arithmetic side (Bombieri-Lagarias Thm 2 eta-form; flint Stieltjes + Arb zeta; zero-free); ALL CHECKS PASS
08-18-2026 · 2000 rows · script
research/numerics/scripts/E-011-li-coefficients-arithmetic.py
Metadata
Bombieri-Lagarias Theorem 2 (eta-form): lambda_n from Stieltjes constants (parallel mpmath sweep, series division) + Arb zeta values; zero-free
Validation checks
V1_lambda1_exact
PASS
V2_matches_E008_zero_side
PASS
V3_all_positive
PASS
V5_precision_self_consistent
PASS
Key values
lambda_1 0.0230957089661210338143102479065lambda_10 2.27933936319316lambda_100 118.603775376791lambda_1000 2326.05316168647lambda_n_max 5351.7595383815asymptotic_ratio_at_n_max 1.0021569self_consistency_rel_dev 6.67e-705
Parameters
n_max 2000dps 1000arb_bits 3530
Caveats
mpmath 1.3 + Python 3.14: mp.zeta broken beyond ~16 digits; zeta values via flint.arb; mp.zetazero unaffected mpmath arithmetic is not interval-rigorous; certification rests on self-consistency + E-008 cross-checks; an Arb ball-arithmetic upgrade would make this fully rigorous
Data preview (2000 rows total)
← Experiments
← Back
Next →