Frame (in)equivalence in quantum field theory and cosmology

We revisit the question of frame equivalence in Quantum Field Theory in the presence of gravity, a situation of relevance for theories aiming to describe the early Universe dynamics and Inflation in particular. We show that in those cases, the path integral measure must be carefully defined and that the requirement of diffeomorphism invariance forces it to depend non-trivially on the fields. As a consequence, the measure will transform also non-trivially between different frames and it will induce a new finite contribution to the Quantum Effective Action that we name frame discriminant. This new contribution must be taken into account in order to assess the dynamics and physical consequences of a given theory. We apply our result to scalar-tensor theories described in the Einstein and Jordan frame, where we find that the frame discriminant can be thought as inducing a scale-invariant regularization scheme in the Jordan frame.


Introduction
A fundamental property that all sensible physical theories share is the fact that physical statements cannot depend on the choice of variables we use to describe the physical system, even though there might be a set of variables which have a preference. For example, in Special Relativity we have the notion of different inertial frames associated to observers moving at different relative velocities. Both observers have their own preferred coordinate frames in which to describe events but physical statements are invariant under Lorentz transformations which relate the two frames. Moving to the theory of General Relativity, we demand physical statements to be invariant under quite arbitrary coordinate transformations on spacetime. In classical field theory one can also extend the notion of general covariance to field space by demanding that physical statements are independent of the way we parametrise the field variables. Invariably, the equations of motion will appear simpler if we use a certain set of variables, however the physics should be indifferent to this choice.
Quantum Field Theory (QFT) is a different story though, since the formalism is drastically different to classical mechanics. In perturbative QFT we are interested in amplitudes between asymptotic states, which can be obtained by taking variational derivatives of the Quantum Effective Action after performing a path integral over all possible paths with the right boundary conditions. One problem is that the standard definition of the Quantum Effective Action depends on the choice of variables as a consequence of the source term. However since the source is equal to the effective equations of motion, the nonequivalent pieces which arise for this reason do not contribute to on-shell amplitudes used to derive S-matrix elements. More generally, since observables are evaluated for vanishing source this dependence on the choice of vari-ables is innocuous. Indeed one may even overcome this problem off-shell by using the unique effective action [1] which makes use of a covariant source term. However, as we shall see, this is not the end of the story. Even with the vanishing source terms, the path integral measure must also transform in a covariant manner for theories formulated with different field variables to be equivalent. This issue becomes especially subtle in the presence of gravity and whenever extra symmetries are required for the field manifold.
A first indication that the choice of variables can be significant was found in [2] where it was pointed out that in certain scalar-tensor theories it is possible to map anomalous symmetries (scale invariance) to healthy ones (shift symmetry) after a field redefinition. Specifically, theories which are classically scale invariant in the Jordan frame and are related to a theory which enjoys shift symmetry in the Einstein frame. In that case, quantization in the two different sets of variables lead to a different S-matrix due to the appearance of new transition amplitudes only in the Jordan frame, where the scale invariance is anomalous. 1 In the Einstein frame the shift symmetry remains intact in the quantum theory and consequently no anomaly occurs. Through the example in [2], one can trace the origin of the discrepancy to the existence of the metric as a dynamical degree of freedom, since it is the metric redefinition what eventually leads to the transmutation of symmetries. This prompts us to further investigate the frame dependence of more general scalar-tensor theories and to identify the origin of disparity between different quantum theories.
Although we do not have a complete theory of Quantum Gravity, there are several regimes in which we require the metric to be a dynamical degree of freedom and General Relativity (GR), or alternative theories, to be quantized as an effective field theory. The most prominent of these regimes is inflation, happening at the very first moments of our Universe's lifetime, when the mean energy was high enough for quantum gravitational effects to be of relevance. We do not dispose of an accurate description of inflation though, due to a lack of data to pinpoint a particular theory [3], but instead there exist many models which satisfy the requirements that lead to a successful inflationary regime compatible with our meager data [4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19]. Many of these models are formulated, either explicitly or effectively after disentangling the relevant degrees of freedom, as single field inflation models, where a scalar field is coupled to gravity and moves down a potential, producing inflation while rolling down and stabilizing in the minimum of the potential afterwards. Although this leads to a large zoology of different models, even just for single field inflation, they all share a basic structure on their Lagrangian 2 Different choices of the scalar field potential V (φ) and the gravitational coupling U (φ), which includes both the Lagrangian for gravity and the non-minimal interaction terms between gravity and the scalar field φ, will lead to the different explicit proposals for inflation. 3 Related to scalar tensor models are f (R) models where L = f (R) which, apart for the case where f (R) is linear, also describe one physical scalar particle coupled to a spin-two graviton. It is of common practice, though, to use field redefinitions to eliminate unpleasant non-minimal couplings in U (φ)R between the metric and the scalar field e.g. φ 2 R. By redefining a new metric and scalar field, which we denote with tildes, it is always possible to get rid of these terms and arrive to a minimally coupled theory where the gravitational sector is described by plain General Relativity. The theory described by the original Lagrangian (1) is referred to as the Jordan frame where as the minimally coupled theory is known as the Einstein frame. Similarly one can also use field redefinitions to rewrite any f (R) model as a scalar tensor theory either in the Jordan frame or the Einstein frame.
The simpler setting of the Einstein frame allows for an also straightforward interpretation of the dynamics of the system as a scalar field rolling down the new potential, from which we can derive all relevant inflationary parameters. However, as we have previously pointed out, this is a dangerous step if we want to include quantum effects, since the quantum formulation of both theories might be different in certain cases and we might be missing important physical effects. Indeed, the question of equivalence of scalar-tensor theories in Cosmology has been thoroughly studied in the recent years from many different points of view ( [20][21][22][23][24][25][26][27][28][29][30][31][32][33][34][35][36][37] and references therein). However, most works are focused on the classical and observational aspects of frame equivalence and the few that study the issue at a quantum level find contradicting results. Several works have concentrated on the divergent part of the one-loop the effective action and the corresponding beta functions (for related non-perturbative studies using the functional renormalisation see [38,39]). These studies show that the divergent part of the effective action generically differs in the two frames by terms proportional to the equations of motion. This was shown in two and four dimensional dilatonic gravity in [21,40] while in four dimensions this has also been proven in [22] for a wide range of models. In [30] calculations were carried out using the field spacecovariant Vilkovisky-DeWitt effective action which guarantees that results are formally independent of parameterisation of the quantum fields (see also [41,42] for another framecovariant approach). However one should bear in mind that even if one uses a covariant approach results can still depend on the definition of the geometric objects such as metrics and connections defined on field space.
Motivated by these concerns, which might have consequences for many important inflationary and gravitational models, we wish to revisit the problem of equivalence of Quantum Field Theories. We will do this by giving a proper definition of all the elements involved in the path integral quantization of a given Quantum Field Theory and studying their behaviour under a change of frames. We will find that, as hinted by the previous discussion about anomalies, the source of the apparent inequivalence between the frames is the definition of the path integral measure, which includes the determinant of a metric defined on the field manifold. While this metric is generically field independent for scalars, fermions and vector fields, and thus it can be ignored for perturbative computations, this is no longer the case when gravity enters into the game. The requirement of diffeomorphism invariance of the Quantum Effective Action (even when the metric is just a semi-classical degree of freedom or a external source) forces the integration measure to depend non-trivially on the field variables.
If we want preserve frame equivalence at the quantum level, the measure must also transform non-trivially after a change of frames. However if we first change frames at the classical level and then quantize the resulting theory, the measure will not coincide with the transformed one. The operations of changing frames and quantizing do not commute. Consequently, the corresponding Quantum Effective Actions will differ by a non-vanishing finite piece which is not proportional to the equations of motion. The derivation of this frame discriminant term constitutes the main novel result of this work. It will contribute to 1PI correlation functions and thus it cannot be ignored. Disregarding it represents a different choice of integration measure, and thus a different Quantum Field Theory.
This paper is organized as follows. In Sect. 2 we will introduce the concept of frame equivalence both at the classical and quantum level, discussing the state-of-the-art of the discussion and raising some concerns for scalar-tensor theories. In Sect. 3 we will define the path integral and the integration measure for a general theory, keeping in mind the scalar-tensor theories of interest and discussing the transformation of the path integral measure.
We will then present the derivation of the frame discriminant using the background field method in Sect. 4 and we will apply our formalism to scalar-tensor theories in Sect. 5, describing also its relation with the so called scale-invariant regularization. Finally, we will summarize and discuss our results and conclusions in Sect. 6. Appendix A will be devoted to prove some statements about our derivation in the presence of gauge invariance.

Frame equivalence
Frame equivalence is an important assumption for physics to be reliable. It means that the choice of variables used to describe a system should not matter when deriving physical statements, although of course computations might be simpler for some of these choices than for others. The trivial example of this situation is the case of a particle forced to move in a circumference in classical mechanics. The system can be described either by using Cartesian or polar coordinates. The equations are simpler in the latter but physical statements are equivalent and in one-to-one correspondence, provided that we properly transform quantities between different coordinates systems.
In classical field theories we can give a solid definition of this statement. If we have two frames (two choices of dynamical field variables) a (x) and˜ a (x) related locally bỹ we call them equivalent if any physical quantity A( ) satisfies This is no more than the statement of covariance under the manifold spanned by all possible configurations of the variables a . Alternatively, we could also say that this defines the notion of what we consider a physical quantity for a general theory. In particular, it encloses a notion of relativity familiar from General Relativity but where in (4) the coordinates are the dynamical variables which parametrise the physical system rather than space-time coordinates. We can therefore identify the variables with coordinates on the space of dynamical histories M such that (4) is just the statement of general covariance, where physical observables A( ) are understood as scalars on M .
A very important consequence of what we have described is the equivalence of classical field theory under redefinitions of the variables . This follows from the fact that the action S( ) satisfies (4), which means that classical equations of motion, obtained by applying the variational principle to either S( ) orS(˜ ), are related by Provided that the Jacobian matrix ∂˜ b ∂ a is non-singular when evaluated at each of the stationary solutions, δS( ) δ a = 0 implies δS(˜ ) δ˜ b = 0 and stationary trajectories are in a oneto-one correspondence. One can then say that two theories where the variables are related to each other by (3) are classically equivalent if the dynamical shells corresponding to the points 0 and˜ 0 , where the actions are stationary, are related by˜ 0 =˜ ( 0 ). Thus, any physical quantity will lead to the same result in either frame when evaluated on-shell, as a consequence of (4). Again, this just encloses the common notion that one should be free to choose whatever variables they prefer to perform a computation and, although particular equations will be different, physical statements must remain the same for any choice.
Although this statement is crystal clear in classical mechanics, the situation is not so transparent in Quantum Field Theory(QFT), where not only stationary trajectories contribute to the dynamics of a given system. There, instead, we are interested in objects formally obtained from a path integral over all possible trajectories with the right boundary conditions. In particular, we focus our interest on correlation functions obtained from the Quantum Effective Action [Q], which is defined in terms of the mean field Q by a Legendre transform where Q satisfies the effective equations of motion and W [J ] is given as a (Euclidean) path integral over the field variables with a source J a Here the dot product is assumed to represent sum over all indices as well as integration over space-time coordinates However, as noted by Vilkovisky in [1], the quantum effective action as defined here does not satisfy an analogous formula to (5). In general and there is not a one-to-one correspondence of 1PI correlation functions in different frames. Nevertheless, it was also shown in [1] that the problematic pieces are proportional to the equations of motion and they cancel on-shell, preserving equivalence for those correlators that contribute to S-matrix elements. The problem persists off-shell, and although there is a way to covariantize [Q], arriving to what is known as Unique Effective Action, it is not clear if this redefinition is needed at all for most standard settings, since all dynamics is presumably contained in the S-matrix. 4 One may summerize the situation by noting that it is the non-covariance of (9) which is responsible for (10) but that, since observables are calculated for J = 0, this can only lead to disparities in intermediate steps in the calculation of correlation functions but not in observables (e.g. the S-matrix). Even though things seem pretty clear from Vilkovisky's arguments, more concerns can be raised in the presence of gravity as one of the dynamical fields in , even for on-shell quantities. In particular, let us focus in the problem pointed out in [2], where we consider non-linear redefinitions of the fields. In those cases, the realization of gauge and global symmetries might differ in different frames. Therefore, it might also happen that something which is an exact symmetry under renormalization in one frame maps to an anomalous symmetry in the other. Then, the anomaly to the current conservation generates new S-matrix elements in one of the frames only, through the expectation value where | = ∇ μ J μ |0 is some state of the theory. This amplitude, which it is not generated in the second frame, where there is no anomaly, spoils the equivalence premise in a strong way.
Although this is a quite general effect associated to field redefinitions, let us here be explicit and show a realization of this phenomenon by choosing a particular scale-invariant scalar-tensor theory, where we couple the metric g μν to a scalar field φ in the Jordan frame where ξ and λ are dimensionless couplings. This action is invariant under diffeomorphisms as well as under global scale transformations of the form for constant . This symmetry is extended to local Weyl invariance when ξ = − 1 12 , for which the scalar field becomes a gauge degree of freedom [40]. This defines our first frame, with variables collectively denoted as .
The frame˜ will be the corresponding Einstein frame, obtained by defining a new of set of variables through where we have introduced two new scales, the Planck mass M p and an arbitrary scale m. The corresponding action is In this frame, the action is invariant under diffeomorphisms too but, instead of enjoying a scale symmetry, this has mutated into a shift symmetry for the scalar field where C is a constant. Now we can ask to what extent the two actions (12) and (15) are classically equivalent. If we consider the equations of motion for (12) it is clear that φ = 0 is a solution for all metrics g μν . However for φ = 0 the coordinate transformation between the two frames is singular, since it maps tõ g μν = 0 andφ = ∞. Thus, equivalence demands the theory to be in the broken phase. As long as we give a vacuum expectation value to the field φ, both frames are classically equivalent.
However, this is not the end of the story. As we commented, this setup gives us an explicit relalization of the problem referred to as anomalous frame equivalence in [2]. When quantizing this theory in the Jordan frame in dimensional regularization 5 we will generate contributions to the effective action of the generic form where O J R μναβ , φ are homogeneous operators of energy dimension 4, R μναβ is the Riemann tensor constructed with g μν and we have restricted ourselves to a single loop in the perturbative expansion. Note that the volume integral here is d-dimensional, with d = 4 + . This means that, after a scale transformation, the integrand will transform as which, after expanding in will generate a finite residue on the transformation of the effective action . This is the usual scale anomaly of theories with scale invariance in curved space, where new contributions to the gravitational lagrangian are generated by radiative corrections and, whenever we can define a sensible S-matrix, 6 they will generate a new scattering amplitude from the anomalous contribution to the current conservation where J μ J is the classically conserved current associated to the symmetry (13).
In the Einstein frame, we can also proceed with quantization in the standard fashion, also using dimensional regularization. In that case, the one-loop effective action will take a similar form The operators O E can be obtained, when on-shell, as a transformation of the corresponding ones in the Jordan frame, satisfying equivalence in the sense of [1]. However, in this case there is no anomaly in the shift symmetry, so there is no obstruction to the conservation of the corresponding current and the new elements are not generated. This effect distinguishes the frames. There is an obvious clash here with the conclusion of [1], which claims that the S-matrix must be equivalent in both frames. However, by examining this particular illuminating example of a scale-invariant theory that we have chosen, it is not difficult to see what is the origin of the issue. Going carefully over the derivation described in the previous paragraphs, we see that there are two crucial steps involved in the computation -the introduction of a regularization and the computation of the anomaly. Taking into account that, provided that the transformation between frames is not singular, the action transforms in a proper manner, this clearly isolates the origin of the problem in the measure of the path integral. Indeed, if one goes over the derivation of the Unique Effective Action in [1], it can be seen that although the path integral measure is carefully defined in the paper, it is considered to be the same in any frame and thus to give the same contribution regardless of the choice of variables. We will see in the next section that this is actually not true.

The functional integral
Let us consider the Euclidean path integral of a quantum field theory described by a set of fields collectively denoted as with Euclidean action S[ ]. That is Since the source term J · breaks reparameterisation invariance we will from now on consider the case J = 0. This allows us to concentrate on effects which come from different choices of the functional measure.
Here [d ] represents the functional measure before regularisation, whose definition might vary depending on the parametrization of the degrees of freedom used to construct the perturbative expansion of the path integral. However, we must require this measure to be reparametrisation invariant. This can be achieved by regarding the fields as coordinates on the configuration space M . General covariance in this space thus defines Let us explain the different objects that appear in this formula. First, we have allowed the action to be invariant under certain symmetry (global or gauge) such that the field a is a section of the corresponding bundle, carrying an index which might be also used as a label for the different field species.
With the dependence of the field suppressed a = a (x), we can understand a as a DeWitt index. Consequently the product over a also implies a product over points in spacetime. The factor of √ 2π appears for normalization purposes. The measure is then parametrized by the metric C ab in M , which will be generally curved and is to be understood as a two point function of the ultra-local form where C ab (x) are local functions of the fields a (x).
For gauge theories we also have to divide by the volume of the gauge group of the action. The definition of V gauge also requires a metric such that where ξ α are the generators of the Lie algebra of the symmetry. Here again α is understood as a DeWitt index including both the discrete index and the spacetime coordinate and η αβ has the ultra local form η αβ = η αβ (x)δ(x, y). Thus the path integral will not depend only on the action S[ ] but also on the choice for the metrics C ab [ ] and η αβ [ ]. For theories such as Yang-Mills, the metrics can be chosen to be independent of the fields without breaking gauge invariance and thus they are not relevant for the computation of correlators in perturbation theory. However, in the presence of gravity, the metrics have to depend on the dynamical fields themselves to preserve diffeomorphism invariance [46]. This implies that in a general case we cannot neglect the contribution of the functional measure into the result of the path integral.
As it is written, the integration measure is reparameterisation invariant, since it is invariant under diffeomorphisms on M . Therefore at a purely mathematical level we are free to choose a different parametrisation of our quantum fields (3). Throughout this paper we will be interested in the case where˜ a ( b ) is a local invertible function of the fields that does not involve derivatives such as (14). Under this change of variables, the action S satisfies (4) in a trivial manner while the metrics C ab and η αβ transform as a tensor and a set of scalars respectively, which maintains the form (25) provided that˜ a ( b ) is a local function of the fields. We are then free to equivalently write the path integral in the form where now provided both (27) and (28) (27), quantum mechanically we have the addition requirement that the measures of the theories are equivalent which is satisfied by (28). The explicit construction of the metric is a subtle issue and different approaches can be found in the literature [46][47][48][49][50]. A fundamental restriction on the choice of C ab and η αβ which we can impose is that they must lead to a BRST invariant measure for gauge theories [46]. However this only dictates that they transform in a covariant manner under a gauge transformation and does not fix their form. Thus to completely fix the measure we must give a prescription which may itself depend on a preferred choice for the field variables (also phrased as a choice of frame). Since different prescriptions lead to different path integrals involving the same action, they correspond to different quantisations of the same classical theory. In other words we may encounter a situation where (27) holds but (28) is violated.
A prescription which is usually used to determine the metrics, either explicitly or implicitly, is to choose them to cancel ultra-local divergences which appear in the one-loop expression for the path integral. To see how this arises naturally, let us consider the simple example of a free scalar field in curved space-time with action We can then write the source-free path integral where we integrate over the fields φ as where dφ is shorthand for x . The question then is by what criteria should we fix C[φ, g μν ]? First, let us impose that Z free [g μν ] is diffeomorphism invariant. To ensure that this is the case we can impose that the line element is itself diffeomorphism invariant. This implies that dφ det C[φ, g μν ] is diffeomorphism invariant as well, which along with the diffeomorphism invariance of S free [φ, g μν ] in turn implies the invariance of Z free [g μν ].
Furthermore if we impose that C(x, y) is ultra-local, we can determine it up to the choice of a scalar s(x) where such that If we assume that s(x) is independent of φ we can thus formally perform the functional integral to obtain where S (2) refers to the Hessian of the action. Then, the natural choice is to take s(x) = 2 to be a positive constant where should have the dimension of a mass to ensure that Z free is dimensionless. The prescription can be thus summarised (and generalised straightforwardly) as identifying the metric C ab with the coefficient of the Laplacian appearing in the Hessian of the action multiplied by the constant 2 . That is, if we assume that the term in the Hessian involving two derivatives is of the form for some metric g μν , we can then choose C ab = 2 G ab .
We shall refer to this method of determining the measure as the standard procedure as it is the one which is adopted in practice. A derivation of this prescription starting from the phase space path integral which defines the canonical theory is given in [48]. However there is an ambiguity once we include the spacetime metric as one of the quantum fields if there is not a unique choice of which metric we use to construct the Laplace operator g μν ∂ μ ∂ ν in the previous formula. Different choices of metrics will lead to different Laplace operators and to different choices for G ab . For instance, different conformally related metrics will lead to different definitions of G ab depending on the value of σ If σ were field dependent, then we would find that the integration measure depends non-trivially on which metric is identified with g μν . Thus, the prescription is not unique. Different choices of the preferred space-time metric g μν will lead to different path integrals. This choice can then be interpreted as a preferred frame choice since, if we consider two parametrisations of the fields a and˜ a which include metrics g μν andg μν respectively, then the choices g μν = g μν and g μν =g μν will in general lead to different path integrals. Nonetheless the choice of which field variables we use to carry out the calculation is independent of how we identify g μν in order to determine the form of the measure. While the former choice does not affect the physics, the latter choice can be understood as a different quantization which can lead to different physical predictions and thus to different quantum field theories. One can therefore trace the consequences of defining theories with different preferred metrics g μν to the additional factor of e 2σ . By carefully keeping track of this difference one can then identify a concrete physical difference between the two inequivalent quantum theories.

The frame discriminant: a background field approach
In the previous section we argued that the choice of variables for the path integral influences the choice of the integration measure, and that in the presence of gravity this can lead to inequivalent contributions to the path integral. We did this in a schematic way, using a simple free theory as a toy example. The purpose of this section is to generalize this result and present a derivation of this effect at one-loop in the perturbative expansion by using the background field method [51]. Specifically, we will always have in mind the example of a scalar-tensor theory of the general form where the fields = {g μν , φ} are the metric g μν and a scalar field φ, and of which (12) is a particular example. Many of the details of the one-loop path integral for this model have been worked out in [52].
Here we consider a frame˜ a where the fields˜ = {g μν ,φ} are related to the original frame by (3) which we take to be invertible such that we also have functions a = a (˜ ). The action S therefore transforms as a scalar in the sense that where S andS are the actions before gauge fixing. In particular, we will consider that the spacetime metrics will differ by a non-trivial conformal factor for some function σ (x) of the space-time coordinates which can be expressed as a function of φ(x). Again, note that (14) is a particular example of this. Now we note that up to terms proportional to the equations of motion and thus the on-shell Hessian transforms as a tensor on . This is true of the Hessian without the gauge fixing terms, however as we demonstrate in appendix A, the relation (43) remains true when we use the minimal gauges in both of the respective frames. The Hessians of the gauge fixed action have the form and Explicitly, the components of G ab in the case of the scalartensor theories (40) are given by where g μν ρλ = g μρ g νλ + g μλ g νρ − g μν g ρλ . Now we can ask howG ab will be related to G ab . From (42) and (43) it follows that which shows thatG and G are inequivalent metrics. Specifically, they differ by the factor e 2σ in addition to the expected tensor transformation between frames given in (28). As we discussed in the previous section, there now comes a choice of which spacetime metric g μν org μν we select as the physical one g μν , since different choices will lead to inequivalent path integral measures. If we choose g μν = g μν the metric on field space is given by C ab = 2 G ab which is the natural measure in the frame. Alternatively, if we declare the physical spacetime metric to be g μν =g μν , which is the natural choice in the˜ frame, the field space metric is given byC ab = 2G ab . However from (47) we see that C ab andC ab are not related by simply a change of coordinates on field space. The next step is to construct the path integral in both frames. We do this by assuming that the transformation between frames does not break power counting and thus the perturbative expansion remains organized in the same way. Otherwise, we could only compare terms at the same order in the expansion in terms of the coupling constants. In the frame the path integral in the minimal background field gauge is given by where the gauge fixing action is given by S gf = 1 2 d 4 x F α Y αβ F β . After expanding around a background solution B , this can be computed at one loop to be One can also construct the minimal gauge in the˜ -frame leading to an analogous expression for the path integralZ. As we show in appendix A, the Fadeev-Popov operators in the two frames and in their respective minimal gauges are also related bỹ while the Y andỸ are related bỹ By the choice η αβ = 4 Y αβ , the last ultra-local factor in (49) is unity up to factors of 4 which are needed to ensure that the path integral is dimensionless. However canceling the analogous ultra-local factor in the˜ frame means that we chooseη αβ = 4Ỹ αβ . Thus η αβ andη αβ will also differ depending on which frame the theory is quantized in.
Defining c b by D ab = −2 C ac c b the path integral is then given by where the factors of 4 appearing in η αβ are used to make the Fadeev-Popov determinant dimensionless. Similarly the one-loop path integral in the˜ frame is given bỹ We formally find that the path integral in both frames differ by an infinite factor which is a divergent power of e 2σ . However, this ignores the fact that we must regularise and renormalise the theory to obtain finite results. After this is done we will obtain a finite difference between the two path integrals.

Regularisation and renormalisation
In order for the expressions for the one-loop determinants to make sense we should introduce a UV cut off at the scale to regularise the functional integral and include counter terms. The cutoff can be introduced using the Schwinger propertime representation of the functional-trace [53] where in the limit → ∞ the traces approach the unregulated form. The counter term S ct ( ) should be chosen such that is independent of the cutoff scale In the˜ frame we can follow the same procedure and writẽ and again chooseS ct ( ) such that˜ is independent of An important observation to be made here is that by making the replacement → e σ one can relate the difference between the effective action and the counter terms in the two frames bỹ By a straight forward calculation it is then easy to show that the logarithmic dependence of the counter terms is given by 7 and where the coefficients B 4 , whose argument indicates the relevant differential operator, are the dimensionless heat kernel coefficient in four dimensions in the expansion for a given differential operator D. One can show [53,55] that although the operators differ in the two frames, the coefficients agree such that √ g B 4 (e −2σ ) = √ g B 4 ( ) and √ g B 4 (e −2σ Q) = √ g B 4 (Q).
Thus the scheme independent renormalisation in both frames agree and one can identify the scheme independent counter terms in both frames where for brevity we define the sum of the heat kernel coefficients B 4 ≡ B 4 ( ) − 2B 4 (Q). The ellipses in (63) and previous formulas includes scheme dependent terms which have either a power law dependence on or vanish on-shell. Note that we have been forced to introduce a renormalization scale μ in order to cancel the divergence. This shows that divergences will be the same in both frames, agreeing with the results of [22]. However, matching the counter terms in this way is not enough to conclude that the theories differ only by scheme dependent terms and are therefore physically equivalent. Instead we need to compare the renormalised effective actions, where finite terms might be relevant. The relation (59) already indicates to that these finite terms will differ. In order to make the comparison, let us note that the regulated traces and the classical action S 0 are themselves independent of μ. Consequently, there must be a physical scale coming from the classical action and which may depend on the fields as well as the couplings, such that the logarithmic dependence on takes the form with M phys compensating the dimension of in the argument of the logarithm. In principle one should be able to calculate M phys . 8 After subtracting the counter term we will then have a finite contribution to the effective action given by 8 The classical example of this is the Coleman-Weinberg potential [56], where M phys will be a combination of the mass and vacuum expectation value of the scalar field.
Now if we consider the effective action in the˜ frame we see from (59) that is replaced by e σ in (65) and thus which amounts to the replacement of the physical scale M phys bỹ Comparing both expressions, one can then conclude that the finite effective actions in both frames differ bỹ since after subtracting the counter terms there will remain a finite contribution which is present even after going on shell. We will refer to this quantity as frame discriminant hereinafter. An equivalent way to quantify the difference between quantising the theory in either frames follows from promoting μ to a field dependent scale viã As we shall explain in more detail in Sect. 5 this transformation resembles the transformation made in the so-called scale invariant renormalisation schemes. However, we stress that (71) is much more general and applies to related theories quantised in the standard manner beginning in separate frames regardless of whether we have scale invariance. Thus we can conclude that the two theories are inequivalent at the one-loop level and will therefore give different physical predictions, derived from the frame discriminant A. This means that there is an ambiguity in the quantization of the theory related to the choice of the functional measure. This choice of functional measure can in turn be traced to a choice of which spacetime metric is declared to be the physical one. The frame discriminant A is finite and a function of the fields in the theory, so it will potentially generate new amplitudes that can contribute to S-matrix elements.
As a final note, let us note that our derivation here can be applied to any QFT regardless of its renormalizablity. Even in the case of an EFT, this procedure is well-defined as long as we compare expressions at the same order in the perturbative expansion in terms of the coupling constants. Indeed, in the next section we will show how this piece solves the anomaly problem in the scale invariant scalar-tensor theory that we used as an example in Sect. 2, which is non-renormalizable and thus can be only considered as most as an EFT.

The frame discriminant in scale invariant scalar-tensor theories
Now that we have presented a precise derivation of the frame discriminant, let us go back to the explicit example of a scalartensor theory introduced in Sect. 2, with actions in the Einstein and Jordan frames given by where the variables are related bỹ As we commented in Sect. 2, the standard quantization of this theory carried out in each frame leads to inequivalent theories due to the presence of an anomaly only in the Jordan frame. This is precisely a consequence of defining the functional measure in one of the frames, where we are thus choosing a preferred metric g μν , as discussed in previous sections. If we want to rewrite the theory in any other frame, we need to transform this functional measure as well, picking up the finite contribution of the frame discriminant into the quantum effective action, which for this particular example will solve the clash with the scale anomaly, as we will see. Quantizing in any other frame without taking care of this represents, as previously discussed, a different choice of functional measure and thus a different quantum field theory.
Here we can identify the issue by looking at the measures for both theories. Quantising in the Jordan frame, the line element of the field space metric is given by which is not scale invariant and hence we will have the usual scale anomaly. If we now were to make an innocuous change of variables we obtain which is the Jordan frame metric written in Einstein frame variables. Notably (76) is not invariant under a shift ofφ: the scale anomaly in the Jordan frame has transmuted into a shift anomaly in the Einstein frame as a consequence of us quantizing the theory in the Jordan frame. Conversely if we quantize the theory in Einstein frame the field space metric is given bỹ which is invariant under the shift symmetry forφ and thus we have no anomaly. Performing the change of variables, this time from the Einstein frame to the Jordan frame, we obtain the field space metric which, in contrast to (75), is scale invariant and hence we do not have a scale anomaly. Thus we have the choice of two quantizations: the anomaly free 'Einstein frame quantization' and the anomalous 'Jordan frame quantization'. Picking the Einstein frame as the preferred frame in which to determine the measure will mean we remain anomaly free even if we ultimately use Jordan frame variables.
Let us now work out the form of the frame discriminant to see how it preserves scale invariance of the level of the oneloop quantum effective action provided we pick the Einstein frame as the preferred frame. The divergent part of the effective action in the Einstein frame can be computed at one-loop by the use of standard techniques. Here we show the results in dimensional regularization. We refrain to reproduce the details of such computation here and refer the reader to the literature instead, e.g. [40,52,57]. For simplicity we neglect terms which involve derivatives of the fieldφ. Up to these terms the equations of motion reduce to which in the Einstein Frame translates tõ Where we note that the value ofφ and φ are not determined due to the shift and scale symmetries. When evaluated on the equations of motion, we have the heat kernel coefficients Eur. Phys. J. C (2019) 79:595 in the Einstein frame, and in the Jordan frame. This leads to a finite part of the effective action given bỹ Let us note that although d 4 x gR μνρσR μνρσ is a topological invariant on an Einstein Space since log(μ/M phys ) is a function of the fields the first term in (83) is not a topological invariant. 9 In a more general case we would find terms involving derivatives ofφ and terms which vanish on the equations of motion. Now since in the Einstein frame we have an unbroken shift symmetry we know thatM phys must be invariant under (16) and thus for a constantφ the physical scaleM phys is independent ofφ and only depends on the metricg μν = e 2σ (φ) g μν where from (74) σ is given by Writing the action (83) in the Jordan frame variables we then obtain 10 which is scale invariant since the shift symmetry has simply transformed into the scale symmetry under the change of variables. We can equally write the effective action in Jordan variables according to (69) as in terms of the effective action which we would obtain if we were to take Jordan frame as the preferred frame, and the frame discriminant 9 On the other hand, the divergence proportional toR μναβR μναβ is a topological invariant [58]. 10 Here the subscript J simply denotes which variables we are using while the tilde indicates that the preferred frame is the Einstein frame.
In this form we see how the frame discriminant comes to save frame equivalence and solves the problem with the scale anomaly. First let us note that from the relation (68) and using thatM phys is independent ofφ we havẽ Thus, unlikeM phys , under a scale transformation (13) the physical scale M phys transforms non-trivially as If we now compute the conservation of the current for scale invariance we will find that J induces what we called before the anomaly for a constant transformation with coefficient = 1 + ω + O(ω 2 ). However by taking into account the discriminant, which transforms precisely as we find that now the total quantum effective action is invariant and there is not anomalous current whatsoever! What is happening here is that the S-matrix, and thus all physical properties, are defined by the frame in which we define the functional measure, where we implicitly choose a preferred metric g μν . In any other frame, the effective action must transform appropriately in order to preserve all physical statements and in particular all S-matrix amplitudes. Since there are no anomalously generated elements in the Einstein frame, our quantization process must preserve this condition in any other frame.
The role of the frame discriminant in this example is precisely to compensate the differences in the finite pieces of the quantum effective action between the two different frames, being those the origin of the scale anomaly. But this also means that the frame in which we choose to start is very important. If instead we were starting from the Jordan frame, where the anomaly is a physical effect, the frame discriminant would give us exactly the opposite effect to what we have shown here -to generate the consequences of the scale anomaly in any other frame, in order to preserve all S-matrix elements. Of course, this effect is not restricted to theories with anomalous currents, but it appears whenever we do a non-linear redefinition of variables which affects the integration measure. In summary, a quantum field theory is not defined solely by the action, but also by the choice of integration measure or equivalently by the choice of preferred frame which selects the form of the measure.

A comment on scale-invariant regularization
Let us take a closer look to the expression for the quantum effective action˜ J in the Jordan frame where the preferred metric is the Einstein frame metricg. It is given bỹ Looking to the last expression, we can see that our result is identical to the standard renormalized effective action J (the first term in the first line), when the Jordan frame metric g μν is the preferred one, if we define a new renormalization scalē so that which is just a special case of the transformation (71).
That is, if we introduce a renormalization scale which is field dependent, with a parameter z encoding the scheme independence 11 inherited from μ. Moreover, once in the broken phase, which is the only phase in which both frames are even classically equivalent, we have φ = φ +δφ and therefore 11 Indeed, scheme independence of this approach has been studied through the Callan-Symanzik equation in several works. See [59][60][61].
If we set φ = M p / √ ξ we recover the usual logarithmic term, which leads to the standard expression for the beta functions of the couplings in the quantum effective action, plus an infinite tail of non-renormalizable interactions. Incidentally, this precise value for the vacuum expectation value of the scalar field, which breaks spontaneously the scale symmetry, gives rise to an Einstein-Hilbert term in the action with the right Planck mass M p . This construction can be found in the literature under the name of scale-invariant regularization, motivated by the search of a common solution to the hierarchy and cosmological constant problems altogether [16,[62][63][64][65][66][67][68][69][70][71][72][73], as well as to the question of whether scale invariance can be preserved at the quantum level as a fundamental symmetry of Nature. Indeed, if one uses this regularization by substituting μ byμ everywhere, scale invariance is preserved in the quantum effective action at all orders in the perturbative expansion. Then, both the hierarchy and cosmological constant problems seem to be solved at once thanks to the cancellation of radiative corrections to dimensionful quantities [74,75]. Afterwards, the spontaneous breaking of the symmetry by φ gives rise to the standard terms plus new interactions. Ways to trigger this spontaneous symmetry breaking from the point of view of cosmology have been also recently explored [76][77][78].
Our arguments here seem to suggest that this regularization can be also understood as a consequence of choosing the Einstein frame as our preferred frame, thus forcing the scale anomaly to be absent to satisfy equivalence, thanks to the contributions of the frame discriminant. In the literature about frame equivalence and scale invariant regularization (see e.g [79][80][81] and references therein) this is normally described in terms of two different regularization prescriptionsprescription I refers to taking the renormalization scale μ to be constant in the Einstein frame and field-dependent in the Jordan frame, while prescription II represents the opposite situation. This would correspond, in our language, to choose the preferred metric in the Einstein frame (prescription I) or in the Jordan frame (prescription II) in total agreement with previous results.
The fact that a scale invariant renormalization procedure corresponds to a non-standard quantisation with a scale invariant measure has been observed in [66], where the idea was to have a renomalisation scheme that preserves exact local scale invariance (i.e. Weyl invariance) by the introduction of a dilaton i.e. the field φ. In this case one can view the dilaton as an auxiliary field, with local scale invariance being 'fake', since one can always gauge fix the dilaton to be a constant. From the view point of frames, gauge fixing the dilaton is tantamount to going to the Einstein frame, where the shift symmetry is now local and enforces the action to be independent ofφ, since the shift transformation is now φ(x) →φ(x) + C(x).

Discussion and conclusions
In this paper we have studied the problem of frame equivalence of a given Quantum Field Theory. While in classical physics it can be easily proven that stationary trajectories map to stationary trajectories under a non-singular change of variables (of frame), Quantum Field Theory requires the extra ingredient of defining the path integral measure. In the case of scalars, fermions and Yang-Mills fields, the integration measure is typically field independent, 12 but it is not the case anymore if we want to preserve diffeomorphism invariance when the metric is a dynamical degree of freedom. When we quantize a theory in the Einstein frame, where the matter is minimally coupled to gravity and the scalar has a canonical kinetic term, the measure will depend on the metric alone. However the measure obtained by quantizing a theory in the Jordan frame will depend on the scalar field in addition to the metric. What we have established in this paper is that, even after transforming the measure to take account of the Jacobian (a purely mathematical operation), the measures are not equivalent. The frame where we choose to define the path integral matters, and defining the measure in different frames leads to different Quantum Field Theories. Of course one could simply insist that the measures in both frames are equivalent, however this is only possible if the quantization in one of the frames would be non-standard.
Once we decide the preferred frame where we define the integral measure, this will also establish any physical conclusion of the theory. If for some reason we however want to describe it in a different set of variables, perhaps for symmetry or interpretation reasons, then we must carry on the effect of changing frames in the integration measure, together with transforming the action. However the resulting effective action will differ from the one which would result from choosing the second frame as the preferred frame to define the measure. We have shown that this difference can be evaluated in a way which is close to Fujikawa's method for the trace anomaly [82] and that it reduces, in the case of conformal rescalings of the metric, to the need of adding a frame discriminant contribution to the one-loop Quantum Effective Action in the transformed frame where σ is the conformal factor driving the field redefinition and O(x) contains the local counterterms of the theory, which can be computed by standard techniques. 12 The exception is when the kinetic term in the action is non-canonical, for example in the case of a non-linear sigma model.
Our findings are of specific interest in the case of scalartensor theories of the general form 13 These models are often used to explain inflationary dynamics by taking them to the Einstein frame, where the gravitational fluctuations are driven by an Einstein-Hilbert term −M 2 pR and one can interpret the dynamics of the theory as that of a scalar field rolling down a potential. The field redefinition relating both frames will be generally nonlinear, most likely including a conformal transformation similar to (14), and will thus produce a non-trivial transformation of the integration measure, regardless of the symmetries of the action. In those cases, the quantum effective action will always pick up an extra finite piece needed to ensure equivalence, as given by our prescription.
For models in which the transformation is simply a conformal transformationg μν = e 2σ g μν , and if we assume that the preferred frame where we define the integration measure is the Einstein frame, our results can be summarized in the fact that the local part of the one-loop renormalized quantum effective action will read in both frames where the particular form of the counter-terms O(R μναβ , φ) will depend on the choice for V (φ) and F(R, φ) in the classical action. The factor of e σ which multiplies μ in˜ J ensures that these are just the same effective action written in different variables and arises from properly transforming the path integral measure. This schematic form will hold for any quantum field theory, regardless of its renormalizability [83], provided that power counting is preserved when traveling between frames. That is, when changing frames one should not only transform the divergences of the theory but also promote the renormalization scale μ to be field dependent precisely by a 13 A particular theory of this kind of important relevance is Higgs Inflation [14] where with λ and v being the self-coupling and vacuum expectation value of the Standard Model Higgs boson.
conformal transformation. 14 This statement can be actually found in previous literature as a way to preserve the predictions of Higgs [79] and Higgs-Dilaton [16] inflation or under the name of scale invariant regularization. Here we give an extra formal justification to this procedure from the request of frame equivalence of the path integral formulation. We have shown, in particular, that the introduction of the frame discriminant for scalar-tensor theories solves the problem pointed out in [2] with the action (12), whose naive quantization generates a scale anomaly in the Jordan frame which is absent in the Einstein frame. Inclusion of the frame discriminant precisely compensates this effect and enforces the effective action and all S-matrix elements in both frames to agree.
Our result here is however not restrained to scale-invariant theories, scalar-tensor theories or even to conformal transformations (although this is the most typical situation in literature) but it applies to any Quantum Field Theory where the metric is a dynamical degree of freedom and a change of frame is performed. This includes, among others, several models of inflation [4,14,16,[84][85][86], higher derivative [87,88], Lovelock [89] and F(R) gravity [90], the relation between the string frame and the Einstein frame [27,91], and the Weyl invariant formulations of Unimodular Gravity [92,93]. If we want to extract dependable conclusions from the Quantum Effective Action on any of these theories, we must add the frame discriminant contribution whenever we perform a change of variables. Otherwise we might be missing important physical effects that could strongly modify our conclusions.
There are three main questions open for future research following the work in this paper. First, it would be useful to extend our arguments here beyond the one-loop approximation. In particular, it would be interesting to understand if the relation between frame equivalence and scale invariant renormalization holds at all orders, providing thus a complete justification for the use of the latter. More broadly one should establish a consistent effective field theory incorporating the choice of the measure and all of its consequences.
On the other hand, it is reasonable to ask if there is any physical compelling argument to prefer one frame over another. Taking into account that the operators in the action and those generated by radiative corrections differ in different frames, one could think that the choice must be influenced by the UV completion of the models that we are studying. Indeed, if we had such completion at our disposal, the procedure to obtain a low energy effective field theory would be unique and it would single out a preferred expression for the action and variables to use. It would be thus interesting to understand if we can actually make a reasoning on the opposite direction. If we can use our results here to pinpoint a given action as preferred, this could give us information on the shape of the UV completion of our theory, which in particular might be relevant to understand new features of Quantum Gravity.
Finally, it would be useful to have an explicitly frame invariant effective action, following the spirit of the Unique Effective Action of Vilkovisky, including the frame discriminant as a built-in feature. This can be achieved by properly incorporating a frame invariant integration measure for the path integral into the definition of the effective action as we have outlined here.
where we integrate ω and to obtain (48). Let us note that the anti-ghostc α is a one-form density of weight one while the ghost c α is a vector of weight zero such that the Fadeev-Popov operator is a Laplace-type operator where δ α β = δ μ ν δ(x, y) is the identity. The corresponding second order operator which drives quantum dynamics in the frame will be It is convenient to choose the gauge fixing conditionF α such that we also havẽ which implies that we have the relatioñ Additionally we wish to choose the minimal gauge such that the Hessian is of the form (44). In the frame the minimal gauge is achieved by choosing Y μν (x, y) = −U (φ) det gg μν δ(x, y), and Since we require (A10) we can demand that where J should be ultra-local. The generators of diffeomorphisms K a α andK a α are vectors on the space of fields (this follows straight forwardly from there defintion) so we havẽ We can then conclude that To fix J α γ we demand thatQ α β has the minimal form for which it follows that J α β = e −2σ δ(x, y)δ μ ν sinceg μν = e −2σ g μν and thus we arrive at (50).