是能量泛函，而他的标注写的是能隙泛函，能隙，应该指的就是质量间隙。”

    格林教授的表情在短短一秒之内从困惑变成了震惊：“你的意思是……”

    “他在把刚才那个曲率积分不等式，往杨米尔斯规范场的框架上翻译，他到底看到了什么啊？！”

    坐在第二排的叶臻原本一直在低头做笔记，也被他惊的不轻，他侧过身，压低声音对旁边的任长峰说：

    “老任，你看他写的这个式子和我们之前处理格点规范理论里禁闭相变时用的序参量是不是很象？”

    任长峰点点头，眉头紧锁：“对，但是他把和乐群的约束直接写进了泛函的极小值条件里了，这个思路我从来没见过。

    他这应该不是在做数值近似，而是想直接从规范场的几何结构导出能隙。”

    “问题在于，”叶臻的声音压得更低了，“杨米尔斯场本身的非阿贝尔性，会让这个和乐约束的拓扑结构变得特别复杂。

    他的那个不等式在欧氏空间上跑得通，但要平移到闵氏空间，中间要过一道威克旋转，那道关在格点规范里就是蒙特卡洛仿真的老大难了。”

    任长峰若有所思：“不过，如果他这个几何框架本身就包含了禁闭标度，那也许不需要走常规的格点路径，他刚才在NS方程里用的那个和乐等价类商空间，如果能直接套到规范场的构型空间上，等于绕开了传统方法的瓶颈了。”

    “这就看他的和乐约束够不够强了，”叶臻说，“够强的话，能隙就会作为一个几何不变量自然涌现出来，不够强的话，就只是一个上界估计，而不是一个严格的存在性证明了。”