Does QFT make sense in non-integer dimensions?

技术摘要：“QFT 在非整数维度下是否有意义？”

问题陈述
本文探讨了将量子场论（QFT）从整数时空维度 $d \in \mathbb{N}$ 解析延拓至分数或复数维度 $d \in \mathbb{C}$ 的长期存在的问题。虽然维数正则化（dim-reg）能够成功处理在整数 $d$ 的无穷小邻域内的矢量类理论，但作者认为，要实现向包含多个不同整数的复平面有限开集的严格、非微扰延拓是受阻的。核心问题在于，诸如 QCD 和 QED 等常见理论存在“低秩例外”（low-rank exceptions），即观测值会在特定的整数维度发生定性的、离散的变化。这些不连续性阻碍了描述该理论的单一、统一解析函数的存在。

方法论
作者通过将运动学（洛伦兹群的表示论）与动力学解耦来处理这一问题。

1. 运动学分析： 他们利用 Deligne 范畴 $\overline{\text{Rep}}(O(d))$ 来定义分数维度 $d$ 下的稳定表示。他们证明了虽然“真张量”（stable sequences of representations）允许唯一的解析延拓，但“伪张量”（pseudo-tensors）以及涉及旋量（pinors）的表示则不然。具体而言，伽马矩阵的迹 $\text{tr}[\gamma_{\mu_1 \dots \mu_n}]$ 在一般的较大 $d$ 时消失，但在特定的低秩例外处变为非零（例如，仅在 $d=3$ 时 $\text{tr}[\gamma_{\mu\nu\rho}] \neq 0$）。
2. 微扰计算： 为了说明这些阻碍，作者在大量 $N_f$ 极限下对矢量类无质量 QCD（及 QED）进行了显式计算。他们计算了算符（如费米子 $\psi$ 和标量双线性 $\bar{\psi}\psi$）的标度维数（$\Delta$）在 $1/N_f$ 阶下的领先项。
3. 分支结构分析： 作者通过比较在整数 $d$ 下直接计算的“真实”结果（使用严谨的伽马矩阵迹）与假设稳定极限（令奇数阶迹为零）得到的“解析”结果，分析了相关函数和标度维数。

主要贡献与结果

• 对统一解析性的阻碍： 本文确立了对于一般的算符，特别是宇称负标量（parity-odd scalars）如 $\bar{\psi}\psi$，标度维数 $\Delta(d)$ 并不是 $d$ 的单一解析函数。相反，该理论表现出“低秩例外”，即不同自旋的算符在特定整数维度变得同构（例如，一个秩为 3 的反对称张量在 $d=3$ 时变为标量）。这导致了随 $d$ 变化的、不连续的能级交叉和算符混合。
• 分支结构： 作者提出，QFT 数据的解析延拓并不存在于复平面 $\mathbb{C}$ 上，而是存在于其无穷覆盖面上。
  • 对于算符 $\bar{\psi}\psi$，存在一个由 $\mathcal{O}_i$ 组成的无限解析分支族，其中 $\mathcal{O}_i$ 是在特定整数维度与 $\bar{\psi}\psi$ 同构的算符（例如，在 $d=3$ 时为 $\bar{\psi}\gamma_{\mu\nu\rho}\psi$，在 $d=5$ 时为 $\bar{\psi}\gamma_{\mu\nu\rho\sigma\tau}\psi$）。
  • 每个分支 $\hat{\Delta}$ 在 $d$ 内是解析的，并且仅在其特定的整数 $d$ 邻域内匹配正确的物理标度维数。没有任何单一的分支在所有整数 $d$ 下都是正确的。
  • 这种结构源于：采用“稳定极限”（忽略低秩例外）会得到一个在小 $d$ 时失效的解析函数，而“真实”计算则会得到一个不连续的函数。
• QCD/QED 中的显式计算：
  • 威尔逊线（Wilson Lines）： 威尔逊圈的期望值被证明可以进行定义良好的解析延拓，因为它依赖于稳定的张量结构。
  • 费米子标度维数： 研究发现 $\psi$ 的标度维数在 $d$ 上是解析的（在领先阶下），因为它并不像复合标量那样受到同样的低秩混合问题的影响。
  • 标量双线性 $\bar{\psi}\psi$： 对 $\Delta(\bar{\psi}\psi)$ 的计算揭示了一个正比于 $\text{tr}[\gamma_{\mu\nu\rho}]\text{tr}[\gamma^{\mu\nu\rho}]$ 的项。该项在稳定极限下对于所有 $d \neq 3$ 均为零，但在 $d=3$ 时非零。因此，朴素的解析延拓在 $d=3$ 时给出了错误的结果。只有通过切换到对应于算符 $\bar{\psi}\gamma_{\mu\nu\rho}\psi$（即在 $d=3$ 时的同构伴随算符）的分支，才能恢复正确的值。
• Gross–Neveu–Yukawa 模型： 作者将这些发现扩展到 QED-Gross–Neveu–Yukawa 模型，表明添加标量相互作用并不能消除分支结构；低秩阻碍依然存在。

意义与主张
本文声称，将 QFT 视为由连续参数 $d$ 和 $N$ 连接的平滑族系的直觉，由于这些在 $1/d$ 中的离散非微扰效应，是根本错误的。

• 关于维数正则化： 作者指出，标准的 't Hooft-Veltman 处方（其有效地令奇数阶迹为零）仅在特定整数 $d$（例如 $d=4$）的无穷小邻域内有效。它无法提供一个能正确重现其他整数（例如 $d=3$）结果的全局解析延拓。
• 关于唯一性： 他们认为，只有在施加“良好行为”（nice behavior）于 $d \to \infty$ 时，才可能存在唯一的解析延拓。然而，由于对于固定的 $N_f$，大 $N_f$ 展开在足够大的 $d$ 时会失效，因此无法通过微扰论建立延拓的唯一性。
• 关于手征理论： 文中提到，手征理论（涉及 $\gamma_*$）面临更严重阻碍，由于涉及 $\gamma_*$ 的迹，预计在偶数维度会出现不连续性。
• 结论： 本文得出结论，虽然存在有意义的延拓，但它需要通过导航一个分支结构来实现，即必须选择适配于特定目标整数维度的正确解析分支。不存在一个既在 $d$ 上解析又在所有 $d \in \mathbb{N}$ 上都正确的单一公式。这挑战了利用解析延拓在不同的整数维度对偶性（例如 $d=3$ 与 $d=4$ 之间的 Seiberg 类对偶）之间进行插值的可行性，因为这些对偶性会遇到此类结构性不连续。