[논문 리뷰] What is the probability that a random integral quadratic form in $n$ variables has an integral zero?

Manjul Bhargava, J. E. Cremona외 3명|arXiv (Cornell University)|2015. 02. 20.

Random Matrices and Applications참고 문헌 5인용 수 7

한 줄 요약

이 논문은 가우스 오р토곤럴 군집(GOE) 분포에 따라 선택된 $n$개의 변수를 가진 무작위 정수 이차형식이 비자명한 정수 해(즉, 등방성)를 가지는 정확한 확률을 결정한다. 전역 등방성 확률은 모든 $p$-진 수체와 실수체 위의 국소 확률의 곱임을 규명하였으며, $p$-진 밀도에 대해 명시적인 유리함수와 실수 등방성 확률에 대해 닫힌 형태의 표현식을 제공하여, 4차형식의 경우 등방성 확률이 약 98.3%임을 도출한다.

ABSTRACT

We show that the density of quadratic forms in $n$ variables over $\mathbb Z_p$ that are isotropic is a rational function of $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. When real quadratic forms in $n$ variables are distributed according to the Gaussian Orthogonal Ensemble (GOE) of random matrix theory, we determine explicitly the probability that a random such real quadratic form is isotropic (i.e., indefinite). As a consequence, for each $n$, we determine an exact expression for the probability that a random integral quadratic form in $n$ variables is isotropic (i.e., has a nontrivial zero over $\mathbb Z$), when these integral quadratic forms are chosen according to the GOE distribution. In particular, we find an exact expression for the probability that a random integral quaternary quadratic form has an integral zero; numerically, this probability is approximately $98.3\%$.

연구 동기 및 목표

• GOE 분포에 따라 선택된 $n$개의 변수를 가진 무작위 정수 이차형식이 비자명한 정수 해를 가지는 정확한 확률을 결정하는 것.
• 모든 소수 $p$에 대해 $\mathbb{Z}_p$ 위의 등방성 이차형식의 국소 밀도를 계산하여, 이들이 $p$에 독립적인 유리함수임을 보이는 것.
• GOE 하에 무작위 실수 이차형식이 부정적(즉, $\mathbb{R}$에서 등방성임)일 확률에 대한 정확한 표현식을 유도하는 것.
• 하세–민코프스키 정리를 이용해 국소 확률과 실수 확률을 조합하여 정수 이차형식의 전역 등방성 확률을 계산하는 것.
• 특히 $n=4$의 경우에 대해 명시적이고 수치적으로 검증 가능한 결과를 제공하며, 이 경우 등방성 확률은 약 98.3%임.

제안 방법

• 전역 등방성을 국소 해법 가능성(실수체와 모든 $\mathbb{Z}_p$에서의 해 존재)으로 줄이기 위해 하세–민코프스키 정리를 사용하며, 전역 확률을 국소 확률의 곱으로 표현하는 것.
• 무작위 정수 이차형식을 모델링하기 위해 GOE 분포를 적용하고, 랜덤 행렬 이론을 활용해 실수 이차형식이 부정적일 확률을 계산하는 것.
• $\mathbb{Z}_p^{n(n+1)/2}$ 위의 측도를 사용하여 $p$-진 등방성 밀도에 대한 재귀 공식을 유도하며, 각 $n$에 대해 $\rho_n(p)$가 $p$에 대한 유리함수임을 증명하는 것.
• GOE 행렬의 고유값 분포를 이용해 실수 등방성 확률 $\rho_n(\infty)$를 계산하며, 헤르미트 유사 함수의 적분으로 유도된 반대칭 행렬의 펄프리안으로 표현하는 것.
• 직교다항식 전개와 펄프리안 항등식을 사용해 유도된 행렬식 표현을 평가하여, $\pi^{-1}$과 $\sqrt{2}$를 포함한 닫힌 형태의 대수적 표현식을 도출하는 것.
• 작은 $n$에 대해 결과를 수치적으로 검증하며, 특히 $\rho_4 \approx 98.3\%$를 제품 공식의 직접 평가를 통해 보여주는 것.

실험 결과

연구 질문

• RQ1 GOE 분포에 따라 선택된 $n$개의 변수를 가진 무작위 정수 이차형식이 비자명한 정수 해를 가지는 정확한 확률은 무엇인가?
• RQ2 $\mathbb{Z}_p$ 위에서의 $n$차 이차형식의 등방성 밀도는 $p$에 어떻게 의존하며, 이 밀도는 $p$에 독립적인 유리함수인가?
• RQ3 GOE 하에 무작위 실수 이차형식이 부정적(즉, $\mathbb{R}$에서 등방성임)일 확률은 무엇인가?
• RQ4 정수 이차형식의 전역 등방성 확률은 모든 $p$와 $\infty$에서의 국소 확률의 곱으로 표현될 수 있는가? 만약 가능하다면, 그 결과 공식은 무엇인가?
• RQ5 4차 이차형식($n=4$)의 등방성 확률의 정확한 값은 무엇이며, 수치적 기대치와 비교해보면 어떻게 되는가?

주요 결과

• $\mathbb{Z}_p$ 위에서의 등방성 $n$차 이차형식의 밀도는 $p$에 독립적인 유리함수이며, $n=1$에서 $n=4$까지의 경우에 대해 명시적인 표현식이 주어지고, $n \geq 5$일 경우 $\rho_n(p) = 1$임.
• $n=4$의 경우 전역 등방성 확률은 $\left(\frac{1}{2} + \frac{\sqrt{2}}{8} + \frac{1}{\pi}\right) \prod_p \left(1 - \frac{p^3}{4(p+1)^2(p^4 + p^3 + p^2 + p + 1)}\right) \approx 98.3\%$임.
• 무작위 실수 $n$차 이차형식이 부정적일 확률은 헤르미트 함수의 적분으로 유도된 반대칭 행렬의 펄프리안으로 주어진다.
• 실수 등방성 확률 $\rho_n(\infty)$는 계수들이 $\mathbb{Q}(\sqrt{2})$에 속하는 $\pi^{-1}$의 다항식이며, 차수는 $\lfloor(n+1)/4\rfloor$ 이하임.
• $n \geq 5$일 경우 $\mathbb{Z}_p$에서의 등방성 확률은 1이므로, 전역 등방성 확률은 실수 및 유한 $p$-진 기여에 의해 완전히 결정됨.
• 이 방법은 $p$-진 밀도를 계산하는 데 있어 균일한 재귀적 접근을 제공하며, 모든 $n$차 형식이 $\mathbb{Q}_p$에서 $n \geq 5$일 때 등방성임을 새롭게 증명하는 데 기여함.