解開高斯相關性猜想,退休統計學家湯瑪斯羅炎刷牙時的神來一筆

2014 年夏天的某一個清晨,陽光如往常一樣穿透白色窗簾照了進來,湯瑪斯羅炎起身前往浴室盥洗,一邊刷著牙一邊回想昨晚入睡前那個證明。突然間,一道靈光射進了羅炎的腦袋,困擾數十年的高斯相關性猜想(Gaussian Correlation Inequality Conjecture)終於攻破了大門!
評論
評論

本文作者為陳宏賓 - UniMath 主編、逢甲大學應用數學系助理教授。對於數學和教育有強烈的熱忱和使命感,積極創立 UniMath 電子數學媒體,致力於推廣數學文化。INSIDE 獲作者授權轉載,原文發表於 UniMath

2014 年夏天的某一個清晨,陽光如往常一樣穿透白色窗簾照了進來,湯瑪斯羅炎(Thomas Royen)起身前往浴室盥洗,一邊刷著牙一邊回想昨晚入睡前那個證明。突然間,一道靈光射進了羅炎的腦袋,困擾數十年的高斯相關性猜想(Gaussian Correlation Inequality Conjecture)終於攻破了大門!

連結機率、統計與幾何的猜想

高斯相關性不等式(GCI)有許多不同的版本,其中最著名的是 1972 年連結機率、統計以及幾何三大領域的版本:

想像一個射飛鏢遊戲,以正中紅心為目標射許多次,飛鏢落點會以紅心為中心呈現類似鐘形的高斯分佈(或者稱常態分佈),如果以紅心為中心點同時畫一個圓和一個方形,高斯相關性不等式即是說:飛鏢落在圓和方形的交集的機率會大於或者等於落在圓形的機率乘以落在方形的機率。

Photo Credit: Quanta Magazine

P(圓∩方)≥ P(圓)╳ P(方)

這裡不同於下面這種大家比較熟知的獨立事件機率,若 A 跟 B 是統計獨立的兩事件,則我們會有這個等式:

P(A∩B)= P(A)╳ P(B)

直觀來說,由於圓形和方形有重疊部分區域,射中其中一個的情況下,同時也射中另一個的機率會因此提高。

事實上,GCI 猜測是針對任意維度 d 都成立,且兩個同中心的形狀只要是具有對稱性的凸集(symmetrical convex set)即可。

關於信賴區間

GCI 猜想的原始型態是統計學中關於信賴區間的估算,由美國統計學家奧利佛·丹 (Olive Dunn) 在 1959 年首次提出。

想像我們要針對一群人(已知平均身高是 170 公分,平均體重是 65 公斤),給出一個身高和體重的範圍,使身高體重同時落在此範圍內的人數佔全部的 90% 以上。 這任務可不太容易,因為人的身高和體重是彼此相關,並非獨立的。假設身高和體重分別都呈現高斯分佈(常態分佈)的情況下,依據 [68-95-99.7 法則] 我們知道

P(平均加減兩個標準差)≥ 95% 。
也就是說,如果身高和體重標準差分別是 7 和 8,我們會知道
P(身高介於 156 到 184 的人數)≥ 95%
P(體重介於 49 到 81 的人數)≥ 95%

再由高斯相關性不等式可以推得

P(身高介於 156 到 184 公分且體重介於 49 到 81 公斤的人數)≥0.95╳0.95 = 0.9025

維度 d=2 的情況早在 1977 年就被維吉尼亞大學的羅倫·彼特(Loren Pitt)教授證明出來。受訪時,羅倫緩緩地閉起眼睛,說起 1973 年某次和同事吃午餐時聽到這道「簡單」的數學問題時的回憶:

「嘿~ 羅倫,你知道有個有趣的數學問題 GCI 嗎? 就是想像一個射飛鏢遊戲,然後…」

「聽起來蠻有意思的,老墨~不過,你說這個還沒有人解出來?」語氣顯得有點疑惑。

「嗯!還沒有。」

「不太可能吧! 看起來不太難啊,應該很快就可以知道答案了」我心裡當時這麼想。

「於是,我把自己關進一間房間,打算當我再次走出房門時就已經證明 GCI 是正確的或者錯了。」

說到這裡,羅倫張開眼睛望向窗外不發一語。一轉眼已經過了將近四五十年……

湯瑪斯·羅炎

故事回到解開謎底的湯瑪斯·羅炎(Thomas Royen)身上,今年已經 70 歲的他是德國一位退休統計學家,在這次事件之前可能沒甚麼人聽過他,這點倒是和前幾年美國華裔數學家 張益唐 有點像,某天突然靈光一現洞悉真理的故事在數學界也不算少數,不過這次倒是有幾點值得特別一提的趣事。

要解決一道難題不妨先把它變得更難

首先,數學界有件事情是外界的人難以想像的。「經常發生一種情況是,解決一道看起來很困難不會解的問題的方法是把這個問題推廣成一個更難的問題,然後解決它。」

聽起來有點荒謬,打個比方,就好像是一個屢次練習時連 10K 都跑不完的跑者,居然去挑戰極地超馬想藉此證明自己可以跑完 10K。羅炎的證明就是走這個套路,把猜想中高斯分佈這個條件推廣到更複雜更一般的情況。神奇的是,問題居然就這樣解了,證明還只用了 3 頁!(不過,有人覺得羅炎的版本太神了,可能不太好體會其奧妙之處,因此寫了個簡易 GCI 版的。)

差點沉沒的寶石

第二,這個影響重大的論文羅炎居然把它投稿到一個名不見經傳的印度期刊,因此使得他的論文 2014 年發表之後又過了兩年,才漸漸引起學術界的注意。一顆璀璨的鑽石差點就沉沒汪洋大海之中。一個學術上極重要的成果發表兩年後才傳播開來,在這個通訊發達的年代,幾乎是怎麼想都不太可能發生的事情。

不過不太可能發生的事情終究發生了。

峰迴路轉

先來談談 2014 年發表論文的經過,羅炎不會用數學界編輯論文常用的 LaTeX 軟體,論文初稿是用 Word 打的,完成後一份丟上 arXiv,一份寄給一年半以前曾指出他在一篇嘗試證明 GCI 的論文中所犯之錯誤的賓州州立大學丹諾·理查德斯(Donald Richards)教授,當理查德斯收到信件時,一眼他就知道「Bingo!就是你了!」

事後回想起來,理查德斯有幾分懊惱,這個精簡的證明居然自己三十幾年來都沒有想到。這種心情搞數學的人一生中或多或少都會遇上個幾次吧。

不過,他也慶幸能在有生之年看到 GCI 的美妙證明問世。理查德斯興奮之餘還不忘將這個重大發現通知幾個同事,也熱心的幫忙把論文重新用 LaTeX 編輯,讓它看起來專業一點,符合頂尖期刊的水平。

可惜的是,投稿出去還是撞牆,原因是過去數十年來聲稱證明 GCI 猜想的論文每年都有一籮筐,期刊的審稿委員看都看膩了,通常一下子就能指出關鍵性的錯誤所在,要是碰上像羅炎這樣沒沒無聞的傢伙,通常也不會太認真對待。

羅炎的論文因此被草率忽略了!

羅炎的論文因此被草率忽略了!!

羅炎的論文因此被草率忽略了!!!

雖然有人曾建議羅炎投到最頂尖的期刊,像是統計年鑑(Annals of Statistics),這樣子一來消息很快就會傳到全世界,不過羅炎考量後還是決定投到很快就可以發表的印度期刊 Far East Journal of Theoretical Statistics,這種期刊的壞處就是即使刊出之後也不太有人知道這件事。一直到 2015 年底 Rafał Latała 和他的學生 Dariusz Matlak 重新寫了一個簡易 GCI 版本的論文,2017 年 3 月 28 日知名雜誌 Quanta Magazine 刊出一篇專欄報導 ,整個事件才得以散播出來。

最後,羅炎教授受訪時表示,他希望這個意外簡單的證明能夠鼓勵年輕的學生,善用自己的創意去尋找新的數學定理,畢竟那並不總是需要具備非常高深的理論基礎才辦得到。

“the surprisingly simple proof … might encourage young students to use their own creativity to find new mathematical theorems, since a very high theoretical level is not always required.”

參考文獻
[1.] L. D. Pitt, A Gaussian correlation inequality for symmetric convex sets, Ann. Probab. 5 (1977), 470– 474.
[2.] T. Royen, A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions, Far East J. Theor. Stat. 48 (2014), 139–145.
[3.] R. Latala and D. Matlak. Royen’s proof of the Gaussian correlation inequality. ArXiv http://arxiv.org/abs/1512.08776, 2015.
[4.] A Long-Sought Proof, Found and Almost Lost, Quanta Magazine, 2017/03/28.


不限車款、車齡都能升級?《車管+懶人包》輕鬆加入「手機車鑰匙」的行列

笠眾實業(IVTES)開發的「車管+」系統安裝與使用教學,升級手機車鑰匙的方法,全都整理在這裡了。
評論
評論

不限車款或年份的「車管+」手機車鑰匙,近期引起許多車主的興趣。畢竟不用花大錢換名牌車,就能夠輕鬆入門享有智慧便捷的 iKey,確實是相對無負擔的高 CP 值選擇。那麼使用「車管+」手機車鑰匙是否會要大幅度改車,其實也不必。這款由笠眾實業(IVTES)開發的「車管+」系統,只需要改裝一支「原廠車鑰匙」,並在車上安裝主機、手機下載「車管+1號」App,就可擁有一系列手機車鑰匙的智慧應用。

安裝簡易:可請一般汽修保養廠代勞或自行 DIY,下載 App 萬事俱足

從官網線上訂購並收到「車管+」的主機套組後,首先第一步就是改裝遙控器,再安裝車內主機,日後即可透過手機作為汽車門鎖的備份鑰匙。其實安裝產品並不難,車主可以選擇:

  1. 如果自己對從遙控器中取出電路板與電路焊接作業有信心,可以直接自行 DIY,笠眾會隨產品提供簡易量測工具與說明手冊,若車主對汽車電系了解也能自行安裝主機與收納。
  2. 可寄送遙控器請笠眾公司代為改裝隨產品回寄後,車主再請汽車保修廠安裝主機與收納。
  3. 現場安裝地點位於新北市中和,需與笠眾公司預約安裝時段。

遙控器改裝、車內主機安裝的作業原理可以參考上圖。特別要注意的是,「手機車鑰匙」僅作為汽車門鎖控制,並非日後用手機就能直接啟動汽車引擎。如果是「一鍵啟動」的車款,與車主的手機藍牙配對連線時即會對車內改裝電路板供應 3V 電源,所以可以直接啟動汽車;若為「插鑰匙啟動」車款,一樣要插入五金鑰匙啟動才能發動引擎,建議車內可預先放置五金鑰匙。

常用功能指南:共享車機 vs 虛擬鑰匙

除了上圖直接以 App 介面為例說明常用功能之外,入門使用者較容易混淆的通常是「共享車機」和「虛擬鑰匙」這兩種功能。其實這兩者的分別很簡單,可以參考下表一目瞭然:

簡單來說,如果是長期要一起共享汽車的親朋好友或是公務用車,建議使用「共享車機」,用車時藍牙會自動傳輸資料,便於車主或公務車人員管理,掌握汽車動向;如果是單次臨時用車,則建議使用「虛擬鑰匙」,用車者會拿到一組有時效性的虛擬鑰匙連結,可作為短期用車使用,不必大費周章面交實體鑰匙,就能共享用車。

使用者常見Q&A

使用者常見 Q&A 整理如上圖。人手一機、手機不離身的時代,升級為「車管+」的手機車鑰匙,利用手機藍牙自動感應功能,就能自動上解/鎖,解決過往要開車時才發現忘記拿鑰匙、下車後又忘記鎖車的問題。如果不小心被反鎖在車外,連自己的手機也被鎖在車內時,也可以借用他人的手機下載 App,登入帳號即可以解鎖。

另外,日後如果賣車或換新車,有需要的話也可以恢復成原本的車鑰匙;而且產品拆卸簡易,要移機至新車繼續使用也是沒問題的。想要體驗手機車鑰匙的新潮與便利嗎?不限車款、車齡都能輕鬆入門!

立即安裝車管+