昨日的短文闭合了框架曾搁置的一个问题 —— 它删除哪一面壁,又为何如此? —— 并以对称破缺工具箱中最寻常的原理将其闭合:最小破缺。在从 Dynkin 图删除一个节点的三种方式中,破缺生成元最少的那一种就是 Pati-Salam 色壁,而一个对破缺生成元计代价的自能选定它。那篇短文对这一主张的形态极为审慎。最小破缺是一个拟设 —— 你供给的一个原理 —— 而非关于 的定理。闭合是条件性的。
这便引出显然的下一个问题,而它是个好问题。框架有一份假设清单 —— 两个月来承载了每一项结果的六条活跃假设。它是否强制最小破缺?倘若如此,那条件性答案便会变为被迫答案,色壁便会从框架自身的承诺、而非从一个为契合而引入的原理中随之而来。今日的短文恰恰追问此事,并予以回答。答案是否定的 —— 而它之所以否定的理由,比这个否定本身更有价值。
选择算符必须是什么
先从最小破缺真正需要什么说起。要在三种删除中作选,你需要一个自能:附着于每一种之上的一个实数、一个代价,其规则是破缺越多对称性、代价越大。把这条规则喂给三种删除,它返回端节点,因为端节点破缺 的十五个生成元中的六个,而中心节点破缺八个。整个论证运行于一个对象之上 —— 一个把能量赋予每一面壁的函数 。
于是「清单是否强制最小破缺」这一问题,锐化为某种具体而可核查之物:是否有任何假设供给那个函数 ?
六条假设,没有能量
逐条看下去。其中四条假设固定体积 —— 射影空间的 Fubini–Study 体积、产生精细结构关系的腔室加权体积、把质子-电子比读作 的强子读法。体积是附着于一个空间之上的数,而非附着于破缺对称性某种方式之上的代价。一条假设 供给 Weyl 配置本身 —— 根、权、各种删除、乃至计数 —— 但它把这些作为组合学供给,是整数与分拆,不附带能量。一条假设固定框架力塔的自旋与耦合强度;耦合强度不是真空能。一条是群嵌入 —— 坐落于 之内 —— 它使 Pati-Salam 壁可得,却对删除它的代价无所言说。还有一条是弱动能项上的无量纲归一化,它根本不触及 问题。
把整份清单摊到桌面上,这一缺席是彻底的。其中没有 Lagrangian,没有 Higgs 势,没有对称破缺扇区上的任何作用量。清单是运动学性的:它描述结构 —— 体积、配置、嵌入、归一化 —— 而从不把能量赋予某一壁之选。最小破缺所需的那个选择函数 ,根本不在假设所谈论之物之列。
计数作为数是典范的。称六比八更便宜,是假设从未踏出的一步。
关键:数不是能量
这里是整个结果所系的精确之处,而它小到容易错过。破缺生成元计数完全是典范的。删除端节点破缺六个生成元;删除中心节点破缺八个;这些是关于 的事实,在任何标记下为真,由 直接供给。于是人们禁不住要说:六当然比八便宜,能量学是显然的。
但「六比八更便宜」并不是 所说的。 说 —— 一个关于数的事实。要把它变成 —— 一个关于能量的事实 —— 你需要一条规则:破缺生成元越多代价越大,一个从计数到代价的单调映射。那条规则恰恰就是最小破缺,而清单中无一物供给它。计数作为数是典范的;把它读作能量是那额外的、供给的一步。运动学给你数。唯有动力学把它变成代价。
你可以通过构造对手来感受这一裂隙。从同样的群论数据,你可以写下两个不同的选择算符。一个是破缺生成元计数本身 —— 它偏好色壁。另一个是基本表示上三次反常的幅值,一个干净的典范数,它恰好在中心节点消失,因而偏好中心。两者都可从清单数据计算;它们彼此不合;清单不选出胜者。并非框架悄悄选定了色壁而我们在小题大做 —— 框架,照字面理解,什么也没有选定。
那个诚实的出路,以及为何它仍是额外的
有一个公允的反对意见,而短文正面迎接它,而非回避。批评者会说,反常幅值选择算符是个作弊 —— 反常是个自洽性数据,而非能量,故它没有资格冒充自能。把注意力限制到诚实的自能,那对手便消失;在真正的代价之中,它们想必都偏好更小的破缺。
诚然 —— 但看看这一限制的代价。要把反常选择算符判为出界,你必须定义什么算作真正的自能,而那个定义不在清单里。没有假设供给势、质量矩阵、正定性迹,或任何能让你说「这个函数是真能量而那个不是」的机制。故而限制到诚实自能并非从框架的推断;它是叠加于框架之上的一个新动力学假设。而这正是要害所在。条件性答案无法从当前清单升级为被迫答案,因为清单甚至未定义那升级所要量化的对象之类。结论仍为不变-条件 —— 不是因为找到了某个选定中心的能量,而是因为框架尚未含有这个问题所需的能量概念。
no-go 有何用处
这是一个否定性结果,而否定性结果有一种特别的价值:它们是精确的。一句含糊的「我们没能导出它」让你怀疑自己是否只是漏掉了论证。一个 no-go 告诉你那论证为何不可能存在,并由此勾出必须补足之物的精确轮廓。
此处轮廓是锐利的。框架目前是一个关于结构的理论 —— 它陈述世界由什么样的空间、配置与嵌入构成,并从它们的几何中提取数。它尚不是一个关于动力学的理论 —— 它没有作用量、没有能量泛函、没有「某一构型比另一构型代价更大」的概念。壁选择问题是这一裂隙首次变得承重之处,因为选定一面壁是一桩能量学之举,而框架没有能量。要强制色壁 —— 要把条件性闭合变为一次导出 —— 你必须赋予框架一个动力学层:一个对称破缺扇区上的作用量,经典范归一化,使得破缺越多代价确实越大。此障碍即是那缺失之层的规格说明。
值得言明此事未触及什么。它不是针对框架的 no-go —— Q2 的条件性答案成立,色壁仍是一个标准能量学原理所选定的那一面。它不移动活跃清单。而它是一个与更下一结构层不同的、更浅的裂隙 —— 即一旦壁存在, 凝聚选定哪一个极化 —— 后者就其自身而言仍开放。短文所做的,是把昨日诚实的告诫转化为一条定理,并在同一举动中命名框架在一面壁能被导出而非选取之前所将需要的那一种成分 —— 动力学。
结论
最小破缺壁选择算符不被框架的假设清单蕴含。清单是运动学性的;选择算符需要一个能量;破缺生成元计数作为数是典范的,但作为能量则不是;而那个本能了结此事、限制到诚实自能的做法,本身即是缺失的动力学。壁选择答案仍为条件性,与原先分毫不差 —— 但如今我们精确地知道它为何尚不能更进一步,以及一个被迫的答案将要付出什么代价。
该短文为 The Minimal-Breaking Wall Selector Is Not Entailed by the Postulate Ledger,载于 Zenodo(DOI 10.5281/zenodo.20945031;CC-BY-4.0)。九页,十四篇参考文献。