# ACTM Round 5
## Type P 的二次窗口、三次牆與投影協變性
### The Quadratic Window, Cubic Wall, and Projective Covariance of the Type-P Logarithmic Chain

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-09-30  
**版本：** Round 5 / v0.1  
**文件性質：** 正式研究筆記／Type-P reduction  
**狀態聲明：** 本輪仍在 Four Exponentials Conjecture 的 hypothetical-counterexample 分析中，不宣稱解決該猜想。本輪主要使用 Baker 線性獨立理論、Six Exponentials Theorem，以及 Roy–Waldschmidt 的 quadratic-relation / transcendence-degree-$1$ 結果。

---

## 摘要

ACTM Round 4 將 hypothetical Four Exponentials counterexample 分成 Type P 與 Type B。

Type P 可經 rational projective normalization 化為：

$$
\lambda,
\quad
t\lambda,
\quad
t^2\lambda
\in
\mathcal L_{\mathrm{alg}},
$$

其中：

$$
\mathcal L_{\mathrm{alg}}
=
\left\{
z\in\mathbb C:
e^z\in\overline{\mathbb Q}^{\times}
\right\},
$$

而：

$$
t
$$

為超越數。

Round 4 已得到：

$$
t^3\lambda
\notin
\mathcal L_{\mathrm{alg}},
$$

以及：

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

Round 5 將這個三項 chain 進一步視為一個「多項式作用窗口」。

因 $\mathcal L_{\mathrm{alg}}$ 為 $\mathbb Q$-向量空間：

$$
\lambda,
\quad
t\lambda,
\quad
t^2\lambda
\in
\mathcal L_{\mathrm{alg}}
$$

立即推出：

$$
\boxed{
\lambda P(t)
\in
\mathcal L_{\mathrm{alg}}
\qquad
\forall
P\in\mathbb Q[X],
\ \deg P\le2.
}
$$

另一方面：

$$
t^3\lambda
\notin
\mathcal L_{\mathrm{alg}}
$$

推出任何真正三次 rational polynomial 都逃逸：

$$
\boxed{
\lambda P(t)
\notin
\mathcal L_{\mathrm{alg}}
\qquad
\forall
P\in\mathbb Q[X],
\ \deg P=3.
}
$$

因此 hypothetical Type P state 具有一條精確的：

$$
\boxed{
\text{Quadratic Window}
\quad/\quad
\text{Cubic Wall}.
}
$$

在 exponential output 語言：

$$
\boxed{
\deg P\le2
\Rightarrow
e^{\lambda P(t)}
\in
\overline{\mathbb Q}^{\times},
}
$$

但：

$$
\boxed{
\deg P=3
\Rightarrow
e^{\lambda P(t)}
\text{ is transcendental}.
}
$$

本輪還得到更精確的 multiplier-intersection saturation：

$$
\boxed{
\mathfrak M_\lambda
\cap
t^{-1}\mathfrak M_\lambda
=
\mathbb Q+\mathbb Qt.
}
$$

也就是在 multiplier space 中，能同時承受一次乘 $t$ 而不離開 algebraic-log locus 的方向，恰好只有：

$$
1
\quad\text{與}\quad
t.
$$

最後，本輪證明 Type P 的 quadratic window / cubic wall 對所有 rational Möbius transformations 協變。對：

$$
g(z)
=
\frac{r+sz}{p+qz}
\in
\operatorname{PGL}_2(\mathbb Q),
$$

定義：

$$
t_g=g(t),
$$

及：

$$
\lambda_g
=
\lambda(p+qt)^2.
$$

則：

$$
\boxed{
\lambda_g,
\quad
t_g\lambda_g,
\quad
t_g^2\lambda_g
\in
\mathcal L_{\mathrm{alg}},
}
$$

但：

$$
\boxed{
t_g^3\lambda_g
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

而且：

$$
\boxed{
\mathbb Q(\lambda_g,t_g)
=
\mathbb Q(\lambda,t).
}
$$

因此 Type P 並不是某個特殊座標 $t$ 的偶然現象，而是一個完整的：

$$
\boxed{
\operatorname{PGL}_2(\mathbb Q)
\text{-covariant critical state}.
}
$$

---

# 1. Type P 的 canonical input

本輪固定：

$$
0\neq
\lambda
\in
\mathcal L_{\mathrm{alg}},
$$

及：

$$
t\in\mathbb C\setminus\mathbb Q
$$

使：

$$
\boxed{
\lambda,
\quad
t\lambda,
\quad
t^2\lambda
\in
\mathcal L_{\mathrm{alg}}.
}
$$

由 Round 2：

$$
t
$$

不能是 algebraic irrational，所以：

$$
\boxed{
t
\text{ is transcendental}.
}
$$

由 Round 4：

$$
\boxed{
t^3\lambda
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

---

# 2. Q-linear independence of the chain

因 $t$ 超越：

$$
1,t,t^2
$$

在：

$$
\mathbb Q
$$

上線性獨立。

所以：

$$
\boxed{
\lambda,
\quad
t\lambda,
\quad
t^2\lambda
}
$$

在 $\mathbb Q$ 上線性獨立。

由 Baker rigidity，它們在：

$$
\overline{\mathbb Q}
$$

上也線性獨立。

因此這是一組真正三維的 algebraic-log configuration。

---

# 3. Quadratic Window

令：

$$
P(X)
=
q_0+q_1X+q_2X^2
\in
\mathbb Q[X].
$$

則：

$$
\lambda P(t)
=
q_0\lambda
+
q_1t\lambda
+
q_2t^2\lambda.
$$

因：

$$
\mathcal L_{\mathrm{alg}}
$$

為 $\mathbb Q$-向量空間，所以：

$$
\boxed{
\lambda P(t)
\in
\mathcal L_{\mathrm{alg}}.
}
$$

因此：

$$
\boxed{
\lambda\,
\mathbb Q[t]_{\le2}
\subseteq
\mathcal L_{\mathrm{alg}}.
}
$$

其中：

$$
\mathbb Q[t]_{\le2}
=
\left\{
q_0+q_1t+q_2t^2:
q_i\in\mathbb Q
\right\}.
$$

---

# 4. Exponential form of the Quadratic Window

由定義：

$$
z\in
\mathcal L_{\mathrm{alg}}
\iff
e^z
\in
\overline{\mathbb Q}^{\times}.
$$

所以：

$$
\boxed{
e^{\lambda P(t)}
\in
\overline{\mathbb Q}^{\times}
}
$$

對所有：

$$
P\in
\mathbb Q[X],
\qquad
\deg P\le2
$$

成立。

因此一個 hypothetical Type P counterexample 不只給三個 algebraic exponential values。

它實際給出整個三維 rational function family：

$$
\boxed{
P
\mapsto
e^{\lambda P(t)},
\qquad
P\in
\mathbb Q[X]_{\le2},
}
$$

全部落在：

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

---

# 5. Cubic Wall

現在令：

$$
P(X)
=
q_0+q_1X+q_2X^2+q_3X^3
\in
\mathbb Q[X],
$$

且：

$$
q_3\neq0.
$$

假設：

$$
\lambda P(t)
\in
\mathcal L_{\mathrm{alg}}.
$$

因：

$$
\lambda
(q_0+q_1t+q_2t^2)
\in
\mathcal L_{\mathrm{alg}},
$$

兩者相減得到：

$$
q_3t^3\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

由：

$$
q_3\in\mathbb Q^\times
$$

及 $\mathcal L_{\mathrm{alg}}$ 的 $\mathbb Q$-向量空間結構：

$$
t^3\lambda
\in
\mathcal L_{\mathrm{alg}}.
$$

這與 Six Exponentials 給出的：

$$
t^3\lambda
\notin
\mathcal L_{\mathrm{alg}}
$$

矛盾。

因此：

$$
\boxed{
\deg P=3
\Rightarrow
\lambda P(t)
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

---

# 6. Exponential Cubic Wall

所以：

$$
\boxed{
P\in\mathbb Q[X],
\quad
\deg P=3
\Rightarrow
e^{\lambda P(t)}
\text{ is transcendental}.
}
$$

於是 hypothetical Type P state 具有精確 degree boundary：

$$
\boxed{
\begin{array}{c}
\deg P\le2
\\
\Downarrow
\\
e^{\lambda P(t)}
\text{ algebraic}
\end{array}
}
$$

但：

$$
\boxed{
\begin{array}{c}
\deg P=3
\\
\Downarrow
\\
e^{\lambda P(t)}
\text{ transcendental}.
\end{array}
}
$$

---

# 7. Filtered Polynomial Descent Space

定義：

$$
\mathcal F_k(\lambda,t)
=
\left\{
P\in\mathbb Q[X]_{\le k}:
\lambda P(t)
\in
\mathcal L_{\mathrm{alg}}
\right\}.
$$

則 Type P 中：

$$
\boxed{
\mathcal F_0
=
\mathbb Q[X]_{\le0},
}
$$

$$
\boxed{
\mathcal F_1
=
\mathbb Q[X]_{\le1},
}
$$

$$
\boxed{
\mathcal F_2
=
\mathbb Q[X]_{\le2},
}
$$

但：

$$
\boxed{
\mathcal F_3
=
\mathbb Q[X]_{\le2}.
}
$$

也就是 filtration 在 degree $3$ 第一次停止增長。

---

# 8. First Escape Degree

定義：

$$
\operatorname{FED}_{\lambda}(t)
=
\min
\left\{
d\ge0:
\exists
P\in\mathbb Q[X],
\ \deg P=d,
\ 
\lambda P(t)
\notin
\mathcal L_{\mathrm{alg}}
\right\}.
$$

對 Type P：

$$
\boxed{
\operatorname{FED}_{\lambda}(t)=3.
}
$$

此量描述：

> rational polynomial action 在哪一個最低 degree 首次無法保持 algebraic descent。

---

# 9. Multiplier-space formulation

定義：

$$
\mathfrak M_\lambda
=
\left\{
c\in\mathbb C:
c\lambda
\in
\mathcal L_{\mathrm{alg}}
\right\}.
$$

Type P 給出：

$$
\boxed{
1,t,t^2
\in
\mathfrak M_\lambda.
}
$$

但：

$$
\boxed{
t^3
\notin
\mathfrak M_\lambda.
}
$$

因此：

$$
\mathbb Q[t]_{\le2}
\subseteq
\mathfrak M_\lambda.
$$

但沒有：

$$
\mathbb Q[t]_{\le3}
\subseteq
\mathfrak M_\lambda.
$$

---

# 10. Shift Intersection

考慮：

$$
W_\lambda(t)
=
\mathfrak M_\lambda
\cap
t^{-1}\mathfrak M_\lambda.
$$

由：

$$
1,t,t^2
\in
\mathfrak M_\lambda,
$$

可知：

$$
1\in
W_\lambda(t)
$$

且：

$$
t\in
W_\lambda(t).
$$

所以：

$$
\dim_{\mathbb Q}
W_\lambda(t)
\ge2.
$$

另一方面，Round 3 由 Six Exponentials 已證：

$$
\dim_{\mathbb Q}
W_\lambda(t)
\le2.
$$

故：

$$
\boxed{
W_\lambda(t)
=
\mathbb Q+\mathbb Qt.
}
$$

---

# 11. Exact Shift-Saturation Law

上一式可改寫成：

$$
\boxed{
c\lambda
\in
\mathcal L_{\mathrm{alg}}
\quad\text{且}\quad
tc\lambda
\in
\mathcal L_{\mathrm{alg}}
}
$$

當且僅當：

$$
\boxed{
c
\in
\mathbb Q+\mathbb Qt.
}
$$

這是 Type P 的精確 multiplier-shift law。

因此：

> multiplier space 可以包含其他未知元素，但任何還能再乘一次 $t$ 而留在同一 multiplier space 的元素，只能落在二維空間 $\mathbb Q+\mathbb Qt$。

---

# 12. Maximal Six-Exponentials Saturation

因：

$$
\dim_{\mathbb Q}
W_\lambda(t)=2,
$$

Type P 恰好達到 Six Exponentials 所允許的最大值。

所以 hypothetical Type P state 不是一般的 multiplier anomaly，而是：

$$
\boxed{
\text{maximally saturated Six-Exponentials boundary state}.
}
$$

Four Exponentials 若成立，就表示這個 maximal boundary state 根本不存在。

---

# 13. Quadratic relation as a conic

令：

$$
\mu=t\lambda,
$$

$$
\nu=t^2\lambda.
$$

則：

$$
\boxed{
\mu^2=\lambda\nu.
}
$$

所以：

$$
(\lambda,\mu,\nu)
$$

位於 quadratic cone：

$$
V:
X_2^2-X_1X_3=0.
$$

且：

$$
\lambda,\mu,\nu
\in
\mathcal L_{\mathrm{alg}}.
$$

---

# 14. Q-linear independence on the conic

因：

$$
1,t,t^2
$$

在 $\mathbb Q$ 上線性獨立：

$$
\boxed{
\lambda,\mu,\nu
}
$$

也在 $\mathbb Q$ 上線性獨立。

因此該點不落在任何一維 $\mathbb Q$-defined vector subspace 中。

---

# 15. Roy–Waldschmidt threshold

Roy–Waldschmidt 的 1995 quadratic-relations theorem 表明：

若一組 algebraic logarithms 位於一個由 $\mathbb Q$ 定義的 homogeneous quadratic variety 上，而且其生成 field 的 transcendence degree 為 $1$，則該點必落入一個由 $\mathbb Q$ 定義、且完全包含在該 quadratic variety 中的 vector subspace。

對：

$$
X_2^2-X_1X_3=0
$$

這個 smooth projective conic 的 affine cone而言，非零 proper linear subspaces contained in the cone 只能是一維 lines。

因此，若：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,\mu,\nu)=1,
$$

則：

$$
\lambda,\mu,\nu
$$

必 $\mathbb Q$-線性相依。

這與目前 configuration 矛盾。

所以：

$$
\boxed{
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,\mu,\nu)
\ge2.
}
$$

---

# 16. Exact transcendence degree of Type P

另一方面：

$$
\mu=t\lambda,
\qquad
\nu=t^2\lambda.
$$

所以：

$$
\mathbb Q(\lambda,\mu,\nu)
\subseteq
\mathbb Q(\lambda,t).
$$

而：

$$
t=\frac{\mu}{\lambda}.
$$

故：

$$
\mathbb Q(\lambda,\mu,\nu)
=
\mathbb Q(\lambda,t).
$$

此 field 由兩個元素生成，因此：

$$
\operatorname{trdeg}_{\mathbb Q}
\mathbb Q(\lambda,t)
\le2.
$$

結合前述下界：

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

因此：

$$
\boxed{
\lambda
\text{ 與 }
t
\text{ algebraically independent}.
}
$$

---

# 17. Type P 是第一個 surviving quadratic layer

Roy–Waldschmidt 的結果排除了：

$$
\operatorname{trdeg}=1
$$

的 quadratic-log relation。

Type P 又只有：

$$
\operatorname{trdeg}\le2.
$$

所以 hypothetical Type P state 必精確位於：

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

因此從 ACTM 的角度：

$$
\boxed{
\text{Type P is the first surviving transcendence-degree layer above the known theorem.}
}
$$

---

# 18. Rational projective covariance

取：

$$
P
=
\begin{pmatrix}
p&q\\
r&s
\end{pmatrix}
\in
\operatorname{GL}_2(\mathbb Q).
$$

定義：

$$
g(t)
=
\frac{r+st}{p+qt}.
$$

因 $t$ 超越：

$$
p+qt\neq0.
$$

令：

$$
t_g
=
g(t),
$$

以及：

$$
\boxed{
\lambda_g
=
\lambda(p+qt)^2.
}
$$

---

# 19. $\lambda_g$ 仍是 algebraic logarithm

展開：

$$
\lambda_g
=
p^2\lambda
+
2pq\,t\lambda
+
q^2t^2\lambda.
$$

右側是：

$$
\lambda,
\quad
t\lambda,
\quad
t^2\lambda
$$

的 rational linear combination。

所以：

$$
\boxed{
\lambda_g
\in
\mathcal L_{\mathrm{alg}}.
}
$$

---

# 20. 第一 transformed term

有：

$$
t_g\lambda_g
=
\lambda
(p+qt)(r+st).
$$

展開為：

$$
t_g\lambda_g
=
pr\lambda
+
(ps+qr)t\lambda
+
qs\,t^2\lambda.
$$

因此：

$$
\boxed{
t_g\lambda_g
\in
\mathcal L_{\mathrm{alg}}.
}
$$

---

# 21. 第二 transformed term

同樣：

$$
t_g^2\lambda_g
=
\lambda(r+st)^2.
$$

即：

$$
t_g^2\lambda_g
=
r^2\lambda
+
2rs\,t\lambda
+
s^2t^2\lambda.
$$

故：

$$
\boxed{
t_g^2\lambda_g
\in
\mathcal L_{\mathrm{alg}}.
}
$$

---

# 22. Projective Type-P Covariance

因此：

$$
\boxed{
\lambda_g,
\quad
t_g\lambda_g,
\quad
t_g^2\lambda_g
\in
\mathcal L_{\mathrm{alg}}
}
$$

對所有：

$$
g
\in
\operatorname{PGL}_2(\mathbb Q)
$$

成立。

也就是 Type P closed under rational projective reparameterization。

---

# 23. Field invariance

因：

$$
t_g=g(t)
$$

且 $g$ 可逆：

$$
t
=
g^{-1}(t_g)
\in
\mathbb Q(t_g).
$$

另外：

$$
\lambda_g
=
\lambda(p+qt)^2,
$$

所以：

$$
\lambda
=
\frac{\lambda_g}{(p+qt)^2}
\in
\mathbb Q(\lambda_g,t_g).
$$

反方向顯然：

$$
\lambda_g,t_g
\in
\mathbb Q(\lambda,t).
$$

因此：

$$
\boxed{
\mathbb Q(\lambda_g,t_g)
=
\mathbb Q(\lambda,t).
}
$$

故：

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

---

# 24. Projective Cubic Wall

因 transformed pair：

$$
(\lambda_g,t_g)
$$

仍是 Type P configuration，Six Exponentials 再次給出：

$$
\boxed{
t_g^3\lambda_g
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

代回：

$$
t_g
=
\frac{r+st}{p+qt}
$$

及：

$$
\lambda_g
=
\lambda(p+qt)^2,
$$

得到：

$$
\boxed{
\lambda
\frac{(r+st)^3}{p+qt}
\notin
\mathcal L_{\mathrm{alg}}.
}
$$

對所有：

$$
\begin{pmatrix}
p&q\\
r&s
\end{pmatrix}
\in
\operatorname{GL}_2(\mathbb Q)
$$

成立。

這是 ordinary cubic wall 的 projective rational-function version。

---

# 25. Projective cubic wall 為何不立刻矛盾

若：

$$
\frac{(r+st)^3}{p+qt}
$$

能化成 degree-$2$ rational polynomial in $t$，則它會落入 Quadratic Window，立刻造成矛盾。

但：

$$
p+qt
$$

若整除：

$$
(r+st)^3
$$

於：

$$
\mathbb Q[t],
$$

則線性因子：

$$
p+qt
$$

與：

$$
r+st
$$

必 proportional。

這會導致：

$$
ps-qr=0,
$$

與：

$$
P\in\operatorname{GL}_2(\mathbb Q)
$$

矛盾。

所以 projective covariance 本身尚不會自動關閉 Type P。

---

# 26. Projective Shift-Saturation

對 transformed configuration 定義：

$$
\mathfrak M_{\lambda_g}
=
\left\{
c:
c\lambda_g
\in
\mathcal L_{\mathrm{alg}}
\right\}.
$$

完全相同的 Six Exponentials argument 給出：

$$
\boxed{
\mathfrak M_{\lambda_g}
\cap
t_g^{-1}
\mathfrak M_{\lambda_g}
=
\mathbb Q+\mathbb Qt_g.
}
$$

因此 exact shift-saturation 也是：

$$
\boxed{
\operatorname{PGL}_2(\mathbb Q)
\text{-covariant}.
}
$$

---

# 27. Projective First Escape Degree

同樣：

$$
\boxed{
\operatorname{FED}_{\lambda_g}(t_g)=3
}
$$

對所有 rational projective coordinates 成立。

所以 degree-$3$ escape 不是原坐標 artifact。

它是 Type P 的 projective invariant phenomenon。

---

# 28. Type P 的完整 Round-5 signature

任何 hypothetical Type P state 必同時滿足：

$$
\boxed{
t
\text{ transcendental}
}
$$

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

$$
\boxed{
\lambda\mathbb Q[t]_{\le2}
\subseteq
\mathcal L_{\mathrm{alg}}
}
$$

$$
\boxed{
\lambda P(t)
\notin
\mathcal L_{\mathrm{alg}}
\quad
\forall
P\in\mathbb Q[X],
\ \deg P=3
}
$$

$$
\boxed{
\mathfrak M_\lambda
\cap
t^{-1}\mathfrak M_\lambda
=
\mathbb Q+\mathbb Qt
}
$$

以及對所有：

$$
g\in
\operatorname{PGL}_2(\mathbb Q)
$$

都有同型條件成立。

---

# 29. 這比三個 algebraic exponentials 更強

如果只寫：

$$
e^\lambda,
\quad
e^{t\lambda},
\quad
e^{t^2\lambda}
$$

全部代數，看起來只是三個指定數值。

但 Round 5 顯示它實際等價於產生一個完整 quadratic descent window：

$$
\boxed{
\left\{
e^{\lambda(q_0+q_1t+q_2t^2)}
:
q_0,q_1,q_2\in\mathbb Q
\right\}
\subseteq
\overline{\mathbb Q}^{\times}.
}
$$

因此 Type P 應被視為：

$$
\boxed{
\text{a three-dimensional rational algebraic-descent plane}
}
$$

而不是三個孤立 algebraic outputs。

---

# 30. 但這個 plane 不能被 $t$ 穩定

若：

$$
\mathbb Q[t]_{\le2}
$$

在乘 $t$ 後仍全部留在：

$$
\mathfrak M_\lambda,
$$

則特別有：

$$
t^3\in\mathfrak M_\lambda,
$$

與 Cubic Wall 矛盾。

所以：

$$
\boxed{
t\cdot
\mathbb Q[t]_{\le2}
\not\subseteq
\mathfrak M_\lambda.
}
$$

精確而言，能被乘 $t$ 後保留的部分只有：

$$
\boxed{
\mathbb Q+\mathbb Qt.
}
$$

---

# 31. ACTM interpretation：臨界截斷模組

Type P 的 multiplier behavior 可以寫成：

$$
1
\overset{\times t}{\longrightarrow}
t
\overset{\times t}{\longrightarrow}
t^2
\overset{\times t}{\longrightarrow}
t^3.
$$

前三點：

$$
1,t,t^2
$$

都位於：

$$
\mathfrak M_\lambda.
$$

第四點：

$$
t^3
$$

第一次離開。

所以這是一個：

$$
\boxed{
\text{truncated } \mathbb Q[t]\text{-module of depth }2.
}
$$

但需注意：

$$
\mathfrak M_\lambda
$$

本身並不宣稱是一個 $\mathbb Q[t]$-module。

恰好相反，Round 5 正是在量化它何處停止具備這種 closure。

---

# 32. 與 Matrix Coefficient Conjecture 的接點

Type P 對應 symmetric Hankel matrix：

$$
M
=
\begin{pmatrix}
\lambda&\mu\\
\mu&\nu
\end{pmatrix},
$$

其中：

$$
\mu^2=\lambda\nu.
$$

所以：

$$
\det M=0.
$$

而：

$$
\lambda,\mu,\nu
$$

在 $\mathbb Q$ 上線性獨立。

Matrix Coefficient Conjecture 預測：

$$
M
$$

不可能同時具備這些性質。

Dasgupta–Kakde 2026 的方法把問題轉向 auxiliary polynomials 的 support，而不是只控制 total degree。

這與 Round 5 的：

$$
\text{degree-2 full window}
\quad/\quad
\text{degree-3 complete escape}
$$

有直接方法論呼應。

目前尚未得到把兩者接成證明的 implication。

---

# 33. 一個更窄的支持問題

Round 5 提出下一個研究問題：

給定 Type P，定義：

$$
\Sigma_{\lambda,t}
=
\left\{
P\in\mathbb Q[X]:
\lambda P(t)
\in
\mathcal L_{\mathrm{alg}}
\right\}.
$$

目前已知：

$$
\mathbb Q[X]_{\le2}
\subseteq
\Sigma_{\lambda,t},
$$

但：

$$
\boxed{
\Sigma_{\lambda,t}
\cap
\left\{
P:\deg P=3
\right\}
=
\varnothing.
}
$$

對 degree：

$$
\ge4
$$

則目前未知。

因此可以研究：

$$
\boxed{
\operatorname{Supp}
(\Sigma_{\lambda,t})
}
$$

而不只研究 degree。

這正可能與 Matrix Coefficient Conjecture 的 support-based strategy 接軌。

---

# 34. Projective support problem

因 Type P 在：

$$
\operatorname{PGL}_2(\mathbb Q)
$$

下協變，普通 polynomial support 並非天然 invariant。

更自然的对象可能是：

$$
\boxed{
\text{binary-form support on } \mathbb P^1.
}
$$

也就是把：

$$
P(t)
$$

齊次化為：

$$
F(U,V),
$$

並研究：

$$
\lambda
F(1,t)
$$

是否屬於：

$$
\mathcal L_{\mathrm{alg}}.
$$

Quadratic Window 對應：

$$
\operatorname{Sym}^2(\mathbb Q^2),
$$

其維度：

$$
3.
$$

而 Cubic Wall 表明：

$$
\operatorname{Sym}^3(\mathbb Q^2)
$$

不能以同樣方式完整下降。

因此：

$$
\boxed{
\text{Type P naturally lives on the boundary }
\operatorname{Sym}^2
\rightarrow
\operatorname{Sym}^3.
}
$$

---

# 35. Symmetric-power interpretation

取：

$$
v=
\begin{pmatrix}
1\\
t
\end{pmatrix}.
$$

Type P 的三個 generators：

$$
1,
\quad
t,
\quad
t^2
$$

正是：

$$
\operatorname{Sym}^2(v)
$$

的 coordinates。

因此：

$$
\lambda,
\quad
t\lambda,
\quad
t^2\lambda
$$

可視為：

$$
\boxed{
\lambda\operatorname{Sym}^2(v).
}
$$

而下一階：

$$
1,t,t^2,t^3
$$

屬於：

$$
\operatorname{Sym}^3(v).
$$

Six Exponentials 告訴我們：

$$
\lambda\operatorname{Sym}^3(v)
$$

不能全部落入：

$$
\mathcal L_{\mathrm{alg}}.
$$

所以：

$$
\boxed{
\operatorname{Sym}^2
\text{ is hypothetically admissible,}
\qquad
\operatorname{Sym}^3
\text{ is forbidden.}
}
$$

這提供 Round 6 的自然入口。

---

# 36. Round 5 判定

**PASS — Type P compressed to a projectively covariant quadratic-window / cubic-wall state**

本輪完成：

1. 建立完整 Quadratic Window：
   $$
   \lambda\mathbb Q[t]_{\le2}
   \subseteq
   \mathcal L_{\mathrm{alg}}.
   $$

2. 建立完整 Cubic Wall：
   $$
   \deg P=3
   \Rightarrow
   \lambda P(t)
   \notin
   \mathcal L_{\mathrm{alg}}.
   $$

3. 得到 exponential degree boundary：
   $$
   \deg P\le2
   \Rightarrow
   e^{\lambda P(t)}
   \text{ algebraic},
   $$
   $$
   \deg P=3
   \Rightarrow
   e^{\lambda P(t)}
   \text{ transcendental}.
   $$

4. 定義 Filtered Polynomial Descent Space：
   $$
   \mathcal F_k.
   $$

5. 定義 First Escape Degree：
   $$
   \operatorname{FED}_\lambda(t)=3.
   $$

6. 證明 exact shift-saturation：
   $$
   \mathfrak M_\lambda
   \cap
   t^{-1}\mathfrak M_\lambda
   =
   \mathbb Q+\mathbb Qt.
   $$

7. 用 Roy–Waldschmidt quadratic relation theorem 再次確認：
   $$
   \operatorname{trdeg}
   \mathbb Q(\lambda,t)=2.
   $$

8. 證明 Type P 對：
   $$
   \operatorname{PGL}_2(\mathbb Q)
   $$
   協變。

9. 得到 projective cubic wall：
   $$
   \lambda
   \frac{(r+st)^3}{p+qt}
   \notin
   \mathcal L_{\mathrm{alg}}.
   $$

10. 將 Type P 重寫為：
    $$
    \operatorname{Sym}^2
    \text{ admissible}
    \quad/\quad
    \operatorname{Sym}^3
    \text{ forbidden}.
    $$

---

# 37. Round 6 正式入口

下一輪建議不再只用單變量 degree。

改以：

$$
\boxed{
\operatorname{Sym}^2
\rightarrow
\operatorname{Sym}^3
}
$$

的 representation / support transition 為研究核心。

具體問題：

## R6-Q1

Type P 為什麼能容納完整：

$$
\lambda\operatorname{Sym}^2(v)
$$

但不能容納：

$$
\lambda\operatorname{Sym}^3(v)?
$$

---

## R6-Q2

能否將 Dasgupta–Kakde 的 support-based auxiliary-polynomial strategy 限制到 Type P 的 Hankel / Veronese geometry，使問題由一般 Matrix Coefficient Conjecture 降維？

---

## R6-Q3

考慮 Veronese map：

$$
\nu_2:
\mathbb P^1
\longrightarrow
\mathbb P^2,
$$

$$
[U:V]
\longmapsto
[U^2:UV:V^2].
$$

Type P 正好給一個位於 algebraic-log locus 中的：

$$
\lambda\nu_2([1:t]).
$$

是否能利用：

$$
\nu_2(\mathbb P^1)
$$

的 projective geometry 建立 rational visibility obstruction？

---

## R6-Q4

將 cubic wall 齊次化。

是否能證明某種：

$$
\operatorname{Sym}^3
$$

support obstruction 比原 Six Exponentials 更接近：

$$
\operatorname{Sym}^2
$$

的 contradiction？

---

# 38. 一句話結論

> **如果 Type P counterexample 存在，它不只是三個特殊 algebraic logarithms；它會生成一個完整的 rational quadratic descent window，但這個窗口在所有 projective coordinates 下都精確地於 cubic degree 斷裂。**

其核心 signature：

$$
\boxed{
\lambda\mathbb Q[t]_{\le2}
\subseteq
\mathcal L_{\mathrm{alg}}
}
$$

但：

$$
\boxed{
\lambda
\left(
\mathbb Q[t]_{\le3}
\setminus
\mathbb Q[t]_{\le2}
\right)
\cap
\mathcal L_{\mathrm{alg}}
=
\varnothing.
}
$$

以及：

$$
\boxed{
\mathfrak M_\lambda
\cap
t^{-1}\mathfrak M_\lambda
=
\mathbb Q+\mathbb Qt.
}
$$

這是 ACTM Round 5 的正式前沿。

---

# 參考資料

1. Damien Roy and Michel Waldschmidt, **Quadratic Relations between Logarithms of Algebraic Numbers**, *Proceedings of the Japan Academy, Series A* 71 (1995), 151–153.  
   DOI: 10.3792/pjaa.71.151  
   Full text:  
   https://webusers.imj-prg.fr/~michel.waldschmidt/articles/pdf/ProjectEuclid/ProcJapanAcad71-1995.pdf

2. Michel Waldschmidt, **Quadratic relations between logarithms of algebraic numbers**, Fukuoka notes, 1996; listed on the author's publication page.  
   https://webusers.imj-prg.fr/~michel.waldschmidt/texts.html

3. Alan Baker, classical work on linear forms in logarithms of algebraic numbers; in particular the linear-independence rigidity of $\mathbb Q$-independent logarithms over $\overline{\mathbb Q}$.

4. Samit Dasgupta and Mahesh Kakde, **Ranks of Matrices of Logarithms of Algebraic Numbers II: The Matrix Coefficient Conjecture**, *Advances in Mathematics* 487 (2026), 110753.  
   DOI: 10.1016/j.aim.2025.110753  
   arXiv: https://arxiv.org/abs/2408.08178

5. Samit Dasgupta, **Ranks of Matrices of Logarithms of Algebraic Numbers I: The theorems of Baker and Waldschmidt–Masser**, *Essential Number Theory* 2 (2023).

---

**ACTM Round 5 完**