# ACTM Round 29 ## Kummer Degree Law、Two-Layer Squaring Defect 與 Degree–Height Compression Tradeoff ### Kummer Degree Laws, the Two-Layer Squaring Defect, and the Degree–Height Tradeoff for Approximate Jets **研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM） **作者：** Neo.K；Aletheia（GPT-5.6 Sol） **機構：** EveMissLab / 一言諾科技有限公司 **日期：** 2026-10-03 **版本：** Round 29 / v0.1 **文件性質：** 正式研究筆記／Kummer-degree and degree-compression round **狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱 Fixed-Field Approximate Jet Problem 已解。本輪證明：第一層 radical interpolation 所在 field 具有 intrinsic cubic Kummer-degree growth；加入 BADT 第二層後 combined radical field具有 quartic growth；兩層 extremal interpolation 的 squaring defect仍只有與單層相同的 leading approximation order，沒有 automatic superconvergence；若任何 descent 將 approximate tangent 壓到 bounded algebraic degree，則其 height必至少 logarithmically growth。真正剩餘問題因此被定位到「特定 interpolation element 的 Galois stabilizer / exceptional subfield descent」。 --- ## 摘要 Round 28 對 fixed： $$ M\ge2, $$ 令： $$ L=M^2, $$ $$ r=L-1=M^2-1. $$ 使用 rational flattening： $$ \mu_Q=\frac{\lambda}{Q}, $$ 構造 extremal interpolation slope： $$ \alpha_Q = H_{s,Q}'(1) \in \overline{\mathbb Q} $$ 並證： $$ \boxed{ s-\alpha_Q = c_M(s)Q^{-r} + O(Q^{-r-1}), } $$ 其中： $$ c_M(s)\neq0. $$ 而： $$ h(\alpha_Q)=O(1), $$ 但： $$ [\mathbb Q(\alpha_Q):\mathbb Q] \to\infty. $$ Round 29 首先問： > 這個 degree escape只是我們用 radical field粗估造成的，還是 radical interpolation本身具有 intrinsic high-degree cost？ 答案是： $$ \boxed{ \text{ambient radical-field degree growth is intrinsically cubic}. } $$ 令： $$ K_3 = \mathbb Q(A,B,C), $$ 其中： $$ A=e^\lambda, $$ $$ B=e^{s\lambda}, $$ $$ C=e^{s^2\lambda}. $$ 因 positive real logarithms： $$ \log A=\lambda, $$ $$ \log B=s\lambda, $$ $$ \log C=s^2\lambda, $$ 若： $$ A^aB^bC^c=1 $$ with： $$ a,b,c\in\mathbb Z, $$ 則： $$ a+bs+cs^2=0. $$ 由 $s$ transcendental： $$ a=b=c=0. $$ 所以： $$ \boxed{ G_3=\langle A,B,C\rangle \subset K_3^\times } $$ 為 torsion-free rank-$3$ multiplicative subgroup。 Perucca–Sgobba 的 Kummer bounded-failure theorem給：存在 constant： $$ C_3\ge1 $$ 只依賴： $$ K_3,G_3, $$ 使對所有： $$ Q\ge1, $$ $$ \boxed{ [ K_3(\zeta_Q,\sqrt[Q]{G_3}) : K_3(\zeta_Q) ] \ge \frac{Q^3}{C_3}. } $$ 取 positive real roots： $$ A_Q=A^{1/Q}, $$ $$ B_Q=B^{1/Q}, $$ $$ C_Q=C^{1/Q}. $$ 令： $$ K_{3,Q} = K_3(A_Q,B_Q,C_Q). $$ 加入： $$ \zeta_Q $$ 後已包含全部 $Q$-th roots of elements of $G_3$，所以： $$ K_3(\zeta_Q,\sqrt[Q]{G_3}) = K_{3,Q}(\zeta_Q). $$ base change不能增加 relative degree，因此： $$ [ K_{3,Q}(\zeta_Q): K_3(\zeta_Q) ] \le [K_{3,Q}:K_3]. $$ 所以： $$ \boxed{ \frac{Q^3}{C_3} \le [K_{3,Q}:K_3] \le Q^3. } $$ 即： ## First-Layer Kummer Degree Law $$ \boxed{ [K_{3,Q}:K_3] = \Theta(Q^3). } $$ 所以 Round 28 的 cubic ambient field不是鬆估，而是 Kummer theory 的 intrinsic rank-$3$ cost。 --- 第二層也可做完全相同分析。 令： $$ D=e^{s^4\lambda}, $$ $$ K_4 = \mathbb Q(A,B,C,D). $$ 若： $$ A^{m_0} B^{m_1} C^{m_2} D^{m_4} = 1, $$ 則： $$ m_0 + m_1s + m_2s^2 + m_4s^4 = 0. $$ 由 $s$ transcendental： $$ m_0=m_1=m_2=m_4=0. $$ 所以： $$ \boxed{ \langle A,B,C,D\rangle } $$ multiplicative rank為： $$ 4. $$ 令： $$ D_Q=D^{1/Q}, $$ $$ K_{4,Q} = K_4(A_Q,B_Q,C_Q,D_Q). $$ Kummer bounded-failure theorem同樣給 constants： $$ C_4\ge1 $$ 使： $$ \boxed{ \frac{Q^4}{C_4} \le [K_{4,Q}:K_4] \le Q^4. } $$ 所以： ## Two-Layer Combined Kummer Degree Law $$ \boxed{ [K_{4,Q}:K_4] = \Theta(Q^4). } $$ 因此加入第二層並沒有降低 ambient radical degree；它把 multiplicative rank從 $3$ 提高到 $4$。 --- 本輪接著建立 second-layer interpolation slope。 對： $$ t\in\{s,s^2\}, $$ 定義： $$ r_{a,b}(t) = a+bt, $$ $$ x_{a,b}^{(t,Q)} = e^{\lambda r_{a,b}(t)/Q}. $$ 令： $$ H_{t,Q} $$ 為 degree： $$ \le L-1 $$ 的 interpolation polynomial，使： $$ H_{t,Q} \left( x_{a,b}^{(t,Q)} \right) = \left( x_{a,b}^{(t,Q)} \right)^t $$ for： $$ 0\le a,b0. $$ 共有： $$ M(M-1) = M^2-M $$ 個。 因此： $$ \boxed{ d_M := \deg G_M = 2M^2-M. } $$ 所以： $$ \deg \left( 2TG_M(T) \right) = d_M+1, $$ 而： $$ \deg G_M(T^2) = 2d_M. $$ 對： $$ M\ge2, $$ $$ 2d_M>d_M+1. $$ 故： $$ \boxed{ 2TG_M(T)-G_M(T^2) \not\equiv0. } $$ 其 coefficients皆為 rational / integer up to a fixed integer scalar。 因： $$ s $$ transcendental， $$ \boxed{ 2sG_M(s)-G_M(s^2)\neq0. } $$ 所以： $$ \boxed{ 2s\,c_M(s)-c_M(s^2)\neq0. } $$ 因此： $$ \boxed{ |\beta_Q-\alpha_Q^2| \asymp Q^{-(M^2-1)}. } $$ 即第二層 squaring relation沒有自動提升 approximation order。 --- 這個結果非常重要。 first layer： $$ |s-\alpha_Q| \asymp Q^{-r}. $$ second layer： $$ |s^2-\beta_Q| \asymp Q^{-r}. $$ nested defect： $$ |\beta_Q-\alpha_Q^2| \asymp Q^{-r}. $$ 所以： $$ \boxed{ \text{BADT nesting does not produce free analytic superconvergence at the extremal interpolation level}. } $$ 第二層若要真正幫助 FFAJ，必須作用於 arithmetic structure，而不是單純提高 Taylor order。 --- 本輪下一個問題是： > 可以把 $\alpha_Q$ 從 cubic radical field壓進 bounded-degree field嗎？ 必須非常小心區分： ### Ambient field degree 本輪已證： $$ [K_{3,Q}:K_3] = \Theta(Q^3). $$ ### Element degree $$ d_Q = [\mathbb Q(\alpha_Q):\mathbb Q]. $$ Round 28只知： $$ \boxed{ d_Q \gg (\log Q)^{1/4}, } $$ 以及： $$ \boxed{ d_Q \le [K_{3,Q}:\mathbb Q] = O(Q^3). } $$ ambient field large不代表特定 element： $$ \alpha_Q $$ 必生成大 subfield。 因此： $$ \boxed{ \text{degree compression is now an element-stabilizer problem}. } $$ --- 本輪將 interpolation slope寫成固定 rational function。 令 formal variables： $$ X,Y,Z. $$ 對： $$ 0\le a,b Kummer Galois / root-of-unity twists作用在 fixed rational function $R_M$ 上時，其 stabilizer有多大？ --- ## Element-Degree Compression Problem（EDCP） 定義 toric rational-function stabilizer： $$ \operatorname{Stab}(R_M) = \left\{ (\xi_1,\xi_2,\xi_3) \in (\mathbb G_m)^3: R_M(\xi_1X,\xi_2Y,\xi_3Z) = R_M(X,Y,Z) \right\}. $$ 若能證： $$ \operatorname{Stab}(R_M) $$ finite，則結合 Kummer near-maximality應可預期： $$ \deg(\alpha_Q) $$ 本身具有接近 cubic growth。 本輪不宣稱此步已證。 這將是 Round 30 的自然核心。 --- 本輪另外證明一個 descent tradeoff。 假設存在 algebraic approximants： $$ \gamma_Q $$ 使： $$ [\mathbb Q(\gamma_Q):\mathbb Q] \le D $$ for fixed： $$ D, $$ 且： $$ \boxed{ |s-\gamma_Q| \le C Q^{-r} } $$ for fixed： $$ r>0. $$ Waldschmidt 1978 對： $$ s=\frac{\log B}{\log A} $$ 的 transcendence measure，在 degree： $$ \le D $$ 固定時，對 integer polynomial： $$ P $$ 給： $$ \log|P(s)| > - C_D (\log H(P)+1) $$ 形式的 effective lower bound，其中： $$ C_D $$ 只依： $$ D,A,B. $$ 令： $$ P_Q $$ 為： $$ \gamma_Q $$ 的 primitive minimal polynomial。 standard height comparison： $$ \log H(P_Q) = O_D( h(\gamma_Q)+1 ). $$ 另一方面將： $$ P_Q(s) $$ 按 root： $$ \gamma_Q $$ factor，可得： $$ \log|P_Q(s)| \le -r\log Q + O_D( h(\gamma_Q)+1 ). $$ 上下界比較給： ## Fixed-Degree Height-Cost Theorem 存在 effective： $$ c_D>0, $$ $$ C_D'>0 $$ 使： $$ \boxed{ h(\gamma_Q) \ge c_D\log Q-C_D' } $$ for large： $$ Q. $$ 所以： $$ \boxed{ \text{bounded-degree compression + power-law approximation forces logarithmic height growth}. } $$ --- 這給 trace / norm / symmetric descent一個 general warning。 若某個 degree-compression operation： $$ \alpha_Q \mapsto \gamma_Q $$ 把 approximant放進 fixed number field，且仍保持： $$ |\gamma_Q-s| \ll Q^{-r}, $$ 則： $$ \boxed{ h(\gamma_Q) \gg \log Q. } $$ 因此 degree不能免費壓縮；complexity會從 degree轉移到 height。 Northcott是其 qualitative極限： $$ \boxed{ \text{bounded degree} + \text{bounded height} + \gamma_Q\to s \quad \text{impossible}. } $$ --- 這也重新評估 trace / norm descent。 normalized trace： $$ \frac1{ [K_{3,Q}:K_3] } \operatorname{Tr}_{K_{3,Q}/K_3} (\alpha_Q) $$ 確實位於 fixed field： $$ K_3. $$ 但 Kummer conjugates通常由 independent root-of-unity twists： $$ A_Q\mapsto\zeta_Q^iA_Q, $$ $$ B_Q\mapsto\zeta_Q^jB_Q, $$ $$ C_Q\mapsto\zeta_Q^kC_Q $$ 產生。 只有 positive-real branch的 nodes全部靠近： $$ 1. $$ 其他 conjugate configurations一般不靠近該 local interpolation regime。 所以沒有理由 trace仍近似： $$ s. $$ 本輪不宣稱 trace一定失敗，只得到： $$ \boxed{ \text{若 trace-like descent仍保存 power-law approximation，則其 height必發散}. } $$ --- # 1. Multiplicative independence of first-layer constants 若： $$ A^aB^bC^c=1, $$ positive real logarithm給： $$ a+bs+cs^2=0. $$ $s$ transcendental，所以： $$ a=b=c=0. $$ 因此： $$ \operatorname{rank} \langle A,B,C\rangle = 3. $$ --- # 2. Perucca–Sgobba bounded Kummer failure 對 number field： $$ K $$ 及 finitely generated torsion-free： $$ G\subset K^\times $$ of rank： $$ r, $$ Perucca–Sgobba證明： $$ \frac{ Q^r }{ [K(\zeta_Q,\sqrt[Q]{G}):K(\zeta_Q)] } $$ 被一個與： $$ Q $$ 無關的 constant bounded。 所以： $$ [K(\zeta_Q,\sqrt[Q]{G}):K(\zeta_Q)] \gg Q^r. $$ --- # 3. First-layer radical degree 套： $$ K=K_3, $$ $$ G=G_3, $$ $$ r=3. $$ 得到： $$ [K_{3,Q}:K_3] \gg Q^3. $$ trivial tower upper bound： $$ [K_{3,Q}:K_3]\le Q^3. $$ 故： $$ \boxed{ [K_{3,Q}:K_3] \asymp Q^3. } $$ --- # 4. Four-term independence 對： $$ A,B,C,D, $$ integer multiplicative relation給： $$ m_0+m_1s+m_2s^2+m_4s^4=0. $$ 所以只有 trivial relation。 因此 multiplicative rank： $$ 4. $$ --- # 5. Combined radical degree 套 Kummer theorem： $$ \boxed{ [K_{4,Q}:K_4] \asymp Q^4. } $$ 所以第二層新增的： $$ D^{1/Q} $$ 是一個真正新的 Kummer direction up to uniformly bounded failure。 --- # 6. Separate second-layer field 同樣： $$ \langle A,C,D\rangle $$ rank： $$ 3, $$ 因： $$ m_0+m_2s^2+m_4s^4=0 $$ 只有 trivial integer solution。 因此： $$ \boxed{ [ K_4(A_Q,C_Q,D_Q): K_4 ] \asymp Q^3. } $$ --- # 7. Unified interpolation coefficient polynomial 令： $$ L=M^2, $$ $$ r=L-1. $$ 定義： $$ G_M(T) = (T)_{\underline L} \prod_{(a,b)\neq(0,0)} (a+bT). $$ then： $$ c_M(T) = (-1)^r \frac{\lambda^r}{L!} G_M(T). $$ --- # 8. Degree of $G_M$ falling factorial contributes： $$ L=M^2. $$ grid product中： $$ b>0 $$ 的 factors數： $$ M(M-1)=M^2-M. $$ 所以： $$ \boxed{ \deg G_M = 2M^2-M. } $$ --- # 9. First and second approximation $$ \alpha_Q = s-c_M(s)Q^{-r} + O(Q^{-r-1}), $$ $$ \beta_Q = s^2-c_M(s^2)Q^{-r} + O(Q^{-r-1}). $$ --- # 10. Squaring defect $$ \beta_Q-\alpha_Q^2 = [ 2s\,c_M(s) - c_M(s^2) ] Q^{-r} + O(Q^{-r-1}). $$ --- # 11. Nonvanishing of the defect coefficient 如果 leading coefficient為 zero，則： $$ 2sG_M(s)-G_M(s^2)=0. $$ 但： $$ H_M(T) = 2TG_M(T)-G_M(T^2) $$ 是 nonzero integer polynomial，因： $$ \deg G_M(T^2) = 2(2M^2-M), $$ 嚴格大於： $$ \deg(2TG_M(T)) = 2M^2-M+1. $$ transcendental $s$不能為其 root。 故： $$ \boxed{ 2s\,c_M(s)-c_M(s^2)\neq0. } $$ --- # 12. No superconvergence 所以： $$ \boxed{ |\beta_Q-\alpha_Q^2| \asymp Q^{-(M^2-1)}. } $$ nested second layer沒有 automatic cancellation到： $$ Q^{-M^2} $$ 或更高。 --- # 13. Fixed rational function representation formal Lagrange formula給： $$ R_M(X,Y,Z) \in \mathbb Q(X,Y,Z) $$ 使： $$ \boxed{ \alpha_Q = R_M(A_Q,B_Q,C_Q). } $$ 這將 element degree問題與 Kummer root-of-unity action直接連接。 --- # 14. Ambient vs element degree Kummer law只說： $$ [K_{3,Q}:K_3] \asymp Q^3. $$ 不能直接推出： $$ [K_3(\alpha_Q):K_3] \asymp Q^3. $$ 因一個大 field中可能有低-degree elements。 所以 Round 29不把 ambient growth誤寫成 element growth。 --- # 15. Toric Stabilizer Problem 研究： $$ \operatorname{Stab}(R_M) = \{ \xi: R_M(\xi\cdot(X,Y,Z)) = R_M(X,Y,Z) \}. $$ 若此 stabilizer finite，再結合 near-maximal Kummer action，可能得到： $$ \deg(\alpha_Q) \gg Q^3. $$ 這是下一輪的核心候選。 --- # 16. Degree–height tradeoff 固定： $$ D. $$ 若： $$ \deg\gamma_Q\le D $$ 及： $$ |s-\gamma_Q| \ll Q^{-r}, $$ Waldschmidt quotient-of-logarithms transcendence measure迫使： $$ \boxed{ h(\gamma_Q) \gg_D \log Q. } $$ 因此： $$ \boxed{ \text{degree compression cannot preserve both bounded height and power-law accuracy}. } $$ --- # 17. Implication for FFAJ Round 28 的 FFAJ想要： - high-order approximation； - bounded degree； - bounded height。 Round 29現在可將其 sharpen： $$ \boxed{ \text{bounded degree + }Q^{-r}\text{ approximation already forces height divergence}. } $$ 所以若 second layer要給真正 contradiction，最理想仍是： $$ \boxed{ \text{bounded degree AND bounded height}. } $$ 任何只有 degree compression、沒有 height control的 construction不夠。 --- # 18. Why the second layer is still not useless 本輪只證： - ambient field degree變大； - naive squaring defect沒有更高 order。 它沒有排除第二層令特定： $$ R_M(A_Q,B_Q,C_Q) $$ 落進 exceptional subfield。 所以剩餘可能性是 highly structured： $$ \boxed{ \text{element-level Galois stabilizer enhancement caused by BADT nesting}. } $$ --- # 19. Round 29 判定 **PASS — Radical-field degree growth is intrinsically cubic/quartic by Kummer theory; nested interpolation has no automatic squaring superconvergence; bounded-degree compression necessarily pays height** 本輪完成： 1. 證： $$ \langle A,B,C\rangle $$ multiplicative rank $3$。 2. 套 Perucca–Sgobba bounded Kummer failure。 3. 得到： $$ [K_{3,Q}:K_3] = \Theta(Q^3). $$ 4. 證： $$ \langle A,B,C,D\rangle $$ multiplicative rank $4$。 5. 得到： $$ [K_{4,Q}:K_4] = \Theta(Q^4). $$ 6. 證 separate second-layer radical field亦為： $$ \Theta(Q^3). $$ 7. 建立 unified interpolation asymptotic coefficient： $$ c_M(T). $$ 8. 構造 second-layer approximant： $$ \beta_Q\approx s^2. $$ 9. 推導： $$ \beta_Q-\alpha_Q^2. $$ 10. 以 polynomial-degree argument證 leading coefficient nonzero。 11. 得到 No Automatic Squaring Superconvergence： $$ |\beta_Q-\alpha_Q^2| \asymp Q^{-(M^2-1)}. $$ 12. 將： $$ \alpha_Q $$ 寫成 fixed rational function： $$ R_M(A_Q,B_Q,C_Q). $$ 13. 嚴格區分 ambient field degree與 element degree。 14. 定義 Element-Degree Compression / Toric Stabilizer Problem。 15. 由 Waldschmidt transcendence measure得到 fixed-degree height-cost： $$ h(\gamma_Q) \gg \log Q. $$ 16. 將 FFAJ縮成 simultaneous degree-and-height compression問題。 --- # 20. Round 30 正式入口 Round 30 應直接研究： $$ \boxed{ \operatorname{Stab}(R_M) } $$ 及 $\alpha_Q$ 的 Kummer orbit。 ## R30-A：Toric stabilizer of interpolation slope 顯式分析： $$ R_M(X,Y,Z). $$ 先證或反證： $$ \operatorname{Stab}(R_M) $$ finite。 若可能，求 exact stabilizer。 --- ## R30-B：Prime Kummer levels 對 all sufficiently large primes： $$ \ell, $$ Kummer failure在 Perucca–Sgobba theory中為 trivial / uniformly controlled。 研究： $$ \mu_\ell^3 $$ 對： $$ R_M(A^{1/\ell},B^{1/\ell},C^{1/\ell}) $$ 的 orbit。 若 stabilizer bounded： $$ \deg\alpha_\ell \gg \ell^3. $$ --- ## R30-C：Second-layer stabilizer coupling 同時： $$ \alpha_Q = R_M(A_Q,B_Q,C_Q), $$ $$ \beta_Q = R_M(A_Q,C_Q,D_Q). $$ 研究 relation： $$ \beta_Q\approx\alpha_Q^2 $$ 是否能 enlarge stabilizer / force common subfield。 --- ## R30-D：Trace / norm descent 若試圖使用 Galois symmetric descent： - trace； - norm； - elementary symmetric functions； 檢查其 approximation accuracy與 height growth。 Round 29已知： $$ \text{bounded degree + power approximation} \Rightarrow h\gg\log Q. $$ 所以任何 descent若保留 approximation，必明確支付這個 height cost。 --- # 21. 一句話結論 > **Round 29 證明 Round 28 的 degree escape不是 radical field估計太粗：因 $A,B,C$ multiplicatively independent，Perucca–Sgobba Kummer theory強迫 first-layer radical field degree為 $\Theta(Q^3)$；加入 $D$ 後 rank變成 $4$，combined field更成為 $\Theta(Q^4)$。同時 second-layer slope $\beta_Q\approx s^2$ 並沒有與 $\alpha_Q^2$ 產生更高階 cancellation，兩者差仍精確是 $Q^{-(M^2-1)}$ 階。因此第二層若要提供真正 degree compression，只能作用在特定 interpolation element 的 Galois stabilizer / exceptional subfield，而不是降低 ambient field或提高 Taylor order。** 目前真正的最窄問題： $$ \boxed{ \text{How large is the Kummer orbit of } R_M(A^{1/Q},B^{1/Q},C^{1/Q})? } $$ 這就是 Round 30。 --- # 參考資料 1. Antonella Perucca and Pietro Sgobba, **Kummer theory for number fields and the reductions of algebraic numbers**, *International Journal of Number Theory* 15 (2019), 1617–1633. DOI: 10.1142/S179304211950091X. Main input used here: for a torsion-free rank-$r$ subgroup $G\subset K^\times$, the ratio $$ \frac{n^r}{ [K(\zeta_n,\sqrt[n]{G}):K(\zeta_n)] } $$ is bounded independently of $n$. 2. Antonella Perucca, **The degree of non-Galois Kummer extensions of number fields**, *Rivista di Matematica della Università di Parma* 11 (2020), 301–313. Gives explicit degree formulas for non-Galois radical extensions over number fields. 3. Michel Waldschmidt, **Transcendence measures for exponentials and logarithms**, *J. Austral. Math. Soc. Ser. A* 25 (1978), 445–465. Gives transcendence measures for: $$ \frac{\log\alpha_1}{\log\alpha_2}, $$ used here to obtain the bounded-degree height cost. 4. Standard Kummer theory, absolute logarithmic Weil height theory, Northcott finiteness, and Lagrange divided-difference interpolation. --- **ACTM Round 29 完**