On the Positivity of de Sitter Group Averaging

技术摘要：论德西特群平均的正定性

问题陈述
在全局德西特（dS$_d$）背景下的摄动量子引力受到线性化稳定性条件（类似于蝌蚪约束）的限制，这些条件要求与连续德西特等距变换相关的所有荷在物理态中必须消失。在标准的福克空间（Fock spaces）中，满足这些约束的唯一归一化态是真空态，这意味着物理希尔伯特空间是平凡的。为了构建一个非平凡的希尔伯特空间，Higuchi 提出使用一种“群平均”（group-averaging）内积，该内积通过对德西特群 $G = SO_0(d, 1)$ 进行积分来定义：
$$\langle \Psi_1 | \Psi_2 \rangle_{GA} = \int_G dg \, \langle \psi_1 | U(g) | \psi_2 \rangle$$
虽然这种构造满足规范不变算符代数的唯一性准则，但其正定性（即是否满足 $\langle \Psi | \Psi \rangle_{GA} \geq 0$）对于一般态而言仍是一个悬而未决的问题。先前的研究仅在特定的、精确可解的情况下建立了正定性。本文解决的核心问题是：确定内积为正半定的态的定义域，并调查在积分绝对收敛的机制下是否会出现负模。

方法论
作者分析了全局 dS$_d$ 上自由场 $N$-粒子态的群平均内积。分析过程通过将德西特等距变换的酉不可约表示（UIRs）的张量积分解为不可约表示，从而有效地将 $N$-粒子态简化为具有较少“有效粒子”的态。

1. 降维与表示论：

   • $d=2$（玩具模型）： 作者首先详细处理了 $d=2$（等距群为 $SO_0(2, 1)$）的情况。他们利用了主系列（principal series）、离散系列（discrete series）和互补系列（complementary series）表示的显式矩阵元。他们采用 Clebsch-Gordan 分解将 $N$-粒子态表示为有效 2-粒子和 3-粒子态的和或积分。
   • $d>2$： 利用 $SO_0(d, 1)$ 的缓增表示（tempered representations，包括主系列和离散系列）以及互补系列表示，将该论证推广到任意维度 $d$。该分析依赖于从主系列到互补系列的 Clebsch-Gordan 系数的解析延拓。

2. 收敛性与正定性判据：

   • 群平均积分的收敛性由粒子的权重 $\Delta_i$ 之和决定，其中权重通过质壳条件 $M^2 = \Delta(d-1-\Delta)/\ell_{dS}^2$ 定义。
   • 作者定义 $\Sigma = \text{Re} \sum_{i=1}^N \Delta_i$。他们研究了 $\Sigma > d-1$ 这一条件，该条件确保了对于一般态的绝对收敛。
   • 他们区分了“缓增”表示（主系列和离散系列）与“非缓增”表示（互补系列）。

3. 解析延拓：

   • 对于涉及互补系列粒子的态，作者使用了主系列结果的解析延拓。他们构造了代表群平均范数的 $\Delta_i$ 的亚纯函数，从而能够探测 $\Sigma < d-1$ 的区域。

主要贡献与结果

1. $\Sigma > d-1$ 时的正定性：
   主要结果是确立了对于满足以下条件的 $N$-粒子态（任意整数自旋），群平均内积具有正定性：
   $$\Sigma = \text{Re} \sum_{i=1}^N \Delta_i > d-1$$
   这适用于：

   • 缓增表示： 由主系列和离散系列粒子构成的态。
   • 互补系列： 涉及互补系列粒子的态，前提是总权重和超过 $d-1$。
   • 费米子： 该结果可以平凡地推广到半整数自旋粒子（费米子），因为覆盖群 $Spin_0(d, 1)$ 的所有旋量表示都是缓增的。

2. 3-粒子态的角色：
   分析确定了 3-粒子态是关键阈值。对于 $d=2$，主系列中的 2-粒子态具有 $\Sigma=1$（收敛边界），导致振荡（分布意义下）的积分。通过 Clebsch-Gordan 分解将系统还原为有效 2-粒子态，从而证明了 $N \geq 3$ 时的正定性。对于 $d>2$，3-粒子情形是互补系列粒子满足 $\Sigma > d-1$ 的最小配置。

3. 负模与改进的收敛性：
   论文识别了一些在 $\Sigma \leq d-1$ 时群平均仍绝对收敛的态类：

   • 宇称保护态： 对于旋转不变且宇称为奇（RIPO）的态，矩阵元的领先指数衰减会相互抵消，从而将收敛域改进为 $\Sigma > d-2$（对于 $d=2$，为 $\Sigma > 0$）。在这些特定扇区中，内积保持为正。
   • 精细调节态： 对于一般的态（例如标量-标量-标量），如果通过精细调节系数以消除领先发散项，则发现当 $\Sigma < d-1$ 时，群平均范数为负。
   • 启示： 这表明绝对收敛性并不保证正定性。所谓的“直接”收敛域（$\Sigma > d-1$）是保证一般态正定性的最大域。

4. 唯一性与物理阐释：
   作者引用了一项唯一性定理（来自先前文献），该定理指出，如果存在一个使内积绝对收敛且为正的定义域 $\Phi$，那么该内积是与规范不变算符的 $*$-表示相一致的唯一内积。由于包含 $\Sigma > d-1$ 态（正范数）和精细调节的 $\Sigma < d-1$ 态（负范数）的区域无法支持正定内积，作者认为在摄动量子引力中具有物理意义的态必须被限制在 $\Sigma > d-1$ 域内（或具有较小 $\Sigma$ 的对称性保护子空间内）。

意义
本文解决了关于德西特量子引力中群平均内积可行性的长期悬而未决的问题。它确立了：

• 对于足够“重”的粒子（$\Sigma > d-1$），可以在全局 dS$_d$（$d \geq 2$）上为摄动量子引力构建一个一致的、正定的希尔伯特空间。
• 该希尔伯特空间的正定性对摄动修正具有鲁棒性，因为在线性化理论中具有有限正范数的任何态，在各阶摄动下仍保持正定性。
• 在“收敛但为负”的机制（$\Sigma < d-1$）中存在负模这一事实，意味着群平均构造不能在不加限制的情况下包含所有绝对收敛的态；物理一致性要求将态空间限制在正定域内。

这项工作为群平均方法提供了严谨的数学基础，明确了在非紧致群平均下，何时能产生物理上可接受的量子理论，并强调了收敛性、解析性和正定性之间微妙的相互作用。