# 折疊即重構：折紙作為 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 與程式碼。*