# ACTM Round 9 ## BADT 的缺陷同步、Waldschmidt–Masser 臨界性與共同錨點平方塔 ### Defect Synchronization, Waldschmidt–Masser Criticality, and the Common-Anchor Squaring Tower **研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM） **作者：** Neo.K；Aletheia（GPT-5.6 Sol） **機構：** EveMissLab / 一言諾科技有限公司 **日期：** 2026-10-02 **版本：** Round 9 / v0.1 **文件性質：** 正式研究筆記／anchored nonlinear-coupling frontier **狀態聲明：** 本輪不宣稱證明 Four Exponentials Conjecture、Matrix Coefficient Conjecture、Structural Rank Conjecture 或 Schanuel 猜想。本輪的主要結果是：將 Binary Anchored Descent Tower（BADT）改寫成一個同時具有幾何、超越次數、矩陣秩與二次耦合缺陷的臨界系統，並證明這些缺陷在 tower depth 上精確同步。 --- ## 摘要 ACTM Round 8 顯示：只靠 Six/Five Exponentials 所產生的 exponent-difference sparsity，仍不能排除無限的 binary combinatorial survivor： $$ \{0,1,2,4,8,16,\ldots\}. $$ 因此 Round 9 將被 exponent-set 抽掉的資訊重新放回： $$ \boxed{ \text{common anchor }\lambda + \text{common generator }s + \text{iterated squaring}. } $$ 定義 depth-$D$ Binary Anchored Descent Tower： $$ \operatorname{BADT}_D(\lambda,s): $$ $$ \boxed{ \lambda, \quad s\lambda, \quad s^2\lambda, \quad s^4\lambda, \quad \ldots, \quad s^{2^D}\lambda \in \mathcal L_{\mathrm{alg}}, } $$ 其中： $$ \mathcal L_{\mathrm{alg}} = \left\{ z\in\mathbb C: e^z\in\overline{\mathbb Q}^{\times} \right\}. $$ Type P 即： $$ D=1, $$ 而 genuine quartic descent 等價於： $$ D=2. $$ 令： $$ z_0=\lambda, $$ 及： $$ z_{k+1} = s^{2^k}\lambda \qquad 0\le k\le D. $$ 則 tower 滿足一串共享錨點的 quadratic couplings： $$ \boxed{ z_k^2 = z_0z_{k+1} \qquad 1\le k\le D. } $$ 因 $s$ 為超越數， $$ 1, \quad s, \quad s^2, \quad s^4, \ldots, s^{2^D} $$ 在 $\mathbb Q$ 上線性獨立，因此： $$ \boxed{ \operatorname{ldim}_{\mathbb Q} (z_0,\ldots,z_{D+1}) = D+2. } $$ 另一方面所有坐標都位於： $$ \mathbb Q(\lambda,s), $$ 而 Type-P 已知： $$ \operatorname{trdeg}_{\mathbb Q} \mathbb Q(\lambda,s)=2. $$ 因此： $$ \boxed{ \operatorname{trdeg}_{\mathbb Q} \mathbb Q(z_0,\ldots,z_{D+1}) = 2. } $$ 所以若定義 Schanuel-style compression defect： $$ \operatorname{CD}_D = \operatorname{ldim}_{\mathbb Q}(z) - \operatorname{trdeg}_{\mathbb Q}\mathbb Q(z), $$ 則： $$ \boxed{ \operatorname{CD}_D=D. } $$ 等價地，因所有： $$ e^{z_i} $$ 皆代數， $$ \delta(z) = \operatorname{trdeg}_{\mathbb Q}\mathbb Q(z,e^z) - \operatorname{ldim}_{\mathbb Q}(z) = -D. $$ BADT 因此是一個 depth 每增加 $1$，Schanuel predimension 再下降 $1$ 的 over-compression tower。 更重要的是，相同整數 $D$ 還同時出現在另外三套結構中。 第一，tower 的二參數 locus 位於： $$ \mathbb A^{D+2} $$ 中，而局部維度為 $2$，故： $$ \boxed{ \operatorname{codim}=D. } $$ 第二，共有： $$ D $$ 條獨立的共享錨點 quadratic coupling： $$ z_k^2-z_0z_{k+1}=0. $$ 第三，對每一層定義 singular logarithmic matrix： $$ H_k = \begin{pmatrix} z_0 & z_k\\ z_k & z_{k+1} \end{pmatrix}, \qquad 1\le k\le D. $$ 由 quadratic coupling： $$ \det H_k=0, $$ 且： $$ \operatorname{rank}_{\mathbb C}H_k=1. $$ 令： $$ B_D = H_1 \oplus \cdots \oplus H_D. $$ 則： $$ \boxed{ \operatorname{rank}_{\mathbb C}B_D=D. } $$ 但因： $$ z_0,\ldots,z_{D+1} $$ 在 $\mathbb Q$ 上線性獨立，$B_D$ 的 structural rank 為： $$ \boxed{ \operatorname{srank}(B_D)=2D. } $$ 因此： $$ \boxed{ \operatorname{srank}(B_D) - \operatorname{rank}(B_D) = D. } $$ 最後，Waldschmidt–Masser 定理對： $$ 2D\times2D $$ 矩陣的 critical rank threshold 為： $$ \frac{(2D)(2D)}{2D+2D} = D. $$ 而 BADT block matrix 恰好： $$ \boxed{ \operatorname{rank}(B_D)=D. } $$ Waldschmidt–Masser 的已知定理需要嚴格： $$ \operatorname{rank}(M) < \frac{mn}{m+n}. $$ 因此： $$ \boxed{ \text{BADT}_D \text{ 在所有 depth 上都精確貼住 Waldschmidt–Masser 邊界。} } $$ 本輪稱此現象為： $$ \boxed{ \text{Defect Synchronization}. } $$ 其核心同步式為： $$ \boxed{ D = \operatorname{codim}V_D = \operatorname{CD}_D = \operatorname{srank}(B_D)-\operatorname{rank}(B_D). } $$ 這表示 BADT 並非若干獨立 Four-Exponentials anomalies 的堆疊，而是一個 scale-invariant critical family：每新增一層，同時新增一個 quadratic constraint、一個 transcendence compression debt，以及一個 matrix structural-rank defect，但 normalized matrix rank 始終停在 Waldschmidt–Masser theorem 的 exact equality boundary。 --- # 1. BADT 的正式定義 令： $$ 0\neq \lambda \in \mathcal L_{\mathrm{alg}}, $$ 以及 transcendental： $$ s\in\mathbb C. $$ 對： $$ D\ge1, $$ 定義： $$ \boxed{ \operatorname{BADT}_D(\lambda,s) } $$ 成立，若： $$ s^{2^k}\lambda \in \mathcal L_{\mathrm{alg}} $$ 對： $$ 0\le k\le D $$ 全部成立。 並且當然： $$ \lambda \in \mathcal L_{\mathrm{alg}}. $$ --- # 2. 坐標記號 定義： $$ z_0=\lambda, $$ 以及： $$ z_{k+1} = s^{2^k}\lambda, \qquad 0\le k\le D. $$ 所以： $$ z_1=s\lambda, $$ $$ z_2=s^2\lambda, $$ $$ z_3=s^4\lambda, $$ 依此類推。 整個 tower point： $$ \boxed{ Z_D = (z_0,z_1,\ldots,z_{D+1}) \in \mathcal L_{\mathrm{alg}}^{D+2}. } $$ --- # 3. Shared-anchor quadratic recursion 對： $$ 1\le k\le D, $$ 有： $$ z_k = s^{2^{k-1}}\lambda. $$ 因此： $$ z_k^2 = s^{2^k}\lambda^2. $$ 而： $$ z_0z_{k+1} = \lambda \left( s^{2^k}\lambda \right) = s^{2^k}\lambda^2. $$ 故： $$ \boxed{ z_k^2=z_0z_{k+1}. } $$ 所以 BADT$_D$ 產生： $$ \boxed{ D } $$ 條 nested homogeneous quadratic relations。 --- # 4. 共同錨點為何重要 每一條 relation 都不是獨立使用不同 denominator。 它們全部共享： $$ \boxed{ z_0=\lambda. } $$ 即： $$ z_1^2=z_0z_2, $$ $$ z_2^2=z_0z_3, $$ $$ z_3^2=z_0z_4, $$ 等等。 所以 BADT 的幾何不是： $$ D $$ 個互不相關的 quadratic cones。 而是： $$ \boxed{ D \text{ 個 quadratic constraints glued through one common anchor}. } $$ --- # 5. Q-linear rank 集合： $$ \left\{ 1, s, s^2, s^4, \ldots, s^{2^D} \right\} $$ 由於 $s$ 超越，在： $$ \mathbb Q $$ 上線性獨立。 因此乘以： $$ 0\neq\lambda $$ 後： $$ \boxed{ z_0,z_1,\ldots,z_{D+1} } $$ 在 $\mathbb Q$ 上線性獨立。 所以： $$ \boxed{ \operatorname{ldim}_{\mathbb Q} (Z_D) = D+2. } $$ --- # 6. Baker linear rigidity 所有： $$ z_i $$ 都是 logarithms of algebraic numbers。 Baker theorem 因此將上述： $$ \mathbb Q $$ -linear independence 提升為： $$ \overline{\mathbb Q} $$ -linear independence。 即： $$ \boxed{ \operatorname{ldim}_{\overline{\mathbb Q}} (Z_D) = D+2. } $$ 注意： 這只排除 algebraic linear relations。 它不排除 BADT 的 quadratic relations。 --- # 7. Coordinate field remains two-dimensional 因： $$ z_0=\lambda, $$ 以及： $$ s=\frac{z_1}{z_0}, $$ 所以： $$ \mathbb Q(\lambda,s) \subseteq \mathbb Q(z_0,\ldots,z_{D+1}). $$ 反方向每個： $$ z_k $$ 皆屬於： $$ \mathbb Q(\lambda,s). $$ 故： $$ \boxed{ \mathbb Q(z_0,\ldots,z_{D+1}) = \mathbb Q(\lambda,s). } $$ 由 Type-P 的 Roy–Waldschmidt threshold analysis： $$ \boxed{ \operatorname{trdeg}_{\mathbb Q} \mathbb Q(\lambda,s) = 2. } $$ 因此： $$ \boxed{ \operatorname{trdeg}_{\mathbb Q} \mathbb Q(Z_D) = 2. } $$ 無論： $$ D $$ 多大都不增加。 --- # 8. Compression Defect 定義： $$ \boxed{ \operatorname{CD}(Z) = \operatorname{ldim}_{\mathbb Q}(Z) - \operatorname{trdeg}_{\mathbb Q}\mathbb Q(Z). } $$ 對 BADT$_D$： $$ \operatorname{CD}(Z_D) = (D+2)-2. $$ 所以： $$ \boxed{ \operatorname{CD}(Z_D)=D. } $$ 每增加一層 squaring descent，自由度赤字增加一單位。 --- # 9. Schanuel predimension 因所有： $$ e^{z_i} $$ 都是代數數， $$ \operatorname{trdeg}_{\mathbb Q} \mathbb Q(Z_D,e^{Z_D}) = \operatorname{trdeg}_{\mathbb Q} \mathbb Q(Z_D) = 2. $$ 定義： $$ \delta(Z_D) = \operatorname{trdeg}_{\mathbb Q} \mathbb Q(Z_D,e^{Z_D}) - \operatorname{ldim}_{\mathbb Q}(Z_D). $$ 所以： $$ \boxed{ \delta(Z_D) = 2-(D+2) = -D. } $$ 也就是： $$ \boxed{ -\delta(Z_D)=D. } $$ Schanuel 預測： $$ \delta\ge0. $$ 因此任何： $$ D\ge1 $$ 的 BADT 都位於 Schanuel 所禁止的負 predimension 區。 但這裡只作 defect measurement，不把 Schanuel 當作已證工具。 --- # 10. BADT variety 考慮 affine space： $$ \mathbb A^{D+2} $$ 座標： $$ X_0,\ldots,X_{D+1}. $$ 在 open chart： $$ X_0\neq0, $$ 定義 BADT quadratic locus： $$ V_D: $$ $$ \boxed{ X_k^2 - X_0X_{k+1} = 0, \qquad 1\le k\le D. } $$ --- # 11. Local parametrization 在： $$ X_0\neq0, $$ 令： $$ u=X_0, $$ 以及： $$ v=\frac{X_1}{X_0}. $$ 則： $$ X_1=uv. $$ 第一條 relation 給： $$ X_2=uv^2. $$ 第二條給： $$ X_3=uv^4. $$ 依此遞推： $$ \boxed{ X_{k+1} = u v^{2^k}. } $$ 因此： $$ V_D $$ 在此 open chart 上由兩個參數： $$ (u,v) $$ 控制。 --- # 12. Geometric dimension and codimension 所以 BADT main open locus： $$ V_D\cap\{X_0\neq0\} $$ 維度： $$ \boxed{ 2. } $$ ambient dimension： $$ D+2. $$ 因此 local codimension： $$ \boxed{ \operatorname{codim}V_D = D. } $$ 這與 quadratic equations 數量完全相同。 --- # 13. Jacobian check 令： $$ F_k = X_k^2-X_0X_{k+1}, \qquad 1\le k\le D. $$ 在 BADT point： $$ X_0=\lambda\neq0. $$ 每個： $$ F_k $$ 對： $$ X_{k+1} $$ 的偏導數為： $$ -\lambda. $$ 依序選擇 columns： $$ X_2,\ldots,X_{D+1}, $$ 可見 Jacobian 具有 rank： $$ D. $$ 因此 BADT point 位於一個 smooth codimension-$D$ local complete-intersection chart。 --- # 14. Genericity inside the BADT surface 由： $$ \mathbb Q(Z_D) = \mathbb Q(\lambda,s) $$ 且： $$ \operatorname{trdeg}=2, $$ 而 BADT locus 本身局部 dimension 也是： $$ 2, $$ 所以 hypothetical BADT point 在這個二參數 locus 上具有 maximal transcendence degree。 因此 BADT 並不是落在該 surface 的低維特殊代數子族。 它是： $$ \boxed{ \text{generic on the BADT two-parameter surface} } $$ 意義下的 critical point。 --- # 15. BADT$_2$ 的兩個 quadratic relations quartic descent： $$ D=2 $$ 時： $$ Z_2 = (z_0,z_1,z_2,z_3) = (\lambda,s\lambda,s^2\lambda,s^4\lambda). $$ 其 relations： $$ \boxed{ z_1^2-z_0z_2=0, } $$ $$ \boxed{ z_2^2-z_0z_3=0. } $$ 而： $$ \operatorname{trdeg}_{\mathbb Q} \mathbb Q(z_0,z_1,z_2,z_3) = 2. $$ --- # 16. Roy–Waldschmidt known threshold Roy–Waldschmidt 的 quadratic-relations theorem 已知處理的核心情況是： - coordinates 為 $\mathbb Q$-linearly independent algebraic logarithms； - 存在 nonzero homogeneous quadratic relation； - generated field 的 transcendence degree 為 $1$。 在這種情況下，quadratic relation 被迫具有 rational linear explanation。 BADT$_2$ 則滿足： $$ \boxed{ \operatorname{trdeg}=2. } $$ 所以它精確位於該已知 theorem 的下一層，而不是落入其假設。 --- # 17. 一個重要現況提醒 截至 2026 年，文獻仍指出： > 甚至尚不知道是否存在兩個 algebraically independent logarithms of algebraic numbers。 因此目前不存在一個一般性已知 theorem 可以說： > 只要有很多 $\mathbb Q$-linearly independent algebraic logarithms，就必須得到 arbitrarily large transcendence degree。 這正是 Algebraic Independence of Logarithms Conjecture 尚未解決的核心。 所以不能用「tower 很長」本身直接推出 contradiction。 --- # 18. BADT 的反直覺副作用 若 BADT$_D$ 假想成立，則： $$ \operatorname{trdeg}\mathbb Q(Z_D)=2. $$ 因此在： $$ z_0,\ldots,z_{D+1} $$ 中必存在至少兩個 algebraically independent elements。 也就是： > 一個 Type-P / BADT counterexample 若存在，反而會同時提供「兩個 algebraically independent logarithms of algebraic numbers」這個目前尚未知是否存在的正面例子。 這不是 contradiction。 但它顯示 hypothetical counterexample 本身已位於非常深的 algebraic-independence 前沿。 --- # 19. 每一層的 rank-one logarithmic matrix 對： $$ 1\le k\le D, $$ 定義： $$ \boxed{ H_k = \begin{pmatrix} z_0 & z_k\\ z_k & z_{k+1} \end{pmatrix}. } $$ 由： $$ z_k^2=z_0z_{k+1}, $$ 有： $$ \det H_k=0. $$ 因 entries 非零： $$ \boxed{ \operatorname{rank}_{\mathbb C}H_k=1. } $$ --- # 20. 每一層都是 Four-Exponentials type singularity $H_k$ 的兩 rows： $$ (z_0,z_k), $$ $$ (z_k,z_{k+1}) $$ ratio 分別涉及： $$ s^{2^{k-1}}. $$ 由其超越性，rows 與 columns 都沒有 nontrivial rational dependence。 所以每個： $$ H_k $$ 都是一個 singular but rationally invisible $2\times2$ algebraic-log matrix。 Matrix Coefficient Conjecture 在 $2\times2$ 情形正等價於 Four Exponentials Conjecture，因此它會排除每一個 $H_k$。 但該 conjecture 尚未證明。 --- # 21. Direct-sum tower matrix 定義： $$ \boxed{ B_D = H_1 \oplus H_2 \oplus \cdots \oplus H_D. } $$ 則： $$ B_D \in M_{2D\times2D} (\mathcal L_{\mathrm{alg}}). $$ 因每個 block rank 為： $$ 1, $$ 所以： $$ \boxed{ \operatorname{rank}_{\mathbb C}B_D=D. } $$ --- # 22. Structural rank BADT coordinates： $$ z_0,\ldots,z_{D+1} $$ 在： $$ \mathbb Q $$ 上線性獨立。 依 structural-rank 定義，把它們替換成 independent indeterminates： $$ x_0,\ldots,x_{D+1}. $$ 第 $k$ 個 generic block 為： $$ \widetilde H_k = \begin{pmatrix} x_0 & x_k\\ x_k & x_{k+1} \end{pmatrix}. $$ 其 determinant： $$ x_0x_{k+1}-x_k^2 $$ 不是零多項式。 所以： $$ \operatorname{rank} \widetilde H_k=2 $$ 在 rational-function field 上成立。 因此： $$ \boxed{ \operatorname{srank}(B_D)=2D. } $$ --- # 23. Structural Rank Defect 定義： $$ \operatorname{SRD}(M) = \operatorname{srank}(M) - \operatorname{rank}(M). $$ 對 BADT block matrix： $$ \operatorname{SRD}(B_D) = 2D-D. $$ 所以： $$ \boxed{ \operatorname{SRD}(B_D)=D. } $$ 這個 defect 隨 BADT depth 線性增長。 --- # 24. Waldschmidt–Masser threshold Waldschmidt–Masser theorem 對： $$ M \in M_{m\times n} (\mathcal L_{\mathrm{alg}}) $$ 在條件： $$ \boxed{ \operatorname{rank}(M) < \frac{mn}{m+n} } $$ 成立時，推出經 rational row/column basis changes 後存在一個足夠大的 zero block。 現在： $$ B_D $$ 尺寸為： $$ m=n=2D. $$ 所以 threshold： $$ \frac{mn}{m+n} = \frac{4D^2}{4D} = D. $$ --- # 25. Exact Waldschmidt–Masser Criticality 而： $$ \operatorname{rank}(B_D)=D. $$ 因此： $$ \boxed{ \operatorname{rank}(B_D) = \frac{mn}{m+n}. } $$ 不是： $$ < $$ 而是精確等號。 所以 Waldschmidt–Masser theorem 不觸發。 --- # 26. Scale invariance 更重要的是，這不是： $$ D=2 $$ 的偶然。 對任何： $$ D\ge1, $$ 都有： $$ \boxed{ \frac{ \operatorname{rank}(B_D) }{ 2D } = \frac12. } $$ 而 square Waldschmidt–Masser boundary 同樣對應 normalized rank： $$ \frac12. $$ 所以 tower 再深也不會跨入 theorem region。 --- # 27. 增加 depth 為何不幫助既有 rank theorem 若新增一層： $$ D \mapsto D+1, $$ matrix size： $$ 2D \mapsto 2D+2, $$ actual rank： $$ D \mapsto D+1, $$ threshold： $$ D \mapsto D+1. $$ 三者同步移動。 因此： $$ \boxed{ \text{depth extension does not create Waldschmidt–Masser slack}. } $$ 這是一個重要的 method stop condition。 --- # 28. Defect Synchronization 現在比較四個 quantity。 ### Quadratic coupling count $$ Q_D=D. $$ ### Geometric codimension $$ G_D=D. $$ ### Transcendence compression defect $$ \operatorname{CD}_D=D. $$ ### Structural-rank defect $$ \operatorname{SRD}_D=D. $$ 因此： $$ \boxed{ Q_D = G_D = \operatorname{CD}_D = \operatorname{SRD}_D = D. } $$ 本輪稱此為： **BADT Defect Synchronization Law**。 --- # 29. Predimension form 因： $$ \delta(Z_D)=-D, $$ Defect Synchronization 還可寫為： $$ \boxed{ -\delta(Z_D) = \operatorname{codim}V_D = \operatorname{SRD}(B_D) = D. } $$ 因此同一個「自由度債務」同時出現在： - Schanuel predimension； - algebraic geometry； - matrix structural rank； - quadratic recurrence count。 --- # 30. ACTM 解讀：過度壓縮被量化 原始 ACTM 想研究： $$ \boxed{ \text{什麼叫做非法／過度代數壓縮？} } $$ BADT 給出一個非常乾淨的 hypothetical model。 來源的 $\mathbb Q$-linear freedom： $$ D+2. $$ 實際 transcendence freedom： $$ 2. $$ 因此有： $$ D $$ 個 freedom units 被壓掉。 而這： $$ D $$ 個 units 正好對應： $$ D $$ 條 quadratic couplings。 所以： $$ \boxed{ \text{one extra squaring relation} \leftrightarrow \text{one extra compression unit}. } $$ --- # 31. 但 defect synchronization 目前不是矛盾 必須強調： $$ Q_D=G_D=CD_D=SRD_D $$ 只是結構同步。 它本身不證明： $$ D>0 $$ 不可能。 真正要排除 BADT，仍需要一個 theorem 將其中至少兩種 defect 連成不等式。 例如理想上需要： $$ \boxed{ \operatorname{SRD} \le f(\operatorname{trdeg}) } $$ 或： $$ \boxed{ \operatorname{codim} \le g(\operatorname{rank visibility}) } $$ 且 BADT 違反。 目前一般形式尚未知。 --- # 32. Triple-Critical Boundary BADT 同時位於三條主要無條件方法的邊界。 ## Boundary A：Six/Five Exponentials binary exponent support 可完全避開 difference multiplicity $3$。 ## Boundary B：Roy–Waldschmidt quadratic-relations theorem 排除： $$ \operatorname{trdeg}=1, $$ 而 BADT： $$ \operatorname{trdeg}=2. $$ ## Boundary C：Waldschmidt–Masser rank theorem 需要： $$ \operatorname{rank}<\frac{mn}{m+n}, $$ 而 BADT block matrix精確取等號。 因此： $$ \boxed{ \text{BADT is a triple-critical state}. } $$ --- # 33. 這解釋 Type P 為什麼難 Type P 看起來只是： $$ \lambda, \quad s\lambda, \quad s^2\lambda \in \mathcal L_{\mathrm{alg}}. $$ 但它已經同時做到： 1. 避開 Baker linear obstruction； 2. 停在 Roy–Waldschmidt trdeg-$2$ layer； 3. 停在 Four Exponentials $2\times2$ matrix boundary； 4. 可延伸成 binary support 避開 Six Exponentials； 5. 若擴成 block tower，又精確貼住 Waldschmidt–Masser rank equality。 所以它不是一個低階漏網案例。 它是多套已知工具共同的 critical intersection。 --- # 34. Matrix Coefficient Conjecture 的角色 Dasgupta–Kakde 的 Matrix Coefficient Conjecture 主張： 若 square algebraic-log matrix singular，則存在 nonzero rational vectors： $$ w,v $$ 使： $$ w^TMv=0. $$ 其： $$ 2\times2 $$ 情形等價於 Four Exponentials Conjecture。 所以若該 conjecture 成立，每個： $$ H_k $$ 都立即不可能。 但目前它仍是 conjecture。 2026 年已發表的工作證明了若干 implication，並提出 support / Newton-polytope auxiliary-polynomial strategy，但建構足夠 support-controlled polynomial 的核心方向仍未完成。 --- # 35. Structural Rank Conjecture 的角色 Structural Rank Conjecture 預測： $$ \boxed{ \operatorname{rank}(M) = \operatorname{srank}(M) } $$ 對 logarithm matrices 成立。 BADT block matrix 則具有： $$ \operatorname{rank}(B_D)=D, $$ 但： $$ \operatorname{srank}(B_D)=2D. $$ 所以 BADT 是一個 linear-in-depth 的 Structural Rank failure family。 Roy 已證明 Structural Rank Conjecture 與 algebraic independence of logarithms 的 Schanuel special case 等價。 因此 BADT 的 matrix defect 與其 negative predimension 同步並非偶然。 --- # 36. 一個新的同步視角 Structural Rank Conjecture 若成立： $$ SRD_D=0. $$ Schanuel special case 若成立： $$ CD_D=0. $$ BADT 卻給： $$ SRD_D=CD_D=D. $$ 所以 BADT 可被理解為： $$ \boxed{ \text{the same forbidden compression rendered once as field dimension and once as matrix rank}. } $$ 這正符合 ACTM 最初的「生成—投影—坍縮」語言。 --- # 37. Common anchor vs direct sum 需要注意： $$ B_D $$ 的 block-diagonal construction 在矩陣形式上看似把 layers 分開。 但其 coefficients 並不真正獨立。 所有 blocks 共用： $$ z_0=\lambda, $$ 且： $$ z_{k+1} $$ 又是下一層 coupling 的 endpoint。 所以 coefficient system 本身具有： $$ \boxed{ \text{shared-anchor nonlinear overlap}. } $$ Waldschmidt–Masser theorem 的純 rank inequality 並沒有直接使用這種 overlap。 --- # 38. 為什麼需要超越 rank-only 的 theorem 若只看： $$ m, \quad n, \quad \operatorname{rank}(M), $$ BADT 永遠位於 equality boundary。 所以任何能排除 BADT 的 matrix theorem 必須至少額外讀取： - coefficient support； - coefficient overlap； - repeated variables； - shared anchor； - nonlinear relations among coefficient ratios； - 或 algebraic variety containing coefficient tuple。 即： $$ \boxed{ \text{rank alone is information-theoretically insufficient for this family}. } $$ --- # 39. Support strategy 的自然性 這也是 Dasgupta–Kakde 2026 將 auxiliary-polynomial條件從 total degree 推向： - monomial support； - Newton polytope； - mixed volume； 的方向為何與 ACTM 自然接軌。 BADT 的 block matrix雖然 normalized rank 不變，但 coefficient support 隨 depth 產生高度規律的 binary overlap。 因此： $$ \boxed{ \text{support-sensitive rank theorem} } $$ 比單純更強 rank threshold 更有機會看見 BADT。 --- # 40. BADT coefficient graph 可以建立 coefficient incidence graph。 vertices： $$ z_0,z_1,\ldots,z_{D+1}. $$ 第： $$ k $$ 層 quadratic coupling 為 hyperedge： $$ \boxed{ (z_0,z_k,z_{k+1}). } $$ 所有 hyperedges 共用： $$ z_0. $$ 因此形成一個： $$ \boxed{ \text{anchored quadratic star-chain}. } $$ 這是 direct-sum matrix 本身沒有完全顯示的結構。 --- # 41. Anchor reuse count $z_0$ 出現在全部： $$ D $$ 條 quadratic relations 中。 其他： $$ z_k $$ 只出現在鄰近少數 relations。 所以 BADT 存在極不均勻的 coefficient reuse： $$ \boxed{ \deg_{\mathrm{coupling}}(z_0)=D. } $$ 這提供一個可能的 support invariant： **Anchor Reuse Degree（ARD）** $$ \boxed{ \operatorname{ARD}(Z_D)=D. } $$ --- # 42. ARD 與 defect 再同步 因此又得到： $$ \boxed{ \operatorname{ARD} = \operatorname{CD} = \operatorname{SRD} = \operatorname{codim} = D. } $$ common anchor 的重用次數與其它 defect 同步增長。 這可能是 BADT 最值得後續利用的非 rank-only 資訊。 --- # 43. 兩層 BADT 的最小共同錨點系統 對 quartic descent： $$ D=2, $$ 有： $$ z_1^2=z_0z_2, $$ $$ z_2^2=z_0z_3. $$ 消去： $$ z_2 $$ 可得到較高次 consequence，例如： $$ z_1^4 = z_0^3z_3. $$ 所以： $$ \boxed{ z_1^4-z_0^3z_3=0. } $$ 這不是新的獨立 relation，而是兩個 quadratic couplings 的 composition。 但它顯示 squaring tower 會產生： $$ \boxed{ \text{degree doubling relations}. } $$ --- # 44. General composed relation 由： $$ z_{k+1} = \frac{z_k^2}{z_0}, $$ 可迭代得到： $$ \boxed{ z_k = \frac{ z_1^{2^{k-1}} }{ z_0^{2^{k-1}-1} } } $$ 對： $$ k\ge1. $$ 因此： $$ \boxed{ z_1^{2^{k-1}} = z_0^{2^{k-1}-1} z_k. } $$ tower depth 對應 relation degree 指數增長。 --- # 45. Low-dimensional field, high-degree relation tower 所以 BADT 同時具有： - fixed field transcendence degree： $$ 2; $$ - growing number of Q-linearly independent logarithms： $$ D+2; $$ - growing quadratic codimension： $$ D; $$ - exponentially growing composed relation degree： $$ 2^D. $$ 這是一種： $$ \boxed{ \text{low-dimensional but relation-rich algebraic-log configuration}. } $$ --- # 46. 與「壓縮」原始直覺的回接 BADT 將： $$ D+2 $$ 個 Q-linear directions 壓在： $$ 2 $$ 個 transcendence parameters： $$ (\lambda,s) $$ 內。 因此可寫成： $$ \boxed{ D+2 \text{ source directions} \longrightarrow 2 \text{ algebraic-transcendence dimensions}. } $$ 其 compression debt： $$ D $$ 剛好由： $$ D $$ 條 shared-anchor quadratic rules 支撐。 所以這是 ACTM 到目前為止最直接的： $$ \boxed{ \text{forbidden-over-compression candidate}. } $$ --- # 47. Round 9 的核心負結果 本輪同時確認兩條「不能再浪費時間」的方向。 第一： > 單純增加 BADT depth 不會讓 Waldschmidt–Masser theorem 自動觸發。 因為 rank 與 threshold 永遠同步。 第二： > 單純期待「很多 Q-independent logarithms」自動給出 transcendence degree $\ge3$ 也不可行。 現有一般理論甚至尚未解決「是否存在兩個 algebraically independent logarithms of algebraic numbers」。 所以 Round 10 必須利用 BADT 的**特殊 nonlinear geometry**，不能只用 cardinality / depth。 --- # 48. 下一個需要的 bridge 目前最精確的 missing bridge 可以寫成： $$ \boxed{ \text{shared-anchor quadratic codimension} \quad+\quad \text{algebraic-log coordinates} \quad\Longrightarrow\quad \text{rational visibility}. } $$ 也就是： > 當許多 quadratic singularities 共享同一 anchor 時，能否比單一 Four Exponentials case 得到更強的 unconditional conclusion？ 這是 Round 10 的核心問題。 --- # 49. Anchored Matrix Coefficient Problem 本輪提出一個受限研究問題。 給： $$ z_0,\ldots,z_{D+1} \in \mathcal L_{\mathrm{alg}} $$ 在 $\mathbb Q$ 上線性獨立，且： $$ z_k^2=z_0z_{k+1} $$ 對： $$ 1\le k\le D. $$ 問： > 是否存在一個有限： > > $$ > D_0 > $$ > > 使當： > > $$ > D\ge D_0 > $$ > > 時，必能推出某個 rationally visible relation？ 本輪稱： **Anchored Matrix Coefficient Problem（AMCP）**。 它比完整 Matrix Coefficient Conjecture 更窄，因為 coefficient variety 具有固定 binary-squaring form。 --- # 50. AMCP 與 Four Exponentials 的關係 若： $$ D=1, $$ AMCP 就退化為 Type-P Four Exponentials problem。 如果某個： $$ D\ge2 $$ 可無條件排除，則會得到： > 某些 Four-Exponentials hypothetical states 雖然單層尚無法排除，但不能延伸為更深 anchored squaring tower。 這正是 higher-support 研究真正可能取得的「中間成果」。 --- # 51. BADT Extensibility Hierarchy 定義： $$ \operatorname{BD}(\lambda,s) = \sup \left\{ D: \operatorname{BADT}_D(\lambda,s) \text{ holds} \right\}. $$ Four Exponentials 預測： $$ \boxed{ \operatorname{BD}=0 } $$ 如果用 Round 8 的 indexing 將 Type P 稱 depth $1$，則等價調整為「不存在 Type P」。 在目前 hypothetical Type-P 分析內： - Type P 假設提供第一個 quadratic layer； - quartic descent 提供第二個； - AMCP 問更深層是否存在 finite obstruction。 --- # 52. Defect growth table | Depth $D$ | Log coordinates | Q-linear rank | trdeg | Compression defect | Quadratic relations | Block actual rank | Block structural rank | |---:|---:|---:|---:|---:|---:|---:|---:| | $1$ | $3$ | $3$ | $2$ | $1$ | $1$ | $1$ | $2$ | | $2$ | $4$ | $4$ | $2$ | $2$ | $2$ | $2$ | $4$ | | $3$ | $5$ | $5$ | $2$ | $3$ | $3$ | $3$ | $6$ | | $D$ | $D+2$ | $D+2$ | $2$ | $D$ | $D$ | $D$ | $2D$ | 這個表完整顯示同步 defect。 --- # 53. Triple-critical table | 理論／方法 | 已知可處理區 | BADT 所在位置 | |---|---|---| | Roy–Waldschmidt quadratic relations | $\operatorname{trdeg}=1$ | $\operatorname{trdeg}=2$ | | Six Exponentials | difference multiplicity $\ge3$ 不可能 | binary support 維持 $\le2$ | | Waldschmidt–Masser | $\operatorname{rank} **BADT 並不是單純把更多 algebraic logarithms 塞進同一個 field；每增加一層，它會同步增加一條共享錨點二次關係、一單位 transcendence compression debt、一單位 matrix structural-rank defect 與一單位 geometric codimension，而整個 block matrix 又永遠精確停在 Waldschmidt–Masser theorem 的 rank 等號邊界。** 核心同步式： $$ \boxed{ -\delta(Z_D) = \operatorname{CD}(Z_D) = \operatorname{codim}V_D = \operatorname{SRD}(B_D) = D. } $$ 而： $$ \boxed{ \operatorname{rank}(B_D) = \frac{mn}{m+n} = D. } $$ 所以 Round 10 的真正目標不是「再增加一層」，而是： $$ \boxed{ \text{利用 shared anchor 打破這個 scale-invariant equality boundary}. } $$ --- # 參考資料 1. Samit Dasgupta, **Ranks of matrices of logarithms of algebraic numbers I: the theorems of Baker and Waldschmidt–Masser**, *Essential Number Theory* 2 (2023), 93–138. arXiv: https://arxiv.org/abs/2303.02037 文中定義 structural rank，陳述 Baker theorem、Structural Rank Conjecture，以及 Waldschmidt–Masser theorem。其 rank 假設為： $$ \operatorname{rank}(M) < \frac{mn}{m+n}. $$ 2. 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 Matrix Coefficient Conjecture 的 $2\times2$ 情形等價於 Four Exponentials Conjecture；論文發展 support / Newton-polytope auxiliary-polynomial strategy，並保留關鍵 implication 為 open。 3. 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 處理 generated field transcendence degree $1$ 的 quadratic-relation case。 4. 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 對 transcendence degree $1$ 的 algebraic-logarithm families 發展更一般的 algebraic-independence method。 5. Michel Waldschmidt, surveys on **Algebraic Independence of Logarithms of Algebraic Numbers** and Schanuel’s Conjecture. Contemporary surveys continue to emphasize that it is not known unconditionally whether there exist two algebraically independent logarithms of algebraic numbers. 6. Stéphane Fischler, **Orbits under algebraic groups and logarithms of algebraic numbers**, *Acta Arithmetica* C.2 (2001), 167–186. Discusses Roy’s geometric reformulation of algebraic independence through algebraic varieties and logarithmic points. 7. Alan Baker, classical theorem on linear independence of logarithms of algebraic numbers over algebraic coefficients. --- **ACTM Round 9 完**