# ACTM Round 28
## Extremal Interpolation Approximate Jet、Uniform Height 與 Algebraic Degree Escape
### Extremal Interpolation Approximate Jets, Uniform Height, and Algebraic Degree Escape

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-03  
**版本：** Round 28 / v0.1  
**文件性質：** 正式研究筆記／approximate-one-jet round  
**狀態聲明：** 本輪不宣稱 One-Jet Bridge 已完成，也不宣稱 real BADT$_2$ 不可能。本輪證明：Round 25 extremal interpolation polynomial在 rational flattening下自動產生一個高階 approximate one-jet，其誤差具有 exact nonzero asymptotic；同時該 jet approximant的 Weil height在 fixed grid size下可 uniform bounded，但 algebraic degree必逃向 infinity。Waldschmidt 1978 的 quotient-of-logarithms transcendence measure進一步給出 effective degree-escape lower bound。這精確定位出 AOJBP 的新瓶頸：arithmetic degree control，而非 analytic approximation order。

---

## 摘要

固定 real BADT / Type-P first layer：

$$
A=e^\lambda,
\qquad
B=e^{s\lambda},
\qquad
C=e^{s^2\lambda},
$$

其中：

$$
A,B,C\in\overline{\mathbb Q}_{>0},
$$

$$
\lambda=\log A\neq0,
$$

$$
s=\frac{\log B}{\log A}
$$

transcendental。

固定：

$$
M\ge2,
$$

並令：

$$
L=M^2.
$$

Round 25 對 first-layer $L$-point grid的 extremal vanishing polynomial使用 triangular support：

$$
\{(0,0),(1,0),\ldots,(L-1,0),(0,1)\}.
$$

現在取 rational flattening：

$$
\rho_Q=\frac1Q,
\qquad
Q\in\mathbb Z_{\ge1},
$$

及：

$$
\mu_Q=\frac{\lambda}{Q}.
$$

選 positive real algebraic roots：

$$
A_Q=A^{1/Q},
$$

$$
B_Q=B^{1/Q},
$$

$$
C_Q=C^{1/Q}.
$$

對：

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

定義：

$$
r_{a,b}=a+bs,
$$

$$
x_{a,b}^{(Q)}
=
A_Q^aB_Q^b
=
e^{\mu_Qr_{a,b}},
$$

$$
y_{a,b}^{(Q)}
=
B_Q^aC_Q^b
=
e^{\mu_Qs r_{a,b}}.
$$

因：

$$
y_{a,b}^{(Q)}
=
\left(
x_{a,b}^{(Q)}
\right)^s
$$

在 positive real branch上成立，Round 25 extremal polynomial可唯一 normalize 成：

$$
\boxed{
P_Q(T_1,T_2)
=
T_2-H_Q(T_1),
}
$$

其中：

$$
\deg H_Q\le L-1
$$

且：

$$
\boxed{
H_Q
\left(
x_{a,b}^{(Q)}
\right)
=
\left(
x_{a,b}^{(Q)}
\right)^s.
}
$$

所以：

$$
H_Q
$$

就是函數：

$$
f(x)=x^s
$$

在 $L$ 個 algebraic nodes上的 interpolation polynomial。

因：

$$
(a,b)=(0,0)
$$

給：

$$
x_{0,0}=1,
$$

$$
H_Q(1)=1.
$$

first-layer logarithmic derivative：

$$
\mathcal D_s
=
\Theta_1+s\Theta_2
$$

在：

$$
(1,1)
$$

給：

$$
\boxed{
J_Q
:=
(\mathcal D_sP_Q)(1,1)
=
s-H_Q'(1).
}
$$

因此 approximate One-Jet Bridge被化成：

$$
\boxed{
\text{polynomial interpolation derivative approximation to }f'(1)=s.
}
$$

---

本輪第一主定理：

## Exact Approximate-Jet Order Theorem

令：

$$
(s)_{\underline L}
=
s(s-1)\cdots(s-L+1).
$$

則：

$$
\boxed{
J_Q
=
c_{M,s,\lambda}
Q^{-(L-1)}
+
O(Q^{-L}),
}
$$

其中：

$$
\boxed{
c_{M,s,\lambda}
=
(-1)^{L-1}
\frac{
(s)_{\underline L}
}{
L!
}
\lambda^{L-1}
\prod_{
\substack{
0\le a,b<M\\
(a,b)\neq(0,0)
}
}
(a+bs).
}
$$

而：

$$
\boxed{
c_{M,s,\lambda}\neq0.
}
$$

原因：

- $s$ transcendental，所以：
  $$
  (s)_{\underline L}\neq0;
  $$
- $a+bs\neq0$ 對任何 nonzero integer pair：
  $$
  (a,b).
  $$

因此：

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

若：

$$
M=2N,
$$

則：

$$
\boxed{
|J_Q|
\asymp
Q^{-(4N^2-1)}.
}
$$

所以 rational flattening確實製造一個極高階 approximate jet，而且階數精確不是只給 upper bound。

---

第二主結果研究 arithmetic complexity。

令：

$$
K
=
\mathbb Q(A,B,C),
$$

$$
d_0=[K:\mathbb Q],
$$

以及：

$$
K_Q
=
K(A_Q,B_Q,C_Q).
$$

因每個：

$$
A_Q,B_Q,C_Q
$$

分別滿足 degree-$Q$ polynomial：

$$
X^Q-A,
\quad
X^Q-B,
\quad
X^Q-C,
$$

所以：

$$
\boxed{
[K_Q:\mathbb Q]
\le
d_0Q^3.
}
$$

由 algebraic interpolation：

$$
H_Q\in K_Q[T].
$$

因此：

$$
\boxed{
\alpha_Q
:=
H_Q'(1)
\in K_Q.
}
$$

也就是：

$$
\boxed{
J_Q=s-\alpha_Q,
\qquad
\alpha_Q\in\overline{\mathbb Q}.
}
$$

---

## Uniform Height Theorem

對 fixed：

$$
M,A,B,C,
$$

存在 constant：

$$
C_{\mathrm{ht}}
$$

使：

$$
\boxed{
h(\alpha_Q)
\le
C_{\mathrm{ht}}
\qquad
\forall Q\ge1.
}
$$

證明只用標準 absolute logarithmic Weil height inequalities：

$$
h(xy)\le h(x)+h(y),
$$

$$
h(x^{-1})=h(x),
$$

$$
h(x-y)\le h(x)+h(y)+\log2.
$$

因：

$$
h(A_Q)=\frac{h(A)}Q,
$$

以及 analogously for $B_Q,C_Q$，

所有 interpolation nodes / values的 heights均 uniform bounded。

Lagrange derivative coefficients只由有限數量：

- nodes；
- node differences；
- inverses of differences；
- finite sums / products；

組成。

而 $L=M^2$ fixed。

所以其 heights亦有 uniform bound。

因此：

$$
\boxed{
\alpha_Q
\text{ approaches }s
\text{ at high analytic order while its Weil height stays bounded}.
}
$$

---

這產生第三個核心結果。

## Algebraic Degree Escape Theorem

由 Exact Approximate-Jet Order：

$$
\alpha_Q\to s.
$$

且：

$$
s
$$

transcendental。

若：

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

沿 infinite subsequence bounded，

則：

- degree bounded；
- Weil height由 Uniform Height Theorem bounded。

Northcott theorem說 bounded degree + bounded height的 algebraic numbers只有有限多個。

所以：

$$
\alpha_Q
$$

沿該 subsequence只能取 finitely many values。

但：

$$
\alpha_Q\to s
$$

且：

$$
s
$$

不是 algebraic。

矛盾。

所以：

$$
\boxed{
[\mathbb Q(\alpha_Q):\mathbb Q]
\longrightarrow
\infty.
}
$$

換句話說：

$$
\boxed{
\text{rational flattening把 approximate-jet complexity從 height轉移到 algebraic degree。}
}
$$

---

本輪再用 Waldschmidt 1978 的 classical transcendence measure量化這個 degree escape。

Waldschmidt考慮：

$$
\omega
=
\frac{
\log\alpha_1
}{
\log\alpha_2
}
$$

其中：

$$
\alpha_1,\alpha_2
$$

為 nonzero algebraic numbers且 logarithm quotient irrational。

他的 Corollary 4.5 給：

$$
\boxed{
2C_{21}
n^3
(\Log H+n\Log n)
(1+\Log n)^{-2}
}
$$

作為：

$$
\omega
$$

的 transcendence measure。

我們正好取：

$$
\omega=s,
$$

$$
\alpha_1=B,
$$

$$
\alpha_2=A.
$$

---

令：

$$
d_Q
=
[\mathbb Q(\alpha_Q):\mathbb Q].
$$

取：

$$
F_Q(T)\in\mathbb Z[T]
$$

為：

$$
\alpha_Q
$$

的 primitive minimal polynomial。

Uniform Height Theorem給：

$$
h(\alpha_Q)\le C_{\mathrm{ht}}.
$$

標準 Mahler-measure / coefficient-height inequality因此給 effective：

$$
\boxed{
\log H(F_Q)
\le
C_0d_Q
}
$$

for some fixed：

$$
C_0=C_0(M,A,B,C).
$$

Waldschmidt measure於是給：

$$
\boxed{
\log|F_Q(s)|
>
-
C_1
d_Q^4
}
$$

作為一個足夠本輪使用的粗化版本，其中：

$$
C_1
$$

effective且只依：

$$
M,A,B,C.
$$

更精細地可保留：

$$
(1+\Log d_Q)^{-1}
$$

型 gain；本輪不需要。

---

另一方面：

$$
F_Q(T)
=
a
\prod_{i=1}^{d_Q}
(T-\alpha_{Q,i}),
$$

其中某一 conjugate：

$$
\alpha_{Q,1}=\alpha_Q.
$$

由 Mahler measure與：

$$
|s-\alpha_{Q,i}|
\le
2(1+|s|)
\max(1,|\alpha_{Q,i}|),
$$

得到：

$$
\boxed{
\log|F_Q(s)|
\le
\log|s-\alpha_Q|
+
C_2d_Q
}
$$

for fixed：

$$
C_2.
$$

Exact Approximate-Jet Order給：

$$
\log|s-\alpha_Q|
=
-(L-1)\log Q
+
O(1).
$$

所以 consistency迫使：

$$
(L-1)\log Q
\le
C_1d_Q^4
+
C_2d_Q
+
O(1).
$$

因此：

## Effective Degree-Escape Corollary

存在：

$$
c>0,
$$

及：

$$
Q_0,
$$

使：

$$
\boxed{
d_Q
\ge
c
(\log Q)^{1/4}
\qquad
(Q\ge Q_0).
}
$$

這個 exponent不是宣稱 optimal；它只是直接由 Waldschmidt 1978 measure得到的方便 effective form。

---

另一方面已有簡單 field upper bound：

$$
\boxed{
d_Q
\le
d_0Q^3.
}
$$

所以目前 quantitative information是：

$$
\boxed{
c(\log Q)^{1/4}
\lesssim
d_Q
\lesssim
d_0Q^3.
}
$$

這沒有矛盾。

---

因此本輪給 AOJBP 一個精確 diagnosis：

## Arithmetic-Degree Compensation Barrier

analytic side：

$$
\boxed{
|J_Q|
\asymp
Q^{-(L-1)}.
}
$$

height side：

$$
\boxed{
h(\alpha_Q)=O(1).
}
$$

degree side：

$$
\boxed{
d_Q\to\infty.
}
$$

也就是：

> flattening得到的高階 approximate jet不是免費的；它以 algebraic degree escape為代價。

off-the-shelf quotient-of-logarithms transcendence measure只能把這個代價量化，尚不能把：

$$
J_Q\neq0
$$

逼成：

$$
J_Q=0.
$$

---

這也解釋了為什麼直接 AOJBP exactification沒有像 Round 22 ASRP 那麼快閉合。

Round 22 的 barycentric rational functions：

$$
f(T)
$$

由 integer support直接產生，其 degree / height受 support geometry控制。

Round 28 的 jet approximant：

$$
\alpha_Q
$$

則位於隨：

$$
Q
$$

改變的 radical field：

$$
K_Q.
$$

analytic error越小，

arithmetic degree越高。

因此新的真正瓶頸是：

$$
\boxed{
\text{Can second-layer BADT data produce an approximate jet in a field of controlled degree?}
}
$$

而不是：

$$
\boxed{
\text{Can first-layer interpolation produce a small jet?}
}
$$

後者本輪已完全證明可以。

---

# 1. Extremal interpolation form

Round 25 extremal support：

$$
\{(j,0):0\le j\le L-1\}
\cup
\{(0,1)\}.
$$

normalize coefficient of：

$$
T_2
$$

to：

$$
1.
$$

所以：

$$
P_Q(T_1,T_2)
=
T_2-H_Q(T_1).
$$

evaluation conditions即：

$$
H_Q(x_{a,b})=y_{a,b}.
$$

---

# 2. Interpolated function is exactly $x^s$

positive real branch上：

$$
x_{a,b}
=
e^{\mu_Qr_{a,b}},
$$

所以：

$$
x_{a,b}^s
=
e^{\mu_Qs r_{a,b}}
=
y_{a,b}.
$$

因此：

$$
H_Q
$$

是：

$$
f(x)=x^s
$$

的 ordinary Lagrange interpolation polynomial。

---

# 3. One-jet formula

$$
P_Q(1,1)=0.
$$

而：

$$
\Theta_1P_Q(1,1)
=
-H_Q'(1),
$$

$$
\Theta_2P_Q(1,1)
=
1.
$$

所以：

$$
\boxed{
(\mathcal D_sP_Q)(1,1)
=
s-H_Q'(1).
}
$$

---

# 4. Exact derivative remainder

令：

$$
x_0=1
$$

及其餘 interpolation nodes：

$$
x_1,\ldots,x_{L-1}.
$$

standard divided-difference remainder：

$$
f(x)-H_Q(x)
=
f[x_0,\ldots,x_{L-1},x]
\prod_{i=0}^{L-1}
(x-x_i).
$$

在：

$$
x=x_0
$$

微分：

$$
\boxed{
f'(1)-H_Q'(1)
=
f[1,1,x_1,\ldots,x_{L-1}]
\prod_{i=1}^{L-1}
(1-x_i).
}
$$

---

# 5. Flat divided-difference limit

當：

$$
Q\to\infty,
$$

所有：

$$
x_i\to1.
$$

所以 repeated-node divided difference：

$$
f[1,1,x_1,\ldots,x_{L-1}]
\longrightarrow
\frac{
f^{(L)}(1)
}{
L!
}.
$$

而：

$$
f^{(L)}(1)
=
(s)_{\underline L}.
$$

---

# 6. Node product asymptotic

對：

$$
x_i=e^{\lambda r_i/Q},
$$

有：

$$
1-x_i
=
-\frac{\lambda r_i}{Q}
+
O(Q^{-2}).
$$

所以：

$$
\prod_{i=1}^{L-1}
(1-x_i)
=
(-1)^{L-1}
\lambda^{L-1}
Q^{-(L-1)}
\prod_{i=1}^{L-1}r_i
+
O(Q^{-L}).
$$

---

# 7. Exact approximate-jet asymptotic

合併：

$$
\boxed{
s-H_Q'(1)
=
(-1)^{L-1}
\frac{
(s)_{\underline L}
}{
L!
}
\lambda^{L-1}
\left(
\prod_{i=1}^{L-1}r_i
\right)
Q^{-(L-1)}
+
O(Q^{-L}).
}
$$

---

# 8. Nonzero leading constant

$$
s
$$

transcendental，所以：

$$
s\notin
\{0,1,\ldots,L-1\}.
$$

因此：

$$
(s)_{\underline L}\neq0.
$$

每個：

$$
r_i=a+bs
$$

with：

$$
(a,b)\neq(0,0)
$$

亦 nonzero。

所以 leading constant非零。

---

# 9. Uniform two-sided order

因此存在：

$$
c_-,c_+>0,
$$

$$
Q_1
$$

使：

$$
\boxed{
c_-Q^{-(L-1)}
\le
|s-\alpha_Q|
\le
c_+Q^{-(L-1)}
}
$$

for：

$$
Q\ge Q_1.
$$

---

# 10. Algebraic field of the approximant

$$
x_{a,b}
=
A_Q^aB_Q^b,
$$

$$
y_{a,b}
=
B_Q^aC_Q^b.
$$

Lagrange interpolation使用 field operations。

所以：

$$
H_Q\in K_Q[T],
$$

$$
\alpha_Q=H_Q'(1)\in K_Q.
$$

---

# 11. Degree upper bound

$$
[K(A_Q):K]\le Q,
$$

$$
[K(A_Q,B_Q):K(A_Q)]\le Q,
$$

$$
[K_Q:K(A_Q,B_Q)]\le Q.
$$

所以：

$$
\boxed{
[K_Q:\mathbb Q]
\le
d_0Q^3.
}
$$

---

# 12. Node height bounds

令：

$$
H_X
=
(M-1)(h(A)+h(B)),
$$

$$
H_Y
=
(M-1)(h(B)+h(C)).
$$

則：

$$
h(x_{a,b})
\le
\frac{H_X}{Q},
$$

$$
h(y_{a,b})
\le
\frac{H_Y}{Q}.
$$

---

# 13. Difference height bounds

標準 inequality：

$$
h(x-y)
\le
h(x)+h(y)+\log2
$$

給：

$$
h(x_i-x_j)
\le
\frac{2H_X}{Q}
+
\log2.
$$

同理：

$$
h(1-x_j)
\le
\frac{H_X}{Q}
+
\log2.
$$

inversion不改 height。

---

# 14. Lagrange derivative heights

對：

$$
i\neq0,
$$

$$
\ell_i'(1)
=
\frac{
\prod_{j\neq i,0}
(1-x_j)
}{
(x_i-1)
\prod_{j\neq i,0}
(x_i-x_j)
}.
$$

因此：

$$
h(\ell_i'(1))
$$

由：

$$
O_M(1)
$$

個 uniformly bounded-height differences / inverses組成。

對：

$$
i=0,
$$

$$
\ell_0'(1)
=
\sum_{j\neq0}
\frac1{1-x_j},
$$

同樣為 fixed-length sum。

所以：

$$
\boxed{
h(\ell_i'(1))
\le
C_{\ell}
}
$$

uniformly in：

$$
Q.
$$

---

# 15. Uniform height of $\alpha_Q$

$$
\alpha_Q
=
\sum_i
y_i\ell_i'(1).
$$

固定：

$$
L=M^2.
$$

所以 finite sum height inequality給：

$$
\boxed{
h(\alpha_Q)
\le
C_{\mathrm{ht}}
}
$$

uniformly in：

$$
Q.
$$

---

# 16. Northcott degree escape

若存在：

$$
D
$$

及 infinite：

$$
Q_\nu
$$

使：

$$
[\mathbb Q(\alpha_{Q_\nu}):\mathbb Q]
\le D,
$$

則：

- degree bounded；
- height bounded。

Northcott theorem說此集合 finite。

所以：

$$
\alpha_{Q_\nu}
$$

有 constant subsequence。

但：

$$
\alpha_Q\to s
$$

且：

$$
s
$$

transcendental。

矛盾。

故：

$$
\boxed{
\deg_{\mathbb Q}\alpha_Q\to\infty.
}
$$

---

# 17. Waldschmidt quotient-of-logs measure

Waldschmidt 1978, Theorem 4.4 / Corollary 4.5考慮：

$$
\omega
=
\frac{
\log\alpha_1
}{
\log\alpha_2
}.
$$

對：

$$
\omega=s=\log B/\log A,
$$

他給出 explicit approximation / transcendence measure of order：

$$
\boxed{
C_s
n^3
(\Log H+n\Log n)
(1+\Log n)^{-2}.
}
$$

---

# 18. Minimal-polynomial height

令：

$$
F_Q
$$

為：

$$
\alpha_Q
$$

的 primitive minimal polynomial，degree：

$$
d_Q.
$$

uniform Weil height：

$$
h(\alpha_Q)\le C_{\mathrm{ht}}
$$

給：

$$
M(F_Q)
=
e^{d_Qh(\alpha_Q)}
\le
e^{C_{\mathrm{ht}}d_Q}.
$$

standard coefficient/Mahler bound給：

$$
H(F_Q)
\le
2^{d_Q}M(F_Q).
$$

所以：

$$
\boxed{
\log H(F_Q)
\le
(C_{\mathrm{ht}}+\log2)d_Q.
}
$$

---

# 19. Waldschmidt lower bound

套 Corollary 4.5：

$$
\boxed{
\log|F_Q(s)|
>
-
C_1d_Q^4
}
$$

取一個稍弱但簡潔的 effective form。

---

# 20. Upper bound through the close conjugate

因：

$$
F_Q(s)
=
a
(s-\alpha_Q)
\prod_{i\neq1}
(s-\alpha_{Q,i}),
$$

而：

$$
|s-\alpha_{Q,i}|
\le
2(1+|s|)
\max(1,|\alpha_{Q,i}|),
$$

所以：

$$
|F_Q(s)|
\le
|s-\alpha_Q|
[2(1+|s|)]^{d_Q}
M(F_Q).
$$

因此：

$$
\boxed{
\log|F_Q(s)|
\le
\log|s-\alpha_Q|
+
C_2d_Q.
}
$$

---

# 21. Effective degree escape

由：

$$
|s-\alpha_Q|
\le
c_+Q^{-(L-1)},
$$

得：

$$
-(L-1)\log Q
+
O(1)
+
C_2d_Q
>
-
C_1d_Q^4.
$$

所以對 large：

$$
Q,
$$

$$
\boxed{
d_Q
\ge
c(\log Q)^{1/4}.
}
$$

---

# 22. Why this does not close AOJBP

field construction只給：

$$
d_Q\le d_0Q^3.
$$

所以：

$$
c(\log Q)^{1/4}
\le
d_Q
\le
d_0Q^3
$$

有巨大空間。

Waldschmidt measure因此完全容許：

$$
|s-\alpha_Q|
\asymp
Q^{-(L-1)}.
$$

沒有迫使 exact equality：

$$
\alpha_Q=s.
$$

---

# 23. Arithmetic-Degree Compensation Barrier

Round 28因此得到：

$$
\boxed{
\text{analytic approximation order}
\leftrightarrow
\text{algebraic degree growth}.
}
$$

flattening讓：

$$
J_Q
$$

高階變小，

但 approximant離開所有 bounded-degree algebraic sets。

---

# 24. Second-layer status

本輪 construction其實只使用：

$$
A,B,C.
$$

它證明 first layer alone已經能產生 approximate jet。

所以 BADT 第二層若要真正完成 OJBP，必須提供的不是：

$$
\boxed{
\text{better analytic Taylor order}
}
$$

而應是：

$$
\boxed{
\text{better arithmetic degree control}
}
$$

或：

$$
\boxed{
\text{a fixed-field / bounded-degree approximation}.
}
$$

---

# 25. Fixed-Field Approximate Jet Problem

本輪提出：

**Fixed-Field Approximate Jet Problem（FFAJ）**

能否利用：

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

與 nested BADT structure，構造 algebraic：

$$
\widetilde\alpha_Q
$$

使：

$$
|\widetilde\alpha_Q-s|
$$

具有 comparable high-order decay，

但：

$$
[\mathbb Q(\widetilde\alpha_Q):\mathbb Q]
$$

保持 bounded，或至少遠小於 rational-root field：

$$
Q^3?
$$

若 bounded degree + bounded height成立，Northcott本身就會與 convergence to transcendental $s$矛盾。

所以 FFAJ 比直接 Baker exactification更窄。

---

# 26. A Northcott-level target

理想上只需：

$$
\boxed{
\sup_Q
h(\widetilde\alpha_Q)<\infty,
}
$$

以及：

$$
\boxed{
\sup_Q
[\mathbb Q(\widetilde\alpha_Q):\mathbb Q]
<\infty.
}
$$

再加：

$$
\widetilde\alpha_Q\to s.
$$

便直接 contradiction。

甚至不需要 explicit linear-form lower bound。

---

# 27. Relation to second-layer elimination barriers

Round 25 已證：

- coefficient enrichment alone沒用；
- finite torus elimination沒用。

所以 FFAJ若存在，不會來自普通 algebraic trace/resultant。

它必須在 logarithmic information還存在時，產生 degree compression。

因此新 bridge可描述為：

$$
\boxed{
\text{logarithmic relation}
\Longrightarrow
\text{arithmetic degree compression of approximate tangent}.
}
$$

---

# 28. Round 28 判定

**PASS — Rational flattening produces an exact high-order approximate one-jet; its height stays uniformly bounded, while its algebraic degree necessarily escapes**

本輪完成：

1. 將 Round 25 extremal polynomial normalize成：
   $$
   P_Q=T_2-H_Q(T_1).
   $$

2. 識別：
   $$
   H_Q
   $$
   為 $x^s$ 的 algebraic-node interpolation polynomial。

3. 得到：
   $$
   J_Q=s-H_Q'(1).
   $$

4. 建立 exact divided-difference derivative remainder。

5. 推導 nonzero leading asymptotic：
   $$
   J_Q
   =
   cQ^{-(L-1)}
   +
   O(Q^{-L}).
   $$

6. 得到：
   $$
   |J_Q|
   \asymp
   Q^{-(M^2-1)}.
   $$

7. 證：
   $$
   \alpha_Q=H_Q'(1)
   $$
   algebraic。

8. 建立 radical-field degree upper bound：
   $$
   \le d_0Q^3.
   $$

9. 建立 uniform node / difference height bounds。

10. 證：
    $$
    h(\alpha_Q)\le C_{\mathrm{ht}}
    $$
    independent of $Q$。

11. 由 Northcott證：
    $$
    \deg\alpha_Q\to\infty.
    $$

12. 套 Waldschmidt 1978 quotient-of-logs transcendence measure。

13. 得到 crude effective：
    $$
    \deg\alpha_Q
    \gg
    (\log Q)^{1/4}.
    $$

14. 識別 Arithmetic-Degree Compensation Barrier。

15. 說明 first layer已解 analytic approximation問題，second layer真正需要解 arithmetic degree control。

16. 提出 Fixed-Field Approximate Jet Problem（FFAJ）。

---

# 29. Round 29 正式入口

Round 29 不再試圖提高：

$$
Q^{-(4N^2-1)}
$$

的 approximation order。

真正要研究：

$$
\boxed{
\text{Can BADT second layer compress the algebraic degree of the approximate tangent?}
}
$$

優先三條。

## R29-A：Trace / norm descent

研究：

$$
\alpha_Q=H_Q'(1)
$$

在：

$$
K_Q/K
$$

的 traces / symmetric functions。

檢查：

- trace normalization是否仍近似：
  $$
  s;
  $$
- Galois conjugates是否因 root-of-unity twists造成 cancellation；
- 是否存在 bounded-degree symmetric approximation。

---

## R29-B：Two-layer tangent approximants

同時建立：

$$
\alpha_Q\approx s,
$$

以及 second-layer：

$$
\beta_Q\approx s^2.
$$

研究：

$$
\beta_Q-\alpha_Q^2
$$

的 algebraic degree / height。

若 nested structure能將其強迫為 exact zero，再檢查是否能反向降低 $\alpha_Q$ degree。

---

## R29-C：Kummer degree accounting

利用：

$$
A,B,C
$$

multiplicatively independent，

研究：

$$
[K(A^{1/Q},B^{1/Q},C^{1/Q}):K]
$$

的實際 growth。

如果 degree幾乎為：

$$
Q^3,
$$

就證明 first-layer interpolation route intrinsically帶有巨大 arithmetic-degree cost，而非我們估計鬆掉。

---

# 30. 一句話結論

> **Round 28 證明 first layer其實已經非常會製造 approximate jet：Round 25 extremal interpolation polynomial的 tangent slope以精確階 $Q^{-(4N^2-1)}$ 收斂到 transcendental slope $s$。更反直覺的是，這些 algebraic tangent approximants的 Weil height可保持 uniform bounded。唯一被迫爆炸的是 algebraic degree。Northcott與 Waldschmidt measure都看見了這個 degree escape，但現成 lower bounds還不足以把 approximate jet逼成 exact jet。**

所以新的真正 bottleneck：

$$
\boxed{
\text{Approximate Jet}
\text{ 已有；}
\quad
\text{Degree Compression}
\text{ 未有。}
}
$$

Round 29 將直接研究第二層能否提供 degree compression。

---

# 參考資料

1. Michel Waldschmidt, **Transcendence measures for exponentials and logarithms**, *Journal of the Australian Mathematical Society, Series A* 25 (1978), 445–465.  
   Theorem 4.4 and Corollary 4.5 give approximation and transcendence measures for:
   $$
   \frac{\log\alpha_1}{\log\alpha_2}.
   $$
   PDF: https://webusers.imj-prg.fr/~michel.waldschmidt/articles/pdf/JAustralMS25-1978-445-465.pdf

2. D. G. Northcott, classical finiteness theorem: algebraic numbers of bounded degree and bounded absolute Weil height form a finite set.

3. Standard Lagrange / Hermite divided-difference interpolation remainder formulas.

4. Standard absolute logarithmic Weil height inequalities:
   $$
   h(\alpha\beta)\le h(\alpha)+h(\beta),
   $$
   $$
   h(\alpha\pm\beta)
   \le
   h(\alpha)+h(\beta)+\log2.
   $$

5. Michel Waldschmidt, **Diophantine Approximation on Linear Algebraic Groups**, Springer, 2000.  
   Contains linear-independence measures for logarithms, zero estimates, multiplicity estimates, and the Linear Subgroup Theorem.

---

**ACTM Round 28 完**