[论文解读] 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 元组数量的渐近公式。结果表明，该计数渐近正比于 Qⁿ⁺¹ 乘以 k 重相关函数 ρₖ(x) 在 B 上的积分，误差项为 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 时包含对数因子。

提出的方法

• 定义 Φₖ(Q;B) 为在 B 中、次数 ≤ n 且高度 ≤ Q 的互异实共轭代数数的有序 k 元组计数。
• 将 Φₖ(Q;B) 与次数 ≤ n、高度 ≤ Q 的本原不可约整系数多项式数量相关联，其根位于 B 内。
• 利用此类多项式数量渐近正比于对应具有恰好 m 个实根位于 B 内的多项式集合 Aₘ ⊂ [-1,1]ⁿ⁺¹ 的体积这一事实。
• 应用格点计数结果（引理 3.1）估算缩放集合中互素整系数点的数量，从而获得基于体积的渐近估计。
• 通过 E[Nₖ(G,B)] = ∫_B ρₖ(x) dx 将随机多项式 G(x) = ξₙxⁿ + ... + ξ₀（系数 i.i.d. 均匀分布在 [-1,1] 上）的实根期望数量与相关函数 ρₖ 联系起来。
• 结合体积渐近估计与期望公式，推导出主结果：Φₖ(Q;B) = (2Q)ⁿ⁺¹/(2ζ(n+1)) ∫_B ρₖ(x) dx + O(Qⁿ)，当 n=2 时误差项中包含 log Q 因子。

实验结果

研究问题

• RQ1 对于有界次数与高度，实共轭代数数的 k 元组在 ℝᵏ 中如何分布？
• RQ2 此类 k 元组在 Borel 集 B ⊂ ℝᵏ 中的数量的精确渐近行为是什么？
• 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) 与随机多项式 G(x) = ξₙxⁿ + ... + ξ₀（系数 i.i.d. 均匀分布在 [-1,1] 上）的实零点的 k 重相关函数完全一致。