Sharp singularity rates for symmetric random sign matrices
OpenAI research collection · 2 manuscripts · Source checked 2026-10-19
OpenAI's result summary
Determines the sharp exponential singularity rate of symmetric random sign matrices with independent entries on and above the diagonal. Uniform signs give \Pr(\det A_n=0)=(1/2+o(1))^n; for fixed bias p∈(0,1)\setminus\{1/2\}, the rate is (p^2+(1-p)^2+o(1))^n. In the biased case, agreeing rows attain this rate.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
The sharp exponential rate of singularity for symmetric Bernoulli matrices
Let A_(n) be a symmetric n× n matrix whose entries on and above the diagonal are independent uniform signs. We prove \displaystyle \Pr(\det A_n=0)=(\frac12+o(1))^n.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
The sharp singularity rate for biased symmetric sign matrices
Let A_(n) be a symmetric random matrix whose entries on and above the diagonal are independent signs, equal to 1 with fixed probability p∈(0,1)\setminus\{1/2\}. We prove that \mathbb P(\det A_n=0)=(p^2+(1-p)^2+o(1))^n. The rate is attained by the event that two rows agree.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.