# ACTM Round 21 ## HCIZ Cumulant Expansion、Universal First-Order Transversality 與 Approximate Squaring Rigidity ### HCIZ Cumulants, Universal First-Order Transversality, and Approximate Squaring Rigidity **研究計畫：** Algebraic Combinatorial Transcendence Methodology（ACTM） **作者：** Neo.K；Aletheia（GPT-5.6 Sol） **機構：** EveMissLab / 一言諾科技有限公司 **日期：** 2026-10-02 **版本：** Round 21 / v0.1 **文件性質：** 正式研究筆記／finite-parameter HCIZ compensation round **狀態聲明：** 本輪不宣稱一般 Circuit-Ratio Rigidity Problem（CRRP）已解，也不宣稱 real BADT$_2$ 不可能。本輪精確計算 HCIZ normalized cofactor factors 的前兩個 cumulants，證明 $s$ 與 $s^2$ 兩層之間具有 support-independent 的 universal first-order transversality，並將 flat-support escape 提升為一個「barycentric Diophantine gap vs HCIZ compensation」問題。 --- ## 摘要 Round 20 對 fixed genuine two-dimensional lattice support： $$ S = \{p_j=(u_j,v_j)\}_{j=1}^{K}, $$ 其中： $$ K=M^2+1, $$ 證明 flat barycentric circuits： $$ \beta_S(s), \qquad \beta_S(s^2) $$ 不同。 因此對 sufficiently small： $$ \mu, $$ 兩層 exponential evaluation matrices不存在 common minimal circuit。 Round 21 研究： > finite $\mu$ 的 HCIZ nonlinear correction能否精確補償這個 flat barycentric separation？ 令： $$ L=M^2, $$ 所以： $$ K=L+1. $$ 對： $$ t\in\{s,s^2\}, $$ 定義 orbit nodes： $$ q_{a,b}(t) = a+bt, \qquad 0\le a,b 對任何 lattice support、任何 distinct pair of support points，$s$-layer與 $s^2$-layer HCIZ cofactor corrections在 flat point $\mu=0$ 的 ratio差都以 nonzero first derivative離開 $1$。 換言之： $$ \boxed{ \text{HCIZ compensation never has higher-order tangency at the flat point.} } $$ --- 本輪亦給出 two-layer second cumulant。 定義： $$ \overline u = \frac1K \sum_j u_j, $$ $$ \overline v = \frac1K \sum_j v_j, $$ $$ U_{jk} = u_j+u_k-2\overline u, $$ $$ V_{jk} = v_j+v_k-2\overline v. $$ 則： $$ y_j(t)+y_k(t)-2\overline y_t = U_{jk}+tV_{jk}. $$ 所以： $$ \boxed{ B_{jk} := \left. \frac{d^2}{d\mu^2} \log C_{jk}(\mu) \right|_{\mu=0} } $$ 等於： $$ \boxed{ \frac1{12} \left[ (1+s^2) (\Delta u+s\Delta v) (U_{jk}+sV_{jk}) - (1+s^4) (\Delta u+s^2\Delta v) (U_{jk}+s^2V_{jk}) \right]. } $$ 因此： $$ \boxed{ \log C_{jk}(\mu) = A_{jk}\mu + \frac12B_{jk}\mu^2 + O(\mu^3). } $$ --- 另一方面，common exponential circuit的 cofactor-ratio equation可寫為： $$ \boxed{ C_{jk}(\mu) = R_{jk}^{\mathrm{flat}}, } $$ 其中： $$ R_{jk}^{\mathrm{flat}} = \left| \frac{ V(Y_{s^2,\widehat j})/ V(Y_{s^2,\widehat k}) }{ V(Y_{s,\widehat j})/ V(Y_{s,\widehat k}) } \right|. $$ 而 Round 20 的 Barycentric Squaring Rigidity說： 若： $$ \operatorname{affdim}S=2, $$ 則至少存在一個： $$ j,k $$ 使： $$ R_{jk}^{\mathrm{flat}}\neq1. $$ 令： $$ G_{jk} = \log R_{jk}^{\mathrm{flat}}. $$ 則 common circuit需要： $$ \boxed{ G_{jk} = A_{jk}\mu + \frac12B_{jk}\mu^2 + O(\mu^3). } $$ 因此 finite-$\mu$ compensation不再是一個模糊問題，而成為： $$ \boxed{ \text{explicit barycentric gap} = \text{explicit HCIZ cumulant drift}. } $$ --- 如果只保留 first order，pair： $$ (j,k) $$ 所要求的 candidate compensation scale為： $$ \boxed{ \mu_{jk}^{(1)} = \frac{ G_{jk} }{ A_{jk} }. } $$ common circuit若存在於 sufficiently flat regime，所有 independent cofactor pairs的： $$ \mu_{jk}^{(1)} $$ 必近似同一個實際： $$ \mu. $$ 這產生： **First-Order Compensation Consistency（FOCC）** 即： $$ \boxed{ \frac{ \log R_{jk}^{\mathrm{flat}} }{ A_{jk} } \approx \frac{ \log R_{j\ell}^{\mathrm{flat}} }{ A_{j\ell} } } $$ 對多組 pairs同時成立。 所以 Round 20 的 fixed-support inequality： $$ \beta_S(s)\neq\beta_S(s^2) $$ 現在被提升成一個 quantitative alignment problem。 --- 更深一層地，flat barycentric ratios本身是： $$ \mathbb Q(s) $$ 中的 explicit rational functions。 例如： $$ \frac{ w_j(s) }{ w_k(s) } $$ 及： $$ \frac{ w_j(s^2) }{ w_k(s^2) } $$ 都由 lattice differences形成。 所以： $$ R_{jk}^{\mathrm{flat}} $$ 是： $$ s $$ 上的 rational-function value之比。 因此當 hypothetical BADT 可 rationally flatten： $$ \mu=q\lambda\to0, $$ 而 support同時向 lattice infinity逃逸時，common circuit迫使一族 increasingly complicated rational functions： $$ f_n(T)\in\mathbb Q(T) $$ 滿足： $$ \boxed{ f_n(s) \approx f_n(s^2) } $$ 且 approximation precision由： $$ |\mu_n| $$ 控制。 Round 20 的 exact theorem說： $$ f(s)=f(s^2) $$ 對固定 support會迫使 support共線。 Round 21 因此把下一層問題定位成： ## Approximate Squaring Rigidity Problem（ASRP） > 對 lattice-support產生的特定 rational-function family： > > $$ > f(T), > $$ > > 能否以下界控制： > > $$ > |f(s)-f(s^2)| > $$ > > in terms of： > > - degree； > - coefficient height； > - support diameter； > - arithmetic complexity of $s$？ 若可建立足夠強的 lower bound，便可與 HCIZ compensation的： $$ O(|\mu|) $$ upper scale比較，將 Round 20 的 qualitative support escape升級成 quantitative contradiction或 growth theorem。 這裡重新碰到真正的 transcendence-measure difficulty。 --- # 1. HCIZ normalization 固定 dimension： $$ L=M^2. $$ 令： $$ A= \operatorname{diag}(x_1,\ldots,x_L), $$ $$ B= \operatorname{diag}(y_1,\ldots,y_L). $$ 定義： $$ \mathcal H_{A,B}(\mu) = \int_{U(L)} \exp \left( \mu \operatorname{tr} (AUBU^\ast) \right) dU. $$ 令： $$ X(U) = \operatorname{tr} (AUBU^\ast). $$ 則： $$ \mathcal H_{A,B} $$ 就是： $$ X $$ 的 moment-generating function。 所以： $$ \boxed{ \log\mathcal H } $$ 是 cumulant-generating function。 --- # 2. First Haar moment Haar invariance給： $$ \mathbb E (UBU^\ast) = \frac{ \operatorname{tr}B }{L} I. $$ 因此： $$ \boxed{ \mathbb EX = \frac{ \operatorname{tr}A \operatorname{tr}B }{L}. } $$ 這也正是 Floater Theorem 2 lower bound中： $$ e^{s(x)s(y)/L} $$ 出現的 mean exponent。 --- # 3. Second Haar moment 標準 unitary Weingarten second-moment identity給： $$ \mathbb E \left[ |U_{ij}|^2 |U_{k\ell}|^2 \right] = \frac{ 1+\delta_{ik}\delta_{j\ell} }{ L^2-1 } - \frac{ \delta_{ik}+\delta_{j\ell} }{ L(L^2-1) }. $$ 將： $$ X = \sum_{i,j} x_i y_j |U_{ij}|^2 $$ 代入並整理，可得： $$ \boxed{ \operatorname{Var}X = \frac{ \left( \sum_i(x_i-\overline x)^2 \right) \left( \sum_j(y_j-\overline y)^2 \right) }{ L^2-1 }. } $$ --- # 4. Cumulant derivatives 因： $$ \mathcal H(0)=1, $$ 所以： $$ \boxed{ \left. (\log\mathcal H)' \right|_0 = \mathbb EX, } $$ $$ \boxed{ \left. (\log\mathcal H)'' \right|_0 = \operatorname{Var}X. } $$ --- # 5. BADT orbit-node mean nodes： $$ q_{a,b}(t)=a+bt. $$ 有： $$ \sum_{a,b}a = M \sum_{a=0}^{M-1}a = \frac{ M^2(M-1) }{2}. $$ 同樣： $$ \sum_{a,b}b = \frac{ M^2(M-1) }{2}. $$ 所以： $$ \boxed{ \overline q_t = \frac{M-1}{2}(1+t). } $$ --- # 6. BADT orbit-node variance 對 uniform： $$ a\in\{0,\ldots,M-1\}, $$ 有： $$ \operatorname{Var}(a) = \frac{M^2-1}{12}. $$ $a,b$ 在 grid average中 independent，所以： $$ \operatorname{Var}(a+bt) = \frac{M^2-1}{12}(1+t^2). $$ 乘上： $$ L=M^2 $$ 得到 centered square sum： $$ \boxed{ \sum_{a,b} (q_{a,b}(t)-\overline q_t)^2 = \frac{ L(L-1) }{12} (1+t^2). } $$ --- # 7. Omitted frequency sums full support size： $$ K=L+1. $$ 定義： $$ Y_t = \sum_{p\in S} y_p(t), $$ $$ \overline y_t = \frac{Y_t}{K}. $$ 刪除： $$ j $$ 後： $$ \operatorname{tr}B_j = Y_t-y_j(t). $$ --- # 8. First cofactor cumulant 因此： $$ \left. \frac{d}{d\mu} \log\mathcal H_{t,j} \right|_0 = \overline q_t \left( Y_t-y_j(t) \right). $$ 兩 omitted indices相減： $$ \boxed{ \left. \frac{d}{d\mu} \log \frac{ \mathcal H_{t,j} }{ \mathcal H_{t,k} } \right|_0 = \overline q_t \left( y_k(t)-y_j(t) \right). } $$ --- # 9. Omitted frequency centered variance 令： $$ B_j = Y_{t,\widehat j}. $$ 定義： $$ S_j = \operatorname{tr}(B_j^2) - \frac{ (\operatorname{tr}B_j)^2 }{L}. $$ 直接計算： $$ \boxed{ S_j-S_k = \frac{K}{L} \left( y_k-y_j \right) \left( y_j+y_k-2\overline y_t \right). } $$ --- # 10. Second cofactor cumulant node centered square sum： $$ A_t = \frac{ L(L-1) }{12} (1+t^2). $$ 所以： $$ \left. \frac{d^2}{d\mu^2} \log \frac{ \mathcal H_{t,j} }{ \mathcal H_{t,k} } \right|_0 = \frac{ A_t }{ L^2-1 } (S_j-S_k). $$ 因： $$ K=L+1, $$ 所有 $L$ factors cancel，得到： $$ \boxed{ \frac{ 1+t^2 }{12} (y_k-y_j) (y_j+y_k-2\overline y_t). } $$ --- # 11. Two-layer correction quotient 定義： $$ C_{jk}(\mu) = \frac{ \mathcal H_{s,j}/\mathcal H_{s,k} }{ \mathcal H_{s^2,j}/\mathcal H_{s^2,k} }. $$ 則： $$ C_{jk}(0)=1. $$ 令： $$ \Delta u=u_k-u_j, $$ $$ \Delta v=v_k-v_j. $$ 有： $$ y_k(t)-y_j(t) = \Delta u+t\Delta v. $$ --- # 12. Universal first derivative 所以： $$ A_{jk} = \frac{M-1}{2} \left[ (1+s)(\Delta u+s\Delta v) - (1+s^2)(\Delta u+s^2\Delta v) \right]. $$ 因式分解： $$ \boxed{ A_{jk} = \frac{M-1}{2} s(1-s) \left[ \Delta u+ (1+s+s^2)\Delta v \right]. } $$ --- # 13. Nonvanishing 若： $$ \Delta v=0, $$ distinct points給： $$ \Delta u\neq0. $$ 所以 bracket nonzero。 若： $$ \Delta v\neq0 $$ 而 bracket為零： $$ \Delta v s^2 + \Delta v s + (\Delta u+\Delta v) = 0. $$ 這是： $$ s $$ 的 nonzero rational polynomial relation。 與 transcendence矛盾。 因此： $$ \boxed{ A_{jk}\neq0. } $$ --- # 14. Universal First-Order Transversality Theorem 對： $$ M\ge2, $$ transcendental： $$ s, $$ 以及任意 distinct lattice support points： $$ p_j\neq p_k, $$ 有： $$ \boxed{ \left. \frac{d}{d\mu} \log C_{jk}(\mu) \right|_0 \neq0. } $$ 所以： $$ \boxed{ C_{jk}(\mu) = 1+ A_{jk}\mu + O(\mu^2). } $$ --- # 15. Interpretation HCIZ nonlinear correction不是： $$ 1+O(\mu^2). $$ 它對每一 pair都必在 first order出現。 因此任何 finite-$\mu$ common-circuit compensation： $$ \text{flat barycentric mismatch} \leftrightarrow \text{HCIZ correction} $$ 都是真正的一階 balancing problem。 --- # 16. Two-layer second derivative 定義： $$ \overline u = \frac1K\sum_j u_j, $$ $$ \overline v = \frac1K\sum_j v_j. $$ 令： $$ U_{jk} = u_j+u_k-2\overline u, $$ $$ V_{jk} = v_j+v_k-2\overline v. $$ 則： $$ y_j(t)+y_k(t)-2\overline y_t = U_{jk}+tV_{jk}. $$ 所以： $$ \boxed{ B_{jk} = \frac1{12} \left[ (1+s^2) (\Delta u+s\Delta v) (U_{jk}+sV_{jk}) - (1+s^4) (\Delta u+s^2\Delta v) (U_{jk}+s^2V_{jk}) \right]. } $$ --- # 17. Taylor compensation law 因此： $$ \boxed{ \log C_{jk}(\mu) = A_{jk}\mu + \frac12B_{jk}\mu^2 + O(\mu^3). } $$ 每個 coefficient皆是： $$ s $$ 與 lattice support moments的 explicit algebraic expression。 --- # 18. Flat cofactor target 由 Round 20 cofactor factorization： $$ \frac{ D_{t,j} }{ D_{t,k} } = \frac{ V(Y_{t,\widehat j}) }{ V(Y_{t,\widehat k}) } \frac{ \mathcal H_{t,j} }{ \mathcal H_{t,k} }. $$ 所以 common circuit magnitude equation需要： $$ C_{jk}(\mu) = R_{jk}^{\mathrm{flat}}, $$ 其中： $$ \boxed{ R_{jk}^{\mathrm{flat}} = \left| \frac{ V(Y_{s^2,\widehat j})/ V(Y_{s^2,\widehat k}) }{ V(Y_{s,\widehat j})/ V(Y_{s,\widehat k}) } \right|. } $$ --- # 19. Barycentric form of the target 因： $$ \frac{ V(Y_{\widehat j}) }{ V(Y_{\widehat k}) } = \pm \frac{ w_k }{ w_j }, $$ 可將 target寫成： $$ R_{jk}^{\mathrm{flat}} = \left| \frac{ w_k(s^2)/w_j(s^2) }{ w_k(s)/w_j(s) } \right|. $$ 所以： $$ \boxed{ R_{jk}^{\mathrm{flat}} } $$ 是 support產生的 explicit rational-function value at： $$ s, \quad s^2. $$ --- # 20. Flat logarithmic gap 定義： $$ \boxed{ G_{jk} = \log R_{jk}^{\mathrm{flat}}. } $$ Round 20的 Barycentric Squaring Rigidity表示： 若： $$ \operatorname{affdim}S=2, $$ 則不可能所有： $$ G_{jk}=0. $$ 所以至少有一對： $$ j,k $$ 滿足： $$ \boxed{ G_{jk}\neq0. } $$ --- # 21. Pairwise compensation equation common circuit要求： $$ \boxed{ G_{jk} = A_{jk}\mu + \frac12B_{jk}\mu^2 + O(\mu^3). } $$ 這是 Round 21 的 finite-parameter核心式。 --- # 22. First-order compensation scale 因： $$ A_{jk}\neq0, $$ 定義： $$ \boxed{ \mu_{jk}^{(1)} = \frac{ G_{jk} }{ A_{jk} }. } $$ 若： $$ |\mu| $$ 很小且 common circuit成立： $$ \mu = \mu_{jk}^{(1)} + O(\mu^2) $$ 對每個： $$ G_{jk}\neq0 $$ 的 pair均成立。 --- # 23. First-Order Compensation Consistency 取 fixed reference： $$ j. $$ 對不同： $$ k,\ell, $$ common circuit在 flat regime要求： $$ \boxed{ \frac{ G_{jk} }{ A_{jk} } - \frac{ G_{j\ell} }{ A_{j\ell} } = O(\mu^2). } $$ 如果某 fixed support使左側為 nonzero constant，則 sufficiently small： $$ \mu $$ 時立即排除 common circuit。 Round 20 的 continuity theorem可視為此 statement的 projective version；Round 21提供了 explicit first-order mismatch。 --- # 24. Local monotonicity 因： $$ A_{jk}\neq0, $$ analytic function： $$ \log C_{jk}(\mu) $$ 在： $$ \mu=0 $$ 附近 derivative保持固定 sign。 因此存在： $$ \varepsilon_{jk}>0 $$ 使： $$ C_{jk} $$ 在： $$ (-\varepsilon_{jk},\varepsilon_{jk}) $$ strictly monotone。 所以對 fixed pair及 fixed target： $$ R_{jk}^{\mathrm{flat}}, $$ 局部 compensation equation至多有一個 solution。 --- # 25. Simple-contact corollary 若： $$ R_{jk}^{\mathrm{flat}}=1, $$ 則： $$ \mu=0 $$ 是 compensation equation的 solution。 因： $$ A_{jk}\neq0, $$ 它是 simple root。 所以存在： $$ \varepsilon>0 $$ 使： $$ 0<|\mu|<\varepsilon $$ 時： $$ \boxed{ C_{jk}(\mu)\neq1. } $$ --- # 26. HCIZ mean / variance interpretation first cumulant： $$ A_{jk} $$ 來自 omitted frequency造成的 HCIZ energy mean shift。 second cumulant： $$ B_{jk} $$ 來自 omitted frequency造成的 HCIZ energy variance shift。 所以： $$ \boxed{ \text{flat barycentric geometry} } $$ 與： $$ \boxed{ \text{finite-}\mu\text{ unitary-orbit statistics} } $$ 第一次被精確分離成： - static target： $$ G_{jk}; $$ - mean drift： $$ A_{jk}; $$ - curvature： $$ B_{jk}. $$ --- # 27. Approximate squaring invariance barycentric ratio： $$ f_{jk}(T) = \frac{ w_k(T) }{ w_j(T) } \in \mathbb Q(T). $$ 有： $$ G_{jk} = \log \left| \frac{ f_{jk}(s^2) }{ f_{jk}(s) } \right|. $$ 若： $$ |\mu| $$ 極小且 common circuit成立，則： $$ |G_{jk}| $$ 必極小。 因此： $$ \boxed{ f_{jk}(s^2) \approx f_{jk}(s). } $$ --- # 28. From exact to approximate squaring rigidity Round 20證： $$ f(T)=f(T^2) $$ 對 barycentric ratio family若 exact成立，最終迫使 support共線。 Round 21顯示 flat common-circuit family若 support逃向 infinity，必產生 increasingly complicated： $$ f_n(T)\in\mathbb Q(T) $$ 使： $$ \boxed{ f_n(s^2)-f_n(s) \to0 } $$ at a rate tied to： $$ \mu_n=q_n\lambda. $$ 因此下一個障礙本質上是 quantitative。 --- # 29. Approximate Squaring Rigidity Problem 正式定義： **Approximate Squaring Rigidity Problem（ASRP）** 對 barycentric support-ratio family： $$ \mathcal F_{\mathrm{bar}}, $$ 尋找 lower bound： $$ \boxed{ |f(s^2)-f(s)| \ge \Psi \left( \deg f, h(f), D(S), s \right) } $$ 對所有： $$ f\in\mathcal F_{\mathrm{bar}} $$ 且： $$ f(T)\not\equiv f(T^2) $$ 成立。 其中： - $\deg f$：rational-function degree； - $h(f)$：coefficient height； - $D(S)$：support diameter； - $\Psi>0$：effective lower bound。 --- # 30. Why ordinary transcendence is insufficient 只知道： $$ s $$ transcendental，只能推出： $$ f(s)\neq f(s^2) $$ 對 fixed non-invariant： $$ f. $$ 它不給 uniform quantitative lower bound。 對 varying： $$ f_n $$ 完全可能： $$ |f_n(s)-f_n(s^2)| \to0 $$ 而： $$ f_n(T)\neq f_n(T^2). $$ 因此： $$ \boxed{ \text{Round 20 exact rigidity} \not\Rightarrow \text{uniform flat contradiction for escaping supports}. } $$ --- # 31. Where transcendence measures re-enter BADT 中： $$ s = \frac{ s\lambda }{ \lambda } $$ 是兩個 algebraic logarithms之比。 所以 ASRP若要有效，很自然會碰到： - lower bounds for expressions in logarithms of algebraic numbers； - algebraic-independence measures； - rational-function approximation to ratios of logarithms； - quantitative Roy/Waldschmidt-type estimates。 也就是我們在經過二十輪 combinatorial reduction後，第一次精確看見： $$ \boxed{ \text{原始 Schanuel 天坑重新出現的位置。} } $$ 它現在不是模糊的「證 transcendence」，而是一個明確的 approximate squaring gap。 --- # 32. Floater finite-parameter certificate remains useful 即使沒有 ASRP general lower bound，Floater bounds仍可對 fixed support提供 rigorous finite-$\mu$ exclusion。 令： $$ I_t(j,k;\mu) $$ 為 Round 20 導出的 cofactor-ratio interval。 若： $$ \boxed{ I_s(j,k;\mu) \cap I_{s^2}(j,k;\mu) = \varnothing, } $$ 則該 support在該 finite： $$ \mu $$ 下 impossible。 所以實際 workflow可分： 1. crossing parity filter； 2. barycentric flat filter； 3. first-order compensation consistency； 4. Floater interval separation； 5. 最後才需要 exact HCIZ / ASRP。 --- # 33. A hierarchy of compensation tests 對 candidate support： $$ S, $$ Round 19–21 現在有： ## Test 0 — Affine dimension collinear： $$ \Rightarrow $$ 已由 exact support theorem解決。 ## Test 1 — Crossing parity common signs是否可能？ ## Test 2 — Flat barycentric equality 若： $$ \mu\to0 $$ fixed support，2D直接失敗。 ## Test 3 — First-order HCIZ consistency 比較： $$ \mu_{jk}^{(1)} = G_{jk}/A_{jk}. $$ ## Test 4 — Second-order correction 使用： $$ B_{jk}. $$ ## Test 5 — Floater interval separation rigorous finite-$\mu$ exclusion。 ## Test 6 — Exact HCIZ compensation 只剩最後 surviving supports需要。 --- # 34. Second-order candidate equation 若 first-order candidates非常接近，可使用： $$ G_{jk} = A_{jk}\mu + \frac12B_{jk}\mu^2. $$ 其 quadratic approximate roots： $$ \boxed{ \mu \approx \frac{ -A_{jk} \pm \sqrt{ A_{jk}^2+2B_{jk}G_{jk} } }{ B_{jk} } } $$ 當： $$ B_{jk}\neq0. $$ 對多 pairs仍必共同一致。 --- # 35. Universality of first-order nonvanishing 值得強調： $$ A_{jk}\neq0 $$ 完全不需要： - support為 convex； - crossing parity； - affdim $2$； - minimal circuit； - determinant bounds。 它只需要： $$ p_j\neq p_k, $$ 以及： $$ s $$ transcendental。 所以： $$ \boxed{ \text{first-order HCIZ layer separation is universal over the entire lattice support category}. } $$ --- # 36. Why the factor $1+s+s^2$ appears difference： $$ s-s^4 $$ 可分解： $$ s-s^4 = s(1-s)(1+s+s^2). $$ 因此： $$ 1+s+s^2 $$ 不是人工引入，而是： $$ s mapsto s^2 $$ 在 HCIZ mean correction中的自然 cubic secant factor。 若 first-order drift消失，便會要求： $$ \Delta u + (1+s+s^2)\Delta v = 0. $$ 也就是 lattice slope必等於： $$ -(1+s+s^2), $$ 但 lattice slope為 rational，而右側transcendental。 所以 drift永不消失。 --- # 37. Second cumulant and support center 與 first cumulant不同， $$ B_{jk} $$ 讀取： $$ \overline u, \quad \overline v. $$ 所以二階開始看見 support的 global center。 這表示 HCIZ expansion hierarchy自然由： ### First order pairwise lattice differences。 ### Second order pairwise differences + support center。 ### Higher orders 預期讀取更高 support moments / symmetric functions。 因此： $$ \boxed{ \text{HCIZ cumulant order} \leftrightarrow \text{support moment depth}. } $$ 這可能成為 future systematic expansion language。 --- # 38. Round 21 判定 **PASS — First two HCIZ cofactor-ratio cumulants computed; universal first-order transversality proved; finite compensation reduced to an approximate squaring-rigidity problem** 本輪完成： 1. 將 normalized HCIZ factor視為 moment-generating function。 2. 使用 Haar invariance導出 first moment。 3. 使用 standard unitary Weingarten second moment導出 variance formula。 4. 精確計算 BADT grid node mean： $$ \overline q_t = \frac{M-1}{2}(1+t). $$ 5. 精確計算 centered node square sum： $$ \frac{L(L-1)}{12}(1+t^2). $$ 6. 推導 first cofactor-ratio cumulant。 7. 推導 second cofactor-ratio cumulant。 8. 定義 two-layer HCIZ compensation quotient： $$ C_{jk}. $$ 9. 推導 universal first derivative： $$ A_{jk} = \frac{M-1}{2} s(1-s) [ \Delta u+ (1+s+s^2)\Delta v ]. $$ 10. 由 $s$ transcendental證： $$ A_{jk}\neq0 $$ 對所有 distinct pairs。 11. 建立 Universal First-Order Transversality Theorem。 12. 推導 exact second derivative： $$ B_{jk}. $$ 13. 建立 Taylor compensation law。 14. 定義 flat logarithmic gap： $$ G_{jk}. $$ 15. 定義 first-order compensation scale： $$ \mu_{jk}^{(1)} = G_{jk}/A_{jk}. $$ 16. 建立 First-Order Compensation Consistency。 17. 建立 local monotonicity / simple-contact corollary。 18. 將 escaping-support problem改寫成 approximate rational-function squaring invariance。 19. 定義 Approximate Squaring Rigidity Problem（ASRP）。 20. 識別 transcendence-measure theory為下一個真正 quantitative bottleneck。 --- # 39. Round 22 正式入口 Round 22 建議分兩條同步線。 ## R22-A：Barycentric height formulas 對： $$ f_{jk}(T) = w_k(T)/w_j(T), $$ 把： - degree； - numerator / denominator coefficient heights； - support diameter； 全部顯式上界化。 目標把 ASRP 變成： $$ \boxed{ |F_S(s)| \text{ 的 quantitative lower-bound problem} } $$ 其中： $$ F_S(T) \in \mathbb Z[T] $$ 由 lattice differences明確生成。 --- ## R22-B：Existing transcendence measures 搜尋 Baker / Waldschmidt / Philippon / Nesterenko 類 quantitative estimates，看對： $$ s= \frac{\log\alpha}{\log\beta} $$ 形式的 algebraic-log ratio，是否已有足夠控制： $$ |P(s)| $$ 或： $$ |R(s)-R(s^2)|. $$ 如果只有 linear forms in logarithms，而無 quadratic ratio control，就把 gap明確記錄。 --- ## R22-C：Second-order filter implementation 對 candidate support建立 exact： $$ A_{jk}, \quad B_{jk}, \quad G_{jk} $$ 計算器。 先在 bounded support windows中測： - first-order candidate scales dispersion； - second-order一致性； - crossing parity。 目的不是 numerical proof，而是找 ASRP最可能的 extremal support families。 --- # 40. 一句話結論 > **HCIZ nonlinear correction在 flat point附近並不是神秘黑盒：其 first-order cofactor-ratio drift可以完全閉式算出，而且對任何兩個不同 lattice support points都嚴格非零；second order則精確讀取 support center。於是 finite-$\mu$ common circuit被壓成「explicit barycentric rational-function gap能否被 explicit HCIZ cumulant drift補償」的 quantitative問題。** 核心式： $$ \boxed{ \left. \frac{d}{d\mu} \log C_{jk}(\mu) \right|_0 = \frac{M-1}{2} s(1-s) \left[ \Delta u+ (1+s+s^2)\Delta v \right] \neq0. } $$ 真正的下一個天花板： $$ \boxed{ \text{effective lower bounds for } f(s)-f(s^2) \text{ as support height grows}. } $$ 這正是 ACTM 經過 algebraic-combinatorial reduction後，重新碰回 quantitative transcendence theory 的位置。 --- # 參考資料 1. Michael S. Floater, **Bounds on the determinant of an exponential matrix**, *BIT Numerical Mathematics* 66 (2026), article 58. Published 23 September 2026. DOI: 10.1007/s10543-026-01153-5 Provides exponential determinant positivity, HCIZ/Vandermonde representation, and upper/lower determinant bounds. 2. Michael S. Floater, arXiv:2603.19900, **Bounds on the determinant of an exponential matrix**. 3. Benoit Collins, Sho Matsumoto, Jonathan Novak, **The Weingarten Calculus**, arXiv:2109.14890. General framework for Haar-unitary polynomial moments. 4. Georg Köstenberger, **Weingarten Calculus**, arXiv:2101.00921. Survey of explicit Haar-unitary moment computations. 5. Standard Haar-invariance identity: $$ \mathbb E(UBU^\ast) = \frac{\operatorname{tr}B}{L}I. $$ --- **ACTM Round 21 完**