Intrinsic Alignments in Redshift Space I: Symmetries

技术摘要：红移空间中的固有对齐（第一部分）：对称性

问题陈述
星系固有对齐（Intrinsic Alignments, IA）是作为大尺度结构的独特张量示踪体，提供了不同于标量密度聚类的宇宙学观测量。虽然 IA 是弱引力透镜分析中的一个关键污染源，但它也是探测早期宇宙、原初非高斯性和检验引力的有效手段。然而，目前仍缺乏一个完整的理论框架来分析红移空间中的星系形状——在红移空间中，视向速度会扭曲观测到的位置。现有的处理方法通常依赖于对部分结果的片段式组装，或简单地用形状变量替换密度场，未能考虑到形状的完整张量性质以及由视线（LOS）引起的特定对称性破缺。作者旨在建立一个通用的、与模型无关的形式体系，用以描述红移空间中星系形状统计的完整三维结构，并将运动学后果与具体的动力学模型区分开来。

方法论
本文开发了一个基于非线性红移空间映射 $x_s = r + u\hat{n}$ 的构造性形式体系，该映射适用于张量值示踪体。该方法通过以下几个阶段进行：

1. 红移空间映射： 作者定义了红移空间形状场为一个密度加权的张量场。他们推导了红移空间相关函数的矩展开，类似于标量速度矩展开，将相关函数表示为与视线方向 $\hat{n}$ 的幂次缩并后的实空间速度矩。
2. 对称性约束： 作者分析了均匀性、各向同性、交换对称性和宇称对称性对二点相关函数施加的约束。他们证明了这些对称性限制了允许的张量结构和形式因子（form factors）。
3. 基底构建： 为了组织相关函数，文中构建了三种不同的张量基底，分别针对标量-张量（scalar-tensor）和张量-张量（tensor-tensor）扇区：
   • 运动学基底 ($M$)： 直接由 $\hat{k}$、$\hat{n}$ 和 $\delta_{ij}$ 构建。该基底是完备的且关于 $\mu = \hat{k} \cdot \hat{n}$ 为多项式的，但并非正交的。
   • 宇称自适应实基底 ($Q$)： 一个将宇称偶（even）和宇称奇（odd）扇区分离的正交基底。它通过 $\mu$ 的多项式变换与运动学基底相关联。
   • 总螺旋度基底 ($Y$)： 一个绕 $\hat{k}$ 旋转的复螺旋度基底。作者构建了一个实的正交且为多项式的版本（记作 $Y^\parallel$ 和 $Y^\perp$ 分别代表对齐和反对齐扇区），该版本在引入自旋权重 $s^{|M|} = (1-\mu^2)^{|M|/2}$ 的同时，保持了形式函数的多项式特性。
4. 形式因子分析： 作者证明了在运动学基底和总螺旋度基底中的形式因子严格关于 $\mu$ 为多项式。当转换到归一化的总螺旋度基底时，这些形式因子对应于关于关联勒让德多项式 $P^{|M|}_\ell(\mu)$ 的展开。
5. 估计量构建： 通过将形状场投影到未归一化的螺旋度基底上，推导出了这些形式函数的最佳估计量，以避免在共线极限（$\mu \to 1$）处出现奇异性。计算了这些估计量的协方差矩阵，显示出在归一化基底下的对角占优特性。
6. 验证： 该形式体系通过一个“高斯场流模型”（GfSM）玩具模型进行了测试，并应用于 $N$ 体模拟中的晕形状统计。

核心贡献

• 选择规则： 本文确立了红移空间相关函数的严格选择规则。对于标量-张量相关函数，宇称和交换对称性将独立形式因子的数量限制为 3 个。对于张量-张量相关函数，由于交换对称性，该数量减少至 9 个（针对相同示踪体的自相关）。
• 多项式形式因子： 一个核心结果是证明了非线性红移空间映射产生了一个其形式因子严格为 $\mu$ 的多项式的运动学基底。这与以往方法中角度依赖可能更为复杂的情况形成对比。
• 自旋权重与关联勒让德多项式： 作者展示了在归一化的总螺旋度基底中的形式因子携带特定的自旋权重 $s^{|M|}$，并由关联勒让德多项式描述。这直接将红移空间畸变效应与张量基底元素的总角动量 $|M|$ 联系起来。
• 最佳估计量： 文中给出了形式函数的显式估计量，这些估计量利用了最佳角度权重（在高斯极限下为逆方差权重），确保了即使在标准基底会发散的共线极限附近，协方差仍然是有限的。
• 投影至天空： 推导了从全三维张量基底到天空中投影的 E 模和 B 模统计的映射关系，展示了三维形式因子在投影过程中是如何混合的。

结果

• 玩具模型 (GfSM)： 在高斯场流模型中（其中实空间场是高斯的，但红移空间映射是完全非线性的），作者解析地计算了形式因子。他们确认了所有允许的通道（对于标量-张量最高到 $|M| \le 2$，对于张量-张量最高到 $|M| \le 4$）均被生成。更高阶的 $|M|$ 模式仅出现在更高阶的圈图阶数中，这与选择规则 $|M| \le L$（其中 $L$ 是速度矩的阶数）一致。
• $N$ 体模拟： 将估计量应用于 $N$ 体模拟中的晕形状时，作者检测到了所有总角动量 $|M| \le 2$ 的标量-张量和张量-张量通道。$|M| > 2$ 的通道被检测为与零一致，这是受其自旋权重和形状噪声的抑制。
• 协方差： 模拟中测得的协方差矩阵与理论预测（在不连通高斯极限下）高度吻合。归一化基底成功地正则化了协方差，防止了在 $\mu = 1$ 附近出现的未归一化基底的发散现象。
• 模型比较： 与简单的模型（GfSM 和 Zeldovich）进行比较表明，虽然线性理论捕捉到了 $|M|=0$ 扇区，但更高阶的模式需要非线性动力学。简单的偏置模型无法同时重现所有形式因子通道的振幅和符号，特别是对于高质量晕而言。

意义
本文声称为解释光谱对齐测量和开发受控的非线性模型提供了一个“必要步骤”。通过将通用的运动学后果与具体的动力学假设区分开来，该框架提供了一个用于分析星系形状的模型无关工具。作者强调，该形式体系能够实现：

1. 最优提取： 能够利用最优权重从流体动力学模拟和光谱巡天中提取固有对齐信息。
2. 新物理探测： 识别在标准宇宙学模型中被选择规则禁止的通道（例如宇称奇通道或特定的张量结构），将其作为探测新物理（如原初引力波或宇称破坏）的纯净手段。
3. EFT 组织： 为在大尺度结构有效场论（EFT）框架内组织星系形状统计的微扰项提供严谨的基底。

这项工作被呈现为系列研究的第一部分，目前的论文侧重于结构和对称性方面，而动力学应用和 EFT 参数约束则留待后续研究。