3個搞物理的顛覆了數學常識,數學天才陶哲軒:我開始壓根不相信_風聞
量子位-量子位官方账号-2019-11-15 13:41
十三 魚羊 發自 凹非寺
量子位 報道 | 公眾號 QbitAI
八月的一個清晨,數學天才、菲爾茲獎得主陶哲軒點開了一封來自三位陌生物理學家的郵件。
三人在郵件中解釋道:
我們偶然發現了一個公式,如果這個公式是正確的,那麼它就會在線性代數中一些最基本且重要的對象之間建立一種意想不到的關係。
然而陶哲軒的第一反應卻是:
這麼短、這麼簡單的東西,早就應該出現在教科書裏了。這不可能是真的。
其實,陶哲軒向來不喜歡以這種方式被諮詢,甚至在他的主頁上寫下了警告:別拿你的手稿隨便打擾我。
但令三位物理學家驚訝的是,僅僅2個小時之後,他們就收到了陶哲軒的回覆。
而更意想不到的是,在一週半後,他們還一起發表了論文,闡述了這個公式的證明過程。
是什麼樣的公式受到陶哲軒如此青睞?
求解特徵向量。
沒錯,就是這個再普通不過的基礎數學求解公式。
按照傳統解法:
計算特徵多項式→求解特徵值→求解齊次線性方程組,得出特徵向量。
而這三位物理學家在研究“中微子”的過程中,卻意外發現另一種奇妙解法:
知道特徵值,只需要列一個簡單的方程式,特徵向量便可迎刃而解。
**△**三位物理學家。從左至右:張西寧、Peter Denton和Stephen Parke。
就像陶哲軒所説:
這個公式看起來好得令人難以置信。
我完全沒想過,子矩陣的特徵值編碼了原矩陣特徵向量的隱藏信息。
耶魯大學數學家Van Vu則用“驚人”和“有趣”兩個詞來形容這一發現。
一位Hacker News網友甚至認為,這一公式的理論價值在克萊姆法則之上。
注:克萊姆法則是線性代數中的基本定理,用行列式計算出n元一次方程組的解。
新方法怎麼來的?
先來回顧下我們所熟知的特徵向量和特徵值。
一個矩陣乘以一個向量,就相當於做了一個線性變換。但這個向量的方向往往會發生改變。
但若是存在一個矩陣A,讓這個向量v在線性變換後,方向仍然保持不變,只是拉伸或者壓縮一定倍數,即:Av=λv。
那麼,這個向量v就是特徵向量,λ就是特徵值。

在現在的教科書裏,已知特徵向量求特徵值比較容易,但是求矩陣的特徵值又比求特徵向量方便。
但三位物理學家在計算中微子振盪概率的時候發現:
特徵向量和特徵值的幾何本質,其實就是空間矢量的旋轉和縮放。而中微子的三個味(電子,μ子,τ子),不就相當於空間中的三個向量之間的變換嗎?
中微子振盪是一種量子力學現象。實驗發現,電子中微子、μ子中微子和μ子中微子這三種中微子之間是可以相互轉化的,而這就是中微子振盪現象。
**△**圖源:Quantamagazine
物理學家們意識到,特徵向量和特徵值之間,可能存在更普遍的規律。於是,新公式的面紗被揭開了。
通過刪除原始矩陣的行和列,創建子矩陣。
子矩陣和原始矩陣的特徵值組合在一起,就可以計算原始矩陣的特徵向量。
簡而言之,已知特徵值,一個方程式就可以求得特徵向量。
**△**圖源:Quantamagazine這個新公式有多牛?
數學天才、菲爾茲獎得主陶哲軒評價道:
新公式的非凡之處是,在任何情況下,你不需要知道矩陣中的任何元素,就可以計算出你想要的任何東西。
證明過程
在陶哲軒的回信中,他還附上了這一新公式的三種證明方法,並在之後和Peter Denton、Stephen Parke、張西寧三位物理學家一起發表了論文。
先定義A為一個n x n的厄米特矩陣,它具有特徵向量λi(A)和賦範特徵向量vi。
厄米特矩陣(Hermitian Matrix)能夠將特徵向量轉化為實數,更適用於解決現實世界的問題。
特徵向量中的每個元素標記為vi,j。
通過刪除jth行和jth列,可以得到A的子矩陣Mj,大小為(n-1) x (n-1),它的特徵值為λk(Mj)。
首先,通過證明可以得到一個柯西-比內(Cauchy-Binet)型公式。
**引理1。**讓A的一個特徵值為0,不失一般性的,可以讓λn(A)=0。那麼對於任意大小為n x (n-1)的矩陣B,我們可以得到:
接下來就可以進入新公式的推導了。
**引理2。**特徵向量各元素的範數平方與其特徵值、子矩陣特徵值有關。
於是可以證明:令j=1且i=n。通過λn(A)In 轉化(shift) A,使得λn(A)=0;這也同樣轉化了A和Mj中所有剩餘的特徵值,因此公式2就變為:
注意,公式3的右側為det(M1)。
接下來,在B=(0,In-1)中應用引理1。我們發現公式1的左邊為,公式1的右邊為det(M1)。
證明:對於任意不是A的特徵值的λ,
對於,j∈[1,n]有,
進一步簡化,並取極限λ→λi(A),
公式7右邊的對角元素提供了公式2的左半部分。通過共軛的定義,公式7左邊的對角元素決定了λi(A)In-A的子矩陣。
應用引理2,必然的結論就是,如果特徵向量中的一個元素消失,vi,j=0,那麼矩陣A的特徵向量方程將化為其子矩陣Mj的一個特徵向量方程。
這一發現所帶來的影響
簡而言之,物理學家們的這一最新成果,將使人們可以僅使用特徵值信息,計算出特徵向量。
而在現在的教科書裏,已知特徵向量求特徵值比較容易,但是求矩陣的特徵值又比求特徵向量方便。
也就是説,這一成果揭示了基礎數學新的事實。
更為重要的是,在現實世界中,無論是在數學、物理學還是工程學中,許許多多的問題都涉及到特徵向量和特徵值的計算。
比如計算中微子振盪概率。
比如在機器學習領域,數據降維,人臉識別,都涉及矩陣特徵值/特徵向量理論的實際應用。
俄亥俄州立大學的粒子物理學家John Beacom指出,這一理論應用前景廣泛,甚至將打開新世界的大門。
物理學家和數學天才的合作
被三位物理學家邀請,並證明了新公式的數學家是公認的數學天才陶哲軒(Terence Tao)。
**△**陶哲軒
他7歲讀高中,9歲上大學,13歲獲得國際奧林匹克數學競賽金牌,是IMO金銀銅牌最年輕得主紀錄的保持者。
24歲,他就成為UCLA數學系終身教授,31歲獲得了有“數學界諾貝爾獎”之稱的菲爾茲獎,成為第二位獲此殊榮的華裔數學家。
而三位物理學家,一位是美國布魯克黑文國家實驗室的助理物理學家彼得·丹頓(Peter B.Denton)。2016年博士畢業於範德比爾特大學物理系。
另一位是新西蘭物理學家斯蒂芬·帕克(Stephen J. Parke)。他是美國費米國家加速器實驗室的傑出科學家和理論物理系主任,專注於中微子物理學和頂夸克物理學研究。
最後一位作者張西寧(Xining Zhang)同樣是華人面孔,就讀於芝加哥大學,從事理論粒子物理研究,是斯蒂芬·帕克的弟子。
傳送門
論文地址:https://arxiv.org/abs/1908.03795https://arxiv.org/abs/1907.02534
博客地址:https://www.quantamagazine.org/neutrinos-lead-to-unexpected-discovery-in-basic-math-20191113/