# ACTM Round 33
## Quadratic Log-Defect Exact Asymptotic、Taylor–Liouville Barrier 與 Multivariate Auxiliary Pivot
### Exact Quadratic Log-Defect Asymptotics, the Taylor–Liouville Barrier, and the Pivot to Multivariate Auxiliaries

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-04  
**版本：** Round 33 / v0.1  
**文件性質：** 正式研究筆記／quadratic-log defect and scalar-small-value barrier round  
**狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱 Four Exponentials Conjecture 已證。本輪精確計算 algebraic truncated-log approximants對 Type-P quadratic relation的失真，並證明 ordinary Taylor truncation配合 scalar Liouville / norm lower bounds存在結構性效率障礙：不論 truncation order如何增長，analytic gain per order只有 $\log Q$，而 Kummer arithmetic cost帶有 $Q^3$ factor。這迫使後續研究離開單一 scalar defect，轉向 genuine multivariate auxiliary functions、interpolation determinants與 zero estimates。

---

## 摘要

Type-P / BADT first three algebraic logarithms：

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

滿足 exact quadratic relation：

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

Round 32 提出：不要再把 $\lambda$ eliminate掉，而直接以 algebraic approximants逼近這三個 logarithms，保留 transcendence-degree-$2$ geometry。

固定 positive algebraic：

$$
A=e^\lambda,
$$

$$
B=e^{s\lambda},
$$

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

以及：

$$
Q\ge1.
$$

取 positive real roots：

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

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

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

定義 truncated logarithm：

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

以及 scaled approximants：

$$
L_{A,m,Q}
=
Q\,T_m(A_Q-1),
$$

$$
L_{B,m,Q}
=
Q\,T_m(B_Q-1),
$$

$$
L_{C,m,Q}
=
Q\,T_m(C_Q-1).
$$

則：

$$
L_{A,m,Q}\to\lambda,
$$

$$
L_{B,m,Q}\to s\lambda,
$$

$$
L_{C,m,Q}\to s^2\lambda.
$$

研究 quadratic defect：

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

本輪主 asymptotic：

## Exact Quadratic Log-Defect Theorem

對 fixed：

$$
m\ge1,
$$

有：

$$
\boxed{
\Delta_{m,Q}^{\log}
=
\frac{(-1)^m}{m+1}
\lambda^{m+2}
s^2
(s^m-1)^2
Q^{-m}
+
O(Q^{-m-1}).
}
$$

leading coefficient嚴格 nonzero，因：

$$
\lambda\neq0,
$$

$$
s\neq0,
$$

且 $s$ transcendental，所以：

$$
s^m\neq1.
$$

因此：

$$
\boxed{
|\Delta_{m,Q}^{\log}|
\asymp
Q^{-m}
}
$$

for fixed $m$。

所以 ordinary Taylor truncation不會在 Type-P quadratic relation中產生 hidden higher-order cancellation。

---

若改用 unscaled logarithm approximants：

$$
\widehat L_{A,m,Q}
=
T_m(A_Q-1),
$$

$$
\widehat L_{B,m,Q}
=
T_m(B_Q-1),
$$

$$
\widehat L_{C,m,Q}
=
T_m(C_Q-1),
$$

則：

$$
\widehat L_A
\approx
\frac{\lambda}{Q},
$$

$$
\widehat L_B
\approx
\frac{s\lambda}{Q},
$$

$$
\widehat L_C
\approx
\frac{s^2\lambda}{Q}.
$$

定義：

$$
\widehat\Delta_{m,Q}^{\log}
=
\widehat L_{B,m,Q}^2
-
\widehat L_{A,m,Q}
\widehat L_{C,m,Q}.
$$

因：

$$
\widehat\Delta_{m,Q}^{\log}
=
Q^{-2}
\Delta_{m,Q}^{\log},
$$

有：

$$
\boxed{
\widehat\Delta_{m,Q}^{\log}
=
\frac{(-1)^m}{m+1}
\lambda^{m+2}
s^2
(s^m-1)^2
Q^{-(m+2)}
+
O(Q^{-(m+3)}).
}
$$

這個 unscaled version在 arithmetic height分析上更自然。

---

# 1. Individual truncated-log error

對 fixed：

$$
t\in\{1,s,s^2\},
$$

令：

$$
z_{t,Q}
=
e^{t\lambda/Q}-1.
$$

Taylor remainder：

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

因此：

$$
t\lambda
-
Q T_m(z_{t,Q})
=
\frac{(-1)^m}{m+1}
(t\lambda)^{m+1}
Q^{-m}
+
O(Q^{-m-1}).
$$

定義：

$$
\varepsilon_t
=
t\lambda
-
L_{t,m,Q}.
$$

則：

$$
\boxed{
\varepsilon_t
=
c_m
(t\lambda)^{m+1}
Q^{-m}
+
O(Q^{-m-1}),
}
$$

其中：

$$
c_m
=
\frac{(-1)^m}{m+1}.
$$

---

# 2. Expand the quadratic defect

令：

$$
a=\lambda,
$$

$$
b=s\lambda,
$$

$$
c=s^2\lambda.
$$

所以：

$$
b^2=ac.
$$

又：

$$
L_A=a-\varepsilon_1,
$$

$$
L_B=b-\varepsilon_s,
$$

$$
L_C=c-\varepsilon_{s^2}.
$$

因此：

$$
\Delta_{m,Q}^{\log}
=
(b-\varepsilon_s)^2
-
(a-\varepsilon_1)
(c-\varepsilon_{s^2}).
$$

exact quadratic terms展開：

$$
\Delta
=
-2b\varepsilon_s
+
a\varepsilon_{s^2}
+
c\varepsilon_1
+
\varepsilon_s^2
-
\varepsilon_1\varepsilon_{s^2}.
$$

---

# 3. Leading coefficient

代入 first-order remainders：

$$
-2b\varepsilon_s
+
a\varepsilon_{s^2}
+
c\varepsilon_1
$$

的 leading coefficient為：

$$
c_m
\lambda^{m+2}
\left(
-2s^{m+2}
+
s^{2m+2}
+
s^2
\right).
$$

括號 factor：

$$
s^{2m+2}
-
2s^{m+2}
+
s^2
=
s^2(s^m-1)^2.
$$

所以：

$$
\boxed{
\Delta_{m,Q}^{\log}
=
c_m
\lambda^{m+2}
s^2(s^m-1)^2
Q^{-m}
+
O(Q^{-m-1}).
}
$$

---

# 4. No fixed-order cancellation

因：

$$
s
$$

transcendental：

$$
s^m-1\neq0.
$$

所以對每個 fixed：

$$
m,
$$

存在：

$$
Q_0(m)
$$

使：

$$
Q\ge Q_0(m)
$$

時：

$$
\boxed{
\Delta_{m,Q}^{\log}\neq0.
}
$$

所以 ordinary Taylor truncation不可能在 sufficiently flat regime意外變成 exact quadratic relation。

---

# 5. Algebraic field

令：

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

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

所有：

$$
\widehat L_{A,m,Q},
\widehat L_{B,m,Q},
\widehat L_{C,m,Q}
$$

都位於：

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

因此：

$$
\boxed{
\widehat\Delta_{m,Q}^{\log}
\in K_Q.
}
$$

trivial radical upper bound：

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

Round 29更證明：

$$
[K_Q:K]
=
\Theta(Q^3).
$$

---

# 6. Height of the unscaled approximants

absolute logarithmic Weil height滿足：

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

以及：

$$
h(A_Q-1)
\le
h(A_Q)+\log2.
$$

所以：

$$
h(A_Q-1)
\le
\log2+O(Q^{-1}).
$$

analogously for：

$$
B_Q-1,
\quad
C_Q-1.
$$

---

# 7. Height of the truncation polynomial

將：

$$
T_m(z)
$$

清除 denominators。

可使用：

$$
\operatorname{lcm}(1,\ldots,m)
\le
m!
$$

得到 polynomial coefficient height：

$$
\boxed{
h(T_m)
=
O(m\log(m+1)).
}
$$

標準 polynomial evaluation height inequality因此給：

$$
\boxed{
h(
\widehat L_{A,m,Q}
)
\le
C_A
m\log(m+1)
+
C_A'
}
$$

uniformly in：

$$
Q.
$$

同理對：

$$
B,
C.
$$

---

# 8. Defect height

由：

$$
\widehat\Delta
=
\widehat L_B^2
-
\widehat L_A\widehat L_C
$$

及標準 height inequalities：

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

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

得到：

$$
\boxed{
h(
\widehat\Delta_{m,Q}^{\log}
)
\le
C_1
m\log(m+1)
+
C_2.
}
$$

其中 constants只依：

$$
A,B,C.
$$

特別對 fixed：

$$
m,
$$

height對：

$$
Q
$$

uniform bounded。

---

# 9. Scalar Liouville lower bound

若：

$$
0\neq\alpha\in\overline{\mathbb Q},
$$

degree：

$$
D,
$$

則 product formula / standard Liouville inequality給：

$$
\boxed{
\log|\alpha|
\ge
-D\,h(\alpha)
}
$$

up to harmless normalization constants depending on the chosen absolute value convention。

套：

$$
\alpha
=
\widehat\Delta_{m,Q}^{\log},
$$

以及：

$$
D
\le
d_0Q^3,
$$

得到：

$$
\boxed{
\log|
\widehat\Delta_{m,Q}^{\log}
|
\ge
-
C_3
Q^3
\left(
m\log(m+1)+1
\right)
}
$$

when the defect is nonzero。

---

# 10. Analytic upper scale

fixed $m$ exact asymptotic給：

$$
\log|
\widehat\Delta_{m,Q}^{\log}
|
=
-(m+2)\log Q
+
O_m(1).
$$

更一般地，若：

$$
m=m(Q)
$$

且：

$$
Q
$$

足夠大使：

$$
|e^{t\lambda/Q}-1|
\le
\frac12
$$

for：

$$
t=1,s,s^2,
$$

Taylor tail bound給：

$$
\boxed{
|
\widehat\Delta_{m,Q}^{\log}
|
\le
C_4
\left(
\frac{C_5}{Q}
\right)^{m+2}
}
$$

up to a harmless factor polynomial in：

$$
m.
$$

所以：

$$
\boxed{
-\log|
\widehat\Delta_{m,Q}^{\log}
|
\gtrsim
m\log Q
-
O(m+\log m).
}
$$

---

# 11. Taylor–Liouville mismatch

scalar Liouville exponent cost：

$$
\boxed{
Q^3m\log(m+1)
}
$$

versus Taylor analytic gain：

$$
\boxed{
m\log Q.
}
$$

其 ratio roughly：

$$
\boxed{
\frac{
m\log Q
}{
Q^3m\log(m+1)
}
\le
\frac{
\log Q
}{
Q^3
}
}
$$

up to slowly varying factors。

所以：

$$
\boxed{
\frac{\log Q}{Q^3}\to0.
}
$$

---

# 12. Taylor–Liouville Barrier

## Theorem/Diagnosis R33.2

Using only：

1. the radical-field degree upper bound：
   $$
   D_Q=O(Q^3);
   $$

2. the standard height bound：
   $$
   h(\widehat\Delta)
   =
   O(m\log(m+1));
   $$

3. scalar Liouville / field-norm lower bounds；

ordinary truncated-log quadratic defects cannot be forced to contradict their analytic Taylor upper bounds by any choice of truncation order：

$$
m=m(Q)
$$

through this scalar comparison alone。

這不是一般 impossibility theorem。

它只說：

$$
\boxed{
\text{the available scalar lower-bound scale is structurally too weak for this construction}.
}
$$

---

# 13. Why increasing $m$ does not repair the scale

提高：

$$
m
$$

確實讓：

$$
|\widehat\Delta|
$$

多得到大約：

$$
Q^{-1}
$$

per truncation order。

但每增加一階也增加 algebraic height complexity。

scalar product-formula cost再乘上 Kummer degree：

$$
\asymp Q^3.
$$

所以：

$$
m
$$

同時出現在 upper and lower exponents，無法消除：

$$
\boxed{
Q^3/\log Q
}
$$

這個 scale gap。

---

# 14. Fixed-$m$ bounded-height interpretation

固定：

$$
m.
$$

則：

$$
h(
\widehat\Delta_{m,Q}^{\log}
)
=
O_m(1),
$$

而：

$$
\deg
\widehat\Delta
\le
O(Q^3).
$$

同時：

$$
|\widehat\Delta|
\asymp
Q^{-(m+2)}.
$$

若以：

$$
D\asymp Q^3
$$

表示 ambient arithmetic degree scale，則：

$$
|\widehat\Delta|
\asymp
D^{-(m+2)/3}.
$$

這只是 polynomial-in-degree smallness。

它遠未達到一般 algebraic-independence criteria中常見的 exponential-in-degree small-value regime。

---

# 15. Why a scalar defect loses too much information

$\widehat\Delta$ 是：

$$
(\widehat L_A,\widehat L_B,\widehat L_C)
$$

三個 approximants的單一 scalar polynomial value。

一旦壓成一個 algebraic number：

$$
\widehat\Delta,
$$

我們只剩：

- its degree；
- its height；
- its one-place absolute value。

原本 Type-P 的：

- three logarithmic coordinates；
- one quadratic relation；
- trdeg-$2$ geometry；
- Kummer rank-$3$ structure；

大量結構已被丟掉。

所以 scalar norm方法的失敗不是偶然。

---

# 16. Multivariate Small-Value Principle

本輪提出 methodology principle：

## MSVP

在 trdeg-$2$ BADT layer，若 auxiliary construction最後只留下單一 algebraic scalar：

$$
\alpha_Q
$$

並使用一般：

$$
\deg(\alpha_Q),
\quad
h(\alpha_Q),
\quad
|\alpha_Q|
$$

lower bound，

通常會支付完整 ambient Kummer-degree cost。

要跨過：

$$
Q^3
$$

barrier，必須保留：

$$
\boxed{
\text{multivariate vanishing / multiplicity / determinant structure}
}
$$

直到 zero estimate 或 algebraic-independence criterion階段。

---

# 17. Relation to Philippon's methodology

Philippon 1997 的 general framework明確將：

- auxiliary analytic functions；
- effective zero estimates；
- approximation properties；

組合起來導出 transcendence與 algebraic-independence results。

其 method不是先把所有資訊壓成一個任意 algebraic scalar再套 generic Liouville inequality。

這與 Round 33 的 diagnosis一致：

$$
\boxed{
\text{BADT next step should be an auxiliary-function / zero-estimate problem, not a better scalar Taylor remainder}.
}
$$

---

# 18. Relation to Roy–Waldschmidt

Roy–Waldschmidt 1997 的 approximation approach是：

- construct / characterize algebraic approximations；
- retain simultaneous geometry；
- use approximation criteria to deduce algebraic independence。

其 logarithm results正處理 small transcendence degree並證 trdeg-$1$ logarithm fields不能承載 certain rational quadratic relations。

Round 33 現在重新抵達其下一個 natural dimension：

$$
\boxed{
\operatorname{trdeg}=2
}
$$

where a scalar Taylor defect alone does not capture enough geometry。

---

# 19. A sharper efficiency invariant

定義 scalar truncation efficiency：

$$
\mathcal E_{m,Q}
=
\frac{
-\log|
\widehat\Delta_{m,Q}^{\log}
|
}{
\deg(K_Q/\mathbb Q)
\left(
h(
\widehat\Delta_{m,Q}^{\log}
)+1
\right)
}.
$$

using the available scales：

$$
-\log|\widehat\Delta|
\sim
m\log Q,
$$

$$
\deg K_Q
\asymp
Q^3,
$$

$$
h(\widehat\Delta)
=
O(m\log(m+1)).
$$

因此 heuristically / upper-scale：

$$
\boxed{
\mathcal E_{m,Q}
\lesssim
\frac{
\log Q
}{
Q^3\log(m+1)
}.
}
$$

so：

$$
\boxed{
\mathcal E_{m,Q}\to0.
}
$$

這精確表達 simple truncation離 scalar Liouville threshold越來越遠。

---

# 20. Why Padé of one variable is not obviously enough

ordinary one-variable Padé improvement可以把 approximation order從：

$$
m
$$

提升到 constant multiple of：

$$
m.
$$

但其 coefficient complexity也通常按：

$$
m
$$

增長。

因此只改善 fixed constant factor不會消除：

$$
Q^3/\log Q
$$

gap。

要真正 dimension-match Kummer rank $3$，需要一個 auxiliary space whose number of adjustable coefficients / vanishing conditions grows in genuinely multivariate fashion。

---

# 21. Cubic-Dimension Auxiliary Requirement

Round 29證 first three BADT constants：

$$
A,B,C
$$

generate multiplicative Kummer rank：

$$
3.
$$

其 radical extension degree：

$$
\Theta(Q^3).
$$

這 suggests a dimension-matching target：

$$
\boxed{
\text{auxiliary parameter space should itself have cubic-scale combinatorial capacity}.
}
$$

例如：

- three-variable polynomial families；
- Hermite–Padé systems with multiple indices；
- interpolation determinants with three independent exponent indices；
- group-variety zero estimates retaining all three logarithm coordinates。

本輪稱：

## Cubic-Dimension Auxiliary Principle（CDAP）

> rank-$3$ Kummer arithmetic cost should be confronted by an auxiliary construction whose independent coefficient / vanishing-condition budget scales cubically, rather than linearly with a single truncation parameter。

這是 methodology target，不是 theorem。

---

# 22. A natural exponential auxiliary family

一個 candidate family為：

$$
F(z)
=
\sum_{
0\le i,j,k<T
}
c_{ijk}
\exp
\left(
z(
i\lambda
+
j s\lambda
+
k s^2\lambda
)
\right).
$$

其 coefficient count：

$$
\boxed{
T^3.
}
$$

在 integer / rational values of：

$$
z
$$

時：

$$
e^{i\lambda+j s\lambda+k s^2\lambda}
=
A^iB^jC^k
$$

為 algebraic。

這在 combinatorial dimension上正好匹配：

$$
Q^3
$$

Kummer cost。

但直接 impose high-order derivatives at：

$$
z=0
$$

會重新引入 transcendental logarithmic coefficients。

所以真正可行 construction應更接近：

- algebraic value interpolation；
- Siegel lemma；
- extrapolation；
- multiplicity / zero estimates；

而不是直接 linear solve derivative equations over $\overline{\mathbb Q}$。

---

# 23. This reconnects to classical transcendence proofs

classical Gel'fond–Schneider / Baker / Philippon / Waldschmidt approaches frequently使用：

1. many algebraic coefficients；
2. auxiliary functions with many algebraic zeros / small values；
3. extrapolation；
4. zero estimates；
5. final contradiction from multiplicity or height。

Round 33 indicates ACTM has reached exactly that methodological layer。

也就是：

$$
\boxed{
\text{我們已經把 problem reduction做到了 classical deep transcendence machinery真正開始工作的入口。}
}
$$

---

# 24. What Round 33 does not prove

本輪沒有證：

- no Padé/Hermite–Padé construction can solve BADT；
- no norm argument with additional arithmetic structure can work；
- no algebraic-independence measure exists for the trdeg-$2$ configuration；
- Four Exponentials Conjecture follows。

真正 proved / derived的是：

1. exact fixed-$m$ quadratic log-defect asymptotic；
2. height / degree scale of the truncated-log algebraic defect；
3. generic scalar Liouville comparison mismatch；
4. need to retain multivariate structure if continuing this route。

---

# 25. Current literature boundary

Roy–Waldschmidt 1997 provides a sophisticated Diophantine-approximation route to algebraic independence of logarithms at small transcendence degree and explicitly treats the trdeg-$1$ quadratic-relation boundary.

Philippon 1997 formulates a general auxiliary-function / zero-estimate methodology that can produce algebraic-independence results in several settings and even discusses a strategy toward Gel'fond–Schneider-type conjectural problems.

The present BADT / Four-Exponentials Type-P target remains beyond the directly available theorems used here.

No claim of novelty over the full transcendence-theory literature is made; the results above are ACTM reductions and derived exact asymptotics for this specific BADT configuration.

---

# 26. Round 33 判定

**PASS — The Type-P quadratic relation has an exact nonzero Taylor-defect asymptotic; scalar truncated-log Liouville comparison is structurally underpowered by a $Q^3/\log Q$ factor; further progress requires retaining multivariate auxiliary geometry**

本輪完成：

1. 定義 scaled / unscaled truncated-log approximants。

2. 推導 individual logarithm approximation errors。

3. 精確展開 quadratic defect。

4. 得到：
   $$
   \boxed{
   \Delta_{m,Q}^{\log}
   =
   \frac{(-1)^m}{m+1}
   \lambda^{m+2}
   s^2(s^m-1)^2Q^{-m}
   +
   O(Q^{-m-1}).
   }
   $$

5. 證 leading coefficient nonzero。

6. 得到 unscaled：
   $$
   \widehat\Delta
   \asymp
   Q^{-(m+2)}.
   $$

7. 建立 defect field degree：
   $$
   O(Q^3).
   $$

8. 建立 height：
   $$
   O(m\log(m+1)).
   $$

9. 建立 scalar Liouville lower scale：
   $$
   \exp[
   -O(
   Q^3m\log(m+1)
   )
   ].
   $$

10. 比較 analytic scale：
    $$
    \exp[
    -m\log Q+O(m)
    ].
    $$

11. 識別：
    $$
    Q^3/\log Q
    $$
    structural efficiency gap。

12. 說明讓 $m=m(Q)$ 增長不會在此 scalar comparison中消除 gap。

13. 提出 Multivariate Small-Value Principle（MSVP）。

14. 提出 Cubic-Dimension Auxiliary Principle（CDAP）。

15. 將下一步重新對齊 Philippon / Roy–Waldschmidt 型 auxiliary function + zero estimate methodology。

---

# 27. Round 34 正式入口

Round 34 不再增加 Taylor truncation order。

而應構造：

$$
\boxed{
\text{rank-3 / cubic-dimensional algebraic auxiliary system}.
}
$$

## R34-A：Three-index value interpolation

考慮：

$$
F(z)
=
\sum_{0\le i,j,k<T}
c_{ijk}
e^{z(i\lambda+js\lambda+ks^2\lambda)}.
$$

不用 transcendental derivative conditions。

改在 many integer / rational：

$$
z
$$

values impose algebraic zero conditions：

$$
F(n)=0.
$$

因：

$$
F(n)
=
\sum
c_{ijk}
A^{in}B^{jn}C^{kn}
$$

algebraic。

研究 coefficient count：

$$
T^3
$$

與可 impose zero count的 exact relation。

---

## R34-B：Siegel lemma height

選：

$$
c_{ijk}
\in
\mathcal O_K
$$

或 rational integers，使用 Siegel lemma取得 nonzero coefficient vector並控制 height。

---

## R34-C：Extrapolation

從 consecutive algebraic zeros：

$$
F(0),F(1),\ldots,F(S)=0
$$

推估 additional：

- zeros；
- small values；
- derivatives；

尋找 nested BADT第二層能否提高 extrapolation range。

---

## R34-D：Zero estimate collision

最後用 exponential-polynomial / algebraic-group zero estimate限制：

$$
F
$$

不可能擁有過多 zeros，除非出現：

- rational multiplicative relation；
- algebraic subgroup；
- forbidden Type-P visibility。

這會第一次讓 auxiliary coefficient count的：

$$
T^3
$$

真正對撞 Kummer rank-$3$ complexity。

---

# 28. 一句話結論

> **Round 33 把 Type-P 原始 quadratic-log relation直接放進 algebraic truncated logarithms後，得到一個精確且永不消失的 defect：leading term正比於 $s^2(s^m-1)^2Q^{-m}$。這說明普通 Taylor truncation沒有 hidden cancellation。更重要的是，scalar arithmetic comparison存在根本的尺度失配：analytic gain每階只有 $\log Q$，而 nonzero algebraic-number lower bound支付完整 $Q^3$ Kummer-degree cost；提高 truncation order同時提高 height，因此不能消除這個 $Q^3/\log Q$ gap。**

所以 ACTM approximation route現在應正式從：

$$
\boxed{
\text{one scalar very small}
}
$$

轉成：

$$
\boxed{
\text{many algebraic conditions retained simultaneously}
}
$$

也就是 classical deep transcendence machinery真正擅長的 auxiliary-function / interpolation-determinant / zero-estimate層。

---

# 參考資料

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.  
   https://numdam.org/articles/10.1016/s0012-9593%2897%2989938-7/

2. Damien Roy and Michel Waldschmidt, **Simultaneous approximation and algebraic independence**, *The Ramanujan Journal* 1 (1997), 379–430.  
   Develops algebraic-independence criteria from simultaneous Diophantine approximation.

3. Patrice Philippon, **Une approche méthodique pour la transcendance et l'indépendance algébrique de valeurs de fonctions analytiques**, *Journal of Number Theory* 64 (1997), 291–338.  
   DOI: 10.1006/jnth.1997.2130.  
   General auxiliary-function, zero-estimate and approximation framework for transcendence / algebraic independence.

4. 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.  
   Supplies the rank-$3$ Kummer degree scale used in Rounds 29–33.

5. Lars Kühne, **Logarithms of algebraic numbers**, *Journal de Théorie des Nombres de Bordeaux* 27 (2015), 499–535.  
   DOI: 10.5802/jtnb.912.  
   A modern Padé/Siegel-lemma approach to transcendence of logarithms of algebraic numbers, useful methodological comparison for future auxiliary constructions.

---

**ACTM Round 33 完**