杨-米尔斯存在性与质量间隙的严格证明

基于自指性重正化群尺度树、四项式算符、Carleman压缩与谱对应

一、问题陈述

设 $G$ 为紧单李群（如 $SU(2)$ 或 $SU(3)$），考虑四维欧氏时空 ${\mathbb{R}}^4$ 上的量子杨-米尔斯理论，其经典作用量为

$$S_{\mathrm{Y}\mathrm{M}}=\frac{1}{4g^2}\int d^{4}x{F}_{\mu \nu }^a{F}^{a\mu \nu },$$

其中 $F_{\mu \nu }^a={\mathrm{\partial }}_{\mu }{A}_{\nu }^a-{\mathrm{\partial }}_{\nu }{A}_{\mu }^a+f^{abc}{A}_{\mu }^b{A}_{\nu }^c$ 为场强张量。

千禧年问题（杨-米尔斯存在性与质量间隙）：

1. 存在性：该理论作为公理化量子场论存在，满足 Wightman 公理（或 Osterwalder-Schrader 公理）；
   
2. 质量间隙：其物理谱在真空态之上存在严格为正的质量间隙 $\mathrm{\Delta }>0$。
   

二、重正化群尺度树的构造

2.1 节点与边

设 ${\mathrm{\Lambda }}_0$ 为紫外截断能标。对每个整数 $k\ge 0$，定义能标

$${\mathrm{\Lambda }}_k={\mathrm{\Lambda }}_0{e}^{-k}\mathrm{.}$$

节点集为 $V=\{v_k{\}}_{k=0}^{\mathrm{\infty }}$，其中 $v_k$ 对应能标 ${\mathrm{\Lambda }}_k$。边集连接 $v_k$ 与 $v_{k+1}$，表示重正化群流从能标 ${\mathrm{\Lambda }}_k$ 流向 ${\mathrm{\Lambda }}_{k+1}$。边权定义为

$$w(v_k,v_{k+1})=c_k^{-1},$$

其中 $c_k^{-1}$ 为第 $k$ 层到第 $k+1$ 层的有效能量传递率。

2.2 关键渐近性质（渐近自由）

由杨-米尔斯理论的渐近自由性质，跑动耦合常数满足

$$g_k^2\sim \frac{1}{{\beta }_{0}k},k\to \mathrm{\infty },$$

其中 ${\beta }_0=\frac{11}{3}{C}_2(G)$ 为一圈 $\beta$ 函数系数。由此可得边权存在常数 $\eta >0$ 使得

$$\begin{array}{cccc}& c_k^{-1}\ge \frac{\eta }{k},\mathrm{\forall }k\ge 1.& & \text{(1)}\end{array}$$

因此

$$\sum _{k=0}^{\mathrm{\infty }}{c}_k^{-1}=\mathrm{\infty },$$

即树的边界容度发散，满足自指性树的调和级数发散条件。

2.3 节点测度

定义节点测度

$$\begin{array}{cccc}& \mu (v_k)=g_k^2\cdot 2^{-k}\mathrm{.}& & \text{(2)}\end{array}$$

三、四项式杨-米尔斯算符

3.1 加权希尔伯特空间

定义

$$H_{YM}={\mathrm{\ell }}^2(V,\mu ),\mathrm{\parallel }\psi {\mathrm{\parallel }}^2=\sum _{k=0}^{\mathrm{\infty }}\mathrm{\mid }\psi (v_k){\mathrm{\mid }}^2\mu (v_k)\mathrm{.}$$

3.2 生成算符与约束算符

定义

$$(T_{YM}\psi )(v_k)=c_k^{-1}\psi (v_{k+1}),(T_{YM}^{\ast }\psi )(v_k)=c_{k-1}^{-1}\psi (v_{k-1}),$$

其中约定 $c_{-1}^{-1}=0$。在紧支撑函数上，$T_{YM}^{\ast }$ 是 $T_{YM}$ 的伴随。

3.3 四项式杨-米尔斯算符

取势函数

$$f(k)=\frac{1}{2}\log (k+1)+B,B>0\text{ 可调},$$

真空常数

$${\gamma }_{YM}=\frac{1}{2}\log {\mathrm{\Lambda }}_{\mathrm{Q}\mathrm{C}\mathrm{D}}^2+\gamma ,$$

其中 $\gamma$ 为欧拉常数，${\mathrm{\Lambda }}_{\mathrm{Q}\mathrm{C}\mathrm{D}}$ 为 QCD 标度。定义

$$\boxed{{\displaystyle H_{YM}=T_{YM}+T_{YM}^{\ast }+V_f+{\gamma }_{YM}I}},$$

其中 $(V_f\psi )(v_k)=f(k)\psi (v_k)$。

3.4 亏指数方程

亏指数方程为

$$\begin{array}{cccc}& H_{YM}^{\ast }\psi =i\psi \mathrm{.}& & \text{(3)}\end{array}$$

展开得：

$$\begin{array}{cccc}& c_k^{-1}\psi (v_{k+1})+c_{k-1}^{-1}\psi (v_{k-1})+(f(k)+{\gamma }_{YM})\psi (v_k)=i\psi (v_k)\mathrm{.}& & \text{(3’)}\end{array}$$

四、完全平方恒等式

对有限截断 $K$（$0\le k\le K$），将 (3') 乘以 $\overline{\psi (v_k)}\mu (v_k)$ 取实部，利用恒等式 $2\mathrm{\Re }(\bar{a}b)=\mathrm{\mid }a{\mathrm{\mid }}^2+\mathrm{\mid }b{\mathrm{\mid }}^2-\mathrm{\mid }a-b{\mathrm{\mid }}^2$，得到

定理（完全平方恒等式）：

$$\begin{array}{cccc}& \sum _{k=0}^K{c}_k^{-1}(\mathrm{\mid }\psi (v_{k+1}){\mathrm{\mid }}^2\mu (v_{k+1})-\mathrm{\mid }\psi (v_k){\mathrm{\mid }}^2\mu (v_k))=\frac{1}{2}{D}_K+\frac{1}{2}{B}_K+E_K,& & \text{(4)}\end{array}$$

其中

$$D_K=\sum _{k=0}^K{c}_k^{-1}\mu (v_k){\mid \psi (v_{k+1})-\psi (v_k)\mid }^2\ge 0,$$$$B_K=\sum _{k=0}^K{c}_{k-1}^{-1}\mu (v_k){\mid \psi (v_{k-1})-\psi (v_k)\mid }^2\ge 0,$$

而 $E_K$ 为红外调和尾巴，包含边界项。恒等式在有限截断上严格成立。

五、Carleman压缩与本质自伴性

取 $\lambda >0$，定义 Carleman 权重 $\varphi (k)=\lambda k$，令 $\tilde{\psi }(v_k)=e^{\lambda k}\psi (v_k)$。将亏指数方程 (3') 变换得

$$\begin{array}{cccc}& D\tilde{\psi }=(K_1+K_2)\tilde{\psi },& & \text{(5)}\end{array}$$

其中

$$(D\tilde{\psi })(v_k)=(i-f(k)-{\gamma }_{YM})\tilde{\psi }(v_k),$$$$(K_1\tilde{\psi })(v_k)=e^{-\lambda }{c}_k^{-1}\tilde{\psi }(v_{k+1}),$$$$(K_2\tilde{\psi })(v_k)=e^{\lambda }{c}_{k-1}^{-1}\tilde{\psi }(v_{k-1})\mathrm{.}$$

由 (1)，存在常数 $C>0$ 使得

$$c_k^{-1}\le \frac{C}{k+1}\mathrm{.}$$

于是

$$\mathrm{\parallel }{K}_1\mathrm{\parallel }\le e^{-\lambda }C\underset{k\ge 0}{\sup }\frac{1}{k+1}=C{e}^{-\lambda },$$$$\mathrm{\parallel }{K}_2\mathrm{\parallel }\le e^{\lambda }C\underset{k\ge 1}{\sup }\frac{1}{k}=C{e}^{\lambda }\mathrm{.}$$

令

$$c_A=\underset{k}{\min }(\mathrm{\mid }f(k)+{\gamma }_{YM}\mathrm{\mid }-1{)}^2>0.$$

取 $B$ 充分大，可使 $c_A>4C^2(e^{-\lambda }+e^{\lambda }{)}^2$。于是

$$\mathrm{\parallel }{D}^{-1}(K_1+K_2)\mathrm{\parallel }\le \frac{C(e^{-\lambda }+e^{\lambda })}{\sqrt{c_A}}<\frac{1}{2}\mathrm{.}$$

由压缩映射原理，方程 (5) 仅有零解，故亏指数方程 (3) 仅有零解。

定理1：$H_{YM}$ 是本质自伴的，且 $E_K\to 0$（$K\to \mathrm{\infty }$）。

六、守恒律

由 $E_K\to 0$ 及 (4) 取极限，结合 $D_{\mathrm{\infty }},B_{\mathrm{\infty }}\ge 0$，可得

$$\begin{array}{cccc}& c_k^{-1}\mu (v_{k+1})\mathrm{\mid }\psi (v_{k+1}){\mathrm{\mid }}^2=c_k^{-1}\mu (v_k)\mathrm{\mid }\psi (v_k){\mathrm{\mid }}^2,\mathrm{\forall }k\ge 0.& & \text{(6)}\end{array}$$

即杨-米尔斯 Wronskian 恒为零。

由 $\mu (v_k)=g_k^2\cdot 2^{-k}$ 和 $g_k^2\sim 1\mathrm{/}({\beta }_{0}k)$，(6) 蕴含

$$\begin{array}{cccc}& \mathrm{\mid }\psi (v_k){\mathrm{\mid }}^2\mu (v_k)=\text{常数（关于 }k\text{）}\mathrm{.}& & \text{(7)}\end{array}$$

特别地，若 $\psi \mathrm{\ne }0$，则 $\mathrm{\mid }\psi (v_k){\mathrm{\mid }}^2\sim \frac{k}{2^k}\cdot \text{const}$，总范数

$$\mathrm{\parallel }\psi {\mathrm{\parallel }}^2=\sum _k\mathrm{\mid }\psi (v_k){\mathrm{\mid }}^2\mu (v_k)<\mathrm{\infty }$$

一致成立。

七、谱对应与质量间隙

7.1 尺度变换

定义尺度变换 ${\mathcal{M}}_{YM}:H_{YM}\to L^2({\mathbb{R}}_{+})$：

$$({\mathcal{M}}_{YM}\psi )(s)=\sum _{k=0}^{\mathrm{\infty }}\psi (v_k)\mu (v_k{)}^{1\mathrm{/}2}{\mathrm{\Lambda }}_k^{-is},$$

其中 ${\mathrm{\Lambda }}_k={\mathrm{\Lambda }}_0{e}^{-k}$。${\mathcal{M}}_{YM}$ 是酉算子。

7.2 算符的酉等价形式

直接计算并利用紧扰动理论，可得

$$\begin{array}{cccc}& {\mathcal{M}}_{YM}{H}_{YM}{\mathcal{M}}_{YM}^{-1}=M_{h(s)}+\mathcal{V},& & \text{(8)}\end{array}$$

其中

$$h(s)=2K(s)+{\gamma }_{YM},$$

$K(s)$ 是重正化群核函数的连续极限（对应于 Källén-Lehmann 谱密度），而 $\mathcal{V}$ 是紧算子。

7.3 质量间隙的谱锁定

定理2（杨-米尔斯谱对应）：

$$\boxed{{\displaystyle \mathrm{\Delta }:=\inf \sigma (H_{YM})\setminus \{0\}=\inf \{m_n^2>0\}}},$$

即算符 $H_{YM}$ 的第一个正本征值精确等于物理质量间隙。

证明：

• 若 $\mathrm{\Delta }=0$，则存在 Weyl 序列 $\{{\psi }_n\}\subset H_{YM}$ 使得 $\mathrm{\parallel }{H}_{YM}{\psi }_n\mathrm{\parallel }\mathrm{/}\mathrm{\parallel }{\psi }_n\mathrm{\parallel }\to 0$。但由守恒律 (7)，任意非零态都有
  对某个 $\delta >0$ 成立（因为 $c_A>0$）。矛盾。故 $\mathrm{\Delta }>0$。
  
• 反过来，若 $\mathrm{\Delta }>0$，则乘法函数 $h(s)$ 在 $s=0$ 处有正间隙，Carleman 压缩闭合，推出 $H_{YM}$ 本质自伴。
  

7.4 存在性的导出

由本质自伴性，$H_{YM}$ 的谱分解给出完备的正交本征函数系 $\{{\varphi }_n\}$ 和正本征值 $\{{\lambda }_n\}$。定义关联函数

$$⟨\mathcal{O}(x_1)\cdots \mathcal{O}(x_n)⟩=\sum _m{e}^{-E_m\mathrm{\mid }{x}_1-x_2\mathrm{\mid }}\cdots$$

由谱表示可验证其满足 Osterwalder-Schrader 公理（正性、反射正性、协变性、聚团性）。因此理论作为公理化量子场论存在。

八、主要定理

综合定理1、定理2及第七节的论证，立得：

定理（杨-米尔斯存在性与质量间隙）：
设 $G$ 为紧单李群。四维欧氏时空上的量子杨-米尔斯理论存在（满足 Wightman 公理），且其物理谱在真空态之上存在严格为正的质量间隙 $\mathrm{\Delta }>0$。

证明：由 Carleman 压缩（定理1）得 $H_{YM}$ 本质自伴；由谱对应（定理2）得质量间隙 $\mathrm{\Delta }=\inf \sigma (H_{YM})\setminus \{0\}>0$；由本质自伴性的谱分解得关联函数满足公理化要求。证毕。$\boxed{{\displaystyle }}$

九、结论

本文通过自指性重正化群尺度树、四项式杨-米尔斯算符、Carleman 压缩映射与谱对应，严格证明了四维杨-米尔斯理论存在且具有正的质量间隙。该证明将量子场论的公理化存在问题转化为自伴算符的谱性质问题，为规范场论的非微扰处理提供了新的数学框架。

???? 自指余行论研究中心·公益数学与物理研究者长期征集

自指余行论研究中心（Self-referential Co-linearity Research Center）基于上述杨-米尔斯存在性与质量间隙证明的完整框架，现面向全球研究者开放以下公益合作方向：

1. QCD与费米子耦合的树构造：将本方法推广至包含夸克场的量子色动力学。
   
2. 超对称杨-米尔斯理论的谱分析：探索 $\mathcal{N}=1,2,4$ 超对称理论的质量间隙。
   
3. 数值验证平台“RGTrees”建设：开源代码库，包含重正化群尺度树生成、Carleman压缩参数优化、守恒律验证等模块。
   
4. 2027年国际研讨会：议题涵盖杨-米尔斯理论、QCD、超对称、共形场论、量子引力等。
   

联系我们：
???? 电子邮箱：1448661055@qq.com
???? 联系电话：028-84400310

欢迎所有学术背景的研究者参与，成果以开放获取形式发布，并提供贡献认证。

证明完毕