連通殘數:電子前因子如何不再是一個截斷

本系列的上一篇短文以一句口號收尾:質量是碰撞的對數殘數。三個字 — 「對數殘數」 — 在那句話裡做了相當多的工作。沿除子的對數微分;殘數映射剝離奇異部分;在有限多個匹配上的平均期望。其中每一項,在該框架的硬核邊界殘數代數裡都有良好定義。它們的複合也有良好定義。但在某一具體之處,這種複合需要一條規則,而上一篇短文把那條規則留為經驗輸入。

$r = 4$ 時的匹配代數 — 即電子所在層 $n = 3$ 的線形變秩 — 既包含單邊匹配,也包含兩邊匹配 $\{12 \mid 34\}$ 。單邊的情形毫無歧義;該框架在相鄰對殘數上的關係 $b_e^2 = 0$ 強制使得邊界缺陷 $X_e = b_e \delta_0(\phi_e)$ 冪零,而形式級數 $e^{-X_e} = 1 - X_e$ 在第一項之後即截斷。兩邊的情形則是兩條自然的處方分歧之處。第一種、樸素的處方是乘法的:把分離缺陷上的配分函數取作 $\prod_e (1 - X_e)$ ,然後取平均。第二種是連通的:先經過 $W = \log Z$ ,對對數取平均,只讀出連結的那一項。兩種處方在該框架的電子湯川等式上有半個百分點級的分歧,而該框架現有的匹配偏好連通的那一種。

這些已經確立。還沒有確立的是:連通處方究竟是一種自由的、輕錨定的經驗選擇,還是一項喬裝打扮的教科書 QFT 原理。新短文表明它屬於後者。

連通處方究竟是什麼

配分函數與連通有效作用之間的關係 $W = \log Z$ ,在場論中並非自由選擇。它是定義連通關聯函數的關係,是單粒子不可約 (1PI) 圖的生成,是質量項與自能從中讀出的源頭。兩點函數 $\langle \phi(x) \phi(y) \rangle$ 含有一個不連通項 — 真空期望值的平方 — 經由過渡到 $W$ 而被去除。一個自能圖是一個連通的兩點插入。從寫下含質量項的拉氏量的那一刻起,人們就已經隱含使用了路徑積分的連通部分。

這一原理標準的教科書設置是連通時空上交互場論的體路徑積分。該框架的設置在兩個具體方面有所不同。其一,它是一種邊界缺陷理論,而非體理論。其二,它在做任何時空平均之前,先按匹配扇區分解。新短文的貢獻,是把這一體原理顯式地導入此分扇區的邊界代數 — 並表明該導入對線性電子前因子的代數結構有一個引人注目的後果。

為什麼線性形式是精確的,不是截斷

在該框架於 $r = 4$ 的硬核邊界殘數代數

\mathcal{A}_\partial^{\rm hc}(4) \;=\; \mathbb{C}[b_1, b_2, b_3] \big/ (b_i^2,\; b_i b_{i+1})

中,每一個生成元 $b_e$ 是一個原始相鄰對殘數,且其平方為零。附在每條邊上的邊界缺陷為

X_e \;=\; b_e\, \delta_0(\phi_e),

它繼承了冪零性: $X_e^2 = 0$ 。這是一個不大的代數事實,卻帶來不成比例的後果。泰勒級數

\log(1 - X_e) \;=\; -X_e - \tfrac{1}{2} X_e^2 - \tfrac{1}{3} X_e^3 - \cdots

在第一項之後即截斷。右端恰好是 $-X_e$ — 不是近似,不是首階,而是殘數代數中的代數恆等式。

由此立刻得到核心觀察。對 $P_4$ 上任一以不相交邊構成的匹配 $M = \{e_1, \ldots, e_k\}$ ,匹配扇區 $M$ 中的邊界缺陷配分函數為

Z_M^{\rm def} \;=\; \prod_{e \in M} (1 - X_e),

而由於殘數代數中的 $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{(精確)}.

連通邊界前因子

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),

因此是殘數代數中的精確恆等式,不是泰勒截斷。線性性不再是一個需要致歉的近似。它是單邊邊界缺陷冪零性的定理級後果。

對 $P_4$ 的五種匹配 — 空匹配、三種單邊匹配、兩邊匹配 $\{12 \mid 34\}$ — 取平均,平均二聚體數為

\overline{|M|}_{\mathrm{Match}(P_4)} \;=\; \frac{0 + 1 + 1 + 1 + 2}{5} \;=\; 1,

在極座標法向 $S^1$ 上 $\langle \delta_0 \rangle = 1/(2\pi)$ ,連通期望為

\langle B_e^{\rm conn} \rangle \;=\; 1 - \frac{1}{2\pi},

正是該框架的 $P_4$ 。乘法版本則給出

\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},

它與該框架的取值相差 $0.51\%$ 的不連通修正。該框架現有的電子湯川公式以 $0.09\%$ 的精度匹配,在自身的賬本內排除了該修正。連通與乘法之間的選擇不再是一個經驗性的自由參數。它就是 $W$ 與 $Z$ 之間標準的 QFT 區分,應用到一個分扇區的邊界代數上 — 而恰好在此代數中,單邊對數是精確的。

電子前因子是一個連通的邊界自能,不是泰勒截斷。

短文推導了什麼、不推導什麼

短文做了什麼:它把殘餘子假設 $P_e^{\rm conn}$ — 即定域化猜想的四項子假設中,上一篇短文留為僅由經驗支持、而非由物理動機支持的那一項 — 轉換為標準 QFT 連通有效作用原理的分扇區應用。電子邊界前因子的線性性,是殘數代數中冪零性的精確後果,而非任意截斷。數值 $1 - 1/(2\pi)$ 隨後由匹配代數、極座標法向 $S^1$ 相位、與連通對數處方一同給出 — 而連通對數處方不再是一個任意算符選擇。

短文沒做什麼:它沒有推導出可以從第一性原理證立分扇區對數處方的完整 BV–BFV 邊界作用量。把體 QFT 原理 $W = \log Z$ 應用於分扇區邊界代數本身就是結構性的假定,在五種失敗模式中明列為第四種。它沒有推導硬核選擇規則、極座標法向增強、或實切片恆等缺陷 — 那些是上一篇短文裡有動機的。它沒有改變活躍的 TCG/FPA 假設清單。 $P_4$ 定域化猜想的四項子假設仍然是該猜想的子假設,不是新的框架公理。改變的是:四項現已全部結構性地有動機。其中最難的一項 — 連通投影規則 — 已從「任意線性算符選擇」縮減為「分扇區導入標準 QFT 的 $W = \log Z$ 結構,且線性性精確地由冪零性給出」。

五項失敗模式

短文明示了結果可能在何處失敗。前三項繼承自上一篇短文:全邊界主導(FM/AS 幾何是否強制硬核扇區,還是硬核選擇是單獨的決定);實法向阻礙(極 $S^1$ 相位是否需要一項本身被假設的複化法向增強);恆等缺陷歧義( $\delta_0$ 選取為勒貝格歸一化而非哈爾歸一化,這會改變 $1/(2\pi)$ 因子)。新短文銳化的第四項是連通性歧義:從體 QFT 把 $W = \log Z$ 導入分扇區的邊界代數本身是結構性假定,而要證明分扇區對數處方才是正確的處方 — 而非例如對完整匹配平均後的配分函數取整體對數 — 則需要本短文未提供的作用量級 BV–BFV 構造。第五項關乎用以從代數中萃取出純量的增廣 $\epsilon$ 、 $\mathrm{Match}(P_4)$ 上的均勻計數測度,以及邊間相等的相位圓測度;這三者均是應當由邊界作用量推出而非假設的選擇。

這些都不是含糊的憂慮。每一項都屬於具體計算可以定結的那種問題。

該計畫目前所處的位置

新短文之後,該框架的 $P_4$ — 線性電子邊界前因子 $\langle B_e \rangle = 1 - 1/(2\pi)$ — 已被分解為定域化猜想的四項子假設,四項現已全部結構性地有動機:

$P_\partial^{\rm hc}$ :硬核相鄰對選擇,以 FM/AS 邊界幾何上的二元相關-殘數原理為動機。
$P_\partial^{\mathbb{C}\text{-norm}}$ :極座標法向 $S^1$ 相位,以複化碰撞除子的定向實爆破為動機。
$P_e^{\rm id}$ :實切片恆等缺陷,以極座標法向結構的龐加萊對偶實切片方向為動機。
$P_e^{\rm conn}$ :連通投影規則,以標準 QFT 連通有效作用原理 $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 結構」。剩下的工作,是把這一導入從邊界作用量中推導出來 — 在上一篇短文已經表明是正確選擇的那個殘數代數之上。