Excitability of Gaussian states with VEVs

技术摘要：具有非零期望值（VEVs）的高斯态的可激发性

问题陈述
在代数量子场论（AQFT）中，“可激发性”（excitability）这一概念探讨了一个状态 $\omega_2$ 是否能从另一个参考状态 $\omega_1$ 中在局部被激发出来。这取决于 $\omega_2$ 是否能在 $\omega_1$ 的 GNS 希尔伯特空间 $\mathcal{H}_{\omega_1}$ 内拥有一个代表性的密度矩阵 $\rho_{\omega_2}$。虽然此前已针对广义自由场理论中的零均值高斯态建立了充分且必要的判据 [1]，但对于具有非零一阶函数（即真空期望值，VEVs）的高斯态，仍存在研究空白。这类状态（包括一般的相干态和特定的全息态）在物理上具有重要意义，因此需要一个广义框架来确定其激发是否可以从给定的真空获得。

方法论与工具箱
作者扩展了 [1] 中的代数框架，以适应非零均值状态。该方法论依赖于以下关键技术组件：

1. 高斯态形式化： 分析利用了高斯态完全由其一阶函数（VEVs）和连通二阶函数表征的性质。这些连通二阶函数在弥散函数空间上定义了一个正半定内积 $\mu$，从而决定了 GNS 希尔伯特空间的拓扑结构。
2. VEV 移位： 作者引入了一种形式化操作，通过线性泛函 $v$ 对高斯态 $\omega$ 的一阶函数进行移位，记作 $\omega^v$，同时保持连通二阶函数不变。
3. 正则纯化（Canonical Purification）： 为了处理混合态，论文采用了正则纯化技术 [9]。任何状态 $\omega$ 都可以嵌入到一个“中心纯”（centrally pure）的状态 $\hat{\omega}$ 中（该状态是双重代数上的纯化）。可激发性在纯化过程中保持不变，这使得作者能够将一般的混合态问题简化为对中心纯态的研究。
4. 问题的分解： 证明策略将一般的可激发性条件分解为两个不同的引理：
   • 引理 1： 可激发性在同时应用于参考态和目标态的 VEV 移位下具有不变性。这是通过构造一个交织幺正映射来证明的。
   • 引理 2： 从零均值高斯态 $\omega$ 中激发 VEV 移位 $v$ 的条件。这是通过分析纯态、阿贝尔代数以及中心纯态，并利用 Riesz 表示定理和交换子算符 $R$ 的性质来证明的。

主要贡献与结果
本文建立了 定理 1，该定理提供了高斯态 $\omega_2$ 可从 $\omega_1$ 激发（记作 $\omega_2 \prec \omega_1$）的充分必要条件：

1. 零均值条件： $\omega_1$ 和 $\omega_2$ 的零均值对应项（由其连通二阶函数定义）必须是相互可激发的。这恢复了 [1] 中建立的判据。
2. VEV 有界性条件： 一阶函数之差 $v_{12}[f] = \omega_2(\phi[f]) - \omega_1(\phi[f])$ 必须是 $\mu_1$-有界的。具体而言，必须存在常数 $C$，使得对于所有弥散函数 $f$，均有 $|v_{12}[f]|^2 \leq C \langle f|f \rangle_{\mu_1}$。

作者证明，如果 VEV 之差是无界的，则在参考希尔伯特空间中不存在密度矩阵代表。反之，如果 VEV 之差是有界的，则全态的可激发性等价于其零均值部分的可激发性。

在反德西特（AdS）时空中的应用
作为具体的应用，作者分析了 Poincaré 块中 AdS 空间内的自由克莱因-戈尔登场（Klein-Gordon fields）。他们证明了：

• 从 AdS 真空激发 VEV 移位 $v_s$ 的充要条件是，该移位的模态剖面 $\tilde{v}_s(k)$ 关于体（bulk）内积定义的动量测度是平方可积（$L^2$）的。
• 这种体条件被证明等价于对应的对偶共形场论（CFT）中边界 VEV 的可激发性。通过外推字典定义的边界 VEV，当且仅当体 VEV 可从 AdS 真空激发时，该边界 V%，才可从 CFT 真空激发。

意义与主张
本文声称将状态可激发性的代数理解推广到了物理上普遍存在的非零均值高斯态情况。其主要意义在于：

• 严谨的判据： 提供了一个精确的数学条件（相对于二阶函数拓扑的 VEV 有界性），补充了现有的零均值状态判据。
• 全息一致性： 证明了 AdS 中体相干态的可激发性严格受限于其边界对偶态的可激发性。这支持了全息原理在状态空间结构方面的一致性，表明体中的不可激发性（由于红外效应引起）会在边界理论中得到镜像体现。
• 纯态结果的推广： 将已知的纯相干态结果 [10, 11] 推广到了任意混合高斯态，包括具有非平凡中心的态（中心纯态）。

作者保持了适度的研究范围，严格专注于广义自由场理论中状态可激发性的代数判据及其在 AdS/CFT 中的应用，并未提出新的实验方案，也未将结果扩展到超出高斯近似范围的相互作用理论。