Abstract
HTML
Reference
Related
PDF
-
Einstein-Gauss-Bonnet (EGB) gravity is the simplest case of Lovelock's extension of Einstein gravity [1]. The theory exists naturally in higher dimensions and becomes important with the development of string theory. Its black hole solutions [2-5] play an important role in studying anti-de Sitter/conformal field theory (AdS/CFT) correspondence. In four dimensions, the Gauss-Bonnet combination is a topological invariant and does not affect the classical equations of motion. Einstein's general relativity is widely believed to be the unique Lagrangian theory yielding second order equations of motion for the metric in four dimensions. The Lovelock type of construction requires additional scalar or vector fields, giving rise to Hordenski gravities [6] or generalized Galilean gravities [7-9].
However, this has been recently challenged by a novel four dimensional EGB solution [10], which is encoded in the dimensional regularization. After a rescaling of the coupling constant
$ \alpha\rightarrow\frac{\alpha}{D-4} $ , the$ D\rightarrow4 $ limit can be taken smoothly at the solution level, yielding a nontrivial new black hole. This created a great deal of interest [11-40], as well as controversy [41], as one would expect that higher-derivative theories of finite order that are ghost free in four-dimensions cannot be pure metric theories but are of the Hordenski type. In fact, the resolution of the divergence at the action level is far less clear, and the action principle for the$ D = 4 $ solution is not given in [10]. One consistent approach is to consider a compactification of D-dimensional EGB gravity on a maximally symmetric space of$ (D-p) $ dimensions, where$ p\leqslant 4 $ , keeping only the breathing mode characterizing the size of the internal space such that the theory is minimum. The$ D\rightarrow p $ limit can then be smoothly applied [42], leading to an action principle admitting the four dimensional EGB solution [10, 43, 44] (see also [45, 46]). In fact, the analogous$ D\rightarrow 2 $ limit of Einstein gravity was proposed many years ago [47] (see also the recent work in [48, 49]). It turns out that the resulting theory is indeed a special Horndeski theory. The action contains a Horndeski scalar that coupled to the Gauss-Bonnet term, as well as the metric field. The lower dimensional action is given by [42]①$\begin{aligned}[b] S_p =& \int {\rm d}^p x \sqrt{-g} \Big[R + \alpha \phi {\cal G} + \alpha \big( 4 G^{\mu\nu} \nabla_\mu \phi \nabla_\nu \phi \\&- 4 (\nabla \phi)^2 \nabla^2 \phi+ 2(\nabla \phi)^2(\nabla \phi)^2 \big) \Big], \end{aligned}$
(1) where
$ G^{\mu\nu} $ is the Einstein tensor, and$ {\cal G}\equiv R^{\mu\nu\rho\sigma}R_{\mu\nu\rho\sigma} - 4 R^{\mu\nu} R_{\mu\nu } + R^2 $
(2) is the Gauss-Bonnet term.
There are several interesting features in the new theory (1.1). First, there is no scalar kinematic term; thus, a scalar propagator should be absent. Second, the classical solution of the Minkowski vacuum admits two independent scalar solutions, namely,
$ \phi = 0 $ , which we refer to as the ordinary vacuum, and$ \phi = \log \frac{r}{r_0} $ , which we refer to as the logarithm vacuum.② Last but not the least, the$ \alpha $ correction is inherited from the higher-dimensional counterparts. Hence, it includes not only the four dimensional Gauss-Bonnet term coupled with a scalar field but also scalar terms that are non-minimally coupled to gravity. The latter seems to be more significant than the former in the corrections to the classical solution of Einstein gravity.To test the above interesting features, we will study the asymptotic structure of the lower dimensional EGB theory (1.1) in the Bondi-Sachs framework [50, 51] in the present work. In 1960s, Bondi et al. established an elegant framework of asymptotic expansions to understand the gravitational radiation in axisymmetric isolated systems in the Einstein theory [50]. The metric fields are expanded in inverse powers of a radius coordinate in a suitable coordinate system, and the equations of motion are solved order by order with respect to proper boundary conditions. In this framework [50], the radiation is characterized by a single function from the expansions of the metric fields, which is called the news function. Meanwhile, the mass of the system always decreases whenever there is a news function. Sachs then extended this framework to asymptotically flat spacetime [51]. This is a good starting point to study the asymptotic structure of the theory (1.1) in three dimensions. We obtain the asymptotic form of the solution space. There is no news function in three dimensions. This is a direct demonstration that there is no scalar propagating degree of freedom. Next, we turn to the four dimensional case. Two scalar solutions of the vacuum lead to two different boundary conditions for the scalar fields. The solution spaces are obtained in series expansions with respect to different boundary conditions. For both cases, there is no news function in the expansion of the scalar field, which means that a scalar propagating degree of freedom does not exist in four dimensions. In addition, the
$ \alpha $ corrections are transparent in the solution space. They arise just one order after the integration constants and also arise in the quadrupole, i.e., the first radiating source in the multipole expansion. In the logarithm vacuum, the$ \alpha $ corrections even live at the linearized level. We show the precise formula of the$ \alpha $ corrections in the quadrupole. Hence, the two different vacua are indeed experimentally distinguishable.The organization of this paper is quite simple. In the next section, we study the asymptotic structure in three dimensions. We perform the same analysis in four dimensions in Section II, with special emphasis on
$ \alpha $ corrections in the gravitational solutions and the classical radiating source. After a brief conclusion and a discussion on some future directions, we complete the article with an appendix, where some useful relations are listed. -
As a toy model, it is worthwhile to examine the EGB theory (1.1) in three dimensions to determine if the Bondi-Sachs framework is applicable to this theory. In three dimensions, the Gauss-Bonnet term is identically zero. Applying the relations in Appendix A, the variation of the action is obtained as
$ \begin{aligned}[b] \delta S_3 =& \int {\rm d}^3 x \sqrt{-g}\bigg\{-\frac12 g_{\tau\gamma}\delta g^{\tau\gamma} \bigg[R + \alpha \big( 4 G^{\mu\nu} \nabla_\mu \phi \nabla_\nu \phi - 4 (\nabla \phi)^2 \nabla^2 \phi + 2(\nabla \phi)^2(\nabla \phi)^2 \big) \bigg] + R_{\mu\nu} \delta g^{\mu\nu} + \nabla_\mu \left(g_{\alpha\beta} \nabla^\mu \delta g^{\alpha\beta} - \nabla_\nu \delta g^{\mu\nu}\right)\\& + \alpha \bigg[2 \left(g_{\rho\sigma} \nabla^\mu \nabla^\nu \delta g^{\rho\sigma} - \nabla_\rho \nabla^\mu \delta g^{\rho\nu} - \nabla_\rho \nabla^\nu \delta g^{\rho\mu} + \nabla^2 \delta g^{\mu\nu} \right) \nabla_\mu \phi \nabla_\nu \phi+ 4 R^\mu_\rho \nabla_\mu\phi \nabla_\nu\phi \delta g^{\nu\rho} + 4 R^\nu_\rho \nabla_\mu\phi \nabla_\nu\phi \delta g^{\mu\rho} \\ & - 2 \bigg( R \nabla_\mu \phi \nabla_\nu \phi \delta g^{\mu\nu} + (\nabla \phi)^2 R_{\rho\sigma} \delta g^{\rho\sigma} + g_{\rho\sigma} (\nabla \phi)^2 \nabla^2 \delta g^{\rho\sigma} - (\nabla \phi)^2 \nabla_\rho \nabla_\sigma \delta g^{\rho\sigma} \bigg)- 4 \delta g^{\mu\nu} \nabla_\mu \phi \nabla_\nu \phi \nabla^2 \phi \\ &- 4 (\nabla \phi)^2 \nabla_\rho \nabla_\sigma \phi \delta g^{\rho\sigma} + 4 \delta g^{\mu\nu} \nabla_\mu \phi \nabla_\nu \phi (\nabla \phi)^2 + 2 (\nabla \phi)^2 g_{\mu\nu} \nabla_\rho \phi \nabla^\rho \delta g^{\mu\nu} - 4 (\nabla \phi)^2 \nabla_\rho \phi \nabla_\mu \delta g^{\rho\mu} \bigg] \\ &+ \alpha \bigg[ 8 G^{\mu\nu} \nabla_\mu \delta \phi \nabla_\nu \phi - 8 g^{\mu\nu} \nabla_\mu \delta \phi \nabla_\nu \phi \nabla^2 \phi + 8 g^{\mu\nu} \nabla_\mu \delta \phi \nabla_\nu \phi (\nabla \phi)^2 - 4 (\nabla \phi)^2 \nabla^2 \delta \phi \bigg]\bigg\}. \end{aligned} $
(3) After dropping many boundary terms, one obtains the Einstein equation
$ G_{\mu\nu} - \alpha T_{\mu\nu} = 0, $
(4) where
$ \begin{aligned}[b] T_{\mu\nu} =& g_{\mu\nu} \big[ 4 R^{\rho\sigma} \nabla_\rho \phi \nabla_\sigma \phi + 2 \nabla_\sigma \nabla_\rho \phi \nabla^\rho \nabla^\sigma \phi - 2 (\nabla^2\phi)^2 + (\nabla \phi)^2(\nabla \phi)^2 + 4 \nabla_\rho\nabla_\sigma\phi \nabla^\rho\phi \nabla^\sigma \phi \big]\\ &+ 4 \nabla_\mu \nabla_\nu \phi \nabla^2 \phi - 4 \nabla_\rho\nabla_\mu \phi \nabla^\rho \nabla_\nu \phi + 4 \nabla_\mu \phi \nabla_\nu \phi \nabla^2 \phi - 4 \nabla_\rho \nabla_\mu \phi \nabla_\nu \phi \nabla^\rho \phi - 4 \nabla_\rho \nabla_\nu \phi \nabla_\mu \phi \nabla^\rho \phi \\&- 4 \nabla_\mu \phi \nabla_\nu \phi (\nabla\phi)^2 - 4 R^\rho_\nu \nabla_\mu \phi \nabla_\rho \phi - 4 R^\rho_\mu \nabla_\nu \phi \nabla_\rho \phi +2 R \nabla_\mu \phi \nabla_\nu \phi + 2 G_{\mu\nu} (\nabla \phi)^2 - 4 R_{\mu\rho\nu\sigma}\nabla^\rho \phi \nabla^\sigma \phi , \end{aligned} $
(5) and the scalar equation
$ G^{\mu\nu} \nabla_\mu \nabla_\nu \phi + R^{\mu\nu} \nabla_\mu \phi \nabla_\nu \phi + \nabla^2\phi (\nabla \phi)^2 - (\nabla^2\phi)^2\\ + 2 \nabla_\rho \nabla_\sigma \phi \nabla^\sigma\phi \nabla^\rho \phi + \nabla_\rho \nabla_\sigma \phi \nabla^\sigma \nabla^\rho \phi = 0. $
(6) -
In order to study three dimensional Einstein theory at future null infinity, the Bondi gauge was adapted to three dimensions with the gauge fixing ansatz [52, 53]
$ {\rm d}s^2 = \frac{V}{r} {\rm e}^{2\beta} {\rm d}u^2 - 2 {\rm e}^{2\beta} {\rm d}u{\rm d}r + r^2 ({\rm d}\phi - U {\rm d}u)^2, $
(7) in
$ (u,r,\varphi) $ coordinates, and$ \beta,U,V $ are functions of$ (u,r,\varphi) $ . Suitable fall-off conditions that preserve asymptotic flatness are$ U = {\cal O}(r^{-2}),\quad V = {\cal O}(r), \quad \beta = {\cal O}(r^{-1}),\quad \phi = {\cal O}(r^{-1}). $
(8) One of the advantages of the Bondi gauge is encoded in the organization of the equations of motion [50, 51, 53] (also see [54, 55] for the generalization to matter coupled theories). There are four types of equations of motion, namely the main equation, standard equation, supplementary equation, and trivial equation. The terminology characterizes their special properties. The main equations determine the r-dependence of the unknown functions
$ \beta,U,V $ , while the standard equation controls the time evolution of the scalar field. Because of the Bianchi identities, the supplementary equations are left with only one order in the$1/r$ expansion undetermined, and the trivial equation is fulfilled automatically when the main equations and the standard equation are satisfied. In three dimensional EGB theory (1.1), the components$ G_{rr} - \alpha T_{rr} = 0 $ ,$ G_{r\varphi} - \alpha T_{r\varphi} = 0 $ , and$ G_{ru} - \alpha T_{ru} = 0 $ are the main equations. The scalar equation is the standard equation;$ G_{u\varphi} - \alpha T_{u\varphi} = 0 $ and$ G_{uu} - \alpha T_{uu} = 0 $ are the supplementary equations. Finally,$ G_{\varphi\varphi} - \alpha T_{\varphi\varphi} = 0 $ is the trivial equation. -
Once the scalar field is given as initial data in the series expansion
$ \phi(u,r,\varphi) = \sum_{a = 1}^\infty\frac{\phi_a(u,\varphi)}{r^a}, $
(9) the unknown functions
$ \beta,U,V $ can be solved explicitly. In asymptotic form, they are$ \begin{aligned}[b] \beta =& \frac{3 \alpha \phi_1 \partial_u \phi_1}{4r^3} + \frac{\alpha}{2r^4} \bigg[ 2M \phi_1^2 + 4 (\partial_\varphi \phi_1)^2 - 2 \phi_1 \partial_\varphi^2 \phi_1\\& + 5 \phi_1^2 \partial_u \phi_1 + 6 \phi_2 \partial_u\phi_1 + 2 \phi_1 \partial_u \phi_2 \bigg] + {\cal O}(r^{-5}), \end{aligned} $
(10) $ \begin{aligned}[b] U =& \frac{N(u,\varphi)}{r^2} - \frac{\alpha}{6r^4}\bigg[20 \partial_u\phi_1 \partial_\varphi \phi_1 + \phi_1 \left(3 \partial_\varphi M \partial_u \phi_1 \right.\\&\left.- \partial_u N \partial_u \phi_1 - 4 \partial_u\partial_\varphi \phi_1\right)\bigg] + {\cal O}(r^{-5}), \end{aligned} $
(11) $ \begin{aligned}[b] V =& -r M(u,\varphi) - \frac1r\left[ N^2 - 2 \alpha \partial_u \phi_1 (2\partial_u\phi_1 - \phi_1 \partial_u M)\right]\\ & + \frac{\alpha}{3r^2} \bigg[4(1-M) \phi_1^2 \partial_u M - 8 \phi_2 \partial_u \phi_1 \partial_u M - 4 \phi_1 \partial_u \phi_2 \partial_u M\\ & + \partial_\varphi M \partial_\varphi \phi_1 \partial_u \phi_1 - 2 \partial_\varphi \phi_1 \partial_u N \partial_u \phi_1- 4 \partial_\varphi^2 \phi_1 \partial_u \phi_1 \\ &+ 24 \partial_u \phi_1 \partial_u \phi_2+ 16 \partial_\varphi \phi_1 \partial_u\partial_\varphi \phi_1 + \phi_1 \bigg(16 M \partial_u \phi_1 \\ &- 3 \partial_\varphi M \partial_u \phi_1 + 8 (\partial_u \phi_1)^2 + 6 \partial_u \phi_1 \partial_u\partial_\varphi N + \partial_\varphi M \partial_u \partial_\varphi \phi_1 \\ &- 2 \partial_u N \partial_u\partial_\varphi \phi_1 - 4 \partial_u\partial_\varphi^2 \phi_1 \bigg)\bigg] + {\cal O}(r^{-3}), \\[-15pt]\end{aligned}$
(12) where
$ N(u,\varphi) $ and$ M(u,\varphi) $ are integration constants. Compared to the pure Einstein case [53], the$ \alpha $ corrections are at least two orders after the integration constants. The solution space is no longer in a closed form.The time evolution of every order of the scalar field is controlled from the standard equation. This means that there is no news function from the scalar field. We list the first two orders of the standard equation
$ 2(\partial_u \phi_1)^2 + \phi_1 (\partial_u M + 4 \partial_u^2 \phi_1 ) = 0 , $
(13) $ \begin{aligned}[b]&4\partial_u (\phi_1 \partial_u \phi_2) + 8 \partial_\varphi \phi_1 \partial_u\partial_\varphi \phi_1 + 12 \phi_2 \partial_u^2 \phi_1 + 2 \phi_1^2 \partial_u^2 \phi_1 -4 \partial_\varphi^2 \phi_1 \partial_u \phi_1 + \phi_1 \left(\partial_\varphi^2 M + 8 M \partial_u \phi_1 + 10 (\partial_u \phi_1)^2 - 2 \partial_u\partial_\varphi N\right) \\&\quad - 2 \partial_\varphi M \partial_\varphi \phi_1 + 4 \partial_\varphi \phi_1 \partial_u N + \frac52 \phi_1^2 \partial_u M + 3 \phi_2 \partial_u M = 0 . \end{aligned}$
(14) The constraints from the supplementary equations are
$ \partial_u M = 0, $
(15) $ \partial_u N = \frac12 \partial_\varphi M, $
(16) which are the same as in the pure Einstein case. This is well expected, as the
$ \alpha $ corrections are in the higher orders. In the end, there is no propagating degree of freedom at all in this theory in three dimensions. The whole effect of the higher dimensional Gauss-Bonnet terms is a kind of deformation of Einstein gravity. -
We now turn to the more realistic case of four dimensions. The action is given by (1.1) with
$ p = 4 $ . The derivation of the equations of motion is quite similar to the three dimensional case, with the additional contribution from the Gauss-Bonnet term, which is detailed in Appendix A. The Einstein equation is obtained as$ G_{\mu\nu} - \alpha T_{\mu\nu} = 0, $
(17) where the modification to
$ T_{\mu\nu} $ (5) from the Gauss-Bonnet term is$ \begin{aligned}[b] &-4 R_{\mu\rho\nu\sigma}\nabla^\rho \nabla^\sigma \phi + 4 G_{\mu\nu} \nabla^2 \phi - 4 R_\mu^\rho \nabla_\nu \nabla_\rho \phi - 4 R_\nu^\rho \nabla_\mu \nabla_\rho \phi\\& + 4 g_{\mu\nu} R^{\rho\sigma} \nabla_\rho \nabla_\sigma \phi + 2 R \nabla_\mu\nabla_\nu \phi ,\end{aligned} $
(18) and the scalar equation is
$ \begin{aligned}[b] &G^{\mu\nu} \nabla_\mu \!\nabla_\nu \!\phi \!+\! R^{\mu\nu} \!\nabla_\mu\! \phi \!\nabla_\nu \!\phi \!+\! \nabla^2\phi (\nabla \!\phi)^2 \!-\! (\nabla^2\!\phi)^2 \!+\! 2 \!\nabla_\rho \!\nabla_\sigma \!\phi \nabla^\sigma\!\phi \!\nabla^\rho \!\phi \\ & \quad + \nabla_\rho \nabla_\sigma \phi \nabla^\sigma \nabla^\rho \phi - \frac18 \left(R^{\mu\nu\rho\sigma}R_{\mu\nu\rho\sigma} - 4 R^{\mu\nu} R_{\mu\nu } + R^2\right) = 0. \end{aligned} $
(19) -
In four dimensions, we choose the Bondi gauge fixing ansatz [50]
$ \begin{aligned}[b] {\rm d}s^2 =& \left[\frac{V}{r}{\rm e}^{2\beta} + U^2r^2{\rm e}^{2\gamma}\right]{\rm d}u^2 - 2{\rm e}^{2\beta}{\rm d}u{\rm d}r\\ &- 2U r^2{\rm e}^{2\gamma}{\rm d}u{\rm d}\theta + r^2\left[{\rm e}^{2\gamma}{\rm d}\theta^2 + {\rm e}^{-2\gamma}\sin^2\theta {\rm d}\phi^2\right], \end{aligned} $
(20) in
$ (u,r,\theta,\varphi) $ coordinates. The metric ansatz involves four functions$ (V,U,\beta,\gamma) $ of$ (u,r,\theta) $ that are to be determined by the equations of motion. These functions and the scalar field are$ \varphi $ -independent, and hence, the metric has manifest global Killing direction$ \partial_\varphi $ . This is the “axisymmetric isolated system” introduced in [50].③ Following [50] closely, the falloff conditions for the functions$ (\beta,\gamma,U,V) $ in the metric for asymptotic flatness are given by$ \beta = {\cal O}(r^{-1}),\;\;\;\;\gamma = {\cal O}(r^{-1}),\;\;\;\;U = {\cal O}(r^{-2}),\;\;\;\;V = -r + {\cal O}(1). $
(21) Considering the metric of the Minkowski vacuum
$ {\rm d}s^2 = -{\rm d}u^2-2{\rm d}u{\rm d}r+r^2({\rm d}\theta^2 + \sin^2\theta {\rm d}\phi^2), $
(22) we have two branches of the scalar solution
$ \phi = 0,\quad {\rm{or}} \quad \phi = \log \frac{r}{r_0}. $
(23) The first gives the true vacuum with the maximal spacetime symmetry preserved; the second solution is nearly Minkowski, since the scalar does not preserve the full symmetry. Both are valid solutions, with one not encompassing the other. Analogous emergence of logarithmic dependence for the scalar also occurs in the AdS vacuum for some critical Einstein-Horndeski gravity, where the scalar breaks the full conformal symmetry of the AdS to the subgroup of the Poincare together with the scaling invariance [56]. However, ours is the first example in the Minkowski vacuum. The necessary falloff condition of the scalar field consistent with the metric falloffs is either
$ \phi = {\cal O}(r^{-1}),\quad {\rm{or}}\quad \phi = \log \frac{r}{r_0} + {\cal O}(r^{-1}). $
(24) Similar to the three-dimensional case, the equations of motion are organized as follows:
$ G_{rr} - \alpha T_{rr} = 0 $ ,$ G_{r\theta} - \alpha T_{r\theta} = 0 $ , and$ G_{\theta\theta}g^{\theta\theta} + G_{\varphi\varphi}g^{\varphi\varphi} - \alpha T_{\theta\theta} g^{\theta\theta} - \alpha T_{\varphi\varphi} g^{\varphi\varphi} = 0 $ are the main equations. The scalar equation and$ G_{\theta\theta} - \alpha T_{\theta\theta} = 0 $ are the standard equations;$ G_{u\theta} - \alpha T_{u\theta} = 0 $ and$ G_{uu} - \alpha T_{uu} = 0 $ are supplementary; and$ G_{ru} - \alpha T_{ru} = 0 $ is trivial.$ G_{r\varphi} - \alpha T_{r\varphi} = 0 $ ,$ G_{\theta\varphi} - \alpha T_{\theta\varphi} = 0 $ , and$ G_{u\varphi} - \alpha T_{u\varphi} = 0 $ are trivial because the system is$ \varphi $ -independent. -
Suppose that
$ \gamma $ and$ \phi $ are given in a series expansion as initial data④$ \gamma = \frac{c(u,\theta)}{r} + \sum^{\infty}_{a = 3}\frac{\gamma_a(u,\theta)}{r^a}, $
(25) $ \phi = \sum^{\infty}_{a = 1}\frac{\phi_a(u,\theta)}{r^a}. $
(26) The unknown functions
$ \beta,U,V $ are solved in asymptotic form as$ \beta = -\frac{c^2}{4r^2} + \frac{4 \alpha \phi_1 \partial_u \phi_1}{3r^3} + {\cal O}(r^{-4}), $
(27) $ \begin{aligned}[b] U =& -\frac{2\cot\theta c + \partial_\theta c}{r^2} + \frac{N(u,\varphi)}{r^3} + \frac{1}{2r^4}\bigg[5 \cot\theta c^3 - 3c N \\&+ 6 \cot\theta \gamma_3 + \frac52 c^2 \partial_\theta c + 3 \partial_\theta c + \alpha\Bigg( 16 \cot\theta \phi_1 \partial_u c \\ &\left.- \frac{20}{3} \partial_\theta \phi_1 \partial_u \phi_1 + 8 \phi_1 \partial_u\partial_\theta c + \frac43 \phi_1 \partial_u\partial_\theta \phi_1\right) \bigg] + {\cal O}(r^{-5}), \end{aligned} $
(28) $ \begin{aligned}[b] V \!=\!& -r \!+\! M(u,\theta) \!+\! \frac{1}{2r}\bigg[ \cot\theta N \!-\! \frac12 c^2 (5\!+\!11\cos2\theta)\csc^2\theta\\& \!-\! 5 (\partial_\theta c)^2 + \partial_\theta N - c(19\cot\theta \partial_\theta c + 3 \partial_\theta^2 c) \\& + 8 \alpha (\partial_u\phi_1)^2 \bigg] + {\cal O}(r^{-2}), \end{aligned} $
(29) where
$ N(u,\theta) $ and$ M(u,\theta) $ are integration constants. Clearly, the coupling$ \alpha $ emerges just one order after the integration constants. They are from the non-minimal coupled scalar rather than the four dimensional Gauss-Bonnet term.The standard equations control the time evolution of the initial data
$ \gamma $ and$ \phi $ . In particular, the time evolution of every order of the scalar field has been constrained. That means there is no news function associated to the scalar field. Hence, the scalar field does not have a propagating degree of freedom similar to the three dimensional case. We list the first two orders of the scalar equation$ (\partial_u\phi_1)^2 + \phi_1 \partial_u^2 \phi_1 = 0, $
(30) $ \begin{aligned}[b] &2 \phi_1 \partial_u^2 \phi_2 + 6 \partial_u \phi_1 \partial_u \phi_2 - \partial_\theta^2 \phi_1 \partial_u \phi_1 - \cot\theta \partial_\theta \phi_1 \partial_u \phi_1 + 4 \partial_\theta \phi_1 \partial_u\partial_\theta \phi_1 + \phi_1^2 \partial_u^2 \phi_1 + 6 \phi_2 \partial_u^2 \phi_1 + 6 \phi_1 \partial_u \phi_1 + 4 \phi_1 (\partial_u\phi_1)^2\\&\quad + \phi_1\left[\partial_u\partial_\theta^2 c + 3 \cot\theta \partial_u\partial_\theta c - 2 \partial_u c - 2 (\partial_u c)^2 - \partial_u M \right] = 0.\end{aligned} $
(31) The first order of the standard equation from the Einstein equation is
$ \begin{aligned}[b] \partial_u \gamma_3 =& \frac18 \bigg[3 (\partial_\theta c)^2 + c (5\cot\theta \partial_\theta c + 3 \partial_\theta^2 c) -2 c^2 \csc^2\theta \\&\times(3 + \cos2\theta) + 2 c M + \cot\theta N - \partial_\theta N - 16 \alpha \phi_1 \partial_u^2 c \bigg]. \end{aligned} $
(32) In the Newman-Penrose variables,
$ \gamma_3 $ is related to$ \Psi_0^0 $ or$ {\bar \Psi }_0^0 $ [57]. Since its time evolution involves$ \alpha $ , the effect of the higher dimensional Gauss-Bonnet term arises, starting from the first radiating source, i.e., quadrupole, in the multipole expansion [58]. This can be seen more precisely on a linearized level from the logarithm vacuum case, which we will present in the next subsection.The supplementary equations yield
$ \partial_u N = \frac13\left[ 7 \partial_\theta c \partial_u c + c(16\cot\theta \partial_u c + 3 \partial_u\partial_\theta c) - \partial_\theta M \right]. $
(33) $ \partial_u m = -2(\partial_u c)^2,\quad m \equiv M - \frac{1}{\sin\theta} \partial_\theta ( 2 \cos\theta c + \sin\theta \partial_\theta c). $
(34) The latter is the mass-loss formula in this theory. It is the same as that in the pure Einstein case [50] , which is expected, as the corrections from the Gauss-Bonnet term are in the higher orders.
-
One intriguing feature of the theory is that the scalar admits a logarithmic dependence in the Minkowski vacuum, such that the full Lorentz group breaks down for any matter coupled to the scalar. We would like to analyze its solution space here. Suppose that
$ \gamma $ and$ \phi $ are given in series expansions as initial data:$ \gamma = \frac{c(u,\theta)}{r} + \sum^{\infty}_{a = 3}\frac{\gamma_a(u,\theta)}{r^a}, $
(35) $ \phi = \log \frac{r}{r_0} + \sum^{\infty}_{a = 1}\frac{\phi_a(u,\theta)}{r^a}. $
(36) We can solve the unknown functions
$ \beta,U,V $ in asymptotic form as$ \begin{aligned}[b] \beta =& -\frac{c^2}{4r^2} + \frac{1}{4r^4}\bigg[-3 c \gamma_3 + \alpha \bigg(4c\cot\theta (\partial_\theta c + \partial_\theta \phi_1 ) + c^2 ( \csc^2\theta + 3 \cot^2\theta) - \phi_1^2 - 2 \phi_2 + (\partial_\theta c)^2 + 2 \partial_\theta c\partial_\theta \phi_1 \\&+ (\partial_\theta \phi_1 )^2 + 2 \alpha \partial_u \phi_1 - 8 \alpha (\partial_u \phi_1 )^3\bigg)\bigg] + {\cal O}(r^{-5}), \end{aligned} $
(37) $ \begin{aligned}[b] U =& -\frac{2\cot\theta c + \partial_\theta c}{r^2} + \frac{N(u,\varphi)}{r^3}+ \frac{1}{2r^4}\bigg\{5 \cot\theta c^3 - 3c N + 6 \cot\theta \gamma_3 + \frac52 c^2 \partial_\theta c + 3 \partial_\theta c + \alpha \bigg[ 14\partial_\theta c \partial_u c \partial_u \phi_1\\& - 4 \partial_\theta c \partial_u c - 4 \partial_\theta \phi_1 \partial_u c - 4 \partial_\theta c \partial_u \phi_1 - 2 \partial_\theta M \partial_u \phi_1 - 6 \partial_u N \partial_u \phi_1\\ & - 2 c \left( 4\cot\theta \partial_u c - 16 \cot\theta \partial_u c \partial_u \phi_1 + 4 \cot\theta \partial_u \phi_1 - 3 \partial_u \partial_\theta c \partial_u \phi_1 \right)\bigg] \bigg\} + {\cal O}(r^{-5}), \end{aligned} $
(38) $ V = -r + M(u,\theta) + \frac{1}{2r}\bigg[ \cot\theta N - \frac12 c^2 (5+11\cos2\theta)\csc^2\theta - 5 (\partial_\theta c)^2 + \partial_\theta N - c(19\cot\theta \partial_\theta c + 3 \partial_\theta^2 c) - 2 \alpha + 8 \alpha (\partial_u\phi_1)^2 \bigg] + {\cal O}(r^{-2}). $
(39) The coupling
$ \alpha $ emerges again one order after the integration constants. At this order, it is from the non-minimally coupled scalar. The$ \alpha^2 $ terms in$ \beta $ indicate the nonlinear scalar-gravity coupling.The time evolution of every order of the scalar field is also constrained. There is no news function associated with the scalar field. The first two orders of the scalar equation are
$ \partial_u \phi_1 + (\partial_u \phi_1)^2 - (\partial_u c)^2 - \frac12 = 0, $
(40) $ \begin{aligned}[b]& 4\phi_2 \partial_u^2 \phi_1 - 4 \partial_u \phi_2 - 8 \partial_u \phi_1 \partial_u \phi_2 - 3 M - 2 \phi_1 + 3 \cot\theta \partial_\theta c + \cot\theta \partial_\theta \phi_1 + \partial_\theta^2 c + \partial_\theta^2 \phi_1 - 2 \cot\theta \partial_\theta c \partial_u c + 2 \cot\theta \partial_\theta \phi_1 \partial_u c - 2 \partial_\theta^2 c \partial_u c \\ &\quad- 2 \partial_\theta^2 \phi_1 \partial_u c - 4 \phi_1 (\partial_u c)^2 - 6 \phi_1 \partial_u \phi_1 - 12 \cot\theta \partial_\theta c \partial_u \phi_1 - 4\cot\theta \partial_\theta \phi_1 \partial_u \phi_1 - 4 \partial_\theta^2 c \partial_u \phi_1 - 4 \partial_\theta^2 \phi_1 \partial_u \phi_1 + 8 \phi_1 (\partial_u\phi_1)^2 \\&\quad+ 4 \partial_\theta c \partial_u\partial_\theta \phi_1 + 4 \partial_\theta \phi_1 \partial_u \partial_\theta \phi_1 - 2c + 8 c \partial_u \phi_1+c \partial_u c (8\csc^2\theta - 4 \partial_u \phi_1 ) + 8 \cot\theta c \partial_u \partial_\theta \phi_1 - 2 c^2 \partial_u^2 \phi_1 + 2 \phi_1^2 \partial_u^2 \phi_1 = 0.\end{aligned} $
(41) The first order of the standard equation from the Einstein equation is
$ \begin{aligned}[b] \partial_u \gamma_3 = &\frac18 \bigg[3 (\partial_\theta c)^2 + c (5\cot\theta \partial_\theta c + 3 \partial_\theta^2 c) \\ & -2 c^2 \csc^2\theta (3 + \cos2\theta)+ 2 c M + \cot\theta N \\ & - \partial_\theta N - 8 \alpha \partial_u c + 16 \alpha \partial_u \phi_1 \partial_u c \bigg]. \end{aligned} $
(42) The constraints from the supplementary equations are
$ \partial_u N = \frac13\left[ 7 \partial_\theta c \partial_u c + c(16\cot\theta \partial_u c + 3 \partial_u\partial_\theta c) - \partial_\theta M \right]. $
(43) $ \partial_u m = -2(\partial_u c)^2,\quad m \equiv M - \frac{1}{\sin\theta} \partial_\theta ( 2 \cos\theta c + \sin\theta \partial_\theta c). $
(44) The mass-loss formula is the same as that for the pure Einstein case [50].
To reveal the
$ \alpha $ correction in the radiating source, we linearize the theory, for which we drop all the quadratic terms in the solutions. Then, the evolution equations are reduced to$ \partial_u M = \frac{1}{\sin\theta} \partial_\theta\left[\frac{1}{\sin\theta} \partial_\theta \left(\sin^2\theta \partial_u c\right)\right], $
(45) $ \partial_u N = -\frac13 \partial_\theta M, $
(46) $ \partial_u \gamma_3 = - \frac18 \sin\theta \partial_\theta \frac{N}{\sin\theta} - \alpha \partial_u c. $
(47) The
$ \alpha $ correction is now only from the scalar background$ \log \frac{r}{r_0} $ term. The multipole expansion is encoded in the expansion of$ \gamma $ [58]. The quadrupole in Eq. (2.46) of [58] corresponds to$ \gamma_3 = a_2(u) \sin^2\theta $ , where the subscript 2 denotes the second order of the second associated Legendre function. The function c can be solved from the above evolution equations. The solution is$ c = c_2(u)\sin^2\theta $ , where$ c_2(u) $ satisfies$ c_2-\alpha \partial_u^2 c_2 = \partial_u^2 a_2. $
(48) Suppose that
$ a_2 $ is a periodic function, e.g.,$a_2 = A \sin u + $ $ B \cos u $ . Then the response of$ c_2 $ will have an$ \alpha $ correction$ c_2 = \dfrac{\partial_u^2 a_2}{1+\alpha} $ . By setting$ \alpha = 0 $ , we just recover the Einstein gravity result$ c = \partial_u^2 a_2 \sin^2\theta $ . For the same type of gravitational source, the new theory (1.1) is indeed distinguishable from Einstein gravity. Since the c function has a direct connection to the Weyl tensor [57], we can expect a direct experimental test of the$ \alpha $ corrections. -
In this paper, the asymptotic structures of three and four dimensional EGB gravity have been studied in the Bondi-Sachs framework. It was shown from the solution space that, in both dimensions, there is no scalar propagator. The
$ \alpha $ corrections were discussed in detail from the perspective of both the gravitational solution and radiating sources.There are several open questions in the theory (1.1) that should be addressed in the future. There is no scalar propagator in the theory, but there are differential couplings between gravity and the scalar field. The absence of the scalar propagator is likely to be consistent with observations; thus, it is of interest to know how to construct a gravity-scalar vertex without a scalar propagator [59]. A second interesting point is from the holography. In three dimensions, asymptotically flat gravitational theory has a holographic dual description [53, 60]. It would be very meaningful to explore the dual theory of the three dimensional EGB gravity. Another question worth mentioning is from the recent proposal of a triangle equivalence [61]. Since the change in the c function has
$ \alpha $ corrections for the same type of gravitational source, the gravitational memory receives the$ \alpha $ correction [62]. In the context of the triangle relation, it is a very interesting question as to whether the soft graviton theorem and the asymptotic symmetry have$ \alpha $ corrections as well. -
The authors thank Yue-Zhou Li and Xiaoning Wu for useful discussions.
-
We list some useful relations that may help readers who are less familiar with the variational principle involving the Gauss-Bonnet term.
The Bianchi identity is given by
$\tag{A1} \nabla_\mu {R_{\nu\sigma\rho}}^\nu + \nabla_\nu {R_{\sigma\mu\rho}}^\nu + \nabla_\sigma {R_{\mu\nu\rho}}^\nu = 0. $
The commutator of
$ \nabla $ :$\tag{A2} (\nabla_\mu\nabla_\nu - \nabla_\nu\nabla_\mu) S^{\rho\sigma} = {R^{\rho}}_{\tau\mu\nu} S^{\tau\sigma} + {R^{\sigma}}_{\tau\mu\nu} S^{\rho\tau}. $
Variations of some relevant quantities are as follows:
$\tag{A3} \delta \sqrt{-g} = -\frac12\sqrt{-g}g_{\mu\nu}\delta g^{\mu\nu}, $
$\tag{A4} \delta \Gamma^\sigma_{\mu\nu} = -\frac12 \nabla^\sigma \delta g_{\mu\nu} - \frac12g_{\mu\tau}\nabla_\nu \delta g^{\sigma\tau} - \frac12 g_{\nu\tau} \nabla_\mu \delta g^{\sigma\tau}, $
$\tag{A5} g^{\mu\nu}\delta \Gamma^\sigma_{\mu\nu} = \frac12 g_{\mu\nu} \nabla^\sigma \delta g^{\mu\nu} - \nabla_\mu \delta g^{\sigma\mu}, $
$\tag{A6} \delta {R^\sigma}_{\mu\rho\nu} = \nabla_\rho \delta \Gamma^\sigma_{\mu\nu} - \nabla_\nu \delta \Gamma^\sigma_{\mu\rho}, $
$\tag{A7}\begin{aligned}[b] \delta R_{\mu\nu} =& \frac12 \left(g_{\sigma\rho} \nabla_\mu \nabla_\nu \delta g^{\sigma\rho} - g_{\sigma\nu} \nabla_\rho\nabla_\mu \delta g^{\rho\sigma}\right.\\& \left.- g_{\sigma\mu} \nabla_\rho \nabla_\nu \delta g^{\rho\sigma} - \nabla^2 \delta g_{\mu\nu}\right), \end{aligned} $
$\tag{A8} \delta R = R_{\mu\nu} \delta g^{\mu\nu} + \nabla_\mu \left(g_{\sigma\rho} \nabla^\mu \delta g^{\sigma\rho} - \nabla_\nu \delta g^{\mu\nu}\right), $
$\tag{A9} \begin{aligned}[b] \delta G^{\mu\nu} =& \frac 12 \left(g_{\sigma\rho} \nabla^\mu \nabla^\nu \delta g^{\sigma\rho} - \nabla_\sigma \nabla^\mu \delta g^{\sigma\nu} - \nabla_\sigma \nabla^\nu \delta g^{\sigma\mu}+ \nabla^2 \delta g^{\mu\nu} \right) \\ & + R^\mu_\sigma \delta g^{\nu \sigma} + R^\nu_\sigma \delta g^{\mu \sigma} - \frac12 R \delta g^{\mu\nu} - \frac12 g^{\mu\nu} R_{\sigma\rho} \delta g^{\sigma\rho}\\& - \frac12 g^{\mu\nu}g_{\sigma\rho} \nabla^2 \delta g^{\sigma\rho} + \frac12 g^{\mu\nu} \nabla_\rho \nabla_\sigma \delta g^{\rho\sigma}, \end{aligned} $
$\tag{A10} \delta R^2 = 2 R R_{\rho\sigma} \delta g^{\rho\sigma} + 2R \left(g_{\sigma\rho} \nabla^2 \delta g^{\sigma\rho} - \nabla_\mu \nabla_\nu \delta g^{\mu\nu}\right), $
$\tag{A11} \delta (R^{\sigma\mu\rho\nu} R_{\sigma\mu\rho\nu}) = 4R_{\sigma\mu\rho\nu}\nabla^\nu\nabla^\mu\delta g^{\rho\sigma} + 2 R_{\sigma\mu\rho\nu} {{R^\sigma}_\tau}^{\rho\nu} \delta g^{\mu\tau}, $
$\tag{A12} \begin{aligned}[b]\delta (R^{\mu\nu} R_{\mu\nu}) =& R_{\rho\sigma} \nabla^2 \delta g^{\rho\sigma} - R_{\mu\rho} \nabla_\sigma \nabla^\mu \delta g^{\rho\sigma}\\ & + g_{\rho\sigma} R^{\mu\nu} \nabla_\mu \nabla_\nu \delta g^{\rho\sigma} - R^\mu_\sigma \nabla_\mu \nabla_\rho \delta g^{\rho\sigma}\\& + R_{\mu\nu} R^\nu_\sigma \delta g^{\mu\sigma} + R_{\sigma\mu\rho\nu} R^{\mu\nu} \delta g^{\sigma\rho}, \end{aligned} $
$\tag{A13}\begin{aligned}[b] g^{\mu\nu} \delta (\nabla_\mu \nabla_\nu \phi) =& g^{\mu\nu} \nabla_\mu \nabla_\nu \delta \phi - \frac12 g_{\mu\nu} \nabla_\sigma \phi \nabla^\sigma \delta g^{\mu\nu} \\&+ \nabla_\sigma \phi \nabla_\mu \delta g^{\sigma\mu}, \end{aligned}$
$\tag{A14} \begin{aligned}[b] \delta {\cal G} =& 2 R_{\sigma\mu\tau\nu} {R_\rho}^{\mu\tau\nu} \delta g^{\sigma\rho} + 2 R R_{\rho\sigma} \delta g^{\rho\sigma} - 4 R_{\rho\nu} R^\nu_\sigma \delta g^{\rho\sigma} \\&- 4 R_{\sigma\mu\rho\nu} R^{\mu\nu} \delta g^{\sigma\rho}4 {R_{\sigma\mu\rho}}^\nu \nabla_\nu\nabla^\mu\delta g^{\rho\sigma} + 4 {R_{\nu\sigma\rho}}^\nu \nabla_\mu \nabla^\mu \delta g^{\rho\sigma} \\&+ 4 {R_{\mu\nu\rho}}^\nu \nabla_\sigma \nabla^\mu \delta g^{\rho\sigma} - 4 g_{\rho\sigma} G^{\mu\nu} \nabla_\mu \nabla_\nu \delta g^{\rho\sigma} \\ &+ 4 G^\mu_\rho \nabla_\mu \nabla_\sigma \delta g^{\rho\sigma}. \end{aligned} $
The first line of (A14) equals
$ \dfrac12 g_{\sigma\rho}{\cal G} \delta g^{\sigma\rho} $ in four dimensions. Thus, they will not contribute to the equations of motion. When performing integration by parts, the second line and the third line vanish automatically for the pure Gauss-Bonnet term. However, it will contribute when the scalar field is coupled to the Gauss-Bonnet term, e.g.,$ \phi{\cal G} $ . The second line and the third line can be reorganized as follows:$ \tag{A15}\begin{aligned}[b] 4 {R_{\sigma\mu\rho\nu}} \nabla^\nu\nabla^\mu\delta g^{\rho\sigma} &+ 4 {R_{\nu\sigma\rho}}^\nu \nabla_\mu \nabla^\mu \delta g^{\rho\sigma} + 4 R^\mu_\rho \nabla_\sigma \nabla_\mu \delta g^{\rho\sigma}\\& - 4 g_{\rho\sigma} G^{\mu\nu} \nabla_\mu \nabla_\nu \delta g^{\rho\sigma} + 4 R^\mu_\rho \nabla_\mu \nabla_\sigma \delta g^{\rho\sigma}\\& - 2 R \nabla_\sigma\nabla_\rho \delta g^{\rho\sigma}. \end{aligned} $
The point of such reorganization is to make the indexes of the two covariant derivatives in every term symmetric. When integrating by parts for the pure Gauss-Bonnet term, both covariant derivatives are identically zero.
Asymptotic structure of Einstein-Gauss-Bonnet theory in lower dimensions
- Received Date: 2020-08-05
- Available Online: 2021-01-15
Abstract: Recently, an action principle for the
DownLoad: