Circular law for sparse random matrices with independent row slices at sufficiently large logarithmic degree, with Lean 4/mathlib proofs, manuscript, and reproducible verification.
Lean Updated about 1 month ago 1 commits
axiom-bot|Mirror: gxh2932/circular-law-independent-row-slices (⭐0)
about 1 month agoAbout
Circular law for sparse random matrices with independent row slices at sufficiently large logarithmic degree, with Lean 4/mathlib proofs, manuscript, and reproducible verification.
Readme