這是酒店裡一個佈置得極爲簡單的會議室。一個長形的會議桌,最大的亮點是有一整面寬大的落地窗。
微微擡頭看向窗外就能看到費城的天際線。
桌邊已經坐了五位學者。室內唯一的會議桌上擺放着各種咖啡跟茶水跟手寫的筆記本。
喬喻走進會議室時,看到的就是會議室內所有人都在跟身邊的人說着小話,室內全是各種嗡嗡的聲音。
“哈,今天的主角終於來了。喬,你肯定不知道,爲了能跟你做一次討論,今天有些人不得不起了早牀。”
坐在首位的一位教授站了起來,熱情的說道。會議室也瞬間安靜了下來。
所有人的目光都集中到了喬喻身上。
喬喻有些懵,扭頭看了眼陳師兄。
他本以爲自己在數學界也算是個人物了,被邀請來參加這種小規模的會議不說人全部認識,起碼也應該認識大半。
誰能想到會議室裡的人他竟然一個都不認識。而且好像大家都沒帶隨行科研人員,就他帶着鄭希文在身邊。
“小師弟,我先給你介紹一下……”
“不用了陳,我們可以自我介紹,這樣能節省一些時間。我是尼爾森·威爾遜,普林斯頓物理學教授。嗯,主要研究方向是,高斯酉集合和量子態演化。”
“威爾遜教授你好。”喬喻立刻問了聲好,不過腦子裡還在想着,明明大家是來開數學會議的,怎麼一位物理學教授坐在了首位。
“叫我尼爾森就好了。”
尼爾森·威爾遜善意的答了句,然後指了指他身邊的老教授,說道:“這是我的老朋友,劍橋大學的哈里斯·羅賓森教授,主要是研究動力系統與混沌理論……”
“羅賓森教授,你好。”
“你好,喬,我一直想跟你見一面,今天終於找到了機會。”
“伊莎貝拉·德羅伊特,巴黎高師,主要研究ζ函數跟狄利克雷級數分佈。”
“你好。”
“井上健太,京都大學教授,專注於模態幾何化理論的數論推廣。喬喻先生我對你的廣義模態理論非常關注。”
“你好,謝謝。”
……
一圈招呼下來,喬喻發現今天這場小會來的人果然很龐雜,從普林斯頓、哈佛、劍橋大學、巴黎高師、牛津大學、京都大學……
全是來自世界知名大學的大佬級教授們。雖然這些人自我介紹的時候,只說了研究方向,但身邊的陳師兄,小聲把這些人的成就都簡要說了一些。
尼爾森拿到過諾貝爾獎跟狄拉克獎章,哈里斯拿到過波因加雷獎,以及2014菲爾茲獎提名,甚至入圍了最後的決賽圈。
其他的諸如克萊獎、薩拉·霍夫曼獎、亞洲數學大會獎、戈登·貝爾獎、ACM年度技術成就獎……
總之一堆喬喻沒都聽說過,沒聽說過的各種獎項。
相互認識大概只用了五分鐘時間。
很快尼爾森就讓喬喻坐到了自己身邊,然後開始了這次會談。
“這是一次非正式會議,你可以理解爲一次頭腦風暴的沙龍,我們最近都在關注廣義模態公理體系,因爲我是這次沙龍的召集者,所以首先提出一個問題。
我一直覺得廣義模態公理體系的密度函數和量子態的分佈有着異曲同工之妙。特別是你在論文中所描述的模態路徑,我最近研究的量子態矩陣中也發現了一些類似的對稱性現象。
所以,喬,你是否考慮過,模態空間的構造可以推廣到量子計算的理論模擬中?”
喬喻眨了眨眼睛,這種感覺很熟悉。他解決了黎曼猜想之後,這半個月京城那些教授專程來拜訪他時,也是寒暄之後就這麼直接拋出問題的。
好傢伙,他在華夏的時候每天過着這樣的日子,來了這邊之後還得過這樣的日子?
不過這個想法,是真的很新。喬喻思考了片刻後說道:“嗯,你的意思是將模態路徑映射到量子態矩陣中嗎?
說實話,這塊我真沒研究過。不過我覺得從幾何化的角度來看吧,這應該也是個相對還算合理的延伸。”
旁邊的伊莎貝拉補充道:“其實這幾天我們已經做過一些討論。這其中涉及到一個關鍵問題,模態空間的同構映射是否嚴格唯一?
要在高維模態路徑上實現這種推廣,我們覺得有必要進一步明確其密度函數的解析性質,否則可能會有信息丟失。”
喬喻眨了眨眼,困惑道:“那個,我證明黎曼猜想時不是已經證明了模態空間的同構映射的唯一性,以及密度函數的解析性質?這一步理論上難道不應該是一個已經解決且沒有爭議的前提?”
“不不不,喬,你理解錯了。我們不是否認模態空間與複平面之間的同構映射已經被嚴格證明這一點。
但將這一體系推廣到隨機矩陣理論和高維模態路徑,隨機矩陣中的譜分佈涉及到很多新的變量和維度。
嗯,比如高斯酉集合的譜分佈是否能夠完全通過模態空間的密度函數刻畫?而且維度再次升高,模態空間的同構映射是否仍然保持唯一性?
你知道的,當我們嘗試將模態空間和隨機矩陣理論結合時,就必須對同構映射的基礎假設提出更細緻的要求,去思考是否存在某種未知的特殊情況可能破壞這一映射。”
尼爾森一臉嚴肅的解釋了一番,隨後認真的說道:“所以在上次跟大家一起討論之後,我提出了一個新的猜想。
模態路徑和隨機矩陣的譜分佈可以通過某種更高維的空間統一起來?如果可以,這意味着我們將創造一個適用於所有複分析相關領域的高維統一框架。”
聽到這個問題,喬喻眼睛都亮了亮。
他大概明白爲什麼田導跟袁老其實都希望他能來參加這種世界級的大會了。
這幫數學家跟物理學家們,總能有些非常新奇的奇思妙想。這幫複雜環境下的科學狂人們思維發散程度絕對是一個科研環境下比擬不了的。
“喬,毫無疑問,我希望你能加入我們!你應該知道這個問題的潛在價值!”
喬喻眨了眨眼沒有應聲。
以他對廣義模態公理體系的瞭解當然知道這其中的潛在價值,甚至是應用價值。
就剛剛那短短一瞬間,他已經想到了很多能玩出新花樣的東西。
比如將模態空間與量子態矩陣的演化相結合,黎曼猜想的概念推廣到隨機矩陣理論中,能幫助他的細雨計算平臺設計出更有效率的算法。
不過之前他對隨機矩陣跟量子態這塊其實沒什麼研究,所以沒想到這塊來。
喬喻看了一圈身邊這些神色各異的數學家跟物理學家。
尤其是目光分外熱切的尼爾森,的確對於這項研究有些心動,畢竟能實現現階段他的理想,但臉上卻是半點不感興趣的樣子……
“如果只是今天簡單的討論一下,我當然沒什麼問題。但這個課題說實話,我沒什麼時間。威爾遜教授,不瞞您說,我對隨機矩陣的研究完全不感興趣。
接下來我還有很多工作要做,比如大家都知道的,我在論文裡提到了三個針對素數的猜想。接下來我的工作重心會放在證明那三個猜想上!”
喬喻很認真的說道。
不得不說喬喻的表態很有學者風範兒。
你們研究的這些有什麼用?有我研究的東西高大上嗎?隨機矩陣?狗都不學……
尤其是描述混沌物理那些東西。他喬喻可是實打實的理論數學家!
果然尼爾森·威爾遜皺起了眉頭,開始思考措辭:“喬,怎麼說呢,我知道要說服一位數學家將精力放到不感興趣的領域是一件很冒昧的事情。
但你或許並不清楚這項研究的應用潛力。不如我們先來向你介紹一下我們最近的一些成果,然後你再做決定?”
“好啊,這次沙龍本來就是大家坐在一起討論問題嘛,你說。”
接下來兩個小時讓喬喻感受到了國外的沙龍式討論是怎麼個事情。
大多數時候他只是默默旁聽,偶爾也會插上兩句,不過很快他就知道這些傢伙對這個問題如此熱切的原因。
說白了,也是想拉項目。
只不過跟華夏不同,這邊項目導向一般是資本驅動而已。
幾位相關方向的數學跟物理學家,想一起搞個大項目出來——推動量子計算模擬技術。
衆所周知,量子計算機有着許多的先天優勢,谷歌就一直在做這方面的研究。媒體甚至還渲染出了量子霸權威脅論。
但實際上量子計算還有一堆的問題需要解決。尤其是要解決通用性還有很遠的路要走。
而且就目前的研究進展來看,量子計算機相對於經典電子計算機也只在少數層面很有用。
比如複雜組合優化問題、密碼學跟信息安全、大數據搜索跟排序這些。而且非常依賴於量子算法。
起碼在現階段量子算法也只有在限定條件下優於經典算法,沒有普適性。
所以這些數學家跟物理學家一直都在研究如何讓經典電子計算機來模擬量子計算,讓超算來做量子計算模擬的工作。
但這就存在一個問題,量子系統的狀態空間隨粒子數呈指數增長,而經典電子計算機的資源增長是線性的。
模態公理體系的出現,尤其是喬喻證明了黎曼猜想的方法,讓他們發現在喬喻提出的廣義模態公理體系下,能夠簡化許多問題。
因爲喬喻這套體系恰好廣義模態公理體系能夠對複雜的高維空間進行幾何化和結構化處理。尤其是通過模態路徑和模態密度函數,可以簡化對隨機矩陣中高維態演化的理解。
但這需要完成一個核心的理論證明:即是否在新的邊界條件或高維空間中,模態空間和隨機矩陣的映射能夠保持同樣的嚴謹性。
如果能證明這個問題,就能將廣義模態公理體系引入到這項工作中。只要完成了理論方面的證明,就能直接拉項目了。
還是個很大的項目。
量子計算機的硬件研究投入巨大。如果能搭建出一個新的超算平臺,直接用於模擬量子計算,意味着許多科技公司幾十上百億的投入。
哪怕現在這些教授吸引到的研究資金並不多,也有兩、三百萬了,還是美元。
當然背後的投資者也都是不見兔子不撒鷹的主兒,想要拿到更進一步的投資,就得快速拿出可驗證成果。
聊了兩個多小時,喬喻也已經瞭解了目前大概的進度。主要研究進程還停留在理論階段。
實際應用方面,甚至還不如IBM開源的Qiskit項目。不過話又說回來Qiskit主要是做可視化的量子電路設計,在經典計算機上運行量子電路的模擬。
具體的量子硬件執行還需要通過IBM提供的平臺,在量子處理器上運行量子計算任務。
這些科學家的構想則是讓經典超算平臺完全模擬量子計算行爲,這中間區別很大。
所以如果成功,就意味着無需依賴量子硬件,可以徹底改變整個量子計算行業的格局。
喬喻的廣義模態公理體系的優勢在於,能夠比傳統方法更高效的模擬複雜量子行爲,通過對模態空間動態映射跟壓縮,對存儲跟計算進行優化。
尤其是利用模態空間的分佈式計算架構,來實現更高效的並行計算。
瞭解的差不多了,喬喻思考良久之後決定給今天這些科學家們上一課。
“各位教授,你們的想法跟進度我差不多都瞭解了。這個課題的前景我非常看好,如果你們需要的話,也許我可以在明天的報告上提一句。
不過你們的研究我就不參加了!正如剛剛我說的,我暫時沒有那麼多精力投入到這項需要長時間進行技術攻關的研究方向上。
但我可以針對一些理論性的問題爲你們提供幫助。嗯……我有一位老師,叫薛鬆,他正在做羣論的廣義模態推廣。
以我對量子計算的認知,羣論本就是其核心工具,量子態跟具體的量子操作,都能用羣的表示和結構來描述。
而且模擬量子態時,模態壓縮也可以用相關的羣論工具實現。比如利用動態羣表示的對稱性來減少存儲需求。
所以我可以把他介紹給你們。相信在薛教授的幫助下,也能夠幫助你們儘快的完成理論方面的推導過程。至於我就不加入這個項目了。”
是的,喬喻不打算摻和這些教授的研究。這樣等回了華夏之後,完成了理論層面的推導,他就能理直氣壯的去申請這個項目的研究經費了。
開什麼玩笑?
如果真能搞定超算平臺量子化的模擬,他的細雨科技服務平臺就能迎來一個跳躍式的發展。
尤其是如果真能解決量子因式分解的難點,能夠在自家平臺上高效運行Shor算法,BBC之前的報道不但成爲了現實,還得管他叫爸爸……
畢竟這年頭主流的加密協議、加密密鑰跟電子簽名技術,都還是利用RSA或ECC。
如果模擬的量子計算平臺能極爲高效因式分解,就意味着所有這些密鑰都能被輕鬆破解。
這更意味着整個行業的安全標準要重新制定,誰家能給出對抗技術,誰家就是未來金融安全標準的制定者。
到時候全世界的金融服務商都得排着隊交保護費。唯一的問題是,這個項目不是他一個人能玩的轉的。
甚至不是他隨便組建一個團隊就能玩的轉的。所以回去之後必須得申請國家項目。
鄭希文給他上完課之後,喬喻也已經意識到這種項目真要能研發成功,背後沒人撐着肯定是不行的。
當然如果真能完美模擬量子計算,受打擊的可不止是整個金融安全體系,更是有積極意義的。
畢竟能夠高效運行Shor算法,意味着也能高效運行Grover算法。這意味着只要接入了金融系統就能快速識別各種無數的資金流動路徑。
從某種意義上說,這代表着可以同時盯着幾十上百萬個賬戶,把每一筆異常資金的流向都梳理得明明白白,還能支持實時更新。
其實都不用鄭希文教,喬喻現在用腳趾頭想都覺得這種能撩撥得一個大國不惜幹上一仗的技術不可能掌握在個人手上。
起碼不可能掌握在現在的他手裡,不然就是在作死,耶穌來了都救不了那種。
對於喬喻的選擇,專門邀請他過來聊聊的數學家們還是很遺憾的。
沒辦法,他們總不能逼着喬喻去做他們看好的項目。說實話,別看剛剛的沙龍,大家說得熱火朝天,但這個項目能不能成,其實大家心裡都沒數。
說白了,如果不是之前用的諸如稀疏矩陣、張量網絡、蒙特卡羅、低秩近似、變分量子模擬等等方法,效果都很不好,他們也不會考慮到把喬喻拉到這個大團隊裡。
本來就是一個雙向選擇題。
只是跟喬喻一起到了電梯裡,會議中一直沒插上話的陳卓陽忍不住說了句:“小師弟,我感覺他們說的很有搞頭啊。”
喬喻瞥了眼一直跟在他另一邊一直一言不發的鄭希文,然後給陳卓陽上起課來。
聲音不大,但身邊兩人肯定能聽到。
“你聽他們吹!這個項目有多難你心裡沒點數嗎?這是他們那點經費能搞定的事嗎?”
陳卓陽立刻不說話了。
他剛纔那番話是建立在對喬喻有着無限信心基礎之上的。既然喬喻都說很難,那難度大概真就無限大了。
不過等下了電梯,喬喻又主動說道:“不過話又說回來,這個項目是真很有搞頭。畢竟要是真能用超算模擬量子計算,金融系統安全能領先別人一個代差。
而且這個理論如果做出來,在模擬計算方面的技術也能突飛猛進,對研究新材料、搞航空航天技術,比如登月這些都極大幫助啊!
現在人家都已經開始這項研究了,如果萬一他們真成功了,我們可就要落後了。這可不是個好消息。”
陳卓陽皺了皺眉頭說道:“不是,小師弟,你剛纔不是還說他們這個課題很難,基本上不可能成功嗎?”
喬喻瞪了陳卓陽一眼,說道:“我什麼時候說基本上不可能了?我是說他們現在那點經費很難。但有老薛加入,有咱們的廣義模態公理體系的幫助,說不定就成了呢?
而且有難度纔有挑戰性啊!比如黎曼猜想難不難?我不一樣做出來了?不行,你記得提醒我,回去之後我要申請這個項目,一定要爭取比他們先做出來。”
“啊?”陳卓陽呆住了,下意識的問道:“那既然你打算做,幹嘛不跟他們合作?”
喬喻眨了眨眼,他現在都分不清陳卓陽到底是故意給他當捧哏還是真沒反應過來了。
於是語重心長的說道:“這麼重要的項目,如果我有信心帶着咱們自己的團隊做出來,幹嘛要跟別人合作?
你要這麼想,我把老薛介紹給他們,如果他們真聊得來,就說明咱們的廣義模態公理體系真的有用。
這樣我既可以從老薛那裡輕鬆打聽到他們的研究進度。又比他們更熟悉這套體系,研究進度豈不是肯定能比他們快?”
陳卓陽愣住了,下意識的喃喃道:“小師弟,你這好像不太厚道吧?”
喬喻嚴肅的反駁道:“什麼叫不厚道?你想什麼呢,陳師兄。他們就拿一個PPT忽悠人啊,這有什麼不厚道的?
你應該理解爲我這是給他們上了一課,拿一個PPT就想忽悠學術界新秀不只是不道德,還是有風險的。”
意識到小師弟又在耍寶的陳卓陽無語了,半晌才說了句:“那個……人家好像也沒拿PPT出來。”
“看吧,我就說他們不上心,忽悠學術界新秀甚至都不願意花點時間做個PPT。別糾結這個了回去提醒我一聲就行了。
咱們上午還要去哪來着?對了,田導那邊到底忙完了沒?怎麼感覺田導現在比我還忙呢?這不科學啊!”