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

Technische Samenvatting: Statische Reguliere Zwarte Gaten in Horndeski-theorieën

Probleemstelling
Het bestaan van reguliere zwarte gaten (BH's)—ruimtetijdmetingen met gebeurtenishorizons maar zonder centrale krommingssingulariteiten—blijft een openstaande vraag in de klassieke zwaartekracht. Hoewel constructies op metrisch niveau (bijv. Bardeen, de Sitter-kernen) expliciete reguliere centra bieden, missen deze vaak een consistente klassieke veldentheoretische realisatie. In de context van vierdimensionale Horndeski scalaire-tensor theorieën hebben eerdere studies no-hair theorema's voor statische, verschuivingssymmetrische (shift-symmetric) zwarte gaten vastgesteld of pathologieën (ghosts, gradiëntinstabiliteiten) geïdentificeerd bij niet-minimale afgeleide koppelingen. Echter, een uitgebreide analyse van de vraag of statische, sferisch symmetrische, asymptotisch vlakke configuraties simultaan horizon-stabiliteit en centrale regulariteit kunnen voldoen binnen het volledige Horndeski-raamwerk, is incompleet gebleven. Specifiek was het onduidelijk of de analytische tak waar de scalaire kinetische term $X$ verdwijnt bij de horizon ($X(rs)=0$) een regulier centrum kon bereiken, of dat een gecontroleerde niet-analytische voltooiing de bestaande obstructies kon omzeilen.

Methodologie
De auteurs analyseren de meest algemene vierdimensionale Horndeski-actie met een statisch, tijdonafhankelijk scalaire profiel $\phi = \phi(r)$ op een sferisch symmetrische achtergrond. De studie verloopt via het classificeren van nabij-horizon gedrag en het toepassen van een "finite-jet" reductie op de veldvergelijkingen bij kritieke eindpunten ($r \to \infty$, $r = r_s$, $r=0$).

1. Horizon-tak Analyse: De auteurs onderzoeken eerst de tak waarbij de scalaire kinetische term $X = -\nabla_\mu \phi \nabla^\mu \phi / 2$ eindig en niet-nul is bij de horizon ($X_s \neq 0$). Zij expanderen de metriek en de scalaire velden nabij de horizonradius $r_s$ en evalueren de voortplantingssnelheden van odd-parity (gravitatieve) en even-parity (scalaire) perturbaties.
2. Analytische Tak Reductie: Voor de tak waar $X(rs) = 0$, nemen de auteurs aan dat de koppelingsfuncties $G_i(\phi, X)$ analytisch zijn bij $X=0$. Zij demonstreren dat de scalaire bewegingsvergelijking bij asymptotische oneindigheid, de horizon en het centrum wordt bepaald door een eindige set Taylor-coëfficiënten (een "finite jet") van de koppelingsfuncties. Dit maakt een niet-perturbatieve reductie van de scalaire vergelijking naar een behoudswet voor een stroom (current conservation law) mogelijk.
3. Niet-analytische Voltooiing: De auteurs onderzoeken of niet-analytische afhankelijkheden van $X$ (specifiek breukvormige machten, vierkantswortels en logaritmen) de analytische uitsluiting kunnen omzeilen. Zij stellen de eis van covariante regulariteit, waarbij zij eisen dat logaritmische en inverse-$X$ singulariteiten in de bewegingsvergelijkingen wegvallen.

Belangrijkste Resultaten

• Obstructie van de $X_s \neq 0$ Tak: De tak met een eindige, niet-nul kinetische term bij de horizon is generiek geobstrueerd. Tenzij specifieke degeneraties optreden (gelijktijdig verdwijnen van $G_{5,X}$, $\kappa_r$ en $\kappa$), lijdt deze tak aan divergerende voortplantingssnelheden of ghost/gradiënt instabiliteiten. Zelfs als degeneraties worden getuned, verschijnt de pathologie meestal bij hogere orden, en bekende niet-analytische voorbeelden (zoals 4D Einstein-Gauss-Bonnet) worden uitgesloten door sterke koppeling of Laplaciaanse instabiliteiten.
• Niet-perturbatief No-Hair Theorema (Verschuivingssymmetrisch): Op de reguliere tak waar $X(rs) = 0$, leiden de auteurs voor niet-degeneratieve verschuivingssymmetrische analytische theorieën een niet-perturbatief no-hair theorema af. De radiale stroom $J_r$ moet verdwijnen om regulariteit te garanderen bij zowel de horizon als het centrum. Dit dwingt $\phi' = 0$ door de gehele ruimtetijd. Bijgevolg reduceert de metriek tot de Schwarzschild-oplossing. Voor elke niet-nul ADM-massa impliceert dit een centrale singulariteit; derhalve bestaat er geen regulier zwart gat in deze klasse.
• Perturbatieve Uitsluiting (Niet-verschuivingssymmetrisch): Voor niet-verschuivingssymmetrische theorieën met positieve-macht koppelingen (analytisch in $X$), tonen de auteurs aan dat op de perturbatieve tak die continu verbonden is met de Algemene Relativiteitstheorie (kleine koppelingslimiet), de oplossing wederom gedwongen wordt tot Schwarzschild. De horizon-regulariteit en asymptotische vlakheid fixeren de integratieconstanten op de Schwarzschild-waarden, wat leidt tot een centrale singulariteit.
• Marginale Niet-analytische Voltooiing: De auteurs identificeren dat de enige marginale niet-analytische voltooiing die de analytische stroom-reductie kan omzeilen, de scalaire-Gauss-Bonnet (sGB) keten is, specifiek betrokken bij een quintische logaritmische term in $G_5$ (bijv. $G_5 \sim \ln|X|$). Hoewel deze specifieke structuur haary zwarte gat-oplossingen toestaat die de stroom-reductiestap omzeilen, vinden de auteurs dat deze oplossingen centraal singular blijven.

Betekenis en Claims
Het artikel claimt significante hiaten te dichten in de statische-scalaire sector van Horndeski-theorieën met betrekking tot reguliere zwarte gaten. De primaire bijdragen zijn:

1. Het vaststellen dat de generieke $X_s \neq 0$ horizon-tak instabiel of slecht gedefinieerd is.
2. Het bewijzen van een niet-perturbatief no-hair theorema voor analytische, verschuivingssymmetrische theorieën op de $X(rs)=0$ tak, waarbij wordt aangetoond dat regulariteit in het centrum incompatibel is met een niet-nul massa.
3. Het uitbreiden van de uitsluiting naar perturbatieve niet-verschuivingssymmetrische takken die verbonden zijn met de Algemene Relativiteitstheorie.
4. Het identificeren van de scalaire-Gauss-Bonnet keten als de unieke marginale niet-analytische voltooiing die aan covariante regulariteit voldoet, terwijl zij opmerken dat zelfs deze voltooiing faalt om een regulier zwart gat te produceren, aangezien de resulterende haary oplossingen een centrale singulariteit behouden.

Het werk concludeert dat binnen de statische, sferisch symmetrische, asymptotisch vlakke sector van Horndeski-theorieën, er geen bekende mechanismen zijn om een zwart gat te construeren dat tegelijkertijd stabiel, een reguliere horizon heeft en een regulier centrum bezit, tenzij men buiten de specifieke analytische of marginaal niet-analytische klassen treedt die hier geanalyseerd zijn.