[论文解读] Cartan Invariants and Event Horizon Detection, Extended Version

D. D. McNutt, M. A. H. MacCallum+5 more|arXiv (Cornell University)|Sep 11, 2017

Pulsars and Gravitational Waves Research参考文献 28被引用 10

一句话总结

本文证明，任意维度中静止黑洞的事件视界可作为特定卡坦不变量的零点被检测到，提供了一种比标量多项式曲率不变量（SPIs）计算更高效的方法。该方法利用卡坦-卡尔赫德算法构造在视界上精确为零的不变量，避免了SPI方法中常见的误报，且在4D和5D精确解（包括Kerr、Schwarzschild和环形黑洞）中得到验证。

ABSTRACT

We show that it is possible to locate the event horizons of a black hole (in arbitrary dimensions) as the zeros of certain Cartan invariants. This approach accounts for the recent results on the detection of stationary horizons using scalar polynomial curvature invariants, and improves upon them since the proposed method is computationally less expensive. As an application, we produce Cartan invariants that locate the event horizons for various exact four-dimensional and five-dimensional stationary, asymptotically flat (or (anti) de Sitter) black hole solutions and compare the Cartan invariants with the corresponding scalar curvature invariants that detect the event horizon. In particular, for each of the four-dimensional examples we express the scalar polynomial curvature invariants introduced by Abdelqader and Lake in terms of the Cartan invariants and show a direct relationship between the scalar polynomial curvature invariants and the Cartan invariants that detect the horizon.

研究动机与目标

• 开发一种计算高效、与叶状结构无关的静止黑洞时空事件视界定位方法。
• 克服标量多项式曲率不变量（SPIs）的局限性，后者可能在真实视界之外检测到虚假表面。
• 将视界检测方法扩展至4D以上，包括具有非球形拓扑（如环形黑洞）的高维黑洞。
• 在4D中建立卡坦不变量与SPIs之间的直接代数关系，简化复杂表达式。
• 为需要在黑洞并合或坍缩过程中实现精确、实时事件视界追踪的数值相对论应用提供支持。

提出的方法

• 利用卡坦-卡尔赫德算法对时空度量进行分类，并从曲率张量及其协变导数计算卡坦不变量。
• 识别在事件视界上精确为零的卡坦不变量，将视界定位为这些不变量的零点集。
• 从非恒定的零阶不变量构造扩展卡坦不变量，以确保视界检测无误报。
• 在4D中应用纽曼-彭罗斯形式化，将卡坦不变量与SPIs关联，实现直接比较并简化SPI表达式。
• 利用外尔张量及其协变导数计算不变量，并为Kerr、Schwarzschild和5D环形黑洞解推导出显式表达式。
• 通过将卡坦不变量与已知SPIs（如$I_1, I_2, J_1$）比较来验证结果，确认基于卡坦的不变量以更低的计算成本检测到视界。

实验结果

研究问题

• RQ1 卡坦不变量能否用于在任意时空维度中定位静止黑洞的事件视界？
• RQ2 在视界检测中，卡坦不变量与标量多项式曲率不变量（SPIs）相比，在计算效率和准确性方面如何？
• RQ3 能否构造仅在事件视界上为零的卡坦不变量，以避免SPI方法中常见的误检测？
• RQ4 在4D时空中，卡坦不变量与SPIs之间存在何种代数关系？该关系能否简化现有SPI表达式？
• RQ5 卡坦不变量方法能否推广至动力学时空，如涉及黑洞并合或坍缩的时空？

主要发现

• 静止黑洞的事件视界被定位为特定卡坦不变量的零点，这些不变量在曲率分量上线性，计算成本低于SPIs。
• 对于4D的Kerr和Schwarzschild黑洞，卡坦不变量检测视界所需的代数运算少于SPIs，且明确展示了$I_1, I_2, J_1$可表示为卡坦不变量的形式。
• 在5D环形黑洞解中，卡坦不变量成功检测到$X_2 = 0$处的视界，且展开$ heta_{( u)}$在视界上为零，确认了其位置。
• 该方法避免了误报：由卡坦-卡尔赫德算法构造的扩展卡坦不变量仅在视界上为零，而SPIs可能在其他地方也为零。
• 卡坦-卡尔赫德算法在更高维度（$D \neq 4$）中依然有效，即使在未知外尔对齐零方向（WANDs）的情况下，也能实现在复杂时空中的视界检测。
• 推导出卡坦不变量如$C_{0101;0}$和$C_{0101;1}$的显式表达式，并证明其在视界处精确为零，且与坐标和参数存在闭式代数依赖关系。