《天幕:開局你鱷魚叔叔是牢輪椅俠》第10章 夜魔俠與聲波與鼓(下)(1)

作者:蕪湖飛人555·5個月前

【事實上,這確實是一個數學上的問題。早在1882年,物理學家Arthur Schuster就問過一嘴:能不能從振動譜反推物體的形狀?

而更出名的是馬克。卡茨在論文裡扔出來的那個問題:“Can One Hear the Shape of a Dru”翻譯過來就是,“你能聽出一面鼓的形狀嗎?”

你可能會納悶,這倆說的難道不是一回事?大錯特錯了。

Arthur Schuster問得太寬了,什麼都想包進去。而馬克。卡茨把問題收窄了,只問二維鼓面。

因為1966年John lnor先在16維流形上證明了“聽不出來”,至於二維鼓面,又拖了二十八年,直到1992年才被人徹底推翻。】

螢幕上冒出一堆幾何圖形,方的圓的扭成麻花的,層層疊疊攪在一起,看得人眼花。

【你可能好奇了,16維流形是個啥?我簡單捋一捋。

首先,流形這東西,指的是在每一個小區域性看起來都挺“平直普通”的,但整體上可以彎。可以扭。可以首尾接起來變成一個閉合的空間。

1維流形,區域性看就是一條直線;整體上呢,可以是個圓,可以是個扭結,繞來繞去。

2維流形,也就是曲面,區域性看就是平平的一片;整體上可以是球面。甜甜圈面。馬鞍面。咱們腳踩在地上覺得地面是平的,其實地球是個球,這就是2維流形。

3維流形,區域性看就是咱們天天待著的三維空間;整體上可能是彎的,可能是有限大但又沒邊界的,像個宇宙。

那16維流形呢?就是一個16維的“彎曲空間”,每一小塊區域性上,看起來就跟普通的16維歐幾里得空間一樣規規矩矩,但整體形狀可以扭得你親媽都不認識,甚至首尾相接把自己封閉起來。】

螢幕上的奶龍打了個響指,慢慢悠悠開口。

【很顯然,答案已經有了。現實裡不可能蹦出一個夜魔俠,因為我們壓根沒法單憑聲音就確定一個物體的唯一形狀。

可能有小夥伴想不通了,16維流形看著花裡胡哨一團亂麻,憑啥比二維鼓面先被搞定?

道理其實很簡單:16維流形就像給你16塊積木,限制條件少,你隨便扒拉扒拉,總能拼出兩個形狀不一樣但從某個角度看過去完全一樣的玩意兒來。

二維流形就不行了,條條框框卡得死。你一聽它的譜,面積多大,周長多長,有沒有洞,連通性怎麼樣,曲率怎麼分佈,嘩嘩全給你報出來。

要在這些引數全一樣的前提下,找出兩個真正長得不一樣的形狀,那可太難了。

1992年,Carolyn Gordon。David Webb和Scott Wolpert甩出了一篇論文,《One Cannot Hear the Shape of a Dru,翻譯過來就是“一個人不能聽出鼓的形狀”。

針對1966年rk Kac那個經典問題——光靠鼓面振動產生的聲波頻率,也就是拉普拉斯運算元的特徵值,能不能唯一確定鼓面的幾何形狀——給出了決定性的回答。

論文沒用啥花裡胡哨的分析工具,就是透過平面多邊形的對稱拼接與置換構造,設計出一對邊界走向。整體輪廓明顯不同的簡單連通多邊形區域,兩者在狄利克雷邊界條件下的特徵值序列完全一致,也就是等譜但不全等。

作者利用區域分解與反射對稱技巧,證明了兩個區域的振動模式只是在內部被重新排列了一下,頻率分佈壓根沒變。從而徹底證實了:不同形狀的鼓,完全可以發出完全相同的頻譜。

這一構造直接把“頻譜能唯一確定形狀”的猜想幹趴下了。

它清楚地表明,雖然面積。虧格這些幾何資訊能從頻譜裡扒出來,但完整的幾何形態,光靠聲波是還原不了的,懸了二十六年的核心問題,至此塵埃落定。】

螢幕上的奶龍擺了擺手。

【知道你們沒聽懂,其實我也是。

簡單來講,各位大學牲們學過線性代數吧?

特徵值被稱為矩陣的DNA,決定了它好多關鍵性質。

。陣矩個一同是不們它管儘,的樣一模一是值徵特的陣矩似相,道知又們我但

。解理麼這以可大你但,多得深這比西東的裡文論

】。狀形的鼓出不聽你,了白說。定確一唯值徵特斯拉普拉其由能不,域區界有的中面平氏歐維二:是就論結的後最

。狀形的鼓出聽能可不你:了下撂論結把,手擺了擺龍上幕天

。臺文天,丁格

。聲一了哼然忽,下兩了敲上蓋膝在指手,上背椅在靠斯高

。”這就“是,滿不是不,了太,年半大了跟他表種那,著撇微微角的斯高見看,頭起抬裡堆書的邊旁從曼黎

”。淨乾得選工,域區的距等不譜等個兩造接拼稱對用“,題習生學道一評點在像氣語,了口開斯高”,明聰很造構“

。牆面一了拆刀小把一用像,題問老的年六十二了穿捅法方的等初麼那用,了極亮漂造構個那得覺也實其他,頭點了點曼黎

。點一了快才剛比奏節,敲上蓋膝在還指手,了默沉就後之完評點斯高,來出說沒他但

。紙稿草疊那前面己自著盯,去回收目把又曼黎,線條一抿,著擰微微頭眉他現發,臉側的斯高眼一了看曼黎

。了住卡就際邊到寫,式公半一的推午下天今他是上紙

。到想能全完己自斯高,法解的題問個這,麼什想在斯高道知他

。斯高有沒,特珀爾沃和伯韋。登戈是的它決解,茨卡。克馬是的題問個這出提但,決解被該就早更至甚,之程他在全些這,造構反,接拼稱對

。難還倒駁面當人被比覺種這,了決解人別被題問的決解己自由該本個一現發人的傲高個一,了楚清太他。了下擱又,水墨了蘸筆羽把曼黎

。求追完的學對,豪自的才天己自對他於源傲高種這是只,人的大自妄狂,人無中目個一非並他但,的傲高是斯高

。了過究研己自說就他,出釋剛德讓勒次每以所,表發才限極到究研要非,表發不果學的他著常經斯高是就因原本,車撞德讓勒和常經果學的斯高,的說前之像就

。過悔懊而威權學的己自護維為,悔後到而傲高的己自對經曾也斯高,然當

)etulosbA iitapSaitneicS:文丁拉(》學科的間空對絕《,果的他示展斯高向人輕年的約爾波為名個一經曾

。拜崇分十斯高對,就學數的斯高講親父聽就小從他,學同老的斯高是親父的約爾波

。可認的像偶到得待期,斯高給寄親父託,文論理整果把間時一第他,後)系何幾新全的理公行平得里幾歐破突種一(何幾歐非立創立獨,心年多費花約爾波當

”。已而表發沒直一我,樣一全完果結的到得就前年十三我和這為因,作工篇這獎誇能不我“:的應回樣這是斯高的DYB是但

。值價有的真否是究研的己自疑懷至甚,創獨的己自了定否,”功搶“在是斯高為認他,絕陷間瞬,後信回到看約爾波

。中疑懷我自和鬱抑在活都終,究研有所了棄放乎幾,熱的學數對了去失底徹他,後此

。擊打的滅毀了造約爾波對信回的己自到識意越來越斯高,可認被漸逐界學數在何幾歐非著隨

:言坦友朋向次多他

”。憾的生一我是這,命生學的他了毀漠冷的我。和熱的學科對人輕年個一了略忽卻,環的’子王學數‘己自護維著想只,了傲驕太時當我“

。悔後的深深到此為都年晚,學力子量斥排,視輕坦斯因,權明發分積微奪爭茲尼布萊跟,鬥克胡跟頓牛,的傲高是都才天抵大

。揚宣調高不從但,拿大的三第行排學理是明明,虛謙度極學同韋斯克麥,下之比相

”?看麼怎你“。眼一曼黎了看,頭過側他。了停指手的斯高,兒會一好了過

”。亮漂......很造構個那得覺我“:辭措著酌斟,想了想他。看麼怎他問很斯高,下一了愣曼黎

”。了遍一過說經已才剛你亮漂“

。下一了紅尖朵耳的曼黎

。面桌空塊小一出騰,推了推邊旁往稿手的上桌把斯高

”。了來出造構群稱對用們他,距等不譜等,上面平維二“

猜你喜歡

同題材或同分類的其他作品。