“嗯。”他輕聲應了一聲。
“你集中構造邊界臨界的光滑偶數,專門衝擊這套下界,尋找可能的反例,發現異常數值第一時間同步。”
“好。”
剩下的兩人,李青安排貝斯特整理光滑數相關的經典文獻,把可以直接引用的引理逐條標註,區分已證明結論和猜想。
託比斯記錄推導裡所有待核驗前提,整理成清單,方便後續交叉檢查。
最後李青看向舒爾茨教授:
“核心的主項推導由我來推進,只要光滑偶數層的下界被嚴格證明,整個分層計數模型就有了穩固的起點,後面幾層的思路,也可以依託這一層的經驗去調整。”
“我會把這一層的完整證明草稿在一週內整理出來,標註每一步的權重選擇理由。”
“至於您,我希望您可以把控研究細節,從中排程,當一個導師的角色。”
舒爾茨教授微微頷首,笑著點點頭:“這很適合我。”
李青抬眼環視一圈,走到桌沿,一手按在揹包上,一手撐在桌面,認真道:
“我們先把這一塊啃下來,有困難隨時來溝通,線上線下都可以,不用等到下一次組會。”
“行了,就到這吧!沒有問題的話散會。”
會議結束之後,李青與舒爾茨教授對視一眼,一同走出會議室,中途聊了幾句專案後續就半路分別了。
當天,李青並沒有立刻投入工作,而是好好休息了一整晚。
次日,精力充沛的他吃過早飯,就開始了第一部分的推導證明。
安靜的辦公室裡,李青在桌面攤開的草稿紙上,筆尖飛舞,證明思路簡直熟悉的不能再熟悉。
這是分層計數模型裡最簡單、也是最基礎的一層。
思路如泉湧。
首先,要做分層定義與閾值約束。
設閾值為固定常數y,若充分大偶數N的全部素因子都小於y,稱N屬於光滑偶數層。
然後構造加權計數模型:
……
{W}_1(N)=∑_{p+q=N} w(p,q)
w(p,q)表示自適應權重,目的是緩解經典篩法容易出現的過篩或者漏篩問題,穩住計數的主項結構。
……
得到計數主項:
l{W}_{1,0}(N)>> {N}{log^2 N}
。級量的正持保終始,陷塌的階現出會不項主,圍範化變的子因住束約件條
:計估致一出給以可項餘,界上一統在存子因素有所為因
……
)}N 2^gol{}N{(o=|)N(}0,1{_}W{-)N(1_}W{|
:得可計估差誤與項主立聯
0>)N(1_}W{
。和之數素個兩為解拆其將可,對數素組一至在存然必,數偶的件條合符有所,論結出得以可
。界下正格嚴備,數計對數素層本








