[논문 리뷰] The probability of rectangular unimodular matrices over $\F_q[x]$

Xiangqian Guo, Guangyu Yang|arXiv (Cornell University)|2011. 07. 18.

Advanced Algebra and Geometry참고 문헌 11인용 수 3

한 줄 요약

이 논문은 다항식 환 $\mathbb{F}_q[x]$ 위에서의 $k \times n$ unimodular 행렬의 자연스러운 밀도를 결정한다. 임의의 $k \times n$ 행렬이 역행렬을 가진 $n \times n$ 행렬로 확장될 확률은 $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$임을 보이며, 여기서 $\zeta_q(j)$는 $q$-zeta 함수이다. 이 결과는 확률적 밀도 극한과 오일러 곱 구조를 사용하여 유한 체 위의 다항식 환으로의 딜리클레 밀도 정리의 일반화이다.

ABSTRACT

In this note, we compute the probability that a $k imes n$ matrix can be extended to an $n imes n$ invertible matrix over $\F_q[x]$, which turns out to be $(1-q^{k-n})(1-q^{k-1-n})...(1-q^{1-n})$. Connections with Dirichlet's density theorem on the co-prime integers and its various generalizations are also presented.

연구 동기 및 목표

• 정수 행렬에서의 딜리클레의 밀도 정리의 행렬 형태를 정수 행렬에서 $\mathbb{F}_q[x]$ 위의 다항식 환으로 확장한다.
• $k \leq n$ 인 $\mathbb{F}_q[x]$ 위에서의 unimodular $k \times n$ 행렬의 자연스러운 밀도를 정의하고 계산한다.
• unimodular 확률과 $q$-zeta 함수 사이의 관계를 설정하며, $\mathbb{Z}$ 위에서의 고전적 서로소 확률을 일반화한다.
• 증가하는 차수 범위에 대한 점근적 밀도를 사용하여 다항식 환에서의 행렬 unimodular 성질에 대한 엄밀한 확률적 프레임워크를 제공한다.

제안 방법

• $\mathcal{M}_N$을 차수 최대 $N$인 다항식의 원소를 가진 $k \times n$ 행렬의 집합으로 정의하고, 극한 $D(S) = \lim_{N \to \infty} |S \cap \mathcal{M}_N| / |\mathcal{M}_N|$ 을 통해 자연스러운 밀도를 정의한다.
• 복소수의 $q$-zeta 함수 $\zeta_q(j) = \prod_{f \text{ irred}} (1 - q^{-j \deg f})^{-1}$ 를 사용하여 소수의 서로소성 확률을 모델링한다.
• 포함배제 원리와 오일러 곱 기법을 적용하여 전체 랭크를 가진 소수의 공약수를 가지는 행렬의 밀도를 계산한다.
• 고정된 기약 다항식 $f$ 로 나누어지는 행렬의 밀도에 대한 한계를 $D(H_f) \leq 2 / q^{2 \deg f}$ 를 통해 설정한다.
• 무한급수 $\prod_{m=1}^\infty (1 - q^{-jm})^{\varphi_m}$ 의 수렴성을 이용하여 극한이 존재하고 $\zeta_q(j)^{-1}$ 와 일치함을 보인다.
• 모든 기약 다항식에 대한 집합의 증가하는 극한을 취하고, 모든 기약 다항식에 대한 곱의 수렴성을 사용하여 주요 결과를 증명한다.

실험 결과

연구 질문

• RQ1 $k \leq n$ 인 $\mathbb{F}_q[x]$ 위에서의 $k \times n$ unimodular 행렬의 자연스러운 밀도는 무엇인가?
• RQ2 $\mathbb{F}_q[x]$ 위에서의 unimodular 확률은 $q$-zeta 함수와 오일러 곱과 어떻게 관련이 있는가?
• RQ3 딜리클레의 고전적 정리인 서로소 정수의 확률을 자연스러운 밀도 프레임워크를 사용하여 다항식 환 위의 행렬로 일반화할 수 있는가?
• RQ4 임의의 $k \times n$ 행렬이 $\mathbb{F}_q[x]$ 위에서 역행렬을 가진 $n \times n$ 행렬로 확장될 수 있는 점근적 확률은 무엇인가?

주요 결과

• $\mathbb{F}_q[x]$ 위에서의 $k \times n$ unimodular 행렬의 자연스러운 밀도는 $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$ 이며, 여기서 $\zeta_q(j)$ 는 $q$-zeta 함수이다.
• 이 결과는 $n$ 개의 임의의 정수가 서로소일 확률이 $\zeta(n)^{-1}$ 임을 보여주는 고전적 결과를 $\mathbb{F}_q[x]$ 위의 행렬 사례로 일반화한다.
• $\mathbb{F}_q[x]$ 위에서의 $1 \times n$ 행렬이 unimodular일 확률은 $\zeta_q(n)^{-1}$ 이며, 이는 딜리클레 정리의 $q$-해석과 일치한다.
• 증명은 기약 다항식으로 나누어지는 행렬의 밀도를 근사하고, 모든 모닉 기약 다항식에 대한 오일러 곱의 수렴성을 사용한다.
• 극한 $\lim_{N \to \infty} |E \cap \mathcal{M}_N| / |\mathcal{M}_N|$ 이 존재하며, 이는 무한곱 $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$ 와 같다.
• 이 방법은 unimodular 행렬의 밀도가 각 기약 다항식에서의 국소 밀도의 곱으로 결정됨을 보여주며, 수론에서의 중국의 나머지 정리와 유사하다.