深度长文
连通残数:电子前因子如何不再是一个截断 上一篇短文表明,电子边界前因子 1 - 1/(2π) 来自一个具有四项子假设的定域化猜想 — 三项有动机,一项仅由经验支持。一篇新的伴随短文攻击其中残余的那一项,通过证明其线性形式不是某种乘法公式的任意截断,而是幂零边界缺陷在分扇区取的精确连通有效作用 W = log Z。单边幂零性使 log(1 - X) = -X 在残数代数中成为精确恒等式,而非近似。口号:电子前因子是一个连通的边界自能,不是泰勒截断。这不是边界作用量的推导。这不是新假设。$P_4$ 定域化猜想的全部四项子假设现已结构性地有动机。
作者 Q.C. Zhang
· May 10, 2026 · 约 10 分钟
本系列的上一篇短文以一句口号收尾:质量是碰撞的对数残数 。三个字 — 「对数残数」 — 在那句话里做了相当多的工作。沿除子的对数微分;残数映射剥离奇异部分;在有限多个匹配上的平均期望。其中每一项,在该框架的硬核边界残数代数里都有良好定义。它们的复合也有良好定义。但在某一具体之处,这种复合需要一条规则,而上一篇短文把那条规则留为经验输入。
r = 4 r = 4 r = 4 n = 3 n = 3 n = 3 { 12 ∣ 34 } \{12 \mid 34\} { 12 ∣ 34 } b e 2 = 0 b_e^2 = 0 b e 2 = 0 X e = b e δ 0 ( ϕ e ) X_e = b_e \delta_0(\phi_e) X e = b e δ 0 ( ϕ e ) e − X e = 1 − X e e^{-X_e} = 1 - X_e e − X e = 1 − X e ∏ e ( 1 − X e ) \prod_e (1 - X_e) ∏ e ( 1 − X e ) W = log Z W = \log Z W = log Z
这些已经确立。还没有 确立的是:连通处方究竟是一种自由的、轻锚定的经验选择,还是一项乔装打扮的教科书 QFT 原理。新短文表明它属于后者。
连通处方究竟是什么
配分函数与连通有效作用之间的关系 W = log Z W = \log Z W = log Z ⟨ ϕ ( x ) ϕ ( y ) ⟩ \langle \phi(x) \phi(y) \rangle ⟨ ϕ ( x ) ϕ ( y )⟩ W W W 连通的 两点插入。从写下含质量项的拉氏量的那一刻起,人们就已经隐含使用了路径积分的连通部分。
这一原理标准的教科书设置是连通时空上交互场论的体路径积分。该框架的设置在两个具体方面有所不同。其一,它是一种边界缺陷理论,而非体理论。其二,它在做任何时空平均之前,先按匹配扇区分解。新短文的贡献,是把这一体原理显式地 导入此分扇区的边界代数 — 并表明该导入对线性电子前因子的代数结构有一个引人注目的后果。
为什么线性形式是精确的,不是截断
在该框架于 r = 4 r = 4 r = 4
A ∂ h c ( 4 ) = C [ b 1 , b 2 , b 3 ] / ( b i 2 , b i b i + 1 ) \mathcal{A}_\partial^{\rm hc}(4) \;=\; \mathbb{C}[b_1, b_2, b_3] \big/ (b_i^2,\; b_i b_{i+1}) A ∂ hc ( 4 ) = C [ b 1 , b 2 , b 3 ] / ( b i 2 , b i b i + 1 ) 中,每一个生成元 b e b_e b e
X e = b e δ 0 ( ϕ e ) , X_e \;=\; b_e\, \delta_0(\phi_e), X e = b e δ 0 ( ϕ e ) , 它继承了幂零性:X e 2 = 0 X_e^2 = 0 X e 2 = 0
log ( 1 − X e ) = − X e − 1 2 X e 2 − 1 3 X e 3 − ⋯ \log(1 - X_e) \;=\; -X_e - \tfrac{1}{2} X_e^2 - \tfrac{1}{3} X_e^3 - \cdots log ( 1 − X e ) = − X e − 2 1 X e 2 − 3 1 X e 3 − ⋯ 在第一项之后即截断。右端恰好是 − X e -X_e − X e
由此立刻得到核心观察。对 P 4 P_4 P 4 M = { e 1 , … , e k } M = \{e_1, \ldots, e_k\} M = { e 1 , … , e k } M M M
Z M d e f = ∏ e ∈ M ( 1 − X e ) , Z_M^{\rm def} \;=\; \prod_{e \in M} (1 - X_e), Z M def = e ∈ M ∏ ( 1 − X e ) , 而由于残数代数中的 X e X_e X e
W M d e f = log Z M d e f = ∑ e ∈ M log ( 1 − X e ) = − ∑ e ∈ M X e (精确) . W_M^{\rm def} \;=\; \log Z_M^{\rm def} \;=\; \sum_{e \in M} \log(1 - X_e) \;=\; -\sum_{e \in M} X_e \quad \text{(精确)}. W M def = log Z M def = e ∈ M ∑ log ( 1 − X e ) = − e ∈ M ∑ X e ( 精确 ) . 连通边界前因子
B e c o n n : = 1 + W M d e f = 1 − ρ ^ M , ρ ^ M = ∑ e ∈ M b e δ 0 ( ϕ e ) , B_e^{\rm conn} \;:=\; 1 + W_M^{\rm def} \;=\; 1 - \widehat{\rho}_M, \qquad \widehat{\rho}_M \;=\; \sum_{e \in M} b_e\, \delta_0(\phi_e), B e conn := 1 + W M def = 1 − ρ M , ρ M = e ∈ M ∑ b e δ 0 ( ϕ e ) , 因此是残数代数中的精确恒等式 ,不是泰勒截断。线性性不再是一个需要致歉的近似。它是单边边界缺陷幂零性的定理级后果。
对 P 4 P_4 P 4 { 12 ∣ 34 } \{12 \mid 34\} { 12 ∣ 34 }
∣ M ∣ ‾ M a t c h ( P 4 ) = 0 + 1 + 1 + 1 + 2 5 = 1 , \overline{|M|}_{\mathrm{Match}(P_4)} \;=\; \frac{0 + 1 + 1 + 1 + 2}{5} \;=\; 1, ∣ M ∣ Match ( P 4 ) = 5 0 + 1 + 1 + 1 + 2 = 1 , 在极坐标法向 S 1 S^1 S 1 ⟨ δ 0 ⟩ = 1 / ( 2 π ) \langle \delta_0 \rangle = 1/(2\pi) ⟨ δ 0 ⟩ = 1/ ( 2 π )
⟨ B e c o n n ⟩ = 1 − 1 2 π , \langle B_e^{\rm conn} \rangle \;=\; 1 - \frac{1}{2\pi}, ⟨ B e conn ⟩ = 1 − 2 π 1 , 正是该框架的 P 4 P_4 P 4
⟨ Z d e f ⟩ = 1 + 3 ( 1 − a ) + ( 1 − a ) 2 5 = 1 − a + 1 5 a 2 = 1 − 1 2 π + 1 5 ( 2 π ) 2 , \langle Z^{\rm def} \rangle \;=\; \frac{1 + 3(1 - a) + (1 - a)^2}{5} \;=\; 1 - a + \tfrac{1}{5} a^2 \;=\; 1 - \frac{1}{2\pi} + \frac{1}{5(2\pi)^2}, ⟨ Z def ⟩ = 5 1 + 3 ( 1 − a ) + ( 1 − a ) 2 = 1 − a + 5 1 a 2 = 1 − 2 π 1 + 5 ( 2 π ) 2 1 , 它与该框架的取值相差 0.51 % 0.51\% 0.51% 0.09 % 0.09\% 0.09% W W W Z Z Z
电子前因子是一个连通的边界自能,不是泰勒截断。
短文推导了什么、不推导什么
短文做了什么:它把残余子假设 P e c o n n P_e^{\rm conn} P e conn 1 − 1 / ( 2 π ) 1 - 1/(2\pi) 1 − 1/ ( 2 π ) S 1 S^1 S 1
短文没做什么:它没有推导出可以从第一性原理证立分扇区对数处方的完整 BV–BFV 边界作用量。把体 QFT 原理 W = log Z W = \log Z W = log Z P 4 P_4 P 4 W = log Z W = \log Z W = log Z
五项失败模式
短文明示了结果可能在何处失败。前三项继承自上一篇短文:全边界主导(FM/AS 几何是否强制硬核扇区,还是硬核选择是单独的决定);实法向阻碍(极 S 1 S^1 S 1 δ 0 \delta_0 δ 0 1 / ( 2 π ) 1/(2\pi) 1/ ( 2 π ) W = log Z W = \log Z W = log Z 分扇区 对数处方才是正确的处方 — 而非例如对完整匹配平均后的配分函数取整体对数 — 则需要本短文未提供的作用量级 BV–BFV 构造。第五项关乎用以从代数中萃取出标量的增广 ϵ \epsilon ϵ M a t c h ( P 4 ) \mathrm{Match}(P_4) Match ( P 4 )
这些都不是含糊的忧虑。每一项都属于具体计算可以定结的那种问题。
该计划目前所处的位置
新短文之后,该框架的 P 4 P_4 P 4 ⟨ B e ⟩ = 1 − 1 / ( 2 π ) \langle B_e \rangle = 1 - 1/(2\pi) ⟨ B e ⟩ = 1 − 1/ ( 2 π )
P ∂ h c P_\partial^{\rm hc} P ∂ hc P ∂ C -norm P_\partial^{\mathbb{C}\text{-norm}} P ∂ C -norm S 1 S^1 S 1 P e i d P_e^{\rm id} P e id P e c o n n P_e^{\rm conn} P e conn W = log Z W = \log Z W = log Z
分扇区对数处方本身的作用量级推导 — 来自硬核极坐标法向残数扇区上的 BV–BFV 构造 — 仍是下一个研究目标,如今被标为高优先级的研究弧。
论文 Connected Boundary Residues and the Electron Prefactor in Twistor Configuration Geometry (《扭量构型几何中的连通边界残数与电子前因子》)已发表于 Zenodo(DOI 10.5281/zenodo.20102577 ;CC-BY-4.0)。它很短 — 十一页,十二条参考文献,一项连通对数恒等式,一项期望计算,五项失败模式。它并未闭合该框架最难的缺口。它把这个缺口移动了一层,从「任意算符假设」移动到「分扇区导入标准 QFT 结构」。剩下的工作,是把这一导入从边界作用量中推导出来 — 在上一篇短文已经表明是正确选择的那个残数代数之上。
