[논문 리뷰] On determinants of random symmetric matrices over Z_m

Richard P. Brent, Brendan D. McKay|arXiv (Cornell University)|2010. 04. 30.

Random Matrices and Applications참고 문헌 1인용 수 6

한 줄 요약

이 논문은 대칭 가우스 소거법과 재귀 관계를 사용하여 $\mathbb{Z}_m$ 위의 랜덤 $n \times n$ 대칭 행렬의 행렬식이 $m$으로 나누어떨어질 확률에 대한 명시적 공식을 유도한다. 핵심 기여는 $p$, $\mu$, $n$에 따라 달라지는 $Q(n, p^\mu)$, 즉 $\det(A) \equiv 0 \pmod{p^\mu}$일 확률에 대한 닫힌 형식의 해를 제공하는 것으로, $q = 1/p$와 $q$-포흐하머 기호에 대한 무한곱을 통해 표현된다.

ABSTRACT

We determine the probability that a random n x n symmetric matrix over {1, 2, ... , m} has determinant divisible by m.

연구 동기 및 목표

• 랜덤 $n \times n$ 대칭 행렬이 $\mathbb{Z}_m$ 위에서 행렬식이 $m$으로 나누어떨어질 확률 $Q(n, m)$을 결정하는 것.
• 소수 거듭제곱에서의 모듈로 산술과 대칭 제약 조건을 통합하여 이전의 랜덤 행렬 결과를 확장하는 것.
• 소수 거듭제곱 $p^\mu$에 대해 $\det(A) \equiv 0 \pmod{p^\mu}$일 확률인 $Q(n, p^\mu)$에 대한 닫힌 형식의 표현을 유도하는 것.
• 행렬식의 $m$-랭크가 최대일 확률인 $P(n, p^\mu)$의 渐近적 행동과 단조성의 분석을 $n$이 증가함에 따라 수행하는 것.

제안 방법

• $\mathbb{Z}_{p^\mu}$ 위에서 대칭 가우스 소거법을 사용하여 행과 열 연산 중에 행렬의 대칭성을 유지하는 것.
• 주어진 $p$와 $p^2$에 대한 최상위 원소의 경우에 따라 $P(n, p^\mu)$에 대한 다섯 항 재귀 관계를 수립하는 것.
• 대수적 항등식과 생성함수를 사용하여 다섯 항 재귀를 삼항 재귀로 축소하는 것.
• 생성함수를 사용하여 $q$-포흐하머 기호 $\Pi_n(q) = \prod_{j=1}^n (1 - q^j)$ 및 보조 함수 $T_1(k,s)$와 $T_3(k,s)$를 사용하여 삼항 재귀를 명시적으로 해결하는 것.
• 중복 항을 상쇄시키는 항등식을 사용하여 $Q(n, p^\mu) = 1 - P(n, p^\mu)$에 대한 수치적으로 안정된 표현을 도출하는 것.
• 오차 항에 대한 경계를 사용하여 $R = O(q^{3\mu/2})$임을 보이고, 이는 확률의 渐近적 분석을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 랜덤 대칭 $n \times n$ 행렬이 $\mathbb{Z}_m$ 위에서 행렬식이 $m$으로 나누어떨어질 정확한 확률은 무엇인가?
• RQ2 행렬식이 $p^\mu$로 나누어떨어질 확률은 $n$, $p$, $\mu$에 따라 어떻게 달라지는가?
• RQ3 $P(n, p^\mu)$에 대한 재귀를 삼항 형식으로 줄일 수 있으며, 이를 명시적으로 해결할 수 있는가?
• RQ4 $n \to \infty$일 때 $Q(n, p^\mu)$의 극한 행동은 어떻게 되는가?
• RQ5 $p^\mu$ 모듈로에서 행렬식이 0이 아닌 값 $d$를 가질 확률은 값 $d$에 따라 어떻게 달라지는가?

주요 결과

• $\mathbb{Z}_{p^\mu}$ 위의 랜덤 대칭 $n \times n$ 행렬이 행렬식으로 $p^\mu$로 나누어떨어질 확률 $Q(n, p^\mu)$는 $Q(n, p^\mu) = \frac{q^\mu(1 - q^n) - R}{1 - q}$로 주어지며, 여기서 $R$은 $O(q^{3\mu/2})$로 유계인 보정 항이다.
• 명시적 해는 $P(n, p^\mu) = \frac{\Pi_{2k}(q)}{(1 - q)\Pi_k(q^2)} \left( (1 - q^{2k+1})T_3(k,s) - q^\mu(1 - q^n)T_1(k,s) \right)$로 주어지며, 여기서 $k = \lfloor n/2 \rfloor$, $s = \lfloor(\mu - 1)/2\rfloor$, $q = 1/p$이다.
• $P(n, p^\mu)$는 $n$에 대해 비감소이며 $\mu$에 대해 비감소하므로 $\lim_{n \to \infty} Q(n, p^\mu)$가 존재하고 $[q^\mu, q^\mu / (1 - q)]$에 속한다.
• 큰 $n$에 대해 극한 확률 $\lim_{n \to \infty} Q(n, p^\mu)$는 $\left(q^\mu - \frac{\Pi_\infty(q)}{\Pi_\infty(q^2)} \sum_{j=s+1}^\infty \frac{q^{\mu+j} - q^{3j}}{\Pi_j(q^2)} \right) / (1 - q)$로 표현된다.
• $\mu = 1$일 때, $\det(A) \equiv d \pmod{p^\mu}$일 확률은 $d$에 따라 달라지며, 레지오드 기호와 $q$-곱을 포함한 공식이 존재한다.
• 재귀와 해는 모든 $n \geq 1$, $\mu \geq 1$에 대해 유효하며, 이는 $\mu = 1$일 때 알려진 공식을 고차 소수 거듭제곱으로 일반화하는 결과이다.