張益唐被曝已證明黎曼猜想相關問題,震動數學界

膠智的kai龍

53 回覆
6 Like 25 Dislike
膠智的kai龍 2022-10-25 14:09:55
網傳數學家張益唐,已經攻克了朗道-西格爾零點猜想(Landau-Siegel Zeros Conjecture)。
而這則消息,據說是張益唐在參加北京大學校友Zoom線上會議時親口所述。
如此爆料,可謂是在數學界轟動不已。
微博博主“物理芝士數學醬”認為,如果張益唐所證明的是朗道-西格爾零點存在,那麼黎曼猜想就可以死了:
張益唐直接就是前後50年裡最偉大的數學家,沒有之一。
但與此同時,他認為“這就過於駭人聽聞”,因此他更傾向於認為張益唐所證明的,是朗道-西格爾零點不存在——“這也是更令人信服的結論”。
但這項工作的價值可以說是毋庸置疑,正如知乎網友爆料所述:
張益唐要是能把Landau-Siegel做出來,就相當於一個人被閃電擊中兩次。
並且根據這條爆料消息來看,相關文章將會在11月初發到預印本網站,一百多頁。

那麼這個朗道-西格爾零點猜想到底是什麼?
對它的證明,又為何會引發如此反響?

朗道-西格爾零點猜想
所謂朗道-西格爾零點猜想,簡單來說就是黎曼猜想的某種弱形式。
核心要回答的一個問題就是:是否存在一個叫做朗道-西格爾零點的東西。
首先我們設實數σ,t和復數s=σ+it。
根據知乎博主“TravorLZH”的介紹,十九世紀的數學家為了研究素數分佈引入了黎曼猜想。
而為了研究等差數列上的素數分佈,數學家Dirichlet引入了L函數。
再後來,數學家也發展出了對應的解析工具來說明L函數在σ=1時無零點,從而證明了等差數列上的素數定理
但對於上面的公式,數學家們依舊是不滿意,他們還要繼續縮減L函數的非平凡零點的存在區域。
於是前人證明了L函數的非平凡零點基本上都能落在類似於下面公式中的沙漏型的區域
如果L函數所有的非平凡零點都落在這個區域內,就可以得到帶餘項的等差數列素數定理。
可惜的是,數學家Edmund Landau發現當X滿足特殊性質時其對應的L函數可能會出現落在上面公式之外的異常零點(exceptional zero)。
但幸運的是,Landau證明了對於每個這樣的L函數,若下面區域中存在異常零點,則這樣的零點只可能出現一個,而且階數也恰好只能是一。

後來Walfisz利用這個更弱的非零區域得到了一個妥協版的等差數列素數定理

很明顯,這個公式的限制條件要多了許多,所以大家當然希望L函數能夠沒有異常零點。
由於Landau和Siegel兩位數學家在L函數異常零點這個領域裡做了開創性的工作,所以異常零點也常常被稱為Landau-Siegel零點。
而斷言L函數沒有異常零點的猜測就被稱為Landau-Siegel猜想。
整體來看,其實廣義黎曼猜想恰好是Landau-Siegel猜想的充分條件。
但這一個世紀以來的研究表明Landau-Siegel問題可以比黎曼猜想還要難解決。
因此,要是張益唐證明的是朗道-西格爾零點,那麼黎曼猜想是錯的。
這也就是為何大家都對這則消息都用“駭人聽聞”來形容了。
但就目前來看,很多人都更傾向於認為他證明的是朗道-西格爾零點不存在。
如此一來,就不會和黎曼猜想發生衝突。
至於具體證明了什麼,還需要等待張益唐本人的正面回復了。

而且很多網友對此都認為:
考慮張的平生,其人沉穩堅毅,肯定不會信口胡說。
不過需要說明的是,目前為止,張益唐本人並未在其他場合和形式宣布這一進展。

半生蟄伏,一鳴驚人

實際上,關於朗道-西格爾猜想,早在07年老張就曾預印了一篇論文,但是裡面的論證有些Bug。
此後,他多次提到過他正在關注這個問題。
然後在2019年,張曾表示在這個猜想上已取得一些可喜的進展。
不過要說張益唐從默默無聞到名聲大振,還得把時間的指針撥到2013年。
那一年,他在數學最高期刊Annals of Mathematics上發表了震驚眾多學者的《質數間的有界間隔》。
這篇文章首次證明了距離有限的質數對是無窮多的,在孿生素數猜想這一數論難題上取得質的突破。
而在這篇論文發表之前,他曾有令人羨慕的中外頂尖學府求學經歷,但隨後卻經歷了多年的蟄伏,甚至不得已跑去賽百味端盤子
1978至1985年,張益唐在北大數院拿到了本科和碩士學位,並在碩士期間師從我國著名數學家潘承彪。
後來代數幾何學家莫宗堅訪問北大,並發掘了張。隨後張就跟著莫飛往美國,到普渡大學(號稱“太空人的搖籃”那個)讀博。
最終當張提交博士畢業論文時,他已在普渡大學讀了6年半,但在此期間他發表的學術論文寥寥無幾。
值得一提的是,張益唐自己並不太喜歡代數幾何學,而更熱衷於數論。
所以他希望博士畢業以後離開這個圈子,回頭去研究他感興趣的數論,但導師莫宗堅得知後並不高興,於是兩人分歧越來越大。
結果就是,等張好不容易博士畢業,他卻沒有導師的工作推薦信。
(莫宗堅在張益唐成名後曾發文澄清過此事,認為沒寫推薦信是因為自己不知道給張推薦現成的工作是否合適,而且稱這種做法在當時已經不太流行了)
再加上他性格偏內向,以及在讀博期間發表的學術論文太少等因素,竟沒有任何一個美國大學或研究所願意要他。
曾有朋友向張建議轉行從事金融或計算機行業,但他並不願意。
一邊是繼續苦苦鑽研數論;另一邊,他也不得不四處謀生,但可惜在很長時間內,他都沒找到好工作,有時甚至只能藉住朋友家的地下室。
在此期間,他曾到一位北大校友開的快餐連鎖店賽百味擔任會計。因為這樣可以讓他在工作中發揮記憶力和計算能力方面的特長,並抽空研究數學。
所幸,他人生中的又一位“伯樂”出現了,是他在北大和普渡大學的校友唐樸祁。
1999年,張益唐與唐樸祁合作發表一項互聯網專利。這項專利涉及一個實用性很廣的計算機算法難題,但張只用了3週的時間就搞定了,這令唐對其刮目相看。
於是,唐樸祁向在新罕布什爾大學任教的學弟葛力明介紹張益唐,然後經葛力明推薦,張益唐先後在這裡擔任數學係與統計學系的助教和講師,執教微積分、代數、初等數論等課程。
到此,他終於回歸了學術圈,有了關注新進展、了解同行思想和下載學術論文的便捷渠道。
Outliers 2022-10-25 14:55:49
隔一兩個月之後再睇
膠智的kai龍 2022-10-25 14:56:44
Atiyah 表示: ...
宇宙緣 2022-10-25 20:11:39
吹奏一大輪都唔撚講到正題收線啦
膠智的kai龍 2022-10-25 20:18:13
篇文都未出點評論
RadonNikodym 2022-10-26 00:13:38
值得一提的是,張益唐自己並不太喜歡代數幾何學,而更熱衷於數論。 所以他希望博士畢業以後離開這個圈子,回頭去研究他感興趣的數論,但導師莫宗堅得知後並不高興,於是兩人分歧越來越大。


轉唔到advisor
宇宙緣 2022-10-26 07:48:56
未出都可以吹奏
真係痴撚線
起碼都講D關事既野先
膠智的kai龍 2022-10-26 07:51:15
篇文咪介紹左咩係"朗道-西格爾零點猜想"同埋張益唐生平
點樣唔關事?
萬氏起頭難 2022-10-26 07:52:47
你都未證明到
講經咩
你話自己係上帝算啦
膠智的kai龍 2022-10-26 07:55:42
點解D人會care係因為張益唐有track record而唔係nobody
正如abc點解D人會理望月
求索 2022-10-26 08:57:27
留名
好行 2022-10-26 09:40:29
點解要用個曝字?軍事機密?
膠智的kai龍 2022-10-26 09:42:11
research好多時都係秘密架啦, 做完先會同人share
authorship問題, 由古代到而家都係咁
好行 2022-10-26 09:44:07
外國多數都係寫好論文「發表」。點解講到好似導彈技術咁
Outliers 2022-10-26 09:46:45
咁佢01年、07年篇文係咩status?
取得一部分成果?定係想證明big problem但係有bugs?
東星烏鴉 2022-10-26 09:51:41
唔係話啲咩..
不過講到個證明咁難 而果個人係中國人
好令人懷疑個真確性
無計啦 中國咁大
每年咁多同胞做壞個朵
要怪只好怪啲老鼠屎
膠智的kai龍 2022-10-26 10:04:26
佢有track record架
有篇大文係annals
亦係ICM invited speaker (當係類似hall of fame)
東星烏鴉 2022-10-26 10:09:42
咁希望係真啦
膠智的kai龍 2022-10-26 10:14:06
我覺得呢D野又唔駛咁急講, post左篇文先講都未遲, 反正佢有名氣而且個問題係大問題實有人睇
一陣搞到好似Atiyah (Field's medalist) 鳩噏講自己解決左Riemann Hypothesis之後幾個月就掛左根本無人知佢做左D咩
秋人夢葉 2022-10-26 10:33:31
佢係美國人嚟
sparda 2022-10-26 10:38:09
東升西降
中華民族偉大復興
吹水台自選台熱 門最 新手機台時事台政事台World體育台娛樂台動漫台Apps台遊戲台影視台講故台健康台感情台家庭台潮流台美容台上班台財經台房屋台飲食台旅遊台學術台校園台汽車台音樂台創意台硬件台電器台攝影台玩具台寵物台軟件台活動台電訊台直播台站務台黑 洞