probability-statistics / Random matrix theory; discrete random matrices

The sharp exponential singularity rate of symmetric random sign matrices: P(det A_n = 0) = (1/2 + o(1))^n

Principal theorem: for symmetric AnA_n with independent uniform signs on and above the diagonal, Pr⁡(det⁡An=0)=(1/2+o(1))n=2−n+o(n)\Pr(\det A_n=0)=(1/2+o(1))^n=2^{-n+o(n)}, via a Schur-complement reduction to symmetric 0/1 matrices, a corank-one reduction and a counting argument for admissible appended columns. Companion: for fixed bias p∈(0,1)∖{1/2}p\in(0,1)\setminus\{1/2\}, the rate is p2+(1−p)2p^2+(1-p)^2, attained by two agreeing rows. Not shown: the believed Θ(n22−n)\Theta(n^22^{-n}) asymptotic, uniformity in pp, or general entry distributions.

32Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

probability-statisticsOct 3, 2026Significance 32/100Registry: unreviewed

The sharp exponential singularity rate of symmetric random sign matrices: P(det A_n = 0) = (1/2 + o(1))^n

Prior state unknown→proved

Principal theorem: for symmetric AnA_n with independent uniform signs on and above the diagonal, Pr⁡(det⁡An=0)=(1/2+o(1))n=2−n+o(n)\Pr(\det A_n=0)=(1/2+o(1))^n=2^{-n+o(n)}, via a Schur-complement reduction to symmetric 0/1 matrices, a corank-one reduction and a counting argument for admissible appended columns. Companion: for fixed bias p∈(0,1)∖{1/2}p\in(0,1)\setminus\{1/2\}, the rate is p2+(1−p)2p^2+(1-p)^2, attained by two agreeing rows. Not shown: the believed…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Principal theorem: for symmetric AnA_n with independent uniform signs on and above the diagonal, Pr⁡(det⁡An=0)=(1/2+o(1))n=2−n+o(n)\Pr(\det A_n=0)=(1/2+o(1))^n=2^{-n+o(n)}, via a Schur-complement reduction to symmetric 0/1 matrices, a corank-one reduction and a counting argument for admissible appended columns. Companion: for fixed bias p∈(0,1)∖{1/2}p\in(0,1)\setminus\{1/2\}, the rate is p2+(1−p)2p^2+(1-p)^2, attained by two agreeing rows. Not shown: the believed Θ(n22−n)\Theta(n^22^{-n}) asymptotic, uniformity in pp, or general entry distributions.

Principal theorem: for symmetric AnA_n with independent uniform signs on and above the diagonal, Pr⁡(det⁡An=0)=(1/2+o(1))n=2−n+o(n)\Pr(\det A_n=0)=(1/2+o(1))^n=2^{-n+o(n)}, via a Schur-complement reduction to symmetric 0/1 matrices, a corank-one reduction and a counting argument for admissible appended columns. Companion: for fixed bias p∈(0,1)∖{1/2}p\in(0,1)\setminus\{1/2\}, the rate is p2+(1−p)2p^2+(1-p)^2, attained by two agreeing rows. Not shown: the believed Θ(n22−n)\Theta(n^22^{-n}) asymptotic, uniformity in pp, or general entry distributions.

Recorded attempts

Evidence graph

Connected research record