說得通俗一點。
對於一個有限的實數序列χn,怎麼樣證明它並不是非負的?
這就是需要證明其中至少有一個χn不會小於0。
就舉個簡單的例子,現在存在一個偶數n,現在可以用p(n)定義這樣的特徵函式。
在這裡n是素數,ρ(n等於1,反之,ρ(n就等於0,這樣就會得到一個序列。
事實上,在解析數論中有許多東西都可以歸結到這個問題上面。
總之,最後的就是,許青舟需要證明推算出來的結果是小於0的。
就比如哥德巴赫猜想,最終也可以迴歸到一個有序列上,可以推算序列裡是不是有這麼一個小於0的數,如果有的話,哥德巴赫猜想就是對的。
當然,目前這也僅僅是理論上如此,真要像許青舟想的這麼簡單,哥德巴赫猜想不會成為世紀難題。
但很遺憾,無法證明它小於0的,最多就是能發現zn接近0,許青舟還發現,推算出來的結果會小於一個ε乘上一個東西。
甚至能發現很多zn。
這幾天,許青舟打算像變分法,用積分方程去找最大特徵根。
儘管看起來困難重重,可許青舟心態很好。
打個比方。
假如需要解決的黎曼猜想的各種難題是一個巨大的土堆,朗道西格爾零點猜想就算得上是一臺挖掘機,解決它,拆掉這個土堆的速度就會成數倍的增長。
許青舟現在做的這個弱化版的朗道西格爾零點猜想,就相當於一把鏟子。
用它來解決黎曼猜想這個土堆會非常緩慢,甚至可以說效率低下,但總算是有點的進展。
週一早上。
許青舟剛開啟電腦,就看到一封新的郵件。
【許,聽說你來麻省理工學習,恭喜,最近,我在看資料時,發現了些有趣的現象,也許和未發現的新粒子有關,如果你有興趣的話,我們可以進行合作。】
【我將在波士頓大學出差4天,如果你感興趣,我們或許可以見一面。】
郵件的主人叫昆里斯·理查德。
許青舟仔細回憶了下,想起來這是誰了,普林斯頓的一位物理學教授,以前在LHC參加量子對撞機中實驗室時法國組的一個學者。
當初還邀請許青舟去巴黎高師讀博。
粒子啊。
許青舟靠在椅子上。
真實碰撞實驗資料對於各國的研究員是開放的。
LHC的計算機網路,已經全球數百個資料中心中的數千臺計算機整合到全球計算資源中,這樣就方便儲存和分析LHC將收集的大量資料。
所以大家都可以訪問。
挺有意思。
黎曼猜想進展緩慢,倒是可以去研究點新的東西,算是放鬆大腦吧。
而且,研究粒子物理,還真有一種探索世界,掌握世界真理的感覺。
想著,許青舟開啟郵件,和對方約定好見面時間和地點。