# ACTM Round 27
## Transcendental-Jet Algebraization、Maximal Algebraic Tangent Envelope 與 OJBP 重寫
### Transcendental-Jet Algebraization, Maximal Algebraic Tangent Envelopes, and a Reformulation of the One-Jet Bridge Problem

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-03  
**版本：** Round 27 / v0.1  
**文件性質：** 正式研究筆記／analytic-subgroup interface round  
**狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱 Four Exponentials Conjecture 已證。本輪完成的是 One-Jet Bridge Problem 的 algebraization，以及 BADT 相關 tangent directions 的 algebraic-envelope classification。核心結論是：transcendental directional jet 一旦存在於 algebraic polynomial / algebraic torus point 上，就自動升級為 ordinary algebraic multiplicity；但 BADT 的自然 tangent line、paired tangent plane與 toric-surface tangent plane皆沒有 proper $\overline{\mathbb Q}$-defined tangent envelope，因此 classical analytic-subgroup machinery不能直接替我們產生該 jet。

---

## 摘要

Round 26 將 missing bridge壓成：

**One-Jet Bridge Problem（OJBP）**

給 hypothetical real BADT$_2$：

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

其中：

$$
s
\text{ transcendental},
$$

以及 first-layer auxiliary polynomial：

$$
P
\in
\overline{\mathbb Q}
[T_1^{\pm1},T_2^{\pm1}],
$$

能否利用第二層迫使某個 algebraic first-layer grid point：

$$
x
\in
(\overline{\mathbb Q}^{\times})^2
$$

滿足：

$$
P(x)=0,
$$

$$
(\mathcal D_sP)(x)=0,
$$

其中：

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

$$
\Theta_i
=
T_i\partial_{T_i}.
$$

本輪首先證明：

## Transcendental-Jet Algebraization Lemma

對任何：

$$
r\ge0,
$$

有：

$$
\boxed{
\mathcal D_s^rP(x)=0
\iff
\Theta_1^{r-j}
\Theta_2^jP(x)=0
\quad
\forall
0\le j\le r.
}
$$

原因是：

$$
\mathcal D_s^r
=
\sum_{j=0}^{r}
\binom rj
s^j
\Theta_1^{r-j}\Theta_2^j,
$$

而：

$$
\Theta_1^{r-j}\Theta_2^jP(x)
\in
\overline{\mathbb Q}.
$$

所以：

$$
\mathcal D_s^rP(x)=0
$$

是一個 degree-$r$ polynomial relation in transcendental $s$ with algebraic coefficients，故所有 coefficients必個別為零。

因此若：

$$
\mathcal D_s^rP(x)=0
$$

對：

$$
0\le r<\tau
$$

全部成立，則所有 mixed Euler derivatives of total degree：

$$
<\tau
$$

都在 $x$ 消失。

因：

$$
x_1x_2\neq0,
$$

Euler derivatives與 ordinary local derivatives之間存在 triangular invertible change of basis。

所以：

$$
\boxed{
\operatorname{ord}_{q=0}
P
\left(
x_1e^q,
x_2e^{sq}
\right)
\ge\tau
\iff
\operatorname{mult}_x(P)\ge\tau.
}
$$

換句話說：

$$
\boxed{
\text{directional multiplicity along transcendental }s
=
\text{ordinary algebraic multiplicity}
}
$$

只要：

- polynomial coefficients algebraic；
- evaluation point algebraic。

---

特別對：

$$
\tau=2,
$$

得到：

## One-Jet Algebraization

$$
\boxed{
P(x)=0,
\quad
\mathcal D_sP(x)=0
}
$$

當且僅當：

$$
\boxed{
P(x)
=
\Theta_1P(x)
=
\Theta_2P(x)
=
0.
}
$$

因：

$$
x_i\neq0,
$$

也等價於：

$$
\boxed{
P(x)
=
\partial_{T_1}P(x)
=
\partial_{T_2}P(x)
=
0.
}
$$

所以 OJBP 可以重寫成：

> 能否由 BADT 第二層迫使 Round 25 extremal first-layer curve在某一個 algebraic grid point出現 ordinary algebraic singularity？

這比原始「產生 transcendental directional derivative zero」更具體。

---

Round 26 已證 Round 25 extremal polynomial在全部：

$$
4N^2
$$

first-layer grid points上的 zeros皆 simple。

所以：

$$
\boxed{
\text{one algebraized jet}
\Longrightarrow
\text{immediate contradiction}
}
$$

對 extremal circuit成立。

真正缺失的只剩：

$$
\boxed{
\text{jet generation}.
}
$$

---

本輪接著檢查 classical analytic-subgroup route能否直接製造這個 jet。

對 single layer，tangent direction：

$$
v_s
=
(1,s)
\in
\mathbb C^2.
$$

若：

$$
E
\subset
\mathbb C^2
$$

是 proper $\overline{\mathbb Q}$-defined complex linear subspace containing：

$$
v_s,
$$

則存在：

$$
(a,b)
\in
\overline{\mathbb Q}^2
\setminus\{0\}
$$

使：

$$
a+bs=0.
$$

這與：

$$
s
$$

transcendental矛盾。

因此：

## Single-Layer Algebraic Tangent Envelope

$$
\boxed{
\operatorname{Env}_{\overline{\mathbb Q}}
\mathbb C(1,s)
=
\mathbb C^2.
}
$$

所以 first-layer analytic direction沒有任何 proper algebraically defined tangent container。

---

第二層也不改善這一點。

考慮 paired subgroup的兩個 logarithmic generator directions：

$$
v_1
=
(1,s,1,s^2),
$$

$$
v_2
=
(s,s^2,s^2,s^4)
$$

in：

$$
\mathbb C^4.
$$

令：

$$
W_s
=
\operatorname{span}_{\mathbb C}
\{v_1,v_2\}.
$$

假設存在 nonzero：

$$
(a,b,c,d)
\in
\overline{\mathbb Q}^4
$$

annihilating：

$$
W_s.
$$

由：

$$
a+bs+c+ds^2=0
$$

及 transcendence of $s$：

$$
a+c=0,
$$

$$
b=0,
$$

$$
d=0.
$$

第二個 equation：

$$
as+bs^2+cs^2+ds^4=0
$$

因此化為：

$$
a(s-s^2)=0.
$$

因：

$$
s\neq0,1,
$$

所以：

$$
a=0,
$$

進而：

$$
c=0.
$$

故不存在 nonzero algebraic linear functional annihilating：

$$
W_s.
$$

所以：

## Paired Tangent Envelope Theorem

$$
\boxed{
\operatorname{Env}_{\overline{\mathbb Q}}
(W_s)
=
\mathbb C^4.
}
$$

也就是 BADT 第二層形成的 complex $2$-plane，雖然真實維度只有 $2$，其最小 algebraically defined linear envelope卻填滿全部 $4$ 維 ambient tangent space。

---

本輪進一步對 Round 17 的 BADT toric surface：

$$
V:
\quad
X_1^2=X_0X_2,
$$

$$
X_2^2=X_0X_3
$$

研究 tangent plane。

BADT point：

$$
Z
=
\lambda
(1,s,s^2,s^4).
$$

Jacobian linearization給：

$$
-s^2h_0+2sh_1-h_2=0,
$$

$$
-s^4h_0+2s^2h_2-h_3=0.
$$

可取 tangent basis：

$$
t_1
=
(1,0,-s^2,-3s^4),
$$

$$
t_2
=
(0,1,2s,4s^3).
$$

若 algebraic linear functional：

$$
(a,b,c,d)
\in
\overline{\mathbb Q}^4
$$

annihilates：

$$
T_ZV,
$$

從：

$$
a-cs^2-3ds^4=0
$$

立即由 transcendence得：

$$
a=c=d=0.
$$

再由：

$$
b+2cs+4ds^3=0
$$

得：

$$
b=0.
$$

因此：

## Toric Tangent Envelope Theorem

$$
\boxed{
\operatorname{Env}_{\overline{\mathbb Q}}
(T_ZV)
=
\mathbb C^4.
}
$$

所以雖然：

$$
V
$$

本身定義於：

$$
\mathbb Q,
$$

其在 hypothetical BADT point上的 tangent plane具有 maximal algebraic irrationality。

---

這與 classical analytic subgroup theory的使用條件形成精確邊界。

Wüstholz 的 analytic subgroup framework將 analytic subgroup的 algebraicity表達為其 tangent space是 algebraic-number field上的 linear subspace；multiplicity estimates也是沿這類 algebraically defined analytic subgroups發展。

BADT single direction：

$$
\mathbb C(1,s)
$$

不是 algebraically defined。

BADT paired plane：

$$
W_s
$$

也不是。

BADT toric tangent：

$$
T_ZV
$$

同樣不是。

而三者的 proper algebraic envelope全部消失：

$$
\boxed{
\text{algebraic envelope}=
\text{full ambient tangent space}.
}
$$

所以 classical analytic-subgroup theorem不能直接被套成：

> 「BADT tangent direction包含 algebraic point，因此存在 proper algebraic subgroup。」

因為所需的 proper algebraically defined tangent space本身不存在。

---

但這不是說 multiplicity machinery沒有用。

相反，本輪得到一個很清楚的 **Generation–Exploitation Split**：

### Generation

如何從 BADT nested logarithmic structure製造：

$$
\mathcal D_sP(x)=0?
$$

這一步最難，而且不能直接靠 algebraically defined tangent subgroup。

### Exploitation

一旦：

$$
\mathcal D_sP(x)=0
$$

真的成立，

Transcendental-Jet Algebraization立即給：

$$
\partial_{T_1}P(x)
=
\partial_{T_2}P(x)
=
0.
$$

所以之後完全進入 ordinary algebraic multiplicity / zero-estimate category。

因此：

$$
\boxed{
\text{after the jet exists, transcendental direction disappears from the multiplicity condition}.
}
$$

這是 Round 27 最重要的結構結果。

---

# 1. Algebraic evaluation of Euler derivatives

令：

$$
P
=
\sum_{(m,n)}
c_{m,n}
T_1^mT_2^n,
$$

其中：

$$
c_{m,n}
\in
\overline{\mathbb Q}.
$$

對 algebraic torus point：

$$
x=(x_1,x_2)
\in
(\overline{\mathbb Q}^{\times})^2,
$$

有：

$$
(\Theta_1^a\Theta_2^bP)(x)
=
\sum
c_{m,n}
m^a n^b
x_1^m x_2^n
\in
\overline{\mathbb Q}.
$$

---

# 2. Directional derivative expansion

因：

$$
\Theta_1,
\quad
\Theta_2
$$

commute，

$$
\mathcal D_s^r
=
(\Theta_1+s\Theta_2)^r.
$$

所以：

$$
\boxed{
\mathcal D_s^rP(x)
=
\sum_{j=0}^{r}
\binom rj
s^j
(\Theta_1^{r-j}\Theta_2^jP)(x).
}
$$

---

# 3. Jet algebraization

右側是：

$$
s
$$

的 polynomial，coefficients皆在：

$$
\overline{\mathbb Q}.
$$

因：

$$
s
$$

transcendental，

$$
\mathcal D_s^rP(x)=0
$$

等價於全部 coefficients為零。

即：

$$
\boxed{
\Theta_1^{r-j}\Theta_2^jP(x)=0
\quad
0\le j\le r.
}
$$

---

# 4. Higher multiplicity equivalence

假設：

$$
\mathcal D_s^rP(x)=0
$$

對：

$$
0\le r<\tau.
$$

則所有：

$$
\Theta_1^a\Theta_2^bP(x)=0
$$

只要：

$$
a+b<\tau.
$$

反方向顯然成立。

因此：

$$
\boxed{
\operatorname{ord}_{\mathcal D_s,x}(P)\ge\tau
\iff
\Theta_1^a\Theta_2^bP(x)=0
\quad
(a+b<\tau).
}
$$

---

# 5. Euler multiplicity equals ordinary multiplicity

在：

$$
x_1x_2\neq0,
$$

有：

$$
\Theta_i=x_i\partial_i
$$

at first order。

higher Euler powers與 ordinary partial derivatives之間為 triangular relation，其 top term：

$$
x_1^a x_2^b
\partial_1^a\partial_2^b.
$$

因：

$$
x_i\neq0,
$$

diagonal coefficients非零。

逐 total degree induction得到：

$$
\boxed{
\Theta_1^a\Theta_2^bP(x)=0
\quad
a+b<\tau
}
$$

當且僅當：

$$
\boxed{
\partial_1^a\partial_2^bP(x)=0
\quad
a+b<\tau.
}
$$

所以：

$$
\boxed{
\operatorname{ord}_{\mathcal D_s,x}(P)
=
\operatorname{mult}_x(P).
}
$$

在 algebraic-data setting成立。

---

# 6. One-Jet Corollary

對：

$$
\tau=2,
$$

$$
P(x)=0,
$$

$$
\mathcal D_sP(x)=0
$$

等價於：

$$
P(x)=0,
$$

$$
\Theta_1P(x)=0,
$$

$$
\Theta_2P(x)=0.
$$

也等價於：

$$
\nabla P(x)=0.
$$

---

# 7. OJBP algebraic reformulation

所以 Round 26 的 OJBP：

$$
\text{produce one }\mathcal D_s\text{-jet}
$$

可完全改寫成：

$$
\boxed{
\text{produce one algebraic singular grid point of the special BADT-derived auxiliary curve}.
}
$$

---

# 8. Why this does not solve OJBP

Transcendental-Jet Algebraization只說：

> 如果 directional jet存在，它會變成 algebraic singularity。

它不提供：

$$
\boxed{
\text{a mechanism producing that jet}.
}
$$

而 Round 26已證 ordinary finite differences不會自動產生 jet。

---

# 9. Single-layer tangent envelope

令：

$$
L_s
=
\mathbb C(1,s).
$$

任何 proper algebraically defined subspace of：

$$
\mathbb C^2
$$

containing $L_s$都會給：

$$
a+bs=0
$$

with algebraic：

$$
a,b
$$

not both zero。

不可能。

所以：

$$
\boxed{
\operatorname{Env}_{\overline{\mathbb Q}}(L_s)
=
\mathbb C^2.
}
$$

---

# 10. No algebraic direction in the two-layer algebraic span

甚至若：

$$
\alpha,\beta
\in
\overline{\mathbb Q}
$$

且：

$$
\alpha(1,s)
+
\beta(1,s^2)
\in
\overline{\mathbb Q}^2,
$$

其 second coordinate：

$$
\alpha s+\beta s^2
$$

algebraic。

因此：

$$
\beta s^2+\alpha s-\gamma=0
$$

for some algebraic：

$$
\gamma.
$$

transcendence迫使：

$$
\alpha=\beta=\gamma=0.
$$

所以：

$$
\boxed{
\text{the }\overline{\mathbb Q}\text{-span of the two transcendental directions contains no nonzero algebraic tangent vector}.
}
$$

---

# 11. Paired tangent plane

paired generators：

$$
v_1=(1,s,1,s^2),
$$

$$
v_2=(s,s^2,s^2,s^4).
$$

令：

$$
W_s=\operatorname{span}_{\mathbb C}\{v_1,v_2\}.
$$

---

# 12. No algebraic annihilator

若：

$$
\ell=(a,b,c,d)
\in
\overline{\mathbb Q}^4
$$

annihilates：

$$
v_1,
$$

則：

$$
(a+c)+bs+ds^2=0.
$$

所以：

$$
a+c=0,
$$

$$
b=d=0.
$$

再 annihilate：

$$
v_2
$$

給：

$$
a(s-s^2)=0.
$$

因此：

$$
a=c=0.
$$

所以：

$$
\ell=0.
$$

---

# 13. Maximal paired envelope

proper $\overline{\mathbb Q}$-defined subspace of：

$$
\mathbb C^4
$$

必有 nonzero algebraic linear functional annihilating它。

但：

$$
W_s
$$

沒有。

所以：

$$
\boxed{
\operatorname{Env}_{\overline{\mathbb Q}}(W_s)
=
\mathbb C^4.
}
$$

---

# 14. BADT toric tangent

variety：

$$
V:
\quad
q_1=X_1^2-X_0X_2=0,
$$

$$
q_2=X_2^2-X_0X_3=0.
$$

BADT point：

$$
Z=\lambda(1,s,s^2,s^4).
$$

Jacobian equations：

$$
-s^2h_0+2sh_1-h_2=0,
$$

$$
-s^4h_0+2s^2h_2-h_3=0.
$$

---

# 15. Tangent basis

set：

$$
(h_0,h_1)=(1,0)
$$

gives：

$$
t_1=(1,0,-s^2,-3s^4).
$$

set：

$$
(h_0,h_1)=(0,1)
$$

gives：

$$
t_2=(0,1,2s,4s^3).
$$

所以：

$$
T_ZV
=
\operatorname{span}_{\mathbb C}
\{t_1,t_2\}.
$$

---

# 16. Toric tangent algebraic envelope

若：

$$
(a,b,c,d)
$$

algebraic-annihilates $t_1$：

$$
a-cs^2-3ds^4=0.
$$

transcendence給：

$$
a=c=d=0.
$$

再 annihilate $t_2$：

$$
b=0.
$$

因此：

$$
\boxed{
\operatorname{Env}_{\overline{\mathbb Q}}
(T_ZV)
=
\mathbb C^4.
}
$$

---

# 17. Variety defined over $\mathbb Q$ but tangent maximally non-algebraic

注意：

$$
V
$$

本身由 rational equations：

$$
q_1,
q_2
$$

定義。

但：

$$
T_ZV
$$

在 transcendental BADT point上並非 algebraically defined。

所以：

$$
\boxed{
\text{Q-defined nonlinear variety}
\not\Rightarrow
\text{Qbar-defined tangent at transcendental point}.
}
$$

這正是 Roy geometry與 analytic-subgroup method之間的 interface。

---

# 18. Classical analytic-subgroup applicability barrier

Wüstholz 的 analytic subgroup theorem與其 multiplicity machinery把 algebraically defined analytic subgroup建立在 algebraically defined tangent subspace上。

BADT：

- single line沒有 proper algebraic tangent envelope；
- paired plane沒有 proper algebraic tangent envelope；
- toric tangent也沒有 proper algebraic tangent envelope。

所以：

$$
\boxed{
\text{classical algebraic-tangent subgroup theorem cannot be applied directly to the BADT directions themselves}.
}
$$

---

# 19. This is not a no-go for all zero estimates

此結論不能被誇大成：

> Philippon / Wüstholz multiplicity estimates完全無法用於 BADT。

正確說法是：

> BADT natural tangent directions不能直接作為 proper $\overline{\mathbb Q}$-defined analytic subgroup輸入。

如果某種其他 argument先把 transcendental jet algebraize成 ordinary multiplicity，之後仍可使用 algebraic-geometric zero-estimate machinery。

---

# 20. Generation–Exploitation Split

因此將 proof task正式拆成：

## Phase G — Jet Generation

從：

$$
\lambda,
s\lambda,
s^2\lambda,
s^4\lambda
\in
\mathcal L_{\mathrm{alg}}
$$

與特殊 auxiliary construction推出：

$$
\mathcal D_sP(x)=0.
$$

## Phase E — Jet Exploitation

使用：

$$
\mathcal D_sP(x)=0
$$

及 Jet Algebraization推出：

$$
x
$$

為 ordinary singular point，

再使用：

- simple-zero extremality；
- algebraic multiplicity；
- Philippon-type zero estimate；
- intersection theory。

Round 27證明：

$$
\boxed{
\text{Phase E is algebraic and rigid;}
\quad
\text{Phase G remains the genuine bottleneck.}
}
$$

---

# 21. Extremal-circuit immediate exploitation

Round 25 extremal polynomial：

$$
P_N
$$

有：

$$
4N^2+1
$$

terms，

以及：

$$
4N^2
$$

simple grid zeros。

如果 Phase G能在任一 grid point：

$$
x
$$

產生：

$$
\mathcal D_sP_N(x)=0,
$$

則：

$$
x
$$

成為 multiple zero。

Round 26 Chebyshev multiplicity bound立即 contradiction。

所以 extremal route甚至不需要完整 Philippon machinery。

---

# 22. Higher jets become fat algebraic points

如果 Phase G能產生：

$$
\mathcal D_s^rP(x)=0
$$

for：

$$
0\le r<\tau,
$$

則：

$$
\operatorname{mult}_xP\ge\tau.
$$

所以 transcendental directional jet family會轉成 ordinary fat-point scheme：

$$
\boxed{
\mathfrak m_x^\tau.
}
$$

這使 algebraic intersection / Hilbert-function tools自然可用。

---

# 23. Comparison with Roy–Waldschmidt

Roy–Waldschmidt 的 1995 / 1997 results處理 transcendence-degree-$1$ logarithm families，並能排除 nonzero rational homogeneous quadratic relations。

其方法把 Diophantine approximation與 algebraic-group zero estimates結合。

BADT則位於：

$$
\operatorname{trdeg}=2
$$

critical layer。

Round 27 顯示另一個等價表徵：

> trdeg-$2$ BADT tangent data已足夠 transcendental，使其 proper algebraic tangent envelope完全消失。

這提供一個幾何理由說明為什麼已知 trdeg-$1$ machinery不會自動延伸。

---

# 24. Fixed auxiliary under rational flattening

若固定：

$$
P
$$

且存在：

$$
q_n\to0
$$

使：

$$
P(
e^{q_n\lambda},
e^{q_n s\lambda}
)=0,
$$

則 analytic function：

$$
F(q)
=
P(e^{q\lambda},e^{qs\lambda})
$$

有 accumulating zeros。

所以：

$$
F\equiv0.
$$

因：

$$
s
$$

irrational，analytic subgroup：

$$
q\mapsto
(e^{q\lambda},e^{qs\lambda})
$$

Zariski dense in：

$$
\mathbb G_m^2.
$$

故：

$$
P=0.
$$

因此任何 rational-flattening auxiliary family必讓 polynomial本身隨：

$$
q
$$

改變。

這與 Round 20 support escape一致。

---

# 25. Why approximate jets are now natural

若：

$$
P_q
$$

隨：

$$
q\to0
$$

改變，但 degree / support / height受到 uniform control，

vanishing at：

$$
(1,1)
$$

及 nearby algebraic points可能讓：

$$
\mathcal D_sP_q(1,1)
$$

變得極小。

而：

$$
\mathcal D_sP_q(1,1)
=
U_q+sV_q,
$$

其中：

$$
U_q,V_q
\in
\overline{\mathbb Q}.
$$

這正好可以接：

- linear forms in logarithms；
- quotient-of-logarithms transcendence measures；
- Siegel lemma height control。

因此 Round 28 的自然方向不再是 exact shift identity，而是：

$$
\boxed{
\text{Approximate Jet Extraction}
\Longrightarrow
\text{exact jet via arithmetic lower bounds}.
}
$$

---

# 26. Approximate One-Jet Bridge

本輪提出：

**Approximate One-Jet Bridge Problem（AOJBP）**

構造 algebraic-coefficient auxiliaries：

$$
P_q
$$

使：

1. first-layer finite vanishing成立；
2. second-layer data迫使：
   $$
   |\mathcal D_sP_q(x_q)|
   $$
   非常小；
3. coefficient degree / height具有 quantitative upper bound；
4. Baker–Waldschmidt type lower bound迫使：
   $$
   \mathcal D_sP_q(x_q)=0.
   $$

一旦最後一步成立，Jet Algebraization立即產生 algebraic singularity。

---

# 27. Arithmetic form of the one-jet value

在 algebraic grid point：

$$
x=(x_1,x_2),
$$

令：

$$
U=(\Theta_1P)(x),
$$

$$
V=(\Theta_2P)(x).
$$

則：

$$
\boxed{
(\mathcal D_sP)(x)
=
U+sV.
}
$$

又：

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

所以：

$$
(\mathcal D_sP)(x)
=
\frac{
U\log A
+
V\log B
}{
\log A
}.
$$

因此 approximate one-jet正是：

$$
\boxed{
\text{a linear form in two logarithms with algebraic coefficients}.
}
$$

這比 Round 22 的 rational-function ASRP更接近 classical Baker theory。

---

# 28. Quantitative opportunity

若：

$$
U,
V
$$

的 degrees / heights可由 auxiliary construction控制，

現有 linear-form-in-logarithms lower bounds可對：

$$
U\log A+V\log B
$$

給 effective nonzero lower bound。

所以只要 second-layer construction給的 analytic upper bound更小，便能迫使：

$$
U\log A+V\log B=0.
$$

而 Baker linear independence又會進一步迫使：

$$
U=V=0
$$

under the relevant algebraicity assumptions。

這與 Jet Algebraization相符。

---

# 29. New shortest plausible route

Round 27後，目前最短看起來合理的 route變成：

$$
\boxed{
\text{BADT second layer}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{construct }P_q
\text{ with controlled height}
}
$$

$$
\Downarrow
$$

$$
\boxed{
|\mathcal D_sP_q(x_q)|
\text{ extremely small}
}
$$

$$
\Downarrow
\quad
\text{Baker/Waldschmidt}
$$

$$
\boxed{
\mathcal D_sP_q(x_q)=0
}
$$

$$
\Downarrow
\quad
\text{Jet Algebraization}
$$

$$
\boxed{
x_q
\text{ algebraic singular point}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{extremal/multiplicity contradiction}.
}
$$

---

# 30. Round 27 判定

**PASS — Transcendental directional jets algebraize completely at algebraic data; all natural BADT tangent objects have maximal algebraic envelopes; the missing bridge is isolated to jet generation rather than multiplicity exploitation**

本輪完成：

1. 建立 Transcendental-Jet Algebraization Lemma。

2. 證：
   $$
   \mathcal D_s^rP(x)=0
   $$
   等價於所有 total-degree-$r$ mixed Euler derivatives個別為零。

3. 將 directional multiplicity等價為 ordinary algebraic multiplicity。

4. 建立 One-Jet Algebraization：
   $$
   P=\mathcal D_sP=0
   \iff
   P=\Theta_1P=\Theta_2P=0.
   $$

5. 將 OJBP改寫成 algebraic singularity generation problem。

6. 證 single tangent line algebraic envelope：
   $$
   \mathbb C^2.
   $$

7. 證兩個 BADT directions沒有 nonzero algebraic linear combination giving an algebraic tangent vector。

8. 證 paired tangent plane algebraic envelope：
   $$
   \mathbb C^4.
   $$

9. 計算 BADT toric tangent basis。

10. 證 toric tangent algebraic envelope：
    $$
    \mathbb C^4.
    $$

11. 識別「Q-defined variety / maximally non-Qbar tangent」現象。

12. 說明 Wüstholz analytic-subgroup direct route的 applicability barrier。

13. 建立 Generation–Exploitation Split。

14. 確認 extremal circuit只需一個 jet即可立即 contradiction。

15. 將 higher directional jets轉成 ordinary fat points。

16. 將 rational flattening下的下一步定位成 Approximate One-Jet Bridge。

17. 識別 one-jet value為：
    $$
    U\log A+V\log B
    $$
    型 algebraic-coefficient linear form in logarithms。

18. 提出 AOJBP。

---

# 31. Round 28 正式入口

Round 28 不再研究 tangent envelope。

直接攻：

$$
\boxed{
\text{Approximate One-Jet Bridge（AOJBP）}.
}
$$

## R28-A：Taylor extraction from collapsing algebraic points

利用 rational flattening：

$$
q\lambda\to0.
$$

若 auxiliary：

$$
P_q
$$

同時在：

$$
(1,1)
$$

與 nearby BADT-related algebraic points為零，

Taylor展開估計：

$$
|\mathcal D_sP_q(1,1)|
$$

的上界。

---

## R28-B：Height bookkeeping

對：

$$
U_q
=
(\Theta_1P_q)(1,1),
$$

$$
V_q
=
(\Theta_2P_q)(1,1),
$$

建立：

- algebraic degree；
- logarithmic height；

的 upper bounds。

---

## R28-C：Linear form in logarithms

使用：

$$
\mathcal D_sP_q(1,1)
=
\frac{
U_q\log A+V_q\log B
}{
\log A
}.
$$

套 Baker / Waldschmidt / Matveev 類 lower bounds。

如果 analytic Taylor upper bound低於 arithmetic lower bound，即迫使 exact zero。

---

## R28-D：One singular point contradiction

exact jet一旦得到：

$$
U_q=V_q=0.
$$

對 extremal first-layer circuit立即違反 simple-zero theorem。

不需要再進一般 multiplicity machinery。

---

# 32. 一句話結論

> **Round 27 發現一個非常有利的「方向非代數／零值代數化」雙面性：BADT 的方向 $(1,s)$ 及所有自然兩層 tangent objects都沒有 proper algebraically defined tangent envelope，所以經典 analytic-subgroup machinery無法直接替我們產生 jet；但只要 $\mathcal D_sP(x)=0$ 真正在 algebraic polynomial / algebraic torus point上成立，$s$ 的 transcendence反而會把它拆成 $\Theta_1P(x)=\Theta_2P(x)=0$，即 ordinary algebraic singularity。**

所以真正 missing 的只剩：

$$
\boxed{
\text{generate one jet}.
}
$$

而最自然的新方法是：

$$
\boxed{
\text{approximate jet}
+
\text{linear forms in logarithms}
\Longrightarrow
\text{exact jet}.
}
$$

---

# 參考資料

1. Gisbert Wüstholz, **Multiplicity estimates on group varieties**, *Annals of Mathematics* 129 (1989), 471–500.  
   DOI: 10.2307/1971514.

2. Gisbert Wüstholz, **Algebraische Punkte auf analytischen Untergruppen algebraischer Gruppen**, *Annals of Mathematics* 129 (1989), 501–517.  
   DOI: 10.2307/1971515.  
   The analytic-subgroup framework formulates algebraicity through algebraically defined tangent subspaces.

3. Patrice Philippon, **Lemmes de zéros dans les groupes algébriques commutatifs**, *Bulletin de la Société Mathématique de France* 114 (1986), 355–383.  
   DOI: 10.24033/bsmf.2060.

4. Damien Roy and Michel Waldschmidt, **Quadratic Relations between Logarithms of Algebraic Numbers**, *Proceedings of the Japan Academy, Series A* 71 (1995), 151–153.  
   The paper proves the transcendence-degree-$1$ quadratic-relation case and uses a special case of Philippon's zero estimate.

5. 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.  
   Develops algebraic-independence methods for multi-parameter subgroups and proves nonvanishing of rational quadratic forms for logarithm families of transcendence degree $1$.

6. Michel Waldschmidt, **Diophantine Approximation on Linear Algebraic Groups**, Grundlehren der mathematischen Wissenschaften 326, Springer, 2000.  
   Contains chapters on zero estimates, multiplicity estimates, logarithms, and the Linear Subgroup Theorem.

---

**ACTM Round 27 完**