[논문 리뷰] Correlations between real conjugate algebraic numbers

Friedrich Götze, Kaliada Dzianis Uladzimiravich외 1명|arXiv (Cornell University)|2015. 10. 02.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 실수 공액 대수적 수의 순서된 k-튜플 중에서 차수 ≤ n 이고 나이브 높이 ≤ Q이며, Borel 집합 B ⊂ ℝᵏ 내부에 있는 것들의 점 渐近 공식을 수립한다. 이 수는 점 渐近적으로 Qⁿ⁺¹에 비례하며, B 위에서 k-점 상관 함수 ρₖ(x)의 적분에 비례한다. 오차 항은 O(Qⁿ)이며, 이는 이전 결과를 향상시킨 것으로, 무작위 다항식의 영점 분포로부터 유도된 명시적인 상관 함수를 포함한다.

ABSTRACT

For $B\subset\mathbb{R}^k$ denote by $Φ_k(Q;B)$ the number of ordered $k$-tuples in $B$ of real conjugate algebraic numbers of degree $\leq n$ and naive height $\leq Q$. We show that $$ Φ_k(Q;B) = \frac{(2Q)^{n+1}}{2ζ(n+1)} \int_{B} ρ_k(\mathbf{x})\,d\mathbf{x} + O\left(Q^n ight),\quad Q o \infty, $$ where the function $ρ_k$ will be given explicitly. If $n=2$, then an additional factor $\log Q$ appears in the reminder term.

연구 동기 및 목표

• 유계 차수와 높이를 가진 실수 공액 대수적 수의 k-튜플 수에 대한 점 渐近 공식 유도.
• 실수 공액 대수적 수의 분포와 무작위 다항식의 실수 영점의 상관 함수 사이의 연결 고리 설정.
• 이전의 한 점 분포 결과(k=1)를 고차 상관 함수(k ≥ 2)로 일반화.
• 대칭 다항식과 계수 영역에 대한 적분을 포함한, k-점 상관 함수 ρₖ(x)의 명시적 공식 제공.
• 점 渐近 공식의 오차 항 분석을 통해, 이 오차 항이 차수 n에 의존하며, n=2일 경우에만 상용 로그 인자(log Q)를 포함함을 보임.

제안 방법

• Φₖ(Q;B)를 정의하여, B 내부에 있으며 차수 ≤ n 이고 높이 ≤ Q인 서로 다른 실수 공액 대수적 수의 순서된 k-튜플의 수로 정의.
• Φₖ(Q;B)를 차수 ≤ n 이고 높이 ≤ Q이며, 그 근이 B에 속하는 원시적이고 기약인 정수 계수 다항식의 수와 연결.
• 이러한 다항식의 수가 정확히 m개의 실수 근을 B 내부에 가지는 다항식에 대응하는 집합 Aₘ ⊂ [-1,1]ⁿ⁺¹의 체적에 점 渐상적으로 비례함을 이용.
• 격자점 수 계산 결과(Lemma 3.1)를 적용하여, 스케일된 집합 내의 서로소 정수 계수 점의 수를 체적 기반 점 渐상으로 추정.
• 무작위 다항식 G(x) = ξₙxⁿ + ... + ξ₀ (i.i.d. 균일 분포 계수, [-1,1]에서)의 실수 근 수의 기대값을 상관 함수 ρₖ를 통해 연결: E[Nₖ(G,B)] = ∫_B ρₖ(x) dx.
• 체적 점 渐상과 기대값 공식을 결합하여 주요 결과 유도: Φₖ(Q;B) = (2Q)ⁿ⁺¹/(2ζ(n+1)) ∫_B ρₖ(x) dx + O(Qⁿ), n=2일 경우 오차 항에 log Q 인자 포함.

실험 결과

연구 질문

• RQ1 유계 차수와 높이를 가진 실수 공액 대수적 수의 k-튜플은 ℝᵏ 내에서 어떻게 분포되어 있는가?
• RQ2 Borel 집합 B ⊂ ℝᵏ 내에서 이러한 k-튜플의 수의 정확한 점 渐상 행동은 무엇인가?
• RQ3 무작위 다항식의 실수 영점의 k-점 상관 함수 ρₖ(x)는 공액 대수적 수의 분포와 어떻게 관련되어 있는가?
• RQ4 점 渐상 공식의 오차 항의 구조는 무엇이며, 왜 n=2일 경우에만 상용 로그 인자가 포함되는가?
• RQ5 공액 대수적 수의 공동 분포는 무작위 다항식 영점 과정에서 유도되는 동일한 상관 함수로 묘사될 수 있는가?

주요 결과

• Borel 집합 B ⊂ ℝᵏ 내에서 차수 ≤ n 이고 높이 ≤ Q인 실수 공액 대수적 수의 k-튜플 수는 점 渐상적으로 (2Q)ⁿ⁺¹/(2ζ(n+1)) ∫_B ρₖ(x) dx + O(Qⁿ)이며, 오차 항에 상용 로그 인자가 포함되는 것은 n=2일 경우에만 해당.
• k-점 상관 함수 ρₖ(x)는 다항식의 도함수의 절댓값과 대칭 다항식을 포함한 계수 영역에 대한 다重 적분을 통해 명시적으로 주어진다.
• k=n일 경우 상관 함수는 ρₙ(x) = 2⁻ⁿ/(n+1) ⋅ (1/max₀≤i≤n |σᵢ(x)|)ⁿ⁺¹ ⋅ ∏₁≤i<j≤n |xᵢ−xⱼ|로 단순화되며, 전적으로 실수인 대수적 수의 공동 분포를 반영한다.
• 함수 ρₖ(x)는 좌표의 순열에 대해 대칭이며, 부호 반전에 대해 불변: ρₖ(−x) = ρₖ(x).
• 좌표의 역수로 변환할 경우, ρₖ(x₁⁻¹,…,xₖ⁻¹) = ρₖ(x) ⋅ ∏ᵢ xᵢ²로 표현되며, 이는 다항식 계수 공간의 대칭성을 반영한다.
• 상관 함수 ρₖ(x)는 i.i.d. 균일 분포 계수를 가진 무작위 다항식 G(x) = ξₙxⁿ + ... + ξ₀ ([-1,1]에서)의 실수 영점의 k-점 상관 함수와 정확히 일치한다.