Reflection Positivity in Free Fermionic Theories

技术摘要：自由费米子理论中的反射正定性

问题陈述
反射正定性（Reflection Positivity, RP）是 Osterwalder–Schrader 框架下欧氏量子场论（Euclidean QFT）的一个基本公理。它确保了重构的相对论性希尔伯特空间具有正定内积，并允许自然地构建哈密顿量。虽然 RP 在标量场领域已得到广泛研究，但其在自由费米子理论中的有效性——特别是涉及高阶导数项或非标准正则化项的理论——仍是一个关键的研究领域。本文旨在探讨确定自由费米子理论的协变算子 $C(\not\partial)$ 满足反射正定性的充分必要条件。这一研究动机在于理解传播子的代数结构（特别是其极点和留数）如何决定物理一致性。

方法论
作者分析了协变算子为狄拉克算子 $\not\partial = \gamma_i \partial_i$ 的实有理函数的自由（高斯）费米子理论。分析过程如下：

1. 简化为二点函数： 对于自由理论，Wick 定理将完整的 Osterwalder–Schrader 正定性条件简化为二点函数（协变算子）的反射正定性。该条件定义为 $\langle \Theta f, C f \rangle_{L^2} \geq 0$，其中 $f$ 是支撑在正时间半空间的测试函数，$\Theta$ 是作用于旋量的时反算符。
2. 解析结构与轮廓积分： 作者将先前用于标量场（Arici 等人）的轮廓积分策略应用于狄拉克算子。他们利用 Paley–Wiener 定理，该定理保证了支撑在 $x_0 > 0$ 上的函数的傅里叶变换可以解析地延拓到下半平面。
3. 二次型分析： 文中推导了二次型 $I_z[f] = \langle \Theta f, (\not\partial - z)^{-1} f \rangle$ 的显式积分表示，该表示基于在复能量处求值的傅里叶变换。这使得作者能够将二次型的符号直接与有理函数 $C(z)$ 的极点位置及其性质联系起来。
4. 齐次性与测试函数构建： 一个关键的技术工具是二次型在拉普拉斯算子多项式 $q(\Delta)$ 作用下的齐次性质。这一性质使得构建特定的测试函数来隔离单个极点（或一对共轭极点）对总二次型的贡献成为可能。
5. 反例构建： 为了证明必要性，作者利用多项式假设构造了显式测试函数，使得如果极点为复数、高阶或带有负留数，则会导致二次型为负。

核心贡献与结果
本文的核心结果是 定理 1.1，它确立了自由费米子理论的反射正定性与其协变算子符号（symbol）的解析性质之间的严格等价关系。

• 定理 1.1： 令 $C$ 为在虚轴 $i\mathbb{R}$ 上无极点的实有理函数。协变算子 $C(\not\partial)$ 是反射正定的，当且仅当：

  1. $C$ 的所有极点都位于实轴 $\mathbb{R}$ 上。
  2. 所有极点均为单极（一阶）。
  3. 所有极点均带有非负留数。

• 启示： 该结果意味着传播子必须分解为标准自由狄拉克传播子的正线性组合，且这些传播子具有正的平方质量。

• 指数正则化的失效： 本文在附录 B 中明确展示了涉及指数正则化（例如 $e^{-p^2/\Lambda^2}$）的协变算子不满足反射正定性。动量空间中的高斯因子阻碍了标准的轮廓积分论证，而在位置空间中，这对应于一种会破坏正定性所需支撑性质的卷积。

• 等价性证明： 作者提供了详细证明（第 5 节和附录 A），表明对于自由理论，协变算子的反射正定性等价于全层级 Schwinger 函数的 Osterwalder–Schrader 正定性，并将这一结果扩展到了复标量场和狄拉克费米子场。

意义与主张
本文声称将已知关于标量场的反射正定性特征描述扩展到了自由费米子理论。作者强调，反射正定性是一种“脆弱的对称性”，除非满足特定的极点结构约束，否则它通常与高阶导数正则化或非局部正则化（如指数截断）不相容。

这项工作的意义在于为有效欧氏费米子理论提供了精确的数学判据。它证实了狄拉克协变性的多项式正则化除非能简化为一系列标准质量传播子的和，否则无法保持反射正定性。作者指出，虽然格点正则化保持了 RP，但连续正则化通常不能。他们提出，其技术可以应用于研究那些相对于特定平面（打破完全欧氏不变性）保持正定性的正则化，目标是在连续极限下恢复不变性，但这被确定为未来的研究课题，而非本文的研究结果。