[论文解读] Explicit Chen's theorem

Tomohiro Yamada|arXiv (Cornell University)|Nov 11, 2015

Analytic Number Theory Research参考文献 15被引用 5

一句话总结

本文為陳氏定理提供了明確的上界，證明每一個大於 $\exp\exp 36$ 的偶數均可表為一個質數與至多兩個質數之積的和。證明結合了算術級數中質數分佈的明確誤差項與羅瑟-伊萬尼克線性篩法，並使用改良的容斥法來處理可能存在的西格爾零點，最終得出此類表達方式數量的定量下界。

ABSTRACT

We show that every even number $>\exp\exp 36$ can be represented as the sum of a prime and a product of at most two primes.

研究动机与目标

• 提供陳氏定理的明確有效上界，確立一個具體的臨界值，使所有大於此值的偶數均可表為一個質數與至多兩個質數之積的和。
• 解決先前陳氏定理證明中缺乏明確常數的問題，這些證明僅以非有效方式成立。
• 透過使用容斥原理的變體與分離的上界/下界篩法，克服羅瑟-伊萬尼克篩法中可能存在的西格爾零點所帶來的挑戰。
• 推導偶數 $N$ 表為 $p + P_2$ 的表達方式數量 $\pi_2(N)$ 的明確定量下界。
• 透過提供用於常數計算的 PARI-GP 程式碼，使整個論證過程可計算驗證。

提出的方法

• 該方法採用納撒森基於羅瑟-伊萬尼克線性篩法的框架，並結合作者先前研究中獲得的明確誤差項加以改進。
• 使用算術級數中質數數量的明確估計，包括帶有效常數的誤差項 $E_\psi(x;k,l)$ 的界限。
• 主要創新在於使用容斥原理的變體，以控制可能西格爾零點對下界篩法貢獻的影響，特別是在異常模數較大的情況下。
• 證明將篩法分為上界與下界兩部分，並同時使用上界與下界篩法，以在可能存在西格爾零點的情況下控制誤差項。
• 論證具有模塊化結構：分為四個部分——明確的質數分佈估計、明確的篩法誤差項、被篩集合的界限，以及最終結論——從而實現系統性驗證。
• 常數透過 PARI-GP 計算，完整程式碼公開發佈以確保可重現性。

实验结果

研究问题

• RQ1 是否存在最小的明確整數 $N$，使得所有大於 $N$ 的偶數均可表示為一個質數與至多兩個質數之積的和？
• RQ2 如何在可能存在西格爾零點的情況下，調整羅瑟-伊萬尼克線性篩法，以在陳氏定理中獲得明確且有效的界限？
• RQ3 能否將算術級數中質數分佈的明確誤差項與篩法結合，以獲得 $\pi_2(N)$ 的定量下界？
• RQ4 以 $N$ 和算術因子如 $U_N$ 表示時，$\pi_2(N)$ 的最佳可能明確下界為何？
• RQ5 如何使陳氏定理的理論框架完全可計算驗證，並公開提供程式碼？

主要发现

• 每一個大於 $\exp(\exp 36)$ 的偶數 $N$ 均可表示為一個質數與至多兩個質數之積的和。
• 此類表達方式的數量 $\pi_2(N)$ 滿足下界 $\pi_2(N) > 0.007 U_N N / \log^2 N$，其中 $U_N$ 為 $N$ 的所有奇質因數的乘積。
• 下界中常數 $0.007$ 來自對篩法誤差項的詳細分析，以及對算術級數中質數分佈的明確估計之應用。
• 證明成功透過使用改良的容斥技術，將異常模數的貢獻分離，從而克服可能西格爾零點的障礙。
• 整個論證完全有效且可計算驗證，並公開釋出 PARI-GP 程式碼以供常數計算。
• 臨界值 $\exp(\exp 36)$ 明顯小於先前的有效界限，例如陳與王所得的 $\exp(\exp 11.503)$，代表在明確有效性方面有重大改進。