> 本文為英文原文的全文譯本。研究主張仍以原文為權威來源；翻譯不代表獨立數學驗證。 # 完美長方體 Radical-FDRS R12 ## 一般 Sylow-$2$ 素數搜尋、$T_0$ 閘交換對稱性，以及壓縮至 $2$-同源橢圓曲線的商 **系列：** 完美長方體全域閉合 **分支：** Radical-FDRS / 幾何耦合分支 R **階段：** R12 — 一般素數搜尋與閘對稱壓縮 **日期：** 2026-10-04 **狀態：** 精確計算檢查點 + 精確代數對稱定理 — 並非完美長方體存在性或不存在性的證明 --- # 0. 執行摘要 R11 將歷史固定切片的必要條件強化為模以下數值的八個係數類： $$ 2^{18} $$ 在兩個存活的有理 $2$-撓陪集中，各自如此。 R12 遵循所提出的一般 Sylow-$2$ 路線。 對以下數量的候選進行搜尋： $$ 260{,}000 $$ 這些連續的好素數候選，範圍約從： $$ 4.2\times10^6 $$ 至： $$ 8.26\times10^6 $$ 找到一個新素數，使已知 Mordell-Weil 方向的投影階嚴格大於： $$ 2^{18}. $$ 該素數為： $$ \boxed{ p=6{,}291{,}881. } $$ 獨立的精確特徵和點計數給出： $$ \boxed{ \#E(\mathbb F_p) = 6{,}291{,}456 = 3\cdot2^{21}. } $$ 因此奇數餘因子為： $$ 3. $$ 對於已知的奇指數 Mordell-Weil 替代點： $$ G_0=(480704,-468686400), $$ 其投影點： $$ \boxed{ P_2=[3]G_0 } $$ 具有以下精確階： $$ \boxed{ 2^{19}. } $$ 事實上， $$ \boxed{ [2^{18}]P_2=(0,0), } $$ 而 $$ \boxed{ [2^{19}]P_2=O. } $$ 因此，此素數確實能看見超出 R11 模數的一個係數位元。 然而，當 R11 係數類從以下模數提升： $$ 2^{18} $$ 至以下模數： $$ 2^{19}, $$ 並正確地在奇數餘因子投影**之前**檢驗平方閘時，每個提升都存活。 原因是結構性的，而非偶然。 令 $$ \boxed{ T_0=(0,0)\in E[2]. } $$ 沿此 $2$-撓點平移，會將 $$ X \longmapsto -\frac{AB}{X}. $$ 在此平移下，兩個 R8 平方類互換： $$ \boxed{ [\mathcal R_1(P+T_0)] = [\mathcal R_2(P)], } $$ 且 $$ \boxed{ [\mathcal R_2(P+T_0)] = [\mathcal R_1(P)]. } $$ 因此，同時雙平方謂詞在以下變換下不變： $$ P\mapsto P+T_0. $$ 這立即解釋了先前看似兩項分開觀察的事實： 1. 兩個 R9/R11 存活撓陪集 $$ T_A=(A,0) $$ 與 $$ T_{-B}=(-B,0) $$ 始終有相同的雙閘行為，因為 $$ T_A+T_0=T_{-B}; $$ 2. 新素數無法區分以下係數位元： $$ c\mapsto c+2^{18}, $$ 因為 $$ [2^{18}]P_2=T_0. $$ 因此，投影階本身並非未來選擇素數時的正確強度指標。 相關條件是**模去閘交換撓對稱性後**的投影階。 接著，R12 對此對稱性取商。 沿以下點平移所得到的商： $$ T_0 $$ 就是標準的 $2$ 次同源映射： $$ E\longrightarrow\widehat E. $$ 定義 $$ \boxed{ U=\frac{Y^2}{X^2} = X+M-\frac{AB}{X}. } $$ 則 $$ U $$ 在以下變換下不變： $$ X\mapsto-\frac{AB}{X}. $$ 商曲線為： $$ \boxed{ \widehat E: \qquad V^2 = U^3 - 2MU^2 + L^2U, } $$ 其中 $$ M=B-A=950625, $$ 且 $$ L=A+B=1352033. $$ 最重要的是，兩個 R8 平方閘的乘積簡化為： $$ \boxed{ \mathcal R_1(P)\mathcal R_2(P) = X^2 \left( 2MU-L^2 \right). } $$ 因此，其平方類為： $$ \boxed{ [ \mathcal R_1\mathcal R_2 ] = [ 2MU-L^2 ]. } $$ 故歷史上的虧格-$3$ 乘積平方條件，在商上下降為**線性平方值閘** $$ \boxed{ 2MU-L^2 \in \mathbb Q^2. } $$ 這是 R12 的主要結構化約。 --- # 1. 橢圓核心 取 $$ \boxed{ E: \qquad Y^2 = X(X-A)(X+B), } $$ 其中 $$ A=448^2=200704, $$ 且 $$ B=1073^2=1151329. $$ 定義 $$ \boxed{ M=B-A=950625, } $$ 且 $$ \boxed{ L=A+B=1352033. } $$ 則 $$ E: \qquad Y^2 = X^3+MX^2-ABX. $$ --- # 2. R8 平方閘 兩個精確的固定切片平方函數為： $$ \boxed{ \mathcal R_1(P) = \frac{2X+M}{L}, } $$ 且 $$ \boxed{ \mathcal R_2(P) = L\,X(MX-2AB). } $$ 完整的固定虧格-$5$ 纖維上的有理點必須滿足 $$ \mathcal R_1(P)\in\mathbb Q^2, $$ 且 $$ \mathcal R_2(P)\in\mathbb Q^2. $$ --- # 3. R11 剩餘類狀態 R11 留下係數集合 $$ \boxed{ \mathcal C_{18} = \{ 1, 16385, 114687, 131071, 131073, 147457, 245759, 262143 \} } $$ 模 $$ 2^{18}. $$ 等價地， $$ \boxed{ \mathcal C_{18} = \pm \{ 1, 16385, 114687, 131071 \}. } $$ 僅有以下撓陪集 $$ \boxed{ T_A=(A,0), } $$ 且 $$ \boxed{ T_{-B}=(-B,0) } $$ 存活。 --- # 4. 一般素數搜尋目標 R11 建議搜尋任意好素數 $$ p $$ 使已知 Mordell-Weil 方向的 Sylow-$2$ 投影，其階超過 $$ 2^{18}. $$ 寫成 $$ \#E(\mathbb F_p) = 2^s m, $$ 其中 $$ m $$ 為奇數。 定義 $$ \boxed{ P_2=[m]G_0. } $$ 搜尋目標為： $$ \boxed{ \operatorname{ord}(P_2)\ge2^{19}. } $$ --- # 5. 精確點計數方法 對每個素數候選，先以精確的 Hasse 區間小步／大步跡計算，確定群階。 此搜尋不以數值近似估計跡。 它確定唯一的整數 $$ t $$ 位於 Hasse 區間 $$ |t|\le2\sqrt p $$ 使得 $$ [p+1-t]P=O $$ 對足夠多的獨立測試點成立。 對最後命中的素數，所得群階再以完整特徵和獨立核實。 因此，所報告的命中並非僅依賴一次點階計算。 --- # 6. 搜尋範圍 精確掃描處理了 $$ \boxed{ 260{,}000 } $$ 個連續素數候選，起點略高於約 $$ 4.2\times10^6 $$ 並持續至約 $$ 8.26\times10^6. $$ 在此範圍內，恰好找到一個素數，使已知 Mordell-Weil 方向的投影階至少為 $$ 2^{19}. $$ 該素數為： $$ \boxed{ 6{,}291{,}881. } $$ 這只是所述有限搜尋區間內的計算結果。 沒有提出任何密度主張。 --- # 7. 獨立群階證書 在 $$ p=6{,}291{,}881, $$ 計算精確特徵和 $$ S = \sum_{x\in\mathbb F_p} \chi \left( x(x-A)(x+B) \right). $$ 結果為： $$ \boxed{ S=-426. } $$ 因此 $$ \#E(\mathbb F_p) = p+1+S. $$ 故 $$ \boxed{ \#E(\mathbb F_p) = 6{,}291{,}456. } $$ 因數分解給出： $$ \boxed{ 6{,}291{,}456 = 3\cdot2^{21}. } $$ 因此，奇數餘因子恰為： $$ \boxed{ m=3. } $$ --- # 8. 投影 Mordell-Weil 點 將 $$ G_0 = (480704,-468686400) $$ 模 $$ p. $$ 以奇數餘因子投影： $$ \boxed{ P_2=[3]G_0. } $$ 其座標為： $$ \boxed{ P_2 = (3750844,1435474) \in E(\mathbb F_p). } $$ 反覆倍點給出： $$ \boxed{ [2^{18}]P_2=(0,0), } $$ 且 $$ \boxed{ [2^{19}]P_2=O. } $$ 因此 $$ \boxed{ \operatorname{ord}(P_2)=2^{19}. } $$ --- # 9. 奇初級核 由於 $$ \#E(\mathbb F_p) = 3\cdot2^{21}, $$ 以下倍乘映射的核： $$ 3 $$ 包含一個非平凡循環子群，其階為 $$ 3. $$ 一個明確的 $3$ 階點為： $$ \boxed{ R_3 = (2460118,6009634). } $$ 它滿足 $$ \boxed{ [3]R_3=O. } $$ 因此，每個投影點 $$ Q=[3]P $$ 恰有三個原像： $$ \boxed{ P_0, \quad P_0+R_3, \quad P_0+2R_3, } $$ 其中 $$ P_0 $$ 是唯一位於 $2$-初級子群中的原像。 --- # 10. 正確的先閘後投影檢驗 對每個 R11 剩餘類 $$ c_0\in\mathcal C_{18}, $$ 在以下模數下有兩個提升： $$ 2^{19}: $$ $$ c_0, $$ 且 $$ c_0+2^{18}. $$ 這給出 $$ 16 $$ 個候選係數類。 對每個係數與每個存活撓陪集，定義投影狀態 $$ \boxed{ Q = [c]P_2+T. } $$ 接著計算其在以下倍乘映射下的三個原像： $$ 3. $$ 平方閘是在原像上檢驗，而非在 $$ Q. $$ 若其三個原始原像中至少一個滿足兩個閘，該投影係數狀態就存活。 這就是證明安全的任意素數程序。 --- # 11. 結果：沒有排除係數 所有 $$ 16 $$ 個係數提升，在兩個撓陪集中均存活。 因此，新素數帶來： $$ \boxed{ \text{沒有額外的係數排除}. } $$ 即使有下式，這仍然成立： $$ \operatorname{ord}(P_2)=2^{19}. $$ 因此： $$ \boxed{ \text{僅有更大的投影階仍不足夠}. } $$ 奇初級原像結構很重要。 --- # 12. 精確奇原像特徵 選擇上述 $3$ 階生成元 $$ R_3 $$ 並以以下方式標記三個原像： $$ j=0,1,2. $$ 對八個基礎 R11 剩餘類，其模數為 $$ 2^{18}, $$ 通過閘的分支為： | $c\bmod2^{18}$ | 通過的 $j$ | |---:|:---| | $1$ | $\{0,2\}$ | | $16385$ | $\{0,2\}$ | | $114687$ | $\{1\}$ | | $131071$ | $\{1,2\}$ | | $131073$ | $\{1,2\}$ | | $147457$ | $\{2\}$ | | $245759$ | $\{0,1\}$ | | $262143$ | $\{0,1\}$ | 以下情況也出現相同模式： $$ c+2^{18}. $$ 兩個存活撓陪集中也都出現相同模式。 標記： $$ 1 $$ 以及： $$ 2 $$ 取決於所選 $3$ 階生成元的定向，但非空性與基數是不變的。 --- # 13. 缺失的解釋：一個 $2$-撓對稱性 定義 $$ \boxed{ T_0=(0,0). } $$ 對一個有限點 $$ P=(X,Y) $$ 其中 $$ X\ne0, $$ 加法公式給出： $$ \boxed{ X(P+T_0) = -\frac{AB}{X(P)}. } $$ 這可在射影意義下延拓至例外點。 令 $$ X' = -\frac{AB}{X}. $$ R12 現在研究此平移對兩個閘平方類的作用。 --- # 14. $T_0$ 平移後的第一個閘 代入 $$ X'=-\frac{AB}{X}. $$ 則 $$ \mathcal R_1(P+T_0) = \frac{ MX-2AB }{ LX }. $$ 另一方面 $$ \mathcal R_2(P) = LX(MX-2AB). $$ 它們的商為： $$ \boxed{ \frac{ \mathcal R_2(P) }{ \mathcal R_1(P+T_0) } = L^2X^2. } $$ 由於右側是有理平方， $$ \boxed{ [ \mathcal R_1(P+T_0) ] = [ \mathcal R_2(P) ]. } $$ --- # 15. $T_0$ 平移後的第二個閘 再次使用 $$ X'=-\frac{AB}{X}. $$ 則 $$ \mathcal R_2(P+T_0) = \frac{ LA^2B^2(M+2X) }{ X^2 }. $$ 但 $$ \mathcal R_1(P) = \frac{ M+2X }{ L }. $$ 因此 $$ \boxed{ \frac{ \mathcal R_2(P+T_0) }{ \mathcal R_1(P) } = \left( \frac{ LAB }{ X } \right)^2. } $$ 故 $$ \boxed{ [ \mathcal R_2(P+T_0) ] = [ \mathcal R_1(P) ]. } $$ --- # 16. 閘交換定理 ## 定理 沿以下點平移： $$ T_0=(0,0) $$ 會交換兩個 R8 閘平方類： $$ \boxed{ \left( [\mathcal R_1], [\mathcal R_2] \right) \longmapsto \left( [\mathcal R_2], [\mathcal R_1] \right). } $$ 因此，同時成立的謂詞 $$ \boxed{ \mathcal R_1\in\mathbb Q^2 \quad\text{且}\quad \mathcal R_2\in\mathbb Q^2 } $$ 在以下變換下不變： $$ \boxed{ P\mapsto P+T_0. } $$ 這是一個精確的全域代數定理。 它並非特定於某個約化素數。 --- # 17. 為何兩個 R9/R11 撓陪集始終相符 三個非零有理 $2$-撓點滿足 $$ T_A+T_{-B}=T_0. $$ 因此 $$ \boxed{ T_A+T_0=T_{-B}, } $$ 且 $$ \boxed{ T_{-B}+T_0=T_A. } $$ 因為雙閘的平方性在沿以下點平移時不變： $$ T_0, $$ 兩個存活的 R9/R11 撓陪集必定始終具有相同的雙閘行為。 因此，它們並非兩個真正獨立的算術狀態。 它們形成一個閘對稱軌道。 --- # 18. 修正後的有效撓類數 R11 報告了兩個存活撓陪集： $$ T_A, \qquad T_{-B}. $$ R12 細化此解讀。 模去精確的閘交換對稱性 $$ \langle T_0\rangle, $$ 後，這兩個類形成一個軌道： $$ \boxed{ \{T_A,T_{-B}\}. } $$ 同樣地，兩個被排除的類形成另一個軌道： $$ \boxed{ \{O,T_0\}. } $$ 因此，有效的閘狀態撓類數為： $$ \boxed{ 1 } $$ 個存活軌道，而非兩個互不相關的存活類。 --- # 19. 為何新素數無法看見下一個係數位元 在 $$ p=6{,}291{,}881, $$ 我們證明了 $$ \boxed{ [2^{18}]P_2=T_0. } $$ 因此 $$ [c+2^{18}]P_2+T = [c]P_2+(T+T_0). $$ 因此，改變最高係數位元，恰好等價於施加閘交換撓平移。 因為同時閘謂詞在此平移下不變， $$ \boxed{ c \quad\text{且}\quad c+2^{18} } $$ 必定具有相同的存活行為。 故未能切去新位元，是代數上必然的。 這並非實作的弱點。 --- # 20. 素數選擇修正 R11 提出要最大化 $$ \operatorname{ord}([m]G_0). $$ R12 顯示，這並不足夠。 假設 $$ \operatorname{ord}([m]G_0)=2^e. $$ 若 $$ \boxed{ [2^{e-1}][m]G_0=T_0, } $$ 則最高係數位元對同時雙閘謂詞不可見。 因此，更好的素數選擇評分，必須同時記錄： $$ \boxed{ e, } $$ 以及半階撓點 $$ \boxed{ H_p = [2^{e-1}][m]G_0. } $$ 一個素數若有較大的 $$ e $$ 但 $$ H_p=T_0 $$ 可能在最高位元上不增加任何資訊。 --- # 21. 理想的未來素數 最有希望的素數具有： $$ \operatorname{ord}([m]G_0)\ge2^{19} $$ 以及以下半階撓點： $$ H_p $$ 等於 $$ T_A $$ 或 $$ T_{-B}, $$ 而非 $$ T_0. $$ 另一種選擇是希望投影階至少為 $$ 2^{20} $$ 如此即使對閘交換對稱性取商後，仍有真正的新二進位數位可供檢驗。 因此，修正後的搜尋目標為： $$ \boxed{ \text{模去閘對稱性後的較大投影階}. } $$ --- # 22. 對閘交換撓點取商 對合 $$ P\mapsto P+T_0 $$ 是與以下核相關聯的平移作用： $$ \{O,T_0\}. $$ 商橢圓曲線就是標準的 $2$ 次同源曲線。 定義不變座標 $$ \boxed{ U = \frac{Y^2}{X^2}. } $$ 利用橢圓方程， $$ \boxed{ U = X+M-\frac{AB}{X}. } $$ 在 $$ X\mapsto-\frac{AB}{X}, $$ 以下量的值： $$ U $$ 保持不變。 因此 $$ U $$ 是商上的自然座標。 --- # 23. 商橢圓曲線 定義 $$ \boxed{ V = - \frac{ Y(X^2+AB) }{ X^2 }. } $$ 則 $$ (U,V) $$ 位於 $$ \boxed{ \widehat E: \qquad V^2 = U^3 - 2MU^2 + L^2U. } $$ 這是核為以下集合的標準 $2$ 次同源曲線： $$ \boxed{ \{O,T_0\}. } $$ 經有理縮放後，它就是歷史上的正規化 $$ E_0 $$ 族，已在 R5-R8 中遇到。 因此，閘交換商不是新的橢圓物件。 它正是既有的 $E_0$ 方向。 --- # 24. 商上的乘積閘 將兩個 R8 閘函數相乘： $$ \mathcal R_1\mathcal R_2 = X(2X+M)(MX-2AB). $$ 使用： $$ U = X+M-\frac{AB}{X}. $$ 精確代數給出： $$ \boxed{ X(2X+M)(MX-2AB) = X^2 \left( 2MU-L^2 \right). } $$ 因此： $$ \boxed{ [ \mathcal R_1\mathcal R_2 ] = [ 2MU-L^2 ]. } $$ 平方因子： $$ X^2 $$ 從平方類中消去。 --- # 25. 線性平方閘定理 ## 定理 在商橢圓曲線 $$ \widehat E, $$ 上，歷史上的虧格-$3$ 乘積平方條件等價於 $$ \boxed{ 2MU-L^2 \in \mathbb Q^2. } $$ 明確地： $$ \boxed{ 1{,}901{,}250\,U - 1352033^2 \in \mathbb Q^2. } $$ 因此，在以下曲線上看似三次的平方值函數： $$ E $$ 對閘交換撓點取商後，成為線性的平方值函數。 這是一項重大的 FDRS 簡化。 --- # 26. 個別閘的解讀 商記住以下無序閘平方類對： $$ \boxed{ \{ [\mathcal R_1], [\mathcal R_2] \}. } $$ 沿以下點平移： $$ T_0 $$ 會交換兩個成員。 乘積平方類在商下不變，並成為以下線性函數： $$ 2MU-L^2. $$ 若要求兩個個別類都平凡，仍須在商上方再作一次額外的二次提升。 因此，完整的雙閘問題可重新組織為： $$ \boxed{ \text{以下曲線上的線性平方閘：}\widehat E } $$ 加上 $$ \boxed{ \text{一個殘餘的閘標記提升}. } $$ 這可能比在以下曲線上分別攜帶兩個原始閘更簡單： $$ E. $$ --- # 27. 狀態數壓縮 R11 描述了： $$ 8 $$ 個係數剩餘類，以及： $$ 2 $$ 個存活撓陪集。 R12 顯示，兩個撓陪集形成一個閘對稱軌道。 因此，經對稱化約後的狀態數為： $$ \boxed{ 8 } $$ 而非： $$ 16. $$ 八個 R11 係數類仍是目前精度下真正未解決的二進位狀態。 --- # 28. 超出新素數後的搜尋結果 連續素數掃描已延伸超過 $$ p=6{,}291{,}881 $$ 至約 $$ 8.26\times10^6. $$ 在所掃描區間內，沒有找到第二個素數，使已知 Mordell-Weil 方向的投影階至少為 $$ 2^{19}. $$ 這只是一項有限計算觀察。 它並非此類素數的密度定理或不存在性定理。 --- # 29. 為何暴力延長素數搜尋不再是最佳下一步 第一次成功命中的任意素數，已展示兩個事實： 1. 大投影階的素數存在； 2. 大投影階不會自動細化係數篩。 第二個事實由閘交換撓對稱性精確解釋。 因此，若不考慮 $$ H_p = [2^{e-1}][m]G_0 $$ 就繼續將素數搜尋延伸得更遠，效率不佳。 未來素數搜尋應納入對稱性。 --- # 30. R12 定理套件 ## 定理 A — 新的一般素數 $$ \boxed{ p=6{,}291{,}881 } $$ 滿足 $$ \boxed{ \#E(\mathbb F_p)=3\cdot2^{21}. } $$ ## 定理 B — 投影階 $$ \boxed{ \operatorname{ord}([3]G_0)=2^{19}. } $$ ## 定理 C — 半階撓點 $$ \boxed{ [2^{18}][3]G_0=T_0. } $$ ## 定理 D — 未排除 R11 類 R11 八個類在以下模數下的所有提升： $$ 2^{19} $$ 都有至少一個奇初級原像，滿足兩個約化平方閘。 ## 定理 E — 閘交換撓對稱性 $$ \boxed{ [\mathcal R_1(P+T_0)] = [\mathcal R_2(P)], } $$ $$ \boxed{ [\mathcal R_2(P+T_0)] = [\mathcal R_1(P)]. } $$ ## 定理 F — 商上的乘積閘 在 $2$-同源商上： $$ \boxed{ [ \mathcal R_1\mathcal R_2 ] = [ 2MU-L^2 ]. } $$ --- # 31. 證明安全邊界 R12 不主張： - 八個 R11 類包含全域非邊界點； - 掃描區間以外不存在更強的素數； - 商上的線性平方閘本身等價於完整的完美長方體閉合； - 已知奇指數點是全域本原的； - 新素數在所有其他商表示中都不提供有用資訊。 精確主張僅限於所展示的群階、投影階、有限閘枚舉、撓對稱性與商恆等式。 --- # 32. 擬議的 R13 計畫 R13 應先利用閘交換商，再繼續素數搜尋。 ## R13-A — 在 $\widehat E$ 上重寫雙覆蓋 取 $$ \widehat E: \qquad V^2 = U^3-2MU^2+L^2U. $$ 施加第一個商平方閘： $$ \boxed{ Z^2 = 2MU-L^2. } $$ 確定此覆蓋的虧格與明確模型。 ## R13-B — 恢復殘餘的個別閘提升 將以下其中之一： $$ [\mathcal R_1], \qquad [\mathcal R_2] $$ 表成第一個覆蓋上的有理函數。 由於核對合會交換兩者，只須一個額外平方條件。 ## R13-C — 與歷史上的 $E_0$ 平方值表述比較 R7 與 G2E.5 已在正規化的 $$ E_0. $$ 上給出平方值條件。辨識以下函數： $$ 2MU-L^2 $$ 是否與其中一個歷史簡單函數雙有理等價。 這可能使 R12 回歸至已研究過的秩一橢圓平方值問題。 ## R13-D — 納入對稱性的素數搜尋 對每個素數候選，記錄： $$ \left( e, H_p \right), $$ 其中： $$ 2^e = \operatorname{ord}([m]G_0), $$ 以及： $$ H_p = [2^{e-1}][m]G_0. $$ 優先選擇滿足以下條件的素數： $$ H_p\ne T_0. $$ ## R13-E — 商層級 Mordell-Weil 篩 不在以下曲線上分別追蹤兩個撓陪集： $$ E, $$ 而是直接在以下曲線上進行有限素數篩： $$ \widehat E. $$ 這可在枚舉之前，移除精確的閘交換冗餘。 --- # 33. 最終結論 R12 找到第一個超出 R11 模數門檻的任意好素數： $$ \boxed{ p=6{,}291{,}881. } $$ 其 Sylow-$2$ 投影給出一個 Mordell-Weil 方向，階為： $$ 2^{19}. $$ 但它沒有縮減 R11 係數集合。 R12 證明了原因。 半階點恰為： $$ T_0=(0,0), $$ 且沿以下點平移： $$ T_0 $$ 會交換兩個平方閘。 因此，額外的係數位元是閘標記對稱位元，而非新的算術資訊。 這同時解釋了： - 兩個存活撓陪集持續成對； - 以下變換下的剩餘類模式相同： $$ c\mapsto c+2^{18}; $$ - 新的高階素數未能細化 R11。 對此對稱性取商，會落在熟悉的 $2$-同源 $$ E_0 $$ 方向上。 在那裡，乘積平方障礙變成線性閘： $$ \boxed{ 2MU-L^2 \in\mathbb Q^2. } $$ 因此，下一次化約應在對 $T_0$ 取商之後進行，而非盲目延長原係數篩。 這是 R13 的正準起點。