[논문 리뷰] Distribution of determinant of matrices with restricted entries over finite fields

Lê Anh Vinh|ArXiv.org|2009. 03. 13.

Graph theory and applications참고 문헌 3인용 수 7

한 줄 요약

이 논문은 유한체 $\mathbb{F}_q$ 의 부분집합 $\mathcal{A}$ 에서 값을 취하는 $d \times d$ 행렬의 행렬식 분포를 연구한다. 기하적 입자 이론과 푸리에 분석을 사용하여, $ d \geq 4 $ 일 때 $ |\mathcal{A}| = \omega(q^{d/(2d-1)}) $ 이면, $ \mathbb{F}_q^* $ 에 속하는 모든 $ t $ 에 대해 행렬식이 $ t $ 인 행렬의 수가 점점 $ (1+o(1)) \frac{|\mathcal{A}|^{d^2}}{q} $ 에 수렴함을 보이며, 이는 이전의 경계를 향상시키고 고차원으로 결과를 확장한다.

ABSTRACT

For a prime power $q$, we study the distribution of determinent of matrices with restricted entries over a finite field $\mathbbm{F}_q$ of $q$ elements. More precisely, let $N_d (\mathcal{A}; t)$ be the number of $d imes d$ matrices with entries in $\mathcal{A}$ having determinant $t$. We show that \[ N_d (\mathcal{A}; t) = (1 + o (1)) \frac{|\mathcal{A}|^{d^2}}{q}, \] if $|\mathcal{A}| = ω(q^{\frac{d}{2d-1}})$, $d\geqslant 4$. When $q$ is a prime and $\mathcal{A}$ is a symmetric interval $[-H,H]$, we get the same result for $d\geqslant 3$. This improves a result of Ahmadi and Shparlinski (2007).

연구 동기 및 목표

• 입력 원소가 $ \mathbb{F}_q $ 의 부분집합 $ \mathcal{A} $ 에서 오는 $ d \times d $ 행렬의 행렬식 분포를 이해하는 것.
• 특히 고차원 행렬에 대해 유한체에서의 행렬식 균일 분포에 대한 이전 경계를 향상시키는 것.
• Ahmadi와 Shparlinski(2007) 및 Covert 등(2010)의 결과를 일반적인 집합 $ \mathcal{A} $ 와 고차원 $ d \geq 4 $ 로 확장하는 것.
• 입력 집합의 크기 $ |\mathcal{A}| $ 가 $ q $ 와 $ d $ 에 따라 정해지는 특정 임계값을 초과할 경우, 행렬식의 점점 균일 분포를 확립하는 것.

제안 방법

• Covert 등(2010)의 기하적 입자 추정치, 특히 정리 2.1 을 사용하여 행렬식 수를 세는 함수의 $ L^2 $-노름을 제한한다.
• 비자명한 덧셈 캐릭터 $ \chi $ 를 사용한 $ \mathbb{F}_q^d $ 상의 푸리에 변환을 적용한다.
• 항등식 $ \sum_{l \in \mathbb{F}_q^*} N_d^2(\mathcal{A}; l) = \# \{ (M,N) : M,N \in \mathcal{A}^{d \times d}, \, \det(MN^{-1}) = 1 \} $ 을 사용하여, 두 번째 순간의 행렬식 수와 특수선형군의 크기 사이의 관계를 설정한다.
• 귀납법과 $ d=2 $ 에 대한 알려진 추정치를 사용하여 $ \sum_{l \in \mathbb{F}_q^*} N_d^2(\mathcal{A}; l) $ 의 경계를 유도함으로써 주요 점점 근사 결과를 도출한다.
• 구간 $ [-H,H] $ 에 대해, Theorem 1.2 (Ahmadi와 Shparlinski) 를 활용하여 $ d=3 $ 에 대해 더 강력한 경계를 확보하며, $ H = \omega(p^{3/5}) $ 일 때 균일 분포가 성립함을 보인다.
• 이중선형 방정식의 해의 수에 대한 귀납법과 추정치를 사용하여 점점 근사 전개의 오차 항을 제어한다.

실험 결과

연구 질문

• RQ1 입력 원소가 $ \mathcal{A} \subset \mathbb{F}_q $ 에서 오는 $ d \times d $ 행렬의 행렬식이 $ \mathbb{F}_q^* $ 에서 점점 균일 분포를 이룰 조건은 무엇인가요?
• RQ2 균일 분포의 임계값은 차원 $ d $ 와 입력 집합의 크기 $ \mathcal{A} $ 에 따라 어떻게 달라지나요?
• RQ3 Covert 등(2010)의 3차원 부피 결과를 고차원 행렬식 분포로 확장할 수 있을까요?
• RQ4 주어진 행렬식을 가진 행렬의 점점 근사 수의 정확한 오차 항은 무엇이며, $ |\mathcal{A}| $ 에 따라 어떻게 달라지나요?
• RQ5 입력 집합 $ \mathcal{A} $ 가 일반적인 부분집합이 아니라 구간 $ [-H,H] $ 인 경우, 균일 분포의 임계값은 어떻게 변화합니까?

주요 결과

• $ d \geq 4 $ 일 때, $ |\mathcal{A}| = \omega(q^{d/(2d-1)}) $ 이면, 모든 $ t \in \mathbb{F}_q^* $ 에 대해 $ N_d(\mathcal{A}; t) = (1+o(1)) \frac{|\mathcal{A}|^{d^2}}{q} $ 이며, 이는 점점 균일 분포를 보임을 나타낸다.
• $ d=3 $ 일 때, 동일한 점점 균일 분포가 $ |\mathcal{A}| = \omega(q^{3/5}) $ 일 때 성립하며, Covert 등(2010)의 정리 1.3 의 경계와 일치한다.
• $ \mathcal{A} = [-H,H] \subset \mathbb{F}_p $ 이고 $ p $ 가 소수일 때, $ d=3 $ 이면 $ H = \omega(p^{3/5}) $ 일 때 균일 분포가 성립하며, 이는 이전의 경계를 향상시킨다.
• $ d=2 $ 일 때, Ahmadi와 Shparlinski(2007) 의 조건과 동일한 결과가 성립하지만, 본 논문은 이를 고차원으로 확장한다.
• 두 번째 순간 $ \sum_{l \in \mathbb{F}_q^*} N_d^2(\mathcal{A}; l) $ 는 $ O\left( q^{-1} |\mathcal{A}|^{2d^2} + q^{d(d-1)/2} |\mathcal{A}|^{d(d+1)-2} \right) $ 로 경계되며, 제시된 조건 하에서는 이 값이 $ o(q^{-1} |\mathcal{A}|^{2d^2}) $ 이다.
• 작은 $ H $ 에 대해, 특히 $ H = O(p^{1/2}) $ 일 때, 개선된 경계 $ S_d([-H,H]) = O\left( p^{d(d-1)/2 - 1} H^{d(d+1)+o(1)} \right) $ 를 확보하였으며, 일반적인 추정치를 향상시킨다.