Testing generalized spacetimes for black holes using the Hod function representation of the hoop conjecture

问题陈述
本文探讨了在非线性电动力学耦合的广义、正则、球对称静态黑洞解的背景下，索恩（Thorne）圆环猜想（hoop conjecture）的有效性。具体而言，研究对象是 Fan 和 Wang 构建的一个两参数族解。文中识别出一个核心问题：如果天真地使用渐近 ADM 质量（$M_\infty$）来应用圆环猜想，即使在确实拥有事件视界的时空中，也可能导致对猜想的表观违背。作者旨在通过使用修正后的质量定义，来确定这些广义解（包括一个被提议的“新类”解）是否真正代表黑洞。

方法论
作者采用了由 Hod 最初提出的“Hod 函数”方法，该方法重新定义了圆环猜想中的质量项。该猜想不再使用总渐近质量（$M_\infty$），而是改用包含在圆环半径 $R$ 之内的引力质量 $M(r \le R)$ 进行重新表述。

1. 度规分析： 研究分析了 Fan 和 Wang 解的通用度规函数 $f(r)$，其特征由任意指数 $\mu$ 和 $\nu$、施瓦西质量参数 $M_{Sch}$ 以及渐近电磁质量 $M_e$ 表征。
2. 临界值确定： 作者确定了度规函数 $f(r)$ 在具有视界与不具有视界之间发生转变的临界值（$x_c, s_c$）。这些值是通过求解联立方程 $f=0$ 和 $\partial_x f = 0$ 得到的。
3. Hod 函数构建：
   • 对于 $M_{Sch} = 0$ 的情况（纯电磁正则黑洞），作者通过积分能量密度 $T^0_0$ 来导出包含质量 $M(r \le R)$ 并构建 Hod 函数 $H_f$。
   • 对于 $M_{Sch} \neq 0$ 的情况，他们扩展了这一推导过程以包含施瓦西质量项，从而得到广义 Hod 函数 $H_f(w, \mu, \nu; x, s)$。
   • 对 Fan 和 Wang 提出的具有不同度规结构 $g(r)$ 的“新类”解也应用了类似的程序。
4. 验证： 通过检查对于具有视界的构型（$s \le s_c$）是否满足不等式 $0 < H \le 1$，以及对于无视界构型（$s > s_c$）是否满足 $H > 1$，来测试猜想的有效性。
5. 质量等价性： 文中从解析上证明了对于这些时空，Hod 质量 $M(r \le R)$ 在数学上与 Misner-Sharp 几何准局域质量 $m(r \le R)$ 是完全一致的。

主要结果

• 广义解的验证： 对于标准的 Fan 和 Wang 解（推广了 Bardeen 和 Hayward 度规），扩展的 Hod 函数成功恢复了圆环猜想的有效性。在所有存在视界的情况（$s \le s_c$）下，不等式 $0 < H_f \le 1$ 均成立，证实了这些时空确实代表黑洞。
• 对“新类”解的拒绝： 被提议的“新类”解（其度规函数在分母项上有所不同）未能通过测试。
  • 研究发现，对于所有测试的 $\mu$ 和 $w$ 值，临界参数 $s_c$ 均为负值，这与物理要求 $s > 0$（由电荷和长度参数导出）相矛盾。
  • 曲率不变量（里奇标量和克雷奇曼标量）虽然是有限的，但表明其具有类似虫洞的拓扑结构（负里奇标量），而非黑洞。
  • 该新类的 Hod 函数违反了圆环猜想的不等式（在预期有视界的区域产生负值或大于 1 的值），表明这些解在猜想框架下不符合黑洞的资格。
• 质量等价性： 研究确认了 Hod 质量正是 Misner-Sharp 质量的物质对应项。因此，从 Hod 函数得出的任何结论在严格意义上都是广义相对论的结论。

意义与主张
本文声称，当渐近质量定义会导致误导性结果时，Hod 函数可以作为测试广义时空解是否代表黑洞的一个稳健且非平凡的工具。通过应用此方法，作者支持了 Fan 和 Wang 解（推广 Bardeen 和 Hayward 解）作为真实黑洞的有效性，同时由于拓扑不一致性和对圆环猜想的违背，反对所提议的“新类”解。

作者强调，他们的分析是方法论层面的，为测试复杂的非线性电动力学解（以及潜在的其他修正引力理论中的解）提供了一个框架。他们明确指出，基于 Hod 函数对黑洞地位的判定具有广义相对论的权威性，因为它与 Misner-Sharp 质量是等价的。本文并非提出新的实验应用，而是为现有的数学解提供了一种理论一致性检查。