比較特別。
而這個問題至今沒有被解決。
至少,在他讀過的所有文獻裡,沒有。
肖宿很快打開了埃爾德什問題庫的網站。
頁面上是一個簡潔到近乎簡陋的列表,每行一個問題編號、一個簡短的標題、一個狀態標記。
已解決的顯示為綠色,未解決的顯示為紅色,部分解決的顯示為黃色。
他快速往下翻,目光在一排紅色的條目上掃過。
第228號。
狀態:未解決。
標題:素數間距的分佈密度極限。
懸賞:500美元。
他點開詳情頁面,一行簡短的描述出現在螢幕上。
“是否存在無窮多對素數(p,q),使得|p-q|<c·logp,其中c為任意小的正常數?若存在,c的下確界是多少?”
肖宿的目光在這行字上停留了兩秒。
這個問題,本質上是在問素數之間的距離能有多近。
孿生素數猜想證明了存在無窮多對距離為某個固定常數的素數,但埃爾德什的這個問題更進一步。
他問的是,素數之間的最小間距,能不能被壓縮到對數級別以內,甚至壓縮到任意小的常數乘以對數。
用通俗的話說,孿生素數猜想證明的是“素數之間的距離可以近到只有一丁點”,而埃爾德什第228號問題問的是“這一丁點到底能有多小,能不能小到幾乎沒有”。
這個問題比孿生素數猜想更難。
因為它不是在問“是否存在”,而是在問“極限在哪裡”。
要回答這個問題,不僅需要證明無窮多對素數的存在性,還需要對素數間距的分佈規律進行極其精細的定量估計。
傳統的方法,無論是篩法還是圓法,在處理這種級別的精度問題時都會遇到難以逾越的誤差障礙。
但肖宿剛剛創造的分層篩法和鞍點圓法,恰恰就是為突破這種誤差障礙而生的。
分層篩法把素數集合拆成多層,每一層只處理特定尺度的資訊,從而避免了傳統篩法在精細篩分時誤差失控的問題。
鞍點圓法則透過延拓積分路徑至複平面,沿最速下降曲線積分,使主項清晰、餘項可估。
兩者結合,理論上可以對素數間距的分佈進行前所未有的精確刻畫。
有了想法,肖宿的手速飛快,一行行字出現在螢幕上。
“埃爾德什第228號問題:素數間距的分佈密度極限。”
”。pgol·ε<|q-p|得使,)q,p(數素對多窮無在存,0>ε意任於對:理定“
”。題問類分道軌的中間空量度權加為化轉題問距間數素將:路思明證“
。續繼後然,拍一了停上盤鍵在指手,後之字行這下敲他
。合集數素為P設“
。}N≤p{=NP集數素斷截義定,N意任對
。定決距間數素由重權的量度,數素的中NP於應對點的中NX中其,)Nd,NX(間空量度權加散離造構
”。定決度域區的層該由徵特距間數素的層一每,層多為割分度尺數對按NP將:構結層分的然自有間空該
。快越來越的按指手的他
。}h<p-q,p>q數素在存:lreyal∈p{#=)h(lF式函佈分距間域區的層一每算計,法篩層分用利“
”。積累會不項差誤的層叉得使,質離分度尺有佈分距間的層同不,於在勢優的理層分
。分積點鞍的上面平複到映對換變辛庫米-葉立傅過果結的層各將,後然“
”。獻貢域區的點鞍離遠由項餘,定決獻貢化則正的近附點鞍由項主,徑路分積擇選線曲降下速最沿
”。化退非而大增N隨界下該且,零於大格嚴界下的)Ngol·ε(F得可,計估項餘的法圓點鞍過,時Ngol·ε=h當。)h(lFl∑=)h(F:加疊的獻貢層各為示表以可)h(F式函佈分距間域全,終最“
。pgol·ε於小距間足滿數素對多窮無在存,此因“
”。零為界確下的ε,明證以可法方的樣同用利,步一進
。遍一了查檢,手下放他,完打
。鐘分五十過超不,話句一後最的路思明證完敲到頁網開點從,程過個整
。音聲何任出發個一有沒,人有所的裡室驗實,裡鐘分五十這在而
。驗實宿肖著看的靜安,面后群人了到來的同而約不也人三明景陳








