[논문 리뷰] Discriminant and root separation of integral polynomials

Friedrich Götze, Dmitry Zaporozhets|arXiv (Cornell University)|2014. 07. 23.

Mathematical Dynamics and Fractals참고 문헌 14인용 수 4

한 줄 요약

이 논문은 계수가 $\{-Q, \dots, Q\}$ 에서 균일하게 선택된 랜덤 정수 계수 다항식의 판별식과 근 간격의 분포를 연구한다. $Q \to \infty$ 일 때, 정규화된 판별식 $D(G_Q)/Q^{2n-2}$ 가 $[-1,1]$ 에서 계수를 가지는 랜덤 다항식의 판별식으로 분포 수렴하며, 오차는 $C_n / \log Q$ 로 유계화된다. 이는 일반적인 정수 계수 다항식이 근 간격이 0과 무한대로부터 멀리 떨어져 있음을 시사하며, 근 간격의 확률 모델을 해결한다.

ABSTRACT

Consider a random polynomial $$ G_Q(x)=ξ_{Q,n}x^n+ξ_{Q,n-1}x^{n-1}+...+ξ_{Q,0} $$ with independent coefficients uniformly distributed on $2Q+1$ integer points $\{-Q, ..., Q\}$. Denote by $D(G_Q)$ the discriminant of $G_Q$. We show that there exists a constant $C_n$, depending on $n$ only such that for all $Q\ge 2$ the distribution of $D(G_Q)$ can be approximated as follows $$ \sup_{-\infty\leq a\leq b\leq\infty}|\mathbb{P}(a\leq \frac{D(G_Q)}{Q^{2n-2}}\leq b)-\int_a^bφ_n(x)\, dx|\leq\frac{C_n}{\log Q}, $$ where $φ_n$ denotes the distribution function of the discriminant of a random polynomial of degree $n$ with independent coefficients which are uniformly distributed on $[-1,1]$. Let $Δ(G_Q)$ denote the minimal distance between the complex roots of $G_Q$. As an application we show that for any $\varepsilon>0$ there exists a constant $δ_n>0$ such that $Δ(G_Q)$ is stochastically bounded from below/above for all sufficiently large $Q$ in the following sense $$ \mathbb{P}(δ_n1-\varepsilon . $$

연구 동기 및 목표

• 유계 계수를 가진 랜덤 정수 계수 다항식에서 판별식과 근 간격의 일반적인 행동을 이해하기 위해.
• 계수가 $\{-Q, \dots, Q\}$ 에 균일하게 분포할 때 $Q \to \infty$ 일 때 판별식의 극한 분포를 결정하기 위해.
• 큰 $Q$ 에 대해 최소 근 간격 $\Delta(G_Q)$ 에 대한 확률적 하한 및 상한 경계를 설정하여, 이 값이 확률적으로 0과 무한대로부터 멀리 떨어져 있음을 보여주기 위해.
• 두 다항식의 결과식에 대한 분석을 확장하여, 유사한 분포 수렴을 보여주기 위해.

제안 방법

• 계수가 $\{-Q, \dots, Q\}$ 에서 i.i.d. 균일 분포를 가지는 랜덤 정수 계수 다항식 $G_Q$ 를 모델링하고, $Q$ 로 정규화하여 $G_Q/Q$ 를 얻는다.
• 모멘트 수렴 및 특성 함수 기법을 사용하여, 정규화된 판별식 $D(G_Q/Q)$ 의 $k$-번째 모멘트가 $[-1,1]$ 에서 계수를 가지는 다항식의 판별식의 모멘트로 수렴함을 보인다.
• 에세른의 부등식과 특성 함수 비교를 이용하여 분포 근사의 균일 오차 경계를 설정한다.
• 분포 함수의 차이 $D(G_Q)/Q^{2n-2}$ 와 극한 분포 $\varphi_n(x)$ 사이의 오차가 $C_n / \log Q$ 로 유계화됨을 증명한다.
• 결과를 응용하여 근 간격 $\Delta(G_Q)$ 에 대한 확률적 경계를 유도하며, 이 값이 높은 확률로 0과 무한대로부터 멀리 떨어져 있음을 보인다.
• 이 방법을 두 개의 독립적인 랜덤 다항식의 결과식으로 확장하여, $R(G_Q, F_Q)/Q^{m+n}$ 에 대해 유사한 분포 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 계수가 $\{-Q, \dots, Q\}$ 에서 선택된 랜덤 정수 계수 다항식의 판별식은 $Q \to \infty$ 일 때 점점 어떻게 행동하는가?
• RQ2 정규화된 판별식 $D(G_Q)/Q^{2n-2}$ 의 분포는 계수가 $[-1,1]$ 에서 선택된 다항식의 판별식 분포로 근사될 수 있는가?
• RQ3 이러한 랜덤 다항식의 일반적인 최소 근 간격 $\Delta(G_Q)$ 는 무엇이며, 이 값은 확률적으로 0과 무한대로부터 멀리 떨어져 있는가?
• RQ4 두 개의 독립적인 랜덤 정수 계수 다항식의 결과식 분포는 어떻게 정규화될 때 행동하는가?
• RQ5 정규화된 판별식의 분포가 극한 법칙으로 수렴하는 속도는 무엇인가?

주요 결과

• $D(G_Q)/Q^{2n-2}$ 의 분포는 $[-1,1]$ 에서 계수를 가지는 다항식의 판별식 분포 $\varphi_n(x)$ 로 수렴하며, 이에 대한 오차는 계수 $n$ 에만 의존하는 상수 $C_n$ 을 사용해 $C_n / \log Q$ 로 유계화된다.
• 모든 충분히 큰 $Q$ 에 대해, 임의의 $\varepsilon > 0$ 에 대해 $\delta_n > 0$ 가 존재하여 $\mathbb{P}(\delta_n < \Delta(G_Q) < 1/\delta_n) > 1 - \varepsilon$ 를 만족한다. 이는 일반적인 근 간격이 0과 무한대로부터 멀리 떨어져 있음을 의미한다.
• 최소 근 간격 $\Delta(G_Q)$ 는 하한 및 상한에 대해 확률적으로 유계화되어 있으며, 이는 $Q \to \infty$ 일 때 확률적으로 0이나 무한대로 수렴하지 않음을 의미한다.
• 정규화된 판별식 $D(G_Q)/Q^{2n-2}$ 는 계수가 $[-1,1]$ 에서 선택된 극한 랜덤 다항식의 판별식으로 분포 수렴하며, 명시적인 오차 제어가 가능하다.
• 두 개의 독립적인 랜덤 다항식의 결과식 $R(G_Q, F_Q)/Q^{m+n}$ 에 대해서도 동일한 수렴 결과가 성립한다.
• 수렴 속도는 $O(1/\log Q)$ 로, 이 계수 분포 범주에서 최적이다.