# 完美長方體的軌跡資訊自由度驗證方法論 **English title:** Trajectory-Information Freedom Verification for the Perfect Cuboid **Abbreviation:** TIFV **Status:** Methodology Draft / Research Framework **Version:** v0.2 **Date:** 2026-10-06 **Author / Research Context:** Neo.K / EveMissLab --- ## 摘要 本文提出並擴充一種用於完美長方體研究的候選驗證方法：**軌跡資訊自由度驗證**（Trajectory-Information Freedom Verification, TIFV）。本方法不試圖以另一條代數恆等式重新表述既有畢氏條件，也不直接取代橢圓曲線、cover sieve、square-value gate、finite-prime sieve 或其他算術幾何工具；其目的在於補上一個可能在靜態投影中被消去的資訊層：**幾何物件在完整自由度展開過程中形成的路徑資訊、資訊傳輸、交界域與全域閉包。** 核心觀點是：傳統 Diophantine 表示通常將候選物件壓縮為若干靜態變量與方程，例如 $$ F_i(X)=0. $$ 然而，一個幾何物件在實際展開、折回、投影、座標切換、面與對角通道交換的過程中，可能經歷一條更高維的資訊軌跡 $$ \widetilde\gamma:[0,1]\rightarrow\widetilde{\mathcal M}, $$ 而傳統方程僅觀察其投影 $$ \pi:\widetilde{\mathcal M}\rightarrow\mathcal M. $$ 若在投影前存在不可由起點與終點單獨恢復的路徑資訊，則只研究 $$ \pi(\widetilde\gamma(0)),\qquad \pi(\widetilde\gamma(1)) $$ 可能會漏掉全域閉包所需的資訊。 因此，TIFV 的真正研究對象不是「圓」本身，而是： > 同一個候選幾何實體，在完整自由度展開後，其局部度量資訊、全域路徑資訊、變換歷史與算術閉包，是否能共同 lift 到同一個一致的全域狀態。 本文將此問題形式化為 lifted configuration space、path functional、holonomy、trajectory signature 與 global closure defect 的研究框架。 --- ## 1. 問題背景 設長方體三邊為 $$ a,b,c>0. $$ 完美長方體要求存在 $$ d_{ab},d_{ac},d_{bc},g\in\mathbb Z_{>0} $$ 使得 $$ a^2+b^2=d_{ab}^2, $$ $$ a^2+c^2=d_{ac}^2, $$ $$ b^2+c^2=d_{bc}^2, $$ 以及 $$ a^2+b^2+c^2=g^2. $$ 如果僅重新排列，例如 $$ g^2-d_{ab}^2=c^2, $$ 則沒有產生新的資訊；它仍屬於原始靜態條件的代數重述。 因此，本方法要求額外建立一個不只依賴終點值的驗證層。 --- ## 2. 從點態方程到 lifted state 傳統描述可以把候選記為 $$ X=(a,b,c,d_{ab},d_{ac},d_{bc},g)\in\mathcal M. $$ 但在完整幾何展開中，真正的瞬時狀態可能還包含： - 位置； - 方向； - 局部座標系； - 展開順序； - 面與對角通道； - 交界關係； - 自由度狀態； - 變換歷史； - 算術標記； - 必要時的群作用或 cover 狀態。 因此引入較大的 lifted state space $$ \widetilde{\mathcal M}. $$ 並定義投影 $$ \pi:\widetilde{\mathcal M}\rightarrow\mathcal M. $$ 一條完整展開軌跡寫為 $$ \widetilde\gamma:[0,1]\rightarrow\widetilde{\mathcal M}. $$ 而傳統靜態方程通常只看 $$ \gamma=\pi\circ\widetilde\gamma. $$ 這意味著不同的 lifted trajectory 可能滿足 $$ \pi(\widetilde\gamma_1(0)) = \pi(\widetilde\gamma_2(0)), $$ 以及 $$ \pi(\widetilde\gamma_1(1)) = \pi(\widetilde\gamma_2(1)), $$ 但仍有 $$ \widetilde\gamma_1\neq\widetilde\gamma_2. $$ 因此，**起點與終點一致不代表資訊軌跡一致。** --- ## 3. 軌跡資訊，而不是單純軌跡形狀 早期直觀可以從中心旋轉開始。對二維長方形，中心到頂點的距離為 $$ R^2= \left(\frac a2\right)^2 + \left(\frac b2\right)^2. $$ 若只做剛體旋轉，頂點軌跡自然形成 $$ x^2+y^2=R^2. $$ 但這個事實對任意固定向量都成立，因此不能區分完美與非完美候選。 所以 TIFV 明確排除如下錯誤簡化： $$ \text{閉合圓} \Longrightarrow \text{新驗證資訊}. $$ 一般而言並不成立。 真正需要保存的是沿軌跡攜帶的資訊： $$ \mathcal I[\widetilde\gamma], $$ 而不是只保存軌跡的幾何外形。 因此核心對象是 $$ \boxed{ \text{trajectory geometry} + \text{transported information} }. $$ --- ## 4. Path functional 與資訊量 若資訊只是一個點函數 $$ I(X), $$ 則過程本身可能完全被忽略。 TIFV 改用整條路徑的泛函 $$ I[\widetilde\gamma]. $$ 最簡單的形式可以寫成 $$ I[\widetilde\gamma] = \int_{\widetilde\gamma}\omega, $$ 其中 $\omega$ 是定義於 lifted state space 上的資訊形式。 若 $$ \omega=df, $$ 則 $$ \int_{\widetilde\gamma}\omega = f(\widetilde\gamma(1))-f(\widetilde\gamma(0)), $$ 資訊再次退化為端點差值。 因此真正具有路徑資訊增益的候選量，應優先尋找不能完全約化為端點函數的結構。 對閉合軌跡，可考察 $$ \oint_{\widetilde\gamma}\omega. $$ 如果存在合法閉合路徑使得 $$ \oint_{\widetilde\gamma}\omega\neq0, $$ 則即使 $$ \widetilde\gamma(0)=\widetilde\gamma(1), $$ 該路徑仍攜帶不可由端點單獨恢復的資訊。 --- ## 5. Holonomy 作為全域閉包候選量 若每一段幾何展開對內部狀態施加變換 $$ T_1,T_2,\ldots,T_n, $$ 則完整繞行後得到 $$ H_\Gamma = T_nT_{n-1}\cdots T_1. $$ 可將 $H_\Gamma$ 視為離散版本的 trajectory holonomy。 真正的強閉包條件不是單純 $$ \gamma(0)=\gamma(1), $$ 而是進一步要求 $$ H_\Gamma(X)\sim X. $$ 若變換可表示為連續 connection，則形式上可考慮 $$ H_\gamma = \mathcal P\exp\left(\int_\gamma A\right), $$ 其中 $A$ 是沿路徑傳輸資訊的 connection，而 $\mathcal P$ 表示 path ordering。 強閉包的理想形式為 $$ \boxed{ H_\gamma=I }. $$ 若 $$ H_\gamma\neq I, $$ 則代表空間位置可能已回到起點，但內部資訊狀態仍未閉合。 --- ## 6. 幾何交界域的重新定義 早期直觀是比較兩個由不同來源形成的圓或球面，要求它們在某個域重合或相交。 在 lifted framework 中，更一般的定義是： $$ \mathcal I_1 = \Pi_1(\widetilde\Gamma), $$ $$ \mathcal I_2 = \Pi_2(\widetilde\Gamma), $$ 其中 $\Pi_1$ 與 $\Pi_2$ 是不同資訊觀測映射。 真正的交界域可以寫成 $$ \boxed{ \Pi_1^{-1}(\mathcal I_1) \cap \Pi_2^{-1}(\mathcal I_2) }. $$ 它代表兩套觀測資訊共同允許的 lifted states。 因此，「兩個圓相交」只是此結構在低維投影中的一個特殊情況。 --- ## 7. 局部閉包與全域閉包 完美長方體天然具有多個局部通道。 例如三個面通道可分別檢查 $$ a^2+b^2=d_{ab}^2, $$ $$ a^2+c^2=d_{ac}^2, $$ $$ b^2+c^2=d_{bc}^2. $$ 但局部全部閉合不代表全域閉合。 可抽象寫成 $$ \mathcal C_{ab}=0, $$ $$ \mathcal C_{ac}=0, $$ $$ \mathcal C_{bc}=0, $$ 但仍可能有 $$ \mathcal C_{abc}\neq0. $$ 這正是 TIFV 要捕捉的核心現象之一： $$ \boxed{ \text{Local Closure} \centernot\Rightarrow \text{Global Trajectory-Information Closure} }. $$ --- ## 8. 最小 sanity check：Euler brick 取經典 Euler brick $$ (a,b,c)=(44,117,240). $$ 其三個面對角線均為整數： $$ 44^2+117^2=125^2, $$ $$ 44^2+240^2=244^2, $$ $$ 117^2+240^2=267^2. $$ 因此三個局部 square channels 全部閉合。 但體對角線平方為 $$ 44^2+117^2+240^2=73225. $$ 分解為 $$ 73225=5^2\cdot29\cdot101, $$ 所以不是完全平方數。 若以平方類表示，可寫成 $$ \sigma_{ab} = \sigma_{ac} = \sigma_{bc} =1, $$ 但 $$ \sigma_{abc} =[2929] \neq1. $$ 這個測試證明至少有一個重要的框架需求： > TIFV 必須能區分局部通道全部閉合與全域通道仍留下 defect 的情況。 但此 sanity check 本身仍主要重述既有 square obstruction，因此它不是 TIFV 的最終新結果，只是測試框架是否正確保存「局部與全域不同層級」。 --- ## 9. 三層驗證框架 目前可將 TIFV 暫時整理為三層： ### 9.1 Geometric closure 檢查展開軌跡的幾何閉合，例如 $$ \gamma(0)=\gamma(1). $$ 這是最低階條件。 ### 9.2 Trajectory-information closure 檢查沿路徑被傳輸的狀態是否閉合，例如 $$ H_\gamma=I. $$ 或更一般地 $$ \Delta_{\mathrm{traj}}=0. $$ ### 9.3 Arithmetic closure 檢查必要的整數、平方類、cover、quotient 與其他算術條件，例如 $$ \Delta_{\mathrm{arith}}=0. $$ 因此完整候選驗證可暫時寫成 $$ \boxed{ \text{Geometric Closure} + \text{Trajectory-Information Closure} + \text{Arithmetic Closure} }. $$ --- ## 10. 全域 defect 的一般形式 令 $$ \mathcal I_{\mathrm{metric}} = \Psi[X] $$ 表示由靜態度量與算術資料生成的資訊。 令 $$ \mathcal I_{\mathrm{traj}} = \Phi[\widetilde\gamma] $$ 表示由完整展開過程生成的資訊。 定義全域軌跡資訊殘差 $$ \Delta_\Gamma = D_\Gamma \left( \mathcal I_{\mathrm{metric}}, \mathcal I_{\mathrm{traj}} \right). $$ 真正閉合要求 $$ \boxed{ \Delta_\Gamma=0 }. $$ 若存在不同類型的資訊，可進一步寫成向量殘差 $$ \mathbf\Delta_\Gamma = \left( \Delta_{\mathrm{geom}}, \Delta_{\mathrm{orient}}, \Delta_{\mathrm{hol}}, \Delta_{\mathrm{arith}}, \Delta_{\mathrm{intersect}} \right). $$ 理想完美候選需要滿足 $$ \boxed{ \mathbf\Delta_\Gamma=\mathbf0 }. $$ --- ## 11. 與既有 perfect cuboid arithmetic 主線的接口 TIFV 不取代既有算術主線，而是嘗試建立一個較高層的共同 lift。 可將既有不同通道記為 $$ \Gamma_{\mathrm{local}}, \qquad \Gamma_{\mathrm{global}}, \qquad \Gamma_{\mathrm{arith}}. $$ 真正值得研究的問題是：是否存在同一條 lifted trajectory $$ \widetilde\Gamma $$ 使得 $$ \pi_{\mathrm{local}}(\widetilde\Gamma) = \Gamma_{\mathrm{local}}, $$ $$ \pi_{\mathrm{global}}(\widetilde\Gamma) = \Gamma_{\mathrm{global}}, $$ 以及 $$ \pi_{\mathrm{arith}}(\widetilde\Gamma) = \Gamma_{\mathrm{arith}}. $$ 亦即 $$ \boxed{ \exists\,\widetilde\Gamma \quad\text{s.t.}\quad \pi_i(\widetilde\Gamma)=\Gamma_i }. $$ 若各局部條件分別成立，卻不存在共同的 $\widetilde\Gamma$，則它們並不對應同一個完整全域幾何實體。 --- ## 12. 與 square defect 的可能關係 既有研究中，某些候選可被壓縮為極少數 square defects。 TIFV 的長期目標之一，是研究是否存在映射 $$ \Delta_{\mathrm{arith}} \longleftrightarrow \Delta_\Gamma. $$ 如果成立，則「某個量不是平方」可能被重新解釋為： > 在完整自由度展開與資訊傳輸之後，候選無法回到與原始度量資料完全一致的 lifted state。 更強的研究目標是找出某種 defect-preserving map $$ \mathfrak D: \Delta_{\mathrm{arith}} \mapsto \Delta_{\mathrm{traj}}, $$ 並判斷它是否為單射、滿射、雙射或只在特定 slice 上成立。 目前此關係尚未證明。 --- ## 13. 為什麼計算機模擬特別適合第一階段 數值或符號模擬天然會保存離散軌跡： $$ X(t_0),X(t_1),\ldots,X(t_N). $$ 若每一步進一步保存 $$ \Delta X_t, \qquad T_t, \qquad C_t, \qquad I_t, $$ 則可以直接追蹤： - 資訊何時分裂； - 哪些通道合流； - 哪些投影重疊； - 哪些狀態發生翻轉； - 哪些局部不變量被保存； - 哪些 defect 在完整週期後仍不消失。 因此第一階段可以先用 computational unfolding 找到候選 invariant，再回到 exact mathematics 形式化。 研究流程應避免直接把模擬最後壓縮成一個終點方程，否則可能再次丟失最重要的 path information。 --- ## 14. 建議的計算實驗資料結構 每一個離散時間步 $t_k$ 至少保存： $$ S_k = \left( X_k, B_k, Q_k, T_k, C_k, A_k \right), $$ 其中可暫定： - $X_k$：幾何狀態； - $B_k$：局部 basis 或 frame； - $Q_k$：所在面、對角或 quotient channel； - $T_k$：從前一步到本步的 transformation； - $C_k$：本步約束與交界資訊； - $A_k$：本步算術標記或 square class。 完整 trajectory record 為 $$ \mathcal R_\Gamma = \{S_k\}_{k=0}^{N}. $$ 從中可計算： $$ H_\Gamma, $$ $$ I[\Gamma], $$ $$ \mathbf\Delta_\Gamma, $$ 以及不同投影間的共同 lift 是否存在。 --- ## 15. 防止方法退化的三個條件 ### 15.1 不接受平凡剛體旋轉 若某個測試對所有普通長方體都自動成立，則它不能作為完美長方體的新判別量。 ### 15.2 不接受可立即約化為原始畢氏方程的量 如果某個 trajectory invariant 經一兩步代數整理就等價於 $$ a^2+b^2=d_{ab}^2 $$ 或 $$ a^2+b^2+c^2=g^2, $$ 則它只能作為 sanity check，不能宣稱為新的獨立 obstruction。 ### 15.3 優先尋找 path-dependent signature 真正有價值的候選量應盡量滿足： $$ \pi(\widetilde\gamma_1(0)) = \pi(\widetilde\gamma_2(0)), $$ $$ \pi(\widetilde\gamma_1(1)) = \pi(\widetilde\gamma_2(1)), $$ 但仍可能有 $$ S(\widetilde\gamma_1) \neq S(\widetilde\gamma_2). $$ 若能找到此類 signature，就代表 TIFV 捕捉到傳統點態表示沒有直接顯示的結構。 --- ## 16. 暫定研究命題 ### 命題 A：共同 lift 必要性 若所有局部度量、對角通道、算術條件確實描述同一個完整完美長方體，則這些投影應存在共同的 lifted realization： $$ \exists\,\widetilde\Gamma \quad\text{s.t.}\quad \pi_i(\widetilde\Gamma)=\Gamma_i. $$ 如果不存在共同 lift，則局部條件雖可分別成立，仍無法共同組成同一個全域幾何實體。 ### 命題 B：非平凡 holonomy obstruction 若對某個必要自由度族，所有合法 lifted closed paths 均滿足 $$ H_\gamma\neq I, $$ 則該 slice 上不存在滿足該全域閉包條件的完美長方體。 ### 命題 C：defect correspondence 存在值得搜尋的映射 $$ \mathfrak D: \Delta_{\mathrm{arith}} \rightarrow \Delta_{\mathrm{traj}}, $$ 使部分 arithmetic defects 可被解釋為 global trajectory-information defects 的低維投影。 以上均為研究命題，尚非已證定理。 --- ## 17. 與世界模型式幾何觀察的關係 本方法的一個重要來源，是把幾何物件視為會展開、變換與回收資訊的動態世界，而不是只視為一組已消元後的變量。 在此觀點下，研究順序是 $$ \text{World State} \rightarrow \text{Freedom Expansion} \rightarrow \text{Trajectory Formation} \rightarrow \text{Information Transport} \rightarrow \text{Intersection / Merge} \rightarrow \text{Global Closure}. $$ 而傳統壓縮式表示常直接跳到 $$ \text{World State} \rightarrow \text{Constraint Equation}. $$ 兩者並不矛盾；後者往往更適合證明與 exact arithmetic，前者則可能更適合發現尚未被命名的全域 invariant。 因此 TIFV 的方法論策略不是反對代數化，而是： > 先完整保留可能有意義的路徑資訊，再判斷哪些資訊可以安全消元；不要在尚未知道哪些資訊重要以前就先把它們投影掉。 --- ## 18. 後續研究優先序 下一階段若重新展開，建議依序進行： 1. 明確定義最小 lifted state $\widetilde{\mathcal M}_{\min}$。 2. 定義一組非平凡幾何展開 generators $T_i$。 3. 建立可逆或至少可追蹤的離散 trajectory simulator。 4. 對 Euler bricks、near-perfect cuboids、既有精確 slice 與 G2 類候選做相同 protocol。 5. 搜尋不只依賴端點的 signature $S(\Gamma)$。 6. 檢查 signature 是否可約化回既有 Pythagorean identities。 7. 若不可約化，測試其對不同候選是否穩定。 8. 將 promising signature exact arithmetic 化。 9. 比較 $H_\Gamma$、square class、cover state 與 quotient state 是否存在 defect correspondence。 10. 最後才嘗試建立 theorem-level obstruction。 --- ## 19. 一句話版本 > **完美長方體的某些關鍵約束可能不是單純的點態方程，而是只有在完整自由度展開後才顯現的路徑資訊約束；若過早投影成傳統靜態變量，這些資訊可能在計算開始前就已被消去。** --- ## 20. 當前狀態與限制 本版完成的是方法論擴充，而不是完美長方體證明。 目前已確認： - 單純中心旋轉形成圓屬於平凡閉合，不能當新結果； - Euler brick 可作為局部閉合但全域失敗的 sanity check； - 真正值得研究的是 lifted path information，而不是軌跡形狀本身； - holonomy、path functional、共同 lift 與 defect correspondence 是目前最有希望的形式化方向； - 計算模擬可作為 invariant discovery 工具，但最終必須回到 exact mathematics； - 尚未證明任何新的完美長方體不存在性或存在性結果； - 尚未證明 arithmetic defect 與 trajectory defect 之間存在嚴格等價。 本文件的用途是保存一條之後可直接重新展開的研究路線。