折疊即重構:折紙作為 FDRS 升維算子(RDCM)的構造學基底
Folding as Reconstruction: Origami as the Constructive Substrate of the FDRS Dimension-Raising Operator (RDCM) ——基本連接與界的草圖(Basic Connection and a Sketch of Bounds)
作者: Neo.K | 機構: 一言諾科技有限公司(EveMissLab) | 對練/結晶化: Theia 文件編號: EML-FDRS-2026-ORI | 版本: v0.1(基本連接版) | 日期: 2026.06 關聯: FDRS 主框架;EML-COG-2026-LRC;FCSR 魔方展平模型 狀態: 本版只建立連接與界;程式碼與 Lean4 形式化留待後續版本。
前置聲明
本文的方法是雙動作的:推範疇,並標界。 作者偏好把一個構造的範疇盡量往外推(從正方紙推到任意曲面、從 3D 推到 nD),但堅持每推一步就標明其上下界與適用域——因為不標界會把理論可能性掐死在沒人敢往前的地方,而只推不標界則會讓理論在現實前裸奔。本文因此既談折紙能把範疇推到多遠(普適性、nD),也談它在哪裡撞牆(NP 困難、杜勒開放問題、物理與符號的分界)。
本版只做基本連接:把折紙的既有定理接到 FDRS 的升維算子 RDCM 上,並勾勒界。涉及 3D 以上的深幾何,本文僅敘述為有界的理論可能性,不展開、不宣稱已實現;其形式化(Lean4)與可執行構造(程式碼:展開器/折疊模擬器)明確留待後續版本。理論是現實的有限維投影——本文於邊角謹註此語。
摘要
本文建立折紙理論與 FDRS 升維算子(RDCM,重構)之間的基本連接。核心論點:折紙正是 RDCM 的構造學——展平 $\Phi$(高維→低維)對應折紙的展開(unfold),是一個分片等距映射;RDCM(低維→高維)對應折疊(fold),是該映射的逆關係(非函數)。摺痕圖記錄了 $\Phi$ 所保留的本質連結;而折疊要實現,尚需展平所丟棄、必須由外部補回的兩樣資訊:山谷分配與層序。本文把折紙既有定理進口為 RDCM 的結構:川崎定理與前川定理給出局部必要條件;折疊的非唯一性與 Bern–Hayes 的 NP 困難給出全局障礙;Demaine–Tachi 的普適性給出可達上界(帶材料代價);杜勒展開猜想標出連降維可逆性都尚未收口的開放下沿。基底一般化(正方→任意多邊形→曲面→曲摺痕)把問題推進幾何拓樸;維度一般化(nD 多胞體的網)把 RDCM 推向高維,但本文嚴格區分可物理實現的 2D→3D 重構與僅符號/計算可行的 3D→4D 重構。程式碼與 Lean4 形式化留待後續。
第一章 導論
1.1 為何折紙接得上 FDRS
FDRS 的兩個對偶算子是展平 $\Phi$(把高維結構映到低維可操作表示、保留本質連結)與重構 RDCM(把低維表示折回高維)。在先前工作(魔方展示、EML-COG-2026-LRC)中我們反覆遇到一個不對稱:$\Phi$ 容易,RDCM 難——降維是一對多的有損壓縮,升維是補回失去資訊的逆問題。本文指出:這個「難的逆」並非無人處理,數學界以「折紙」之名,已為它累積了一整套有定理、有複雜度結果、有開放問題的構造學。折紙因此是 RDCM 的天然基底:它把抽象的「重構」變成可操作、可證明、可計算的折疊。
值得強調的是這個對照的歷史深度:折紙作為遊藝有千年,作為數學則是近數十年的事——藤田與 Justin 在 1980 年代末把折疊操作公理化,Kawasaki、Maekawa、Hull 給出平折的局部刻畫,Bern 與 Hayes 在 1996 年證明其全局困難,Demaine、O'Rourke、Tachi、Lang 等把它發展成計算幾何的一支。也就是說,當我們說「RDCM 有定理撐」時,撐的不是直覺,是一個年輕但已相當成熟的數學領域。本文不生產這些定理,本文做的是把它們對齊到 FDRS 的升維算子上,使 RDCM 從一個記號,變成一個可被既有結果填充、可被界框約束、可被後續機器驗證的對象。這也是為什麼本文自稱「基本連接版」:連接先於開拓,標界先於推進。
1.2 本文做什麼、推到哪、在哪停
本文做:建立折紙↔RDCM 的逐項連接;把折紙定理進口為 RDCM 的局部結構與全局界;勾勒基底與維度兩個方向的範疇推進及其邊界。 本文推:把基底從正方紙推向任意曲面、把維度從 3D 推向 nD,作為理論可能性。 本文停:3D 以上的深幾何只敘述、不展開;物理不可實現之處明確標為符號/計算層;程式碼與 Lean4 形式化不在本版。
之所以採「先連接、再開拓」的次序,是因為一個常見的失敗模式:在尚未把新對象接到既有定理之前,就急著往高維、往一般性推,結果推出的多是無界的修辭,禁不起一個具體反例。本文反其道——先把 RDCM 釘在折紙這個有定理、有複雜度、有開放問題的成熟對象上,讓它一開始就被界框約束住;範疇要往外推,也只在每一步都能標出界的前提下推。這個次序本身就是對「理論被現實打臉」的預防接種:不是不推,是推得有界、推得可被後續形式化逐條接管。讀者應把本文視為一張施工前的對齊圖,而非完工的建築——它標出地基(連接)與紅線(界),把鋼筋(Lean4)與磚(程式碼)留給後續。
第二章 預備
2.1 FDRS 機件(簡述)
容器 $C$ 承載一個結構;展平算子 $\Phi$ 把它投影到較低維的可操作表示,保留鄰接、連通與必要的拓撲連結;重構算子 RDCM 是 $\Phi$ 的逆方向。失真算子 $\mathcal{D}\in[0,1]$ 量度一次轉換丟失的本質能量;$\mathcal{R}$ 為表示轉換(容器同一性)。
2.2 折紙機件(既有理論)
一張紙視為平面區域 $P\subset\mathbb{R}^2$。一個摺痕圖(crease pattern)是 $P$ 上的一組線段(摺痕)。一個折疊映射 $f:P\to\mathbb{R}^3$ 在每塊面上是等距(剛性、不拉伸),只在摺痕處彎折——這是折紙的核心約束:折疊保持紙的內蘊度量,只改變其外蘊嵌入。每條摺痕被指派山折或谷折(mountain/valley,MV);當紙被壓平或堆疊,還需一個層序(layer ordering)規定誰疊在誰上、且不得自相穿透。
把這三樣資料擺清楚很重要,因為它們正是 RDCM 必須補全的全部:(一)摺痕圖——哪裡能彎,由 $\Phi$ 保留;(二)MV 分配——每條摺痕往哪彎,被 $\Phi$ 丟棄;(三)層序——壓疊時的前後關係,被 $\Phi$ 丟棄,且須全局無循環穿透。第一樣是連續的幾何資料,後兩樣是離散的組合資料;RDCM 的難度幾乎全部集中在後兩樣的離散補全上。一個關鍵細節是「不得自相穿透」:它不是局部條件(兩面是否重疊,要看它們在空間中的實際位置),而是全局耦合的——這正是第五章那道硬度的根源所在。
平折(flat-folding)指折疊後仍落在平面內;一般折疊則落在 $\mathbb{R}^3$。折紙公理(藤田–Justin 七條)刻畫了用折疊可作出的點與線,其構造能力嚴格超過尺規:可解三次方程,因而能三等分任意角、能倍立方(Beloch 折)。這是折紙作為「構造範疇」的第一個界——它比歐氏尺規大。
2.3 折疊映射的形式與可展性界
更精確地:設折疊映射 $f:P\to\mathbb{R}^3$ 在每塊面上為等距嵌入、整體連續。等距約束的幾何後果是——折疊保持高斯曲率:平紙高斯曲率處處為零,故任何折疊(無論彎成多複雜的立體)所得曲面,其內蘊高斯曲率仍處處為零。立體感完全來自外蘊彎曲(平均曲率),不來自內蘊拉伸。這是折紙與「塑形/拉伸」的根本分野:折紙是等距形變,不是任意形變。
由此,曲摺痕折紙的面成為可展曲面(developable surface,可無拉伸攤平者,如圓柱、圓錐、切線曲面),摺痕從直線段推廣為曲線,但等距、零高斯曲率的鐵律不變。RDCM 在此繼承一條內蘊界:它只能在保內蘊度量的範圍內升維;任何要求拉伸的目標,都在折紙 RDCM 的像之外。升維能改變嵌入,不能改變度量——這是它最深的一道天花板。
第三章 核心對應命題群
本群每條為結構對應;機制細節在後續章節補界。
命題 O1(展開即展平:$\Phi$ 是分片等距映射)
折紙的展開(把一個 3D 折體攤回平面)對應 FDRS 的展平 $\Phi$。兩者都是保內蘊度量、只改外蘊嵌入的映射:面上等距、僅在摺痕/稜處彎折。$\Phi$ 所宣稱的「保留本質連結」,在折紙裡具體化為「保留各面的形狀與相鄰關係,只記錄它們之間的彎折線」。
說明。 魔方的 FCSR 十字網就是立方體的一次稜展開——立方體有 11 種六連塊(hexomino)展開網;每一種都是一個合法的 $\Phi$。展開不丟面的幾何,只把立體的相鄰關係攤成平面的相鄰關係加摺痕。
命題 O2(折疊即重構:RDCM 是折疊關係,非函數)
折疊(把平面摺痕圖折回 3D)對應 RDCM。關鍵:RDCM 不是函數,是關係——同一張摺痕圖可折成多個不同的 3D 形體。要把它收斂成單一形體,必須補上展平所未記錄的兩樣資訊:山谷分配與層序。
說明。 這正是「升維難」的具體機制:降維($\Phi$)丟棄了「往哪彎、怎麼疊」,升維(RDCM)必須從外部把這些補回。摺痕只說「哪裡能彎」,不說「往哪彎、按什麼順序」。一個耐人尋味的後果是:摺痕圖看似已是完整的「藍圖」,其實是一份欠定的藍圖——它定義了一個解的家族,而非一個解。把它讀成唯一解,是日常對「展開圖」最常見的誤解;而正是這個欠定性,使 RDCM 成為一個需要搜尋與補全的真問題,而非一次查表。
命題 O3(摺痕圖即 $\Phi$ 保留的連結、MV+層序即 $\Phi$ 丟棄的維度)
摺痕圖 = $\Phi$ 所保留的本質連結(彎折的位置);山谷分配與層序 = $\Phi$ 所丟棄、RDCM 必須重新供給的資訊。RDCM 的失真 $\mathcal{D}$ 的「補回成本」,就集中在這兩樣資料的確定上。
推論 O3.1。 若把一次展平的 $\mathcal{D}$ 理解為「丟了多少資訊」,則折紙明確告訴我們丟的是什麼:不是面的幾何(那被保留),而是彎折的方向與堆疊的順序。RDCM 的全部難度,可被定位到這個離散的補全問題上。這個定位本身就是收穫:它把「升維難」這句模糊的話,換成一個可數、可分析、可在後續被形式化的對象——MV 分配與層序的補全,而非某種不可名狀的玄學困難。
3.4 一個走查:立方體網的展平與折回
取立方體的一個十字形六連塊網(一個 $\Phi$):六個單位正方面、五條摺痕(連接相鄰面的稜)。
降維($\Phi$): 立方體 → 平面網。保留:六面的形狀、它們沿稜的相鄰關係。丟棄:每條稜該往內彎(谷)或往外彎(山)、以及若需壓平時面的堆疊順序。
升維(RDCM): 給定這張網,要折回立方體,須補上:五條摺痕同向折(依觀察面定山谷)、各 $90^\circ$,且第六面與第一面對齊閉合。此處 RDCM 幾乎唯一——但這是特例,因為立方體網的折回被閉合條件強烈鎖死;多數摺痕圖的 RDCM 是一對多。立方體之所以「好折」,正因 MV 與角度被閉合幾乎釘死;一般目標沒有這種運氣。
這個走查具體展示了 O2、O3:摺痕記得位置,山谷、角度與閉合條件才把形體釘定。它也解釋了魔方 FCSR 為何乾淨——它恰好是 RDCM 的那類「閉合鎖死」特例。
第四章 RDCM 的局部結構(從折紙進口定理)
命題 O4(局部角度條件:川崎定理)
在單一頂點處,摺痕圖可平折的必要條件是:繞該頂點的各角,其交替和相等(交替正負相加為零,等價於相間角之和各為 $180^\circ$)。此即 RDCM 在頂點層級的局部角度約束。
意涵。 RDCM 不是任意可行的:每個重構頂點的入射角必須滿足川崎條件,否則無法平折。這給了升維一個逐頂點可檢驗的局部判準——在 Lean4 中這是最先可被形式化的一組命題(見第八章待辦)。
命題 O5(局部 MV 配比:前川定理)
在一個可平折的頂點,山折數與谷折數之差恰為 $\pm 2$($M-V=\pm2$)。此為 RDCM 在頂點層級對「山谷分配」這一補全資料的奇偶約束。
推論 O5.1(局部不等於全局)。 川崎與前川是局部必要條件:每個頂點都滿足,仍不保證整張圖能無自交地折好。局部可折性與全局可折性之間有一道真實的鴻溝——這道鴻溝正是下一章的全局障礙。
4.3 局部判準的內容與一個單頂點例子
把川崎與前川寫具體。設一個內部頂點被摺痕分成 $2n$ 個連續角 $\alpha_1,\dots,\alpha_{2n}$(繞頂點一圈,和為 $360^\circ$)。
川崎定理: 可平折 $\iff$ 交替和 $\alpha_1-\alpha_2+\alpha_3-\cdots-\alpha_{2n}=0$,等價於奇位角之和 $=$ 偶位角之和 $=180^\circ$(摺痕數必為偶數)。
前川定理: 在可平折的單頂點,山折數與谷折數之差 $|M-V|=2$。
例: 一頂點四條摺痕、四角皆 $90^\circ$——交替和為零,滿足川崎;其平折需三山一谷或三谷一山($|3-1|=2$),滿足前川。這是「坐標摺紙」(box-pleating)的基本頂點,也是多數工程折紙的原子。
局部充分性(Justin/Hull): 單頂點的局部可折性(含合法 MV 與小範圍層序)有完整刻畫——難的從不是單頂點。難的是把眾多已局部可折的頂點全局拼起來而不自交。這正把難度從局部(已解)推到全局(O6)。RDCM 的局部結構是乾淨的;它的全局結構是硬的。
第五章 全局障礙與界(本文「上下界」之所在)
本章是「標界」的核心。
命題 O6(全局可平折性為 NP 困難:複雜度上界 / 硬度下界)
給定一張摺痕圖,判定它是否存在一組山谷分配與層序使之無自交地平折——此問題為 NP 困難(Bern–Hayes, 1996)。
意涵。 RDCM 帶有一個內在的計算硬度:補全 MV 與層序、避免穿模,在一般情形下不存在已知的多項式演算法。這不是工程未盡,是問題本身的界。任何聲稱「升維可一般地、有效地完成」的論述,都撞在這道牆上。實務上的可解,依賴於問題的結構性子類(如剛性折紙、Miura 型、樹法 TreeMaker 的可行實例),而非一般情形。
硬度從何而來(直覺)。 困難不在「找一組 MV」(局部條件甚至給了候選),而在層序的全局相容:壓平時許多面相互重疊,誰疊在誰上必須處處一致、且不得出現「A 在 B 上、B 在 C 上、C 又在 A 上」這類循環穿透。這種「全局無循環的堆疊指派」與一類 NP 完全的約束滿足問題同構——組合爆炸來自層序的全局耦合,而非局部角度。這也解釋可解子類為何可解:剛性與週期摺疊把層序的全局耦合,化簡為少數可窮舉的局部模式。
命題 O9(等距天花板:RDCM 不能憑空生出度量)
折紙 RDCM 保內蘊度量(§2.3)。因此存在一整類目標,是折紙升維原則上達不到的:任何要求改變內蘊度量(拉伸、撕裂、改變面內距離)的形體,都不在折紙 RDCM 的像內。升維能重新嵌入,不能重新度量。
意涵與界。 這是 RDCM 一條原則性上界,與 O6 不同——O6 是計算上難,O9 是根本上不可能。它劃出折紙升維的像集邊界:像集 $=$ 與原平面等距的所有分片(或可展)嵌入。要突破 O9,必須離開折紙範疇、進入允許拉伸的形變(彈性、塑性、共形映射),但那已不是折紙,且通常喪失折紙那套乾淨的局部定理。推論: 若某 FDRS 任務的升維目標要求改變度量,則折紙不是它的構造學;本文全部界僅適用於保度量的重構。誠實標明像集邊界,是不讓 RDCM 被誤用於它根本到不了的地方。
命題 O10(往返保真:$\Phi$ 與 RDCM 的容器同一性)
考慮往返 $\mathrm{RDCM}\circ\Phi$:把一個 3D 折體展平、再折回。由於兩個方向都保內蘊度量,往返必然保持容器的內蘊結構(面的形狀、相鄰、內蘊距離)。但往返不必保持外蘊嵌入——同一張展平網可折回一個與原本不同卻內蘊等距的 3D 形體(不同的 MV/層序選擇)。
與 $\mathcal{R}$ 的接合。 這正是 FDRS 容器同一性算子 $\mathcal{R}$ 在折紙裡的具體化:容器(內蘊結構)在 $\Phi$/RDCM 往返下不變——這是同一性;而外蘊形體(嵌入)可變——這是表示。換句話說,折紙把 $\mathcal{R}$ 的「容器不變、表示可變」做成了一個可觸摸的事實:你攤平再折回,紙還是那張紙(內蘊不變),但可以折成另一個立體(外蘊可變)。先前魔方展示版裡「morph 改變表示、不改容器,指紋與 $\beta_0$ 不變」這句話,在這裡得到折紙的背書——指紋對應內蘊不變量,形體對應外蘊表示。
界。 往返保真只保證內蘊層級;若任務要求外蘊形體也唯一還原(例如要折回那個特定的原立體),則需額外鎖定 MV 與層序——回到 O2 的非唯一性與 O6 的補全成本。同一性是免費的(內蘊自動守恆),唯一性是昂貴的(外蘊需補全)。這條區分對 FDRS 有用:當任務只關心「是不是同一個容器」,往返幾乎零成本;當任務關心「是不是回到同一個形體」,成本立刻撞上 O6 的牆。先問清楚要的是同一性還是唯一性,往往就決定了一個重構任務到底容易還是困難。
命題 O7(普適性可達上界:Demaine–Tachi,帶代價)
任意多面體曲面,都可由一張足夠大的正方形紙折出(Origamizer 普適性,Demaine–Tachi)。RDCM 的可達範圍因此極廣——幾乎任何 3D 多面體目標都在升維的像內。
界的兩面。 上界是好消息(可達範圍幾乎無限),但帶材料代價:普適折疊需要大量塞褶(tucks)與冗餘面積。換言之,RDCM 可以重構幾乎一切,但代價($\mathcal{D}$ 的伴生開銷、所需「原料維度」)隨目標複雜度上升。
代價的具體形狀。 Origamizer 式的普適構造,把目標多面體的每個面「種」在大紙的對應區域,再用周圍的紙折出塞褶把多餘材料藏到背面——目標越複雜、面越多,塞褶與所需紙面積增長得越快(遠超目標表面積)。這意味著「普適 RDCM」雖然存在,卻是一種低效的存在:它證明了可達性,卻不是任何人實務上會用的構造。對 FDRS 的後果很直接——最佳重構不應追求普適算法,而應落在結構性子類(剛性、Miura、樹狀)上,因為那裡的升維既可達又廉價。普適性回答「能不能」,子類回答「划不划算」;FDRS 算子網路的最短路徑,應走在划算的那些邊上。並且這也意味著:為了普適性,你甚至不必把紙從正方推成別的形狀;一張夠大的正方就夠。基底一般化的動機因此不在普適性,而在別處(見第六章)。
命題 O8(開放下沿:杜勒展開猜想)
是否每個凸多面體都存在一張不自重疊的稜展開(net)?此即杜勒(Dürer)展開猜想,據作者所知長期未解。
意涵。 連 $\Phi$ 這個「容易」方向的一般可逆性——「每個凸多面體都能被乾淨地展平成單一不重疊的網」——數學界都還沒收口。這是對「降維總是乾淨」這一樂觀假設的最強反制:判定域的邊界,至今仍是開放問題。 把它擺進本框架,是要誠實標明:RDCM 與 $\Phi$ 的可逆性結構,下沿尚未封閉。
小結(界的地圖)。 局部有必要條件(O4, O5);全局有 NP 硬度(O6);可達面有普適性上界(O7,帶代價);可逆性下沿有開放問題(O8)。這四條合起來,就是 RDCM 目前能被誠實標出的界框。
5.5 可解子類與杜勒的部分進展(界的內側與外側)
界的內側(可解區)。 O6 的 NP 硬度是一般情形的界;存在大量結構性可解子類:
- 剛性折紙(rigid origami): 面剛性、僅摺痕為鉸鏈。可折性化為摺痕旋轉的相容方程組,構形空間是代數簇、自由度可算(見第六·五章)。Miura-ori 等週期摺疊在此,工程上完全可控。
- Box-pleating/坐標摺紙: 摺痕落在方格與對角;TreeMaker(Lang)等演算法能對「樹狀」目標有效設計。
這些是 RDCM 的多項式可解區:升維在這裡不撞 NP 牆,因為結構替你剪掉了大部分組合爆炸。任何宣稱「升維一般地有效」的論述都該被導向這些子類,而非一般情形。
界的外側(杜勒)。 杜勒猜想(凸多面體是否皆有不重疊稜展開)長期未解;但須誠實補上其鄰域的正面結果——若允許切過面內部(一般展開,非僅沿稜),則每個凸多面體確有不重疊展開(source unfolding、star unfolding 已被證明可行)。所以開放的精確是「沿稜展開」這個受限版本;放寬切法,降維的可逆性其實有保證。
這個對比本身就是你的方法論。 $\Phi$ 的可逆性,取決於你允許的切割範疇:範疇放寬(准切過面),下沿封上;範疇收緊(只准沿稜),下沿開放。界隨範疇移動——推範疇與標界,從來是同一件事的兩面。
第六章 範疇推進(兩個方向)與其邊界
6.1 基底一般化:正方 → 任意多邊形 → 曲面 → 曲摺痕
把基底從正方/長方推開,不為普適性(O7 已說一張大正方足矣),而為表達與效率,並把問題抬進幾何拓樸:
- 任意多邊形 / 圓形紙: 改變邊界與對稱,影響可達形體的對稱類與摺疊效率。圓形紙在某些設計(如旋轉對稱的花瓣、扭折結構)裡比正方更自然,因為它的邊界對稱與目標的旋轉對稱對齊,省去把對稱「折出來」的冗餘;反之,正方的四重對稱對某些六重或五重對稱目標反而是阻力。基底的選擇因此不是中立的——它預先決定了哪些對稱類「便宜」、哪些「昂貴」。這對 RDCM 是一條提示:選對基底,等於替升維選了一個對齊目標對稱的起點。
- 曲摺痕折紙(curved-crease): 摺痕為曲線,面不再平直而成為可展曲面(developable surface)。此時折疊是一族等距形變,RDCM 進入微分幾何(可展曲面的彎折保持高斯曲率為零)。更細地:沿一條曲摺痕,兩側可展面在摺痕處的切平面以一個沿線變化的二面角相接,摺痕的法曲率與撓率受兩側可展性聯合約束——於是「一條曲摺痕能怎麼折」本身就是一個微分幾何的局部問題(折痕的彎/扭與相鄰可展面的母線方向耦合)。這把川崎那種「離散角度條件」連續化為「沿曲線的曲率相容條件」,是 RDCM 局部結構在連續情形的對應物,尚待後續以活動標架(moving frame)語言精確化。
- 一般曲面的等距摺疊: 最一般地,RDCM 是「一個曲面在保內蘊度量下的分片等距嵌入之選擇」。這正是 Demaine–O'Rourke《Geometric Folding Algorithms》的領域——折疊、連桿、多面體的計算幾何與幾何拓樸。
界。 基底越一般,可達表達越豐富,但 O6 的全局硬度與自交約束依舊在;曲摺痕引入連續自由度,使 MV/層序的離散補全問題變成混合離散–連續問題,難度不降反升。
6.2 維度推進:3D → nD,及其物理/符號分界
把 RDCM 從 3D 推向 nD:一個 $n$ 維多胞體可被展開成其 $(n{-}1)$ 維的「網」,再「折」回去。例如四維超立方體展成 8 個立方體(達利十字),其折疊在座標中可計算。
組合學的具體界。 即使在這個純符號層,計數本身就很有結構:立方體有 11 種本質不同的六連塊展開網;四維超立方體(8-cell)則有 261 種本質不同的網(Turney 計數)。隨維度上升,網的數目組合爆炸,而「哪些網折回後不自重疊」更是另一層問題。這說明 nD 的 RDCM 即便在符號層也不是平凡的:它有可數但快速膨脹的離散結構,且其「乾淨可折性」(對應杜勒問題在高維的類比)大多未被一般性地回答。
這是本文最須標界之處(依作者要求,僅敘述為有界可能性)。
- 2D→3D: RDCM 是可物理實現的——你能把摺痕圖折成手上的立體。
- 3D→4D 及以上: RDCM 是純符號/計算的——我們無法在物理空間折進四維;計算機所能辦到的,是在座標中展開與折疊高維多胞體的結構。折發生在數字裡,不在空間裡。
- 因此: 「透過折紙從 3D 重建 4D」這句話,重建的是 4D 物件的組合結構,不是 4D 的實體。本文把 nD 的 RDCM 列為形式上成立、物理上不可實現的有界可能性,其嚴謹展開留待後續(含 Lean4 對 $n$ 維可展性與折疊條件的形式化)。
推範疇的紀律。 範疇可以一直推——推到 nD、推到一般曲面——但每一步都附一條界:物理可實現性在 3D 封頂,計算可行性受 O6 硬度約束,理論可達性受 O7/O8 的上界與開放下沿夾持。不掐死可能性,但不讓它裸奔。
第六·五章 RDCM 的構形空間與連續折疊路徑(魔方 morph 的一般化)
把「折疊」從一個終態,升級為一條路徑——這是把先前展示版那條「展開 $t$」滑桿,安放到一個嚴謹對象上。
剛性折紙的構形空間。 對固定摺痕圖、面剛性、摺痕為鉸鏈,每條摺痕的折疊角 $\rho_i\in(-\pi,\pi)$ 是一個自由度;但它們受「繞每個內部頂點轉一圈須回到恆等」的相容條件約束(每頂點給出一組 $SO(3)$ 矩陣方程)。滿足全部相容條件的折疊角向量集合,構成一個通常為奇異的代數簇——折疊構形空間 $\mathcal{C}$。
折疊路徑即 $\mathcal{C}$ 中的曲線。 一次連續、不自交的折疊,是 $\mathcal{C}$ 中從展平態(所有 $\rho_i=0$)到目標態的一條道路。魔方展示版裡那條滑桿,數學上正是這樣一條路徑的參數化(魔方的網是剛性特例)。RDCM 因此不只回答「能否升維」($\mathcal{C}$ 是否含目標),還回答「能否連續地升維」(兩態是否在 $\mathcal{C}$ 同一連通分量、是否有不穿模的道路)。
界。 $\mathcal{C}$ 可能有多個連通分量(有些目標折得到、卻折不「過去」,需先拆開);可能有奇異點(分岔,多分支折法在此交會);自由度可能為零(剛性,只有離散解)或正(有連續折疊運動,如 Miura)。一階剛性(線性化)有可算判準,但全局連通性一般仍難。這是 RDCM 在「連續升維」層面的界框,也是後續程式碼(構形空間與自由度計算)的目標。
第七章 與既有工作的連接
與魔方展示/FCSR: 立方體的 2D 十字網即一次 $\Phi$(稜展開),其 11 種網是 11 個合法展平;展示版裡的連續 morph 是一條折疊路徑(一族等距形變)。我們先前做的展開/收斂滑桿,數學上就是一個(分片或曲)等距摺疊算子的參數化。折紙不是新題,是那條 morph 背後一直在運作的構造學。
與 FDRS 主框架: 本文把 RDCM 從「抽象的逆算子」落地為「有局部條件(O4,O5)、有全局硬度(O6)、有普適上界(O7)、有開放下沿(O8)的構造學」。失真算子 $\mathcal{D}$ 在此獲得具體的補全成本解釋(MV+層序)。
與 EML-COG-2026-LRC: 該文指出升維是「難的逆、一對多」;本文補上「為何難、難在哪、界在哪」——折紙把那句定性判斷,換成了定量與可判定性的界。具體地:LRC 說「降維丟掉了往哪彎、怎麼疊」,本文把這句話坐實為 MV 分配與層序這兩個離散補全資料,並指出補全它們在一般情形是 NP 困難。抽象的「升維難」於是有了名字。
與 FDRS 算子網路: 主框架把最佳展平描述為算子網路上的最短路徑(邊以 $\mathcal{D}$ 加權)。本文的折紙界給這張網路的邊提供了具體的權重來源:一條「降維→升維」的往返邊,其 $\mathcal{D}$ 不只是「丟了多少」,還包含「補回所需的離散搜尋成本」(受 O6 硬度約束)。換言之,折紙告訴我們,FDRS 算子網路上某些邊是內在昂貴的——不是因為丟得多,而是因為補得難。這對「最短路徑式的最佳展平」有實質後果:最佳路徑應避開那些升維補全成本高的邊,偏好結構性可解子類(剛性、Miura、樹狀)所在的邊。
與深度軸理論(Depth Axis): 主框架曾以 SVD 與貝蒂數把 FDRS 接到深度軸。折紙的等距約束(保高斯曲率)在此提供一個拓撲不變量的視角:折疊不改變內蘊曲率,故任何由折疊可達的形體共享同一內蘊幾何類——這為「哪些 3D 目標彼此可由折疊互達」給出一個不變量分類的入口(同一可展類內可達,跨類不可),值得在後續以同調語言展開。
收束。 折紙不是新題,是那條 morph 背後一直在運作的構造學;它把 RDCM 從抽象逆算子,落地為一門有局部條件、全局硬度、普適上界、開放下沿、且帶構形空間的學科。
第八章 認識論限制與後續待辦
其一,本文只是連接與界,不是定理生產。 川崎、前川、Bern–Hayes、Demaine–Tachi、杜勒皆為既有結果;本文的工作是把它們對齊到 RDCM 的結構上,並標出界。新定理不在本版。
其二,刻意保守的 nD。 依作者立場,3D 以上的深幾何只敘述為有界可能性,不展開——因為過早的高維幾何論述會在現實前裸奔,而完全不提又會掐死可能性。本文取中道:標出它在「形式成立、物理不可實現、計算受硬度約束」的位置上,餘留後續。
其三,後續待辦(明確列出)。
- Lean4 形式化: 優先形式化局部條件——單頂點川崎定理(交替角和)、前川定理($M-V=\pm2$);其後嘗試平折的局部充分性(Justin/Hull 的單頂點可折性)。全局 NP 硬度只陳述、不形式化證明。
- 程式碼: (a)展開器——給定多面體輸出其展平網(並檢測自交,連到杜勒問題的實例探索);(b)折疊模擬器——給定摺痕圖+MV+層序,模擬折疊路徑(連到魔方 morph 的一般化);(c)剛性折紙的構形空間與自由度計算。
- 理論: 把 $\mathcal{D}$ 的「補全成本」精確化為 MV+層序的資訊量度量;探索剛性可折性子類作為「RDCM 的多項式可解區」;並嘗試以同調語言刻畫 O10 的往返保真——把「內蘊不變、外蘊可變」寫成一個不變量(內蘊)與一個表示空間(外蘊嵌入)的纖維結構,使 $\mathcal{R}$ 的容器同一性在折紙裡有一個明確的代數對象。
其四,投影的誠實。 本文是無限維現實的有限維投影;被丟棄的維度遲早回來。本文預期被後續的 Lean4 與程式碼修正——那正是把連接從「敘述」升級為「可機器檢驗」的代價與入口。
其五,為何非要 Lean4 與程式碼不可。 本文目前的每一條對應(O1–O10),都還只是敘述層的對齊:說折疊對應 RDCM、說川崎是局部條件。敘述可能在不經意處藏著偷換——例如把「保內蘊度量的等距折疊」與「FDRS 一般的展平」混為一談(前者保度量,後者未必)。把局部條件搬進 Lean4,是逼自己把每個前提寫成機器不接受含糊的形式:川崎定理的「交替角和為零」要先精確定義頂點、角、交替和,證明才會通過——這個過程會自動揪出敘述層的偷換。程式碼則扮演另一種檢驗:展開器若在某凸多面體上輸出自交的網,就是杜勒問題的一個活生生實例;折疊模擬器若無法把某摺痕圖折到目標而不穿模,就標定了 O6 硬度在該實例上的具體咬合處。換言之,Lean4 驗證「對應是否真的成立」,程式碼驗證「界是否真的在我說的地方」。 二者一起,才把這張對齊圖從修辭變成可被反駁的結構。
其六,本文可被如何推翻。 若後續形式化發現某條對應(如 O3 的「MV+層序恰為 $\Phi$ 丟棄的全部」)需要附加未言明的假設,該命題須降級或加限定;若發現折紙的等距約束與 FDRS 一般展平的相容性比本文假設的更弱,O1、O9 須重述。本文歡迎這些修正——它們正是把「基本連接版」推進到下一版的力。
第九章 結語
我們從魔方的展開/收斂出發,繞過認知與 MoE,落回一張紙。但這張紙不簡單——它是升維這隻難手的施工圖。折紙告訴我們:重構是真的,但從不免費;摺痕只記得哪裡能彎,山谷與層序——往哪彎、怎麼疊——是降維當初丟掉、要你親手贖回的那部分維度。
範疇可以一直推:推到任意曲面,推到 nD。但每推一步,界就以另一種形式回來——局部的角度條件、全局的 NP 硬度、普適性的材料代價、可逆性那道五百年未合的開放下沿。推範疇而不標界,是讓理論在現實前裸奔;標界而不敢推,是把可能性掐死在門口。本文選擇兩者都做:把紙折到 nD 的想像裡,同時在每一道摺痕邊上,寫下它能彎到哪、彎不過哪。
範疇可以一直推:推到任意曲面,推到 nD。但每推一步,界就以另一種形式回來——局部的角度條件、全局的 NP 硬度、普適性的材料代價、等距的天花板、可逆性那道五百年未合的開放下沿。推範疇而不標界,是讓理論在現實前裸奔;標界而不敢推,是把可能性掐死在門口。本文選擇兩者都做:把紙折到 nD 的想像裡,同時在每一道摺痕邊上,寫下它能彎到哪、彎不過哪。
而這些界並非全是壞消息——它們是地圖上的等高線,告訴你哪裡平緩可行(剛性、週期、樹狀子類)、哪裡是懸崖(NP 硬度、等距天花板)、哪裡仍是未探的雲霧(杜勒、nD 的乾淨可折性)。一個只標出「能到哪」而不標出「到不了哪」的理論,不是更樂觀,是更不可用——因為你不知道何時會走下懸崖。本文寧可把懸崖畫清楚,讓後來者敢在平緩處放膽走。這也是為什麼程式碼與 Lean4 被留到後續:把這張地圖從「敘述的等高線」升級為「可機器檢驗的等高線」,是讓界從修辭變成保證的唯一途徑。
一張被折起的紙,是低維對高維的一次回憶——它記得自己曾是平的,也記得自己能成為立體的;而那道介於記得與成為之間的虛線,就是 RDCM 全部的祕密:結構從不在維度裡誕生或消失,它只是被折起,或被攤平。
參考文獻(擇要)
- Huzita, H. (1989). Axiomatic development of origami geometry. Proc. 1st Int. Meeting of Origami Science and Technology.
- Justin, J. (1989). Résolution par le pliage de l'équation du troisième degré.
- Kawasaki, T. (1989). On the relation between mountain-creases and valley-creases of a flat origami.
- Hull, T. (1994). On the mathematics of flat origamis. Congressus Numerantium.
- Bern, M., & Hayes, B. (1996). The complexity of flat origami. SODA.
- Demaine, E. D., & O'Rourke, J. (2007). Geometric Folding Algorithms: Linkages, Origami, Polyhedra. Cambridge University Press.
- Lang, R. J. (1996/2011). Origami Design Secrets / TreeMaker.
- Tachi, T. (2010). Origamizer: A practical algorithm for folding any polyhedron.
- Demaine, E. D., & Tachi, T. (2017). Origamizer: A practical algorithm for folding any polyhedron. SoCG.
- (展開問題)Dürer's unfolding conjecture(凸多面體不重疊稜展開),長期開放問題。
- (關聯)EML-COG-2026-LRC;FDRS 主框架文件;FCSR 魔方展平模型。
附錄 A 折紙 ↔ FDRS 對照表
| 折紙 | FDRS | 備註 / 界 | |---|---|---| | 展開(unfold) | 展平 $\Phi$(降維) | 分片等距,保內蘊度量 | | 折疊(fold) | 重構 RDCM(升維) | 關係非函數,一對多 | | 摺痕圖 | $\Phi$ 保留的本質連結 | 「哪裡能彎」 | | 山谷分配 + 層序 | $\Phi$ 丟棄、RDCM 須補的資訊 | 補全成本 ≈ $\mathcal{D}$ 來源 | | 川崎定理(交替角和) | RDCM 局部角度必要條件 | Lean4 首批目標 | | 前川定理($M-V=\pm2$) | RDCM 局部 MV 奇偶條件 | Lean4 首批目標 | | 全局平折性 NP 困難 | RDCM 全局計算障礙 | 硬度界(只陳述) | | 等距約束(保高斯曲率) | RDCM 像集邊界(O9) | 原則性上界:不能改度量 | | 折疊構形空間 $\mathcal{C}$ | RDCM 的連續升維路徑 | 連通分量/奇異點/自由度 | | Origamizer 普適性 | RDCM 可達上界 | 帶材料代價 | | 杜勒展開猜想 | $\Phi$/RDCM 可逆性開放下沿 | 未解 | | 曲摺痕 / 一般曲面 | RDCM 的微分幾何一般化 | 離散+連續混合 | | nD 多胞體網 | RDCM 維度推進 | 3D 以上:符號/計算,非物理 |
附錄 B 後續版本待辦(程式碼 + Lean4)
後續工作的次序,依「先把界變成保證、再往外推」的原則排列:先以 Lean4 鎖死局部條件(使敘述層的對應變成機器可檢),再以程式碼把全局界(自交、硬度、構形空間連通性)變成可在具體實例上觸碰的東西,最後才在這兩者撐住的地基上,謹慎地往曲面與 nD 推。
- Lean4: 單頂點川崎定理、前川定理;單頂點局部可折性充分條件;(陳述)全局 NP 硬度。
- 程式碼: 多面體展開器(含自交檢測 / 杜勒實例探索);摺痕圖折疊模擬器(MV+層序 → 折疊路徑,泛化魔方 morph);剛性折紙構形空間與自由度計算。
- 理論: $\mathcal{D}$ 補全成本的資訊量化;剛性可折子類作為 RDCM 的多項式可解區。
本文為基本連接版,地位為「折紙 ↔ RDCM」之結構對齊與界之草圖;既有定理皆為他人成果,本文僅對齊與標界,不主張新定理。3D 以上之 RDCM 僅敘述為有界理論可能性,物理不可實現之處已標明。程式碼與 Lean4 形式化留待後續版本。理論是現實的有限維投影——本文於每道摺痕邊角,謹註此語。
附記:本文與先前的魔方展示、EML-COG-2026-LRC(魔方認知)、EML-AI-2026-MOEA(MoE 類比)構成同一條軸上的四份文件——展平與重構、辨識與搜尋、降維與升維。它們共享一個底色:結構不在維度裡誕生或消失,複雜不在物件裡,而是觀察與重構的選擇。折紙這一份,補上的是那條軸最難的半邊——把抽象的升維,落成一門有摺痕、有山谷、有層序、有界、且終將可被機器逐條檢驗的構造學。下一道摺痕,留給 Lean4 與程式碼。