# ACTM Round 31
## Two-Observable Kummer Orbit、Generic Fiber Escape 與 Quadratic Joint-Degree Growth
### Two-Observable Kummer Orbits, Escape from Exceptional Fibers, and Quadratic Joint-Degree Growth

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-03  
**版本：** Round 31 / v0.1  
**文件性質：** 正式研究筆記／two-observable Kummer-fiber round  
**狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱 individual interpolation slope具有 cubic algebraic degree。本輪證明：對 fixed interpolation size $M$，第一層與第二層 extremal interpolation slopes作為一對 observables時，其 joint algebraic degree至少以 $Q^2$ 成長。核心機制是：combined BADT Kummer rank為 $4$，two-observable map具有 generic fiber dimension $2$，而 BADT rational-flattening path只會命中 exceptional higher-dimensional fibers有限多次。

---

## 摘要

Round 30 對 first-layer interpolation slope：

$$
\alpha_Q
=
R_M(A_Q,B_Q,C_Q)
$$

證明：

$$
[\mathbb Q(\alpha_Q):\mathbb Q]
\gg_M Q.
$$

其中：

$$
A_Q=A^{1/Q},
\quad
B_Q=B^{1/Q},
\quad
C_Q=C^{1/Q}.
$$

其理由是：

- Kummer rank $3$ 提供：
  $$
  \Omega(Q^3)
  $$
  twists；
- 一個 scalar rational observable的 generic value fiber為 dimension $2$；
- bounded-degree fiber在：
  $$
  \mu_Q^3
  $$
  中有：
  $$
  O_M(Q^2)
  $$
  points。

Round 31 將 BADT 第二層第一次真正作為額外 independent observable使用。

令：

$$
D=e^{s^4\lambda},
$$

$$
D_Q=D^{1/Q},
$$

以及 second-layer interpolation slope：

$$
\beta_Q
=
R_M(A_Q,C_Q,D_Q).
$$

定義 pair observable map：

$$
\boxed{
\Phi_M:
(\mathbb G_m)^4
\dashrightarrow
\mathbb A^2
}
$$

by：

$$
\boxed{
\Phi_M(X,Y,Z,W)
=
\left(
R_M(X,Y,Z),
R_M(X,Z,W)
\right).
}
$$

本輪核心 theorem：

## Two-Observable Joint-Degree Theorem

對 fixed：

$$
M\ge2,
$$

存在：

$$
c_M>0,
$$

以及：

$$
Q_0(M,A,B,C,D),
$$

使對所有：

$$
Q\ge Q_0,
$$

有：

$$
\boxed{
[
\mathbb Q(\alpha_Q,\beta_Q)
:
\mathbb Q
]
\ge
c_MQ^2.
}
$$

所以 second layer將單層的 linear element-degree lower bound：

$$
\Omega(Q)
$$

嚴格提升為 pair-level：

$$
\boxed{
\Omega(Q^2).
}
$$

這是 BADT 第二層第一次在 interpolation-element arithmetic complexity上帶來 rigorous gain。

---

# 1. Universal interpolation rational function

固定：

$$
M\ge2,
$$

$$
L=M^2.
$$

對 formal variables：

$$
X,Y,Z,
$$

令：

$$
R_M(X,Y,Z)
$$

為 Round 29–30 定義的 universal extremal interpolation derivative：

$$
R_M(X,Y,Z)
=
H_{X,Y,Z}'(1),
$$

其中：

$$
H_{X,Y,Z}
$$

interpolates：

$$
X^aY^b
\mapsto
Y^aZ^b
$$

for：

$$
0\le a,b<M.
$$

Round 30 已證：

1. $R_M$ nonconstant；
2. $R_M$ genuinely depends on $Y$；
3. $R_M$ genuinely depends on $Z$；
4. $\deg_ZR_M=M-1>0$；
5. its toric translation stabilizer is finite。

本輪只需其中第 2、3 點即可建立 two-observable independence。

---

# 2. Two observables

定義：

$$
R_1
=
R_M(X,Y,Z),
$$

$$
R_2
=
R_M(X,Z,W).
$$

注意：

$$
R_1
$$

不依賴：

$$
W,
$$

而：

$$
R_2
$$

不依賴：

$$
Y.
$$

且：

$$
\frac{\partial R_1}{\partial Y}
\not\equiv0,
$$

$$
\frac{\partial R_2}{\partial W}
\not\equiv0.
$$

---

# 3. Jacobian minor

考慮：

$$
\Phi_M
=
(R_1,R_2).
$$

其 Jacobian對 variables：

$$
Y,W
$$

的 $2\times2$ minor為：

$$
\det
\begin{pmatrix}
\partial_YR_1 & \partial_WR_1\\
\partial_YR_2 & \partial_WR_2
\end{pmatrix}.
$$

因：

$$
\partial_WR_1=0,
$$

$$
\partial_YR_2=0,
$$

所以：

$$
\boxed{
J_{YW}
=
(\partial_YR_1)
(\partial_WR_2)
\not\equiv0.
}
$$

因此：

$$
\boxed{
\operatorname{rank}d\Phi_M=2
}
$$

generically。

---

# 4. Algebraic independence

由 generic Jacobian rank $2$：

$$
\boxed{
R_1,
\quad
R_2
}
$$

在：

$$
\mathbb Q(X,Y,Z,W)
$$

中 algebraically independent。

等價地：

$$
\Phi_M
$$

為 dominant rational map：

$$
(\mathbb G_m)^4
\dashrightarrow
\mathbb A^2.
$$

所以 generic fiber dimension：

$$
\boxed{
4-2=2.
}
$$

---

# 5. Domain of regular definition

令：

$$
U_M
\subset
(\mathbb G_m)^4
$$

為：

$$
R_1,
R_2
$$

兩者皆 regular的 maximal open subset。

對 BADT positive-real point：

$$
p_Q
=
(A_Q,B_Q,C_Q,D_Q),
$$

所有 first / second interpolation nodes都 distinct。

因 node collision例如：

$$
A_Q^aB_Q^b
=
A_Q^{a'}B_Q^{b'}
$$

會給：

$$
(a-a')+(b-b')s=0,
$$

被 irrationality of $s$ 排除。

第二層同理。

所以：

$$
\boxed{
p_Q\in U_M
}
$$

for every：

$$
Q\ge1.
$$

---

# 6. Generic-fiber open set

dominant rational map：

$$
\Phi_M
$$

限制為：

$$
U_M
\to
\mathbb A^2.
$$

由 generic fiber dimension theorem / generic flatness，存在 nonempty Zariski-open：

$$
\Omega_M
\subset
\mathbb A^2
$$

使對：

$$
y\in\Omega_M,
$$

fiber：

$$
\Phi_M^{-1}(y)
$$

具有 dimension：

$$
\boxed{
2.
}
$$

令 exceptional target locus：

$$
E_M
=
\mathbb A^2
\setminus
\Omega_M.
$$

則：

$$
\boxed{
E_M
}
$$

為 proper algebraic subset。

---

# 7. Flattening path

定義 analytic one-parameter BADT path：

$$
p(t)
=
\left(
e^{\lambda t},
e^{s\lambda t},
e^{s^2\lambda t},
e^{s^4\lambda t}
\right).
$$

則：

$$
p_Q=p(1/Q).
$$

---

# 8. Zariski density of the BADT path

若 nonzero Laurent polynomial：

$$
F
=
\sum_m
c_m
X_0^{m_0}
X_1^{m_1}
X_2^{m_2}
X_4^{m_4}
$$

vanishes identically on：

$$
p(t),
$$

則：

$$
0
=
F(p(t))
=
\sum_m
c_m
e^{
\lambda t
(
m_0+m_1s+m_2s^2+m_4s^4
)
}.
$$

因：

$$
1,s,s^2,s^4
$$

Q-linearly independent，distinct exponent vectors：

$$
m
$$

給 distinct real frequencies。

distinct exponentials linearly independent。

所以：

$$
c_m=0
$$

for all：

$$
m.
$$

矛盾。

因此：

$$
\boxed{
\overline{
\{p(t):t\in\mathbb C\}
}^{\mathrm{Zar}}
=
(\mathbb G_m)^4.
}
$$

在 local analytic interpretation下，只需任意 small interval of nonzero $t$ 已足夠 Zariski dense。

---

# 9. Exceptional fibers cannot recur infinitely along $1/Q$

假設：

$$
\Phi_M(p_Q)
\in
E_M
$$

for infinitely many：

$$
Q.
$$

因：

$$
E_M
$$

proper，存在 nonzero polynomial：

$$
H(U,V)
$$

vanishing on：

$$
E_M.
$$

則：

$$
h(t)
=
H(
R_1(p(t)),
R_2(p(t))
)
$$

在 punctured neighborhood of：

$$
0
$$

analytic，且 interpolation asymptotics使其 singularity at：

$$
t=0
$$

removable。

若：

$$
h(1/Q)=0
$$

infinitely often並累積於：

$$
0,
$$

identity theorem給：

$$
h(t)\equiv0.
$$

所以 rational function：

$$
H(R_1,R_2)
$$

vanishes on Zariski-dense BADT path。

故：

$$
H(R_1,R_2)\equiv0.
$$

但：

$$
R_1,R_2
$$

algebraically independent。

矛盾。

因此：

## Exceptional-Fiber Escape Lemma

$$
\boxed{
\Phi_M(p_Q)\in\Omega_M
}
$$

for all sufficiently large：

$$
Q.
$$

所以：

$$
\boxed{
\dim
\Phi_M^{-1}
(
\alpha_Q,\beta_Q
)
=
2
}
$$

eventually。

---

# 10. Uniform fiber degree

令：

$$
\Gamma_M
$$

為：

$$
\Phi_M
$$

graph的 projective / affine closure。

因：

$$
M
$$

fixed，

$$
\Gamma_M
$$

degree：

$$
\Delta_M
$$

為 fixed finite constant。

對：

$$
y\in\Omega_M,
$$

fiber：

$$
\Gamma_{M,y}
$$

是 graph與 target-coordinate linear slice的 intersection。

由 Bézout / degree monotonicity：

$$
\boxed{
\deg
\Gamma_{M,y}
\le
\Delta_M.
}
$$

將 fiber投影回 source torus並取 closure，只會得到 degree受到另一個只依 $M$ 的 constant控制。

所以存在：

$$
\boxed{
D_M^{\mathrm{fib}}
}
$$

使所有 good fibers的：

- dimension為 $2$；
- degree至多：
  $$
  D_M^{\mathrm{fib}}.
  $$

---

# 11. Algebraic-grid point bound

使用標準 degree–dimension Cartesian-grid bound：

若：

$$
V
\subset
\mathbb A^n
$$

為 dimension：

$$
d
$$

degree：

$$
\Delta
$$

的 algebraic set，

且：

$$
S
$$

為 finite subset of the ground field，

則：

$$
\boxed{
|V\cap S^n|
\le
C(n,\Delta)|S|^d.
}
$$

在 fixed：

$$
n=4,
$$

及 bounded：

$$
\Delta,
$$

只需記成：

$$
O_{\Delta}( |S|^d ).
$$

此 bound可由 Bézout + induction / variety Schwartz–Zippel證得。

取：

$$
S=\mu_Q,
$$

$$
|S|=Q.
$$

所以 good two-dimensional fiber的 torsion-grid points至多：

$$
\boxed{
C_MQ^2.
}
$$

---

# 12. Translation to collision fibers

定義：

$$
y_Q
=
(\alpha_Q,\beta_Q)
=
\Phi_M(p_Q).
$$

pair-value collision set：

$$
\mathcal C_Q
=
\{
\xi\in\mu_Q^4:
\Phi_M(\xi p_Q)
=
\Phi_M(p_Q)
\}.
$$

diagonal multiplication：

$$
\xi
\mapsto
\xi p_Q
$$

為 torus automorphism。

所以：

$$
\mathcal C_Q
$$

是 good fiber與 translated torsion grid的 intersection。

degree / dimension不變。

因此：

$$
\boxed{
|\mathcal C_Q|
\le
C_MQ^2
}
$$

for sufficiently large：

$$
Q.
$$

---

# 13. Combined Kummer rank

令：

$$
K_4
=
\mathbb Q(A,B,C,D).
$$

Round 29證：

$$
\langle A,B,C,D\rangle
$$

為 torsion-free rank-$4$ multiplicative subgroup。

Perucca–Sgobba theorem給 fixed：

$$
C_{\mathrm{Kum}}
$$

使：

$$
\boxed{
[
K_4(
\zeta_Q,
A_Q,B_Q,C_Q,D_Q
)
:
K_4(\zeta_Q)
]
\ge
\frac{
Q^4
}{
C_{\mathrm{Kum}}
}.
}
$$

---

# 14. Kummer Galois twists

令：

$$
L_Q
=
K_4(
\zeta_Q,
A_Q,B_Q,C_Q,D_Q
).
$$

extension：

$$
L_Q/K_4(\zeta_Q)
$$

為 Kummer Galois extension。

其 Galois group：

$$
G_Q
$$

injects into：

$$
\mu_Q^4
$$

by：

$$
(A_Q,B_Q,C_Q,D_Q)
\mapsto
(
\xi_1A_Q,
\xi_2B_Q,
\xi_3C_Q,
\xi_4D_Q
).
$$

且：

$$
\boxed{
|G_Q|
\ge
Q^4/C_{\mathrm{Kum}}.
}
$$

---

# 15. Stabilizer of the observable pair

Galois automorphism：

$$
\sigma_\xi
$$

fixes：

$$
(\alpha_Q,\beta_Q)
$$

iff：

$$
\Phi_M(\xi p_Q)
=
\Phi_M(p_Q).
$$

所以：

$$
\operatorname{Stab}_{G_Q}
(\alpha_Q,\beta_Q)
\subset
\mathcal C_Q.
$$

因此：

$$
\boxed{
|
\operatorname{Stab}_{G_Q}
(\alpha_Q,\beta_Q)
|
\le
C_MQ^2.
}
$$

---

# 16. Pair orbit size

orbit–stabilizer給：

$$
|
G_Q\cdot
(\alpha_Q,\beta_Q)
|
=
\frac{
|G_Q|
}{
|
\operatorname{Stab}_{G_Q}
(\alpha_Q,\beta_Q)
|
}.
$$

所以：

$$
\boxed{
|
G_Q\cdot
(\alpha_Q,\beta_Q)
|
\ge
\frac{
Q^4/C_{\mathrm{Kum}}
}{
C_MQ^2
}
=
c_MQ^2.
}
$$

---

# 17. Relative joint field degree

Galois orbit size就是：

$$
\boxed{
[
K_4(
\zeta_Q,
\alpha_Q,\beta_Q
)
:
K_4(\zeta_Q)
]
}
$$

所以：

$$
\boxed{
[
K_4(
\zeta_Q,
\alpha_Q,\beta_Q
)
:
K_4(\zeta_Q)
]
\ge
c_MQ^2.
}
$$

---

# 18. Absolute joint degree

令：

$$
E_Q
=
\mathbb Q(\alpha_Q,\beta_Q).
$$

則：

$$
K_4(\zeta_Q,E_Q)
=
K_4(\zeta_Q,\alpha_Q,\beta_Q).
$$

且一般 field compositum inequality給：

$$
[
K_4(\zeta_Q,E_Q)
:
K_4(\zeta_Q)
]
\le
[E_Q:\mathbb Q].
$$

因此：

## Two-Observable Joint-Degree Theorem

$$
\boxed{
[
\mathbb Q(\alpha_Q,\beta_Q)
:
\mathbb Q
]
\ge
c_MQ^2.
}
$$

for sufficiently large：

$$
Q.
$$

---

# 19. Why this is genuinely a second-layer gain

單獨第一層：

$$
\alpha_Q
$$

來自 rank-$3$ Kummer torus + one scalar observable：

$$
3-1=2
$$

fiber dimensions，

得到：

$$
\boxed{
\deg\alpha_Q
\gg Q.
}
$$

加入第二層：

$$
(\alpha_Q,\beta_Q)
$$

來自 rank-$4$ Kummer torus + two independent observables：

$$
4-2=2
$$

fiber dimensions，

得到：

$$
\boxed{
\deg(\alpha_Q,\beta_Q)
\gg Q^2.
}
$$

所以：

$$
\boxed{
\text{second layer contributes one full additional power of }Q
}
$$

to the rigorously visible element-level arithmetic complexity。

---

# 20. Fiber-dimension accounting principle

本輪 suggests a general pattern：

如果：

- multiplicative Kummer rank：
  $$
  r;
  $$
- number of algebraically independent scalar observables：
  $$
  k;
  $$
- good fibers：
  $$
  r-k
  $$
  dimensional；

then a bounded-degree Cartesian-grid argument自然給：

$$
\boxed{
\text{joint observable degree}
\gtrsim
Q^k.
}
$$

provided the flattening path eventually avoids exceptional fibers。

Round 30：

$$
(r,k)=(3,1)
\Rightarrow
Q.
$$

Round 31：

$$
(r,k)=(4,2)
\Rightarrow
Q^2.
$$

---

# 21. Why exceptional fibers mattered

如果 pair-value fiber dimension跳到：

$$
3,
$$

torsion-grid collisions可回到：

$$
O(Q^3),
$$

只會留下：

$$
\Omega(Q)
$$

joint orbit size。

所以不能只依 algebraic independence的 generic dimension heuristic。

本輪真正額外完成的是：

$$
\boxed{
\text{BADT flattening path eventually escapes the exceptional fiber locus}.
}
$$

這使：

$$
Q^2
$$

bound成為 theorem，而不是 generic heuristic。

---

# 22. Why the escape argument works unusually well here

關鍵是：

$$
p_Q=p(1/Q)
$$

不是任意 sequence。

它來自：

$$
p(t)
=
(
e^{\lambda t},
e^{s\lambda t},
e^{s^2\lambda t},
e^{s^4\lambda t}
).
$$

因：

$$
1,s,s^2,s^4
$$

Q-linearly independent，這條 analytic curve Zariski dense。

而：

$$
1/Q
$$

累積到：

$$
0.
$$

所以任何 fixed algebraic exceptional condition若命中 infinitely many $Q$，analytic identity theorem會將它升級成整條 exponential curve上的 identity，再由 Zariski density排除。

---

# 23. Relation to torsion-point counting literature

Schefer 2025 對 fixed torus subvarieties的 torsion points給一般 sharp growth upper bound，並對非 maximal torsion-coset情況得到 power saving。

Round 31 的方法不同：

- fibers隨：
  $$
  Q
  $$
  改變；
- 不需要 power saving；
- 只需 good fiber dimension：
  $$
  2
  $$
  與 uniform degree；
- 然後使用 generic algebraic-grid：
  $$
  O(Q^2)
  $$
  count。

因此它避開 Round 30 的 varying-fiber torsion-coset obstacle。

若未來想將：

$$
Q^2
$$

再提升，則仍需更細的 torsion-coset sparsity theory。

---

# 24. Pair approximation remains nonexact

Round 29 已證：

$$
\boxed{
|\beta_Q-\alpha_Q^2|
\asymp
Q^{-(M^2-1)}.
}
$$

所以即使：

$$
(\alpha_Q,\beta_Q)
$$

joint degree至少：

$$
Q^2,
$$

它們仍不是 exact parabola points：

$$
V=U^2.
$$

因此：

$$
\boxed{
\text{joint degree growth alone does not close BADT}.
}
$$

---

# 25. Height status

Round 28 的 interpolation-height argument同樣適用於第二層：

$$
h(\alpha_Q)=O_M(1),
$$

$$
h(\beta_Q)=O_M(1).
$$

所以：

$$
\boxed{
h(\alpha_Q,\beta_Q)=O_M(1)
}
$$

for fixed：

$$
M.
$$

因此我們現在有：

$$
\boxed{
\text{bounded height}
+
\text{joint degree }\Omega(Q^2)
+
\text{distance to parabola }Q^{-(M^2-1)}.
}
$$

這三個量同時出現。

---

# 26. A new arithmetic-geometric interface

定義 defect：

$$
\delta_Q
=
\beta_Q-\alpha_Q^2.
$$

則：

$$
\boxed{
|\delta_Q|
\asymp
Q^{-(M^2-1)}.
}
$$

且：

$$
h(\delta_Q)=O_M(1).
$$

但：

$$
\delta_Q
$$

的 individual algebraic degree目前未知。

pair joint degree：

$$
\Omega(Q^2)
$$

並不自動給：

$$
\deg\delta_Q
\gg Q^2.
$$

因 subtraction / squaring可能大幅增加 stabilizer。

因此新的 natural observable是：

$$
\boxed{
\Psi_M
=
R_M(X,Z,W)
-
R_M(X,Y,Z)^2.
}
$$

其 Kummer orbit / fiber geometry可單獨研究。

---

# 27. Defect-Degree Problem

Round 32 候選問題：

**Defect-Degree Problem（DDP）**

對：

$$
\delta_Q
=
\Psi_M(p_Q),
$$

能否證：

$$
\boxed{
[\mathbb Q(\delta_Q):\mathbb Q]
\gg
Q^\theta
}
$$

for some：

$$
\theta>1?
$$

scalar rank-$4$ observable的 generic fiber只會給：

$$
\theta=1.
$$

要超過 $1$ 必使用：

- special structure of $\Psi_M$；
- pair joint degree；
- relation between pair fiber與 defect fiber；
- torsion-coset sparsity。

---

# 28. Double-scaling alternative

另一條 Round 32 route 是不提高 defect degree，而讓 interpolation order：

$$
r=M^2-1
$$

隨：

$$
Q
$$

成長。

因：

$$
|\delta_Q|
\sim
Q^{-r},
$$

若可控制：

- height growth in $M$；
- degree upper growth in $Q,M$；
- leading constants；

則可能以 Liouville / norm lower bound與 high-order analytic approximation碰撞。

這需要從 fixed-$M$ regime進入：

$$
\boxed{
M=M(Q)
}
$$

的 double scaling。

---

# 29. Round 31 判定

**PASS — The two BADT interpolation slopes form algebraically independent observables; the flattening path eventually avoids exceptional higher-dimensional fibers; combined rank-4 Kummer theory yields quadratic joint-degree growth**

本輪完成：

1. 定義：
   $$
   \Phi_M(X,Y,Z,W)
   =
   (
   R_M(X,Y,Z),
   R_M(X,Z,W)
   ).
   $$

2. 使用 Round 30 的 genuine variable dependence建立 nonzero Jacobian minor。

3. 證兩 observables algebraically independent。

4. 得到 generic fiber dimension：
   $$
   2.
   $$

5. 定義 exceptional higher-dimensional target locus。

6. 證 BADT one-parameter flattening path Zariski dense in：
   $$
   (\mathbb G_m)^4.
   $$

7. 使用 analytic accumulation at：
   $$
   t=0
   $$
   排除 infinitely recurring exceptional fibers。

8. 得到 sufficiently large $Q$ 的 exact fiber dimension：
   $$
   2.
   $$

9. 建立 uniform fiber-degree bound。

10. 使用 algebraic-grid / variety Schwartz–Zippel bound：
    $$
    O_M(Q^2).
    $$

11. 套 Perucca–Sgobba rank-$4$ Kummer lower bound：
    $$
    \Omega(Q^4).
    $$

12. 用 orbit–stabilizer得到：
    $$
    \boxed{
    [
    K_4(\zeta_Q,\alpha_Q,\beta_Q)
    :
    K_4(\zeta_Q)
    ]
    \gg_M
    Q^2.
    }
    $$

13. 推得 absolute：
    $$
    \boxed{
    [
    \mathbb Q(\alpha_Q,\beta_Q)
    :
    \mathbb Q
    ]
    \gg_M
    Q^2.
    }
    $$

14. 建立 Kummer rank / observable count的 fiber-dimension accounting principle。

15. 識別第二層第一次 rigorous element-level gain：
    $$
    Q\to Q^2.
    $$

16. 定位下一個 defect-degree / double-scaling問題。

---

# 30. Round 32 正式入口

Round 32 建議同時評估兩條線，最後保留較強者。

## R32-A：Defect observable Kummer orbit

研究：

$$
\Psi_M(X,Y,Z,W)
=
R_M(X,Z,W)
-
R_M(X,Y,Z)^2.
$$

先分析：

- toric stabilizer；
- generic fiber；
- special factorization；
- torsion-grid collision count。

若 defect fibers異常 sparse，可提高：

$$
\deg\delta_Q.
$$

---

## R32-B：Joint-to-defect descent

已知：

$$
\deg(\alpha_Q,\beta_Q)\gg Q^2.
$$

研究 extension tower：

$$
\mathbb Q(\delta_Q)
\subset
\mathbb Q(\alpha_Q,\beta_Q),
$$

其中：

$$
\beta_Q
=
\alpha_Q^2+\delta_Q.
$$

所以：

$$
\mathbb Q(\alpha_Q,\beta_Q)
=
\mathbb Q(\alpha_Q,\delta_Q).
$$

若能 upper-bound：

$$
[
\mathbb Q(\alpha_Q,\delta_Q)
:
\mathbb Q(\delta_Q)
]
$$

by：

$$
O(Q^\rho)
$$

with：

$$
\rho<2,
$$

即可將部分 joint degree傳給 defect。

---

## R32-C：Double scaling

令：

$$
M=M(Q)\to\infty.
$$

平衡：

$$
|\delta_Q|
\approx
Q^{-M^2}
$$

against algebraic lower bounds depending on：

- degree；
- height；
- $M$。

目標找是否存在一個 growth window：

$$
M(Q)
$$

使 analytic decay壓過 arithmetic complexity。

---

# 31. 一句話結論

> **Round 31 證明第二層確實第一次提供了可量化的 element-level arithmetic gain。Universal interpolation slopes $R_M(X,Y,Z)$ 與 $R_M(X,Z,W)$ algebraically independent，因此 pair map的 generic fiber為二維；BADT rational-flattening path又因 $1,s,s^2,s^4$ 的線性獨立而 Zariski dense，所以只能命中 higher-dimensional exceptional fibers有限多次。對 large $Q$，pair collision fiber是 bounded-degree二維 variety，在 $\mu_Q^4$ 上只有 $O(Q^2)$ points，而 combined Kummer orbit有 $\Omega(Q^4)$ twists。故 $(\alpha_Q,\beta_Q)$ 的 joint algebraic degree至少為 $\Omega(Q^2)$。**

現在的狀態：

$$
\boxed{
h(\alpha_Q),h(\beta_Q)=O_M(1),
}
$$

$$
\boxed{
\deg(\alpha_Q,\beta_Q)\gg_M Q^2,
}
$$

$$
\boxed{
|\beta_Q-\alpha_Q^2|
\asymp
Q^{-(M^2-1)}.
}
$$

下一輪真正要問的是：這個 $Q^2$ joint complexity能不能傳給極小 defect，或讓 $M$ 隨 $Q$ 成長後與 algebraic lower bounds發生 collision。

---

# 參考資料

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.  
   Their main theorem states that for a torsion-free rank-$r$ subgroup $G\subset K^\times$,
   $$
   \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.

3. Standard generic-fiber dimension theorem and generic flatness for dominant morphisms of algebraic varieties.

4. Standard Bézout degree inequalities and degree–dimension Cartesian-grid bounds / variety Schwartz–Zippel estimates.

5. Gerold Schefer, **Counting torsion points on subvarieties of the algebraic torus**, *Acta Arithmetica* 218 (2025), 297–336.  
   DOI: 10.4064/aa221025-14-1.  
   Provides sharp torsion-point growth bounds for fixed torus subvarieties and power-saving bounds away from maximal torsion-coset behavior.

---

**ACTM Round 31 完**