Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Black holes in degenerate Einstein Gauss-Bonnet gravity: Can QNMs distinguish them from GR?

Suvikranth Gera11footnotetext: The author is currently affiliated to Department of Physics, IIT Guwahati, Guwahati, Assam, India.    Poulami Dutta Roy
Abstract

In this study, for the first time, we analyze the quasinormal modes of massless scalar fields in the context of asymptotically flat black hole solutions with zero metric determinant. These solutions were recently introduced in [JCAP 02(2022)020220220202(2022)0202 ( 2022 ) 02] which satisfy degenerate Einstein Gauss-Bonnet(dEGB) action and belong to a much larger class of solutions that include cosmological constant. This solution has two distinct branches akin to Einstein Gauss-Bonnet(EBG) gravity. However, unlike the EBG solutions, both the branches of dEGB are well-defined asymptotically. The negative branch solutions from both theories are equivalent under the identification of certain metric parameters. We provide constraints on the Gauss-Bonnet coupling parameters, which result in black hole spacetimes, and study the behaviour of a propagating scalar field through the computation of quasinormal modes. Finally, we compare the time domain evolution of the scalar field in the background of these black holes with their GR counterparts.

1 Introduction

Over the years, there has been significant interest in formulating a gravitational framework incorporating Gauss-Bonnet(GB) and higher-order Lovelock densities in four and higher dimensions[2, 3, 4, 5, 6, 7, 8, 9, 10]. However, these higher-order Lovelock densities with D4𝐷4D\leq 4italic_D ≤ 4 dimensions are not dynamical. Mathematically, these terms do not contribute to the Euler-Lagrange equations of motion [11, 12, 13]. Any attempts to introduce these higher-order terms lead to additional degrees of freedom or involve derivatives higher than second order.

Recently, Glavan and Lin [14] claimed that it is possible to construct a theory of gravity devoid of issues mentioned earlier while still exhibiting a dynamic influence of Gauss-Bonnet density. This framework of gravity is based on the notion of “singular-rescaling” of GB coupling and then taking a D4𝐷4D\rightarrow 4italic_D → 4 limit of a D5𝐷5D\geq 5italic_D ≥ 5 action, thus resulting in an emergent theory of gravity which is four-dimensional and has non-trivial imprints of the GB coupling. However, it was later realized that this formulation is neither covariant nor the limit is well defined [15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25]. The spacetime solutions obtained by Glavan and Lin were subsequently discovered in various other frameworks of gravity [26, 27, 17, 28, 29, 30].

It is imperative that any theory of gravity in four dimensions containing non-trivial effects of higher-order lovelock terms be devoid of any of the aforementioned issues. To this extent, Sengupta [31] has proposed an emergent theory of gravity from a five-dimensional action constructed from Einstein and Gauss-Bonnet densities with zero metric determinant. Unlike the earlier approaches, this framework does not rely on singular rescaling nor introduces any new dynamical fields. Instead, this is achieved using the notion of “extra dimensions of zero proper length” introduced in [32]. A similar analysis has been implemented to obtain a dynamical theory of gravity in two dimensions[33]. This new theory is more general than the Jackiw-Teitelboim gravity[34, 35] and inequivalent to the Mann-Ross prescription[36, 37, 38]. In general, metric solutions with zero determinant have been investigated as a potential resolution to curvature singularities and dark matter problems, which are serious challenges to General Relativity. Similarly, a degenerate extension to the Reissner-Nordström metric has been explored in [39, 40], which resolves the problem of curvature singularity and provides a natural geometric interpretation of electric and magnetic charges.

In this work, we study the propagation of a massless scalar wave in the background of dEGB black holes and compute the corresponding quasinormal modes (QNMs). For specific choices of parameters in the dEGB case, the scalar wave QNMs are compared with that of the GR black holes. Such a study highlights the dependence of the QNMs on the underlying theory of gravity. Also, it is known that the solutions in higher-dimensional Einstein-Gauss-Bonnet theories in the metric formulation are plagued with instability occurring at higher multipole numbers[41, 42, 43, 44, 45, 46, 47, 48, 49, 50]. One wonders if these solutions to degenerate EGB theory are also plagued with similar issues. Hence, this study becomes particularly pertinent as the initial step in probing any possible instabilities of the solutions in this unique dEGB theory. We also note that the 4D EGB black hole metric, whose QNMs and shadow have been studied in [1], matches exactly to one of the spacetimes we encounter in our work (see Sec.4.2). The QNMs computed for this subclass of the solution match well with the values quoted in [1] as shown in Appendix B .

Lately, quasinormal modes of various compact objects have been the focus of research in multiple works where they are used to distinguish different geometries and also to identify the black hole mimicking nature of various compact objects [51, 52, 53, 54, 55, 56, 57]. Such studies are especially relevant in the era of gravitational wave detections as QNMs play a crucial role in commenting on the stability of spacetime, the estimation of parameters of the remnant and also determining the underlying theory of gravity [58, 59, 60]. On the other hand, in the context of GW data analysis, computing QNMs in alternative theories of gravity [61, 62, 63, 50, 64, 65, 66, 67] is crucial for formulating ringdown tests of GR [68, 69, 70, 71, 72, 73]. These tests help constrain the possible GR violations by estimating the difference of QNMs between GR and the other theories of gravity using the ringdown signal of a binary merger event. Some works have also shown the possible detection of multi-mode ringdown signals to be a unique test of the black hole nature of the remnant formed from coalescence [74, 75]. The future generation detectors with their enhanced sensitivity will be an ideal ground for implementing these tests, highlighting the relevance of our study [76, 77, 78]. Therefore, comparing the observational signatures, such as ringdown behaviour and QNMs of the black hole solutions in dEGB theory with that of GR is highly relevant in the era of gravitational wave detections.

The structure of our work is as follows. In Section II, we provide a concise description of the underlying gravity theory along with its static spherically symmetric solutions, which are the focus of our study. Section III discusses the classification of these spacetimes and their properties. Section IV delves into the computation of QNMs of scalar wave propagating in dEGB spacetimes . We conclude this paper with a summary of the results obtained and a brief perspective on the future extensions of this work in the final Section V. The main results of our work are summarized in the form of two tables; Table 1 discusses the classification of spacetimes and Table 5 shows the dependence of QNMs on metric parameters (κ,Q2𝜅superscript𝑄2\kappa,Q^{2}italic_κ , italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT) of our theory.

2 Revisiting the Degenerate EGB theory

We begin by summarizing the main results of [31], which formulates the framework of degenerate EGB gravity. Understanding this theory of gravity is crucial before analyzing the properties and stability of its static spherically symmetric solutions. We begin with the action for the degenerate EGB gravity of the form

(e^,ω^)=𝑑x5ϵμναβγϵIJKLM[α2R^μνIJ(ω^)R^αβKL(ω^)e^γM+ζ2R^μνIJ(ω^)e^αKe^βLe^γM+β5e^μIe^νJe^αKe^βLe^γM]^𝑒^𝜔differential-dsuperscript𝑥5superscriptitalic-ϵ𝜇𝜈𝛼𝛽𝛾subscriptitalic-ϵ𝐼𝐽𝐾𝐿𝑀delimited-[]𝛼2superscriptsubscript^𝑅𝜇𝜈𝐼𝐽^𝜔superscriptsubscript^𝑅𝛼𝛽𝐾𝐿^𝜔superscriptsubscript^𝑒𝛾𝑀𝜁2superscriptsubscript^𝑅𝜇𝜈𝐼𝐽^𝜔subscriptsuperscript^𝑒𝐾𝛼subscriptsuperscript^𝑒𝐿𝛽superscriptsubscript^𝑒𝛾𝑀𝛽5subscriptsuperscript^𝑒𝐼𝜇subscriptsuperscript^𝑒𝐽𝜈subscriptsuperscript^𝑒𝐾𝛼subscriptsuperscript^𝑒𝐿𝛽subscriptsuperscript^𝑒𝑀𝛾\mathcal{L}(\hat{e},\hat{\omega})=\int dx^{5}\epsilon^{\mu\nu\alpha\beta\gamma% }\epsilon_{IJKLM}\left[\frac{\alpha}{2}\hat{R}_{\mu\nu}^{IJ}(\hat{\omega})\hat% {R}_{\alpha\beta}^{KL}(\hat{\omega})\hat{e}_{\gamma}^{M}+\frac{\zeta}{2}\hat{R% }_{\mu\nu}^{IJ}(\hat{\omega})\hat{e}^{K}_{\alpha}\hat{e}^{L}_{\beta}\hat{e}_{% \gamma}^{M}+\frac{\beta}{5}\hat{e}^{I}_{\mu}\hat{e}^{J}_{\nu}\hat{e}^{K}_{% \alpha}\hat{e}^{L}_{\beta}\hat{e}^{M}_{\gamma}\right]caligraphic_L ( over^ start_ARG italic_e end_ARG , over^ start_ARG italic_ω end_ARG ) = ∫ italic_d italic_x start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_α italic_β italic_γ end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_I italic_J italic_K italic_L italic_M end_POSTSUBSCRIPT [ divide start_ARG italic_α end_ARG start_ARG 2 end_ARG over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT ( over^ start_ARG italic_ω end_ARG ) over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K italic_L end_POSTSUPERSCRIPT ( over^ start_ARG italic_ω end_ARG ) over^ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT + divide start_ARG italic_ζ end_ARG start_ARG 2 end_ARG over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT ( over^ start_ARG italic_ω end_ARG ) over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT + divide start_ARG italic_β end_ARG start_ARG 5 end_ARG over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ] (2.1)

where the independent fields are the vielbein e^μIsubscriptsuperscript^𝑒𝐼𝜇\hat{e}^{I}_{\mu}over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT and ω^μIJ(μ[t,x,y,z,υ],I[0,1,2,3,4])subscriptsuperscript^𝜔𝐼𝐽𝜇formulae-sequence𝜇𝑡𝑥𝑦𝑧𝜐𝐼01234\hat{\omega}^{IJ}_{\mu}(\mu\equiv\left[t,x,y,z,\upsilon\right],I\equiv\left[0,% 1,2,3,4\right])over^ start_ARG italic_ω end_ARG start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_μ ≡ [ italic_t , italic_x , italic_y , italic_z , italic_υ ] , italic_I ≡ [ 0 , 1 , 2 , 3 , 4 ] ) are the super-connection. The parameters α,ζ,β𝛼𝜁𝛽\alpha,\zeta,\betaitalic_α , italic_ζ , italic_β correspond to the Gauss-Bonnet coupling, gravitational coupling, and the bare cosmological constant, respectively. Varying the action with respect to these independent fields leads to the following equations of motion

ϵμναβγϵIJKLM[αR^μνIJ(ω^)+ζe^μIe^νJ]D^α(ω^)e^βK=0ϵμναβγϵIJKLM[α2R^μνIJ(ω^)R^αβKL(ω^)+ζR^μνIJ(ω^)e^αKe^βL+βe^μIe^νJe^αKe^βL]=0superscriptitalic-ϵ𝜇𝜈𝛼𝛽𝛾subscriptitalic-ϵ𝐼𝐽𝐾𝐿𝑀delimited-[]𝛼superscriptsubscript^𝑅𝜇𝜈𝐼𝐽^𝜔𝜁subscriptsuperscript^𝑒𝐼𝜇superscriptsubscript^𝑒𝜈𝐽subscript^𝐷𝛼^𝜔superscriptsubscript^𝑒𝛽𝐾0superscriptitalic-ϵ𝜇𝜈𝛼𝛽𝛾subscriptitalic-ϵ𝐼𝐽𝐾𝐿𝑀delimited-[]𝛼2superscriptsubscript^𝑅𝜇𝜈𝐼𝐽^𝜔superscriptsubscript^𝑅𝛼𝛽𝐾𝐿^𝜔𝜁superscriptsubscript^𝑅𝜇𝜈𝐼𝐽^𝜔subscriptsuperscript^𝑒𝐾𝛼subscriptsuperscript^𝑒𝐿𝛽𝛽subscriptsuperscript^𝑒𝐼𝜇subscriptsuperscript^𝑒𝐽𝜈subscriptsuperscript^𝑒𝐾𝛼subscriptsuperscript^𝑒𝐿𝛽0\displaystyle\begin{split}&\epsilon^{\mu\nu\alpha\beta\gamma}\epsilon_{IJKLM}% \left[\alpha\hat{R}_{\mu\nu}^{IJ}(\hat{\omega})+\zeta\hat{e}^{I}_{\mu}\hat{e}_% {\nu}^{J}\right]\hat{D}_{\alpha}(\hat{\omega})\hat{e}_{\beta}^{K}=0\\ &\epsilon^{\mu\nu\alpha\beta\gamma}\epsilon_{IJKLM}\left[\frac{\alpha}{2}\hat{% R}_{\mu\nu}^{IJ}(\hat{\omega})\hat{R}_{\alpha\beta}^{KL}(\hat{\omega})+\zeta% \hat{R}_{\mu\nu}^{IJ}(\hat{\omega})\hat{e}^{K}_{\alpha}\hat{e}^{L}_{\beta}+% \beta\hat{e}^{I}_{\mu}\hat{e}^{J}_{\nu}\hat{e}^{K}_{\alpha}\hat{e}^{L}_{\beta}% \right]=0\end{split}start_ROW start_CELL end_CELL start_CELL italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_α italic_β italic_γ end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_I italic_J italic_K italic_L italic_M end_POSTSUBSCRIPT [ italic_α over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT ( over^ start_ARG italic_ω end_ARG ) + italic_ζ over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT ] over^ start_ARG italic_D end_ARG start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( over^ start_ARG italic_ω end_ARG ) over^ start_ARG italic_e end_ARG start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT = 0 end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_α italic_β italic_γ end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_I italic_J italic_K italic_L italic_M end_POSTSUBSCRIPT [ divide start_ARG italic_α end_ARG start_ARG 2 end_ARG over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT ( over^ start_ARG italic_ω end_ARG ) over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K italic_L end_POSTSUPERSCRIPT ( over^ start_ARG italic_ω end_ARG ) + italic_ζ over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT ( over^ start_ARG italic_ω end_ARG ) over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT + italic_β over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_J end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ] = 0 end_CELL end_ROW (2.2)

where D^α(ω^)subscript^𝐷𝛼^𝜔\hat{D}_{\alpha}(\hat{\omega})over^ start_ARG italic_D end_ARG start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( over^ start_ARG italic_ω end_ARG ) represents the gauge-covariant derivative with respect to the super-connections ω^μIJsuperscriptsubscript^𝜔𝜇𝐼𝐽\hat{\omega}_{\mu}^{IJ}over^ start_ARG italic_ω end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT. The Bianchi identity D^[μR^να]IJ(ω^)=0\hat{D}_{\left[\mu\right.}\hat{R}_{\left.\nu\alpha\right]}^{IJ}(\hat{\omega})=0over^ start_ARG italic_D end_ARG start_POSTSUBSCRIPT [ italic_μ end_POSTSUBSCRIPT over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_ν italic_α ] end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_I italic_J end_POSTSUPERSCRIPT ( over^ start_ARG italic_ω end_ARG ) = 0 is also utilized to simplify the equations of motions and obtain them in the form stated above (eq.(2.2)).

Now we restrict our analysis to the vielbeins whose determinant is zero. For this case, without the loss of generality, we can assume an ansatz such that the zero eigenvalue of the vielbein e^μIsubscriptsuperscript^𝑒𝐼𝜇\hat{e}^{I}_{\mu}over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT lies along the fifth direction (υ)𝜐(\upsilon)( italic_υ ) which can be written as

e^υI=0e^μI=[e^aieai000]subscriptsuperscript^𝑒𝐼𝜐0subscriptsuperscript^𝑒𝐼𝜇matrixsubscriptsuperscript^𝑒𝑖𝑎subscriptsuperscript𝑒𝑖𝑎000\displaystyle\begin{split}\hat{e}^{I}_{\upsilon}&=0\\ \hat{e}^{I}_{\mu}&=\begin{bmatrix}\hat{e}^{i}_{a}\equiv e^{i}_{a}&0\\ 0&0\end{bmatrix}\end{split}start_ROW start_CELL over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_υ end_POSTSUBSCRIPT end_CELL start_CELL = 0 end_CELL end_ROW start_ROW start_CELL over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_CELL start_CELL = [ start_ARG start_ROW start_CELL over^ start_ARG italic_e end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ≡ italic_e start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW end_ARG ] end_CELL end_ROW (2.3)

where we have used the notation of μ(a,υ)(t,x,y,z,υ)𝜇𝑎𝜐𝑡𝑥𝑦𝑧𝜐\mu\equiv(a,\upsilon)\equiv(t,x,y,z,\upsilon)italic_μ ≡ ( italic_a , italic_υ ) ≡ ( italic_t , italic_x , italic_y , italic_z , italic_υ ) and I(i,4)(0,1,2,3,4)𝐼𝑖401234I\equiv(i,4)\equiv(0,1,2,3,4)italic_I ≡ ( italic_i , 4 ) ≡ ( 0 , 1 , 2 , 3 , 4 ).

Using the ansatz (2.3) in equations of motion (2.2) leads to the following results:

  • An effective four-dimensional spacetime can be defined using the tetrads eaisubscriptsuperscript𝑒𝑖𝑎e^{i}_{a}italic_e start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT, which are invertible, unlike the five vielbein.

  • The emergent four-dimensional spin connections satisfy the zero torsion condition.

  • All emergent four-dimensional fields are independent of the fifth dimension, and any such dependence is a gauge artefact.

  • Finally, the only remaining unsolved component of the field equations is

    ϵabcdϵijkl[ϕβR¯abijeckedl+α2R¯abijR¯cdkl+ξeaiebjeckedl]=0superscriptitalic-ϵ𝑎𝑏𝑐𝑑subscriptitalic-ϵ𝑖𝑗𝑘𝑙delimited-[]italic-ϕ𝛽superscriptsubscript¯𝑅𝑎𝑏𝑖𝑗subscriptsuperscript𝑒𝑘𝑐subscriptsuperscript𝑒𝑙𝑑𝛼2superscriptsubscript¯𝑅𝑎𝑏𝑖𝑗superscriptsubscript¯𝑅𝑐𝑑𝑘𝑙𝜉subscriptsuperscript𝑒𝑖𝑎subscriptsuperscript𝑒𝑗𝑏subscriptsuperscript𝑒𝑘𝑐subscriptsuperscript𝑒𝑙𝑑0\epsilon^{abcd}\epsilon_{ijkl}\left[\phi\beta\bar{R}_{ab}^{ij}e^{k}_{c}e^{l}_{% d}+\frac{\alpha}{2}\bar{R}_{ab}^{ij}\bar{R}_{cd}^{kl}+\xi e^{i}_{a}e^{j}_{b}e^% {k}_{c}e^{l}_{d}\right]=0italic_ϵ start_POSTSUPERSCRIPT italic_a italic_b italic_c italic_d end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k italic_l end_POSTSUBSCRIPT [ italic_ϕ italic_β over¯ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT + divide start_ARG italic_α end_ARG start_ARG 2 end_ARG over¯ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT over¯ start_ARG italic_R end_ARG start_POSTSUBSCRIPT italic_c italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k italic_l end_POSTSUPERSCRIPT + italic_ξ italic_e start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ] = 0 (2.4)

where R¯abijsubscriptsuperscript¯𝑅𝑖𝑗𝑎𝑏\bar{R}^{ij}_{ab}over¯ start_ARG italic_R end_ARG start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT is the four dimensional torsion-free field strength tensor. Further details and analysis of these results can be found in [31].

2.1 Static spherically symmetric solutions

In order to obtain a static spherically symmetric solution to the field equation (2.4), we consider the ansatz

ds2=eμ(r)dt2+dr2eμ(r)+r2dΩ2𝑑superscript𝑠2superscript𝑒𝜇𝑟𝑑superscript𝑡2𝑑superscript𝑟2superscript𝑒𝜇𝑟superscript𝑟2𝑑superscriptΩ2ds^{2}=-e^{\mu(r)}dt^{2}+\frac{dr^{2}}{e^{\mu(r)}}+r^{2}d\Omega^{2}italic_d italic_s start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - italic_e start_POSTSUPERSCRIPT italic_μ ( italic_r ) end_POSTSUPERSCRIPT italic_d italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_d italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_μ ( italic_r ) end_POSTSUPERSCRIPT end_ARG + italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d roman_Ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (2.5)

which can be substituted into eq.(2.4) to obtain the functional form of eμ(r)superscript𝑒𝜇𝑟e^{\mu(r)}italic_e start_POSTSUPERSCRIPT italic_μ ( italic_r ) end_POSTSUPERSCRIPT

eμ=1+ϕ2αr2±12[(ϕ2α22χα)r4+4C1r4C2α]12superscript𝑒𝜇plus-or-minus1italic-ϕ2𝛼superscript𝑟212superscriptdelimited-[]superscriptitalic-ϕ2superscript𝛼22𝜒𝛼superscript𝑟44subscript𝐶1𝑟4subscript𝐶2𝛼12e^{\mu}=1+\frac{\phi}{2\alpha}r^{2}\pm\frac{1}{2}\left[\left(\frac{\phi^{2}}{% \alpha^{2}}-\frac{2\chi}{\alpha}\right)r^{4}+4C_{1}r-\frac{4C_{2}}{\alpha}% \right]^{\frac{1}{2}}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_ϕ end_ARG start_ARG 2 italic_α end_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ± divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ ( divide start_ARG italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_χ end_ARG start_ARG italic_α end_ARG ) italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_r - divide start_ARG 4 italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_α end_ARG ] start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT (2.6)

where α𝛼\alphaitalic_α is the Gauss-Bonnet coupling and ϕitalic-ϕ\phiitalic_ϕ222The parameter of the theory should not be confused with the azimuthal angle ϕitalic-ϕ\phiitalic_ϕ appearing in the metric,χ𝜒\chiitalic_χ are the theory’s parameters, and C1subscript𝐶1C_{1}italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and C2subscript𝐶2C_{2}italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are the constants of integration. The above metric component asymptotically reduces to the form

eμ1Λeff3±(2MeffrQeff2r2)superscript𝑒𝜇plus-or-minus1subscriptΛ𝑒𝑓𝑓32subscript𝑀𝑒𝑓𝑓𝑟superscriptsubscript𝑄𝑒𝑓𝑓2superscript𝑟2e^{\mu}\rightarrow 1-\frac{\Lambda_{eff}}{3}\pm\left(\frac{2M_{eff}}{r}-\frac{% Q_{eff}^{2}}{r^{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT → 1 - divide start_ARG roman_Λ start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG ± ( divide start_ARG 2 italic_M start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT end_ARG start_ARG italic_r end_ARG - divide start_ARG italic_Q start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) (2.7)

where we have identified the effective mass, charge and cosmological constant in terms of our metric parameters as,

Λeff=32(ϕα±ϕ2α22χα)subscriptΛ𝑒𝑓𝑓32plus-or-minusitalic-ϕ𝛼superscriptitalic-ϕ2superscript𝛼22𝜒𝛼\displaystyle\Lambda_{eff}=\frac{-3}{2}\left(\frac{\phi}{\alpha}\pm\sqrt{\frac% {\phi^{2}}{\alpha^{2}}-\frac{2\chi}{\alpha}}\right)roman_Λ start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT = divide start_ARG - 3 end_ARG start_ARG 2 end_ARG ( divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG ± square-root start_ARG divide start_ARG italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_χ end_ARG start_ARG italic_α end_ARG end_ARG ) (2.8)
2Meff=C1ϕ2α22χα2subscript𝑀𝑒𝑓𝑓subscript𝐶1superscriptitalic-ϕ2superscript𝛼22𝜒𝛼\displaystyle 2M_{eff}=\frac{C_{1}}{\sqrt{\frac{\phi^{2}}{\alpha^{2}}-\frac{2% \chi}{\alpha}}}2 italic_M start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT = divide start_ARG italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG divide start_ARG italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_χ end_ARG start_ARG italic_α end_ARG end_ARG end_ARG (2.9)
Qeff2=C2αϕ2α22χαsubscriptsuperscript𝑄2𝑒𝑓𝑓subscript𝐶2𝛼superscriptitalic-ϕ2superscript𝛼22𝜒𝛼\displaystyle Q^{2}_{eff}=\frac{C_{2}}{\alpha\sqrt{\frac{\phi^{2}}{\alpha^{2}}% -\frac{2\chi}{\alpha}}}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT = divide start_ARG italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_α square-root start_ARG divide start_ARG italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_χ end_ARG start_ARG italic_α end_ARG end_ARG end_ARG (2.10)

Imposing the conditions that effective mass is positive and the charge is real implies C1<0(C1>0)subscript𝐶10subscript𝐶10C_{1}<0(C_{1}>0)italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < 0 ( italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > 0 ) and C2<0(C2>0)subscript𝐶20subscript𝐶20C_{2}<0(C_{2}>0)italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < 0 ( italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT > 0 ) for the +()+(-)+ ( - ) branches respectively. We would also like to emphasise that Qeffsubscript𝑄𝑒𝑓𝑓Q_{eff}italic_Q start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT of our theory is inequivalent to the charge originating from Maxwell Electrodynamics, as is evident from the absence of any matter fields in our action. Qeffsubscript𝑄𝑒𝑓𝑓Q_{eff}italic_Q start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT is geometric in origin and in spirit similar to what has been explored in [79, 80]. Similar constructions of electric and magnetic charges in degenerate spacetimes have been explored in [39, 40] where the origin of such charges was demonstrated to be associated with topological invariants. We will drop the subscript eff from the effective ‘asymptotic’ parameters Λeff,Qeff,MeffsubscriptΛ𝑒𝑓𝑓subscript𝑄𝑒𝑓𝑓subscript𝑀𝑒𝑓𝑓\Lambda_{eff},Q_{eff},M_{eff}roman_Λ start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT , italic_Q start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT for brevity for the rest of the paper.

In the next section, we will focus on the asymptotically flat spacetimes in the dEGB theory and discuss their properties.

3 Classification of solutions: with and without geometric charge

3.1 Solution without geometric charge: Positive branch

Let us start our analysis by examining the positive branch of the solutions (eq.(2.6)) given by

eμ=1+ϕ2αr2+12[(ϕ2α22χα)r4+4C1r4C2α]12superscript𝑒𝜇1italic-ϕ2𝛼superscript𝑟212superscriptdelimited-[]superscriptitalic-ϕ2superscript𝛼22𝜒𝛼superscript𝑟44subscript𝐶1𝑟4subscript𝐶2𝛼12e^{\mu}=1+\frac{\phi}{2\alpha}r^{2}+\frac{1}{2}\left[\left(\frac{\phi^{2}}{% \alpha^{2}}-\frac{2\chi}{\alpha}\right)r^{4}+4C_{1}r-\frac{4C_{2}}{\alpha}% \right]^{\frac{1}{2}}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_ϕ end_ARG start_ARG 2 italic_α end_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ ( divide start_ARG italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_χ end_ARG start_ARG italic_α end_ARG ) italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_r - divide start_ARG 4 italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_α end_ARG ] start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT (3.1)

The absence of geometric charge and asymptotic flatness would mean

C2=0subscript𝐶20\displaystyle C_{2}=0italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0
Λ=0χα=0;ϕα<0formulae-sequenceΛ0𝜒𝛼0italic-ϕ𝛼0\displaystyle\Lambda=0\implies\frac{\chi}{\alpha}=0;\quad\frac{\phi}{\alpha}<0roman_Λ = 0 ⟹ divide start_ARG italic_χ end_ARG start_ARG italic_α end_ARG = 0 ; divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG < 0
C1=2M|ϕα|subscript𝐶12𝑀italic-ϕ𝛼\displaystyle C_{1}=-2M\Big{|}\frac{\phi}{\alpha}\Big{|}italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - 2 italic_M | divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG |

implementing which the metric for the positive branch can be recast as

eμ=1r22κ(1(18Mκr3)12)superscript𝑒𝜇1superscript𝑟22𝜅1superscript18𝑀𝜅superscript𝑟312e^{\mu}=1-\frac{r^{2}}{2\kappa}\left(1-\left(1-\frac{8M\kappa}{r^{3}}\right)^{% \frac{1}{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 - ( 1 - divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ) (3.2)

with the redefinition |αϕ|=κ>0𝛼italic-ϕ𝜅0|\frac{\alpha}{\phi}|=\kappa>0| divide start_ARG italic_α end_ARG start_ARG italic_ϕ end_ARG | = italic_κ > 0. This is the form of the metric which will be used in subsequent calculations in this section.

From eq.(3.2), it is evident that the radial coordinate is constrained to the range (8Mκ)13<r<superscript8𝑀𝜅13𝑟(8M\kappa)^{\frac{1}{3}}<r<\infty( 8 italic_M italic_κ ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT < italic_r < ∞, beyond which the metric component becomes imaginary. The strictly greater limit imposed is justified by examining the exact expression of the Ricci scalar

R=120κ2M2+κMr3(724818κMr3)+r6(618κMr36)κr3(r38κM)18κMr3𝑅120superscript𝜅2superscript𝑀2𝜅𝑀superscript𝑟3724818𝜅𝑀superscript𝑟3superscript𝑟6618𝜅𝑀superscript𝑟36𝜅superscript𝑟3superscript𝑟38𝜅𝑀18𝜅𝑀superscript𝑟3R=\frac{-120\kappa^{2}M^{2}+\kappa Mr^{3}\left(72-48\sqrt{1-\frac{8\kappa M}{r% ^{3}}}\right)+r^{6}\left(6\sqrt{1-\frac{8\kappa M}{r^{3}}}-6\right)}{\kappa r^% {3}\left(r^{3}-8\kappa M\right)\sqrt{1-\frac{8\kappa M}{r^{3}}}}italic_R = divide start_ARG - 120 italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ italic_M italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( 72 - 48 square-root start_ARG 1 - divide start_ARG 8 italic_κ italic_M end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG end_ARG ) + italic_r start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT ( 6 square-root start_ARG 1 - divide start_ARG 8 italic_κ italic_M end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG end_ARG - 6 ) end_ARG start_ARG italic_κ italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - 8 italic_κ italic_M ) square-root start_ARG 1 - divide start_ARG 8 italic_κ italic_M end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG end_ARG end_ARG (3.3)

From the above expression, it is evident that there is a curvature singularity at r=rmin=(8Mκ)13𝑟subscript𝑟𝑚𝑖𝑛superscript8𝑀𝜅13r=r_{min}=(8M\kappa)^{\frac{1}{3}}italic_r = italic_r start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT = ( 8 italic_M italic_κ ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT. To determine the position of the horizon or the infinite redshift surface for this metric we solve,

eμ=0r22k(18Mκr3)12=1r22κsuperscript𝑒𝜇0superscript𝑟22𝑘superscript18𝑀𝜅superscript𝑟3121superscript𝑟22𝜅\displaystyle e^{\mu}=0\implies-\frac{r^{2}}{2k}\left(1-\frac{8M\kappa}{r^{3}}% \right)^{\frac{1}{2}}=1-\frac{r^{2}}{2\kappa}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 0 ⟹ - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_k end_ARG ( 1 - divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG (3.4)

Squaring both sides of eq.(3.4) reduces it to a quadratic polynomial equation of the form

r22Mrκ=0superscript𝑟22𝑀𝑟𝜅0r^{2}-2Mr-\kappa=0italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_M italic_r - italic_κ = 0 (3.5)

having solutions

r±=M±M2+κsubscript𝑟plus-or-minusplus-or-minus𝑀superscript𝑀2𝜅r_{\pm}=M\pm\sqrt{M^{2}+\kappa}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_M ± square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ end_ARG (3.6)

Only the r+subscript𝑟r_{+}italic_r start_POSTSUBSCRIPT + end_POSTSUBSCRIPT is admissible of the two roots as rsubscript𝑟r_{-}italic_r start_POSTSUBSCRIPT - end_POSTSUBSCRIPT leads to negative radial values for κ>0𝜅0\kappa>0italic_κ > 0. However, note that the above solutions correspond to the squared equation, which may or may not satisfy the original equation in eq.(3.4).

Let us further analyse the eq.(3.4) at the horizon r=rh𝑟subscript𝑟r=r_{h}italic_r = italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT,

rh22k(18Mκrh3)12=1rh22κsuperscriptsubscript𝑟22𝑘superscript18𝑀𝜅superscriptsubscript𝑟3121superscriptsubscript𝑟22𝜅-\frac{r_{h}^{2}}{2k}\left(1-\frac{8M\kappa}{r_{h}^{3}}\right)^{\frac{1}{2}}=1% -\frac{r_{h}^{2}}{2\kappa}- divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_k end_ARG ( 1 - divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG (3.7)

Since κ>0𝜅0\kappa>0italic_κ > 0 and the square root term gives only a positive value, the LHS is always negative. Hence the above equation is only satisfied if

1rh22κ=κ2M22MM2+κ2κ01superscriptsubscript𝑟22𝜅𝜅2superscript𝑀22𝑀superscript𝑀2𝜅2𝜅01-\frac{r_{h}^{2}}{2\kappa}=\frac{\kappa-2M^{2}-2M\sqrt{M^{2}+\kappa}}{2\kappa% }\leq 01 - divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG = divide start_ARG italic_κ - 2 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_M square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ end_ARG end_ARG start_ARG 2 italic_κ end_ARG ≤ 0 (3.8)

with rhsubscript𝑟r_{h}italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT expressed in terms of κ𝜅\kappaitalic_κ and giving

κ2M22MM2+κ0𝜅2superscript𝑀22𝑀superscript𝑀2𝜅0\kappa-2M^{2}-2M\sqrt{M^{2}+\kappa}\leq 0italic_κ - 2 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_M square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ end_ARG ≤ 0 (3.9)

The above inequality is satisfied for κ8M2𝜅8superscript𝑀2\kappa\leq 8M^{2}italic_κ ≤ 8 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, where the equality is achived at κ=8M2𝜅8superscript𝑀2\kappa=8M^{2}italic_κ = 8 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Beyond this range of κ𝜅\kappaitalic_κ the inequality is violated and there are no horizons. Note that for κ=8M2𝜅8superscript𝑀2\kappa=8M^{2}italic_κ = 8 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, the event horizon coincides with the curvature singularity, forming a naked singularity. We will focus on cases with κ<8M2𝜅8superscript𝑀2\kappa<8M^{2}italic_κ < 8 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT to only study the black hole solutions.

3.2 Solution without geometric charge: Negative branch

We now focus on the solution which has the negative sign in eq.(2.6), corresponding to the negative branch having the form

eμ=1+ϕ2αr212[(ϕ2α22χα)r4+4C1r4C2α]12superscript𝑒𝜇1italic-ϕ2𝛼superscript𝑟212superscriptdelimited-[]superscriptitalic-ϕ2superscript𝛼22𝜒𝛼superscript𝑟44subscript𝐶1𝑟4subscript𝐶2𝛼12e^{\mu}=1+\frac{\phi}{2\alpha}r^{2}-\frac{1}{2}\left[\left(\frac{\phi^{2}}{% \alpha^{2}}-\frac{2\chi}{\alpha}\right)r^{4}+4C_{1}r-\frac{4C_{2}}{\alpha}% \right]^{\frac{1}{2}}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_ϕ end_ARG start_ARG 2 italic_α end_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ ( divide start_ARG italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_χ end_ARG start_ARG italic_α end_ARG ) italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_r - divide start_ARG 4 italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_α end_ARG ] start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT (3.10)

As with the previous case, we impose the conditions of asymptotic flatness and zero geometric charge which, for the negative branch, are given by

C2=subscript𝐶2absent\displaystyle C_{2}=italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT =  0 0\displaystyle\,0
Λ=Λabsent\displaystyle\Lambda=roman_Λ = 0χα=0;ϕα>0formulae-sequence0𝜒𝛼0italic-ϕ𝛼0\displaystyle 0\implies\frac{\chi}{\alpha}=0;\quad\frac{\phi}{\alpha}>00 ⟹ divide start_ARG italic_χ end_ARG start_ARG italic_α end_ARG = 0 ; divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG > 0
C1=subscript𝐶1absent\displaystyle C_{1}=italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT =  2Mϕα2𝑀italic-ϕ𝛼\displaystyle\,2M\frac{\phi}{\alpha}2 italic_M divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG

Implementing the above conditions along with the parameter κ=αϕ>0𝜅𝛼italic-ϕ0\kappa=\frac{\alpha}{\phi}>0italic_κ = divide start_ARG italic_α end_ARG start_ARG italic_ϕ end_ARG > 0 in the negative branch, the metric function becomes

eμ=1+r22κ(1(1+8Mκr3)12)superscript𝑒𝜇1superscript𝑟22𝜅1superscript18𝑀𝜅superscript𝑟312e^{\mu}=1+\frac{r^{2}}{2\kappa}\left(1-\left(1+\frac{8M\kappa}{r^{3}}\right)^{% \frac{1}{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 - ( 1 + divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ) (3.11)

We will use the above form of the metric function for the rest of the calculations in this section. Note that this solution matches the metric explored in [14], with the identification of κ𝜅\kappaitalic_κ to the GB coupling in [14]. However, the range of κ𝜅\kappaitalic_κ does not match the range of GB coupling in [14] due to the conditions on the constraints being unrelated. We believe this correspondence is coincidental, as these solutions do not match in presence of a cosmological constant. For completeness, we proceed with our analysis of the metric properties and in the later sections will explore their corresponding QNMs associated with scalar wave propagation.

The Ricci scalar for this case has a form

R=120κ2M2+κMr3(72488κMr3+1)+r6(668κMr3+1)κr3(8κM+r3)8κMr3+1𝑅120superscript𝜅2superscript𝑀2𝜅𝑀superscript𝑟372488𝜅𝑀superscript𝑟31superscript𝑟6668𝜅𝑀superscript𝑟31𝜅superscript𝑟38𝜅𝑀superscript𝑟38𝜅𝑀superscript𝑟31R=\frac{120\kappa^{2}M^{2}+\kappa Mr^{3}\left(72-48\sqrt{\frac{8\kappa M}{r^{3% }}+1}\right)+r^{6}\left(6-6\sqrt{\frac{8\kappa M}{r^{3}}+1}\right)}{\kappa r^{% 3}\left(8\kappa M+r^{3}\right)\sqrt{\frac{8\kappa M}{r^{3}}+1}}italic_R = divide start_ARG 120 italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ italic_M italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( 72 - 48 square-root start_ARG divide start_ARG 8 italic_κ italic_M end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + 1 end_ARG ) + italic_r start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT ( 6 - 6 square-root start_ARG divide start_ARG 8 italic_κ italic_M end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + 1 end_ARG ) end_ARG start_ARG italic_κ italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( 8 italic_κ italic_M + italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) square-root start_ARG divide start_ARG 8 italic_κ italic_M end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + 1 end_ARG end_ARG (3.12)

which, unlike the positive branch, is singular only at r=0𝑟0r=0italic_r = 0. Hence the range of radial coordinate is unobstructed, and r𝑟ritalic_r takes the values from 0<r<0𝑟0<r<\infty0 < italic_r < ∞. After finding the position of singularity, we move on to check the presence of horizons by solving

eμ=01+r22κ=r22κ(1+8Mκr3)12superscript𝑒𝜇01superscript𝑟22𝜅superscript𝑟22𝜅superscript18𝑀𝜅superscript𝑟312\displaystyle e^{\mu}=0\implies 1+\frac{r^{2}}{2\kappa}=\frac{r^{2}}{2\kappa}% \left(1+\frac{8M\kappa}{r^{3}}\right)^{\frac{1}{2}}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 0 ⟹ 1 + divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG = divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 + divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT (3.13)

Squaring both sides gives the horizon at

r±=M±M2κsubscript𝑟plus-or-minusplus-or-minus𝑀superscript𝑀2𝜅r_{\pm}=M\pm\sqrt{M^{2}-\kappa}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_M ± square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ end_ARG (3.14)

Since M2κ<Msuperscript𝑀2𝜅𝑀\sqrt{M^{2}-\kappa}<Msquare-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ end_ARG < italic_M, we have two horizons corresponding to the two solutions. κ=M2𝜅superscript𝑀2\kappa=M^{2}italic_κ = italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT results in an extremal case where both the horizons merge, producing a black hole solution with a single horizon. Hence for the negative branch, the allowed range of parameter κ𝜅\kappaitalic_κ is 0<κM20𝜅superscript𝑀20<\kappa\leq M^{2}0 < italic_κ ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Note that unlike the positive branch for the range r>0𝑟0r>0italic_r > 0, the LHS and RHS of (3.13) are always positive; hence all the values of κ𝜅\kappaitalic_κ in the range 0<κM20𝜅superscript𝑀20<\kappa\leq M^{2}0 < italic_κ ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT are valid solutions.

3.3 Charged static spherically symmetric solution: Positive branch

We will now deal with the solutions having a non-zero geometric charge Q𝑄Qitalic_Q. Starting with the positive branch, we have the metric of the form

eμ=1+ϕ2αr2+12[(ϕ2α22χα)r4+4C1r4C2α]12superscript𝑒𝜇1italic-ϕ2𝛼superscript𝑟212superscriptdelimited-[]superscriptitalic-ϕ2superscript𝛼22𝜒𝛼superscript𝑟44subscript𝐶1𝑟4subscript𝐶2𝛼12e^{\mu}=1+\frac{\phi}{2\alpha}r^{2}+\frac{1}{2}\left[\left(\frac{\phi^{2}}{% \alpha^{2}}-\frac{2\chi}{\alpha}\right)r^{4}+4C_{1}r-\frac{4C_{2}}{\alpha}% \right]^{\frac{1}{2}}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_ϕ end_ARG start_ARG 2 italic_α end_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ ( divide start_ARG italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_χ end_ARG start_ARG italic_α end_ARG ) italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_r - divide start_ARG 4 italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_α end_ARG ] start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT (3.15)

Similar to the cases without geometric charge, we impose the asymptotic flatness giving rise to conditions

Λ=0χα=0;ϕα<0formulae-sequenceΛ0𝜒𝛼0italic-ϕ𝛼0\displaystyle\Lambda=0\implies\frac{\chi}{\alpha}=0;\quad\frac{\phi}{\alpha}<0roman_Λ = 0 ⟹ divide start_ARG italic_χ end_ARG start_ARG italic_α end_ARG = 0 ; divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG < 0
C2α=Q2|ϕα|subscript𝐶2𝛼superscript𝑄2italic-ϕ𝛼\displaystyle\frac{C_{2}}{\alpha}=-Q^{2}|\frac{\phi}{\alpha}\Big{|}divide start_ARG italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_α end_ARG = - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG |
C1=2M|ϕα|subscript𝐶12𝑀italic-ϕ𝛼\displaystyle C_{1}=-2M\Big{|}\frac{\phi}{\alpha}\Big{|}italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - 2 italic_M | divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG |

which are used to recast the metric as,

eμ=1r22κ(1(18Mκr3+4Q2κr4)12)superscript𝑒𝜇1superscript𝑟22𝜅1superscript18𝑀𝜅superscript𝑟34superscript𝑄2𝜅superscript𝑟412e^{\mu}=1-\frac{r^{2}}{2\kappa}\left(1-\left(1-\frac{8M\kappa}{r^{3}}+\frac{4Q% ^{2}\kappa}{r^{4}}\right)^{\frac{1}{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 - ( 1 - divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 4 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ) (3.16)

with |αϕ|=κ>0𝛼italic-ϕ𝜅0|\frac{\alpha}{\phi}|=\kappa>0| divide start_ARG italic_α end_ARG start_ARG italic_ϕ end_ARG | = italic_κ > 0. This is the metric form that will be used in subsequent calculations involving the positive branch with non-zero Q𝑄Qitalic_Q.

The Ricci scalar for the above metric can be written as

R=F(r,M,Q,κ)κr8(8κMr+4κQ2+r4r4)3/2𝑅𝐹𝑟𝑀𝑄𝜅𝜅superscript𝑟8superscript8𝜅𝑀𝑟4𝜅superscript𝑄2superscript𝑟4superscript𝑟432R=\frac{F(r,M,Q,\kappa)}{\kappa r^{8}\left(\frac{-8\kappa Mr+4\kappa Q^{2}+r^{% 4}}{r^{4}}\right)^{3/2}}italic_R = divide start_ARG italic_F ( italic_r , italic_M , italic_Q , italic_κ ) end_ARG start_ARG italic_κ italic_r start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT ( divide start_ARG - 8 italic_κ italic_M italic_r + 4 italic_κ italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG (3.17)

where the exact form of F(r,M,Q)𝐹𝑟𝑀𝑄F(r,M,Q)italic_F ( italic_r , italic_M , italic_Q ) is not relevant for us since we focus only on the position of curvature singularity given by the roots of r48κMr+4κQ2=0superscript𝑟48𝜅𝑀𝑟4𝜅superscript𝑄20r^{4}-8\kappa Mr+4\kappa Q^{2}=0italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT - 8 italic_κ italic_M italic_r + 4 italic_κ italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0. This quartic equation has to be solved numerically for each value of (κ,M,Q)𝜅𝑀𝑄(\kappa,M,Q)( italic_κ , italic_M , italic_Q ) giving the position of curvature singularity and hence the allowed range of the radial coordinate.

Similar to the previous cases, the position of the horizon is determined by solving

eμ=0r22k(18Mκr3+4Q2κr4)12=1r22κsuperscript𝑒𝜇0superscript𝑟22𝑘superscript18𝑀𝜅superscript𝑟34superscript𝑄2𝜅superscript𝑟4121superscript𝑟22𝜅\displaystyle e^{\mu}=0\implies-\frac{r^{2}}{2k}\left(1-\frac{8M\kappa}{r^{3}}% +\frac{4Q^{2}\kappa}{r^{4}}\right)^{\frac{1}{2}}=1-\frac{r^{2}}{2\kappa}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 0 ⟹ - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_k end_ARG ( 1 - divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 4 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG (3.18)

which on squaring reduces to a quadratic equation

r22Mrκ+Q2=0superscript𝑟22𝑀𝑟𝜅superscript𝑄20r^{2}-2Mr-\kappa+Q^{2}=0italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_M italic_r - italic_κ + italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0 (3.19)

having solutions

r±=M±M2Q2+κsubscript𝑟plus-or-minusplus-or-minus𝑀superscript𝑀2superscript𝑄2𝜅r_{\pm}=M\pm\sqrt{M^{2}-Q^{2}+\kappa}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_M ± square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ end_ARG (3.20)

Depending on the value of κ𝜅\kappaitalic_κ and Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, the metric can have one or two positive roots and hence horizons, but in the context of QNMs (which is the focus of the current work), we are only interested in the outer horizon located at r=r+𝑟subscript𝑟r=r_{+}italic_r = italic_r start_POSTSUBSCRIPT + end_POSTSUBSCRIPT. Note that if we demand the presence of a horizon in spacetime, we get a constraint on the geometric charge

Q2M2+κsuperscript𝑄2superscript𝑀2𝜅Q^{2}\leq M^{2}+\kappaitalic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ (3.21)

Following the analysis done in the case without geometric charge, we determine if all the solutions given in eq.(3.20) actually satisfy the horizon condition of eq.(3.18).

At the horizon r=rh𝑟subscript𝑟r=r_{h}italic_r = italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT, eq.(3.18) becomes

rh22k(18Mκrh3+4κQ2r4)12=1rh22κsuperscriptsubscript𝑟22𝑘superscript18𝑀𝜅superscriptsubscript𝑟34𝜅superscript𝑄2superscript𝑟4121superscriptsubscript𝑟22𝜅-\frac{r_{h}^{2}}{2k}\left(1-\frac{8M\kappa}{r_{h}^{3}}+\frac{4\kappa Q^{2}}{r% ^{4}}\right)^{\frac{1}{2}}=1-\frac{r_{h}^{2}}{2\kappa}- divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_k end_ARG ( 1 - divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 4 italic_κ italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG (3.22)

The LHS of the above equation is always negative since κ>0𝜅0\kappa>0italic_κ > 0 and the term under square root gives only a positive value. Hence the equation is satisfied only if

1rh22κ=κ2M2+Q22MM2Q2+κ2κ01superscriptsubscript𝑟22𝜅𝜅2superscript𝑀2superscript𝑄22𝑀superscript𝑀2superscript𝑄2𝜅2𝜅01-\frac{r_{h}^{2}}{2\kappa}=\frac{\kappa-2M^{2}+Q^{2}-2M\sqrt{M^{2}-Q^{2}+% \kappa}}{2\kappa}\leq 01 - divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG = divide start_ARG italic_κ - 2 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_M square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ end_ARG end_ARG start_ARG 2 italic_κ end_ARG ≤ 0 (3.23)

with rhsubscript𝑟r_{h}italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT expressed in terms of κ𝜅\kappaitalic_κ, leading to the condition

κ2M2+Q22MM2Q2+κ0𝜅2superscript𝑀2superscript𝑄22𝑀superscript𝑀2superscript𝑄2𝜅0\kappa-2M^{2}+Q^{2}-2M\sqrt{M^{2}-Q^{2}+\kappa}\leq 0italic_κ - 2 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_M square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ end_ARG ≤ 0 (3.24)

The above inequality is satisfied for 0<κ12M20𝜅12superscript𝑀20<\kappa\leq\frac{1}{2}M^{2}0 < italic_κ ≤ divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT provided the charge is constrained as suggested in eq.(3.21). However, for κ12M2𝜅12superscript𝑀2\kappa\geq\frac{1}{2}M^{2}italic_κ ≥ divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, we get additional condition on charge given by

Q222κM2κM2+κsuperscript𝑄222𝜅superscript𝑀2𝜅superscript𝑀2𝜅Q^{2}\leq 2\sqrt{2\kappa M^{2}}-\kappa\leq M^{2}+\kappaitalic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ 2 square-root start_ARG 2 italic_κ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - italic_κ ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ (3.25)

In Fig.1, we show the allowed range of metric parameters in the parameter space of (Q2,κ)superscript𝑄2𝜅(Q^{2},\kappa)( italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_κ ). The shaded region corresponds to black hole solutions while the parameter values falling on the dotted line give naked singularity. The yellow shaded region denotes black holes with Q2/M21superscript𝑄2superscript𝑀21Q^{2}/M^{2}\geq 1italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≥ 1 where the equality corresponds to the extremal case. Note that Q𝑄Qitalic_Q beyond the extremal value is allowed in this degenerate theory of gravity.

Refer to caption
Figure 1: Shaded region represents allowed parameter range of κ𝜅\kappaitalic_κ and Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for black hole solutions. The yellow region depicts extreme charge to mass ratios, while the parameters on the dotted lines lead to naked singularities.

3.4 Charged static spherically symmetric solution: Negative Branch

Once again, we analyse the negative branch of the solution in the presence of a non-zero geometric charge having the metric

eμ=1+ϕ2αr212[(ϕ2α22χα)r4+4C1r4C2α]12superscript𝑒𝜇1italic-ϕ2𝛼superscript𝑟212superscriptdelimited-[]superscriptitalic-ϕ2superscript𝛼22𝜒𝛼superscript𝑟44subscript𝐶1𝑟4subscript𝐶2𝛼12e^{\mu}=1+\frac{\phi}{2\alpha}r^{2}-\frac{1}{2}\left[\left(\frac{\phi^{2}}{% \alpha^{2}}-\frac{2\chi}{\alpha}\right)r^{4}+4C_{1}r-\frac{4C_{2}}{\alpha}% \right]^{\frac{1}{2}}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_ϕ end_ARG start_ARG 2 italic_α end_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG [ ( divide start_ARG italic_ϕ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_χ end_ARG start_ARG italic_α end_ARG ) italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_r - divide start_ARG 4 italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_α end_ARG ] start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT (3.26)

To ensure asymptotic flatness of the spacetime, the following conditions must be imposed on the parameters

Λ=0χα=0;ϕα>0formulae-sequenceΛ0𝜒𝛼0italic-ϕ𝛼0\displaystyle\Lambda=0\implies\frac{\chi}{\alpha}=0;\quad\frac{\phi}{\alpha}>0roman_Λ = 0 ⟹ divide start_ARG italic_χ end_ARG start_ARG italic_α end_ARG = 0 ; divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG > 0 (3.27)
C2α=Q2ϕαsubscript𝐶2𝛼superscript𝑄2italic-ϕ𝛼\displaystyle\frac{C_{2}}{\alpha}=Q^{2}\frac{\phi}{\alpha}divide start_ARG italic_C start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_α end_ARG = italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG (3.28)
C1=2Mϕαsubscript𝐶12𝑀italic-ϕ𝛼\displaystyle C_{1}=2M\frac{\phi}{\alpha}italic_C start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 2 italic_M divide start_ARG italic_ϕ end_ARG start_ARG italic_α end_ARG (3.29)

giving the metric as

eμ=1+r22κ(1(1+8Mκr34Q2κr4)12)superscript𝑒𝜇1superscript𝑟22𝜅1superscript18𝑀𝜅superscript𝑟34superscript𝑄2𝜅superscript𝑟412e^{\mu}=1+\frac{r^{2}}{2\kappa}\left(1-\left(1+\frac{8M\kappa}{r^{3}}-\frac{4Q% ^{2}\kappa}{r^{4}}\right)^{\frac{1}{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 - ( 1 + divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 4 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ) (3.30)

with αϕ=κ>0𝛼italic-ϕ𝜅0\frac{\alpha}{\phi}=\kappa>0divide start_ARG italic_α end_ARG start_ARG italic_ϕ end_ARG = italic_κ > 0. The Ricci scalar for this case is given by

R=F(r,M,Q,κ)κr8(8κMr4κQ2+r4r4)3/2𝑅𝐹𝑟𝑀𝑄𝜅𝜅superscript𝑟8superscript8𝜅𝑀𝑟4𝜅superscript𝑄2superscript𝑟4superscript𝑟432R=\frac{F(r,M,Q,\kappa)}{\kappa r^{8}\left(\frac{8\kappa Mr-4\kappa Q^{2}+r^{4% }}{r^{4}}\right)^{3/2}}italic_R = divide start_ARG italic_F ( italic_r , italic_M , italic_Q , italic_κ ) end_ARG start_ARG italic_κ italic_r start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT ( divide start_ARG 8 italic_κ italic_M italic_r - 4 italic_κ italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG (3.31)

where, similar to the positive branch case, we do not concern with the exact form of F(r,M,Q)𝐹𝑟𝑀𝑄F(r,M,Q)italic_F ( italic_r , italic_M , italic_Q ). We calculate the roots of r4+8κMr4κQ2=0superscript𝑟48𝜅𝑀𝑟4𝜅superscript𝑄20r^{4}+8\kappa Mr-4\kappa Q^{2}=0italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 8 italic_κ italic_M italic_r - 4 italic_κ italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0 numerically and find the position of curvature singularity which gives the allowed range of radial coordinate for specific choice of (κ,Q2)𝜅superscript𝑄2(\kappa,Q^{2})( italic_κ , italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). To find the horizon, we solve

eμ=0r22k(1+8Mκr34Q2κr4)12=1+r22κsuperscript𝑒𝜇0superscript𝑟22𝑘superscript18𝑀𝜅superscript𝑟34superscript𝑄2𝜅superscript𝑟4121superscript𝑟22𝜅\displaystyle e^{\mu}=0\implies\frac{r^{2}}{2k}\left(1+\frac{8M\kappa}{r^{3}}-% \frac{4Q^{2}\kappa}{r^{4}}\right)^{\frac{1}{2}}=1+\frac{r^{2}}{2\kappa}italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 0 ⟹ divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_k end_ARG ( 1 + divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 4 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG (3.32)

which on squaring reduces to a quadratic equation

r22Mr+κ+Q2=0superscript𝑟22𝑀𝑟𝜅superscript𝑄20r^{2}-2Mr+\kappa+Q^{2}=0italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_M italic_r + italic_κ + italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0 (3.33)

with solution

r±=M±M2Q2κsubscript𝑟plus-or-minusplus-or-minus𝑀superscript𝑀2superscript𝑄2𝜅r_{\pm}=M\pm\sqrt{M^{2}-Q^{2}-\kappa}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_M ± square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ end_ARG (3.34)

Depending on the value of (κ,Q2)𝜅superscript𝑄2(\kappa,Q^{2})( italic_κ , italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ), the metric can have one or two positive roots and hence horizons, but we will focus only on the outer horizon r+subscript𝑟r_{+}italic_r start_POSTSUBSCRIPT + end_POSTSUBSCRIPT since we will deal with purely ingoing wave at horizon as part of the boundary conditions for QNMs. We also obtain the following constraint on the geometric charge,

Q2M2κsuperscript𝑄2superscript𝑀2𝜅Q^{2}\leq M^{2}-\kappaitalic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ (3.35)

which ensures presence of horizon in the spacetime. To check whether r±subscript𝑟plus-or-minusr_{\pm}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT of eq.(3.34) are indeed the solutions to transcendental equations of eq.(3.32), we evaluate them at the horizon r=rh𝑟subscript𝑟r=r_{h}italic_r = italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT

rh22k(1+8Mκrh34κQ2r4)12=1+rh22κsuperscriptsubscript𝑟22𝑘superscript18𝑀𝜅superscriptsubscript𝑟34𝜅superscript𝑄2superscript𝑟4121superscriptsubscript𝑟22𝜅\frac{r_{h}^{2}}{2k}\left(1+\frac{8M\kappa}{r_{h}^{3}}-\frac{4\kappa Q^{2}}{r^% {4}}\right)^{\frac{1}{2}}=1+\frac{r_{h}^{2}}{2\kappa}divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_k end_ARG ( 1 + divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 4 italic_κ italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG (3.36)

Since κ>0𝜅0\kappa>0italic_κ > 0 and the square root term gives only a positive value, the LHS is always positive. Hence the above equation is only satisfied if

1rh22κ=2M2Q2+2MM2Q2κ2κ01superscriptsubscript𝑟22𝜅2superscript𝑀2superscript𝑄22𝑀superscript𝑀2superscript𝑄2𝜅2𝜅01-\frac{r_{h}^{2}}{2\kappa}=\frac{2M^{2}-Q^{2}+2M\sqrt{M^{2}-Q^{2}-\kappa}}{2% \kappa}\geq 01 - divide start_ARG italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG = divide start_ARG 2 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_M square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ end_ARG end_ARG start_ARG 2 italic_κ end_ARG ≥ 0 (3.37)

where we have expressed rhsubscript𝑟r_{h}italic_r start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT in terms of κ𝜅\kappaitalic_κ which reduces to

2M2Q2+2MM2Q2κ02superscript𝑀2superscript𝑄22𝑀superscript𝑀2superscript𝑄2𝜅02M^{2}-Q^{2}+2M\sqrt{M^{2}-Q^{2}-\kappa}\geq 02 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_M square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ end_ARG ≥ 0 (3.38)

The above inequality is automatically satisfied for the range 0<κM20𝜅superscript𝑀20<\kappa\leq M^{2}0 < italic_κ ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and Q2M2κsuperscript𝑄2superscript𝑀2𝜅Q^{2}\leq M^{2}-\kappaitalic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ, hence any value κ𝜅\kappaitalic_κ and Q𝑄Qitalic_Q within the parameter range is allowed.

Table 1 summarizes the properties and parameter ranges for the black hole solutions discussed in this section corresponding to positive and negative branch. In the next segment of this paper, we will study the propagation of scalar wave in the black hole spacetimes and the associated QNMs.

Branch Metric Horizon Allowed parameters
Q = 0 +++ eμ=1r22κ(1(18Mκr3)12)superscript𝑒𝜇1superscript𝑟22𝜅1superscript18𝑀𝜅superscript𝑟312e^{\mu}=1-\frac{r^{2}}{2\kappa}\left(1-\left(1-\frac{8M\kappa}{r^{3}}\right)^{% \frac{1}{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 - ( 1 - divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ) r±=M±M2+κsubscript𝑟plus-or-minusplus-or-minus𝑀superscript𝑀2𝜅r_{\pm}=M\pm\sqrt{M^{2}+\kappa}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_M ± square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ end_ARG 0κ8M20𝜅8superscript𝑀20\leq\kappa\leq 8M^{2}0 ≤ italic_κ ≤ 8 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
-- eμ=1+r22κ(1(1+8Mκr3)12)superscript𝑒𝜇1superscript𝑟22𝜅1superscript18𝑀𝜅superscript𝑟312e^{\mu}=1+\frac{r^{2}}{2\kappa}\left(1-\left(1+\frac{8M\kappa}{r^{3}}\right)^{% \frac{1}{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 - ( 1 + divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ) r±=M±M2κsubscript𝑟plus-or-minusplus-or-minus𝑀superscript𝑀2𝜅r_{\pm}=M\pm\sqrt{M^{2}-\kappa}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_M ± square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ end_ARG 0<κM20𝜅superscript𝑀20<\kappa\leq M^{2}0 < italic_κ ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Q \neq 0 +++ eμ=1r22κ(1(18Mκr3+4Q2κr4)12)superscript𝑒𝜇1superscript𝑟22𝜅1superscript18𝑀𝜅superscript𝑟34superscript𝑄2𝜅superscript𝑟412e^{\mu}=1-\frac{r^{2}}{2\kappa}\left(1-\left(1-\frac{8M\kappa}{r^{3}}+\frac{4Q% ^{2}\kappa}{r^{4}}\right)^{\frac{1}{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 - ( 1 - divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 4 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ) r±=M±M2Q2+κsubscript𝑟plus-or-minusplus-or-minus𝑀superscript𝑀2superscript𝑄2𝜅r_{\pm}=M\pm\sqrt{M^{2}-Q^{2}+\kappa}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_M ± square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ end_ARG Q222κM2κ,0<κM22formulae-sequencesuperscript𝑄222𝜅superscript𝑀2𝜅0𝜅superscript𝑀22Q^{2}\leq 2\sqrt{2\kappa M^{2}}-\kappa,\quad 0<\kappa\leq\frac{M^{2}}{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ 2 square-root start_ARG 2 italic_κ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - italic_κ , 0 < italic_κ ≤ divide start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG Q2M2+κ,M22<κ<8M2formulae-sequencesuperscript𝑄2superscript𝑀2𝜅superscript𝑀22𝜅8superscript𝑀2Q^{2}\leq M^{2}+\kappa,\quad\frac{M^{2}}{2}<\kappa<8M^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ , divide start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG < italic_κ < 8 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
-- eμ=1+r22κ(1(1+8Mκr34Q2κr4)12)superscript𝑒𝜇1superscript𝑟22𝜅1superscript18𝑀𝜅superscript𝑟34superscript𝑄2𝜅superscript𝑟412e^{\mu}=1+\frac{r^{2}}{2\kappa}\left(1-\left(1+\frac{8M\kappa}{r^{3}}-\frac{4Q% ^{2}\kappa}{r^{4}}\right)^{\frac{1}{2}}\right)italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 1 + divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_κ end_ARG ( 1 - ( 1 + divide start_ARG 8 italic_M italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 4 italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ) r±=M±M2Q2κsubscript𝑟plus-or-minusplus-or-minus𝑀superscript𝑀2superscript𝑄2𝜅r_{\pm}=M\pm\sqrt{M^{2}-Q^{2}-\kappa}italic_r start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = italic_M ± square-root start_ARG italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ end_ARG 0<κM20𝜅superscript𝑀20<\kappa\leq M^{2}0 < italic_κ ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, Q2M2κsuperscript𝑄2superscript𝑀2𝜅Q^{2}\leq M^{2}-\kappaitalic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_κ
Table 1: Table shows asymptotically flat black hole solutions in the dEGB theory, their horizon position, and allowed parameter ranges.

4 Stability analysis: Scalar wave propagation and quasinormal modes

In this section, we will probe the behavior of a propagating massless scalar wave and the corresponding QNMs in the background of our black hole spacetimes studied in the previous section. Quasi-normal modes are complex characteristic frequencies associated with a perturbed object, through which it radiates energy to reach a stable state and are accompanied with purely outgoing boundary conditions at infinity. Each QNM has a structure, ω=ωr+iωi𝜔subscript𝜔𝑟𝑖subscript𝜔𝑖\omega=\omega_{r}+i\omega_{i}italic_ω = italic_ω start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + italic_i italic_ω start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, where the real part denotes the oscillation frequency and the imaginary part corresponds to the inverse of the damping time. In our convention, the damped signal is defined by |ωi|<0subscript𝜔𝑖0|\omega_{i}|<0| italic_ω start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | < 0. Physically, this represents a stable scalar wave. A more robust probe of the stability of the black hole spacetimes is through gravitational perturbations. The existence of a particular spacetime solution necessitates its stability under tensor perturbations. However, in the context of the degenerate framework of gravity, the perturbations of the vielbein fields are not well understood and require dedicated attention, which is beyond the scope of this paper. Hence, we restrict our analysis to the propagation of massless scalar fields in black hole spacetime backgrounds.

We begin with the Klein-Gordon equation for a massless scalar field,

Φ=0.Φ0\displaystyle\Box\Phi=0.□ roman_Φ = 0 . (4.1)

Note that the scalar field ΦΦ\Phiroman_Φ is a test field that does not directly perturb the background metric. However, the propagation and the behaviour of the scalar field is influenced by the background geometry. As the background spacetime is spherically symmetric and static, we decompose ΦΦ\Phiroman_Φ in terms of spherical harmonics, where the indices of Y(θ,ϕ)𝑌𝜃italic-ϕY(\theta,\phi)italic_Y ( italic_θ , italic_ϕ ) have been suppressed for simplicity,

Φ(t,r,θ,ϕ)=Y(θ,ϕ)u(r)eiωtr.Φ𝑡𝑟𝜃italic-ϕ𝑌𝜃italic-ϕ𝑢𝑟superscript𝑒𝑖𝜔𝑡𝑟\displaystyle\Phi(t,r,\theta,\phi)=Y(\theta,\phi)\frac{u(r)e^{-i\omega t}}{r}.roman_Φ ( italic_t , italic_r , italic_θ , italic_ϕ ) = italic_Y ( italic_θ , italic_ϕ ) divide start_ARG italic_u ( italic_r ) italic_e start_POSTSUPERSCRIPT - italic_i italic_ω italic_t end_POSTSUPERSCRIPT end_ARG start_ARG italic_r end_ARG . (4.2)

Incorporating this ansatz in eq.(4.1), we obtain the radial equation of the form of a Schrödinger-like equation by using the tortoise coordinate r(dr=dreμ)subscript𝑟𝑑subscript𝑟𝑑𝑟superscript𝑒𝜇r_{*}\left(dr_{*}=\frac{dr}{e^{\mu}}\right)italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ( italic_d italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = divide start_ARG italic_d italic_r end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT end_ARG ),

d2udr2+[ω2Veff]u=0superscript𝑑2𝑢𝑑superscriptsubscript𝑟2delimited-[]superscript𝜔2subscript𝑉𝑒𝑓𝑓𝑢0\displaystyle\frac{d^{2}u}{dr_{*}^{2}}+[\omega^{2}-V_{eff}]u=0divide start_ARG italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_u end_ARG start_ARG italic_d italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + [ italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_V start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT ] italic_u = 0 (4.3)

where the effective potential is

Veff(r)=eμ((+1)r2+(eμ)r).subscript𝑉𝑒𝑓𝑓𝑟superscript𝑒𝜇1superscript𝑟2superscriptsuperscript𝑒𝜇𝑟\displaystyle V_{eff}(r)=e^{\mu}\Big{(}\frac{\ell(\ell+1)}{r^{2}}+\frac{\left(% e^{\mu}\right)^{\prime}}{r}\Big{)}.italic_V start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT ( italic_r ) = italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( divide start_ARG roman_ℓ ( roman_ℓ + 1 ) end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG ( italic_e start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r end_ARG ) . (4.4)

The derivative is with respect to the radial coordinate and \ellroman_ℓ is the azimuthal number arising from the separation of variables. In the forthcoming sections, we will plot the effective potential for specific solutions and parameter values and comment on their nature. To compute the discrete quasinormal modes, we implement the well-studied WKB technique along with Padé improvements [81, 82, 83] and also plot the time evolution of the massless scalar field in the spacetime background.

The semi-analytical scheme of computing the QNMs of a single barrier potential using the WKB approximation was developed by Schutz and Will [84]. The WKB method with first order in series, gives a simple analytical formula relating the QNM frequencies to the effective potential,

ω2=V0i(p+12)2V0′′,p=0,1,2formulae-sequencesuperscript𝜔2subscript𝑉0𝑖𝑝122superscriptsubscript𝑉0′′𝑝012\omega^{2}=V_{0}-i(p+\frac{1}{2})\sqrt{-2V_{0}^{{}^{\prime\prime}}},\,\,p=0,1,% 2...italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_i ( italic_p + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) square-root start_ARG - 2 italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG , italic_p = 0 , 1 , 2 … (4.5)

where V0subscript𝑉0V_{0}italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and V0′′superscriptsubscript𝑉0′′V_{0}^{{}^{\prime\prime}}italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT denote the value of the potential and its second derivative, with respect to the radial coordinate, at the point of maxima of the potential, respectively. The overtone number is denoted by ‘p’ with p=0𝑝0p=0italic_p = 0 being the fundamental mode. In our work, we will restrict to the most dominant fundamental mode for a particular angular momentum. Through multiple works in literature, the WKB technique has been extended to 13thsuperscript13𝑡13^{th}13 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order along with the inclusion of Padé approximants to improve accuracy (see [82, 83, 85] and the references therein). Depending on the nature of the spacetime being studied, the most stable WKB order is chosen, which is not necessarily the highest order in the series expansion. For our spacetimes, we apply the 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order WKB with Padé approximants (m~=5)~𝑚5(\tilde{m}=5)( over~ start_ARG italic_m end_ARG = 5 ). The WKB method is suitable for higher angular momentum modes, such that p<<much-less-than𝑝p<<\ellitalic_p < < roman_ℓ where p𝑝pitalic_p is the overtone number. For our study, we focus on fundamental modes only with p=0𝑝0p=0italic_p = 0, and hence implement the WKB to cases with higher values of \ellroman_ℓ. The stability of the scalar field needs to be verified for small angular momentum modes such as =00\ell=0roman_ℓ = 0 and =11\ell=1roman_ℓ = 1, for which the WKB technique is less accurate. To this extent, we plot the time domain evolution of the scalar field. The damping behaviour of these time domain profiles would indicate the stability of the propagating scalar field.

In order to study the time evolution of the scalar field Φ(t,r,θ,ϕ)=Y(θ,ϕ)ψ(r,t)Φ𝑡𝑟𝜃italic-ϕ𝑌𝜃italic-ϕ𝜓𝑟𝑡\Phi(t,r,\theta,\phi)=Y(\theta,\phi)\psi(r,t)roman_Φ ( italic_t , italic_r , italic_θ , italic_ϕ ) = italic_Y ( italic_θ , italic_ϕ ) italic_ψ ( italic_r , italic_t ), we take the radial part of the scalar wave equation and keeping the derivative in time we recast the equation for ψ(r,t)𝜓𝑟𝑡\psi(r,t)italic_ψ ( italic_r , italic_t ) into the following form[86, 85, 57],

2ψt22ψr2+Veff(r)ψ=0.superscript2𝜓superscript𝑡2superscript2𝜓superscriptsubscript𝑟2subscript𝑉𝑒𝑓𝑓subscript𝑟𝜓0\displaystyle\frac{\partial^{2}\psi}{\partial t^{2}}-\frac{\partial^{2}\psi}{% \partial r_{*}^{2}}+V_{eff}(r_{*})\psi=0.divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ end_ARG start_ARG ∂ italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ end_ARG start_ARG ∂ italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + italic_V start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ) italic_ψ = 0 . (4.6)

The above equation can be written using the light cone coordinates (u,v)𝑢𝑣(u,v)( italic_u , italic_v ) such that du=dtdr,dv=dt+drformulae-sequence𝑑𝑢𝑑𝑡𝑑subscript𝑟𝑑𝑣𝑑𝑡𝑑subscript𝑟du=dt-dr_{*},dv=dt+dr_{*}italic_d italic_u = italic_d italic_t - italic_d italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT , italic_d italic_v = italic_d italic_t + italic_d italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT and,

(42uv+V(u,v))ψ(u,v)=0.4superscript2𝑢𝑣𝑉𝑢𝑣𝜓𝑢𝑣0\Big{(}4\frac{\partial^{2}}{\partial u\partial v}+V(u,v)\Big{)}\psi(u,v)=0.( 4 divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_u ∂ italic_v end_ARG + italic_V ( italic_u , italic_v ) ) italic_ψ ( italic_u , italic_v ) = 0 . (4.7)

Following [85], we define the operator of time evolution in these coordinates as,

exp(ht)=exp(hu+hv)=exp(hu)+exp(hv)1+h22(exp(hu)+exp(hv))2uv+.𝑒𝑥𝑝𝑡𝑒𝑥𝑝𝑢𝑣𝑒𝑥𝑝𝑢𝑒𝑥𝑝𝑣1superscript22𝑒𝑥𝑝𝑢𝑒𝑥𝑝𝑣superscript2𝑢𝑣\begin{split}exp\Big{(}h\frac{\partial}{\partial t}\Big{)}=exp\Big{(}h\frac{% \partial}{\partial u}+h\frac{\partial}{\partial v}\Big{)}=exp\Big{(}h\frac{% \partial}{\partial u}\Big{)}+exp\Big{(}h\frac{\partial}{\partial v}\Big{)}-1\\ +\frac{h^{2}}{2}\Big{(}exp\Big{(}h\frac{\partial}{\partial u}\Big{)}+exp\Big{(% }h\frac{\partial}{\partial v}\Big{)}\Big{)}\frac{\partial^{2}}{\partial u% \partial v}+....\end{split}start_ROW start_CELL italic_e italic_x italic_p ( italic_h divide start_ARG ∂ end_ARG start_ARG ∂ italic_t end_ARG ) = italic_e italic_x italic_p ( italic_h divide start_ARG ∂ end_ARG start_ARG ∂ italic_u end_ARG + italic_h divide start_ARG ∂ end_ARG start_ARG ∂ italic_v end_ARG ) = italic_e italic_x italic_p ( italic_h divide start_ARG ∂ end_ARG start_ARG ∂ italic_u end_ARG ) + italic_e italic_x italic_p ( italic_h divide start_ARG ∂ end_ARG start_ARG ∂ italic_v end_ARG ) - 1 end_CELL end_ROW start_ROW start_CELL + divide start_ARG italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( italic_e italic_x italic_p ( italic_h divide start_ARG ∂ end_ARG start_ARG ∂ italic_u end_ARG ) + italic_e italic_x italic_p ( italic_h divide start_ARG ∂ end_ARG start_ARG ∂ italic_v end_ARG ) ) divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_u ∂ italic_v end_ARG + … . end_CELL end_ROW (4.8)

which when applied on ψ(u,v)𝜓𝑢𝑣\psi(u,v)italic_ψ ( italic_u , italic_v ) and taking into account eq.(4.7) gives,

ψ(u+h,v+h)=ψ(u+h,v)+ψ(u,v+h)ψ(u,v)h28V(u,v)(ψ(u+h,v)+ψ(u,v+h))𝜓𝑢𝑣𝜓𝑢𝑣𝜓𝑢𝑣𝜓𝑢𝑣superscript28𝑉𝑢𝑣𝜓𝑢𝑣𝜓𝑢𝑣\psi(u+h,v+h)=\psi(u+h,v)+\psi(u,v+h)-\psi(u,v)-\frac{h^{2}}{8}V(u,v)(\psi(u+h% ,v)+\psi(u,v+h))italic_ψ ( italic_u + italic_h , italic_v + italic_h ) = italic_ψ ( italic_u + italic_h , italic_v ) + italic_ψ ( italic_u , italic_v + italic_h ) - italic_ψ ( italic_u , italic_v ) - divide start_ARG italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 end_ARG italic_V ( italic_u , italic_v ) ( italic_ψ ( italic_u + italic_h , italic_v ) + italic_ψ ( italic_u , italic_v + italic_h ) ) (4.9)

where hhitalic_h denotes the step size of the discretization scheme. A grid is constructed on two null-surfaces u=u0𝑢subscript𝑢0u=u_{0}italic_u = italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and v=v0𝑣subscript𝑣0v=v_{0}italic_v = italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and using eq.(4.9) the value of ψ𝜓\psiitalic_ψ is calculated at each grid point starting from the initial data specified on (u0,v0)subscript𝑢0subscript𝑣0(u_{0},v_{0})( italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ). The initial condition ψ(u,0)=e(u6)2100𝜓𝑢0superscript𝑒superscript𝑢62100\psi(u,0)=e^{\frac{-(u-6)^{2}}{100}}italic_ψ ( italic_u , 0 ) = italic_e start_POSTSUPERSCRIPT divide start_ARG - ( italic_u - 6 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 100 end_ARG end_POSTSUPERSCRIPT and ψ(0,v)=𝜓0𝑣absent\psi(0,v)=italic_ψ ( 0 , italic_v ) = constant, the value of which is determined by ψ(0,0)𝜓00\psi(0,0)italic_ψ ( 0 , 0 ), is defined on the null grid. The Gaussian pulse is evolved along the grid and plotted at a constant value of the spatial coordinate as a function of time. The time domain profile, thus obtained, is a superposition of the QNMs of the scalar field, dampening of which would indicate its stability. The profile should be invariant under the change of grid size hhitalic_h, thus being free from any numerical artefacts. Further details about the discretization scheme and the relation between (u,v)𝑢𝑣(u,v)( italic_u , italic_v ) and (t,r)𝑡subscript𝑟(t,r_{*})( italic_t , italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ) can be found in [85].

The semi-analytical technique for computing QNMs is complimented with a plethora of numerical tools which are discussed in multiple works in literature (see [85, 87] and the references therein for an overview of different techniques). One such numerical technique is the Prony extraction [85, 57, 56] in which the time domain data is fitted with damped sinusiods. We implement this technique to verify the QNMs obtained from the WKB method and is discussed in Appendix A. In our QNM analysis, we set M=1𝑀1M=1italic_M = 1 unless otherwise stated.

4.1 QNMs of positive branch solution without geometric charge

Refer to caption
(a) V(r) for positive branch, =00\ell=0roman_ℓ = 0
Refer to caption
(b) V(r) for positive branch, =11\ell=1roman_ℓ = 1
Refer to caption
(c) TD profile for =00\ell=0roman_ℓ = 0
Refer to caption
(d) TD profile for =11\ell=1roman_ℓ = 1
Figure 2: Top panel: The variation of effective potential V(r) with the radial coordinate for the positive branch spacetimes with different values of κ𝜅\kappaitalic_κ and Q=0Q0{\rm Q=0}roman_Q = 0. The angular momentum mode is =00\ell=0roman_ℓ = 0 and 1. A single barrier potential is observed for all the spacetimes considered. Bottom panel: Time domain (TD) profile for the above mentioned spacetimes with different κ𝜅\kappaitalic_κ as observed at r=6,=0,1formulae-sequencesubscript𝑟601r_{*}=6,\ell=0,1italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = 6 , roman_ℓ = 0 , 1. The initial Gaussian profile ψ=e(u6)2100𝜓superscript𝑒superscript𝑢62100\psi=e^{\frac{-(u-6)^{2}}{100}}italic_ψ = italic_e start_POSTSUPERSCRIPT divide start_ARG - ( italic_u - 6 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 100 end_ARG end_POSTSUPERSCRIPT is evolved over time with grid spacing of 0.1. The damped TD profile indicates the stability of the scalar field.
Refer to caption
(a) Variation of Re(ω𝜔\omegaitalic_ω) with \ellroman_ℓ
Refer to caption
(b) Variation of Im(ω𝜔\omegaitalic_ω) with \ellroman_ℓ, κ=0.1𝜅0.1\kappa=0.1italic_κ = 0.1
Refer to caption
(c) Variation of Im(ω𝜔\omegaitalic_ω) with \ellroman_ℓ, κ=3𝜅3\kappa=3italic_κ = 3
Figure 3: The variation of the real (upper panel) and imaginary (bottom panel) part of the fundamental QNM with the angular momentum mode is shown for the positive branch case with zero geometric charge. The QNMs are calculated using the WKB method till 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order with Padé approximation (m~=5)\tilde{m}=5)over~ start_ARG italic_m end_ARG = 5 ) for different values of κ𝜅\kappaitalic_κ. The magnitude of Re(ω𝜔\omegaitalic_ω) (Im (ω𝜔\omegaitalic_ω)) decreases (increases) with increasing κ𝜅\kappaitalic_κ for a fixed \ellroman_ℓ.

We begin by examining the structure of the effective potential obtained in eq.(4.4) for various values of κ𝜅\kappaitalic_κ belonging to the positive branch case and plot it as a function of the radial coordinate as shown in Fig.(2(a)) and (2(b)). It is evident from the plots that the potential is a single barrier for κ<8𝜅8\kappa<8italic_κ < 8. Hence, the WKB method can be applied to determine the QNMs. The time domain profiles, for different κ𝜅\kappaitalic_κ, with =00\ell=0roman_ℓ = 0 shown in Fig.(2(c)) and =11\ell=1roman_ℓ = 1 shown in Fig.(2(d)), indicate the stability of the scalar field due to their decaying nature over time. To understand the behavior of the fundamental QNMs and their dependence on the metric parameter κ𝜅\kappaitalic_κ, we plot the variation of the real part of the modes for different \ellroman_ℓ and κ𝜅\kappaitalic_κ in Fig.(3(a)), and the imaginary part in Fig.(3(b)) and (3(c)). A detailed study of the above mentioned figures lead to the following observations:

  • We observe from Fig.(3(a)) that as the angular momentum mode increases, the real component of the QNMs also increases, indicating a rise in frequency. Although distinct, the magnitudes of the modes are very close for different values of κ𝜅\kappaitalic_κ especially for small \ellroman_ℓ. Also, as mentioned earlier, the WKB method works well for higher values of \ellroman_ℓ. Hence, we have not computed the QNMs corresponding to very low \ellroman_ℓ values for κ=3,5,6𝜅356\kappa=3,5,6italic_κ = 3 , 5 , 6. In order to verify the stability of the scalar field for =0,101\ell=0,1roman_ℓ = 0 , 1, we plot the time domain profiles as shown in Fig.(2(c)) and (2(d)). The damped nature indicates a stable scalar field evolution even for low \ellroman_ℓ values.

  • The imaginary component, on the other hand, decreases with \ellroman_ℓ as shown in Fig.(3(b)) and (3(c)) for all values of κ𝜅\kappaitalic_κ. This indicates that the higher modes have longer damping time and can dominate the signal at later stages.

  • For a fixed angular momentum mode, the frequency and damping time decreases as κ𝜅\kappaitalic_κ increases. This is evident from the corresponding time domain profiles for different κ𝜅\kappaitalic_κ where the time domain signal for κ=6𝜅6\kappa=6italic_κ = 6 decays much faster than smaller κ𝜅\kappaitalic_κ geometries.

\ellroman_ℓ Schwarzschild κ=0.001𝜅0.001\kappa=0.001italic_κ = 0.001 κ=0.01𝜅0.01\kappa=0.01italic_κ = 0.01 κ=0.1𝜅0.1\kappa=0.1italic_κ = 0.1
1 0.292909 -i 0.09776 0.292928 -i 0.097405 0.292692 -i 0.097818 0.290542 -i 0.099187
2 0.48364 -i 0.096757 0.483610 -i 0.096733 0.483274 -i 0.096908 0.480022 -i 0.0982177
3 0.675365 -i 0.096499 0.675436 -i 0.098474 0.674859 -i 0.096646 0.670409 -i 0.097922
Table 2: Comparison of fundamental QNM for different κ𝜅\kappaitalic_κ values corresponding to the positive branch of Q=0𝑄0Q=0italic_Q = 0 case with that of the Schwarzschild black hole. The QNMs are calculated using the WKB method till 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order with Padé approximation (m~=5)\tilde{m}=5)over~ start_ARG italic_m end_ARG = 5 ). For smaller κ𝜅\kappaitalic_κ, the spacetimes have comparable QNMs to that of the Schwarzschild black hole.

For a vanishing coupling constant, the dEGB theory reduces to GR with the only vacuum, static, spherically symmetric solution being the Schwarzschild case. We thus compare the scalar QNMs generated by a Schwarzschild black hole with that of our solution with a small coupling constant. This analysis will help us visualize the difficulty of segregating the two kinds of solutions only through their scalar QNMs and highlight the QNMs’ dependence on the underlying gravity theory. Table 2 shows that the fundamental QNMs for small κ𝜅\kappaitalic_κ are significantly close (upto the accuracy considered here) to the corresponding QNMs of Schwarzschild black hole for a particular angular momentum mode. Hence, in actual observation, a highly sensitive detector will be required to distinguish the solution of our theory with a small κ𝜅\kappaitalic_κ from a Schwarzschild black hole.

Refer to caption
(a) V(r) for negative branch, =00\ell=0roman_ℓ = 0
Refer to caption
(b) V(r) for negative branch, =11\ell=1roman_ℓ = 1
Refer to caption
(c) TD profile for =00\ell=0roman_ℓ = 0
Refer to caption
(d) TD profile for =11\ell=1roman_ℓ = 1
Figure 4: Top panel: The variation of effective potential V(r) with the radial coordinate for the negative branch, Q=0𝑄0Q=0italic_Q = 0 spacetimes. The angular momentum mode is =00\ell=0roman_ℓ = 0 and 1. A single barrier potential is observed for all the spacetimes considered. Bottom panel: Time domain (TD) profile for the above mentioned spacetimes with different κ𝜅\kappaitalic_κ as observed at r=6,=0,1formulae-sequencesubscript𝑟601r_{*}=6,\ell=0,1italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = 6 , roman_ℓ = 0 , 1. The initial Gaussian profile ψ=e(u6)2100𝜓superscript𝑒superscript𝑢62100\psi=e^{\frac{-(u-6)^{2}}{100}}italic_ψ = italic_e start_POSTSUPERSCRIPT divide start_ARG - ( italic_u - 6 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 100 end_ARG end_POSTSUPERSCRIPT is evolved over time with grid spacing of 0.1. The damped TD profile indicates stability of the scalar field.

4.2 QNMs of negative branch solution without geometric charge

Refer to caption
(a) Variation of Re(ω𝜔\omegaitalic_ω) with \ellroman_ℓ
Refer to caption
(b) Variation of Im(ω𝜔\omegaitalic_ω) with \ellroman_ℓ, κ=0.1𝜅0.1\kappa=0.1italic_κ = 0.1
Refer to caption
(c) Variation of Im(ω𝜔\omegaitalic_ω) with \ellroman_ℓ, κ=1𝜅1\kappa=1italic_κ = 1
Figure 5: The variation of the real (upper panel) and imaginary (bottom panel) part of the fundamental QNM with the angular momentum mode is shown for the negative branch case with zero geometric charge. The QNMs are calculated using the WKB method till 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order with Padé approximation (m~=5)\tilde{m}=5)over~ start_ARG italic_m end_ARG = 5 ) for different values of κ𝜅\kappaitalic_κ. The magnitude of Re(ω𝜔\omegaitalic_ω) (Im (ω𝜔\omegaitalic_ω)) increases (decreases) with increasing κ𝜅\kappaitalic_κ for a fixed \ellroman_ℓ.

Similar to the positive branch solution, we will compute the scalar quasinormal modes associated with the negative branch case by solving eq.(4.3). A single barrier potential is observed for different κ𝜅\kappaitalic_κ as shown in Fig.(4(a)) and (4(b)). Thus the WKB method with Padé improvements can be applied to compute the fundamental QNMs. To verify the stability of the scalar field for small angular momentum modes, we plot the time domain profile with =00\ell=0roman_ℓ = 0 and =11\ell=1roman_ℓ = 1 as shown in Fig.(4(c)) and (4(d)), respectively. A damped profile for both cases indicates stability.

We move on with the study of the QNMs and their dependence on metric parameters. Fig.(5(a)) shows the variation of the real part of the QNMs as a function of \ellroman_ℓ for different κ𝜅\kappaitalic_κ. In contrast to the positive branch case, the real component of the fundamental mode increases with increasing κ𝜅\kappaitalic_κ. The imaginary part, on the other hand, decreases as κ𝜅\kappaitalic_κ increases, as shown in Figs.(5(a)) and (5(b)). This behavior of QNMs is also evident from the time domain profiles as shown in Fig(4(c)) and (4(d)). Note that the metric of the negative branch with zero geometric charge is equivalent to the metric proposed in [14] under the identification of α𝛼\alphaitalic_α with parameter 2κ2𝜅2\kappa2 italic_κ of our case. The scalar QNMs and shadows of this metric have been studied in [1]. We verify our results for the scalar field QNMs with the ones quoted in [1] and find excellent agreement (see Appendix B).

As done for the positive branch, we compute the QNMs for different κ𝜅\kappaitalic_κ values and compare them with the Schwarzschild case. Table 3 shows that small κ𝜅\kappaitalic_κ solutions indeed have almost identical QNMs to that of the Schwarzschild black hole, with the distinction becoming more prominent as κ𝜅\kappaitalic_κ increases.

\ellroman_ℓ Schwarzschild κ=0.001𝜅0.001\kappa=0.001italic_κ = 0.001 κ=0.1𝜅0.1\kappa=0.1italic_κ = 0.1 κ=0.7𝜅0.7\kappa=0.7italic_κ = 0.7 κ=0.9𝜅0.9\kappa=0.9italic_κ = 0.9
1 0.292909 -i 0.09776 0.2931761 -i 0.0975015 0.295398 -i 0.096027 0.3122758 -i 0.083077 0.318868 -i 0.076427
2 0.48364 -i 0.096757 0.484015 -i 0.096608 0.487438 -i 0.0952057 0.51529 -i 0.082522 0.527432 -i 0.075695
3 0.675365 -i 0.096499 0.6758755 -i 0.096352 0.680578 -i 0.094978 0.719381 -i 0.082369 0.736788 -i 0.075478
Table 3: Comparison of fundamental QNM for different κ𝜅\kappaitalic_κ values belonging to the negative branch with zero geometric charge to that of the Schwarzschild black hole. The QNMs are calculated using the WKB method till 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order with Padé approximation (m~=5)\tilde{m}=5)over~ start_ARG italic_m end_ARG = 5 ). For smaller κ𝜅\kappaitalic_κ, the spacetimes have comparable QNMs to that of the Schwarzschild black hole.

4.3 QNMs of positive branch solution with geometric charge

We study the potentials corresponding to various parameter values for a representative \ellroman_ℓ mode as shown in Fig.(6(a)). The effective potentials are found to be a single barrier for all (κ,Q)𝜅𝑄(\kappa,Q)( italic_κ , italic_Q ) hence QNM frequencies can be computed via WKB technique. For brevity, we show the plot for one arbitrary choice of parameter values, but the qualitative single barrier structure is present for all ,κ𝜅\ell,\kapparoman_ℓ , italic_κ and Q𝑄Qitalic_Q. The WKB techniques are known to be suitable for larger values of \ellroman_ℓ and may not provide convergent results for lower values as discussed in the previous sections. Thus, the stability of the scalar wave, while propagating in the dEGB black hole spacetime with non-zero geometric charge, is established via time-domain profiles for small \ellroman_ℓ. For example, we demonstrate the decaying of the signal for κ=4,=0formulae-sequence𝜅40\kappa=4,\ell=0italic_κ = 4 , roman_ℓ = 0 in Fig.(6(b)). Note that the choice of κ𝜅\kappaitalic_κ and Q𝑄Qitalic_Q to demonstrate this is arbitrary, and the objective result regarding the stability of the scalar field for this branch is independent of the choice of parameters in the allowed range, i.e. the scalar field is stable for the lower \ellroman_ℓ values for the complete range of allowed metric parameters.

Refer to caption
(a) V(r) for =00\ell=0roman_ℓ = 0
Refer to caption
(b) TD profile for =00\ell=0roman_ℓ = 0
Figure 6: Left panel: The variation of effective potential V(r) with the radial coordinate for the positive branch spacetimes with κ=4𝜅4\kappa=4italic_κ = 4 and different values of Q𝑄Qitalic_Q. The angular momentum mode is =00\ell=0roman_ℓ = 0. A single barrier potential is observed for all the spacetimes considered. Right panel:Time domain (TD) profile for κ=4𝜅4\kappa=4italic_κ = 4 corresponding to the above mentioned spacetimes as observed at r=6,=0,1formulae-sequencesubscript𝑟601r_{*}=6,\ell=0,1italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = 6 , roman_ℓ = 0 , 1 with initial Gaussian profile ψ=e(u6)2100𝜓superscript𝑒superscript𝑢62100\psi=e^{\frac{-(u-6)^{2}}{100}}italic_ψ = italic_e start_POSTSUPERSCRIPT divide start_ARG - ( italic_u - 6 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 100 end_ARG end_POSTSUPERSCRIPT and grid spacing 0.1. The damped TD profile indicates the stability of the scalar field.
Refer to caption
(a) Variation of Re(ω𝜔\omegaitalic_ω) with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for small κ𝜅\kappaitalic_κ
Refer to caption
(b) Variation of Re(ω𝜔\omegaitalic_ω) with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for large κ𝜅\kappaitalic_κ
Refer to caption
(c) Variation of Im(ω𝜔\omegaitalic_ω) with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for small κ𝜅\kappaitalic_κ
Refer to caption
(d) Variation of Im(ω𝜔\omegaitalic_ω) with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for large κ𝜅\kappaitalic_κ
Figure 7: The variation of the real (upper panel) and imaginary (bottom panel) part of the fundamental QNM with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is shown for the positive branch case and =1010\ell=10roman_ℓ = 10. The QNMs are calculated using the WKB method till 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order with Padé approximation (m~=5)\tilde{m}=5)over~ start_ARG italic_m end_ARG = 5 ) for different values of (κ,Q)𝜅𝑄(\kappa,Q)( italic_κ , italic_Q ). The magnitude of Re(ω𝜔\omegaitalic_ω) increases with increasing Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for both small and large values of κ𝜅\kappaitalic_κ. The Im(ω𝜔\omegaitalic_ω) increases then decreases with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for small κ𝜅\kappaitalic_κ spacetimes but increases monotonically for large κ𝜅\kappaitalic_κ.

Since the QNMs now depend on both Q𝑄Qitalic_Q and κ𝜅\kappaitalic_κ, we plot the fundamental modes for a fixed \ellroman_ℓ value, =1010\ell=10roman_ℓ = 10, and study their dependence on the metric parameters as shown in Fig.(7). Certain observations can be made about the QNMs for the positive branch solutions.

  • In Fig.(7(a)) and (7(b)), we observe the dependence of real part of QNM on geometric charge Q𝑄Qitalic_Q, for small and large values of κ𝜅\kappaitalic_κ, respectively. For a fixed κ𝜅\kappaitalic_κ, the frequency increases as the charge increases. On the other hand, as κ𝜅\kappaitalic_κ increases, the frequency decreases for a fixed Q𝑄Qitalic_Q. Note that the allowed values of Q𝑄Qitalic_Q changes according to the κ𝜅\kappaitalic_κ considered, following eq.(3.24) and (3.25).

  • However, the imaginary component has some interesting properties as shown in Fig.(7(c)) and (7(d)) for small and large κ𝜅\kappaitalic_κ, respectively. For small κ𝜅\kappaitalic_κ, the plot of imaginary ω𝜔\omegaitalic_ω vs Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT has the same characteristic behaviour as the Reissner-Nordström black hole where the magnitude of Im(ω𝜔\omegaitalic_ω) increases, reaches a peak and then decreases with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Thus for one particular κ𝜅\kappaitalic_κ, the shortest damping time will correspond to specific Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT lying in the middle of the allowed charge range. However, this changes for higher values of κ𝜅\kappaitalic_κ for which the imaginary component increases with an increase in charge, indicating faster signal damping for large Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Similar to the case of zero geometric charge, we now compare the fundamental QNMs of the positive branch black holes, for different values of κ𝜅\kappaitalic_κ, with that of the Reissner-Nordström (RN) black hole, as shown in Table 4. As expected, smaller κ𝜅\kappaitalic_κ corresponding to a weaker coupling term in dEGB theory gives QNM values closer to the RN case.

Positive branch Negative branch
\ellroman_ℓ Q Reissner-Nordström κ=0.01𝜅0.01\kappa=0.01italic_κ = 0.01 κ=0.1𝜅0.1\kappa=0.1italic_κ = 0.1 κ=0.01𝜅0.01\kappa=0.01italic_κ = 0.01 κ=0.1𝜅0.1\kappa=0.1italic_κ = 0.1
1 0.1 0.2934 -i 0.09781 0.2931 -i 0.09795 0.2911 -i 0.09922 0.2936 -i 0.09766 0.2957 -i 0.09635
0.9 0.3526 -i 0.09721 0.352 -i 0.09726 0.347 -i 0.10171 0.3531 -i 0.09671 0.3584 -i 0.09141
2 0.1 0.4844 -i 0.09681 0.4841 -i 0.09696 0.4808 -i 0.09828 0.4848 -i 0.09666 0.4883 -i 0.09524
0.9 0.5819 -i 0.09663 0.5809 -i 0.09711 0.5726 -i 0.10096 0.5829 -i 0.09614 0.5924 -i 0.09109
3 0.1 0.6765 -i 0.09655 0.6759 -i 0.0967 0.6715 -i 0.09798 0.677 -i 0.09641 0.6817 -i 0.09502
0.9 0.8125 -i 0.09647 0.8111 -i 0.09694 0.7995 -i 0.10074 0.8139 -i 0.09598 0.8275 -i 0.09096
Table 4: Comparison of fundamental QNM for the positive and negative branch spacetimes with different values of κ𝜅\kappaitalic_κ and Q𝑄Qitalic_Q to that of the Reissner-Nordström black hole. The QNMs are calculated using the WKB method till 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order with Padé approximation (m~=5)\tilde{m}=5)over~ start_ARG italic_m end_ARG = 5 ). For smaller κ𝜅\kappaitalic_κ, the spacetimes have comparable QNMs to that of the RN black hole.

4.4 QNMs of negative branch solution with geometric charge

As with the other previous solutions, we move on to discuss the potentials for various values of Q𝑄Qitalic_Q and Gauss-Bonnet coupling and compute the corresponding QNMs under the propagation of the scalar field. The effective potential is found to be single barrier for all ,κ𝜅\ell,\kapparoman_ℓ , italic_κ and Q𝑄Qitalic_Q. For an arbitrary choice of parameters, we show the plot of the effective potential as a function of radial coordinate in Fig.(8(a)). The corresponding time domain profile for =00\ell=0roman_ℓ = 0 shown in Fig.(8(b)) indicates stability of the scalar field for small angular momentum modes.

Refer to caption
(a) V(r) for =00\ell=0roman_ℓ = 0
Refer to caption
(b) TD profile for =00\ell=0roman_ℓ = 0
Figure 8: Left panel: The variation of effective potential V(r) with the radial coordinate for the negative branch spacetimes with κ=0.1𝜅0.1\kappa=0.1italic_κ = 0.1 and different values of Q𝑄Qitalic_Q. The angular momentum mode is =00\ell=0roman_ℓ = 0. A single barrier potential is observed for all the spacetimes considered. Right panel: Time domain (TD) profile corresponding to the above mentioned spacetimes as observed at r=6,=0,1formulae-sequencesubscript𝑟601r_{*}=6,\ell=0,1italic_r start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = 6 , roman_ℓ = 0 , 1 with initial Gaussian profile ψ=e(u6)2100𝜓superscript𝑒superscript𝑢62100\psi=e^{\frac{-(u-6)^{2}}{100}}italic_ψ = italic_e start_POSTSUPERSCRIPT divide start_ARG - ( italic_u - 6 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 100 end_ARG end_POSTSUPERSCRIPT and grid spacing 0.1. The damped time domain profile indicates stability of the scalar field and the associated background geometries.
Refer to caption
(a) Variation of Re(ω𝜔\omegaitalic_ω) with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Refer to caption
(b) Variation of Im(ω𝜔\omegaitalic_ω) with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Figure 9: The variation of the real (left panel) and imaginary (right panel) part of the fundamental QNM with the Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is shown for the negative branch case and =1010\ell=10roman_ℓ = 10. The QNMs are calculated using the WKB method till 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order with Padé approximation (m~=5)\tilde{m}=5)over~ start_ARG italic_m end_ARG = 5 ) for different values of (κ,Q)𝜅𝑄(\kappa,Q)( italic_κ , italic_Q ). The magnitude of Re(ω𝜔\omegaitalic_ω) increases with increasing Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT while the Im(ω𝜔\omegaitalic_ω) decreases with Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

In Fig.(9(a)) and (9(b)), we show the dependence of real and imaginary components of the QNM on (κ,Q2𝜅superscript𝑄2\kappa,Q^{2}italic_κ , italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT) for =1010\ell=10roman_ℓ = 10, respectively. We observe that for a particular κ𝜅\kappaitalic_κ, as Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT increases, the frequency increases and so does the damping time. Finally, we comment on the similarity of fundamental modes for small κ𝜅\kappaitalic_κ solutions with the Reissner-Nordström metric as shown in Table 4. We observe that indeed the negative branch black holes for small κ𝜅\kappaitalic_κ have QNMs very close to the RN black hole and would require high precision observation to distinguish between them.

Table 5 summarizes the dependence of the QNMs on the metric parameters for different spacetimes discussed in our work.

Branch κ𝜅\kappaitalic_κ Q2superscript𝑄2Q^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT Re (ω𝜔\omegaitalic_ω) Im (ω𝜔\omegaitalic_ω)
+++ Increasing 0 \downarrow \uparrow
-- Increasing 0 \uparrow \downarrow
+++ Small Increasing \uparrow \uparrow to \downarrow
+++ Large Increasing \uparrow \uparrow
-- Fixed Increasing \uparrow \downarrow
Table 5: Table shows the dependence of the QNMs on the metric parameters for different spacetimes. \uparrow and \downarrow indicate respectively increasing and decreasing behaviour of the corresponding quantity with the change in the parameter. The inferences are for a fixed \ellroman_ℓ.

5 Conclusion

To summarise, gravity theories with zero metric determinant have been shown to be viable frameworks from the perspective of classical and quantum gravity [88, 89, 32, 31, 90, 40, 33, 39, 91, 92, 93] However, the stability of the solutions in these frameworks is yet to be understood. As an initial attempt towards this quest, in this work, we study the stability and QNMs of propagating scalar fields in asymptotically flat spacetimes in the degenerate Einstein-Gauss-Bonnet gravity theory. These spacetime solutions are characterised by parameters, κ𝜅\kappaitalic_κ which denotes the Gauss-Bonet coupling and the geometric charge Q𝑄Qitalic_Q. The metric component grrsubscript𝑔𝑟𝑟g_{rr}italic_g start_POSTSUBSCRIPT italic_r italic_r end_POSTSUBSCRIPT or gttsubscript𝑔𝑡𝑡g_{tt}italic_g start_POSTSUBSCRIPT italic_t italic_t end_POSTSUBSCRIPT possesses both plus and minus signs as shown in eq.(2.6) and the solutions can be classified into two branches corresponding to each sign. Hence, four distinct classes of spacetimes arise depending on the branch and geometric charge choices. By demanding the solutions to be black hole spacetimes, we constrain the Gauss-Bonnet coupling and geometric charge. This is achieved by demanding the presence of a horizon and any singularities in curvature scalar to be present behind the horizon. To this extent, we explicitly compute the Ricci scalar and study its singularities. For the positive branch with zero geometric charge, the Gauss-Bonnet coupling is constrained as 0<κ<8M20𝜅8superscript𝑀20<\kappa<8M^{2}0 < italic_κ < 8 italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and the Ricci scalar diverges at r=8Mκ3𝑟38𝑀𝜅r=\sqrt[3]{8M\kappa}italic_r = nth-root start_ARG 3 end_ARG start_ARG 8 italic_M italic_κ end_ARG. A similar analysis for the negative branch without geometric charge results in 0<κ<M20𝜅superscript𝑀20<\kappa<M^{2}0 < italic_κ < italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. However, unlike the positive branch, the Ricci scalar diverges only at r=0𝑟0r=0italic_r = 0. The above analysis is then extended to the cases with geometric charge, from which we conclude that the GB coupling in both branches restricts the range of the geometric charge. These restrictions on the parameter ranges have been discussed in detail and summarized in Table 1. However, unlike the zero charge case, the exact location of singularities could not be solved analytically and have been computed numerically for choices of (κ,Q𝜅𝑄\kappa,Qitalic_κ , italic_Q), which leads to black hole solutions.

We then investigate the stability of a propagating massless scalar field in these spacetime backgrounds. The effective potentials for all cases are single barriers and hence WKB was implemented to obtain QNMs for higher \ellroman_ℓ modes. For low \ellroman_ℓ values such as 0 and 1, the stability was verified by observing the damped nature of the corresponding time domain profiles. The dependence of the QNMs on the metric parameters has been established and summarised in Table 5. From our analysis of QNMs, we observe that the modes of our black holes converge towards their GR counterparts as GB coupling tends to zero.

However, for a definite answer about the stability of these solutions, we need to check their behaviour and QNMs under gravitational perturbations, which would be a natural extension of the current work. One also wonders if these geometric charges can mimic the actual Maxwell electromagnetic charge. At least, the preliminary analysis via scalar QNMs does not rule out this possibility but requires further investigation. As for future perspectives, one can extend this analysis by adding the cosmological constant, which poses additional complexities. Alternatively, one might try to construct rotating or slow-rotating examples around these solutions and compute the shadows, QNM and other observable quantities. These results will be relevant from the standpoint of gravitational wave observation. However, this is a non-trivial endeavour and will be addressed in future.

6 Acknowledgements

The authors are grateful to Sayan Kar and K.G.Arun for their valuable comments on the manuscript. The authors are also thankful for the suggestions the anonymous referee gave that led to the improvement of the draft. S.G acknowledges the support of SERB project grant CRG/2020/002035. S.G. also acknowledges the discussions and input from Kinjal Banerjee. P.D.R. acknowledges the support of a grant from the Infosys Foundation.

Appendix A QNMs through Prony extraction

In this section, we verify the values of the fundamental QNMs obtained via 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order WKB method with Padè approximation by performing Prony extraction for the positive and negative branch spacetimes having zero geometric charge as shown in Table 6. The Prony technique fits the time domain data with a superposition of damped sinusoidal frequencies, as discussed in [85]. Only the most dominant fundamental mode can be recovered with good accuracy through this technique. However, computing the time domain profile for each parameter set is time consuming since the grid spacing should be small for better accuracy. Hence we apply the WKB method for QNM computation for all the spacetimes studied in our work and verify the results with Prony technique for certain sample cases. Note that while the order of the magnitude of the modes match well even for small \ellroman_ℓ values between the two techniques, the higher =33\ell=3roman_ℓ = 3 mode shows better matching for a specific κ𝜅\kappaitalic_κ. This is attributed to the fact that while studying fundamental modes with overtone number p=0𝑝0p=0italic_p = 0 (see eq.(4.5)), WKB is less accurate for lowest \ellroman_ℓ values where p𝑝pitalic_p and \ellroman_ℓ are comparable. The QNM obtained from Prony extraction can also be verified by re-plotting over the time domain data, an example of which is shown in Fig.(10) for the positive branch case with =3,Q=0,κ=0.1formulae-sequence3formulae-sequence𝑄0𝜅0.1\ell=3,Q=0,\kappa=0.1roman_ℓ = 3 , italic_Q = 0 , italic_κ = 0.1.

Positive branch Negative branch
\ellroman_ℓ κ𝜅\kappaitalic_κ WKB Prony κ𝜅\kappaitalic_κ WKB Prony
0 0.1 0.1092 -i 0.10657 0.0962 -i 0.10257 0.1 0.1122 -i 0.1026 0.1053 -i 0.09173
6 0.0341 -i 0.09236 0.0315 -i 0.09199 0.9 0.1144 -i 0.08251 0.1101 -i 0.07557
1 0.1 0.2905 -i 0.09918 0.2899 -i 0.10034 0.1 0.2954 -i 0.09603 0.2933 -i 0.09873
6 0.3072 -i 0.1279 0.2022 -i 0.1253 0.9 0.3189 -i 0.07644 0.3182 -i 0.0786
3 0.1 0.6704 -i 0.09792 0.6712 -i 0.09752 0.1 0.6805 -i 0.09497 0.6814 -i 0.09458
6 0.5274 -i 0.13059 0.5255 -i 0.14253 0.9 0.7367 -i 0.07547 0.7378 -i 0.07513
Table 6: Comparison of fundamental QNM obtained from WKB method (till 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order with Padè approximation) and Prony extraction for different κ𝜅\kappaitalic_κ values corresponding to the positive and negative branch of Q=0𝑄0Q=0italic_Q = 0 case. With increasing angular momentum mode \ellroman_ℓ, better match is observed between the QNM values obtained by the two methods.
Refer to caption
Figure 10: The time domain profile (in black) for positive branch solution with κ=0.1,Q=0,=3formulae-sequence𝜅0.1formulae-sequence𝑄03\kappa=0.1,\,Q=0,\,\ell=3italic_κ = 0.1 , italic_Q = 0 , roman_ℓ = 3 fitted with fundamental QNM 0.671247i0.09752710.671247𝑖0.09752710.671247-i0.09752710.671247 - italic_i 0.0975271 (shown in red). The QNM is extracted from the time domain data between t120200similar-to𝑡120200t\sim 120-200italic_t ∼ 120 - 200. The QNM value is independent of slight change in the time slice and thus shows a good fit.

Appendix B Comparison of QNMs for negative branch, Q=0𝑄0Q=0italic_Q = 0 metric with [1]

κ𝜅\kappaitalic_κ α𝛼\alphaitalic_α Values from [1] Our result
0.05 0.1 0.595897 - i 0.188579 0.595897 - i 0.188578
0.15 0.3 0.618405 - i 0.171552 0.618404 - i 0.1715519
0.25 0.5 0.644336 - i 0.144444 0.644336 - i 0.144444
Table 7: Comparison of fundamental ωQNMsubscript𝜔𝑄𝑁𝑀\omega_{QNM}italic_ω start_POSTSUBSCRIPT italic_Q italic_N italic_M end_POSTSUBSCRIPT for different κ,=1,M=1/2formulae-sequence𝜅1𝑀12\kappa,\ell=1,M=1/2italic_κ , roman_ℓ = 1 , italic_M = 1 / 2 values belonging to the negative branch with zero geometric charge with the values mentioned in Table I of [1]. The QNMs quoted in column 4 are calculated using 6thsuperscript6𝑡6^{th}6 start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT order WKB technique with Padé approximant (m~=5~𝑚5\tilde{m}=5over~ start_ARG italic_m end_ARG = 5). The QNM values match upto sixth decimal place.

As mentioned earlier, the metric for the negative branch with zero charge in our work matches the 4D black hole solution in EGB gravity studied in [1] with the mapping of parameter α𝛼\alphaitalic_α in [1] to 2κ2𝜅2\kappa2 italic_κ of our metric. Table 7 shows the values of fundamental QNM calculated for =11\ell=1roman_ℓ = 1 and different values of κ𝜅\kappaitalic_κ or α𝛼\alphaitalic_α. Note that following [1], for this comparison we set M=1/2𝑀12M=1/2italic_M = 1 / 2. The ‘working precision’ was set to 60 while computing the QNMs in Mathematica. The values quoted in Table 7 show a good match between our results and that of [1].

References