今天小編分享的科學經驗：陶哲軒新論文：部分證明著名素數猜想，新方法用到了自己的舊模型，歡迎閲讀。
陶哲軒又發新論文了！
這也是時隔一年，他再次獨立發表新論文。（arXiv 顯示上一篇獨作論文發表時間是在去年 2 月）
這篇新論文依舊與陶哲軒鑽研的數論領網域有關。
它證明了著名數學家埃爾德什 · 帕爾（Erd ő s P á l）提出的一個交錯素數級數猜想，在哈代 - 李特爾伍德素數 k 元組猜想成立的條件下，是成立的。
（當然，哈代 - 李特爾伍德素數 k 元組猜想也是一個懸而未解的猜想，因此這項研究只是部分證明，并沒有完全解決）
這項研究，還用到了他在幾年前與合作者共同提出的一個素數随機模型。
一起來看看。
證明了什麼樣的猜想？
核心來説，這篇新論文要證明的，是埃爾德什提出的一個關于交錯素數級數收斂性的猜想。
這個猜想與一個長這樣的交錯級數有關，其中 pn 是第 n 個素數：
交錯級數，指的是項的符号是正負交替、而數值絕對值單調遞減的無限級數。它的一般形式，大夥兒在學高數時應該都見過：
但交錯級數并不一定收斂，因此需要具體級數具體判斷，這次陶哲軒證明的就是交錯級數中的一個特殊類型，即 an 是素數 pn 的倒數，這個級數是收斂的。
不過，還有個前提條件——在哈代 - 李特爾伍德素數 k 元組猜想成立的條件下。
哈代 - 李特爾伍德素數 k 元組猜想，由英國科學家哈代和李特爾伍德提出，它預測了給定差值集合的 k 個素數出現的頻率。
猜想認為，存在兩個絕對常數 ε >0 和 C>0，對于所有 x ≥ 10、所有 k ≤ ( log log x ) ^5、和所有由不同整數 h1, … ,hk 組成的 k 元組
，這個式子成立：
不過，這個猜想至今尚未解決。
這次陶哲軒直接在假設它成立的基礎上，證明了交錯素數級數收斂性猜想的成立。整個過程大約可以分為四步：
首先，基于 Van der Corput 差分定理來降低素數計數間隔的長度。
由于證明這個猜想，實際上需要估計區間 [ 1,x ] 内素數個數的奇偶性分布，因此使用差分定理的目的，能将它轉化為僅考慮較短區間内素數個數奇偶性的問題。
轉化為這個問題之後，實際上就能用哈代 - 李特爾伍德素數 k 元組猜想來證明問題成立。
因此，接下來論文在假設哈代 - 李特爾伍德素數 k 元組猜想成立的基礎上，估計了短區間内 k 個素數的概率。
然後，陶哲軒使用幾年前與兩位數學家 William Banks 和 Kevin Ford 共同建立的随機素數模型，來建模素數分布。
最後基于這個模型建立的分布證明猜想。
這篇博客發出後不久，就有網友趕來點贊，表示自己也在從用另一種方法嘗試解決這個猜想：
點贊！
我 3 周前剛在 Thomas Bloom 的網頁上發現了這個猜想，不過只有這篇論文第一句話的内容。
我從計算（computational）的角度嘗試搞定它。我把它看作是觀察每個結果的偶數和奇數索引之間的差異，然後嘗試進行曲線拟合，以确定差異可能為零的位置。
雖然不知道我的數據是否對解決這個問題有幫助，不過至少這提高了我的編程技能。
我還需要一些時間來消化你的論文，感謝！
One More Thing
值得一提的是，2004 年陶哲軒和本 · 格林（Ben Joseph Green）提出的著名格林 - 陶定理，也是基于埃爾德什 · 帕爾（Erd ő s P á l）另一個更著名的等差數列猜想而來。
其中，埃爾德什等差數列猜想如下：
格林 - 陶定理進一步将猜想範圍縮小到他們研究的素數範圍内，相當于埃爾德什等差數列猜想的一個 " 特例 "：
埃爾德什為解決這個等差數列猜想懸賞了 5000 美元。
這些年除了陶哲軒以外，也有不少數學家致力于它的研究，例如 Thomas Bloom 和 Olof Sisask。他們在 2020 年，證明了整數無窮數列一定包含長度至少為三的等差數列，将這個問題又向前推進了一步。
感興趣的小夥伴們可以挑戰一下了（手動狗頭）
新論文地址：
https://arxiv.org/abs/2308.07205
參考鏈接：
[ 1 ] https://arxiv.org/abs/2202.03594
[ 2 ] https://mathstodon.xyz/@tao/110891757976027117
