[论文解读] On quantitative analogues of the Goldbach and twin prime conjectures over F_q[t]

Andreas O. Bender, Paul Pollack|ArXiv.org|Dec 9, 2009

Analytic Number Theory Research参考文献 6被引用 11

一句话总结

该论文为有限域 𝔽_q[t] 上的首一多项式作为两个首一不可约多项式之和（类似哥德巴赫问题）以及作为孪生素数对（类比孪生素数猜想）的表示方式数量建立了渐近公式，证明当 q 相对于次数 n 足够大时，计数结果与启发式预测一致。结果依赖于代数几何与伽罗瓦理论，误差项通过切博他列夫密度定理与亏格估计加以控制。

ABSTRACT

We study the number of ways to decompose a monic polynomial in F_q[t] of degree n as a sum of two monic irreducible polynomials in F_q[t]. Our principal result is an asymptotic formula for the number of such representations in the case when q is large compared to n. In its range of validity, this formula agrees with what is suggested by heuristic arguments from the rational setting. We also present similar results towards an analogue of the twin prime conjecture.

研究动机与目标

• 解决多项式环 𝔽_q[t] 中哥德巴赫与孪生素数猜想的定量类比问题。
• 在 q 相对于次数 n 足够大的前提下，为一个首一多项式表示为两个首一不可约多项式之和的方式数建立渐近公式。
• 证明在相同条件下，给定次数 n 的孪生素数对的数量与启发式预期一致。
• 证明渐近公式中的误差项由组合与几何不变量（如阶乘、指数项及伽罗瓦扩张的亏格）控制。

提出的方法

• 利用代数几何，通过 ℙ¹ 上参数 c ∈ ℙ¹ 的曲线族 C_{1(c)} 和 C_{2(c)} 建模问题。
• 应用切博他列夫密度定理，计算这些曲线上有理点的数量，以确保所得多项式的不可约性。
• 构造 𝔽_q[t,x] 中多项式 f 的显式族，其在 𝔽_q(u) 上具有完整的对称伽罗瓦群，从而保证一般不可约性。
• 通过分裂域的复合扩张的亏格估计，控制切博他列夫计数中的误差项，其中亏格 g = 1 + N(n² − n − 1)，N = n!²。
• 改编先前在函数域中解决三元哥德巴赫问题的技术，调整以适应二元表示与孪生素数对问题。
• 通过坏参数数量的组合界控制例外情况，其数量为 O(n · 2^{(n+2) choose 2} q^{I−1})。

实验结果

研究问题

• RQ1 当 q 相对于 n 足够大时，首一多项式 F ∈ 𝔽_q[t] 的哥德巴赫表示数 R(F;q) 是否满足启发式预测 ∼ q^{n−1}/(n(n−1))？
• RQ2 在 𝔽_q[t] 中，孪生素数类比是否可被定量确认，即满足不可约性的首一多项式对 (F, F+A) 的数量是否与启发式预测 ∼ q^n / n² 一致？
• RQ3 此类表示数的渐近公式中的误差项大小如何？能否对所有 F 和 A 一致地进行有界？
• RQ4 相关分裂域的伽罗瓦群结构如何影响该族中不可约多项式的分布？

主要发现

• 当 q 为奇数且 n ≥ 2 时，哥德巴赫表示数 R(F;q) 满足 R(F;q) = q^{n−1}/(n(n−1)) + O(n!(n−1)! q^{n−3/2}) + O(n · 2^{(n+2) choose 2} q^{n−2})，其中绝对常数隐含于 O 符号中。
• 当 q / (n³ 2^{(n+2) choose 2}) → ∞ 时，渐近公式 R(F;q) ∼ q^{n−1}/(n(n−1)) 对所有 F 一致成立。
• 对于孪生素数类比，π₂(n;A,q) = q^n / n² + O(n!² q^{n−1/2}) + O(n · 2^{(n+2) choose 2} q^{n−1})，其中绝对常数隐含于 O 符号中。
• 误差项主要由组合与亏格相关界控制，复合扩张的亏格对误差的贡献为 O(n!² q^{n−1/2})。
• 结果证实，有理素数情形下的启发式预测 (1) 和 (3) 在 q → ∞ 且 n 固定或缓慢增长时渐近成立。
• 当在 𝔽_{q^s}[t] 上工作且 s 足够大时，此类表示的存在性得以保证，且当 q 相对于 n 足够大时，渐近公式在基域大小上一致成立。