> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R11 ## Sylow-$2$ 雙閘細化與 $p=4{,}195{,}001$ 勘誤 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS／幾何耦合分支 R **階段：** R11 — 全域有限素數細化 **日期：** 2026-10-04 **狀態：** 對 R9 必要條件的精確強化 — 並非完美長方體存在或不存在的證明 --- # 0. 執行摘要 R9 將歷史固定纖維上的每個假設性有理點 $$ n=\frac7{32} $$ 限制在兩個有效的有理 $2$-撓陪集，以及以下係數條件： $$ \boxed{ c\equiv\pm1\pmod{2^{14}}. } $$ R10 接著證明，這些邊界管是真正的 $2$-進解析解鄰域，因此不能僅憑局部平方性將它們縮成各自的中心。 R11 回到全域有限素數算術。 第一個結果是修正 R9 的素數記錄。 此前已認證的二冪約化掃描包含一個更強的素數，但它未被納入 R9 的最終交集： $$ \boxed{ p_\ast=4{,}195{,}001. } $$ 在這個素數處： $$ \boxed{ \#E_0'(\mathbb F_{p_\ast}) = 4{,}194{,}304 = 2^{22}, } $$ 以及： $$ \boxed{ \operatorname{ord} (G_0\bmod p_\ast) = 262{,}144 = 2^{18}. } $$ 由於整個約化群本身已是 $2$-群，因此不存在奇數主分量投影的歧義。 對所有 $$ 2^{18} $$ 個自由係數類在每個有理 $2$-撓陪集中進行精確枚舉，接著同時檢驗兩個 R8 平方閘，便得到對 R9 的嚴格細化。 R9 排除的兩個撓陪集仍然被排除。 對兩個存留撓陪集中的每一個，R9 的管條件被細化為恰好八個係數類，其模為： $$ 2^{18}. $$ 存留集合為： $$ \boxed{ \mathcal C_{18} = \{ 1, 16385, 114687, 131071, 131073, 147457, 245759, 262143 \}. } $$ 等價地： $$ \boxed{ \mathcal C_{18} = \pm \{ 1, 16385, 114687, 131071 \} \pmod{2^{18}}. } $$ 因此，每個假設性的有理解都必須滿足： $$ \boxed{ c\bmod2^{18} \in \mathcal C_{18}. } $$ 這嚴格強於： $$ c\equiv\pm1\pmod{2^{14}}. $$ 這八個類是 R9 邊界管與新的 $p_\ast$ 雙閘條件的精確交集。 --- # 1. 橢圓核心與平方閘 使用： $$ \boxed{ E: \qquad Y^2 = X(X-A)(X+B), } $$ 其中： $$ A=448^2=200704, $$ $$ B=1073^2=1151329. $$ 定義： $$ M=B-A=950625, $$ 以及： $$ L=A+B=1352033. $$ R8 的平方閘為： $$ \boxed{ \mathcal R_1(P) = \frac{ 2X(P)+M }{ L }, } $$ 以及： $$ \boxed{ \mathcal R_2(P) = L\,X(P) \left( MX(P)-2AB \right). } $$ 完整歷史虧格為 $5$ 的固定纖維上的有理點，必須映射到： $$ P\in E(\mathbb Q) $$ 其中： $$ \mathcal R_1(P)\in\mathbb Q^2, $$ 以及： $$ \mathcal R_2(P)\in\mathbb Q^2. $$ --- # 2. 秩為一的替代模型 精確的秩定理給出： $$ \boxed{ \operatorname{rank}E(\mathbb Q)=1. } $$ 使用： $$ \boxed{ G_0 = (480704,-468686400). } $$ 完整的 $2$-下降證明， $$ G_0 $$ 與一個原始自由生成元之間相差奇數指數及有理 $2$-撓點。 因此，在相關群為 $2$-主群的每個約化處，奇數指數的不確定性不會造成影響。 --- # 3. R9 基準 R9 將此前使用的二冪約化素數條件取交集，得到： $$ \boxed{ c\equiv\pm1\pmod{2^{14}}. } $$ 僅有以下有效撓陪集： $$ \boxed{ T_A=(A,0), } $$ 以及： $$ \boxed{ T_{-B}=(-B,0) } $$ 存留下來。 另外兩個陪集： $$ O, $$ 以及： $$ (0,0) $$ 則被排除。 四個精確中心： $$ c=\pm1 $$ 在這兩個撓陪集中，正是已知的幾何邊界點。 --- # 4. R9 素數清單的勘誤 較早已認證的二冪掃描截至： $$ p\le5{,}000{,}000 $$ 也包含： $$ \boxed{ p_\ast=4{,}195{,}001. } $$ 其精確約化資料為： $$ \boxed{ \#E(\mathbb F_{p_\ast}) = 2^{22}, } $$ 以及： $$ \boxed{ \operatorname{ord} (G_0\bmod p_\ast) = 2^{18}. } $$ R9 未將這個最後的素數納入所展示的交集表。 因此，R9 定理有效，但並非極大。 R11 補入這個遺漏的已認證素數。 --- # 5. 為何這個素數格外強 在： $$ p_\ast, $$ 整個橢圓約化群的階為： $$ 2^{22}. $$ 因此： - 不存在奇數主分量子群； - 不需要 Sylow 投影； - 未知的奇數飽和指數仍然可逆； - 係數類可直接追蹤，其模為： $$ 2^{18}. $$ 這比 R9 最終陳述所用的最強模數多解析兩個係數位元。 --- # 6. 精確有限枚舉 對每個： $$ 0\le k<2^{18}, $$ 以及每個有理 $2$-撓點： $$ T\in E[2], $$ 形成： $$ \boxed{ P_{k,T} = [k]G_0+T \in E(\mathbb F_{p_\ast}). } $$ 對每個有限點，檢驗： $$ \boxed{ \mathcal R_1(P_{k,T}) \in \mathbb F_{p_\ast}^{\,2}, } $$ 以及： $$ \boxed{ \mathcal R_2(P_{k,T}) \in \mathbb F_{p_\ast}^{\,2}. } $$ 零值也被視為平方。 這個枚舉採用精確的有限體算術。 --- # 7. 與 R9 管的交集 R9 已將： $$ T $$ 限制為： $$ T_A $$ 或： $$ T_{-B}, $$ 以及： $$ c\equiv\pm1\pmod{2^{14}}. $$ 模為： $$ 2^{18}, $$ 時，每個 R9 正負號管包含： $$ 16 $$ 個可能的提升。 因此，在此精度下，每個存留撓陪集最初有： $$ 32 $$ 個係數類。 新的素數從中排除： $$ 24 $$ 個。 恰好有： $$ \boxed{ 8 } $$ 個係數類在兩個撓陪集中的每一個存留下來。 --- # 8. 模 $2^{18}$ 的最終係數集合 精確的存留剩餘類為： $$ \boxed{ 1, } $$ $$ \boxed{ 16385, } $$ $$ \boxed{ 114687, } $$ $$ \boxed{ 131071, } $$ $$ \boxed{ 131073, } $$ $$ \boxed{ 147457, } $$ $$ \boxed{ 245759, } $$ 以及： $$ \boxed{ 262143. } $$ 因此： $$ \boxed{ \mathcal C_{18} = \{ 1, 16385, 114687, 131071, 131073, 147457, 245759, 262143 \}. } $$ --- # 9. 對稱形式 由於： $$ 2^{18}=262144, $$ 此集合在以下變換下保持不變： $$ c\mapsto-c. $$ 一個緊湊的形式是： $$ \boxed{ \mathcal C_{18} = \pm \{ 1, 16385, 114687, 131071 \} \pmod{262144}. } $$ 因為： $$ 16385=1+2^{14}, $$ $$ 114687=7\cdot2^{14}-1, $$ 以及： $$ 131071=2^{17}-1, $$ 存留類仍緊密集中在兩個 R9 邊界方向附近。 --- # 10. 管座標形式 對正號 R9 管，寫成： $$ \boxed{ c = 1+2^{14}q. } $$ 則新的條件為： $$ \boxed{ q \equiv 0 \quad\text{或}\quad 1 \pmod8. } $$ 對負號管，寫成： $$ \boxed{ c = -1+2^{14}q. } $$ 則： $$ \boxed{ q \equiv 0 \quad\text{或}\quad -1 \pmod8. } $$ 因此，R11 解析了管座標的另外三個二進位位元。 --- # 11. 等價的統一記號 令： $$ \epsilon\in\{+1,-1\}. $$ 寫成： $$ \boxed{ c = \epsilon + 2^{14}q. } $$ 則 R11 的條件為： $$ \boxed{ q \equiv 0 \quad\text{或}\quad \epsilon \pmod8. } $$ 這是對新剩餘類細化最緊湊的描述。 --- # 12. 撓陪集維持不變 新的素數不會恢復 R9 已排除的任何一個撓陪集。 全域允許的有效撓類仍僅有： $$ \boxed{ T_A, } $$ 以及： $$ \boxed{ T_{-B}. } $$ 此外，同一係數集合： $$ \mathcal C_{18} $$ 出現在兩個存留撓陪集中。 因此，目前狀態空間包含： $$ \boxed{ 16 } $$ 個係數／撓狀態，其模為： $$ 2^{18}. $$ --- # 13. 邊界中心精確存留 對每個存留撓陪集： $$ c=1 $$ 以及： $$ c=-1 $$ 仍屬於： $$ \mathcal C_{18}. $$ 這必然發生，因為這些類對應到滿足兩個平方閘的實際全域邊界點。 任何有效的局部篩都不能排除真正的全域邊界點。 因此，新的素數細化邊界管，而不會移除其中心。 --- # 14. 新的非中心子分支 另外六個非中心係數剩餘類為： $$ \boxed{ \pm16385, } $$ $$ \boxed{ \pm114687, } $$ 以及： $$ \boxed{ \pm131071. } $$ 它們與： $$ \pm1, $$ 一起形成四個按正負號配對的子分支。 這些應被視為較寬鬆的 R9 條件內部的算術子管。 R11 並不主張這六個非中心分支包含全域有理點。 它們僅通過目前有限素數的必要條件。 --- # 15. 與 R10 局部開放性的關係 R10 證明，每個邊界中心都位於真正的 $2$-進開集內，其中同時滿足局部平方條件。 因此，應預期靠近： $$ c=\pm1 $$ 的某些更高精度剩餘類，能通過任何有限組局部條件。 R11 與此完全一致。 新的素數不會將管縮成一個點。 它將每個管切成較少的算術子分支。 --- # 16. 一般 Sylow-$2$ 篩規則 R11 也記錄向任意好約化素數延伸的正確方式。 令： $$ \#E(\mathbb F_p) = 2^s m, $$ 其中： $$ m $$ 為奇數。 必須先在原始約化點上檢驗平方閘： $$ P\in E(\mathbb F_p). $$ 只有識別出通過閘條件的候選之後，才能施行 Sylow 投影： $$ \boxed{ P\mapsto[m]P. } $$ 同一投影必須施行於： $$ G_0 $$ 以及有理撓點。 投影後的候選像必須落在投影後的 Mordell-Weil 子群中。 這個次序至關重要。 --- # 17. 禁止的錯誤程序 不得： 1. 先投影： $$ P\mapsto[m]P; $$ 2. 再計算： $$ \mathcal R_1, \mathcal R_2 $$ 僅在投影之後。 那通常會檢驗不同的 $X$-座標，因而檢驗不同的平方值。 正確的邏輯是： $$ \boxed{ \text{閘檢驗} \longrightarrow \text{Sylow 投影} \longrightarrow \text{Mordell-Weil 相容性}. } $$ 這是 R11 的證明安全規則。 --- # 18. 小範圍任意素數掃描 對以下界限之下的好約化素數作精確掃描： $$ 5000 $$ 顯示在該範圍中，投影後已知 Mordell-Weil 方向的最大 $2$-主部階數為： $$ \boxed{ 2^{11}. } $$ 這出現在包括以下數值的素數處： $$ 4027 $$ 以及： $$ 4219. $$ 由於每個 R11 剩餘類都滿足： $$ c\equiv\pm1\pmod{2^{14}}, $$ 所有這類小型投影群只能看見已知的邊界正負號類。 因此，它們無法僅憑係數資料，區分模 $2^{18}$ 的新子分支。 這說明為何非常大的素數： $$ 4{,}195{,}001 $$ 對目前細化而言實質上更強。 --- # 19. 歷史上使用的乾淨素數 此前使用的乾淨素數： $$ 59, \quad 181, \quad 197, \quad 1669 $$ 其投影後 Mordell-Weil 的 $2$-主部階數，相對於目前的： $$ 2^{14} $$ 管深度而言較小。 它們仍對商相容性與邊界強制約束有價值，但無法解析以下素數揭露的額外高位元： $$ p_\ast. $$ 因此，新舊篩法扮演互補角色。 --- # 20. 修正後的 R9／R11 層級 歷史係數的強制約束現在應記錄為： ## R9 $$ \boxed{ c\equiv\pm1\pmod{2^{14}}. } $$ ## R11 $$ \boxed{ c\bmod2^{18} \in \mathcal C_{18}. } $$ R11 對 R9 作嚴格強化，而不使其失效。 R9 定理仍是正確但較粗的必要條件。 --- # 21. 原始生成元形式 令： $$ G $$ 為自由部中的原始生成元，並令： $$ G_0=dG+T_\ast $$ 其中以下數為奇數： $$ d. $$ 若： $$ P=nG+T, $$ 則： $$ c=nd^{-1} $$ 在： $$ \mathbb Z_2. $$ 因此，R11 可相對於原始係數表示為： $$ \boxed{ nd^{-1}\bmod2^{18} \in \mathcal C_{18}. } $$ 等價地： $$ \boxed{ n \in d\,\mathcal C_{18} \pmod{2^{18}}. } $$ 因為： $$ d $$ 為奇數，因此乘以： $$ d $$ 會置換奇數剩餘類。 不需要任何未證明的飽和性主張。 --- # 22. R11 未證明的事項 R11 並未證明： $$ c=\pm1. $$ 它沒有排除六個非中心的正負號配對剩餘類。 它也不與 R10 的定理矛盾：局部平方解集合包含正半徑的 $2$-進鄰域。 剩餘候選為： $$ 2 $$ 個撓陪集，乘以： $$ 8 $$ 個係數剩餘類，其模為： $$ 2^{18}. $$ 超出此精度的全域相容性仍未決。 --- # 23. 為何另一個二冪素數仍可能有幫助 假設一個新的好約化素數滿足： $$ \operatorname{ord}(G_0\bmod p) \ge2^{19}. $$ 則它至少可以檢視目前係數模數之外的一個新二進位位元。 足夠有選擇性的雙閘剩餘類模式，可能分割或排除八個 R11 類中的某些類。 因此，搜尋額外的大 $2$-主部 Mordell-Weil 約化仍有意義。 不過 R10 提醒，若真正的局部—全域分支持續存在，就不應預期任何有限序列都會自動隔離出邊界中心。 --- # 24. 任意素數投影的更佳目標 對任意好約化素數，目標不應僅是最大化： $$ v_2\left(\#E(\mathbb F_p)\right). $$ 更相關的統計量是： $$ \boxed{ \operatorname{ord} \left( [m]G_0 \right), } $$ 其中： $$ m $$ 為以下群階的奇數餘因子： $$ \#E(\mathbb F_p). $$ 應尋找滿足以下條件的素數： 1. 此投影階數較大； 2. 投影後的雙閘候選集合稀疏； 3. 存留係數類非平凡地削減目前的： $$ \mathcal C_{18} $$ 集合。 這是正確的 R12 搜尋目標。 --- # 25. 目前的狀態空間壓縮 歷史固定切片問題現在已依序壓縮為： $$ \boxed{ \text{虧格 }5 } $$ $$ \longrightarrow $$ $$ \boxed{ \text{秩為一的 }E_0' } $$ $$ \longrightarrow $$ $$ \boxed{ 2\text{ 個撓陪集} } $$ $$ \longrightarrow $$ $$ \boxed{ 8\text{ 個係數類，模為 }2^{18}. } $$ 因此，在目前精度下僅剩： $$ \boxed{ 16 } $$ 個有限的 $2$-主部狀態。 這是 Radical-FDRS 分支截至目前得到的最強精確有限素數壓縮。 --- # 26. R11 定理套件 ## 定理 A — 素數清單勘誤 已認證的二冪素數： $$ \boxed{ 4{,}195{,}001 } $$ 必須納入歷史雙閘篩。 ## 定理 B — 高階約化 $$ \boxed{ \#E(\mathbb F_{4,195,001})=2^{22}, } $$ 以及： $$ \boxed{ \operatorname{ord}(G_0)=2^{18}. } $$ ## 定理 C — 撓類存留 僅有： $$ \boxed{ T_A, \quad T_{-B} } $$ 存留下來。 ## 定理 D — 係數細化 $$ \boxed{ c\bmod2^{18} \in \pm \{ 1, 16385, 114687, 131071 \}. } $$ ## 定理 E — 管座標形式 若： $$ c=\epsilon+2^{14}q, \qquad \epsilon\in\{\pm1\}, $$ 則： $$ \boxed{ q\equiv0 \quad\text{或}\quad \epsilon \pmod8. } $$ --- # 27. 擬議的 R12 計畫 R12 應將有目標的大 $2$-主部素數搜尋，與正確的一般 Sylow 投影結合。 ## R12-A — 搜尋大型投影階數 搜尋滿足以下條件的好約化素數： $$ \operatorname{ord} ([m]G_0) > 2^{18}. $$ 優先考慮以下值： $$ 2^{19}, 2^{20}, \ldots $$ 作為投影階數。 ## R12-B — 僅檢驗目前的八個類 對每個有潛力的素數，無須先重新枚舉一個未受約束的係數空間。 使用目前的： $$ \mathcal C_{18} $$ 類作為低位元種子，並在新的投影階數模數下枚舉其更高提升。 僅保留由原始雙閘候選經投影後的點所表示的提升。 ## R12-C — 一般 Sylow 候選像 對任意： $$ \#E(\mathbb F_p)=2^sm, $$ 先枚舉原始雙閘點。 再以以下乘法投影全部候選： $$ [m]. $$ 與以下群比較： $$ \langle[m]G_0,E[2]\rangle. $$ ## R12-D — 結合 R10 局部管 將每個存留高位元類，理解為 R10 明確局部鄰域之一內部的分支。 這在全域有限素數算術與局部解析分支之間建立直接橋接。 ## R12-E — 升級判準 若高階素數不再實質削減類集合，就停止盲目搜尋素數。 此時轉向： - 橢圓 Chabauty； - 同時覆蓋下降； - 或全域 $p$-進對數論證。 --- # 28. 最終結論 R11 藉由補正一個遺漏的已認證二冪素數，強化歷史固定切片篩。 素數： $$ \boxed{ p=4{,}195{,}001 } $$ 具有足夠大的 $2$-主部 Mordell-Weil 階數，能在基本 R9 管尺度之外解析另外四個係數位元。 取精確交集後，以下纖維上的每個假設性有理完美長方體點： $$ n=\frac7{32} $$ 必須落在僅有的： $$ \boxed{ 8 } $$ 個正規化係數類之一，其模為： $$ 2^{18}, $$ 以及僅有的： $$ \boxed{ 2 } $$ 個有效撓陪集之一。 因此，目前的精確狀態數為： $$ \boxed{ 16. } $$ 邊界中心仍然存留，這是它們必須滿足的情況。 非中心分支尚未被排除。 下一個目標是尋找投影後 Mordell-Weil 階數超過以下值的素數： $$ 2^{18} $$ 且其雙閘候選像會削減目前八個類。 這是 R12 的正準起點。