# ACTM Round 26
## Shift-Operator Freeness、Exact Multiplicity BK Complexity 與 Finite-Order LMB No-Go
### Shift-Operator Freeness, Exact Multiplicity BK Complexity, and a Finite-Order No-Go for the Logarithmic Multiplicity Bridge

**研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM）  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**機構：** EveMissLab / 一言諾科技有限公司  
**日期：** 2026-10-03  
**版本：** Round 26 / v0.1  
**文件性質：** 正式研究筆記／multiplicity and operator-category round  
**狀態聲明：** 本輪不宣稱 real BADT$_2$ 不可能，也不宣稱一般 Logarithmic Multiplicity Bridge（LMB）不存在。本輪證明三個受限但精確的結果：第一，四個自然 algebraic torus shifts之間不存在任何 nontrivial finite Laurent-polynomial operator identity；第二，第一層 real rank-one orbit的 directional multiplicity BK complexity具有 exact linear growth；第三，Round 25 的 Euler-operator shadow不能直接視為 algebraic torus operator identity，普通 finite differences也不能冒充 genuine jet multiplicity。

---

## 摘要

固定：

$$
A=e^\lambda,
\quad
B=e^{s\lambda},
\quad
C=e^{s^2\lambda},
\quad
D=e^{s^4\lambda},
$$

其中：

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

而：

$$
s
$$

transcendental。

Round 25 提出 Logarithmic Multiplicity Bridge（LMB）：希望利用第二層 algebraicity 迫使第一層 auxiliary polynomial取得額外 directional jet vanishing。

本輪先研究四個 natural algebraic shifts：

$$
\sigma_1P(T_1,T_2)=P(AT_1,BT_2),
$$

$$
\sigma_2P(T_1,T_2)=P(BT_1,CT_2),
$$

$$
\tau_1P(T_1,T_2)=P(AT_1,CT_2),
$$

$$
\tau_2P(T_1,T_2)=P(CT_1,DT_2).
$$

對 monomial：

$$
T_1^uT_2^v,
$$

joint eigenvalue為：

$$
(
A^uB^v,
B^uC^v,
A^uC^v,
C^uD^v
).
$$

Round 18 已證此 joint spectral subgroup在：

$$
(\mathbb G_m)^4
$$

中 Zariski dense。

因此若 Laurent polynomial：

$$
R
$$

滿足 operator identity：

$$
R(\sigma_1,\sigma_2,\tau_1,\tau_2)=0,
$$

則 $R$ 在 Zariski-dense joint spectrum上恆為零，只能：

$$
\boxed{R=0.}
$$

所以得到：

## Algebraic Shift-Operator Freeness Theorem

$$
\boxed{
\text{Natural BADT torus shifts之間不存在 nontrivial finite Laurent-polynomial operator identity。}
}
$$

因此：

$$
\boxed{
s^2=s\cdot s
}
$$

不能由這四個 algebraic shifts的 finite polynomial calculus精確表示。

---

接著研究 genuine multiplicity。

定義 Euler operators：

$$
\Theta_1=T_1\frac{\partial}{\partial T_1},
$$

$$
\Theta_2=T_2\frac{\partial}{\partial T_2},
$$

以及：

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

令：

$$
\mathcal R_sP(q)
=
P(e^{\lambda q},e^{\lambda sq}).
$$

則：

$$
\boxed{
\frac{d^r}{dq^r}\mathcal R_sP(q)
=
\lambda^r
\mathcal R_s(\mathcal D_s^rP)(q).
}
$$

所以 $\mathcal D_s$-multiplicity正是 restricted exponential polynomial的 ordinary zero multiplicity。

第一層 grid：

$$
Q_s(2N)
=
\{a+bs:0\le a,b<2N\}
$$

有：

$$
L=4N^2
$$

個 distinct real nodes。

若 polynomial $P$ 有 $K$ 個 monomials，則：

$$
\mathcal R_sP(q)
$$

為具有 $K$ 個 distinct real frequencies的 exponential polynomial。

distinct real exponentials形成 extended Chebyshev system；因此 nonzero $K$-term exponential polynomial的 real zeros counted with multiplicity總數至多：

$$
K-1.
$$

所以若每一個 grid node都有 directional multiplicity至少：

$$
\tau,
$$

則：

$$
\tau L\le K-1,
$$

亦即：

$$
\boxed{
|S(P)|
\ge
4\tau N^2+1.
}
$$

配合 Newton / Pick geometry：

$$
\boxed{
\BKd(P)\ge4\tau N^2-1.
}
$$

這是本輪的：

## Multiplicity BK Lower Bound

$$
\boxed{
\operatorname{mult}_{\mathcal D_s}(P,x)\ge\tau
\quad
\forall x\in X_s(2N)
\Longrightarrow
\BKd(P)\ge4\tau N^2-1.
}
$$

若允許 arbitrary complex coefficients，此下界可精確達到。取：

$$
R_\tau=4\tau N^2-1,
$$

以及 triangular support：

$$
S_\tau=
\{(0,0),(1,0),\ldots,(R_\tau,0)\}
\cup
\{(0,1)\}.
$$

其 cardinality：

$$
4\tau N^2+1,
$$

且：

$$
\BKd=R_\tau.
$$

用 rows：

$$
(q,h),
\quad
q\in Q_s(2N),
\quad
0\le h<\tau
$$

與 frequencies：

$$
0,1,\ldots,R_\tau,s
$$

建立 confluent exponential evaluation matrix：

$$
[(\lambda y)^h e^{\lambda qy}].
$$

若任取 $4\tau N^2$ columns singular，便會得到一個至多 $4\tau N^2$ 項的 nonzero exponential polynomial，卻具有總 multiplicity至少 $4\tau N^2$，與 Chebyshev bound矛盾。

所以矩陣 full row rank，且所有 maximal minors非零；存在 full-support kernel polynomial。

因此對 unrestricted coefficient field：

$$
\boxed{
\mathfrak b_{\mathrm{BK},\mathbb C}^{(\tau)}
=
4\tau N^2-1.
}
$$

對 algebraic coefficients，$\tau\ge2$ 時 derivative rows含 $s$ powers，所以 extremal kernel coefficients一般不保證 algebraic。因此目前保留嚴格區分：

$$
\boxed{
\mathfrak b_{\mathrm{BK},\overline{\mathbb Q}}^{(\tau)}
\ge
4\tau N^2-1.
}
$$

而 $\tau=1$ 時 Round 25 已證 algebraic coefficients亦達 equality。

---

一個立即 corollary：

Round 25 的 extremal：

$$
4N^2+1
$$

term polynomial在全部：

$$
4N^2
$$

grid nodes上的 zeros都必是 simple。

若任一 node multiplicity至少 $2$，總 zero multiplicity便至少：

$$
4N^2+1,
$$

但 $4N^2+1$ terms只能容許：

$$
4N^2
$$

total multiplicity。

所以：

$$
\boxed{
\text{extremal first-layer circuit沒有任何 hidden jet multiplicity。}
}
$$

---

這也精確區分 finite differences 與 genuine jets。

若一串 values全部為零，finite difference：

$$
(\sigma_1-1)^rP
$$

在適當 stencil上為零，只因它是零值的 finite linear combination。

這不推出：

$$
\mathcal D_s^rP=0.
$$

Round 25 extremal simple-zero theorem提供具體反證：grid values全部為零，但每個 first directional derivative都非零。

因此：

$$
\boxed{
\text{finite-difference vanishing}\neq\text{multiplicity}.
}
$$

---

最後重新檢查 Round 25 的 Euler identity。

定義：

$$
\mathcal D_{s^2}
=
\Theta_1+s^2\Theta_2.
$$

則：

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

$$
\mathcal D_{s^2}-\Theta_1=s^2\Theta_2.
$$

所以：

$$
\boxed{
(\mathcal D_s-\Theta_1)^2
=
\Theta_2(\mathcal D_{s^2}-\Theta_1).
}
$$

此 identity完全正確。

但 coefficient field：

$$
F=\mathbb Q(A,B,C,D)
$$

是 algebraic number field，而 $s$ transcendental，所以：

$$
s\notin F.
$$

因此：

$$
\mathcal D_s,
\quad
\mathcal D_{s^2}
$$

不是 $F$-defined differential operators，而只存在於：

$$
F(s)[\Theta_1,\Theta_2].
$$

所以這不是 pure algebraic torus category中的 operator identity。

形式上：

$$
\sigma_1=e^{\lambda\mathcal D_s},
$$

所以：

$$
\mathcal D_s=\lambda^{-1}\log\sigma_1.
$$

但 operator logarithm需要 infinite analytic functional calculus，而不是 finite polynomial in $\sigma_1$。

Shift-Operator Freeness更證明：不存在一個 nontrivial finite Laurent-polynomial shift relation可以取代這個 logarithm。

因此得到：

## Finite-Order Difference LMB No-Go

$$
\boxed{
\text{任何只使用 natural algebraic shifts及其 finite polynomial/Laurent-polynomial combinations的 universal exact LMB 都不可能。}
}
$$

這不排除：

- $N$-dependent / support-dependent operators；
- rational-flattening limits；
- infinite analytic functional calculus；
- differential-algebraic / period methods；
- transcendence-measure based constructions。

---

# 1. Natural torus shift algebra

令：

$$
F=\mathbb Q(A,B,C,D).
$$

四個 shifts：

$$
\sigma_1,\sigma_2,\tau_1,\tau_2
$$

為：

$$
F[T_1^{\pm1},T_2^{\pm1}]
$$

上的 commuting algebra automorphisms。

---

# 2. Joint monomial spectrum

對：

$$
m_{u,v}=T_1^uT_2^v,
$$

有：

$$
\sigma_1m_{u,v}=A^uB^v m_{u,v},
$$

$$
\sigma_2m_{u,v}=B^uC^v m_{u,v},
$$

$$
\tau_1m_{u,v}=A^uC^v m_{u,v},
$$

$$
\tau_2m_{u,v}=C^uD^v m_{u,v}.
$$

所以 joint spectrum：

$$
\Lambda_{\mathrm{shift}}
=
\{
(A^uB^v,B^uC^v,A^uC^v,C^uD^v)
:
u,v\in\mathbb Z
\}.
$$

---

# 3. Zariski density

令：

$$
g_1=(A,B,A,C),
$$

$$
g_2=(B,C,C,D).
$$

則：

$$
\Lambda_{\mathrm{shift}}
=
\langle g_1,g_2\rangle.
$$

若 integral character：

$$
k=(k_1,k_2,k_3,k_4)
$$

annihilates $g_1,g_2$，positive real logarithms給：

$$
(k_1+k_3)+k_2s+k_4s^2=0,
$$

以及：

$$
k_1s+(k_2+k_3)s^2+k_4s^4=0.
$$

transcendence of $s$迫使：

$$
k=0.
$$

故：

$$
\boxed{
\overline{\Lambda_{\mathrm{shift}}}^{\mathrm{Zar}}
=
(\mathbb G_m)^4.
}
$$

---

# 4. Shift-Operator Freeness

若：

$$
R(\sigma_1,\sigma_2,\tau_1,\tau_2)=0
$$

as operator，作用在 $m_{u,v}$ 上得到：

$$
R(
A^uB^v,
B^uC^v,
A^uC^v,
C^uD^v
)=0.
$$

因此 $R$ 在 Zariski-dense set上為零，所以：

$$
\boxed{R=0.}
$$

---

# 5. Directional restriction

定義 curve：

$$
\gamma_s(q)
=
(e^{\lambda q},e^{\lambda sq}).
$$

則：

$$
\mathcal R_sP(q)=P(\gamma_s(q)).
$$

chain rule：

$$
\frac d{dq}\mathcal R_sP
=
\lambda\mathcal R_s(\mathcal D_sP).
$$

迭代即可得到高階 identity。

---

# 6. Exponential zero multiplicity theorem

若：

$$
f(q)=\sum_{j=1}^K c_je^{\omega_jq},
$$

其中：

$$
\omega_1<\cdots<\omega_K
$$

real distinct，且 $f\neq0$，則：

$$
\boxed{
Z_{\mathbb R}(f)\le K-1
}
$$

counted with multiplicity。

可由 induction + Rolle theorem證明。

---

# 7. Multiplicity support lower bound

grid nodes數：

$$
L=4N^2.
$$

每點 multiplicity至少 $\tau$，總 multiplicity至少：

$$
\tau L.
$$

所以：

$$
\boxed{
|S(P)|\ge\tau L+1.
}
$$

---

# 8. Multiplicity BK lower bound

若 Newton support $2$D：

$$
\BKd(P)\ge|S(P)|-2.
$$

若 $1$D：

$$
\BKd(P)\ge|S(P)|-1.
$$

所以 uniformly：

$$
\boxed{
\BKd(P)\ge4\tau N^2-1.
}
$$

---

# 9. Unrestricted exactness

取：

$$
R_\tau=4\tau N^2-1.
$$

triangular support：

$$
S_\tau=
\{(j,0):0\le j\le R_\tau\}
\cup
\{(0,1)\}.
$$

其：

$$
\BKd=R_\tau.
$$

confluent exponential interpolation證明存在 full-support complex-coefficient kernel polynomial。

所以：

$$
\boxed{
\mathfrak b_{\mathrm{BK},\mathbb C}^{(\tau)}
=
4\tau N^2-1.
}
$$

---

# 10. Algebraic coefficient distinction

$\tau=1$ 時：

$$
\boxed{
\mathfrak b_{\mathrm{BK},\overline{\mathbb Q}}^{(1)}
=
4N^2-1.
}
$$

$\tau\ge2$ 時目前只保證：

$$
\boxed{
\mathfrak b_{\mathrm{BK},\overline{\mathbb Q}}^{(\tau)}
\ge
4\tau N^2-1.
}
$$

是否 algebraic coefficients仍能達 equality，不在本輪宣稱範圍。

---

# 11. Simple-zero corollary

Round 25 extremal circuit：

$$
K=L+1
$$

且已有 $L$ distinct zeros。

所以 total multiplicity已達 maximum：

$$
K-1=L.
$$

故每個 zero必 simple。

---

# 12. Difference identities are tautological

若：

$$
P(x_j)=0
$$

於 finite stencil，任何 finite difference都是這些零值的 linear combination。

因此 finite-difference vanishing不新增 analytic multiplicity。

---

# 13. Euler identity category

formal identity：

$$
(\mathcal D_s-\Theta_1)^2
=
\Theta_2(\mathcal D_{s^2}-\Theta_1)
$$

位於：

$$
F(s)[\Theta_1,\Theta_2].
$$

不是：

$$
F[\Theta_1,\Theta_2]
$$

中的 identity。

因此其使用本身已經注入 transcendental logarithmic parameter $s$。

---

# 14. Relation to classical zero estimates

Philippon 的 commutative-algebraic-group zero lemmas，以及後續 multiplicity estimates，正是研究：

- polynomial / section；
- finite group translates；
- analytic subgroup direction；
- high-order vanishing；

何時迫使 algebraic subgroup obstruction。

Roy–Waldschmidt 1995 的 quadratic logarithm proof亦使用 Philippon zero estimate的 special case與 directional derivative operator。

所以 LMB 的方向與 classical transcendence machinery一致；困難在於 BADT tangent direction本身不在 algebraic coefficient field內。

---

# 15. One-Jet Bridge Problem

對 Round 25 extremal first-layer circuit $P$，只要第二層能迫使某一 node：

$$
x_0
$$

多滿足：

$$
\boxed{
(\mathcal D_sP)(x_0)=0,
}
$$

總 multiplicity就超過 $K-1$，立即 contradiction。

所以新的最窄問題是：

## OJBP

$$
\boxed{
\text{Can the BADT second layer force one genuine first-layer jet for a specially constructed auxiliary polynomial?}
}
$$

---

# 16. Quantifier warning

OJBP不可能僅由：

$$
P|_{X_s(2N)}=0
$$

推出。

Round 25 extremal polynomial本身已證所有 zeros simple。

所以若 OJBP成立，必使用：

$$
\boxed{
\text{P 的特殊 BADT-derived construction history}.
}
$$

這再次說明 auxiliary-existence mechanism仍是核心缺口。

---

# 17. Round 26 判定

**PASS — Natural algebraic shift calculus is operator-free; genuine multiplicity has exact linear BK complexity; finite differences do not provide the missing logarithmic jet**

本輪完成：

1. 定義 natural algebraic torus shifts。
2. 建立 joint monomial spectrum。
3. 用 paired subgroup Zariski density證 Shift-Operator Freeness。
4. 排除 finite Laurent-polynomial shift identities。
5. 建立 restriction derivative identity。
6. 證 exponential zero multiplicity bound。
7. 得到：
   $$
   |S(P)|\ge4\tau N^2+1.
   $$
8. 得到：
   $$
   \BKd(P)\ge4\tau N^2-1.
   $$
9. 對 arbitrary complex coefficients建立 matching confluent construction。
10. 得到：
    $$
    \mathfrak b_{\mathrm{BK},\mathbb C}^{(\tau)}
    =
    4\tau N^2-1.
    $$
11. 分離 algebraic-coefficient caveat。
12. 證 Round 25 extremal zeros全部 simple。
13. 正式區分 finite differences與 jets。
14. 修正 Euler identity的 category interpretation。
15. 建立 Finite-Order Difference LMB No-Go。
16. 將問題縮小成 One-Jet Bridge Problem。

---

# 18. Round 27 正式入口

Round 27 不再研究 ordinary finite shift algebra。

優先轉向 analytic auxiliary-function machinery。

## R27-A：Two-curve analytic auxiliary function

同時考慮：

$$
F_s(z)
=
P(e^{\lambda z},e^{s\lambda z}),
$$

以及：

$$
F_{s^2}(z)
=
Q(e^{\lambda z},e^{s^2\lambda z}).
$$

研究是否可由 nested relation：

$$
s^2=(s)^2
$$

構造 Wronskian / differential resultant，使 first-layer zero獲得 genuine derivative condition。

## R27-B：Philippon multiplicity interface

若取得任何 multiplicity pattern，直接接 commutative algebraic-group zero estimate，研究是否逼出 rank-$1$ subgroup / rational visibility。

## R27-C：Rational flattening limit

利用：

$$
q\lambda\to0
$$

使 algebraic shifts接近 identity。

研究 normalized finite differences是否在有 uniform BK support control時可 compactness-limit成 genuine jets。

## R27-D：No-go alternative

若 analytic constructions仍只能產生 finite difference而不能 derivative，嘗試證 bounded-order analytic LMB no-go，並正式回到 Roy geometry / algebraic-independence route。

---

# 19. 一句話結論

> **Round 26 顯示 multiplicity本身非常有力：每增加一階 directional multiplicity，first-layer intrinsic BK complexity就精確增加 $4N^2$；甚至 Round 25 extremal polynomial只需要額外一個 derivative zero就會矛盾。但 BADT 的 natural algebraic shifts因 joint spectrum Zariski dense而沒有任何 finite operator identity，普通 finite differences也不等於 jets。Euler squaring identity存在於 $F(s)$ 的 logarithmic operator category，不能直接 algebraize。**

因此真正 missing 的不是「multiplicity值不值得做」，而是：

$$
\boxed{
\text{how to inject one genuine logarithmic jet before passing to algebraic torus data}.
}
$$

---

# 參考資料

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

2. Damien Roy and Michel Waldschmidt, **Quadratic Relations between Logarithms of Algebraic Numbers**, *Proceedings of the Japan Academy, Series A* 71 (1995), 151–153.  
   Their proof uses a special case of Philippon's zero estimate and an explicit directional derivative operator.

3. Multiplicity estimates / product-theorem literature on commutative algebraic groups; such results control high-order vanishing along analytic subgroups and force algebraic subgroup obstructions.

4. Classical extended Chebyshev-system theory: distinct real exponentials form an extended Chebyshev system, so nontrivial linear combinations have at most $K-1$ real zeros counted with multiplicity.

5. T. T. Ha and J. A. Gibson, **A note on the determinant of a functional confluent Vandermonde matrix and controllability**, *Linear Algebra and its Applications* 30 (1980), 69–75.

6. Samit Dasgupta and Mahesh Kakde, **Ranks of Matrices of Logarithms of Algebraic Numbers II: The Matrix Coefficient Conjecture**, *Advances in Mathematics* 487 (2026), 110753.

---

**ACTM Round 26 完**