One-loop renormalization of a gravity-scalar system

Extending the renormalizability proposal of the physical sector of 4D Einstein gravity, we have recently proposed renormalizability of the 3D physical sector of gravity-matter systems. The main goal of the present work is to conduct systematic one-loop renormalization of a gravity-matter system by applying our foliation-based quantization scheme. In this work we explicitly carry out renormalization of a gravity-scalar system with a Higgs-type potential. With the fluctuation part of the scalar field gauged away, the system becomes renormalizable through a metric field redefinition. We use dimensional regularization throughout. One of the salient aspects of our analysis is how the graviton propagator acquires the"mass"term. One-loop calculations lead to renormalization of the cosmological and Newton's constants. We discuss other implications of our results as well: time-varying vacuum energy density and masses of the elementary particles as well as the potential relevance of Neumann boundary condition for black hole information.


Introduction
The true degrees of freedom of quantum gravity [1][2][3][4][5][6][7][8][9][10][11][12][13] have been evasive, at least to some extent, in spite of an extended search. The search along the line of canonical quantization in the past (e.g. [14][15][16]) was based on the usual 3+1 splitting where the genuine time coordinate was separated out. A different 3+1 splitting in which one of the spatial directions is separated out has been employed in the recent works of [17] and its sequels in which explicit identification of the physical degrees of freedom has been made based on foliation theory: the physical degrees of freedom are the ones associated with a certain hypersurface.
The relevance of a hypersurface for true degrees of freedom was noted long ago in [14] (see also the works of [18,19] in the context of loop quantum gravity): a spacelike hypersurface specified up to a conformal factor was identified as the true degrees of freedom based on the fact that the hypersurface can serve as a transverse and traceless spin-two representation of gravity. In [15,16] Hamiltonian reduction was carried out on a class of 4D manifolds with certain topological restrictions; the reduced Hamiltonian turned out to be the volume of the hypersurface. The configuration reduction approach (see e.g. [20] for a relatively recent work) makes intensive and extensive use of differential geometry.
Gravity theories do not seem to share the nice property of the non-gravitational gauge theories: only the latter are renormalizable even when the external states in a Feynman diagram are kept offshell. Our recent proposal [17] hinges on the possibility that non-renormalizability may be overcome once the external states are restricted to a set of states constrained by several physical state conditions. The dynamics of those physical states can be described through a 3D description. 1 As reviewed below, the field equations associated with the non-dynamical ADM variables [21] are imposed as constraints; the solution of the constraints implies reduction of the physical states to 3D in the sense described, e.g., in [17] and [22]. We stress that the renormalizability established is valid, unlike that of Yang-Mills theories, only when the external states satisfy certain physical state conditions (thus become "three-dimensional" and of measure-zero as compared with the offshell states) and thus is not in conflict with the offshell nonrenormalizability established in the past. In other words, the renormalizability established in [17] and subsequent related works is renormalizability pertaining to the physical states but not that of the offshell Green's functions. 2 For quantization one needs not only the identification of the true perturbative degrees of freedom but also the equally non-trivial task of explicitly implementing the actual steps of quantization; for instance, the steps of how to integrate various constraints and gauge-fixings into the quantization procedure. In our scheme of quantization, the constraints are Lagrangian analogues of the so-called spatial diffeomorphism and Hamiltonian constraints; they have been dubbed as the shift vector and lapse function constraints, respectively. The strategy for reduction was clearly spelled out in the previous works [17,23] 3 : removal of all of the unphysical degrees of freedom from the external states of the Feynman diagrams. The implication of the solution for the shift vector constraint has been highlighted in [23] and [26] in the complementary mathematical context of foliation and jet bundle theories: the geometry admits a dual totally geodesic foliation whose associated abelian Lie algebra leads, upon modding out in the jet bundle setup, to the reduction.
As well known, the presence of matter fields makes the divergences worse (see e.g. [27]). Nevertheless, the quantization scheme of [17] is applicable to a system with a small number of matter fields such as a gravity-scalar system or an Einstein-Maxwell system considered in [28]: the matter fields can be gauge-fixed to their background values by using part of the diffeomorphism, thus made non-propagating. (For example, if one considers a gravity-scalar system around a flat background one may entirely gauge away the scalar field.) In essence the scalar field materializes into an additional component of the metric and this way the gravity-matter system under consideration becomes "purely gravitational" (for certain purposes). Once one considers the original theory around a more nontrivial background (such as 2 The renormalizability is in this restricted sense and the covariance is compromised from 4D to 3D at the end. Nevertheless, the formalism does not impose any experimental limitation since it would be only the physical states that one could measure. The limitations listed are the matter of sophistication of the formalism; eventually 4D covariant formalism will of course be more desirable. 3 Slightly different procedures of quantization have been presented in subsequent works [22,24,25]. a black hole [24]) 4 , things become technically more complicated, and explicit demonstration of the renormalization procedure is well worth it. It is the main goal of the present work to illustrate this procedure by taking the case of a gravity-scalar system with a quartic scalar interaction; more specifically we take a real scalar system with the Higgs-type potential for the matter part with a goal to study the implications of a time-dependent background of cosmological relevance.
In quantization of theories with local symmetries the background field (or external field) method (BFM) is an indispensable tool because it allows one to compute relatively effortlessly the effective action in a covariant form. Although several good reviews on its application to non-gravitational theories are available (see e.g. [30]), we could not find any review that explicitly addresses two subtle points -which have turned out to be tied with the 4D covariance -that arise in its application to gravity theories. (For the gravity case, see e.g. [31].) Firstly, unlike a non-gravitational gauge theory in which one can consider the field around a trivial vacuum (meaning vev = 0), one cannot consider a gravity theory expanded around a zero metric background. This point seems implicitly understood in the literature, however, we find it imperative to keep its implication at the forefront of the background perturbative analysis. 5 The second point is the fact that the trace piece of the fluctuation metric makes the path integral ill-defined. (Strictly speaking, it is a subtlety associated with the path integral itself rather than with the BFM.) Although this fact was observed long ago, we are not aware of any work in which the trace piece was gauge-fixed in the manner discussed in our recent works. We illustrate the pathology with several examples including the non-minimal coupling term [33] that has played an important role, e.g., in the Higgs inflation proposal [34] [35] [36].
Although dimensional regularization is highly convenient for many purposes it is not as convenient (see [37] and [38] for related discussions) for analyzing vacuum diagrams -which are necessary in the present case, e.g., to study renormalization of the Newton's constant -of a massless theory for 4 A qualitative characterization of the kinds of the backgrounds to which the present quantization scheme is applicable can be found in [26]. It is not clear whether or not the present foliation based quantization scheme will be applicable to a general background (see [29] for a related discussion). 5 As a matter of fact, the fact that the conventional way of applying the BFM leads to non-covariance was explicitly stated in [32] as we have recently become aware of. (See footnote 11 for more details.) the reason to be explained. At least for the system considered here there exists a way to get around this inconvenience (the method should apply to any system with a cosmological constant-type of term) and this is one of the salient features of our analysis: the constant piece of the potential is used as a graviton "mass" term. 6 In other words, the constant piece of the potential provides, once expanded, a graviton "mass" term, which can be included in the original massless form of the graviton propagator. Another aspect of the present gravity-matter analysis worth highlighting is the (indicative) way de Sitter spacetime seems to arise from a flat spacetime through the quantum effects. 7 If one considers the case where the minimum potential value is chosen to be zero the system admits a flat spacetime with a constant scalar field as a solution. (The case with the nonzero minimum will be discussed as well.) The loop effects generate vacuum energy as will be explicitly shown.
There is potentially an issue of whether or not the gauge-fixing of the scalar fluctuation makes sense, given that the Higgs quanta have been discovered in nature. The proposed gauge-fixing should not be a good gauge choice if one intends to study various scattering amplitudes of Higgs particles, say, in a curved background. However, it should be suitable for macroscopic cosmological applications. As we will further remark in the conclusion, the proposed gauge-fixing should presumably be viewed as a novel "scalar-integrating-out" procedure. It will also be noted later that renormalization with a dynamical scalar will require only minor modifications.
Although the quantization and quantum corrections may yet be of limited experimental significance, the quantization procedure provides the rationale for gauge-fixing of the scalar, thereby making it non-dynamical in the sense that it no longer runs on the loops of the Feynman diagrams. The nondynamical scalar field substantially facilitates the renormalization procedure that in turn is crucial for a more concrete establishment of the time-varying vacuum energy. In the case of a time-dependent background, we set the analysis of the quantum correction terms aside for now (so that one will not have to worry about the precise values of the coefficients of the finite terms) but focus on its qualitative implications. Our scheme seems to imply time-dependence (and running) of Newton's constant, and reinforce the idea of time-dependent vacuum energy [41][42][43][44]. Although we do not explicitly consider the standard model particles other than the Higgs-type field in this work, our framework is likely to lead, at least as a matter of principle, to time-dependence of various fundamental constants such as masses of standard model particles that become massive through the Higgs mechanism.
The rest of the paper is organized as follows: In section 2 we start by reviewing our main analytical tool, the background field method (BFM). We highlight several potentially subtle points in applying the method in a gravitational setup. Several diagrams are computed by employing the traceless and traceful propagators, and the outcomes are compared: only the traceless propagator leads to 4D covariant results. 8 Afterwards we review our recent proposal on the physical states of gravity theories. The reduction of the physical states to 3D has been established in several different ways; here we give a hopefully more elucidating account of the steps to the reduction with added comments. The reduction will be used, although rather implicitly, in section 3 and 4. With the reviews of the BFM and physical state reduction, we will be ready for the explicit implementation of the one-loop renormalization of the gravity-scalar system; in section 3 we embark on a one-loop analysis of the scalar-gravity system. Renormalizability is established with the flat propagator with which the divergence analysis can be easily carried out. We gauge away the fluctuation part of the scalar field and set the scalar to its background value. 9 With the gauge-fixing, the background part of the scalar field provides the scalar background; the fluctuation part will materialize into an additional metric degree of freedom. Although we use the 4D covariant notation, the reduction to 3D will be implicitly conceived as will be explained in more detail. Since the manifest scalar part is served just as a background the prospect for renormalizability a priori looks better. As one of the examples of illustrating the 4D covariance and importance of the quantum effects, we note that the nonminimal coupling between the metric and scalar, which played a crucial role in the Higgs inflation proposal [34] [35] [36], is generated by a graviton loop. We show in dimensional regularization that the loop effects renormalize the cosmological and Newton's constants. In section 4 we discuss implications of our results for cosmology. In addition to the time-varying vacuum energy, our framework is likely to imply in a predictable manner time-variations of the masses of elementary particles whose masses originate from the Higgs mechanism, the effects that should be measurable, at least in principle. Our results seem to indicate the possibility that the Higgs field may play the role of the quintessence field as well as the role of the inflaton field. In conclusion we summarize and discuss several future directions. As one of the directions we ponder the possibility that the physical state condition may be at odds with the Dirichlet boundary condition and that the Neumann boundary condition may play a role in solving the black hole information problem. Our conventions and useful identities are presented in Appendix A. Several examples of the pathology associated with the traceful propagator can be found in Appendix B. In Appendix C we give a coordinate-free version of the analysis in section 2.2 (originally given in section 3.1 of [23]), the proof that the shift vector constraint leads to the condition for Riemannian foliation.

Review of BFM and reduction
Before setting out to achieve the main goal of the present work we set the stage by reviewing the background field method (BFM) and reduction of the physical states. We extend our recent background field calculations in [25] to the scalar sector. Also, because the reduction of the physical states to 3D has been previously established in several different ways we present here a more coherent review of the reduction with added comments.
Although the BFM was introduced long ago and has been widely used, it appears that there still is room for refinement, especially in applications to the gravitational cases. One of the improvements made in [22] was with regards to the manner in which the problem, noted in [46] and [47] some time ago, of the ill-defined path integral associated with the trace part of the fluctuation metric was dealt with. We first review that the presence of the trace piece leads to pathology in the perturbation theory: it interferes with the 4D covariance. (As previously stated, the necessity for removal of the trace piece was noted in [45] for a different reason.) This has been demonstrated in [25] in the graviton and ghost sectors. In this work we expand the analysis to the scalar sector; we show that the same pathology is present there as well. In particular, the non-minimal coupling comes out in the covariant form only when the traceless propagator is employed.
The renormalizability proposal in [17] was based on the observation that the physical states of the gravitational system under consideration lend to a 3D description. In the ADM Hamiltonian formulation one can easily observe the non-dynamism of the shift vector and lapse function. In the ADM Lagrangian formalism these fields can be gauge-fixed and their field equations should be imposed as constraints -the shift vector and lapse function constraints 10 which are the Lagrangian versions of the momentum and Hamiltonian constraints of the Hamiltonian formalism. The shift vector constraint can be solved as we will review and the solution implies that the geometry should be of the so-called Riemannian foliation [23] [26].
Our system is the following gravity-scalar action where κ 2 = 16πG with G Newton's constant; κ 2 will be suppressed in some places. The potential V is given by where λ is the scalar coupling and µ 2 is the mass parameter. Note that the cosmological constant Λ serves as the minimum value of the potential. The presence of the cosmological constant is important as we will see below. (This point has been stressed in [48].) A shift of the scalar potential by a constant is immaterial in a flat spacetime quantum field theory. The same is not true, however, in a curved case; we have introduced an arbitrary cosmological constant term to keep things at a more general level.

BFM and 4D covariance
In section 3 the renormalization of (1) will be carried out with the BFM. As pointed out in [25], care is required to avoid the pathology caused by the trace mode of the fluctuation metric. In this subsection we start with several warm-up calculations. We consider the conventional (except the removal of the trace piece of the fluctuation metric) setup for illustrative purposes: not just the internal momenta but also the external momenta will be kept offshell. In other words we do not employ the reduction scheme in section 2.1; this is to demonstrate the pathology in a setup as conventional as possible. By the same token we do not gauge-fix the scalar. That is, the objects computed are the offshell Green's functions (other than the removal of the metric trace mode). We contrast the amplitudes obtained by employing the traceful propagator against those calculated by employing the traceless propagator, and show that only the traceless propagator leads to the anticipated covariant results. Let us start with the gravity sector: By shifting the metric according to 11 one obtains [49] [25] 12 where (· · · ) stands for the terms irrelevant to the present one-loop counterterm computation. The fields with a tilde are the background quantities constructed out ofg B µν . In [22,25] the counterterms obtained with the shift specified in (4) were explicitly demonstrated to cancel the divergences in the one-loop Feynman diagrams. Similarly, the ghost action can be expanded 13 : Here and in (5) only the one-loop pertinent terms have been kept. The divergence part can be computed by setting g 0µν to be a flat metric, g 0µν = η µν . This is because the divergence must come from a short distance. For the finite parts (whose precise evaluation will not be pursued in this work) one should use the propagator obtained by using the actual background of the solution metric g 0µν (org B µν , more precisely).

ghost loop
To see the pathology caused by the trace piece of the fluctuation metric let us first consider the ghost kinetic term If all is well this kinetic term is expected to yield covariant forms of the counterterms once the ghost field is integrated out. As explicitly shown at one-loop in [25], use of the traceless propagator has confirmed this expectation whereas the traceful propagator has contradicted it. Let us expand the metricg µν around a flat spacetime: Below we will often omit the letter 'B' from ϕ B µν . The ghost kinetic action (7) takes Briefly, the result of the computation is as follows. (More details can be found in [25].) The following is the correlator to be computed to obtain the counterterms for the graviton two-point amplitude with the ghost loop: This correlator leads to the following counterterms: where the parameter ε is related to the total spacetime dimension D by The relations in (A.18) -which of course are valid to the second order of the fields -have been used to derive the second equality in (11); the trace piece has also been set to zero, ϕ ≡ ϕ α α = 0. 14 graviton loop We now turn to the graviton sector with the graviton loop and observe the same phenomenon: only the traceless propagator leads to covariant results. By expanding (5) one gets where These two vertices come from the first line of (5). The distinction between L V I and L V II has been made for convenience in Mathematica coding. The vertex L V III is just the third line of the same equation: One should consider the following correlator for the counterterms against the complete one-loop two-point amplitude: The third term is guaranteed to be covariant. (This would of course be true even if the traceful propagator were used.) For the other two correlators the computation employing the traceful propagator is presented in Appendix B; it leads to non-covariant results. With the traceless propagator the third correlator can be written as where the equality is due to the use of the traceless propagator: the tracepiece containing terms have been removed. After some algebra, one gets where in the thrid equality the identity (66) has been used. With the traceless propagator the first correlator on the right-hand side of (17) turns out to be The result of the second correlator is

scalar loop
Our final example of illustrating the pathology is the diagram given in Fig.  1. As a matter of fact there exists the second diagram which will be considered in the next section that generates the counterterm of the non-minimal coupling. We have chosen the diagram above to demonstrate the pathology with a minimum amount of computation. Since the form of the non-minimal coupling was not present in the starting Lagrangian, generation of such a counterterm is incompatible with renormalizability. In this subsection we set the renormalizability issue aside and focus only on the covariance issue to demonstrate the pathology of the trace piece of the metric. In the next section we will employ the setup suitable for establishing the renormalizability wherein only the second diagram remains relevant. We show that use of the traceless propagator yields the counterterm of the well-known non-minimal coupling [33].
As in the previous examples the traceful propagator does not lead to a covariant result. The vertex involving the graviton comes from expansion of the scalar kinetic term which yields Among these terms the vertex relevant for the diagram is the second term on the right-hand side of The other vertex in the diagram is the quartic scalar self-coupling. With these two vertices inserted the counterterm turns out to be in the leading order of the metric field.

reduction of physical states
Another central element of the proposal in [17] is the reduction of the physical states. (The coordinate-free version of the analysis of this subsection can be found in Appendix C.) Consider a background that admits 3+1 foliation; split the coordinates into Introducing the lapse function n and shift vector N m , the 3+1 form of the 4D metric and its inverse can be written [21] [51] The action in terms of the ADM variables is Here the second fundamental form K mn and its trace K are given by with L ∂ 3 the Lie derivative along the vector field ∂ x 3 and D m the 3D covariant derivative constructed out of h mn . As well known the Hamiltonian of the system reveals that the lapse function and shift vector are non-dynamical; their field equations should be imposed as constraints. In the Hamiltonian formalism the constraints are called the Hamiltonian and momentum constraints. In this work they will be called the lapse function and shift vector constraints, respectively. The shift vector field equation is The shift vector can be gauged away by using the 3D residual gauge symmetry [22] N m = 0, which in turn implies [23] ∂ m n = 0 This follows from the fact that the covariant derivative in (31) yields zero when it acts on the terms other than 1 n . To see this, consider for instance the first term inside the parenthesis in (31): Applying the component version of the commutator of the Lie derivative and covariant derivatives, (C.1), to the present case, one sees that the Lie derivative commutes with the covariant derivative: where the last equality is due to the linearity of ∇ in its index. With this the right-hand side of (33) can be written as = e α a L ∂ 3 ∇ α h bc (35) As stated in e.g., [51] (which can be easily checked), one has L ∂ 3 e α a = 0. With this the right-hand side becomes where the last equality follows from the 3D metric compatibility of the 3D covariant derivative. The reduction to 3D is induced by the lapse function constraint as follows. Since all of the gauge freedom is used, the number of the physical components is fixed, prior to considering the lapse constraint, to be two. Any additional constraint that would reduce independent components, therefore, should not arise from the lapse constraint. The only way of ensuring this is the reduction in the coordinate dependence, which will make the K mn K mn term "identically" vanish. At this point one can legitimately go to the Euclidean space by a Wick rotation; it follows [17,24] that As a matter of fact the reduction takes place rather generically even in the presence of matter [28] due to the fact that the lapse function constraintwhich is a constraint -becomes identical to the "Hamiltonian" itself after the shift vector constraint is solved and the gauge-fixing is explicitly enforced.

Renormalization of a gravity-scalar system
In this section we carry out systematic one-loop renormalization (see e.g. [52] for a review of renormalization in quantum field theory). There are several ingredients in our quantization proposal that make a difference with regards to renormalizability. In the case of pure gravity the reduction of the physical states to 3D is the only condition needed to establish the renormalizability. Once matter fields are added, several additional ingredients are required. Among other things the reduction mechanism itself should be generalized [28]. Gauging-away of the fluctuation part of the matter field(s) (the scalar for the present case) has been proposed in the cases where the number of matter components is small, as in the present case. For a system with more matter fields this method cannot be applied ; one must directly deal with the dynamical matter fields. For such cases renormalizability remains speculative [28] and more work will be required for a definite answer. (See, however, the comments on the recent progress in the conclusion.) Although gauge-fixing of the fluctuation part of the scalar field, which will be reviewed below, is a relatively simple step, it greatly facilitates the renormalization procedure in the following sense. Only the metric remains dynamical: all of the scalar field factors can be viewed as backgrounds. The gauge-fixing has the following implication for the non-minimal coupling. The minimal coupling is not a term initially present in our starting action, (1), thus it is one of the terms that would make the system non-renormalizable. In the present setup, however, the non-minimal coupling can be viewed as a "shift" in the Newton's constant. In other words, all the terms containing a single factor of R and differing by their scalar-field containing coefficients can eventually be grouped into the form R(· · · ) where (· · · ) represents various constants and scalar-involving factors. Furthermore, none of these terms is to be taken as additional new vertices: the dynamical part of all those vertices is still just R with the scalar field serving as the background but not as a propagating field.
As in section 2 we employ the flat space propagator to compute one-loop counterterms. (The finite parts and sub-leading divergences will be needed for renormalization conditions; for those one should employ the propagator in the actual background geometry.) Use of the flat space propagator has an additional meaning in the case of Λ = 0 for the following reason. If the minimum potential value is chosen to be zero then the system has a flat spacetime with a constant scalar field as a solution 15 since the potential term in the metric field equation is evaluated at the constant scalar field that minimizes it. Therefore the analysis can be viewed as the perturbative renormalization around one of the genuine backgrounds of the system.
Although dimensional regularization is highly convenient in general, the following identity makes it less suited for vacuum diagrams of a massless theory, where ω is any number. The divergences that would otherwise renormalize the cosmological and Newton's constants vanish due to this identity. One can avoid this 16 by introducing a "mass" term to the graviton propagator in the following manner. The constant piece of the scalar potential provides the following cosmological constant type term: Once expanded this term yields a graviton "mass" term as given in (43) below. 17 (See e.g. [39] for a discussion of the graviton mass terms.) As we will see shortly, the "mass" term preserves the tensor structure of the original graviton propagator; it only changes the propagator by adding the mass square next to the momentum square. One can carry out the divergence analysis with the "massive" propagator. We will see that the cosmological constant term and Einstein-Hilbert term become renormalized through the loop effects. Although the use of the "massive" propagator is technically motivated, it may have deeper physical meanings. As stated in footnote 6, one implication is the possibility proposed in [40]. Another implication is for the renormalization procedure. In the Standard Model Higgs physics, one explicitly expands the action around the true vacuum in conducting the loop analyses. However, in the refined application of the BFM that we have been using, the expansion is more implicit 18 for the sake of maintaining the covariance, and for this reason inclusion of the cosmological constant in the graviton propagator implies "mixing" between the graviton field and unstable Higgs field. Often the system under consideration imposes such mixing for one reason or another. As a matter of fact there have been recent studies [53] on renormalization procedure of massive string modes that display such mixing.
We quote the gravity-scalar action (1) here now in terms of the renormalized quantities (indicated by the subscript r): where Below we consider graphs with up to two g-or four ζ-external legs; they should be sufficient for illustrating the renormalization procedure.

loop effects in gravity sector
The aforementioned inconvenient feature of dimensional regularization can be avoided for the present system by including in the original massless propagator the "mass" term originating from the scalar potential. (Recall that the loop-induced cosmological constant-type of terms were not generated in the early works because the massless graviton propagator was used with dimensional regularization.) With the new "massive" propagator the one-loop correction for the cosmological term does not vanish. Similarly, there will be renormalization of the Newton's constant.
The analysis required to show the cosmological constant renormalization is a curved space generalization of the standard calculation for which we refer, to be definite, to section 16.2 of [56]. When expanded the quadratic order of the constant piece of the scalar potential yields where with The term (42) can be combined with the original massless propagator of the graviton; the first line of (13) becomes, after multiplying an overall factor two to be consistent with the convention of (13), The propagator then is given by where P µνρσ for the traceless propagator takes the same form as before: The contribution leading to the cosmological constant renormalization comes from Then by following the analysis given in [56] one obtains a constant term therein denoted by "I ." Let us denote by I div the divergent part of the analogous quantity in our case. In the curved spacetime context the constant I must be, due to the 4D covariance, nothing but the coefficient of the cosmological constant-type term. The renormalization of the Newton's constant can be similarly established. Let us consider the following graviton vertices: By self-contracting the h µν factors one gets

loop effects in scalar-involving sector
As reviewed in section 2, the pure gravity system reduces to 3D once the shift vector constraint is enforced. The reduction has been extended in [28] to certain gravity-matter systems including the present one. Once a matter field is added one encounters various matter-containing vertices and proliferation of the required counterterms as the number of the loops increases; for the gravity-scalar system it has been proposed to gauge away the fluctuation part of the scalar field by utilizing the residual diffeomorphism with 3D coordinate dependence. 19 With this gauge-fixing, the background part of the scalar field provides the background and the fluctuation part materializes into a metric degree of freedom. Since the manifest scalar part (i.e., the remaining part) serves just as a background, renormalizability can be established in the sense to be discussed. We start by reviewing the gauge-fixing procedure of the scalar field, which is well known in the field of scalar-driven inflation, followed by the loop analysis, which will set the stage for establishing renormalizability in section 3.3.

gauge-fixing of scalar
Consider a generic scalar field σ(x) coupled with gravity: σ(x) : a generic scalar field (51) Its infinitesimal and finite diffeomorphism transformations, respectively, are and (see, e.g., [57]) where L ξ denotes the Lie derivative along the vector field ξ. Let us first consider the gauge-fixing of the scalar in a generic metric background. In the background field method one shifts the original field to σ ≡ σ 0 +σ (54) 19 The number of the gauge parameters and the corresponding fixings go as follows [28]: there are four bulk gauge parameters and corresponding four measure-zero 3D residual paramters. The three bulk gauge parameters can be used for the µ = 0, 1, 2 components of the de Donder gauge. The three measure-zero residual 3D gauge parameters (see the analysis of the residual symmetry in [22]) can be used for the shift vector fixing. Lastly one remaining parameter with the 3D coordinate dependence can be used for gauge-fixing of the scalar since the scalar field at this point becomes reduced to 3D. (The metrictrace fixing can be effectively executed by employing the traceless propagator and the lapse function is fixed automatically from these fixings.) As commented in our previous works (see e.g. [28]), it is possible to adopt a slightly different gauge-fixing procedure. For instance, one may use the 4D diffeomorphism to gauge-fix the scalar and shift vector prior to imposing the de Donder gauge. In either of these cases, one should rely on the reduction at the end for complete gauge-fixing.
where σ 0 denotes the classical solution andσ the fluctuation. For the reason explained in the earlier works [22,25] let us introduce another shiftσ ≡σ+σ f and consider where σ f is taken as the fluctuation field andσ is analogous to ϕ Bµν in (4). When computing Feynman diagrams the σ B fields are placed in the external lines. Coming back to the present case, let us define According to the general rule (52): The transformed field ζ can also be written From (57) and (58) it follows Therefore the parameter ξ satisfying ξ µ ∂ µ ζ B + ζ f + ξ µ ∂ µ ζ f = 0 will lead to the gauge-fixing 20 With ζ f gauged away, the Feynman rules should be adopted accordingly: the Feynman diagrams with internal scalar loops become irrelevant. The discussion so far was for an arbitrary coordinate-dependent background. For a flat case we use the "analytic continuation," namely, set ζ 0 = const, at the end [28]. 20 More carefully one should consider and gauge away ζ f (y). The argument y of ζ f (y) has been explicitly recorded to emphasize the 3D nature of the fluctuation ζ f .

scalar involving one-loop analysis
Let us examine how the non-minimal coupling in Fig. 2 arises. As stated in section 2 there exist two diagrams in the conventional setup (i.e., the setup with the dynamical scalar) that produce the non-minimal coupling. The first diagram considered in the previous section becomes irrelevant with the gauge-fixing of the scalar. However, the second diagram, Fig. 2, remains relevant. For the scalar-graviton four-point vertex the relevant terms come from the potential, i.e., the term quadratic in the scalar; the two graviton legs come from expanding the factor √ −g. For the graviton three-point vertex the relevant terms are those in L V I , L V II , and L V III , given in (14) and (15). As stated in section 2 the divergence part can be computed by using a flat metric. The counterterm for the diagram in Fig. 2 can be obtained by evaluating The various numerical factors are the combinatoric factors. The result turns out to be In addition to the vacuum bubble diagram discussed in section 3.1 the diagram in Fig. 3 also contributes to renormalization of the cosmological constant. (In section 4 we will also see that this is one of the diagrams that The correlator to compute is After some algebra one can show that The following diagram yields a vanishing result and thus need not be further considered 21 : Figure 4: 21 There are diagrams that belong solely to the renormalization of the scalar sector parameters. For example, the scalar coupling constant gets renormalized by the following loop effect:

Figure 5: scalar coupling renormalization
We will not work out such diagrams here.
We are now ready to pursue the main goal of the present work: the explicit implementation of one-loop renormalization of the gravity-scalar system.

one-loop renormalization
The one-loop renormaization of pure gravity without a cosmological constant was established long ago [2]. In the case of pure gravity it was crucial to use the following well-known topological identity: When matter is present some of the counterterms cannot be absorbed even after using this identity (and field redefinitions). 22 Below we will collect all the counterterms obtained in the previous subsections and absorb them into a redefined metric. The gauging-away of the scalar fluctuation -which we view as a novel integrating-out procedure -makes the whole divergence removal procedure similar to that of pure gravity. It is only the cosmological constant-type terms that require extra care. The scalar gauge-fixing has the following implications at a technical level that remain valid in the time-dependent background considered in the next subsection. As we saw in section 3.2, the diagrams with internal scalar lines become irrelevant. Further, the gauge-fixing implies that what would be viewed as different counter terms due to different structures in the scalar field factors can now be grouped as one counterterm. The condition that the scalar is a constant can be used toward the final stage of the analysis after the effective action and the quantum-corrected field equations including that of the scalar are obtained. (The scalar field equation should be kept as a constraint. 23 ) Let us collect all of the one-loop counterterms computed so far. (The analyses here and in section 4 are valid up to renormalization conditions. The gravity sector result including the ghost contribution was reviewed in section 2: Here and below the tildes and subscript 'B's are omitted. A word of caution is in order. Although we are using the 4D covariant notation, the reduction to 3D is to be understood for the external states. Therefore, (67), for example, can be explicitly further reduced in terms of R mn R mn , R m3 R m3 and R 33 R 33 that can be expressed in the 3D quantities (see, e.g., [60] or [24]). 24 The counterterm associated with Fig. 2 takes the form of the non-minimal coupling and was shown to be As for the renormalization of the cosmological constant there are two contributions: the bubble diagram contribution discussed in sec 3.1 and the contribution from Fig. 3. The counterterm for the scalar 4-point amplitude was obtained in (65): The counterterm (68) implies that the Newton's constant becomes renormalized. (Once the scalar field is put onshell, it is just a constant, ζ = − µ 2 λ .) The couner-term (69) vanishes once the scalar field is put onshell. Except for the generation of the corrections in the cosmological and Newton's constants, the one-loop renormalization of the system with a constant scalar background is not much different from that of the pure gravity system. Let us explicitly see how to absorb the divergences. Consider the Einstein-Hilbert with the following metric redefinition (the subscript r's are omitted) [58], the action becomes We should also consider the effect of (70) on cosmological constant-type term of the classical potential: δV has been introduced to match with the counter terms associated with λ-renormalization (Fig. 5) and µ 2 -renormalization (a diagram similar to Fig.  5 but with two ζ B legs). These diagrams will not be explicitly worked out. Now the counterterms for the vacuum bubble discussed in section 3.1 and non-minimal term can be absrobed by setting respectively. I div is the parameter introduced in section 3.1. Eq. (75) determines δκ; δΛ is determined once that result is substituted into (74). The counterterms in (67) can be absorbed by choosing c 1 , c 2 as follows: which yields With these δκ is given by where we have substituted m 2 = κ 2 µ 4 4λ , ζ 2 = − µ 2 λ . Similarly, one gets The procedure in this subsection will be generalized to the time-dependent background.

Time-dependent background
Let us pause and summarize what has been done. We have started with (40) and made the shift where the subscript r on g rµν indicates that it is a renormalized field. For the divergence analysis, we took g 0µν = η µν even if a curved solution is being considered. The renormalizability has been established by considering a constant scalar background. Things become technically more complicated once a time-dependent background and/or the finite parts are considered as we now turn. We do not quantitatively pursue the task of working out the finite parts. Instead, the renormalization procedure will be outlined by focusing on how to absorb the counterterms into the paramter/field redefinitions. After this task is completed the cosmological implications will be discussed.

outline of renormailzation procedure
Considering a constant background is sufficient for establishing renormalizability itself. However, one must consider the actual background of interest to study various physics associated with that background. In the de Sitter case the reduction was carried out in the static coordinates [28]. 25 For a more general Friedmann-Robertson-Walker (FRW) spacetime one may reduce along the genuine time coordinate t [17]. It will be possible, although technically involved (mainly because of the complicated propagator of the background of interest), to obtain the 1PI action in the first few loop orders. The renormalization procedure of the previous subsection will go through only with relatively minor modifications. Renormalizability should be guaranteed by the constant background analysis although the details will go differently. One can renormalize the action, introduce bare quantities and obtain the 1PI action after path-integrating over h µν . The path-integral over the scalar field will be unnecessary since its fluctuation part can be gauged away. Here again, the scalar gauge-fixing implies that what would be viewed as different counterterms due to the different scalar structures can be grouped as a single counterterm. One of the implications of this is that the diagram in Fig. 3 will contribute to the time-dependence of the vacuum energy. The 1PI action will be a functional ofg B µν and ζ B . One may take the functional derivatives of the 1PI action with respect tog B µν and ζ B in order to obtain the loop-corrected field equations. (All the divergences will be cancelled automatically since the 1PI action contains the counterterms.) At this point the scalar field ζ B can be set to a time-dependent function ζ 0q (t): ζ B = ζ 0q (t), and with this the loop-corrected scalar field equation can be viewed as the loop-corrected constraint. (The subscript q stands for "quantum.") The meaning of ζ 0q (t) is as follows. Suppose the loop-corrected metric and scalar field equations are solved. ζ 0q (t) denotes the scalar solution.
The metric redefinition in (70) can be generalized to (again the index r has been suppressed), g µν → g µν + κ 2 (c 0 g µν + c 1 g µν R + c 2 R µν + c 3 ∂ µ ζ∂ ν ζ + c 4 g µν (∂ζ) 2 ) ; (81) With this shift and the shift in the Newton's constant the Einstein-Hilbert part becomes 1 Including the shift in the cosmological constant term one gets 26 The first term on the right-hand side is the classical renormalized action. The second term should be absorbed by the field renormalization of the scalar field and will not be considered further by the same token by which the diagram in Fig. 5 was not considered. The rest of the terms can be matched with the counterterms computed in the previous section, and this way the parameters δκ, δΛ and c's can be determined. The counterterm of the cosmological constant form can be absorbed by 27 The contribution in Fig. 3 is higher order in κ and has not been included here; once included it is one of the terms leading to the time-dependence of the vacuum energy. The shift in the Newton's constant can be determined by requiring The counterterms in (67) can be absorbed by choosing c's as follows: The vanishing result associated with Fig. 4 implies These relationships yield Upon substituting these into (85) and (84) one gets (the constant c 0 remains unfixed; it may be set to zero if it remains unnecessary in the higher loops)

cosmological implications
Let us consider a time-dependent vev of the scalar and study its implications for cosmology. Our scheme of quantization leads to several interesting outcomes. For example, we show that the vacuum energy should be timedependent. There has been a proposal in the literature that the Higgs field may play a role of the inflaton field [34][35][36]. Our results seem to indicate the possibility for the Higgs field to play the role of the quintessence field as well. At least, it is not inconsistent with the quintessence idea at the most basic level; the Higgs field may be one of the contributors to the time-dependent vacuum energy. The discussion here does not exclude the possibility of the existence of a separate Quintessence field. What remains true regardless is the fact that the Higgs field will contribute to the time dependence of the vacuum energy no matter how small the dependence may currently be. Suppose one has obtained the 1PI action of the gravity-scalar system and the quantum-corrected field equations. Based on isotropy and homogeneity one would set the metric ansatz to namely, the same form of the ansatz used for the classical field equations. If the solution for the scalar has certain characteristics (to which we will shortly turn), its potential will behave as a time-varying cosmological constant, which is nothing but the basic idea of Quintessence. Although the full quantum analyisis is desirable and could be carried out in spite of the high-level technicalities, it would be of limited experimental significance for the time being. As stated previously, however, it provides a rationale for the setup in which some of the unsolved cosmological problems can be tackled and more precise formulations of relatively recent new ideas such as the time-dependent fundamental constants can be made. With this said one can for now focus on the classical field equations. With a slowly varying solution the scalar kinetic term can be neglected. Again the smallness of the cosmological constant may be explained by examining the potential once the scalar solution is substituted.
The time-dependence of the scalar field will be such that it will settle down, as time goes on, to the value that yields the minimum of the potential. The fact that the scalar field contributes to the time-varying vacuum energy can be easily seen by examining the metric field equation, the scalar kinetic terms may be neglected if they are much smaller than the potential term that is time-varying once the time-dependent solution for the scalar field is substituted. The differential equation satisfied by the scalar field can be solved numerically as we will now discuss. We have restored c and in the equations below for the numerical analysis. The Friedmann equation (for the zero curvature case) is The scalar field equation reads The Higgs particle in the Standard Model has the values of λ 0.13 and where m H denotes the mass of a Higgs particle. In the CGS units the order Because of limitations in our computing power we could not quite use the numbers of this order. Instead we set v ∼ 10 5 For the same reason we set 8πG Numerical solutions with various intial conditions have been examined: they all display highly oscillating behaviors for early times. For a sufficiently large time, however, the scalar field quickly approaches the value used for

Conclusion
In this work we have carried out the one-loop renormalization of a gravityscalar system with the Higgs-type potential. We have reviewed that the 4D covariance is maintained only with the traceless propagator but not with the traceful propagator; the pathology of the traceful propagator was demonstrated with several examples including the non-minimal coupling that played an important role in the Higgs inflation proposal. Gauging-away of the fluctuation of the scalar field brought simplification in the counter-vertex structures, which in turn has substantially simplified the renormalization procedure. Once a time-dependent solution was considered the time-dependence of the vacuum energy followed. The novel gauge-fixing of the scalar facilitates the view of the potential as the time-varying vacuum energy. (The gauge-fixing of the scalar provides a rationale for viewing the scalar field as the onshell background while keeping the metric offshell.) Our result is in line with the view that the current small value of the cosmological constant may be due to the old age of the Universe [41,44].
The present renormalization program offers several insights. Intead of asking why the cosmological constant is so small one should perhaps ask why the minimum of the potential should be taken to be zero. It might not be entirely possible to "explain" why the minimum should be zero but it may be possible to atribute it to an initial or boundary condition which may be posed as a postulate. One possible motivation for the the zero-minimum potential is that only in such a case would a flat spacetime remian as a solution. (With the classical scalar solution ζ = 0 one has a false vacuum of dS whereas the true vacuum is a Minkowski spacetime, at least classically.) This will be the case even at the quantum level with an appropriate renormalization condition. The renormalization condition should be such that the solution approaches a flat spacetime; this will mean that all of the finite parts are taken zero by the renormalization condition. (See more comments below.) Another insight is on the possible time-dependence of fundamental constants. The time-dependence of the vacuum energy (and other fundamental constants such as the masses of elementary particles) comes from the fact that the background (i.e., the FRW metric) is time-dependent. Presumably the smallness of the cosmological constant means that the current universe is such that the scalar value is very close to the true minimum.
There are several future directions, some of which must be completed to (dis)prove the statements and speculations above.
Firstly, one may tackle the finite parts of the correlators. To that end one must employ the full curved space propagator. The full propagator is the inverse of the Laplacian operator constructed out ofg B µν . The metricg B µν and its inverse should be expanded aroundg 0 µν in the first order in ϕ B µν for the leading order computation of the effective action. For a fuller analysis of renormalization, the renormalization conditions will have to be explicitly spelled out as well; the procedures introduced in [53] [54] [55] will be useful.
Secondly, one should consider the quantum corrections to the constraints. It will be crucial to check whether or not the reduction picture will remain valid with the quantum corrections. The best approach for this may be for one to first complete the renormalization procedure and cast the effective action into a simpler form in terms of the redefined fields. It is conveivable that many terms in the effective action may be absorbed into the field redefinition. Although the steps are expected to be involved, the complementary mathematical picture offers one positive sign: the condition (32) should remain valid (by gauge-fixing if necessary) even after the quantum corrections are taken into account.
For pure gravity at one loop it was possible to stay within the 4D covariant setup [2] due to the topological identity given in (66). At two-and and higherloops one must employ the "hybrid" setup in which the external states are taken onshell 3D and the offshell momenta in the loop are 4D since the identity (66) is not applicable [24,25]. As we saw in this work, essentially the same strategy can be employed for the gravity-matter system if the number of the matter components is small. It would be necessary, however, to use a different method for a more general gravity-matter system. (See [48] for the recent progress along this line.) But before we get to this, let us muse on one curious aspect of our foliation-based quantization scheme.
One of the greatly appreciated lessons of the holographic dualities in general is the importance of the boundary degrees of freedom and their dynamics. The "dual" boundary degrees of freedom relevant for our case are directly visible as part of the bulk system [24,28]. (They are directly visible in the sense that they do not require any transformation to become visible. In contrast the gauge degrees of freedom in AdS/CFT may become visible after a certain "dualization process" [61].) Because of this one faces potential tension with the Dirichlet boundary condition: there is a possibility that the Dirichlet boundary condition might not be adequate once quantum gravitational effects set in. (This issue has been recently analyzed [48].) In black hole physics, for example, the information may escape from the black hole to the asymptotic region [62] where it may get stored. The Dirichlet boundary condition makes the boundary degrees of freedom non-dynamical since it constrains the fields to die out at the boundary. This does not pose a problem for a non-gravitational system since the system has genuine onshell bulk physics. Not all seems well in the gravitational physics, however, in light of our proposal on the manner in which the boundary degrees of freedom become relevant: the potential incompatibility between the Dirichlet boundary condition and the non-trivial boundary dynamics calls for investigation. In contrast, the Neumann boundary condition should be fully compatible with the quantum effects. It also seems plausible that the Neumann boundary condition may shed some light in the black hole information paradox. (The present quantization scheme may be applied to study the Firewall [63] [64,65], the original motivation for our recent works.) Since the Dirichlet boundary condtion will wipe out the boundary dynamics the information might be lost if it (or at least part of it) is to be stored at the boundary. The Neumann boundary condtion should be safer in this respect.
Coming back to the renormalization of a more general gravity-matter system, we can somewhat articulate the possibility put forth in [28]. First of all, one should investigate the possibility that the presence of matter fields might not actually lead to non-renormalizability. In other words it could be that the renormalizability may be determined largely by the gravity sector since, with a theory in which the matter fields are minimally coupled with gravity, it is the graviton vertices that contain multiple derivatives, therefore tend to lead to more divergent results. 28 More work will be required to thoroughly check this speculation. One encouraging sign is that renormalizability does not seem lost even if one keeps the scalar dynamical in the present system. (See [48] for recent confirmation of this anticipation.) One would introduce an additional term in the metric shift (81) in order to separately take care of the right-hand side of (85): instead of (85), one will now have two conditions, one for the Newton's constant and the other for absorbing the divergence of the form Rζ 2 . It seems to be a reasonable possibility that a similar analysis will work for a system with many matter fields, such as the Standard Model. 29 These anticipations and speculations will be worth more careful study in the future. 28 Also, as speculated in [28] the virual boundary terms could be of some help in absorbing some of the counter terms. This is in addtion to the flexibility, in a slightly more general renormalizability requirement, of having several terms not present in the original action as counterterms. The flexibility of virtual boundary terms includes the freedom analogous to the renormalization conditions. In other words, different finite virtual boundary terms will be analogous to different renormalization conditions. 29 When the external states are taken as the 3D physical states the effective action can eventually be written as a 3D form. Initially the effective action will be written as a position space 4D integral expression but then subsequently it should be possible to reduce it to the corresponding 3D form. The coefficients will reflect the 4D divergent integral.

A Conventions and identities
The signature is mostly plus: Our definitions of the Riemann tensor, Ricci tensor and Ricci scalar are The fluctuation metric φ µν is defined through The indices of φ µν are raised and lowered by g 0µν , g 0µν . For the refined application of the background field method, an additional shift φ µν ≡ φ B µν + h µν was made: The following shorthand notations were used in some places: The graviton propagator is given by where, for the traceless propagator, 30 P µνρσ ≡ 1 2 g 0µρ g 0νσ + g 0µσ g 0νρ − 1 2 g 0µν g 0ρσ ; (A.10) 30 The traceful propagator is P µνρσ ≡ 1 2 g 0µρ g 0νσ + g 0µσ g 0νρ − g 0µν g 0ρσ (A. 9) it satisfies P µνκ 1 κ 2 P κ 1 κ 2 ρσ = P µνρσ (A.11) The ghost propagator is given by For a flat background, For the scalar kinetic term the propagator is In the leading order in a flat background The traceful case is The traceless case is (one can simply remove all the terms containing ϕ)

B Pathology of traceful propagator
In the main body it was shown that the counterterms turn out to be covariant once the traceless propagator is used. In contrast, use of the traceful propagator yields the results that cannot be re-written in covariant forms. Instead of (19) and (20) one gets Neither of these can be reexpressed in a covaraint form. For the non-minimal coupling diagram in Fig. 1 the counterterms are given by λ 24 This cannot be expressed in terms of covariant quantities.

C Coordinate-free analysis
The analysis in section 2.2 crucially depends on the identity (C.1) derived in [66] in the coordinate-free framework. Whereas the component analysis requires less formalism and technicality, the coordinate-free analysis provides a complementary understanding of the subtle relationship between the 3D and 4D tensors. For example, the 3D and 4D covariant derivatives are related by a pullback operation and the use of the coordinate-free setup makes evident the generality of the techniques employed. In addition, the coordinate-free setup makes it easier to connect with the more mathematically-oriented literature. The commutator of the component forms of the Lie and covariant derivatives used in section 2.2 is a special case of the more general relationship [66]: where X, Y are coordinate-free notations for vector fields and T a tensor field. For the present case, the vector fields X, Y take in the coordinate base, and where the boldfaced symbol h is the coordinate-free notation for the 3D metric. Let us introduce the coordinate-free version of e α a (see Appendix A for its definition) and denote it by e [67]: where * on e * denotes a pullback operation and is the standard mathematical notation. It is also common in the mathematical literature to use the same symbol to denote a pullback quantity: h ≡ e * h (C.6) The 3D metric compatibility condition takes Dh = 0 (C.7) Let us also denote the extension of the 3D second fundamental form K to 4D by the same letter ((3.59) of [67]): K ≡ e * K (C.8) The component form of the second fundamental form, K ij , is related to the 3D metric h ij by where N denotes the coordinate-free form of the shift vector, and The component expression K mn K mn should translate into the following coordinatefree expression: (C 13 C 24 )(K ⊗ #K) = (K ⊗ #K) ∂ ∂x µ , ∂ ∂x ν ; dx ρ , dx σ (C.11) where C's denote appropriate contractions. For example, C 13 denotes the contraction of ∂ ∂x µ in the first slot and dx ρ in the third slot. The subscripts such as 1, 3 are often suppressed. #K is defined as (see e.g. [68]) where C denotes the obvious contractions, i.e., the contractions dictated by the component expression, K mn K mn ; the symbol ∼ means that the relationship is valid up to a possible numerical factor that depends on one's convention. Let us consider the coordinate-free expression of K mn K mn , (C.11). Partially integrating, the covariant derivative in #K comes to act on the other K; focusing on the factor DK one gets