Abstract
We study quantum aspects of the galileon duality, especially in the case of a particular interacting galileon theory that is said to be dual to a free theory through the action of a simultaneous field and coordinate transformation. This would appear to map a theory with multiple vacua to one with a unique vacuum state. However, by regulating the duality transformation using external sources, we are able to preserve the full vacuum structure in the dual frame. By explicitly calculating the one-particle irreducible effective action on a maximally symmetric background, we identify a semi-classical contribution to the Wightman functions that has not been taken into account in previous analyses due to the singular point in the duality map. This may affect its spectral properties at high energy scales. These observations cast doubt on the main evidence in support of a non-local UV structure for galileons.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The accelerated expansion of the Universe is now well established by a slew of observational data (see e.g. Refs. [1, 2]), yet the exact origin of this acceleration remains an open question (for a review, see Ref. [3]). The “simplest” explanation, in which dark energy corresponds to a very low-scale cosmological constant, is severely challenged by naturalness considerations [4,5,6,7], leading many phenomenologists to explore alternative mechanisms including infrared modifications of General Relativity operative on cosmological scales [8, 9]. A special class of derivatively coupled scalar theories have played a significant role in these explorations. These are the galileons [10,11,12,13,14,15,16].
Galileons arise in a specific limit of the DGP braneworld model [17], where all gravitational degrees of freedom apart from the helicity-zero mode are decoupled. It can also be shown that the same structure emerges from the decoupling limit of massive gravity [18]. Up to a total derivative, the galileon Lagrangians are invariant under the galileon symmetry \(\pi \rightarrow \pi +c + v_\mu x^\mu \), a fact that gives rise to enhanced soft limits for scattering amplitudes [19,20,21]. The most important feature of galileon theories, however, is the presence of derivative interactions that allow for Vainshtein screening [22,23,24]. When a phenomenological model deviates significantly from General Relativity on cosmological scales, compatibility with observational constraints at shorter distances [25] can be achieved thanks to the Vainshtein mechanism, exploiting derivative non-linearities to screen fifth forces in the vicinity of massive sources like the Earth or the Sun. The potential importance of screening mechanisms in developing viable models of self-tuning was recently highlighted in Ref. [26].
Despite these interesting properties, the theoretical and phenomenological consistency of galileon theories remains an open issue. In particular, the structure of the galileon interactions would indicate a breakdown of perturbative unitarity, often at an unacceptably low scale. For example, for a dRGT graviton whose mass is around the Hubble scale \(H_0\), perturbative unitarity breaks down at the scale \(\Lambda _3 \sim (M_{Pl}H_0^2)^{1/3} \sim \left( 1000 \, \mathrm {km}\right) ^{-1}\) [18, 27] (see, however, Ref. [28], for an interesting recent development). Standard effective field theory (EFT) methods require us to cut the theory off, eliminating its predictive power on observationally relevant scales above this cut off. Worse still, EFT corrections, arising from integrating out whatever new physics is introduced to preserve perturbative unitarity, can contaminate the dynamics of Vainshtein screening even out to larger distances [29]. These considerations make it imperative that we better understand the UV completion of galileon theories before taking them seriously as a candidate model of nature to be probed by future experiments.
Doubts have been raised as to whether or not galileon theories can admit a UV completion in the standard Wilsonian sense [30]. However, such conclusions, based on S-matrix analyticity, are a little premature. By gently deforming the galileon theory in the far infra-red (in a technically natural way), one can easily evade the analyticity no go results. For example, we can give the galileon a small mass [31] and/or introduce a tiny galileon-breaking interaction of the form \(g (\partial \pi )^4\) [32]. Nevertheless, there is no known Wilsonian UV completion of galileons, fuelling the perception that no such completion exists and encouraging alternative ideas.
No doubt motivated by these considerations, Keltner and Tolley [33] have recently argued that galileons proceed towards a non-standard, i.e. non-Wilsonian UV completion, in which there is a certain degree of non-locality at high energies. This unconventional UV picture is inferred from the high-energy behaviour of the momentum-space Wightman functions, which are argued to exhibit exponential growth (rather than polynomial boundedness) above the strong-coupling scale. To support this claim, the authors perform explicit calculations in the case of one particular galileon theory, characterized by a remarkable property: it can be mapped to a free theory by transforming the field and the coordinates simultaneously [34, 35]. This “interacting-to-free” duality is then the key to accessing the a priori unknown and strongly coupled UV sector of the interacting theory. The result is then used to support the notion that UV completion of galileons should now follow along the lines of the classicalization proposal [36].
In this paper we take a closer look at galileon duality at the quantum level, and in particular the duality map between interacting and free galileon theories. Our interest lies in the implications for the UV sector of galileon theories and the conclusions we can draw regarding their spectral properties beyond the perturbative level. Classically, the interacting theory is known to exhibit Vainshtein screening when minimally coupled to a point source and the only way to retain this behaviour in the dual free theory is via non-minimal coupling to sources. The importance of keeping track of how source couplings change via the duality map was emphasized already in Ref. [37], with superluminal propagation around non-trivial backgrounds shown to persist in the “free” theory on account of the non-localities in the mapped source term. At the quantum level, we note that external sources are also used to support off-shell configurations when computing the quantum-corrected effective actions. The details of the external-source couplings are clearly going to be important in carefully maintaining the equivalence of the two theories on either side of the duality map beyond tree level. To naively compare the two, as in Ref. [33], is to compare apples with oranges.
The starting point in our analysis is to examine the classical vacuum structure of the two theories, where we are presented with an immediate puzzle. Galileons are known to support “maximally symmetric” field configurations of the form \(\pi _\kappa (x) \propto \kappa \, x_\mu x^\mu \). A generic galileon theory in d dimensions will admit up to d vacua. Clearly, a free theory has a unique trivial vacuum. Is the same true for its interacting dual? As it turns out, the interacting dual theory actually has two vacua: \(\pi _0 = 0\) and \( \pi _1 \propto x_\mu x^\mu \). The latter falls under the class of so-called self-accelerating vacua, which may have interesting cosmological applications [12]. The mismatch can be understood by studying the action of the duality map on the space of maximally symmetric configurations parametrized by \(\kappa \). This behaves like a simple stereographic projection, leaving \(\pi _0\) invariant but mapping \(\pi _1\) to infinity. In other words, \(\pi _1\) corresponds to the projection point and therefore lacks a dual partner within the physical configuration space. Already, this simple observation raises the suspicion that the triviality of the dual theory is an artefact of the singular nature of the map. The possibility of singular points in the duality map were mentioned in Ref. [34], although their implications on the non-perturbative sector were not explored.
The bulk of our analysis is devoted to the calculation of the one-particle irreducible (1PI) effective action [38], which is achieved by performing a saddle-point evaluation about the maximally symmetric “kappa configurations”. This explicitly illustrates the non-triviality of the theory’s vacuum structure, which is argued to affect the high-energy behaviour of the spectral density (or, equivalently, the Wightman functions). Specifically, we show that the one-loop effective action in d dimensions exhibits a violation of convexity when evaluated by expanding around configurations with \(\kappa > 1/d\), signalling the presence of instabilities at energy densities close to the strong coupling scale. We also show that the same expression for the effective action can be obtained by employing the duality transformation in the presence of an external source. In that case, the non-triviality is maintained in the source-dependent term in the action.
We finally consider the calculation of the Wightman functions and ask what can be reliably inferred about the high-energy behaviour of the spectral density. By appropriately taking into account the non-trivial vacuum structure, which again is achieved by including an external source, we isolate an additional saddle-point contribution, corresponding to \(\pi _1\), which has been missed before. Most importantly, its explicit cut-off dependence casts doubt on any inference that can be drawn about the theory’s UV sector from the corresponding expression for the Wightman functions. Unfortunately, we conclude that galileon duality is not a particularly useful tool for inferring the UV behaviour of galileon theories.
2 The galileon duality
We begin by reviewing the details of the galileon duality, as first described in Ref. [34], in the context of a particular interacting galileon theory with classical action
where \( \Pi (x) \equiv \Pi _{\mu }^{\phantom {\mu }\mu }(x)\) and \(\Pi _{\mu \nu }(x) = \frac{1}{\Lambda ^{\sigma }}\,\partial _{\mu }\partial _{\nu }\pi (x) \). Unless otherwise stated, we work in d-dimensional Minkowski spacetime. We employ the signature convention \((-,+,+,+)\), and \(\partial _{\mu }\equiv \partial /\partial x^{\mu }\) denotes the partial derivative with respect to the spacetime coordinate \(x^{\mu }\).
We can define a dual galileon \(\rho \) via the following field-dependent coordinate transformation [34]:
where \(\tilde{\partial }_{\mu }\equiv \partial /\partial \tilde{x}^{\mu }\) is the derivative with respect to the transformed spacetime coordinate \(\tilde{x}^{\mu }\) and \(\sigma =(d+2)/2\). The volume measures transform as follows:
where \( \Sigma (\tilde{x}) \equiv \Sigma _{\mu }^{\phantom {\mu }\mu }(\tilde{x})\) and \( \Sigma _{\mu \nu }(\tilde{x}) = \frac{1}{\Lambda ^{\sigma }}\,\tilde{\partial }_{\mu }\tilde{\partial }_{\nu }\rho (\tilde{x}) \). Applying this transformation, the classical action in Eq. (1) becomes
and we see that the classical galileon duality is extreme for this particular theory: we map a seemingly non-trivial theory (Eq. 1) to a free one (Eq. 4). Whilst the equation of motion in the original \(\pi \) frame is
that of the \(\rho \)-frame theory is simply
The former of these equations admits a one-parameter family of maximally symmetric configurations of the form
with
We therefore have two “kappa vacua” for all \(d>1\): \(\kappa =0\) and \(\kappa =1\). These solutions are particularly interesting in that they correspond to maximally symmetric spacetime geometries when the galileon \(\pi \) is coupled to the trace of the energy-momentum tensor (and its back-reaction can be neglected), cf. the discussion in Ref. [12]. However, it is clear that the \(\rho \)-frame equation of motion is only able to support the trivial solution \(\rho =0\), and the \(\kappa =1\) vacuum state has been lost.
In order to see how vacuum solutions may have been lost, it is instructive to consider the relationship between the dual galileons themselves [34]:
Taking the functional \(\rho \) derivative of Eq. (9) and making use of the fact that
we find
It is important to keep in mind when performing the functional derivatives that x and \(\tilde{y}\) are variables of integration and therefore do not posses implicit dependence on either \(\rho \) or \(\pi \). Using the functional chain rule, we can now write
from which it is clear that the vanishing of \(\delta S[\pi ]/\delta \pi (x)\) does not imply the vanishing of \(\delta \tilde{S}[\rho ]/\delta \rho (\tilde{y})\), except when \(\tilde{\partial }_{\mu }\,\rho =0\) (when tilded and untilded coordinates coincide).
The focus of the remainder of this article will be to study the behaviour of these distinct vacua under the galileon duality in more detail. Ultimately, however, we will be led to conclude that the naive application of the galileon duality can dramatically alter the vacuum structure of the theory.
2.1 The action polynomial and vacuum diagnostics
In order to understand better the impact of the galileon duality on the kappa configurations, it is instructive to consider the action polynomial \(U(\kappa )\). The action polynomial is readily obtained by Wick rotating to Euclidean signature and evaluating the Euclidean action for Eq. (1) on O(d)-symmetric configurations \(\pi (r)\), where \(r=\sqrt{\tau ^2+\mathbf{x}^2}\) and \(\tau =it\) is Euclidean time. Provided we include the boundary terms required for a well-defined variational principle under Dirichlet boundary conditions [39], the result can be written explicitly in first-order form as
where \(\Omega _{d-1}\) is the volume of the unit \((d-1)\) sphere, \(\psi \equiv -\pi ' / (r \Lambda ^\sigma )\) and
On the kappa configurations, in Euclidean signature, we have \(\pi _\kappa (r)=-\,\kappa \,\Lambda ^\sigma r^2/2\), upon which \(\psi \) evaluates to \(\kappa \), and we recover the action polynomial \(U(\kappa )\). As demonstrated explicitly in Ref. [13], this polynomial provides a very simple way to classify vacua. For example, comparing with Eq. (8), we see that the first derivative of \(U(\kappa )\) is proportional to the equation of motion evaluated at \(\pi _\kappa \):
It follows that the stationary points of \( U(\kappa ) \) correspond to solutions of the classical equations of motion. Similarly, the second derivative of \(U(\kappa )\) is related to the second variation of the action:
and its sign determines whether fluctuations about the respective classical configuration exhibit a ghost instability (negative sign), are strongly coupled (zero) or stable (positive sign). The second variation evaluates to \(\Box \, \delta ^4(x-y)\) for \(\kappa =0\), but it vanishes for \(\kappa =1\) and \(d>2\), signalling a strongly-coupled point. For \(d\ge 2\) and \(\kappa =1\), the first non-vanishing variation of the action then arises at dth order.
Whilst \(U(\kappa )\) can be used as a tool to diagnose ghost instabilities (and violations of the convexity of the effective action, as we will see later), it is not directly related to the energy of a given configuration. Instead, the total energy \(E_\kappa \) of the Lorentzian kappa configurations (within a \((d-2)\)-sphere of radius \(\mathfrak {R}\)) is given by
where \(\mathcal {V}_{d-1} = \mathfrak {R}^{d-1}\,\Omega _{d-2}/ (d-1)\) is the volume of the sphere (see Ref. [40] for an evaluation of galileon Hamiltonians). The first term is the kinetic energy of a free theory and the second is proportional to the action polynomial in \((d-1)\) dimensions, i.e. in one dimension lower. Evaluating the energy on-shell, we have \(E_{\kappa =0} = 0\) for the trivial vacuum and
for the one at \(\kappa =1\). The \(\kappa =1\) vacuum can therefore be considered as an excited state, whose energy scales with the cut-off \(\Lambda \).
2.2 The galileon duality as a stereographic projection
We are now interested in how the \(\pi \)-frame action polynomial is deformed under the duality transformation. From Eq. (2), we obtain, in Euclidean signature,
where we have defined \(\tilde{\kappa }= \kappa / (1-\kappa )\) and \(\tilde{r}=\ r\, +\, \frac{1}{\Lambda ^\sigma } \, \frac{ \mathrm {d}\pi (r)}{ \mathrm {d}r}\). We see that the \(\kappa =1\) vacuum is mapped to infinity and is therefore removed from the solution space in the \(\rho \) frame. This is visualized in Fig. 1, which depicts the action polynomial as a function of \(\kappa \) (solid line) and \(\tilde{\kappa }\) (dashed line) for \(d=4\).
The profile for \(U(\kappa )\) clearly indicates two stationary points: a trivial stable one at \(\kappa =0\) and a strongly-coupled ghost-like vacuum at \(\kappa =1\). For an even number of dimensions, off-shell configurations include an abyssal region beyond \(\kappa =1\). In contrast, as a function of \(\tilde{\kappa }\), the action polynomial \(U(\tilde{\kappa }/ (1 + \tilde{\kappa }))\) only has a single stationary point at \(\tilde{\kappa }=0\), corresponding to the trivial vacuum, and seemingly no abyssal region. The transformation \(\kappa \rightarrow \tilde{\kappa }\) is a simple example of the stereographic projection implemented by a Möbius transformation, with \(\kappa =1\) being the projection point. As a consequence, the abyssal region for values \(\kappa \in (1,\infty )\) is not lost in the \(\rho \) frame. Rather, it is mapped to values \(\tilde{\kappa }\in (-\infty , -1)\), which reside behind an infinite “barrier”, as demonstrated in Fig. 2. A more schematic representation of the transformation is provided in Fig. 3.
It is very important to realise that \(U(\tilde{\kappa }/ (1 + \tilde{\kappa }))\) is not the action polynomial \(\tilde{U}(\tilde{\kappa })\) derived in the \(\rho \) frame for a free theory. The latter can be calculated very easily along the lines described above and is given by
This is also depicted in Fig. 1 (dotted line) and differs decisively from U as a function of \(\tilde{\kappa }\). In particular, its second derivative is always positive, suggesting that none of the off-shell configurations support ghost instabilities. We will see that this seeming triviality of the \(\rho \)-frame polynomial \(\tilde{U}\) (compared to U) represents a potential pitfall when inferring the stability of the theory in the presence of external sources (which can support the off-shell configurations).
3 1PI effective action
A powerful tool for studying non-perturbative aspects of field theories is the effective action. In this section, we will evaluate the 1PI effective action of the model in Eq. (1) at order \(\hbar \). Taking into account only one saddle point of the classical action at a time, viz. expanding around one of the two kappa vacua, we will show that the effective action obtains a spurious imaginary part away from the \(\kappa =0\) vacuum that is symptomatic of the non-trivial vacuum structure of this galileon theory. Such an imaginary part can often be associated with the decay rate of an unstable state (see Ref. [41]) that corresponds to some non-perturbative semi-classical solution of the theory.
Before considering the galileon theory directly, it is instructive to work first with a more general theory of a real scalar field \(\Phi \). Working in Euclidean signature (where the path integral is well defined), the generating functional of disconnected n-point functions has the familiar form
where \(J_x\equiv J(x)\) is an external source and \(S_E=-\,iS\) is the Euclidean action. Throughout, we employ the DeWitt notation in which repeated continuous indices are integrated over, i.e.
The generating functional of connected n-point functions is
Taking functional derivatives with respect to the external source, it follows that
The content of the brackets on the right-hand side is the variance of a distribution, i.e. a positive semi-definite quantity, and we conclude therefore that
that is, \(\mathcal {W}[J]\) is a concave functional of the source J.
The one-particle irreducible effective action [38] is defined via the Legendre transformation
which, given Eq. (25), is a convex functional of \(\phi \). After performing the extremization, the external source \(J_x\) is a fixed functional of \(\phi \), i.e. \(J_x\rightarrow \mathcal {J}_x\equiv \mathcal {J}_x[\phi ]\), and we have
with the 1PI effective action taking the form
The 1PI effective action yields the source-dependent quantum equation of motion
When evaluated at the extremal field configuration, which we denote by \(\varphi \), this yields the more familiar expression
Note that the source vanishes at the extremal field configuration, but it is non-zero for classically off-shell field configurations. We will see this explicitly later. For further details of this point, see Ref. [42].
It is known that perturbative evaluations of the effective action can violate the above-mentioned convexity, and such non-convexity is a signal of non-trivial vacuum structure or instabilities of the theory. An archetypal example is the scalar theory with a non-convex classical potential
If we evaluate the effective action of this theory by expanding perturbatively around only one vacuum, assuming a homogeneous background field configuration , the effective potential has a non-convex region where it obtains a non-zero imaginary part. Instead, if we were to sum over all saddle points of the classical action (see e.g. Ref. [43]), we would find that the effective potential is convex, with the Maxwell construction arising as a result of the homogeneous superposition of both vacuum states (see e.g. Refs. [44, 45]).
In what follows, we will show that the 1PI effective action for the galileon theory in Eq. (1) exhibits such a violation of convexity, indicating non-trivial vacuum structure. The 1PI effective action has the form
where
and
It will prove illustrative to evaluate the effective action by means of the duality transformation. Up to a choice of normalization, the same result is obtained by evaluating the effective action directly in terms of the \(\pi \) variable. This will illustrate the importance of the source in keeping track of both vacua. In order to apply the duality transformation at the level of the path integral, we insert unity in the form
In order to avoid proliferation of symbolic variants of \(\pi \), we disambiguate the explicit configuration \(\pi [\rho ]\) from the functional variable \(\pi \) only by the presence of the functional argument. The functional determinant is unity (see Ref. [46]), and we obtain
This expression merits further comment. Although the dual action \(\tilde{S}_E[\rho ]\) does indeed correspond to a trivial theory, there is a highly non-trivial coupling between the dual field variable \(\rho \) and the source. As observed in Ref. [46], \(\rho _x\) and \(\pi _x[\rho ]\) share the same one particle poles at \(p^2=0\), up to a rescaling of the residues. This guarantees the equivalence of on-shell S-matrices, even at the loop level, provided we treat the system perturbatively about the trivial vacuum, which is present in both frames. However, our interest here, and indeed in Ref. [33], lies in the deep UV behaviour of the theory above and beyond the scale of strong coupling, when perturbative unitarity breaks down and the non-trivial vacuum structure of the \(\pi \) frame begins to emerge. As we will see, the source coupling in the \(\rho \) frame allows us to keep track of that non-trivial vacuum structure.
To this end, we now perform a saddle-point evaluation of the path integral, expanding \(\rho \) around the solution \(\varrho \) of
writing \(\rho =\varrho \,+\,\hbar ^{1/2}\hat{\rho }\). Note that there is an implicit integral over y on the right-hand side of Eq. (37). Expanding to order \(\hbar \), we have
where we have defined
We see that the non-triviality of the original theory has been maintained in the source-dependent term. Naively, we might expect that the source-dependent term in Eq. (39) vanishes for on-shell configurations and we are left with a trivial free-theory propagator. This is indeed true for the trivial vacuum, \(\kappa =0\). However, as we approach the non-trivial vacuum, \(\kappa \rightarrow 1\), we will see that the divergence in the duality map in this limit compensates for the vanishing of the source, and there remains a residual contribution. The resulting effective action obtains a spurious imaginary part.
To see this, we perform the integral over the quadratic fluctuations to obtain the following effective actionFootnote 1
where \(*\) denotes a convolution and \(G_{xy}(0,0)\) appears for normalization. We can now proceed by eliminating \(\pi \) and \(\mathcal {J}\) in favour of \(\uppi \). Since \(\tilde{S}_E[\varrho ]=S_E[\pi ]\) (\(\pi \equiv \pi [\varrho ]\)) and \(\uppi -\pi =\mathcal {O}(\hbar )\) (formally), we write
and use the stationarity condition
to eliminate the second term on the right-hand side of Eq. (40). Note that Eq. (42) is consistent with Eq. (37). At order \(\hbar \), we then have
If we choose to perform the saddle-point evaluation of the path integral around the maximally symmetric solutions \(\pi _{\kappa }(x)\) and by comparing Eqs. (5) and (42), we see that the explicit form of the source is
vanishing on-shell, i.e. when \(\kappa =0\) or 1, as we would expect. We shall now show, however, that the source-dependent term
in Eq. (39) does not vanish in the limit \(\kappa \rightarrow 1\).
Since we know from Eq. (44) that \(\mathcal {J}_x[\uppi ]\) is a constant for off-shell, maximally symmetric solutions, we need to evaluate
cf. Eq. (11). After performing the remaining functional derivative, we have
which, when evaluated on the set of maximally symmetric solutions, yields
This can be re-written in the form
Making the change of variables \(\tilde{z}=(1-\kappa )z\) and integrating by parts, we can show that
As anticipated, this is singular as \(\kappa \rightarrow 1\), with the degree of divergence exactly compensating for the vanishing of the source in the same limit, as per Eq. (44). The corresponding poles and zeroes cancel, and we are left with
We might worry that this differs from [see Eq. (16)]
as obtained directly in terms of \(\pi \) variables, by a factor of \((1-\kappa )^{d-2}\). However, returning to the original functional integral over the quadratic fluctuations about the kappa configurations, we have
where \(\hat{\pi }(x)=\hat{\rho }(\tilde{x})\). We see, then, that the calculation of the 1PI effective action is frame independent, as it should be, so long as we choose the correct normalization and keep track of all the appropriate source-dependent terms. Therefore, choosing a consistent normalization relative to the \(\kappa =0\) vacuum, we arrive at the following result for the 1PI effective action at order \(\hbar \):
where \(\Omega \) is a real-valued phase-space volume factor that comprises a d-dimensional coordinate-space integral and a d-dimensional momentum-space integral.Footnote 2 For \(\kappa = 0\) or \(d=1\), we therefore have
This result is consistent with the observation that there are no one-loop corrections about the \(\kappa =0\) vacuum [15, 46, 48]. For \(\kappa =1\) and \(d\ge 2\), the effective action is ill-defined at order \(\hbar \), and this is indicating that we must work to higher order, i.e. proceeding via the 4PI effective action (see e.g. Ref. [49]), so as to resum conveniently the non-trivial behaviour that is arising at fourth order. For \(\kappa <1/d\), the one-loop 1PI effective action remains real. Instead, for \(\kappa >1/d\), the one-loop 1PI effective action obtains a spurious imaginary part that is symptomatic of the violation of convexity:
where we have restricted to the principal branch of the logarithm. This observed violation of convexity should be anticipated from our analysis of the action polynomial, and we certainly should not trust our naive calculation of the effective action in the non-convex region. The result, however, is useful for diagnosing (tachyonic or ghost) instabilities and/or signalling the possibility of non-perturbative semi-classical contributions to the path integral, arising for instance from instantons or sphalerons. In fact, one might be tempted to interpret the \(\kappa =1\) solution – sitting at a maximum of the action polynomial between the local minimum and the abyssal region (for even d) – as such a sphaleron. (For discussions of solitons in the context of galileon theories, see Ref. [50] and references therein.) Nevertheless, this aspect requires significant further study beyond the scope of the present article, and we will not comment on it further. The most important observation is that any such solutions (or vacua) will become relevant at scales of order \(\Lambda \), and, in the next section, we will discuss the implications of this for the spectral density of the theory.
4 Wightman functions
One important lesson from the effective-action analysis of the preceding section is that we have to include external sources in order to keep track of the non-trivial vacuum structure of the theory when we employ the duality. Here, we demonstrate how this affects the calculation of the Wightman functions, studied in Ref. [33].
Our starting point is the Euclidean Wightman function in the presence of an external source \(\mathcal {J}\):
where \(x^0 \ge y^0\). In the \(\pi \) frame, this object can only be calculated perturbatively without referring to a particular UV completion. In Ref. [33], it was therefore suggested to use the duality to express the right-hand side entirely in terms of \(\rho \). After all, the source-free \(\rho \)-frame theory is UV complete in a trivial way. The corresponding path integral expression in the \(\rho \) frame reads
As before, we perform a saddle-point evaluation of the path integral, expanding around solutions \(\varrho \) of the classical equation of motion in Eq. (37). At order \(\hbar \), we find
where \(G_{\tilde{x}\tilde{y}}^{-1}(\mathcal {J},\varrho )\) was defined in Eq. (39). When evaluated on the set of maximally symmetric solutions we have, according to Eq. (51), that
where the source \(\mathcal {J}_\kappa \) is given in Eq. (44) and supports the corresponding kappa configuration. We recall that \( \mathcal {J}_\kappa \) vanishes for the on-shell configurations \(\kappa = 0\) and \(\kappa =1\), as one would expect. Nevertheless, both saddle points must contribute to in both frames.
In the case of the trivial vacuum (\(\kappa =0\)), \( \tilde{S}_E[\varrho ] =0 \), and the relevant contribution reads
which matches the free-theory expression evaluated in Ref. [33] (after rotating back to real time). Since all higher-order terms in the expansion vanish, it is tempting to trust it for energies above the strong-coupling scale \(\Lambda \). However, that reasoning ignores the presence of at least one further highly non-trivial vacuum.Footnote 3 To be specific, in the limit \(\kappa \rightarrow 1\), the second term in square brackets in Eq. (60) gives a finite contribution (despite the vanishing of \(\mathcal {J}_\kappa \)), which changes the sign of the kinetic operator for \(d>1\). Correspondingly, this second saddle point contributes
Apart from the pathological sign, which signals a ghost instability around that vacuum (in accordance with the effective-action calculation), the higher-order terms in the saddle-point expansion (indicated by the dots and suppressed by additional powers of \(\Lambda ^\sigma \)) are generically non-vanishing. In fact, they re-introduce the complexity of the original \(\pi \)-frame expression. This can be seen by taking higher functional \(\rho \)-derivatives of \(\mathcal {J}_z \, \pi _z[\rho ]\) in Eq. (58).
We therefore conclude that the free-theory expression in Eq. (61) is not sufficient to infer the high-energy behavior of the Wightman functions. Rather, we have to take into account the non-trivial vacuum structure, which, at least in principle, can be preserved by including external sources, but is lost by naive application of the duality and careless treatment of the limit \(\mathcal {J} \rightarrow 0\).
5 Conclusion
Due to the non-renormalizable nature of their interactions, galileons are only properly understood as effective field theories with a cut-off. Further, to be phenomenologically interesting, galileon interactions must operate on macroscopic scales, forcing the cut-off to be unacceptably low and elimininating the predictive power even at the scale of experimental probes. This demands a better understanding of the UV properties of galileons, a task that has been pioneered by Keltner and Tolley [33]. In a very thoughtful piece of work, they have argued that galileons fall into a class of non-localizable field theories, whose UV completion should be non-Wilsonian, possibly along the lines of classicalization [36].
In this paper, we have studied galileon duality from a quantum perspective and asked what inferences can really be drawn regarding the UV sector of galileon theories. Mirroring the classical analysis of Ref. [37], we emphasize the importance of keeping proper track of the source dependence. In doing so, we reveal that the calculation of spectral densities on the “free” theory side is sensitive to a non-trivial vacuum structure that is easily missed if source terms are not carefully tracked. The non-trivial vacuum structure can, of course, be anticipated by considering the original interacting galileon theory. This has two “kappa vacua”: one with \(\kappa =0\) and a second with \(\kappa =1\). It turns out that the galileon duality acts as a simple stereographic projection on the space of these “kappa configurations”, with the \(\kappa =1\) solution being the projection point that is mapped out of the physical configuration space. The best way to avoid this is to couple \(\pi \) to an external source, thereby maintaining the vacuum structure of the original theory.
When we perform the effective action calculation on the “free” theory side, it turns out that the \(\kappa \rightarrow 1\) limit is highly non-trivial. Although the source vanishes in this limit, as of course it should for an on-shell configuration, the map itself diverges, and the two effects compensate to leave a residual contribution. A saddle-point evaluation around a generic kappa configuration of the 1PI effective action signals a violation of convexity for \(\kappa > 1/d\) (\(d>1\)). This is indicative of non-trivial vacuum structure, potentially supporting non-perturbative classical solutions that may contribute to the spectral density.
With a view to asking what we can really understand about the UV sector of galileon theories, we have evaluated contributions to the position-space Wightman functions explicitly by expanding about various saddle points. We can compare this with Ref. [33], where they compute the contribution from the trivial saddle point, corresponding to the \(\kappa =0\) vacuum, but do not include the contribution from a second saddle, corresponding to the \(\kappa =1\) vacuum. The latter contribution is non-trivial and cannot be neglected. Furthermore, its explicit cut-off dependence significantly complicates a direct calculation of the high-energy scaling. The result is that one cannot reliably calculate the scaling behaviour of the spectral density beyond the cut-off of the low-energy effective theory. As this was the main piece of concrete evidence in support of the idea that galileons must UV complete via a non-Wilsonian mechanism, we conclude that such conclusions are premature. More generally, our analysis suggests that galileon duality is not a useful tool for understanding the UV properties of galileons.
Notes
Of course, in the presence of non-convex regions, careful treatment of the non-Gaussian functional integral is required, for instance by appropriate analytic continuation (see e.g. Ref. [47]). For our purposes, however, the perturbative analysis suffices to diagnose non-trivial behaviour of the theory.
The phase-space volume factor \(\Omega \) depends on the choice of regularization and renormalization scheme, being non-vanishing and real in dimensional regularization. Its precise value, however, is unimportant for our discussions, and the effective action serves only as a powerful diagnostic tool, wherein a finite (or infinite) imaginary part is indicative of non-trivial vacuum structure.
We have restricted the discussion to the subspace of maximally symmetric configurations. It is possible though that further saddle points have been mapped out by the duality.
References
P.A.R. Ade et al., (Planck), Astron. Astrophys. 594, A13 (2016). arXiv:1502.01589 [astro-ph.CO]
M. Betoule et al., (SDSS), Astron. Astrophys. 568, A22 (2014). arXiv:1401.4064 [astro-ph.CO]
E.J. Copeland, M. Sami, S. Tsujikawa, Int. J. Mod. Phys. D15, 1753 (2006). arXiv:hepth/0603057 [hep-th]
S. Weinberg, Rev. Mod. Phys. 61, 1 (1989)
J. Polchinski, in The Quantum Structure of Space and Time: Proceedings of the 23rd Solvay Conference on Physics, pp. 216–236, (2006). arXiv:hep-th/0603249 [hep-th]
C.P. Burgess, in Proceedings, 100th Les Houches Summer School: Post-Planck Cosmology., pp. 149–197, (2015). arXiv:1309.4133 [hep-th]
A. Padilla, arXiv:1502.05296 (2015)
T. Clifton, P.G. Ferreira, A. Padilla, C. Skordis, Phys. Rept. 513, 1 (2012). arXiv:1106.2476 [astro-ph.CO]
A. Joyce, B. Jain, J. Khoury, M. Trodden, Phys. Rept. 568, 1 (2015). arXiv:1407.0059 [astro-ph.CO]
D.B. Fairlie, J. Govaerts, A. Morozov, Nucl. Phys. B373, 214 (1992). arXiv:hepth/9110022 [hep-th]
D.B. Fairlie, J. Govaerts, J. Math. Phys. 33, 3543 (1992). arXiv:hep-th/9204074 [hep-th]
A. Nicolis, R. Rattazzi, E. Trincherini, Phys. Rev. D79, 064036 (2009). arXiv:0811.2197 [hep-th]
A. Padilla, P.M. Saffin, S.-Y. Zhou, JHEP 12, 031 (2010). arXiv:1007.5424 [hep-th]
A. Padilla, P.M. Saffin, S.-Y. Zhou, Phys. Rev. D83, 045009 (2011). arXiv:1008.0745 [hep-th]
K. Hinterbichler, M. Trodden, D. Wesley, Phys. Rev. D82, 124018 (2010). arXiv:1008.1305 [hep-th]
A. Padilla, P.M. Saffin, S.-Y. Zhou, JHEP 01, 099 (2011). arXiv:1008.3312 [hep-th]
G.R. Dvali, G. Gabadadze, M. Porrati, Phys. Lett. B485, 208 (2000). arXiv:hepth/0005016 [hep-th]
C. de Rham, G. Gabadadze, Phys. Rev. D82, 044020 (2010). arXiv:1007.0443 [hep-th]
C. Cheung, K. Kampf, J. Novotny, J. Trnka, Phys. Rev. Lett. 114, 221602 (2015). arXiv:1412.4095 [hep-th]
C. Cheung, K. Kampf, J. Novotny, C.-H. Shen, J. Trnka, JHEP 02, 020 (2017). arXiv:1611.03137 [hep-th]
A. Padilla, D. Stefanyszyn, T. Wilson, JHEP 04, 015 (2017). arXiv:1612.04283 [hep-th]
A.I. Vainshtein, Phys. Lett. B39, 393 (1972)
E. Babichev, C. Deffayet, Class. Quant. Grav. 30, 184001 (2013). arXiv:1304.7240 [gr-qc]
N. Kaloper, A. Padilla, N. Tanahashi, JHEP 10, 148 (2011). arXiv:1106.4827 [hep-th]
C.M. Will, Living Rev. Rel 17, 4 (2014). arXiv:1403.7377 [gr-qc]
F. Niedermann, A. Padilla, Phys. Rev. Lett. 119, 251306 (2017). arXiv:1706.04778
C. Burrage, N. Kaloper, A. Padilla, Phys. Rev. Lett. 111, 021802 (2013). arXiv:1211.6001 [hep-th]
G. Gabadadze, Phys. Rev. D96, 084018 (2017). arXiv:1707.01739
N. Kaloper, A. Padilla, P.M. Saffin, D. Stefanyszyn, Phys. Rev. D91, 045017 (2015). arXiv:1409.3243 [hep-th]
A. Adams, N. Arkani-Hamed, S. Dubovsky, A. Nicolis, R. Rattazzi, JHEP 10, 014 (2006). arXiv:hep-th/0602178 [hep-th]
C. de Rham, S. Melville, A.J. Tolley, S.-Y. Zhou, JHEP 09, 072 (2017). arXiv:1702.08577 [hep-th]
A. Nicolis, R. Rattazzi, E. Trincherini, JHEP 05, 095 (2010), [Erratum: JHEP11,128(2011)], arXiv:0912.4258 [hep-th]
L. Keltner, A.J. Tolley, arXiv:1502.05706 (2015)
C. de Rham, M. Fasiello, A.J. Tolley, Phys. Lett. B733, 46 (2014). arXiv:1308.2702 [hep-th]
C. de Rham, L. Keltner, A.J. Tolley, Phys. Rev. D90, 024050 (2014). arXiv:1403.3690 [hep-th]
G. Dvali, G.F. Giudice, C. Gomez, A. Kehagias, JHEP 08, 108 (2011). arXiv:1010.1415 [hep-ph]
P. Creminelli, M. Serone, G. Trevisan, E. Trincherini, JHEP 02, 037 (2015). arXiv:1403.3095 [hep-th]
R. Jackiw, Phys. Rev. D9, 1686 (1974)
A. Padilla, V. Sivanesan, JHEP 08, 122 (2012). arXiv:1206.1258 [gr-qc]
V. Sivanesan, Phys. Rev. D85, 084018 (2012). arXiv:1111.3558 [hep-th]
E.J. Weinberg, A.-Q. Wu, Phys. Rev. D36, 2474 (1987)
B. Garbrecht, P. Millington, Nucl. Phys. B906, 105 (2016). arXiv:1509.07847 [hep-th]
A.D. Plascencia, C. Tamarit, JHEP 10, 099 (2016). arXiv:1510.07613 [hep-ph]
J. Alexandre, V. Branchina, J. Polonyi, Phys. Lett. B445, 351 (1999). arXiv:condmat/9803007 [cond-mat]
J. Alexandre, A. Tsapalis, Phys. Rev. D87, 025028 (2013). arXiv:1211.0921 [hep-th]
K. Kampf, J. Novotny, JHEP 10, 006 (2014). arXiv:1403.6813 [hep-th]
A. Andreassen, D. Farhi, W. Frost, M.D. Schwartz, Phys. Rev. D95, 085011 (2017). arXiv:1604.06090 [hep-th]
G. Goon, K. Hinterbichler, A. Joyce, M. Trodden, JHEP 11, 100 (2016). arXiv:1606.02295 [hep-th]
M.E. Carrington, Eur. Phys. J. C35, 383 (2004). arXiv:hep-ph/0401123 [hep-ph]
M. Carrillo Gonzalez, A. Masoumi, A.R. Solomon, M. Trodden, Phys. Rev. D94, 125013 (2016). arXiv:1607.05260 [hep-th]
Acknowledgements
This work was supported by STFC Grant ST/L000393/1. PM would like to thank Massimo Porrati and the members of the Centre for Particle Cosmology at the University of Pennsylvania for helpful discussions during the preparation of this manuscript. FN would like to thank Stefan Hofmann for inspiring discussions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Millington, P., Niedermann, F. & Padilla, A. Non-perturbative aspects of galileon duality. Eur. Phys. J. C 78, 546 (2018). https://doi.org/10.1140/epjc/s10052-018-6029-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6029-0