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 10 days ago 1 commits
axiom-bot|Mirror: gxh2932/circular-law-independent-row-slices (⭐0)
10 days 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