# 完美長方體 TIFV 本輪研究紀錄 **Date:** 2026-10-06 **Research line:** Perfect Cuboid / Trajectory-Information Freedom Verification **Status:** Research Notes / Non-proof **Context:** Neo.K / EveMissLab --- ## 1. 本輪起點 本輪最初想法是：利用完美長方形或完美長方體的幾何展開自由度，與由中心距離所形成的圓形、球面或類似閉合結構比較，尋找兩者的重疊交界域。 初步直觀為： $$ \Gamma_{\mathrm{metric}} $$ 與 $$ \Gamma_{\mathrm{unfold}} $$ 應在真正閉合的候選中具有一致、重合或可 lift 到同一幾何實體的關係。 早期版本曾考慮「完美正方形配合減法」，但很快辨認出這容易退化為既有畢氏等式的代數重述，因此改為研究**完整軌跡資訊**。 --- ## 2. 第一個負結果：單純形成圓沒有判別力 對任意二維長方形，中心到頂點半徑為 $$ R^2 = \left(\frac a2\right)^2 + \left(\frac b2\right)^2. $$ 剛體旋轉後自然得到圓 $$ x^2+y^2=R^2. $$ 但這對普通長方形甚至任意固定向量都成立。 因此得到第一個重要負結果： $$ \boxed{ \text{ordinary rotational closure has no discriminative power} }. $$ 這排除了「看到圓形閉合就等於看到新 invariant」的錯誤路線。 --- ## 3. 第二個結果：半徑比較只會退化回畢氏條件 若將 trajectory radius 與候選對角線比較，可定義 $$ \Delta_{ab} = a^2+b^2-d_{ab}^2. $$ 例如對 $3$-$4$-$5$ 長方形： $$ \Delta_{34}=3^2+4^2-5^2=0. $$ 這個測試正確，但沒有新資訊，因為它只是把畢氏條件重新表示成兩個半徑一致。 因此得到第二個方法論限制： > 如果 trajectory invariant 可以立即約化回既有平方方程，它只能做 sanity check，不能作為新的 obstruction。 --- ## 4. Euler brick sanity check 取 $$ (a,b,c)=(44,117,240). $$ 三個局部面通道均閉合： $$ 44^2+117^2=125^2, $$ $$ 44^2+240^2=244^2, $$ $$ 117^2+240^2=267^2. $$ 但全域體對角通道為 $$ 44^2+117^2+240^2=73225, $$ 而 $$ 73225=5^2\cdot29\cdot101. $$ 因此可寫成 $$ \sigma_{ab} = \sigma_{ac} = \sigma_{bc} =1, $$ 但 $$ \sigma_{abc} =[2929] \neq1. $$ 這個例子顯示： $$ \boxed{ \text{local closure} \centernot\Rightarrow \text{global closure} }. $$ 它仍不是新的 perfect cuboid theorem，但非常適合用來測試 TIFV 是否正確區分局部與全域層級。 --- ## 5. 關鍵轉折：問題不是軌跡，而是資訊軌跡 本輪最重要的認知修正是： > 幾何展開真正提供的資訊，不一定存在於起點與終點，而可能存在於完整展開過程本身。 傳統數學表示往往把物件壓縮為 $$ F(X)=0. $$ 但世界模型式的動態觀察看到的是 $$ X_0 \rightarrow X_1 \rightarrow \cdots \rightarrow X_n. $$ 如果只保留 $$ X_0 $$ 與 $$ X_n, $$ 則中間的交界、重組、通道切換與資訊傳輸可能全部消失。 因此改用 lifted space $$ \widetilde{\mathcal M} $$ 與投影 $$ \pi:\widetilde{\mathcal M}\rightarrow\mathcal M. $$ 真正的研究物件變為 $$ \widetilde\gamma:[0,1]\rightarrow\widetilde{\mathcal M}. $$ --- ## 6. Path dependence 可能存在兩條軌跡 $$ \widetilde\gamma_1, \qquad \widetilde\gamma_2 $$ 使得它們的傳統投影具有相同起點與終點： $$ \pi(\widetilde\gamma_1(0)) = \pi(\widetilde\gamma_2(0)), $$ $$ \pi(\widetilde\gamma_1(1)) = \pi(\widetilde\gamma_2(1)), $$ 但路徑 signature 仍不同： $$ S(\widetilde\gamma_1) \neq S(\widetilde\gamma_2). $$ 若能在完美長方體結構中找到此類 signature，就代表路徑資訊確實超出了傳統點態變量的直接表達。 --- ## 7. Path functional 候選 本輪提出最簡單的一般形式： $$ I[\widetilde\gamma] = \int_{\widetilde\gamma}\omega. $$ 若 $$ \omega=df, $$ 則資訊退化成 $$ f(\widetilde\gamma(1))-f(\widetilde\gamma(0)). $$ 這種量對閉合路徑沒有新的資訊增益。 因此下一階段應優先搜尋可能滿足 $$ \oint_{\widetilde\gamma}\omega\neq0 $$ 的非平凡結構，或其他不能約化為端點差值的 path functional。 --- ## 8. Holonomy 候選 若完整展開由一系列變換構成： $$ T_1,T_2,\ldots,T_n, $$ 則定義 $$ H_\Gamma = T_nT_{n-1}\cdots T_1. $$ 即使空間位置滿足 $$ \gamma(0)=\gamma(1), $$ 仍可能有 $$ H_\Gamma\neq I. $$ 這代表： > 位置已閉合，但資訊狀態沒有閉合。 這是本輪最值得後續實驗的候選 obstruction 形式之一。 --- ## 9. 「交界域」的升級理解 原本的幾何直觀是兩個圓或兩個空間的相交。 本輪將其升級為共同 lift 問題。 若兩種資訊觀測為 $$ \mathcal I_1 = \Pi_1(\widetilde\Gamma), $$ $$ \mathcal I_2 = \Pi_2(\widetilde\Gamma), $$ 則真正的共同交界域為 $$ \Pi_1^{-1}(\mathcal I_1) \cap \Pi_2^{-1}(\mathcal I_2). $$ 因此最終問題不只是： $$ \Gamma_1\cap\Gamma_2\neq\varnothing, $$ 而是：是否存在同一個 $$ \widetilde\Gamma $$ 能同時投影出所有必要局部、全域與算術結構。 --- ## 10. 計算機模擬的角色 本輪確認：計算機模擬非常適合第一階段，因為它可以直接保存 $$ X(t_0),X(t_1),\ldots,X(t_N) $$ 以及每一步的 $$ T_t, \qquad C_t, \qquad I_t. $$ 這可以觀察： - 哪些資訊在展開後分裂； - 哪些資訊重新合流； - 哪些局部軌跡在何處形成共同交界； - 哪些 defect 只在全域閉環後顯現； - 哪些量其實只是既有方程的重述。 因此合理流程是： $$ \text{simulation discovery} \rightarrow \text{candidate invariant} \rightarrow \text{exact formalization} \rightarrow \text{proof or rejection}. $$ --- ## 11. 本輪得到的三個主要防坑條件 ### 11.1 平凡閉合不算新 invariant 剛體繞中心一圈回原位不能作為新判別量。 ### 11.2 可立即約化回畢氏條件的量不算新 obstruction 例如單純比較軌跡半徑與對角線，只能作為 sanity check。 ### 11.3 必須保存過程資訊直到確認可以安全消元 不應在不知道哪些 path information 有意義以前，就先把完整動態狀態投影成少量靜態變量。 --- ## 12. 與既有研究主線的暫定接口 既有 perfect cuboid 研究主線已經包含大量 exact arithmetic、elliptic quotient、cover、square-value gate 與 finite-prime information。 TIFV 不與這些競爭，而是假設它們可能都是同一個更高維全域結構的不同投影。 暫定統一問題為： $$ \exists\,\widetilde\Gamma \quad\text{s.t.}\quad \pi_i(\widetilde\Gamma)=\Gamma_i $$ 是否成立。 若不成立，則可能存在 $$ \Delta_\Gamma\neq0. $$ 長期目標是研究 $$ \Delta_{\mathrm{arith}} \longleftrightarrow \Delta_\Gamma $$ 是否存在可形式化的 correspondence。 --- ## 13. 本輪尚未得到的東西 本輪沒有得到： - 完美長方體存在或不存在的證明； - 新的 arithmetic theorem； - arithmetic defect 與 trajectory defect 的嚴格等價； - 已證明非平凡的 holonomy invariant； - 已證明不能由既有方程消元得到的 path functional。 因此目前狀態仍是：**方法論發現與候選 invariant 設計階段。** --- ## 14. 下次直接接續的位置 若未來重新展開，建議直接從以下問題開始，不必重走本輪： ### 問題 A 什麼是完美長方體的最小 lifted state？ $$ \widetilde{\mathcal M}_{\min}=? $$ ### 問題 B 哪些非平凡展開操作應作為 generators？ $$ \{T_1,\ldots,T_m\}=? $$ ### 問題 C 能否找到兩條端點投影相同、但 path signature 不同的合法 trajectory？ $$ S(\widetilde\gamma_1) \neq S(\widetilde\gamma_2)? $$ ### 問題 D 是否存在可 exact arithmetic 化且不可立即約化回原始畢氏條件的 $$ H_\Gamma $$ 或 $$ I[\Gamma]? $$ ### 問題 E 既有 square defect 是否能被視為某個更高維 global closure defect 的投影？ --- ## 15. 本輪結論 本輪真正留下來的核心不是「用圓驗證完美長方體」，而是： $$ \boxed{ \text{Static Constraints} \rightarrow \text{Lifted Freedom Expansion} \rightarrow \text{Information Trajectory} \rightarrow \text{Global Closure Test} }. $$ 以及以下研究原則： > **先保留完整資訊軌跡，再決定哪些資訊可以消元。若先把幾何世界壓縮成終點方程，某些只存在於展開過程中的全域資訊可能在研究開始前就已經消失。**