Static regular black holes in Horndeski theories: analytic no-go and nonanalytic obstructions

技术摘要：Horndeski 理论中的静态正则黑洞

问题陈述
正则黑洞（Regular Black Holes, BHs）的存在——即具有事件视界但没有中心曲率奇异性的时空——在经典引力中仍是一个开放性问题。虽然度规层面的构造（例如 Bardeen 或德西特核心）提供了显式的正则中心，但它们往往缺乏一致的经典场论实现。在四维 Horndeski 标量-张量理论的背景下，以往的研究已经确立了静态、平移对称黑洞的“无毛定理”，或者识别出了非最小导数耦合中的病态性质（如幽灵模、梯度不稳定性）。然而，关于在完整的 Horndeski 框架内，是否能同时满足视界稳定性与中心正则性的“静态、球对称、渐近平坦”构型，其分析仍是不完整的。具体而言，尚不清楚标量动能项 $X$ 在视界处消失（$X(r_s)=0$）的解析分支是否能够达到正则中心，或者受控的非解析补全能否规避现有的阻碍。

方法论
作者分析了在静态、不含时间的标量剖面 $\phi = \phi(r)$ 下，最一般的四维 Horndeski 作用量在球对称背景下的情况。研究过程通过对近视界行为进行分类，并对临界端点（$r \to \infty$, $r = r_s$, $r=0$）应用“有限射流”（finite-jet）约化来展开。

1. 视界分支分析： 作者首先考察了在视界处标量动能项 $X = -\nabla_\mu \phi \nabla^\mu \phi / 2$ 为有限且非零（$X_s \neq 0$）的分支。他们在视界半径 $r_s$ 附近对度规和标量场进行展开，并评估奇宇称（引力）和偶宇称（标量）扰动的传播速度。
2. 解析分支约化： 对于 $X(r_s) = 0$ 的分支，作者假设耦合函数 $G_i(\phi, X)$ 在 $X=0$ 处是解析的。他们证明了在渐近无穷远、视界以及中心处，标量运动方程由耦合函数的有限组泰勒系数（一个“有限射流”）决定。这允许将标量运动方程非微扰地约化为一个电流守恒律。
3. 非解析补全： 作者研究了非解析依赖关系（特别是分数幂、平方根和对数项）是否能规避解析排除。他们施加了协变正则性要求，即要求运动方程中的对数项和反 $X$ 奇异性能够相互抵消。

关键结果

• $X_s \neq 0$ 分支的阻碍： 具有有限非零动能项的视界分支通常是受阻的。除非发生特定的简并情况（即 $G_{5,X}$、$\kappa_r$ 和 $\kappa$ 同时消失），否则该分支会遭受发散的传播速度或幽灵/梯度不稳定性。即使通过调控实现了简并，这种病态性质通常会在更高阶处重新出现，且已知的非解析示例（如四维 Einstein-Gauss-Bonnet）会被强耦合或拉普拉斯不稳定性排除。
• 非微扰无毛定理（平移对称）： 在正则分支（$X(r_s) = 0$）上，对于非简并的平移对称解析理论，作者推导出了一个非微扰无毛定理。为了同时满足视界和中心的正则性，径向电流 $J_r$ 必须为零。这迫使 $\phi' = 0$ 在整个时空中成立。因此，度规退化为 Schwarzschild 解。对于任何非零的 ADM 质量，这意味着存在中心奇异性；因此，此类情形下不存在正则黑洞。
• 微扰排除（非平移对称）： 对于具有正幂次耦合（对 $X$ 解析）的非平移对称理论，作者表明，在与广义相对论连续连接的微扰分支（小耦合极限）上，解同样被强制为 Schwarzschild 解。视界正则性和渐近平坦性将积分常数固定为 Schwarzschild 值，从而导致中心奇异性。
• 边缘非解析补全： 作者发现，唯一能够规避解析电流约化的边缘非解析补全是标量-高斯-博内（sGB）链，特别是涉及 $G_5$ 中的五次对数项（例如 $G_5 \sim \ln|X|$）。虽然这种特定结构允许产生能够规避电流约化步骤的有毛黑洞解，但作者发现这些解仍然具有中心奇异性。

意义与主张
本文声称填补了 Horndeski 理论中关于正则黑洞的静态-标量扇区的显著空白。其主要贡献包括：

1. 确定了通用的 $X_s \neq 0$ 视界分支是不稳定或病态的。
2. 在 $X(r_s)=0$ 分支上，针对解析、平移对称理论证明了非微扰无毛定理，证明了中心正则性与非零质量是不相容的。
3. 将排除范围扩展到了与广义相对论连接的微扰非平移对称分支。
4. 识别出标量-高斯-博内链是满足协变正则性的唯一边缘非解析补全，同时指出即使是这种补全也无法产生正则黑洞，因为所得的有毛解仍保留了中心奇异性。

研究结论认为，在静态、球对称、渐近平坦的 Horndeski 理论扇区内，目前尚无已知机制能够构造出一个同时满足稳定、具有正则视界且拥有正则中心的黑洞，除非超越此处所分析的特定解析或边缘非解析类别。