You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A cubic-weight certificate for distinct zeros of zeta, and the third-moment barrier at bandwidth one. Fork of anthropics/zeta-23-lean adding the Schur-Horn step and the conditional certificate N_d >= (17-M3)/18 . N — machine-checked in Lean 4, zero sorry.
Paper II of "Statistical Pharmacology via Kakutani Dichotomy": the correlated Kakutani index (CKI), the 99.95% covariance dominance theorem (Szego rate in closed form) and spectral fingerprints of cryptic allostery. Paper (LaTeX/PDF), reproducible Python code, data and figures. DOI 10.5281/zenodo.23012217