杨-米尔斯存在性与质量间隙

详细描述

杨-米尔斯理论由杨振宁与米尔斯于 1954 年提出，是量子场论中描述基本粒子相互作用（强、弱、电磁力）的规范场框架，也是粒子物理标准模型的数学基础。千禧年问题（由 Arthur Jaffe 与 Edward Witten 撰写官方表述）要求：对四维时空上的量子 SU(N) 杨-米尔斯理论，给出满足适当公理（如 Wightman 公理或 Osterwalder–Schrader 公理）的严格数学构造，并证明存在”质量间隙”——即真空与最轻的激发态之间存在严格大于零的能量差 $m>0$。

经典杨-米尔斯作用量为

$S[A]=\frac{1}{4}\int \operatorname{Tr}(F_{\mu\nu}F^{\mu\nu})\,d^4x$

其中 $F_{\mu\nu}$ 为曲率（场强）张量。量子化后，质量间隙意味着传播子在点阵距离衰减中呈指数形式 $e^{-mr}$。

最新进展

在物理上，基于对称性破缺与希格斯机制的预言已被大量高能实验证实；格点规范理论的数值模拟强烈支持质量间隙的存在。然而，严格的数学证明——把规范场从经典方程提升到满足量子公理、并证出正质量间隙——至今缺失。Witten 曾直言此问题”对现在而言实在太难”。该问题列于七大千禧年难题（与黎曼、庞加莱[已解]、霍奇、纳维–斯托克斯、BSD、P/NP 并列）。

意义

这是唯一由物理理论反过来向纯数学提出的百万美元级难题。解决它既需要数学上全新的分析与几何工具，也将反过来深化人类对基本粒子质量起源（为何传递强作用的无质量规范玻色子对应有质量的胶子）的理解。

参考资料

• Yang–Mills existence and mass gap — Wikipedia
• Clay Mathematics Institute — Yang–Mills
• Jaffe, A., Witten, E. Quantum Yang-Mills Theory (official description, PDF)