[论文解读] On the Hartle-Hawking-Israel states for spacetimes with static bifurcate Killing horizons

Christian Gérard|arXiv (Cornell University)|Aug 24, 2016

Black Holes and Theoretical Physics参考文献 2被引用 5

一句话总结

本文通过在柯西面上运用 Calderón 投影算子与伪微分微分学，对具有静态分叉 Killing 事件视界的时空中的哈特勒-霍金-艾布拉姆斯（Hartle-Hawking-Israel, HHI）态提供了简洁的 Hadamard 性质证明。证明表明 HHI 态是唯一、纯态且满足 Hadamard 性质的态，其柯西面协方差与 Calderón 投影算子相关，且与任意参考 Hadamard 态的差异为光滑算子，从而确认了其 Hadamard 性质。

ABSTRACT

We revisit the construction by Sanders [S1] of the Hartle-Hawking-Israel state for a free quantum Klein-Gordon field on a spacetime with a static, bifurcate Killing horizon and a wedge reflection. Using the notion of the Calder{ó}n projector for elliptic boundary value problems and pseudodifferential calculus on manifolds, we give a short proof of its Hadamard property.

研究动机与目标

• 为具有静态分叉 Killing 事件视界的时空中的哈特勒-霍金-艾布拉姆斯（Hartle-Hawking-Israel）态提供一种简明的 Hadamard 性质证明。
• 用基于柯西面协方差与 Calderón 投影算子的框架，取代原始的参数解比较方法。
• 通过 Calderón 投影算子的投影性质，确立 HHI 态的唯一性与纯态性。
• 通过证明 HHI 态与参考 Hadamard 态在柯西面上的差异为光滑算子，确认其 Hadamard 性质。

提出的方法

• 作者聚焦于右半区域及其镜像，不使用时空协方差，而改用柯西面协方差。
• 他们为通过 Wick 变换得到的黎曼度量所对应的椭圆边值问题定义了 Calderón 投影算子 $ D $。
• 双 $ \beta_{\rm H} $-KMS 态的协方差 $ \lambda^{\pm} $ 与 Calderón 投影算子 $ D $ 相关联，后者作用于边界数据 $ f \in C_{\rm c}^\infty(\partial\Omega) \otimes \mathbb{C}^2 $。
• 通过分析外区域格林算子 $ G_{\rm ext} $ 的结构，证明了反射正定性，即对在未来半区域支持的 $ u $，有 $ (R_{\rm ext}u | G_{\rm ext}u)_{L^2(N_{\rm ext})} \geq 0 $。
• 由 $ (f | q D_{\rm ext} f)_{L^2(\Sigma)} \geq 0 $ 推导出 $ \lambda^{+}_{\rm HHI} $ 的正定性，其中 $ D_{\rm ext} $ 为投影算子，从而表明态为纯态。
• 通过证明 $ c^{\pm}_{\rm HHI} - c^{\pm}_{\rm ref} $ 在 $ \Sigma \setminus \mathscr{B} $ 上主符号消失，并利用迭代正则性提升，确立了 Hadamard 性质。

实验结果

研究问题

• RQ1 HII 态的 Hadamard 性质能否以比参数解比较更高效的方式证明？
• RQ2 Calderón 投影算子如何用于表征 HHI 态在柯西面上的协方差？
• RQ3 HII 态在具有静态分叉 Killing 事件视界的全时空上是否唯一可延拓为纯态且满足 Hadamard 性质？
• RQ4 外格林算子 $ G_{\rm ext} $ 的反射正定性是否蕴含 HII 态协方差的正定性？
• RQ5 能否证明 HII 态与参考 Hadamard 态在柯西面上的差异为光滑算子？

主要发现

• 在具有静态分叉 Killing 事件视界的全时空中，HII 态是唯一、纯态且满足 Hadamard 性质的态。
• HII 态在柯西面上的协方差完全由 $ \mathbb{S}_{\beta} \times \Sigma^+ $ 上与黎曼问题相关的 Calderón 投影算子表征。
• 通过外格林算子 $ G_{\rm ext} $ 的反射正定性，确立了 HII 态协方差的正定性，从而得到 $ (f | q D_{\rm ext} f) \geq 0 $。
• 由于 Calderón 投影算子 $ D_{\rm ext} $ 是投影算子，确保了态的密度矩阵为秩一，因此 HII 态是纯态。
• HII 态与任意参考 Hadamard 态在柯西面上的差异为光滑算子，从而确认了其 Hadamard 性质。
• 该证明通过直接处理边界数据与伪微分微分学，避免了时空参数解比较，显著缩短了论证过程。