强 CP 问题与轴子在统一矩阵–QCA 宇宙中的拓扑–散射解
Abstract
Quantum chromodynamics (QCD) in its most general form admits a topological -term , which violates , and . After chiral field redefinitions, the physically observable strong angle is , where and are the up- and down-type Yukawa matrices. Naturalness suggests , while neutron electric dipole moment (nEDM) bounds imply , constituting the strong problem.
Peccei–Quinn (PQ) theory promotes to a dynamical vacuum expectation value of an axion field. The axion potential is determined by the QCD topological susceptibility , with and . Lattice QCD and chiral effective theory now determine with high precision, fixing the QCD axion mass–coupling relation. However, in a broader unified description of the Universe, the origin and robustness of PQ symmetry against gravity, ultraviolet physics and global consistency conditions remain unclear.
Within the unified time-scale, boundary time geometry, matrix universe THE-MATRIX and quantum cellular automaton (QCA) universe framework, this work gives a topological–scattering solution of the strong problem. The main ideas are:
-
Introduce a parameter space of all low-energy couplings (gauge couplings, -angles, Yukawa phases, light scalar parameters) and an extended space , where is spacetime. From the family of scattering matrices on a channel Hilbert space, construct a determinant line bundle and its square root . The obstruction to a global smooth square root is encoded in a relative cohomology class , which has the physical meaning of the global holonomy of the “square-root scattering determinant” along parameter loops.
-
Using the previously developed Null–Modular double cover and restricted unitary bundle framework, one has an equivalence between: (i) local Einstein equations with appropriate quantum energy conditions, (ii) small causal diamond generalized entropy extremality and modular flow consistency, and (iii) vanishing of the obstruction class, . Thus, in any Universe admitting a globally consistent boundary time geometry and semiclassical gravity, allowed physical sectors must satisfy .
-
Embed QCD and its -angle into this unified structure by identifying the QCD sector contribution of . The physical strong angle reappears as the phase holonomy of along loops in . One shows that is equivalent to the triviality (modulo ) of all such holonomies; in particular, in any physically realized sector compatible with one has without requiring a vanishing quark mass.
-
In the matrix universe representation, the global Universe is a gigantic but structured unitary matrix whose block-sparse pattern encodes causal relations and whose spectral data encode the unified time-scale. In this picture, is a “topological phase” of the QCD block of THE-MATRIX, and requires that the square-root determinant has trivial holonomy across all coupling loops. Strong is then rephrased as the requirement that such topological scattering invariants vanish globally.
-
In the QCA universe layer, one constructs an gauge QCA with lattice topological charge . The QCD -term corresponds to a weight factor in the discrete path-sum. By imposing a “topological–Null–Modular consistent QCA” condition that the total phase for all closed gauge-configuration histories be , one obtains in the continuum limit a joint constraint on and possible gravitational -terms, thereby simultaneously suppressing strong and gravitational violation.
-
The PQ axion is reinterpreted as a relative cohomology modulus of . The axion field parametrizes local rephasings of along a fiber of . Its effective action reproduces the standard form , where is the QCD topological susceptibility determined from first-principles QCD. The global condition then enforces and , giving a unified topological–scattering reformulation of the PQ mechanism.
Appendices present standard QCD derivations of , the precise construction of from scattering theory, and explicit gauge QCA models with discrete topological charge and -phase. The resulting picture treats strong as a consistency constraint of the full matrix–QCA Universe rather than an independent fine-tuning of a low-energy parameter.
Keywords
强 问题;QCD 轴子;Peccei–Quinn 机制;拓扑易感;散射行列式线丛;矩阵宇宙;量子元胞自动机;Null–Modular 双覆盖
Introduction & Historical Context
强 问题的提出
四维 Yang–Mills 理论允许在拉氏量中加入拓扑项
空间–时间积分将该项转化为拓扑电荷 与角度 的乘积,显式破坏 、 与 。对含多代夸克的 QCD,引入 Yukawa 矩阵 后,考虑手征重定义与异常效应,物理上可观测的强 角为
其自然取值范围为 。
若没有额外对称或动力学机制, 应为 。然而 将诱导中子电偶极矩 ,QCD 求和规则与手征有效理论给出
最新 nEDM 实验给出 的上界,从而
即所谓强 问题:为何一个自然应为 的角被微调到 量级。
传统解法与 QCD 轴子
强 问题的传统解法大致分为几类:
-
上夸克质量为零:若 ,可通过手征旋转移除 。格点 QCD 已基本排除这一可能。
-
或 为基本对称,在高能尺度自发破缺:真空选择 。这类模型需处理自发 破缺后诱导的 nEDM,并面临量子引力中离散对称的刻画问题。
-
Peccei–Quinn 机制:引入全局 对称与标量场,其异常结构使得 QCD 真空能依赖于某个角场 ,并在真空能最小点自动调节 ,对应的近似 Goldstone 模即 QCD 轴子。原始 PQ 模型已被实验排除,但 KSVZ、DFSZ 等“隐匿轴子“模型仍为主流方案。
在 PQ 框架下,轴子有效势由 QCD 拓扑易感系数 决定:
格点 QCD 与手征有效理论已经给出 的高精度结果,从而精确定出 QCD 轴子质量与耦合常数的关系。
统一宇宙框架与问题重述
上述解法多在低能有效场论层面处理强 问题,而未将其嵌入包含引力、因果结构、边界时间几何与宇宙整体一致性的统一框架。另一方面,量子引力与黑洞热力学表明:全局对称在量子引力中可能被破坏,传统 PQ 机制中全局 的稳定性存在疑问。
此前工作中引入了统一时间刻度、边界时间几何、矩阵宇宙 THE-MATRIX 与 QCA 宇宙的多层对象,将宇宙刻画为一个在散射、几何、模流、广义熵与因果偏序之间高度一致的单一结构。核心要点包括:
-
统一时间刻度母式
将散射半相位导数、相对态密度与 Wigner–Smith 群延迟矩阵迹统一为单一时间密度。
-
边界时间几何与 Null–Modular 双覆盖,将模流参数与散射相位在每个因果菱形边界上粘合,从而几何、熵与散射三者互相约束。
-
矩阵宇宙 THE-MATRIX 与 QCA 宇宙刻画,将宇宙整个演化视为巨大 but 稀疏结构的酉矩阵或可逆 QCA,块结构编码因果偏序,谱数据实现时间刻度,反馈闭环承载 拓扑。
在这一框架下,强 问题可以被重述为:在全宇宙的拓扑–散射不变量中,QCD 扇区贡献的那一部分为何被压制到近乎零。本文将展示,这一压制不再是“低能常数微调“,而是“统一宇宙拓扑–散射一致性“的强制结果。
Model & Assumptions
本节给出本文所用统一宇宙结构、参数空间、散射行列式线丛与 QCD 扇区嵌入的模型与基本假设。
宇宙对象与参数空间
设宇宙的几何层由一个全局双曲洛伦兹流形 描述,带有因果偏序与适当的边界结构(包括过去、未来无穷远与可能的黑洞视界等)。在此基础上,引入统一宇宙对象的若干层次:
-
几何层 :;
-
散射层 :一族散射对与统一时间刻度 ;
-
边界层 :边界代数、模流与 Brown–York 准局域能量;
-
矩阵层 :通道 Hilbert 空间上的散射矩阵宇宙 THE-MATRIX;
-
QCA 层 :定义在可数晶格上的 SU(3) 规 QCA;
-
拓扑层 :相对上同调类 与 Null–Modular 双覆盖。
为引入耦合参数,定义一个开参数空间 ,其坐标包括:
-
规范耦合常数 等;
-
Yukawa 矩阵及 CKM/PMNS 相位的参数化;
-
QCD -角、可能的引力 角与其它拓扑项参数;
-
轻标量(包括可能的轴子)与外部宏观参数。
定义扩展空间
其边界 包含时空边界与参数空间的可能边界。
散射矩阵族与行列式线丛
在适当的局域性与谱假设下,对每个参数点 与能量 ,考虑一个散射对 及其波算子,得到通道 Hilbert 空间 上的散射矩阵
假设 为适当阶的迹类算子,使得修正行列式 有定义并随 平滑变化(在谱隙与适当重正化下)。
由 向量丛 的这一族酉算子,可以构造一个复线丛 ,其纤维由形式上的“行列式“生成:
局域上可以选取对数相位 使得
定义平方根线丛 为形式上满足
局部可以选取 ,但在全局上可能存在符号多值性。该多值性的 扭结由相对上同调类
刻画: 当且仅当存在在 上平凡的全局平方根线丛。
这一构造可视作 Freed 等人关于行列式线丛与上同调障碍的散射版推广。
Null–Modular 双覆盖与一致性条件
边界时间几何将每个小因果菱形 的边界 装配上:
-
边界可观测代数 及其状态 ;
-
模流参数 及模算子 ;
-
由散射矩阵 与 Wigner–Smith 群延迟 给出的相位 与时间刻度 。
Null–Modular 双覆盖将模流参数与散射相位通过一个 覆盖粘合,使得模流方向、时间箭头与相位单值性一致,避免“半圈反号“异常。此前工作表明,在局域 Einstein 方程、QNEC/QFC 与散射–模流一致性的假设下,下列条件等价:
-
存在全局 Null–Modular 双覆盖,使得所有因果菱形的模流与散射相位在该覆盖上平滑对齐;
-
每个因果菱形的广义熵极值条件与二阶相对熵非负等价于局域引力场方程;
-
行列式平方根线丛的相对上同调类满足 。
因此,对一个可接受的物理宇宙扇区而言, 并非任选,而是一致性要求。
QCD 扇区与 的嵌入
在 QCD 扇区,考虑 SU(3) 规场 与六味夸克 ,拉氏量包含
手征重定义与 Fujikawa 异常分析给出物理角
在路径积分中出现在权因子 中。
将 QCD 扇区视作矩阵宇宙 THE-MATRIX 的一个块,对每个参数 与能量 有散射矩阵 。该族在参数空间上的行列式与平方根在 中定义贡献 ,其物理含义是:沿着参数空间中包含 变化的闭合回路, 是否发生不可消除的符号翻转。
SU(3) 规 QCA 宇宙层
在 QCA 层构造 SU(3) 规 QCA:晶格顶点携带物质 Hilbert 空间,边携带规链接变量 ,离散时间演化由局域规协变酉门 实现。离散拓扑电荷 可通过格点上的 求和定义。
在这一设置中,QCD -项对应于在离散路径和中加入相位因子
或在 Heisenberg 图像中写作 。拓扑–Null–Modular 一致性要求对任何闭合规构型回路,总相位为 ,这将在后文被用来约束 。
Main Results (Theorems and Alignments)
本节将统一矩阵–QCA 宇宙框架下关于强 问题与轴子的主要结论形式化为若干定理与推论,证明置于附录。
定理 1(行列式平方根与相对上同调类)
在前述散射与参数空间假设下,散射矩阵族 定义了一个复线丛 ,其纤维由修正行列式 生成。存在一个自然的相对上同调类
其满足:
-
当且仅当存在在 上平凡的平方根线丛 ,使得 ;
-
对任意闭合参数回路 , 在映射圆柱 上的评值给出 沿 的 holonomy:若 holonomy 为 ,则该回路上平方根可平滑选择;若为 ,则存在不可消除的符号翻转。
定理 2(Null–Modular 一致性与 )
设宇宙满足如下条件:
-
全局双曲,存在适当的边界时间几何结构与模流;
-
小因果菱形上的广义熵极值与二阶相对熵非负成立,并与局域引力场方程等价;
-
边界散射矩阵与模流在 Null–Modular 双覆盖上可局部对齐。
则以下命题等价:
-
存在全局 Null–Modular 双覆盖,使得所有因果菱形上的模流与散射相位在该覆盖上平滑对齐,无 异常;
-
存在在 上平凡的全局平方根线丛 ;
-
。
从而,对任何物理上可接受的宇宙扇区, 是必要条件。
定理 3(QCD 作为散射–拓扑 holonomy)
在 QCD 扇区,定义物理角
并考虑参数空间中的闭合回路 。则:
-
在 上的评值等于 的符号,其中 为沿 的总相位变化(模 );
-
若对所有物理上可实现的回路 都有 ,则 ;
-
反之,若存在某条回路上 ,则 。
特别地,在局域参数邻域内, 要求可选定规范使得 。
推论 3.1(统一宇宙中的强 抑制)
假设宇宙满足定理 2 的假设,且非 QCD 扇区在 中的贡献已由独立一致性条件约束为零,则 。从而:
-
物理上可实现的宇宙扇区必须满足 ;
-
实验上观测到的 被解读为对 可能残余的敏感上界,而自然预期为严格零。
定理 4(轴子作为 的相对上同调模)
假设 提升为整数系数类 。令轴子场的相位
并通过耦合
将其嵌入 QCD。则:
-
的变化可视为平方根线丛 的局域重标度, 即该 线丛的第一 Chern 类;
-
在低能有效理论中,轴子势可写为
其中 为 QCD 拓扑易感系数, 为 UV 标架下的裸角;
-
若统一宇宙要求 ,则在全局上需有 ,从而 。
这给出 PQ 机制在统一拓扑–散射框架中的重解释:轴子是真正消除 的相对上同调模,其真空选择由 强制,而非额外自由。
定理 5(SU(3) 规 QCA 中的 –扇区与 )
在 SU(3) 规 QCA 模型中,设每个时间步的演化算子为
其中 为离散拓扑电荷算符。考虑所有可能规构型路径组成的离散路径空间 。
-
对于任意闭合路径 ,总相位
的符号(模 )与 在对应映射圆柱上的评值一致;
-
若要求对所有物理可实现的闭合路径 有 ,则离散模型中的有效 ;
-
连续极限下,该条件逼迫 QCD 扇区的 ,与定理 3–4 的结论兼容。
Proofs
本节给出主定理的证明思路与关键步骤,技术细节与严格构造置于附录。
定理 1 的证明概要
行列式线丛与平方根的上同调障碍是成熟课题,可通过以下方式获得:
-
对每个 固定一组正交标准通道基, 的谱可写为 ,定义局域半相位
-
在参数空间的一个开覆盖 上,选取连续分支 ,定义局域截面 作为 的局域平凡化。
-
在交集 上,过渡函数 取值于 ,其射影平方根 构成 的候选过渡函数。
-
是否可以选取使得三角一致条件 成立,正由一个 值 Čech 2-余圈决定,对应于 中的一个类。
-
加入边界条件要求 上平方根平凡,则得到相对上同调 中的类 ,其零化即为全局平方根存在的充要条件。
沿闭合回路 的 holonomy 则由 的净变化 决定,其符号为 ,与 在 上的评值一致。
定理 2 的证明概要
Null–Modular 双覆盖将边界模流参数 与散射相位 联系起来,使得对每个因果菱形 :
-
模流生成的时间平移与由 定义的散射时间刻度在边界上一致;
-
广义熵的二阶变分与二阶相对熵非负条件等价于局域 Einstein 方程。
若 ,则存在某些闭合参数回路上 的 holonomy 为 ,意味着在 Null–Modular 双覆盖上无法连续选择散射相位与模流相位的相对符号,从而在某些因果菱形的边界拼接时出现“反号“跳跃。这会破坏广义熵–引力方程的统一变分原理。
反之,若 ,则可在整个 上选择平滑的 ,并在边界上将其与模流参数一一对应,从而构造无异常的 Null–Modular 双覆盖。模流、广义熵与散射相位的一致性保证了小因果菱形上的变分原理与 Einstein 方程等价。这给出定理 2 所述的等价性。
定理 3 与推论 3.1 的证明概要
在 QCD 扇区,物理角
出现在路径积分权重 中,其对散射矩阵行列式相位的贡献可视为
其中 为拓扑扇区权重, 为固定 下的散射行列式。
沿着参数空间中的闭合回路 变化 , 可能发生整数倍 的绕行。由于拓扑电荷 ,总相位变化为
其中 为沿回路的有效拓扑权重。模 考虑时,若 ,则可在该回路上选择连续的平方根,不产生符号翻转;若 ,则平方根必然翻转一次,对应 。
因此, 等价于所有物理可实现回路上 。若假定非 QCD 扇区贡献已由其他一致性条件压制为零,则 ,由此得到推论 3.1:。
定理 4 的证明概要
轴子场 的相位 可视为 上的 纤维坐标。其耦合
在路径积分中引入权重 ,可理解为对 的局域重标度。
在手征有效理论与格点 QCD 中,QCD 真空能对 的依赖由
刻画,推广到轴子耦合即得到
其中 为 UV 标架下的裸角。
若 ,则存在全局平方根线丛;在轴子存在时,这一条件等价于要求 的绕行与 的绕行相互抵消,从而真空必须满足
因此 PQ 机制被重解释为:通过引入轴子场,将整数类 的代表提升到平凡,消除 的 投影。
定理 5 的证明概要
在 SU(3) 规 QCA 模型中,拓扑电荷算符 对每个离散配置 取整数值。引入相位 后,一步时间演化算子为
对闭合规构型路径 ,总相位为
若要求对所有物理可实现路径 有 ,则有效 。将该条件映射到连续极限与散射行列式线丛上,即得 ,与定理 3–4 的条件一致。
Model Apply
本节将统一拓扑–散射框架应用于强 问题的若干具体量,特别是 nEDM 上界、QCD 拓扑易感与轴子参数空间。
nEDM 上界与 的约束
在无轴子情形,中子电偶极矩与 的关系可写为
结合 得到
在统一宇宙视角中, 不再是自由常数,而是 在某一局域参数坐标中的表示。若 ,则存在规范使得 ,从而 nEDM 自然为零(仅留电弱 CKM 贡献)。nEDM 上界被解释为对可能偏离 的极高灵敏度检验,而非对一个任意 UV 参数的微调。
更具体地,假设由于未知 UV 或引力效应,存在极小但非零的 残余,使得在某些参数回路上 。则 nEDM 上界给出 。由于上同调类为离散量,这一“近似零“更自然地被解读为严格零,而实验仅验证了这一点在 精度上成立。
QCD 拓扑易感与轴子参数
格点 QCD 与手征有效理论给出 时的拓扑易感近似为 ,并在 时呈现接近稀薄瞬子气体的温度标度。
轴子质量由
决定,给出常用近似
轴子暗物质的丰度则依赖于 在 附近的行为。
在统一拓扑–散射框架中, 是 QCD 模态在统一时间刻度 上某个二阶谱矩的具体数值,而 则与平方根行列式线丛 的“惯性“有关。定理 4 表明,这些量不仅受 QCD 内部动力学约束,还必须与 一致。特别地:
-
过低的 会使得轴子在早期宇宙中形成的大尺度拓扑缺陷在 Null–Modular 几何中引入不可接受的 holonomy,从而违背 ;
-
过高的 则可能导致轴子相位在宇宙尺度上无法充分均匀,从而在某些因果菱形上出现有效 的区域,破坏局域熵–引力一致性。
因此,本框架为轴子参数空间施加了除传统宇宙学与实验约束之外的“拓扑–散射“约束。
引力 项与统一约束
类比 QCD 的 ,引力扇区可能包含 类型的拓扑项,其角度记为 。在统一框架中,该项也贡献于 ,与 QCD 扇区共同决定总类 。
要求 则给出 与 的联合约束,暗示强 问题与“引力 问题“并非独立,而是统一拓扑扇区选择的不同投影。
Engineering Proposals
本节讨论若干与统一拓扑–散射框架直接相关的实验与工程方案,包括 nEDM、轴子探测与 QCA 模拟。
下一代 nEDM 实验
当前最佳 nEDM 上界来自 PSI 等设施,,未来装置(如 n2EDM@PSI 等)目标灵敏度可达 。
在统一框架下,这类实验不仅约束 ,还可被理解为对 残余的直接探测。若在未来灵敏度下仍未观测到 nEDM,则强烈支持 与 的精确成立。
轴子搜索与参数空间
多种轴子暗物质与轴子–光子耦合实验(共振腔、谐振 LC、电磁共振、光学干涉等)正在探索 区间。结合格点 QCD 对 的结果,这些实验可在 区间内强约束 QCD 轴子。
统一拓扑–散射框架给出的额外结构预言包括:
-
某些 区间可能因 与 Null–Modular 几何的要求而被排除或偏好;
-
若未来观测到轴子信号,其质量–耦合关系应与 的散射–谱诠释一致。
这些预言可通过系统比较轴子实验结果与统一框架中的参数相关性来检验。
QCA 模拟与拓扑试验台
在近中期量子工程层面,可构造 SU(2) 或 SU(3) 规 QCA 的量子模拟,利用有限规模量子计算平台实现:
-
在二维或三维离散晶格上构造规协变 QCA 更新门,定义离散拓扑电荷 ;
-
引入可调 -相位 ,并测量闭合路径下总相位 的分布;
-
测试在何种条件下可通过引入类轴子自由度或调整边界条件消除 的 残余,实现离散版的 。
这类量子模拟为“拓扑–散射强 解“的关键结构提供了实验试验台。
引力与宇宙学信号
若引力扇区存在 项,其效应可能表现在:引力波偏振的微小异常、宇宙微波背景偏振的奇异旋转或其他宇宙学观测。统一框架暗示,这些效应与 QCD 扇区的 不可独立调节,应共同满足 。因此,未来高精度引力波与宇宙学实验可从另一个角度检验本理论结构。
Discussion (risks, boundaries, past work)
本节讨论本框架与既有强 解法的关系、可能的局限与开放问题。
与传统强 解法的关系
统一拓扑–散射框架将 PQ 机制、离散 / 对称方案与其它解决方案纳入单一图景:
-
PQ 机制在本框架中被解释为“引入轴子场来提升并消除 的整数 lift“,其真空选择由 强制,而非额外假设;
-
将 或 视为量子引力允许的规约离散对称时,近期工作表明这类离散对称方案并不必然失效。在统一框架中,这可解读为对 的离散对称约束的一种实现;
-
上夸克质量为零的方案可视为参数空间 上一超曲面的特例,在该超曲面上 可通过手征旋转完全移除;但格点 QCD 数值已强烈不支持 ,从而该方案不再被视为可行。
本框架强调:真正的“强 解“不应仅仅是某一 UV 模型的构造,而是整个宇宙拓扑–散射结构的一致性。
局限性与风险
尽管本框架在结构上统一了若干层次,但仍存在显著局限与风险:
-
严格数学证明层面,行列式线丛 的构造通常在欧氏或静态背景下更为清晰,将其推广到带宇宙学边界与动态几何的洛伦兹背景需要额外工作;
-
Null–Modular 双覆盖与 与 Einstein 方程、QNEC/QFC 等价的证明依赖于此前系列工作,严格性与适用范围需要进一步澄清;
-
为离散上同调类,其与连续参数 的关系在本文中通过 holonomy 与绕行数给出,严格刻画需使用 mapping torus 与谱流理论的数学框架;
-
量子引力效应可能在 Planck 尺度引入额外拓扑项或破坏全局结构,改变 的定义空间;
-
若未来实验观察到 显著非零或 nEDM 超出目前上界的信号,则需要重新审视本框架中关于 的假设。
与既有文献的联系
强 问题与 QCD 轴子的综述、格点 QCD 计算与精确 QCD 轴子性质的研究,为本框架提供了低能输入与可检验的数值基础。近期关于离散规约 / 对称在量子引力背景下的讨论,则从另一角度支持“强 解应与全局拓扑结构相关“的观点。
Conclusion
本文在统一时间刻度、边界时间几何、矩阵宇宙 THE-MATRIX 与 QCA 宇宙的框架下,对强 问题与轴子给出了一个拓扑–散射统一解:
-
散射矩阵族定义的行列式线丛的平方根存在性由相对上同调类 控制;
-
Null–Modular 双覆盖与广义熵–引力变分一致性要求 ,从而宇宙必须位于无 holonomy 的拓扑扇区;
-
QCD 的物理角 被重写为 QCD 扇区散射行列式平方根在参数空间回路上的 holonomy 坐标, 等价于所有物理回路上 ;
-
PQ 轴子被解释为 的相对上同调模,其有效势由 QCD 拓扑易感 决定,真空值 被 条件固定,从而在统一框架内重现 PQ 机制;
-
SU(3) 规 QCA 宇宙中的 –相位实现了 的离散版本,拓扑–Null–Modular 一致性在离散层面要求所有闭合路径总相位为 ,从而在连续极限下将 压制到零。
这一图景将强 问题从“单一参数的微调“提升为“宇宙拓扑–散射结构的全局一致性问题“,并为 nEDM 实验、轴子探测与量子模拟提供了新的结构性预言与约束。
Acknowledgements, Code Availability
作者感谢关于强 问题、QCD 轴子、拓扑易感与行列式线丛等主题的大量既有工作为本研究提供的基础。本文所有推导为解析工作,未使用数值代码,代码可用性不适用。
References
-
R. D. Peccei, H. R. Quinn, “CP Conservation in the Presence of Pseudoparticles”, Phys. Rev. Lett. 38, 1440 (1977).
-
R. D. Peccei, H. R. Quinn, “Constraints Imposed by CP Conservation in the Presence of Pseudoparticles”, Phys. Rev. D 16, 1791 (1977).
-
C. A. Baker et al., “Improved Experimental Limit on the Electric Dipole Moment of the Neutron”, Phys. Rev. Lett. 97, 131801 (2006).
-
B. Lauss et al., “Search for the Electric Dipole Moment of the Neutron with Next-Generation Experiments” (n2EDM, PSI reports and white papers).
-
V. V. Flambaum et al., “Interpreting Electric Dipole Moments”, Les Houches Lectures (2023).
-
G. Grilli di Cortona, E. Hardy, J. P. Vega, G. Villadoro, “The QCD Axion, Precisely”, JHEP 01 (2016) 034.
-
M. Gorghetto, G. Villadoro, “Topological Susceptibility and QCD Axion Mass: QED and NNLO Corrections”, JHEP 03 (2019) 033.
-
J. Frison et al., “Topological Susceptibility at High Temperature on the Lattice”, JHEP 09 (2016) 021.
-
P. Petreczky et al., “The Topological Susceptibility in Finite Temperature QCD and Axion Cosmology”, Phys. Rev. D 92, 094503 (2015).
-
R. D. Peccei, “Axions: Theory, Cosmology, and Experimental Searches”, Lect. Notes Phys. 741, 3–17 (2008).
-
C. Vafa, E. Witten, “Parity Conservation in QCD”, Phys. Rev. Lett. 53, 535 (1984).
-
Recent discussions on discrete gauged symmetries and the strong problem, e.g. “Clearing up the Strong CP Problem”, arXiv:2510.18951 (2025).
-
Reviews on QCD axion cosmology and lattice inputs, e.g. D. J. E. Marsh, “Axion Cosmology”, Phys. Rept. 643, 1–79 (2016).
附录 A:QCD -项、物理 与 nEDM 的标准推导
A.1 单味情形
考虑单味夸克 QCD,拉氏量为
作手征变换
质量项相位变为 ,同时 Fujikawa 方法表明路径积分度量引入相位 ,等效于 。因此组合
在量子理论中不变。通过选择 可将质量项变成实数,但此时所有 破缺都集中到拓扑项中:
A.2 多味情形
对多味夸克,引入 Yukawa 矩阵 ,质量项为
在味空间施加酉变换可对角化质量矩阵,但这些变换一般具有手征分量,对 -项产生偏移。将所有手征旋转的影响累积,最终得到物理强 角为
若不存在额外对称, 为自由参数,取值于 。
A.3 nEDM 与 的关系
使用手征扰动理论与 QCD 求和规则,可以计算 -项对中子 EDM 的贡献,得到
结合实验上界 ,得
这构成强 问题的定量表述。
附录 B:相对上同调类 与散射行列式线丛的构造
B.1 Čech 上同调与线丛扭结
令 为 的一个良好开覆盖。在每个 上选取散射行列式的相位分支 ,定义局域截面
在交集 上,过渡函数为
满足 Čech 一致性条件 ,定义了 。
尝试构造平方根线丛时,在 上需要选取 ,使得 。由于 可能绕行 , 的选取一般仅在局部可能统一。三重交集上的一致性条件为
构成一个取值于 的 Čech 2-余圈,其共边界类对应 中的一个元素,即 的扭结度量。若存在 ,使得
则可重定义 以满足严格一致条件,平方根线丛存在;否则不存在。
B.2 相对上同调与边界条件
若要求在边界 上平方根平凡,则需要在 上选取一族截面使得所有 holonomy 为 。这相当于在 Čech 复杂中引入相对条件,得到相对上同调群 ,其中 的零化是“存在在边界上平凡的全局平方根“的充要条件。
将闭合参数回路 看作 中的一个 1-循环,其与 的配对给出该回路上平方根 holonomy 的符号。映射圆柱 上 的评值正是这一 holonomy 的拓扑刻画。
附录 C:SU(3) 规 QCA 的离散拓扑电荷与 -相位
C.1 模型构造
考虑四维超立方晶格 。对每个时刻 ,空间晶格为三维切片,边携带规链接变量 ,顶点携带物质 Hilbert 空间 。定义总 Hilbert 空间为
离散时间演化由有限深度局域酉门 实现,满足:
-
规协变性: 与局域规变换 按自然方式变换;
-
有限传播:一次更新仅影响有限邻域;
-
必要时,连续极限下逼近 Wilson 格点 QCD 动力学。
离散拓扑电荷 可通过四维闭合超立方体上 plaquette 的有向乘积的迹定义:
其中 为围绕 plaquette 的链接乘积。适当规约后 。
C.2 -相位与闭合路径
定义包含 -相位的 QCA 更新算子为
其中 为对态依赖的拓扑电荷算符。在离散路径和视角下,每一条规构型路径 的振幅含有因子
若要求所有物理可实现的闭合路径 的总相位为 ,则有效 必须调节到使得 。连续极限下,这一条件对应于 ,与 等价。
附录 D:QCD 作为 holonomy 的详细证明
(略述关键步骤)
-
将 QCD -真空 视为参数 的截面,拓扑电荷 为 元素的整数指标。
-
对于含 Yukawa 相位的完整参数空间 , 是 与 的组合。沿闭合回路 , 的总变化 与映射圆柱 上的混合 Chern–Simons 项相关。
-
散射行列式 对 的依赖可以在瞬子背景下通过半经典展开得到,其相位随 绕行整数圈的次数给出一个谱流数,与拓扑电荷累积 相关。
-
将谱流理论与行列式线丛的 Chern 类联系起来,可证明 的 投影等于 的符号,这给出定理 3 的严格版本。
附录 E:Null–Modular 双覆盖与 的等价性
(略述关键步骤)
-
在每个小因果菱形 的边界 上,存在一族模流生成元 与散射相位密度 ,二者通过刻度同一式联系。
-
Null–Modular 双覆盖可视为在每个 上选择一条将模流参数与散射相位联系起来的“相位线“,其双值性由 控制。
-
若 ,则在某些闭合参数–几何回路上,试图在所有 上一致选择相位线会遭遇不可消除的符号翻转,从而在拼接因果菱形时引入不兼容的模流反号,破坏广义熵–引力方程的统一变分。
-
反之, 时可在整个 上选择一致的平方根相位,使所有 Null–Modular 双覆盖的局域补丁在 Čech 意义下无缝拼接。结合 QNEC/QFC 与 Brown–York 能量的已知结果,可证明这与 Einstein 方程的成立等价。
以上给出本文主文中定理 2 的严格上同调与模流意义下的证明框架。