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.
Corrected companion to Quantum 8, 1282: Schmidt-spectrum dynamics, exact metric envelopes, majorization, and metric-robust entanglement trajectories.
Miura-ori origami flip graphs: candidate general diameter proof using convex order, majorization, and discrete Lipschitz functions, with reproducible verification.
Preprint and reproducibility materials for symmetric lattice cross-covariograms, coordinate balancing, and quantitative stability.
To associate your repository with the majorization topic, visit your repo's landing page and select "manage topics."