[論文レビュー] Correlations between real conjugate algebraic numbers

Friedrich Götze, Kaliada Dzianis Uladzimiravich+1 more|arXiv (Cornell University)|Oct 2, 2015

Algebraic Geometry and Number Theory参考文献 10被引用数 5

ひとこと要約

本稿では、Borel集合 B ⊂ ℝᵏ 内の、次数 ≤ n かつナイト・ヘイト ≤ Q である相異なる実共役代数的数の順序付き k-組の数について、漸近公式を確立する。この数え上げは、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 の場合の1点分布に関する以前の結果を、k ≥ 2 の高次相関に一般化すること。
• 対称多項式および係数領域上の積分を用いて、k ポイント相関関数 ρₖ(x) の明示的公式を提示すること。
• 漸近的公式における誤差項を分析し、n=2 の場合にのみ対数因子が含まれることを示すこと。

提案手法

• Φₖ(Q;B) を、次数 ≤ n かつ高さ ≤ Q であり、B 内の相異なる実共役代数的数の順序付き k-組の数として定義する。
• Φₖ(Q;B) を、B にすべての実根を持つ、原始的かつ既約な整数係数多項式の個数に関連付ける。
• このような多項式の個数が、ちょうど m 個の実根を B に持つ多項式に対応する集合 Aₘ ⊂ [-1,1]ⁿ⁺¹ の体積に漸近的に比例することを用いる。
• 格子点数え上げの結果（補題 3.1）を適用して、スケーリングされた集合内の互いに素な整数係数点の個数を推定し、体積に基づく漸近的評価を得る。
• 係数が [-1,1] 上で独立同分布に一様分布する確率的多項式 G(x) = ξₙxⁿ + ... + ξ₀ の実根の期待数 Nₖ(G,B) を、相関関数 ρₖ を用いて 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) は、係数が [-1,1] 上で独立同分布に一様分布する確率的多項式 G(x) = ξₙxⁿ + ... + ξ₀ の実零点の k ポイント相関関数と一致する。