首頁 科技週邊 人工智慧 製作莫比烏斯環,最少需要多長紙帶? 50年來的謎題被解開了

製作莫比烏斯環,最少需要多長紙帶? 50年來的謎題被解開了

Oct 07, 2023 pm 06:17 PM
工程 richard evan schwartz 莫比烏斯帶

自己動手做過莫比烏斯帶嗎?

莫比烏斯帶是一種奇特的數學結構。要構造一個這樣美麗的單面曲面其實非常簡單,即使是小孩也可以輕鬆完成。你只需要取一張紙帶,扭曲一次,然後將兩端黏在一起。然而,這樣容易製作的莫比烏斯帶卻有著複雜的性質,長期吸引著數學家們的興趣。

最近,研究人員一直被一個看似簡單的問題困擾著,那就是關於製作莫比烏斯帶所需紙帶的最短長度?布朗大學 Richard Evan Schwartz 談到,對於莫比烏斯帶來說,這個問題沒有解決,因為它們是「嵌入的」而不是「浸入的」,這意味著它們不會相互滲透或自我相交。莫比烏斯帶實際上是一個全息圖,一種投影到三維空間的圖形:對於“浸入的”的莫比烏斯帶,多層帶可以彼此重疊,有點像幽靈穿過牆壁;對於“嵌入的”的而言,沒有這樣的重疊。
製作莫比烏斯環,最少需要多長紙帶? 50年來的謎題被解開了
1977 年,數學家Charles Sidney Weaver 和Benjamin Rigler Halpern 提出了這個關於最小尺寸的問題,並指出如果允許莫比烏斯帶自相交,那麼這個問題就簡單了。那麼,剩下的問題就是要確定需要多少空間來避免自交。 Halpern 和 Weaver 曾提出了一個最小尺寸,但他們無法證明這個想法,因此被稱為 Halpern-Weaver 猜想。

Schwartz 在四年前首次了解到這個問題,在得知後就被這個問題深深吸引住。現在,他的興趣已經變成新的成果了。
製作莫比烏斯環,最少需要多長紙帶? 50年來的謎題被解開了
論文網址:https://arxiv.org/pdf/2308.12641.pdf

他在2023 年8 月24 日發佈在arXiv.org 上的一份預印本論文中證明了Halpern-Weaver 猜想。他證明了用紙製成的「嵌入的」莫比烏斯帶只能以大於製作莫比烏斯環,最少需要多長紙帶? 50年來的謎題被解開了的縱橫比構造出來。例如,如果帶子長度為 1 厘米,它的寬度必須大於製作莫比烏斯環,最少需要多長紙帶? 50年來的謎題被解開了厘米。

解決這個難題需要數學創意。當人們採用標準方法來解決這類問題時,很難透過公式來區分自相交和非自相交的曲面。具備 Schwartz 的幾何視覺才能夠克服這個困難,但這是很少見的。

在 Schwartz 的證明中,他設法將問題分解為可以處理的部分,每個部分基本上只需要基本幾何知識來解決。

其實,在找到成功的策略之前,Schwartz 在幾年裡斷斷續續地嘗試了其他策略。他最近決定重新審視這個問題,因為他一直覺得他在 2021 年的一篇論文中使用的方法應該是有效的。
 
顯然,他的直覺是正確的。當他重新研究這個問題時,他注意到在先前的論文中涉及 T 型圖的引理中存在一個錯誤。透過糾正這個錯誤,Schwartz 迅速而輕鬆地證明了 Halpern-Weaver 猜想。 Schwartz 自己也說,如果不是因為那個錯誤,他三年前就能解決了這個問題。 製作莫比烏斯環,最少需要多長紙帶? 50年來的謎題被解開了
                                       #在本證明中,T 型圖引理是關鍵。這個引理是基於一個基本的想法:莫比烏斯帶上有些直線被稱為直紋曲面。 Schwartz 指出在空間中的紙帶,即使它在某些複雜的位置,在每個點上仍然都有一條直線穿過它,你可以想像畫這些直線,讓它們橫穿莫比烏斯帶並在兩端觸及邊界。

在先前的工作中,Schwartz 確定了兩條互相平行並且在同一個平面上的直線,它們在每個莫比烏斯帶上形成了一個T 型圖案。他指出,這些東西存在並不明顯,需要證明它們存在,這也是證明引理的第一部分。

下一步是建立並解決最佳化問題,需要沿著帶寬度延伸的線段以一個角度切開一個莫比烏斯帶,並得到最終的形狀。 Schwartz 在 2021 年的論文中錯誤地得出了這個形狀是平行四邊形的結論。

今年夏天,Schwartz 決定嘗試不同的策略。他開始嘗試把莫比烏斯帶壓扁。如果能夠證明可以將它們壓成平面,這個複雜的問題將簡化為一個更容易處理的平面問題。在實驗中,Schwartz 切開了一個莫比烏斯帶,並意識到它不是平行四邊形,而是一個梯形。

最終,這個 50 年來的問題得到了解答。試著解決一個長期未解決的問題是需要勇氣的,而這正是 Schwartz 在數學上的優勢:他喜歡研究那些看起來相對容易但其實很難的問題。他會看到以前研究者沒有註意到的問題。

參考連結:https://www.scientificamerican.com/article/mathematicians-solve-50-year- old-moebius-strip-puzzle1/
#

以上是製作莫比烏斯環,最少需要多長紙帶? 50年來的謎題被解開了的詳細內容。更多資訊請關注PHP中文網其他相關文章!

本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn

熱AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover

AI Clothes Remover

用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool

Undress AI Tool

免費脫衣圖片

Clothoff.io

Clothoff.io

AI脫衣器

AI Hentai Generator

AI Hentai Generator

免費產生 AI 無盡。

熱門文章

R.E.P.O.能量晶體解釋及其做什麼(黃色晶體)
3 週前 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.最佳圖形設置
3 週前 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.如果您聽不到任何人,如何修復音頻
3 週前 By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25:如何解鎖Myrise中的所有內容
4 週前 By 尊渡假赌尊渡假赌尊渡假赌

熱工具

記事本++7.3.1

記事本++7.3.1

好用且免費的程式碼編輯器

SublimeText3漢化版

SublimeText3漢化版

中文版,非常好用

禪工作室 13.0.1

禪工作室 13.0.1

強大的PHP整合開發環境

Dreamweaver CS6

Dreamweaver CS6

視覺化網頁開發工具

SublimeText3 Mac版

SublimeText3 Mac版

神級程式碼編輯軟體(SublimeText3)

ControlNet作者又出爆款!一張圖生成繪畫全過程,兩天狂攬1.4k Star ControlNet作者又出爆款!一張圖生成繪畫全過程,兩天狂攬1.4k Star Jul 17, 2024 am 01:56 AM

同樣是圖生視頻,PaintsUndo走出了不一樣的路線。 ControlNet作者LvminZhang又開始整活了!這次瞄準繪畫領域。新項目PaintsUndo剛上線不久,就收穫1.4kstar(還在瘋狂漲)。項目地址:https://github.com/lllyasviel/Paints-UNDO透過這個項目,用戶輸入一張靜態圖像,PaintsUndo就能自動幫你生成整個繪畫的全過程視頻,從線稿到成品都有跡可循。繪製過程,線條變化多端甚是神奇,最終視頻結果和原始圖像非常相似:我們再來看一個完整的繪

從RLHF到DPO再到TDPO,大模型對齊演算法已經是「token-level」 從RLHF到DPO再到TDPO,大模型對齊演算法已經是「token-level」 Jun 24, 2024 pm 03:04 PM

AIxiv專欄是本站發布學術、技術內容的欄位。過去數年,本站AIxiv專欄接收通報了2,000多篇內容,涵蓋全球各大專院校與企業的頂尖實驗室,有效促進了學術交流與傳播。如果您有優秀的工作想要分享,歡迎投稿或聯絡報道。投稿信箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com在人工智慧領域的發展過程中,對大語言模型(LLM)的控制與指導始終是核心挑戰之一,旨在確保這些模型既強大又安全地服務人類社會。早期的努力集中在透過人類回饋的強化學習方法(RL

登頂開源AI軟體工程師榜首,UIUC無Agent方案輕鬆解決SWE-bench真實程式設計問題 登頂開源AI軟體工程師榜首,UIUC無Agent方案輕鬆解決SWE-bench真實程式設計問題 Jul 17, 2024 pm 10:02 PM

AIxiv專欄是本站發布學術、技術內容的欄位。過去數年,本站AIxiv專欄接收通報了2,000多篇內容,涵蓋全球各大專院校與企業的頂尖實驗室,有效促進了學術交流與傳播。如果您有優秀的工作想要分享,歡迎投稿或聯絡報道。投稿信箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com這篇論文的作者皆來自伊利諾大學香檳分校(UIUC)張令明老師團隊,包括:StevenXia,四年級博士生,研究方向是基於AI大模型的自動代碼修復;鄧茵琳,四年級博士生,研究方

OpenAI超級對齊團隊遺作:兩個大模型博弈一番,輸出更好懂了 OpenAI超級對齊團隊遺作:兩個大模型博弈一番,輸出更好懂了 Jul 19, 2024 am 01:29 AM

如果AI模型給的答案一點也看不懂,你敢用嗎?隨著機器學習系統在更重要的領域中得到應用,證明為什麼我們可以信任它們的輸出,並明確何時不應信任它們,變得越來越重要。獲得對複雜系統輸出結果信任的一個可行方法是,要求系統對其輸出產生一種解釋,這種解釋對人類或另一個受信任的系統來說是可讀的,即可以完全理解以至於任何可能的錯誤都可以被發現。例如,為了建立對司法系統的信任,我們要求法院提供清晰易讀的書面意見,解釋並支持其決策。對於大型語言模型來說,我們也可以採用類似的方法。不過,在採用這種方法時,確保語言模型生

公理訓練讓LLM學會因果推理:6700萬參數模型比肩萬億參數級GPT-4 公理訓練讓LLM學會因果推理:6700萬參數模型比肩萬億參數級GPT-4 Jul 17, 2024 am 10:14 AM

把因果鏈展示給LLM,它就能學會公理。 AI已經在幫助數學家和科學家做研究了,例如著名數學家陶哲軒就曾多次分享自己借助GPT等AI工具研究探索的經驗。 AI要在這些領域大戰拳腳,強大可靠的因果推理能力是不可或缺的。本文要介紹的研究發現:在小圖譜的因果傳遞性公理演示上訓練的Transformer模型可以泛化用於大圖譜的傳遞性公理。也就是說,如果讓Transformer學會執行簡單的因果推理,就可能用於更複雜的因果推理。該團隊提出的公理訓練框架是一種基於被動資料來學習因果推理的新範式,只有演示

arXiv論文可以發「彈幕」了,史丹佛alphaXiv討論平台上線,LeCun按讚 arXiv論文可以發「彈幕」了,史丹佛alphaXiv討論平台上線,LeCun按讚 Aug 01, 2024 pm 05:18 PM

乾杯!當論文討論細緻到詞句,是什麼體驗?最近,史丹佛大學的學生針對arXiv論文創建了一個開放討論論壇——alphaXiv,可以直接在任何arXiv論文之上發布問題和評論。網站連結:https://alphaxiv.org/其實不需要專門訪問這個網站,只需將任何URL中的arXiv更改為alphaXiv就可以直接在alphaXiv論壇上打開相應論文:可以精準定位到論文中的段落、句子:右側討論區,使用者可以發表問題詢問作者論文想法、細節,例如:也可以針對論文內容發表評論,例如:「給出至

黎曼猜想显著突破!陶哲轩强推MIT、牛津新论文,37岁菲尔兹奖得主参与 黎曼猜想显著突破!陶哲轩强推MIT、牛津新论文,37岁菲尔兹奖得主参与 Aug 05, 2024 pm 03:32 PM

最近,被稱為千禧年七大難題之一的黎曼猜想迎來了新突破。黎曼猜想是數學中一個非常重要的未解決問題,與素數分佈的精確性質有關(素數是那些只能被1和自身整除的數字,它們在數論中扮演著基礎性的角色)。在當今的數學文獻中,已有超過一千個數學命題以黎曼猜想(或其推廣形式)的成立為前提。也就是說,黎曼猜想及其推廣形式一旦被證明,這一千多個命題將被確立為定理,對數學領域產生深遠的影響;而如果黎曼猜想被證明是錯誤的,那麼這些命題中的一部分也將隨之失去其有效性。新的突破來自MIT數學教授LarryGuth和牛津大學

LLM用於時序預測真的不行,連推理能力都沒用到 LLM用於時序預測真的不行,連推理能力都沒用到 Jul 15, 2024 pm 03:59 PM

語言模型真的能用於時序預測嗎?根據貝特里奇頭條定律(任何以問號結尾的新聞標題,都能夠用「不」來回答),答案應該是否定的。事實似乎也果然如此:強大如斯的LLM並不能很好地處理時序資料。時序,即時間序列,顧名思義,是指一組依照時間發生先後順序排列的資料點序列。在許多領域,時序分析都很關鍵,包括疾病傳播預測、零售分析、醫療和金融。在時序分析領域,近期不少研究者都在研究如何使用大型語言模型(LLM)來分類、預測和偵測時間序列中的異常。這些論文假設擅長處理文本中順序依賴關係的語言模型也能泛化用於時間序

See all articles