# ACTM Round 32
## Nested Newton Amplification、Trdeg-1 Approximation Trap 與 Transcendence-Dimension Retention
### Nested Newton Amplification, the Trdeg-1 Approximation Trap, and Transcendence-Dimension Retention

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-03  
**版本：** Round 32 / v0.1  
**文件性質：** 正式研究筆記／Newton amplification and transcendence-dimension diagnosis round  
**狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱新 algebraic-independence measure。主要成果有三項：第一，BADT second layer可透過 Newton symmetrization將 first-layer approximate jet 的 approximation order反覆平方；第二，這產生 arbitrary fixed-power、bounded-height、高-degree algebraic approximants to $s$；第三，Roy–Waldschmidt 1997 顯示此類 high-degree bounded-height approximation本身屬於 transcendence-degree-$1$ 世界的已知現象，因此任何只保留 $s,s^2,\ldots$ 的 route都會失去 BADT 真正的 trdeg-$2$ content。最後本輪建立 simultaneous approximants to $(\lambda,s)$，將下一個真正 barrier定位成 trdeg-$2$ simultaneous approximation / algebraic-independence measure。

---

## 摘要

固定 hypothetical real Type-P / BADT data：

$$
A=e^\lambda,
\qquad
B=e^{s\lambda},
\qquad
C=e^{s^2\lambda},
\qquad
D=e^{s^4\lambda}
\in
\overline{\mathbb Q}_{>0}.
$$

其中：

$$
\lambda\neq0,
$$

$$
s
\text{ transcendental}.
$$

Round 28 對 fixed grid size：

$$
M\ge2
$$

及：

$$
r_M=M^2-1
$$

構造 first-layer interpolation slope：

$$
\alpha_{M,Q}
$$

使：

$$
\boxed{
s-\alpha_{M,Q}
=
c_M(s)Q^{-r_M}
+
O(Q^{-r_M-1}),
}
$$

其中：

$$
c_M(s)\neq0.
$$

同理 second layer對任意：

$$
M'\ge2
$$

構造：

$$
\beta_{M',Q}
$$

使：

$$
\boxed{
s^2-\beta_{M',Q}
=
c_{M'}(s^2)Q^{-r_{M'}}
+
O(Q^{-r_{M'}-1}).
}
$$

Round 29 證明若只看：

$$
\beta_{M,Q}-\alpha_{M,Q}^2,
$$

沒有 automatic superconvergence。

Round 32 顯示：

> 沒有 automatic cancellation，不代表不能主動利用 nested square relation 做 nonlinear amplification。

---

# 1. Newton correction

固定：

$$
M_1\ge2,
$$

令：

$$
r=r_{M_1}=M_1^2-1.
$$

另取：

$$
M_2\ge2,
$$

令：

$$
R=r_{M_2}=M_2^2-1.
$$

定義：

$$
x_{0,Q}
=
\alpha_{M_1,Q}.
$$

固定：

$$
\beta_Q
=
\beta_{M_2,Q}.
$$

對：

$$
j\ge0
$$

遞迴：

$$
\boxed{
x_{j+1,Q}
=
\frac12
\left(
x_{j,Q}
+
\frac{\beta_Q}{x_{j,Q}}
\right).
}
$$

這正是對方程：

$$
x^2=\beta_Q
$$

的 Newton iteration。

---

# 2. Exact error identity

對任何：

$$
x\neq0,
$$

以及：

$$
\beta,
$$

有：

$$
\frac12
\left(
x+\frac{\beta}{x}
\right)
-s
=
\frac{
(x-s)^2+(\beta-s^2)
}{
2x
}.
$$

所以：

$$
\boxed{
x_{j+1,Q}-s
=
\frac{
(x_{j,Q}-s)^2
+
(\beta_Q-s^2)
}{
2x_{j,Q}
}.
}
$$

---

# 3. One-step amplification

first layer：

$$
x_{0,Q}-s
=
-c_{M_1}(s)Q^{-r}
+
O(Q^{-r-1}).
$$

若：

$$
R>2r,
$$

則：

$$
\beta_Q-s^2
=
o(Q^{-2r}).
$$

所以：

$$
x_{1,Q}-s
=
\frac{
c_{M_1}(s)^2
}{
2s
}
Q^{-2r}
+
O(Q^{-2r-1}).
$$

因此：

$$
\boxed{
\text{one second-layer Newton correction doubles the approximation exponent}.
}
$$

---

# 4. Iterated Newton amplification

假設固定：

$$
k\ge1,
$$

並選：

$$
M_2
$$

使：

$$
\boxed{
R>2^kr.
}
$$

則 induction給：

$$
\boxed{
x_{k,Q}-s
=
a_k
Q^{-2^kr}
+
O(
Q^{-2^kr-1}
),
}
$$

其中：

$$
a_k\neq0.
$$

leading constants滿足：

$$
a_0=-c_{M_1}(s),
$$

$$
a_{j+1}
=
\frac{a_j^2}{2s}.
$$

所以對：

$$
k\ge1,
$$

$$
\boxed{
a_k
=
\frac{
c_{M_1}(s)^{2^k}
}{
2^{2^k-1}
s^{2^k-1}
}.
}
$$

因：

$$
s\neq0,
$$

$$
c_{M_1}(s)\neq0,
$$

所以：

$$
a_k\neq0.
$$

---

# 5. Nested Newton Amplification Theorem

## Theorem R32.1

固定：

$$
M_1\ge2,
\qquad
k\ge0.
$$

若：

$$
M_2^2-1
>
2^k(M_1^2-1),
$$

則 hypothetical BADT data產生 algebraic：

$$
x_{k,Q}
$$

使：

$$
\boxed{
|x_{k,Q}-s|
\asymp
Q^{-2^k(M_1^2-1)}.
}
$$

所以 second layer不只是 second observable，也可作為 Newton target將 approximation order平方放大。

---

# 6. Arbitrary fixed-power approximation

取最小方便的：

$$
M_1=2,
$$

則：

$$
r=3.
$$

給任意 fixed：

$$
E>0,
$$

選：

$$
k
$$

使：

$$
3\cdot2^k\ge E.
$$

再選：

$$
M_2
$$

使：

$$
M_2^2-1
>
3\cdot2^k.
$$

則：

$$
\boxed{
|x_{k,Q}-s|
\ll_E
Q^{-E}.
}
$$

因此：

## BADT Newton Approximation Tower

若 real BADT$_2$ 存在，則對每個 fixed：

$$
E>0,
$$

存在 algebraic sequence：

$$
\gamma_{E,Q}
$$

滿足：

$$
\boxed{
|\gamma_{E,Q}-s|
\ll_E Q^{-E}.
}
$$

---

# 7. Field of the Newton approximants

$$
\alpha_{M_1,Q}
$$

使用：

$$
A_Q,B_Q,C_Q,
$$

而：

$$
\beta_{M_2,Q}
$$

使用：

$$
A_Q,C_Q,D_Q.
$$

所以所有 Newton iterates：

$$
x_{j,Q}
$$

都位於：

$$
K_{4,Q}
=
\mathbb Q(
A,B,C,D,
A_Q,B_Q,C_Q,D_Q
).
$$

Round 29 的 Kummer law給：

$$
\boxed{
[K_{4,Q}:\mathbb Q]
=
O(Q^4)
}
$$

以及 relative degree：

$$
\Theta(Q^4)
$$

over the fixed BADT number field。

所以：

$$
\boxed{
\deg x_{j,Q}
\le
C Q^4.
}
$$

---

# 8. Height of Newton iterates

Round 28 的 interpolation height argument對 fixed grid sizes給：

$$
h(\alpha_{M_1,Q})
\le
C_1,
$$

$$
h(\beta_{M_2,Q})
\le
C_2
$$

uniformly in：

$$
Q.
$$

standard height inequalities：

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

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

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

給：

$$
h(x_{j+1,Q})
\le
2h(x_{j,Q})
+
h(\beta_Q)
+
O(1).
$$

因此對 fixed：

$$
M_1,M_2,k,
$$

存在：

$$
C_{M_1,M_2,k}
$$

使：

$$
\boxed{
h(x_{k,Q})
\le
C_{M_1,M_2,k}
}
$$

uniformly in：

$$
Q.
$$

---

# 9. Degree cannot stay bounded

因：

$$
x_{k,Q}\to s
$$

且：

$$
s
$$

transcendental，

而：

$$
h(x_{k,Q})
$$

uniform bounded，

Northcott theorem立即給：

$$
\boxed{
\deg x_{k,Q}\to\infty.
}
$$

---

# 10. Kummer scalar-orbit floor

對 fixed：

$$
M_1,M_2,k,
$$

$$
x_{k,Q}
$$

是 fixed rational function：

$$
\Xi_{M_1,M_2,k}
(
A_Q,B_Q,C_Q,D_Q
).
$$

此 rational function nonconstant。

combined BADT Kummer rank為：

$$
4.
$$

沿用 Round 30 scalar orbit–fiber count：

- Kummer twists：
  $$
  \Omega(Q^4);
  $$
- one scalar fixed-degree collision hypersurface：
  $$
  O(Q^3)
  $$
  torsion-grid points。

所以：

$$
\boxed{
[\mathbb Q(x_{k,Q}):\mathbb Q]
\gg
Q.
}
$$

對 fixed parameters成立。

因此 BADT Newton tower具有：

$$
\boxed{
c_EQ
\lesssim
\deg\gamma_{E,Q}
\lesssim
C_EQ^4,
}
$$

以及：

$$
\boxed{
h(\gamma_{E,Q})=O_E(1).
}
$$

---

# 11. Why this still does not contradict transcendence theory

到這一步看似得到非常強的 approximation：

$$
|\gamma_{E,Q}-s|
\ll_E Q^{-E}
$$

for arbitrary fixed：

$$
E.
$$

但 degree同時：

$$
\to\infty.
$$

這正是高-degree algebraic approximation允許的 regime。

Roy–Waldschmidt 1997 證明：

1. 每個 complex transcendental number都有良好的 high-degree algebraic approximations，其 absolute logarithmic height可保持 bounded；
2. 此 approximation statement可 simultaneously 推廣到 transcendence-degree-$1$ extension中的任意 finite subset。

所以：

$$
\boxed{
\text{bounded height + growing degree + high-order approximation to }s
}
$$

本身並不是 BADT-specific contradiction。

---

# 12. The trdeg-1 approximation trap

所有：

$$
s,
s^2,s^4,\ldots
$$

都位於：

$$
\mathbb Q(s).
$$

且：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(s)
=
1.
}
$$

所以不論我們構造：

- $\alpha_Q\approx s$；
- $\beta_Q\approx s^2$；
- $\gamma_Q\approx s$；
- simultaneous approximants to：
  $$
  (s,s^2);
  $$
- arbitrary finite algebraic-power family of $s$；

target仍位於同一 trdeg-$1$ field。

因此 Roy–Waldschmidt 的 general simultaneous approximation theorem已告訴我們：

$$
\boxed{
\text{high-degree bounded-height simultaneous approximation in this target dimension is a generic possibility}.
}
$$

---

# 13. Why BADT is actually trdeg 2

Type-P supplies Q-linearly independent algebraic logarithms：

$$
\lambda,
\quad
s\lambda,
\quad
s^2\lambda.
$$

它們滿足 nonzero rational quadratic relation：

$$
\boxed{
(s\lambda)^2
-
\lambda(s^2\lambda)
=
0.
}
$$

Roy–Waldschmidt 1997 prove：

> Q-linearly independent logarithms of algebraic numbers lying in a field of transcendence degree $1$ cannot satisfy a nonzero rational quadratic form.

所以 Type-P cannot have the logarithm field of transcendence degree：

$$
1.
$$

另一方面：

$$
\lambda,
s\lambda,
s^2\lambda
\in
\mathbb Q(\lambda,s).
$$

故 transcendence degree最多：

$$
2.
$$

因此：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,s)
=
2.
}
$$

這正是 Round 4 的 trdeg-$2$ criticality。

---

# 14. Transcendence-Dimension Retention Principle

本輪提出：

## TDRP

任何企圖從 BADT 導出 contradiction 的 approximation route，如果最終 target全部壓縮到：

$$
\mathbb Q(s),
$$

就已丟失：

$$
\boxed{
\lambda
}
$$

這個使 Type-P 落入 trdeg-$2$ critical layer的第二 transcendence direction。

因此：

$$
\boxed{
\text{successful quantitative route should retain at least the pair }(\lambda,s)
\text{ or an equivalent trdeg-2 coordinate system}.
}
$$

TDRP 是 methodology principle，不宣稱為一般 impossibility theorem。

---

# 15. Algebraic approximation of $\lambda$

BADT / Type-P中：

$$
A=e^\lambda
\in
\overline{\mathbb Q}_{>0}.
$$

令：

$$
A_Q=A^{1/Q}=e^{\lambda/Q}.
$$

固定 integer：

$$
m\ge1.
$$

定義 truncated logarithm：

$$
L_m(z)
=
\sum_{j=1}^{m}
(-1)^{j+1}
\frac{z^j}{j}.
$$

並令：

$$
\boxed{
\Lambda_{m,Q}
=
Q
L_m(A_Q-1).
}
$$

則：

$$
\Lambda_{m,Q}
\in
\overline{\mathbb Q}.
$$

---

# 16. Truncated-log approximation

因：

$$
\log(1+z)
=
L_m(z)
+
(-1)^m
\frac{z^{m+1}}{m+1}
+
O(z^{m+2}),
$$

而：

$$
z=A_Q-1
=
\frac{\lambda}{Q}
+
O(Q^{-2}),
$$

得到：

$$
\boxed{
\lambda-\Lambda_{m,Q}
=
(-1)^m
\frac{
\lambda^{m+1}
}{
m+1
}
Q^{-m}
+
O(Q^{-m-1}).
}
$$

所以：

$$
\boxed{
|\lambda-\Lambda_{m,Q}|
\asymp
Q^{-m}.
}
$$

---

# 17. Arithmetic cost of the $\lambda$ approximant

$$
\Lambda_{m,Q}
\in
\mathbb Q(A,A_Q).
$$

所以：

$$
\boxed{
\deg\Lambda_{m,Q}
=
O(Q).
}
$$

height：

$$
h(A_Q)=h(A)/Q.
$$

因：

$$
m
$$

fixed，

$$
h(L_m(A_Q-1))
=
O_m(1).
$$

乘上 integer：

$$
Q
$$

給：

$$
\boxed{
h(\Lambda_{m,Q})
=
O_m(\log Q).
}
$$

因此 approximation of $\lambda$與 approximation of $s$ 的 arithmetic profile不同：

### $\lambda$

$$
\deg=O(Q),
$$

$$
h=O(\log Q).
$$

### Newton-amplified $s$

$$
\deg=O(Q^4),
$$

$$
h=O(1).
$$

---

# 18. Simultaneous trdeg-2 approximation package

給 arbitrary fixed：

$$
m\ge1,
$$

以及 arbitrary fixed：

$$
E>0,
$$

選 Newton tower參數使：

$$
|\gamma_{E,Q}-s|
\ll_E Q^{-E}.
$$

則：

$$
\boxed{
(\Lambda_{m,Q},\gamma_{E,Q})
\longrightarrow
(\lambda,s)
}
$$

且：

$$
\boxed{
|\Lambda_{m,Q}-\lambda|
\asymp
Q^{-m},
}
$$

$$
\boxed{
|\gamma_{E,Q}-s|
\ll_E
Q^{-E}.
}
$$

兩 approximants都位於 combined radical field：

$$
K_{4,Q},
$$

所以 joint algebraic degree：

$$
\boxed{
\le
O(Q^4).
}
$$

joint height可取：

$$
\boxed{
O_{m,E}(\log Q).
}
$$

---

# 19. Why this is the first approximation package that retains BADT criticality

target：

$$
(\lambda,s)
$$

滿足：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,s)=2.
}
$$

所以它不再落入 Roy–Waldschmidt trdeg-$1$ simultaneous-approximation theorem的直接 scope。

因此真正新的 quantitative question是：

## Trdeg-2 Simultaneous Approximation Barrier（TSAB）

能否建立足夠強的 lower bound，排除具有：

- degree：
  $$
  O(Q^4);
  $$
- height：
  $$
  O(\log Q);
  $$
- errors：
  $$
  Q^{-m},
  \quad
  Q^{-E};
  $$

的特殊 algebraic approximants to：

$$
(\lambda,s)
$$

for suitably chosen：

$$
m,E?
$$

目前沒有已知 theorem在本輪直接閉合此條件。

---

# 20. Why increasing $E$ alone is not enough

Waldschmidt 的 one-variable quotient-of-logarithms transcendence measure控制：

$$
s
$$

as one target。

它允許 algebraic degree grow。

Newton amplification只提高：

$$
E.
$$

但 degree同時可到：

$$
Q^4.
$$

所以任意 fixed：

$$
E
$$

都不會自動碰撞 known one-variable measure。

因此：

$$
\boxed{
\text{the missing information is simultaneous trdeg-2 structure, not still more one-variable Taylor order}.
}
$$

---

# 21. Connection with Roy–Waldschmidt 1997

Roy–Waldschmidt的 approximation theorem明確把：

$$
\operatorname{trdeg}=1
$$

作為 simultaneous approximation層。

同一篇文章再利用此工具建立 algebraic-independence results，並證 logarithms of algebraic numbers若生成 trdeg-$1$ field，就不能有 nonzero rational quadratic relation。

ACTM Type-P正好有 quadratic relation。

所以：

$$
\boxed{
\text{Round 32重新抵達 Roy–Waldschmidt 方法的 precise dimension boundary}.
}
$$

不是「approximation做不出來」，而是：

$$
\boxed{
\text{trdeg-1 approximation theory exists；trdeg-2 BADT is the next critical layer}.
}
$$

---

# 22. Reassessment of R28–R31

Rounds 28–31仍然有價值：

- 它們給 BADT-specific explicit interpolation models；
- Kummer degree laws；
- element-level orbit bounds；
- two-layer joint degree：
  $$
  \Omega(Q^2).
  $$

但若最終只觀察：

$$
s,
s^2
$$

而完全 eliminate：

$$
\lambda,
$$

則 approximation target重新塌縮回：

$$
\operatorname{trdeg}=1.
$$

所以未來若繼續 Kummer/interpolation route，應把：

$$
\Lambda_{m,Q}
$$

或等價的 $\lambda$-coordinate保留在 observable system中。

---

# 23. A three-observable candidate

Round 33 可考慮 joint observable：

$$
\boxed{
(
\Lambda_{m,Q},
\alpha_Q,
\beta_Q
)
}
$$

approximating：

$$
(\lambda,s,s^2).
$$

target field仍：

$$
\mathbb Q(\lambda,s)
$$

of trdeg：

$$
2.
$$

研究：

- joint algebraic degree；
- height；
- polynomial relations among approximants；
- distance to algebraic surface：
  $$
  V_2=V_1^2;
  $$
- whether $\Lambda$ couples to the Kummer observables strongly enough to yield a trdeg-$2$ algebraic-independence criterion。

---

# 24. A four-log approximation candidate

更貼近 original BADT logs，可直接 approximate：

$$
\lambda,
\quad
s\lambda,
\quad
s^2\lambda.
$$

例如：

$$
\Lambda_A(Q)
\approx
\log A,
$$

$$
\Lambda_B(Q)
\approx
\log B,
$$

$$
\Lambda_C(Q)
\approx
\log C
$$

使用 truncated logarithms of：

$$
A_Q,B_Q,C_Q.
$$

它們是 algebraic numbers，並 approximate the three algebraic logarithms while retaining exact quadratic target relation：

$$
(\log B)^2
=
(\log A)(\log C).
$$

這可能比 approximating $(\lambda,s)$ 更自然，因 Roy–Waldschmidt theorem直接以 logarithms為語言。

---

# 25. Quadratic defect of truncated logarithms

固定：

$$
m,
$$

定義：

$$
L_{A,Q}
=
Q L_m(A_Q-1),
$$

$$
L_{B,Q}
=
Q L_m(B_Q-1),
$$

$$
L_{C,Q}
=
Q L_m(C_Q-1).
$$

則：

$$
L_{A,Q}
=
\lambda+O(Q^{-m}),
$$

$$
L_{B,Q}
=
s\lambda+O(Q^{-m}),
$$

$$
L_{C,Q}
=
s^2\lambda+O(Q^{-m}).
$$

所以 quadratic defect：

$$
\boxed{
\Delta^{\log}_{m,Q}
=
L_{B,Q}^2
-
L_{A,Q}L_{C,Q}
}
$$

滿足：

$$
\boxed{
\Delta^{\log}_{m,Q}
=
O(Q^{-m}).
}
$$

這是一個完全 algebraic quantity。

若可同時控制其：

- nonzero algebraic degree；
- height；
- field norm；

可能比 $s$-only jet route更直接保留 Type-P quadratic relation。

本輪不宣稱 contradiction。

---

# 26. Why this route is qualitatively different

Newton $s$-approximation把 target壓到：

$$
\mathbb Q(s).
$$

truncated-log triple保留：

$$
\lambda,
s\lambda,
s^2\lambda
$$

及其 quadratic relation。

所以：

$$
\boxed{
\text{log-triple defect preserves the exact Roy–Waldschmidt obstruction geometry}.
}
$$

這是 Round 33 最值得優先評估的新接口。

---

# 27. Round 32 判定

**PASS — BADT second layer supports Newton amplification to arbitrary fixed approximation order, but this exposes a trdeg-1 approximation trap; retaining $\lambda$ is necessary to preserve the actual trdeg-2 obstruction**

本輪完成：

1. 建立 Newton correction exact error identity。

2. 證 one-step exponent doubling。

3. 證 iterated exponent：
   $$
   2^k(M_1^2-1).
   $$

4. 建立 nonzero leading constant。

5. 得到 BADT Newton Approximation Tower：
   arbitrary fixed power approximation to $s$。

6. 證 fixed-order Newton approximants具有 uniform Weil height。

7. 給 field-degree upper：
   $$
   O(Q^4).
   $$

8. 由 Kummer scalar-orbit argument保留：
   $$
   \Omega(Q)
   $$
   degree floor。

9. 對齊 Roy–Waldschmidt 1997：
   high-degree bounded-height approximation to transcendental numbers及 trdeg-$1$ finite families本來就是已知現象。

10. 識別：
    $$
    \mathbb Q(s,s^2,\ldots)=\mathbb Q(s)
    $$
    的 trdeg-$1$ collapse。

11. 由 Roy–Waldschmidt quadratic-log theorem重新確認 Type-P：
    $$
    \operatorname{trdeg}\mathbb Q(\lambda,s)=2.
    $$

12. 提出 Transcendence-Dimension Retention Principle（TDRP）。

13. 構造 arbitrary fixed-order algebraic approximants：
    $$
    \Lambda_{m,Q}\approx\lambda.
    $$

14. 得到：
    $$
    \deg\Lambda_{m,Q}=O(Q),
    \quad
    h(\Lambda_{m,Q})=O(\log Q).
    $$

15. 建立 simultaneous trdeg-$2$ approximation package：
    $$
    (\Lambda_{m,Q},\gamma_{E,Q})
    \to
    (\lambda,s).
    $$

16. 定義 Trdeg-2 Simultaneous Approximation Barrier（TSAB）。

17. 提出更自然的 algebraic log-triple approximation：
    $$
    (L_{A,Q},L_{B,Q},L_{C,Q}).
    $$

18. 定義 quadratic log defect：
    $$
    \Delta^{\log}_{m,Q}
    =
    L_{B,Q}^2-L_{A,Q}L_{C,Q}.
    $$

---

# 28. Round 33 正式入口

Round 33 不再繼續提高 Newton approximation order。

優先研究：

$$
\boxed{
\Delta^{\log}_{m,Q}
=
L_{B,Q}^2
-
L_{A,Q}L_{C,Q}.
}
$$

因它保留 Type-P quadratic relation與 $\lambda$ direction。

## R33-A：Exact asymptotic

計算：

$$
\Delta^{\log}_{m,Q}
$$

的 leading term。

看是否某些：

$$
m
$$

出現 automatic cancellation，令 defect order高於：

$$
Q^{-m}.
$$

---

## R33-B：Degree / height / norm

因：

$$
L_{A,Q},
L_{B,Q},L_{C,Q}
\in
K_3(A_Q,B_Q,C_Q),
$$

研究：

$$
\deg
\Delta^{\log}_{m,Q},
$$

$$
h(
\Delta^{\log}_{m,Q}
).
$$

尤其使用 Round 29：

$$
[K_{3,Q}:K_3]
\asymp Q^3.
$$

---

## R33-C：Algebraic nonzero lower bound

如果：

$$
\Delta^{\log}_{m,Q}\neq0,
$$

用：

- field norm；
- Liouville inequality；
- Kummer conjugates；

建立 lower bound。

再和 exact analytic upper：

$$
O(Q^{-m})
$$

比較。

---

## R33-D：Let $m$ grow

若 fixed $m$ 永遠不夠，研究：

$$
m=m(Q).
$$

truncated-log height會隨：

$$
m
$$

成長，但 algebraic degree仍受 same Kummer field：

$$
O(Q^3)
$$

控制。

這比 increasing interpolation grid更有希望，因 approximation order由：

$$
m
$$

提高時不增加 radical rank。

---

# 29. 一句話結論

> **Round 32 發現 BADT 第二層確實能透過 Newton iteration把對 $s$ 的 algebraic approximation order反覆平方；對任意 fixed $E$ 都可構造 bounded-height algebraic $\gamma_{E,Q}$ 使 $|\gamma_{E,Q}-s|\ll Q^{-E}$。但這不是 contradiction：Roy–Waldschmidt 1997 已證高-degree bounded-height algebraic approximation是 transcendental numbers、甚至 trdeg-$1$ finite families中的一般現象。所有只觀察 $s,s^2,\ldots$ 的 route都落在 $\mathbb Q(s)$，因而丟失 Type-P 真正關鍵的第二 transcendence direction $\lambda$。**

因此 ACTM 的 approximation route必遵守：

$$
\boxed{
\text{retain transcendence dimension}.
}
$$

新的最自然對象不是更準的 $s$，而是保留原始 quadratic-log geometry：

$$
\boxed{
L_{B,Q}^2
-
L_{A,Q}L_{C,Q}.
}
$$

這將是 Round 33。

---

# 參考資料

1. Damien Roy and Michel Waldschmidt, **Approximation diophantienne et indépendance algébrique de logarithmes**, *Annales Scientifiques de l'École Normale Supérieure* 30 (1997), 753–796.  
   DOI: 10.1016/S0012-9593(97)89938-7.  
   Main relevance:
   - every complex transcendental number has good algebraic approximations of high degree and bounded absolute logarithmic height；
   - simultaneous approximation is extended to finite subsets of fields of transcendence degree $1$；
   - Q-linearly independent logarithms of algebraic numbers in a trdeg-$1$ field cannot satisfy a nonzero rational quadratic form.

2. 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.

3. Michel Waldschmidt, **Transcendence measures for exponentials and logarithms**, *J. Austral. Math. Soc. Ser. A* 25 (1978), 445–465.

4. Standard Newton iteration, Lagrange interpolation, absolute logarithmic Weil height inequalities, and Northcott finiteness.

---

**ACTM Round 32 完**