skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Violent Nonlinear Collapse in the Interior of Charged Hairy Black Holes
Abstract We construct a new one-parameter family, indexed by$$\epsilon $$ ϵ , of two-ended, spatially-homogeneous black hole interiors solving the Einstein–Maxwell–Klein–Gordon equations with a (possibly zero) cosmological constant$$\Lambda $$ Λ and bifurcating off a Reissner–Nordström-(dS/AdS) interior ($$\epsilon =0$$ ϵ = 0 ). For all small$$\epsilon \ne 0$$ ϵ 0 , we prove that, although the black hole is charged, its terminal boundary is an everywhere-spacelikeKasner singularity foliated by spheres of zero radiusr. Moreover, smaller perturbations (i.e. smaller$$|\epsilon |$$ | ϵ | ) aremore singular than larger ones, in the sense that the Hawking mass and the curvature blow up following a power law of the form$$r^{-O(\epsilon ^{-2})}$$ r - O ( ϵ - 2 ) at the singularity$$\{r=0\}$$ { r = 0 } . This unusual property originates from a dynamical phenomenon—violent nonlinear collapse—caused by the almost formation of a Cauchy horizon to the past of the spacelike singularity$$\{r=0\}$$ { r = 0 } . This phenomenon was previously described numerically in the physics literature and referred to as “the collapse of the Einstein–Rosen bridge”. While we cover all values of$$\Lambda \in \mathbb {R}$$ Λ R , the case$$\Lambda <0$$ Λ < 0 is of particular significance to the AdS/CFT correspondence. Our result can also be viewed in general as a first step towards the understanding of the interior of hairy black holes.  more » « less
Award ID(s):
2247376
PAR ID:
10594544
Author(s) / Creator(s):
Publisher / Repository:
Springer Nature
Date Published:
Journal Name:
Archive for Rational Mechanics and Analysis
Volume:
248
Issue:
5
ISSN:
0003-9527
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We study the interior of black holes in the presence of charged scalar hair of small amplitude$$\epsilon $$ ϵ on the event horizon and show their terminal boundary is a crushing Kasner-like singularity. These spacetimes are spherically symmetric, spatially homogeneous and they differ significantly from the hairy black holes with uncharged matter previously studied in[M. Van de Moortel, Violent nonlinear collapse inside charged hairy black holes, Arch. Rational. Mech. Anal., 248, 89, 2024]in that the electric field is dynamical and subject to the backreaction of charged matter. We prove this charged backreaction causes drastically different dynamics compared to the uncharged case that ultimately impact the formation of the spacelike singularity, exhibiting novel phenomena such asCollapsed oscillations: oscillatory growth of the scalar hair, nonlinearly induced by the collapseAfluctuating collapse: The final Kasner exponents’ dependency in$$\epsilon $$ ϵ is via an expression of the form$$|\sin \left( \omega _0 \cdot \epsilon ^{-2}+ O(\log (\epsilon ^{-1}))\right) |$$ | sin ω 0 · ϵ - 2 + O ( log ( ϵ - 1 ) ) | .AKasner bounce: a transition from an unstable Kasner metric to a different stable Kasner metricThe Kasner bounce occurring in our spacetime is reminiscent of the celebrated BKL scenario in cosmology. We additionally propose a construction indicating the relevance of the above phenomena – including Kasner bounces – to spacelike singularities inside more general (asymptotically flat) black holes, beyond the hairy case. While our result applies to all values of$$\Lambda \in \mathbb {R}$$ Λ R , in the$$\Lambda <0$$ Λ < 0 case, our spacetime corresponds to the interior region of a charged asymptotically Anti-de-Sitter stationary black hole, also known as aholographic superconductorin high-energy physics, and whose exterior region was rigorously constructed in the recent mathematical work [W. Zheng,Asymptotically Anti-de Sitter Spherically Symmetric Hairy Black Holes, arXiv.2410.04758]. 
    more » « less
  2. A<sc>bstract</sc> In a quantum theory of gravity, the species scale Λscan be defined as the scale at which corrections to the Einstein action become important or alternatively as codifying the “number of light degrees of freedom”, due to the fact that$$ {\Lambda}_s^{-1} $$ Λ s 1 is the smallest size black hole described by the EFT involving only the Einstein term. In this paper, we check the validity of this picture in diverse dimensions and with different amounts of supersymmetry and verify the expected behavior of the species scale at the boundary of moduli space. This also leads to the evaluation of the species scale in the interior of the moduli space as well as to the computation of the diameter of the moduli space. We also find evidence that the species scale satisfies the bound$$ {\frac{\left|\nabla {\Lambda}_s\right|}{\Lambda_s}}^2\le \frac{1}{d-2} $$ Λ s Λ s 2 1 d 2 all over moduli space including the interior. 
    more » « less
  3. Abstract Using proton–proton collision data corresponding to an integrated luminosity of$$140\hbox { fb}^{-1}$$ 140 fb - 1 collected by the CMS experiment at$$\sqrt{s}= 13\,\text {Te}\hspace{-.08em}\text {V} $$ s = 13 Te V , the$${{{\Lambda }} _{\text {b}}^{{0}}} \rightarrow {{\text {J}/\uppsi }} {{{\Xi }} ^{{-}}} {{\text {K}} ^{{+}}} $$ Λ b 0 J / ψ Ξ - K + decay is observed for the first time, with a statistical significance exceeding 5 standard deviations. The relative branching fraction, with respect to the$${{{\Lambda }} _{\text {b}}^{{0}}} \rightarrow {{{\uppsi }} ({2\textrm{S}})} {{\Lambda }} $$ Λ b 0 ψ ( 2 S ) Λ decay, is measured to be$$\mathcal {B}({{{\Lambda }} _{\text {b}}^{{0}}} \rightarrow {{\text {J}/\uppsi }} {{{\Xi }} ^{{-}}} {{\text {K}} ^{{+}}} )/\mathcal {B}({{{\Lambda }} _{\text {b}}^{{0}}} \rightarrow {{{\uppsi }} ({2\textrm{S}})} {{\Lambda }} ) = [3.38\pm 1.02\pm 0.61\pm 0.03]\%$$ B ( Λ b 0 J / ψ Ξ - K + ) / B ( Λ b 0 ψ ( 2 S ) Λ ) = [ 3.38 ± 1.02 ± 0.61 ± 0.03 ] % , where the first uncertainty is statistical, the second is systematic, and the third is related to the uncertainties in$$\mathcal {B}({{{\uppsi }} ({2\textrm{S}})} \rightarrow {{\text {J}/\uppsi }} {{{\uppi }} ^{{+}}} {{{\uppi }} ^{{-}}} )$$ B ( ψ ( 2 S ) J / ψ π + π - ) and$$\mathcal {B}({{{\Xi }} ^{{-}}} \rightarrow {{\Lambda }} {{{\uppi }} ^{{-}}} )$$ B ( Ξ - Λ π - )
    more » « less
  4. Abstract Given integers$$n> k > 0$$ n > k > 0 , and a set of integers$$L \subset [0, k-1]$$ L [ 0 , k - 1 ] , anL-systemis a family of sets$$\mathcal {F}\subset \left( {\begin{array}{c}[n]\\ k\end{array}}\right) $$ F [ n ] k such that$$|F \cap F'| \in L$$ | F F | L for distinct$$F, F'\in \mathcal {F}$$ F , F F .L-systems correspond to independent sets in a certain generalized Johnson graphG(n, k, L), so that the maximum size of anL-system is equivalent to finding the independence number of the graphG(n, k, L). TheLovász number$$\vartheta (G)$$ ϑ ( G ) is a semidefinite programming approximation of the independence number$$\alpha $$ α of a graphG. In this paper, we determine the leading order term of$$\vartheta (G(n, k, L))$$ ϑ ( G ( n , k , L ) ) of any generalized Johnson graph withkandLfixed and$$n\rightarrow \infty $$ n . As an application of this theorem, we give an explicit construction of a graphGonnvertices with a large gap between the Lovász number and the Shannon capacityc(G). Specifically, we prove that for any$$\epsilon > 0$$ ϵ > 0 , for infinitely manynthere is a generalized Johnson graphGonnvertices which has ratio$$\vartheta (G)/c(G) = \Omega (n^{1-\epsilon })$$ ϑ ( G ) / c ( G ) = Ω ( n 1 - ϵ ) , which improves on all known constructions. The graphGa fortiorialso has ratio$$\vartheta (G)/\alpha (G) = \Omega (n^{1-\epsilon })$$ ϑ ( G ) / α ( G ) = Ω ( n 1 - ϵ ) , which greatly improves on the best known explicit construction. 
    more » « less
  5. Abstract Let$$(h_I)$$ ( h I ) denote the standard Haar system on [0, 1], indexed by$$I\in \mathcal {D}$$ I D , the set of dyadic intervals and$$h_I\otimes h_J$$ h I h J denote the tensor product$$(s,t)\mapsto h_I(s) h_J(t)$$ ( s , t ) h I ( s ) h J ( t ) ,$$I,J\in \mathcal {D}$$ I , J D . We consider a class of two-parameter function spaces which are completions of the linear span$$\mathcal {V}(\delta ^2)$$ V ( δ 2 ) of$$h_I\otimes h_J$$ h I h J ,$$I,J\in \mathcal {D}$$ I , J D . This class contains all the spaces of the formX(Y), whereXandYare either the Lebesgue spaces$$L^p[0,1]$$ L p [ 0 , 1 ] or the Hardy spaces$$H^p[0,1]$$ H p [ 0 , 1 ] ,$$1\le p < \infty $$ 1 p < . We say that$$D:X(Y)\rightarrow X(Y)$$ D : X ( Y ) X ( Y ) is a Haar multiplier if$$D(h_I\otimes h_J) = d_{I,J} h_I\otimes h_J$$ D ( h I h J ) = d I , J h I h J , where$$d_{I,J}\in \mathbb {R}$$ d I , J R , and ask which more elementary operators factor throughD. A decisive role is played by theCapon projection$$\mathcal {C}:\mathcal {V}(\delta ^2)\rightarrow \mathcal {V}(\delta ^2)$$ C : V ( δ 2 ) V ( δ 2 ) given by$$\mathcal {C} h_I\otimes h_J = h_I\otimes h_J$$ C h I h J = h I h J if$$|I|\le |J|$$ | I | | J | , and$$\mathcal {C} h_I\otimes h_J = 0$$ C h I h J = 0 if$$|I| > |J|$$ | I | > | J | , as our main result highlights: Given any bounded Haar multiplier$$D:X(Y)\rightarrow X(Y)$$ D : X ( Y ) X ( Y ) , there exist$$\lambda ,\mu \in \mathbb {R}$$ λ , μ R such that$$\begin{aligned} \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C})\text { approximately 1-projectionally factors through }D, \end{aligned}$$ λ C + μ ( Id - C ) approximately 1-projectionally factors through D , i.e., for all$$\eta > 0$$ η > 0 , there exist bounded operatorsA, Bso thatABis the identity operator$${{\,\textrm{Id}\,}}$$ Id ,$$\Vert A\Vert \cdot \Vert B\Vert = 1$$ A · B = 1 and$$\Vert \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C}) - ADB\Vert < \eta $$ λ C + μ ( Id - C ) - A D B < η . Additionally, if$$\mathcal {C}$$ C is unbounded onX(Y), then$$\lambda = \mu $$ λ = μ and then$${{\,\textrm{Id}\,}}$$ Id either factors throughDor$${{\,\textrm{Id}\,}}-D$$ Id - D
    more » « less