majorization

Here are 3 public repositories matching this topic...

MaciejNowickiHusbandofAHIEve / miura-convex-order

Miura-ori origami flip graphs: candidate general diameter proof using convex order, majorization, and discrete Lipschitz functions, with reproducible verification.

Updated Aug 28, 2026
TeX

GoGoKo699 / Entanglement-Trajectories

Star

Corrected companion to Quantum 8, 1282: Schmidt-spectrum dynamics, exact metric envelopes, majorization, and metric-robust entanglement trajectories.

reproducible-research quantum-information quantum-entanglement random-matrix-theory entanglement-spectrum quantum-chaos renyi-entropy schmidt-spectrum majorization entanglement-trajectories entanglement-dynamics logarithmic-negativity

Updated Aug 24, 2026
Python

Volkopat / zeta-23-lean-cubic-bridge

Star

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.

riemann-zeta mathlib analytic-number-theory lean4 formalized-mathematics majorization

Updated Aug 13, 2026
Lean

Improve this page

Add a description, image, and links to the majorization topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the majorization topic, visit your repo's landing page and select "manage topics."

Learn more