On the integration of fields and quanta in time dependent backgrounds

Field theories with global continuous symmetries may admit configurations in which time translation invariance is broken by the movement of homogeneous background fields evolving along the flat directions implied by the symmetries. In this context, the field fluctuations along the broken symmetry are well parametrized by a Goldstone boson field that may non-trivially interact with other fields present in the theory. These interactions violate Lorentz invariance as a result of the broken time translation invariance of the background, producing a mixing between the field content and the particle spectrum of the theory. In this article we study the effects of such interactions on the low energy dynamics of the Goldstone boson quanta, paying special attention to the role of the particle spectrum of the theory. By studying the particular case of a canonical two-field model with a mexican-hat potential, we analyze the derivation of the low energy effective field theory for the Goldstone boson, and discuss in detail the distinction between integrating fields v/s integrating quanta, to finally conclude that they are equivalent. In addition, we discuss the implications of our analysis for the study of systems where time translation invariance is broken, such as cosmic inflation and time crystals.


Introduction
Although the spontaneous breaking of time translation invariance is pervasive to a large number of physical contexts -including particle physics, cosmology, and condensed matter physics-attempts to systematically address its general properties are rather recent [1][2][3][4]. This has to do, in part, with the notorious difficulty of handling time dependent

JHEP05(2014)111
backgrounds inducing interactions that violate conservation of energy. There are certain relevant situations, however, where time translation invariance is broken by spatially homogeneous field configurations that evolve along flat directions implied by the existence of exact (or nearly exact) internal symmetries. In these configurations, the breaking of time translation symmetry may induce the breaking of Lorentz invariance without the appearance of time-dependent couplings, or with a time-dependence following a well defined scaling property, therefore allowing for a tractable analysis of the behavior of both classical and quantum fluctuations. In this article, we wish to discuss this latter type of configurations.
A relevant example of this restricted class of systems is provided by cosmic inflation [5], where the universe undergoes a period of dramatic accelerated expansion driven by the homogeneous evolution of a background scalar field, breaking time translation invariance by rolling down the slope of a flat potential [6,7]. Such models only make sense if they appear embedded in a more fundamental theory endowed with an internal shift symmetry weakly broken at the scales relevant for inflation [8,9]. Another example is found within the context of condensed matter physics, in the recently proposed idea of time crystals [10,11]. These are hypothetical systems for which a periodic motion constitutes the lowest energy state, therefore providing a time analog of spatially ordered crystals. Here, again, the breaking of time translation invariance is achieved by the motion of a state along a flat direction allowed by an internal symmetry characterizing the system. In both of these examples, the loss of Lorentz invariance through the existence of additional internal symmetries play a crucial role in determining various physical properties of these systems, including observables such as n-point correlation functions, and scattering amplitudes involving low energy quanta.
In the quantum field theory context, one may parametrize any system with broken time translation invariance through the introduction of a Goldstone field π(x, t), defined as the fluctuation along the broken symmetry, by means of a local time re-parametrization of the background of the form t → t (x, t) ≡ t + π(x, t). One of the advantages of adopting this particular parametrization is that the Goldstone boson field π(x, t) keeps track of time translations as an exact symmetry of the original theory. To be more precise, the action for the Goldstone boson fluctuation π(x, t) must be such that it remains invariant under the simultaneous transformations: π(x, t) → π(x, t) − ξ 0 . (1.1) The restricted class of systems we wish to study here is characterized by an additional symmetry of the background under the transformation t → t + ∆t alone, without a complementary transformation of the π(x, t) field. These correspond to systems where the time dependent background appear as a consequence of fields evolving homogeneously along their internal symmetries. On the one hand, such configurations would require coupling constants for the π-action to remain time-independent, therefore simplifying enormously the analysis of time dependent backgrounds. On the other, because the full action must be invariant under (1.1), the action for the π-fluctuations must remain invariant under shifts π(x, t) → π(x, t) − ξ 0 alone, revealing the existence of an internal symmetry broken by a time dependent background.

JHEP05(2014)111
The introduction of the Goldstone boson field π(x, t) to parametrize the breaking of time translation invariance has invigorated our understanding of cosmic inflation from the effective field theory (EFT) point of view [12,13]. In particular, it has led to a reliable model independent description of the generation of primordial curvature perturbations, without the need of a detailed knowledge of the ultraviolet physics (UV) taking place at very short distances (or sub-horizon scales). In this scheme, curvature perturbations are intimately related to the Goldstone boson field, whose action appears highly constrained by the symmetries of the original ultraviolet UV-complete action. In particular, the unknown UV-physics is parametrized by self-interactions of the Goldstone boson that non-linearly relate field operators at different orders in perturbation theory. This framework has offered a powerful approach to analyze the large variety of infrared observables predicted by inflation, including the prediction of non-trivial signals in the primordial power spectrum and bispectrum [8,[14][15][16][17][18][19][20][21][22][23][24][25].
Because π(x, t) is defined as the perturbation along the broken symmetry, in general, its self-interactions and its interactions with other fields are found to be non-trivial, offering potentially large departures from those expected in Lorentz invariant backgrounds. In the particular case of interest, where couplings remain constant, a few general properties worth emphasizing are: I. The spectrum of the theory contains at least one massless Goldstone boson, the one associated to the broken time translation invariance. More generally, there exist as many Goldstone bosons as broken symmetries, however some of them may be massive (gapped Goldstone bosons), with their masses determined by the details in which the symmetries are broken [2,26]. These Goldstone bosons may interact between them and other quanta present in the spectrum [22,27].
II. At linear order in the fields, the Goldstone boson fluctuation π(x, t) depends on a mixture of particle states of different frequencies. In other words, there is no oneto-one relation between particle states and fields, but instead, a mixing between the field content and the particle spectrum of the theory [27]. As a consequence, the two point correlation function between π(x, t) and the fields that interact with it is non-vanishing.
III. The gap between the massless Goldstone boson quanta and the massive quanta (that interact with Goldstone boson quanta), increases as the breaking of time translation symmetry increases. This in turn implies that, at sufficiently long wavelengths, the dynamics of the system should be dominated only by gapless Goldstone boson quanta [22,28].
These properties have been particularly useful to study the interaction of the Goldstone boson π(x, t) with other "heavy" fields in the context of inflation [22,[27][28][29], and have allowed for a systematic analysis on how ultraviolet degrees of freedom affect the low energy dynamics of curvature perturbations. issues surrounding these properties that have not been fully addressed yet, and that are pertinent to the study of broken time translation invariance in general. For instance, there has been an active and fruitful debate regarding the procedure that should be followed to integrate fields and quanta in time-dependent backgrounds, and the validity of the resulting EFT, particularly within the context of cosmic inflation [23,28,[30][31][32][33][34][35][36][37][38]. In the present discussion, we feel particularly compelled to address the following three questions: A. In a general field theoretical system where time translation invariance is broken we typically expect the appearance Lorentz violating couplings which may or may not depend on time. Thus. What are the generic properties shared by this class of systems solely due to the loss of Lorentz invariance -and not to the time-dependence-of these couplings?
B. Given that the interactions between the Goldstone boson field π(x, t) and other fields involve non-trivial space-time operators explicitly breaking Lorentz invariance, what is the set of couplings defining the correct perturbative expansion of the interacting theory?
C. Given that fluctuations and particle states are not in a one to one relation (as highlighted by our point II), what is the correct procedure to integrate fields and quanta around the ground state of the system? In other words, is the integration of fields (by integrating them at the Lagrangian level) equivalent to the integration of quanta (by integrating them at the Hamiltonian level)?
The aim of this work is to answer these questions in the context of a simple and well defined quantum field theory setup which is easily extended to other more general systems. In particular, question A is answered by examining the perturbative interactions between the particle states of the system, and studying the allowed reactions that exist due to the breaking of Lorentz invariance (which otherwise would be precluded). On the other hand, question B is answered by explicit construction, whereas question C is resolved by demonstrating that both the Lagrangian and Hamiltonian approaches to integrate fields and quanta give consistent results.
To be more precise, we will study in full detail the breaking of time translation invariance in a canonical two-scalar field model endowed with an SO(2) symmetry, and analyze the quantization of fluctuations around background solutions of homogeneous fields evolving along the symmetric direction of the theory. We will identify a field parametrization of these fluctuations that allows for a transparent perturbative analysis of the interactions, and derive the complete set of Feynman rules of the theory. In addition, we will analyze the derivation of the low energy effective field theory for the Goldstone boson quanta, by discussing the integration of heavy quanta in two different approaches. First, we will consider the derivation of a low energy effective field theory by integrating -with the as an effective symmetry broken from the very beginning at the model building level. The amount of this breaking is parametrized by the usual slow-roll parameter which, at the same time, dictates the coupling of gravity to the fields driving inflation. Since this coupling is small, one does not expect quantum gravity effects to spoil the aforementioned symmetry [13].

JHEP05(2014)111
help of the equations of motion-the heavy field representing fluctuations orthogonal to the symmetry. This will allow us to derive a low energy EFT up to quartic order in the Goldstone boson field. To assess the validity of this procedure on the light of question B, we pursue a second alternative method to integrate heavy quanta, by directly dealing with the spectrum of the theory at the level of the S-matrix. We will show that both procedures give the same EFT to quartic order, and argue that the equivalence between the two schemes should stay valid to all orders in the fields as long as we are interested in tree level processes.
Since we will restrict our analysis to Minkowski backgrounds, our results will show to be particularly useful for the study of time crystals. As we shall see, time crystals exhibit some general properties similar to conventional crystals, such as the existence of modes analogous to acoustic and optical phonons, resulting from the interaction of the Goldstone boson field with the heavy fluctuations orthogonal to the symmetry. We will argue that the gapped modes are generally expected to decay into Goldstone modes and that Goldstone modes are also expected to decay into Goldstone modes of longer wavelengths, with a decay rate suppressed by the energy of the decaying mode. This should constitute a simple but generic prediction for time crystals, and could contribute to the discussion and possible experimental realizations of such systems [39][40][41].
This work is organized as follows. In section 2 we present a simple two scalar field model that encapsulates the main properties that we wish to study. The consequences of choosing a time-dependent background are studied from the perspective of conserved charges and the appropriate form of the Hamiltonian for the fluctuations is derived. In section 3 we study the quantum field theory of such a system. We present a field parametrization which will show to be particularly transparent to discuss the quantization the system, and derive the Feynman rules for our theory. Next, in section 4 we study the derivation of the low energy effective theory for the Goldstone boson quanta in full detail. There, we examine the difference between the Lagrangian and Hamiltonian approaches to integrate the heavy quanta, to show that they are equivalent. Finally, in section 5 we discuss the importance of our results and provide some concluding remarks.

Setting the stage: the model
We would like to study a field theoretical setup allowing for time-dependent backgrounds, but simple enough to carry out a detailed analysis of the interaction between different states of the system. In particular we wish to study theories where background fields are allowed to evolve homogeneously along flat directions appearing as a consequence of an internal symmetry group. To this extent, we consider the simple case of a two-field canonical system endowed with a global SO(2) symmetry described by the following Lagrangian where V (|Φ|) is a scalar field potential that only depends on the absolute value of the SO(2) doublet Φ = φ 1 + iφ 2 . The model is invariant under global shifts Φ → e iα Φ with constant JHEP05(2014)111 α (the construction of more elaborated setups may be studied through straightforward generalizations). By writing Φ = ρe iθ , this Lagrangian may be rewritten in terms of the real fields ρ and θ, giving: The SO(2) symmetry is now reflected upon the invariance of L under shifts of the axial field θ → θ + ∆θ, for a constant ∆θ. The system is governed by two equations of motion given by With this choice of fields, the canonical momenta are given by Π θ = ρ 2θ and Π ρ =ρ and the Hamiltonian of the system is found to be: We may now quantize the theory by imposing the standard equal time commutation relations [θ(t, x), Π θ (t, y)] = iδ(x − y) and [ρ(t, x) , Π ρ (t, y)] = iδ(x − y) (where we have adopted units whereby = 1). A direct consequence of the symmetry θ → θ + ∆θ is the existence of the conserved current j µ = −ρ 2 ∂ µ θ. The conservation equation ∂ µ j µ = 0 is equivalent to the equation of motion (2.3) for the field θ, and the associated charge is therefore given by It follows immediately that Q is the generator of shifts along the θ direction.

Time dependent backgrounds
Since the theory is symmetric under shifts θ → θ+∆θ, there exists a spatially homogeneous time-dependent background evolving along the flat θ-direction, given by where bothθ 0 and ρ 0 are integration constants related by the equation of motion (2.4) to satisfy: Notice that, unlessθ 0 = 0, the radial field ρ is unable to sit exactly at the minimum of the potential V ρ = 0. This means that the background trajectory is being pushed away from the minimum against the outer wall of the potential, as a result of the centrifugal force implied by the non-vanishing angular momentum of the movement. The background solution (2.7) breaks both, time translation invariance t → t = t + ∆t and the shift symmetry θ → θ = θ + ∆θ. This may be verified by noticing that axial fluctuations δθ = θ − θ 0 receive inhomogeneous contributions under the action of both H and Q:

JHEP05(2014)111
However, fluctuations around the background remain invariant under a simultaneous combination of time translations ∆t and axial shifts ∆θ satisfying the following constraint: This combination leaves the background solution invariant in the sense that θ(t) → θ (t ) = θ(t). This restricted class of transformations is generated by the following combination of H and Q defined in (2.5) and (2.6) respectively: Notice that the term −θ 0 Q cancels the contribution appearing in H that generates shifts on the fluctuation δθ. Now instead, one has [δθ, H] = iδθ , (2.12) implying that H is the generator of time translations about the moving background (for a more general discussion on this point see [2]). Explicitly, this operator is given by: This "shifted" Hamiltonian provides the correct generator of time translations on fluctuations defined about the evolving background, as it may be directly inferred from the geometrical interpretation emerging from (2.11). It is useful to write the Hamiltonian H in terms of the velocitiesθ andρ: (2.14) From this expression one can see that, indeed, the Hamiltonian H is positive definite in terms of relative velocityθ −θ 0 . In addition, it is possible to read off the appearance of the effective potential: The appearance of ρ 2θ2 0 may be interpreted as the centrifugal barrier due to the angular movement. By using eq. (2.8), it is possible to verify that V eff (ρ) is quadratic about the configuration ρ = ρ 0 , thus, in order to have a positive definite spectrum, we require the additional condition ∂ 2 ρ V eff > 0 at the minimum of this potential. To finish, we observe that the canonical rapidity with which the vacuum expectation values of the field move along the symmetry direction is:φ 0 ≡ ρ 0θ0 . (2.16) Notice that we may take the limitθ 0 → 0 by keepingφ 0 constant, which would correspond to the case of a straight trajectory in field space. We shall use the quantityφ 0 to simplify several expressions during the next sections.

Introducing the Goldstone boson
We have seen that time translation invariance is broken by the evolving background (2.7). We may therefore introduce the Goldstone boson field π(x, t) as the perturbation along the broken symmetry, in such a way that it parametrizes fluctuations away from the homogeneous background by entering it through the combination t = t + π(x, t). In other words, we may write the fields θ(x, t) and ρ(x, t) in terms of the background θ 0 (t) =θ 0 t and ρ(t) = ρ 0 by introducing the perturbations π(x, t) and σ(x, t) as Here, σ(x, t) corresponds to fluctuations orthogonal to the broken symmetry, and therefore perpendicular to the path defined by the evolving background in field space. It is now possible to rewrite the Lagrangian (2.2) in terms of the perturbed fields π(x, t) and σ(x, t). We find 19) where we have dropped terms which are proportional to a total time derivative. The quantity M 2 is the first coefficient from the Taylor expansion of the effective potential (2.15) and is given by: While it is tempting to say that M is the mass of σ(x, t), as we shall see, it is rather premature to make this identification without having examined the particle spectrum of

JHEP05(2014)111
the theory. On the other hand, the quantity C(σ) contains the rest of the Taylor expansion, and is given by: Notice that the lowest order term in C(σ) is cubic in the field σ. Thus we see that the Lagrangian (2.19) describes the dynamics of a Goldstone boson interacting with a field σ with a self-interaction determined by C(σ).
Because the Lagrangian (2. 19) describes fluctuations about the evolving background (2.7) one would expect that the Hamiltonian deduced out with it coincides to the shifted version H of eq. (2.11), which generates time translations about the evolving state, as opposed to H of eq. (2.5) which generates time translations on the complete system. To verify this, we first compute the canonical momenta for the fields π(x, t) and σ(x, t), which are found to be given by: Then, by defining the Hamiltonian of the fluctuations as H = d 2 x πΠ π +σΠ σ − L , we find which indeed coincides with the expression found in eq. (2.11) after plugging back eqs. (2.17) and (2.18). Writing it in terms of the velocities, one then sees that: It is important to recognize that the Hamiltonian is positive definite unless the function C(σ) conspires against it. Notice that C(σ) parametrizes the shape of the potential away from the path along which the background evolves. To simplify our discussion, in what follows we disregard the presence of C(σ), and keep in mind that including it back to the formalism may be done at any stage of the discussion without difficulties.

Quantum theory
We now consider the quantization of the theory. As we shall see, the fact that the evolving background makes π(x, t) and σ(x, t) interact through couplings that break Lorentz invariance has some remarkable implications for the quantization of the theory. To start with, the quantum version of the theory may be obtained by imposing the following commutation relations between the pair of fields π(x, t) and σ(x, t) and their respective canonical with every other commutation relation vanishing. Notice that these relations imply that the Hamiltonian H for the full theory, defined in (2.5), generates the following transformation on the Goldstone boson field: This is consistent with the role of the Goldstone boson π(x, t) as a field introduced to keep track of time reparametrizations of the form t → t + ξ 0 , which imply the non-linear transformation π → π − ξ 0 . On the other hand, one can see that the commutator of the charge operator Q defined in (2.6) with π(x, t) gives: Again, this is consistent with the fact that the background is evolving homogeneously along the flat direction offered by the global continuous symmetry under transformations θ → θ + ∆θ. Then, it is direct to verify that the Hamiltonian H defined in eq. (2.11) generates time translations about the evolving background, as it should: In what follows we proceed to analyze the interactions of this theory perturbatively by splitting the Hamiltonian H into the free quadratic part and the interaction part, which contain terms of cubic order, or higher, in the fields.

Interaction eigenstates
Before quantizing the theory, let us introduce a field reparametrization which will greatly simplify our analysis. Let us write the pair of fields π and σ in terms of a new set of fields ϕ and ψ as follows: This non-linear field reparametrization maps the Lagrangian (2.19) into an equivalent Lagrangian given by: where we have identified the potential: Notice that the interaction terms do not contain space-time derivatives acting on the fields. On the other hand, the free field part of the theory has the same form as the one appearing in (2.19), with the non-trivial coupling between ϕ and ψ involving a time derivative. The interested reader may consult appendix A for an alternative field reparametrization where the quadratic part of the Lagrangian is diagonal in the fields. Now, the canonical momenta are simply given by Π ϕ =φ + 2θ 0 ψ, Π ψ =ψ, (3.10) and the commutation conditions become with every other commutation relation vanishing. We parenthetically notice that these commutation relations imply [ψ(x, t),φ(y, t)] = 2iθ 0 δ(x − y). To analyze the interactions of this theory we expand the potential up to quartic order in the fields whereφ 0 = ρ 0θ0 . After this, the Hamiltonian may be split as where, H 0 corresponds to the quadratic Hamiltonian describing the free sector of the theory, and is given by (if expressed in terms of the velocitiesφ andψ instead of the canonical momenta) On the other hand, H int represents the interaction part of the Hamiltonian, which simply reads Notice that the interaction Lagrangian is found to be proportional to M 2 to all orders in ϕ and ψ (unless, of course, we include the interaction term C(σ) back into the analysis). This is because the field redefinition is designed to remove space-time derivatives acting on terms of order higher than quadratic in the fields. As a consequence, M 2 σ 2 in (2.19) is the only term that can produce higher order interactions. This, in turn, implies that the non-linear interactions vanish altogether in the limitθ 2 0 → V ρρ as revealed by eq. (2.20), meaning that the theory becomes weakly coupled for large values ofθ 0 . In addition, from eq. (3.13) it is possible to read that the dimensionless parameter controlling the perturbative expansion of the theory is given by:

JHEP05(2014)111
Thus, the present field redefinition has allowed us to obtain a theory for which large values ofθ imply a non-trivial free field theory at quadratic order, but with a set of suppressed interactions. On the other hand, if we were to include the omitted interaction term C(σ) of eq. (2.19) back into our analysis, we would find further interactions between ϕ and ψ with coefficients independent of M 2 , with the lowest order contribution being cubic in the field ψ.

Quantization of the free field theory
We now proceed with the quantization of the free field quadratic theory. Let us first recall that in terms of ϕ and ψ, the quadratic Lagrangian has the form: Then, the linear equations of motion are given by: Of course, the fields ϕ and ψ are non-trivially coupled byθ 0 , implying that their expansion in terms of modes will inevitably have a mixing. Thus, we solve these equations by the following ansatz where α labels the two scalar modes of the theory to be specified in a few moments. In addition, a † α and a α represent creation and annihilation operators of these modes, satisfying the following standard commutation relations with every other commutation relation vanishing. Plugging these relations back into the equations of motion (3.19) and (3.20), it is straightforward to deduce the following eigenvalue problem valid for both modes which has a non-trivial solution only if the determinant of the matrix is zero. This leads to the following equation for ω α :

JHEP05(2014)111
This equation has two solutions for ω 2 α given by [27]: We have introduced the labels G and Λ to distinguish between the two scalar modes of the theory. Notice that ω 2 G → c 2 s p 2 as p → 0, where c 2 s is given by Thus, we see that G labels the massless Goldstone boson mode, which at long wavelengths propagate at a speed given by c s (the speed of sound). On the other hand, ω 2 Λ → M 2 + 4θ 2 as p → 0, therefore implying a massive mode, even for the case M 2 = 0. We therefore label the mass of this mode as: Notice that for a fixed wavenumber p, one always has ω 2 G ≤ ω 2 Λ . Having found the solutions (3.27) and (3.28) we can now look for the amplitudes ϕ G (p), ϕ Λ (p), ψ G (p) and ψ Λ (p). Up to a harmless phase, the Goldstone boson mode has amplitudes: whereas the massive mode is characterized by the amplitudes: .

(3.32)
It is relevant to notice that ϕ Λ (p) → 0 and ψ G (p) → 0 as p 2 → 0. This means that ϕ(x, t) is related to G and ψ(x, t) is related to Λ at long wavelengths, from where we find justification to call ϕ the light field, and ψ the heavy field. We can now proceed to compute various relevant quantities of the theory. For instance, a straightforward computation shows that the free Hamiltonian of the system is given by where we have omitted the c-number term coming from the normal ordering of creation and annihilation operators.

Interacting theory
We now consider the quantization of the interaction theory. We proceed by introducing the interaction picture available in the standard canonical quantization scheme (see for

JHEP05(2014)111
instance [42]). This amounts to write the fields ϕ(t, x) and ψ(t, x) of the full theory in terms of the interaction picture fields ϕ I (t, x) and ψ I (t, x) as where the interaction fields are given by the same expressions provided in eqs. (3.21), (3.22) and (3.23). On the other hand, U (t) corresponds to the interaction picture propagator, which is given by where t = 0 denotes an arbitrary reference time, and T is the usual time ordering operator. In addition, H I (t) is the Hamiltonian in the interaction picture, given by In order to deduce the Feynman rules of the theory, it is useful to introduce a more concise notation by grouping the fields ϕ and ψ into a two component vector ξ a such that: With this definition we can write the interaction Hamiltonian in terms of ξ a as where summation over repeated indices is implied, and where we have defined the couplings f abc and g abcd as: Then, given that both fields ϕ I and ψ I consist of a mixing of modes G and Λ, we are forced to consider a propagator matrix with non-vanishing non-diagonal terms. Considering the new notation involving ξ, the propagator is defined as: With this definition, it is straightforward to find the following space-time representation of the propagator matrix D ab (x − y) (see appendix B for an explicit derivation): (3.42) We notice that the limitθ 0 → 0 is consistent with two independent scalar fields, one massive (with mass Λ = M ) and one massless.

Feynman rules
The results of the previous subsection allow us to deduce the Feynman rules of the theory, which we do in position space for definiteness. First, notice that we may represent the internal propagators by a single solid line representing the mixed propagation of the two particles states G and Λ: The cubic interaction leads to the following three legged vertex: where the integration in z is performed after joining this vertex with internal propagators. Analogously, the four legged vertex is given by Finally, the external legs may be derived by considering contractions between the fields ξ a with asymptotic particle states of definite momenta forming part of the in-and out-states. Such states are defined as: where p α x ≡ −ω α (p)t + p · x, and G a (p) and Λ a (p) are the amplitudes given by the following expressions:

JHEP05(2014)111
With these rules, it is straightforward to compute amplitude for decays and scattering processes. For instance, the decay of a Λ mode of wavenumber p into two G modes of wavenumbers k and q is characterized by the following M-matrix elements: This result may be used to compute, for instance, the decay rate Γ Λ→GG for such a process.

Low energy effective field theory
Our system contains two interacting modes of frequencies ω G and ω Λ , both given in eqs. (3.27) and (3.28). As shown in appendix C, in the long wavelength regime p 2 Λ 2 these frequencies satisfy the hierarchy ω 2 G ω 2 Λ . Therefore, if the system is populated by quanta with long wavelengths p 2 Λ 2 , we expect to find it quickly dominated by particle states of low frequencies as a result of the inevitable decay of high frequency Λ-modes into low frequency G-modes. 2 It is therefore sensible to expect a low energy effective field theory describing low frequency G-modes alone, obtained from the full two-field theory by integrating out the high frequency Λ-modes. In this section we deduce such a low energy effective field theory in two different approaches, and examine the role of high frequency modes in the low energy dynamics of low frequency modes.

Effective field theory at linear order
To identify the correct general strategy to integrate out the high frequency Λ-modes, let us first examine their integration at the free field theory level. This will pave the way to later include interactions into the analysis to any desired order. To start with, the equations of motion are: Recall that the two modes are necessarily decoupled even though the fields appear to be coupled. In Fourier space, the solutions to these equations may be written as where the amplitudes ϕ G (p), ψ G (p), ϕ Λ (p), and ψ Λ (p) give us the field dependency on each frequency mode. They are mutually algebraically related by the equations of motion, through eq. (3.25), implying that once the pair of amplitudes ϕ G (p) and ϕ Λ (p) are known, the second pair ψ G (p) and ψ Λ (p) are fixed uniquely. This means that we may adopt the

JHEP05(2014)111
perspective by which all the relevant information about the full solution is contained in ϕ p (t) alone, provided that relation (3.25) is supplemented. For instance, one may think of imposing initial conditions only on ϕ p (t), and then use (3.25) to deduce ψ p (t). This would require imposing initial conditions by including second and third time derivatives of ϕ p (t) into the usual analysis. In other words, we may reduce the entire two field system to a single field system still describing two scalar degrees of freedom by writing the field ψ in terms of ϕ as: This single relation gives us (4.4) out of (4.3) without loss of information. Of course, this procedure breaks down forθ 0 = 0. Plugging (4.5) back into the Lagrangian (3.18) we then obtain the following single field Lagrangian: Even though this Lagrangian is written in terms of a single field, it continues to describe the full original system with two degrees of freedom. Indeed, after examining the spectrum of the theory (4.6) one finds two decoupled degrees of freedom with frequencies ω G and ω Λ determined by (3.27) and (3.28).
We may now obtain a low energy effective action out of (4.6) only describing G-particle states. As discussed in appendix C, the low energy condition ω 2 Then, if only low frequency modes are excited, we may take ϕ Λ = ψ Λ = 0 and the operator 1/(M 2 − 2) appearing in (4.6) may be expanded in powers of time derivatives, as: which in Fourier space corresponds to an expansion in powers of ω 2 G /(M 2 + k 2 ), which remains suppressed by assumption. The resulting theory in this case reads where we have used the identities 4θ 2 0 = (1 − c 2 s )Λ 2 and M 2 = Λ 2 c 2 s . In addition, we have truncated the derivative expansion up to quartic order in ∂ t . Of course, the second term containingφ will only be relevant when the expansion (4.7) breaks down, which happens away from the low energy regime where the theory describes only one degree of freedom. However, since we have truncated the expansion (4.7), the theory (4.8) contains ghosts. In order to obtain a well defined low energy effective field theory for one scalar degree of freedom, we may reduce the number of time derivatives by performing the following linear field redefinition:

JHEP05(2014)111
This field redefinition is perturbative with respect to powers of ∂ 2 t /(Λ 2 c 2 s − ∇ 2 ) and ∇ 2 /Λ 2 , which remain suppressed in the low energy regime where the expansion (4.7) is valid. After plugging this field redefinition back into Lagrangian (4.8), and dropping total time derivatives, one finds: This new version of the Lagrangian has a well defined time derivative structure (e.g. it does not contain ghosts) and therefore may be used consistently to study the low energy limit by using the Hamiltonian formalism. In addition, it may be verified that the dispersion relation resulting from (4.10) is given by This result coincides with the form for ω 2 G (p) deduced in appendix C valid at the low energy regime p 2 Λ 2 . Thus, we see that the action (4.10) constitutes an accurate effective field theory of the entire system at linear level.

Classical integration of heavy modes
We now move to study the integration of high frequency modes by including interactions into the analysis. Our first approach will consist on studying the dynamics of the system from the pure classical point of view, integrating out the high frequency modes with the help of the equations of motion at the Lagrangian level. This corresponds to employing the path integral formalism to integrate out the high frequency Λ-mode at tree-level. Our starting point is to consider the two field Lagrangian up to quartic order in the fields ϕ and ψ: This Lagrangian implies that, up to cubic order in the fields, the two coupled equations of motion are given by: We may now repeat the same procedure employed in the previous subsection to express ψ in terms of ϕ. This is achieved by inverting the operator 2 − M 2 (1 − ϕ 2 /ρ 2 ) acting on ψ in the second equation of motion (4.14):

JHEP05(2014)111
Inserting this expression back into the original action (4.12), we find: Up to this point we have performed the same steps followed in our previous analysis of the theory at linear order. Accordingly, the resulting action (4.16) consists of a single field theory that describes two interacting degrees of freedom. We may now attempt to obtain a low energy effective field theory that describes a self interacting single degree of freedom valid in the regime ω 2 G ω 2 Λ . To maintain the following discussion simple and tractable, we keep the number of space-time derivatives limited to the same order in fields in each term of the Lagrangian. 3 With this restriction in mind, expanding (4.16) up to quartic order in the fields leads to where we have used eq. (3.29) to identify the speed of sound c s . Of course, just as in the case of the free field theory examined in the previous subsection, the truncation of space-time derivatives inevitably makes the interactions of the theory ill-defined. However, since this action is valid only at low energies, we may get rid of these higher order time-derivatives by performing the following field redefinition consistent with the low energy expansion of space-time operators: 4 (4.18) Using this field redefinition back into eq. (4.17) and dropping total space-time derivatives, we find the following low energy effective Lagrangian for the field χ:

JHEP05(2014)111
This version of the Lagrangian is free of second order time derivatives, and therefore may be used to treat the system with the help of the conventional Hamiltonian formalism for a single degree of freedom. Before moving on to consider an alternative way of deducing the same effective field theory (4.19), let us emphasize that the integration procedure represented by eq. (4.15) constitutes a big departure from that involved in eq. (4.5) relating ψ with ϕ. While the latter corresponds to a linear relation valid for each frequency mode separately, the former inevitably mixes frequency modes due to the non-linear couplings at the right hand side. We are forced to conclude that the Lagrangian (4.19) contains information that pertains the dynamics of high frequency modes. In the following subsection we shall implement an alternative, more rigorous, way of deducing the low energy effective field theory for low frequency modes, which will allow us to asses the role of high frequency modes in the low energy dynamics.

Quantum integration of heavy quanta
We now discuss the integration of high frequency modes by examining the system from the point of view of its canonical quantization. This procedure will allow us to keep track of the role of the particle spectrum of the theory at each step of the integration. As we shall see, the effective field theory resulting from this analysis coincides with the one deduced in the previous subsection, at tree level. Our starting point is to consider a state populated only by low frequency G-quanta. With this in mind, we write the vacuum state of the system as the product |Ω = |0 G ⊗ |0 Λ , where |0 G and |0 Λ represent the vacuum states for the high-and low-frequency modes respectively, satisfying a G (p)|0 G = 0 and a Λ (p)|0 Λ = 0. Then, if the state |Ψ of the system under study only consists of low frequency quanta, we may write where |Ψ G is obtained by allowing the action of creation operators a † (p) on the vacuum |0 G . Our strategy to deduce the low energy EFT will first consist in deducing the general form of the S-matrix that relates in-and out-states of only low-frequency G-modes at long-wavelengths p 2 Λ 2 . This will then allow us to deduce the effective Hamiltonian of the system, and subsequently the effective Lagrangian. The effective S-matrix relating in and out low-frequency states is defined as: This operator should be related to an effective Hamiltonian H eft,I , expressed in the interaction picture, appearing in the following perturbative expansion of the effective S-matrix where T represents the time ordering operator. Here H eft,I is expressed in terms of a field χ I (to be defined in a moment) also in the interaction picture. Knowing the form of H eft,I in the interaction picture will then allow us to deduce the complete Hamiltonian H eft . We

JHEP05(2014)111
will find that H eft is given by: where Π χ is the canonical momentum associated to χ. It turns out that this Hamiltonian is precisely of the form that one would obtain directly from the Lagrangian (4.19). In the rest of this section we commit ourselves to prove eq. (4.23).

Free field EFT Hamiltonian
Before proceeding with the explicit computation of (4.22) and the derivation of (4.23), let us pause for a moment to identify the free part of the EFT Hamiltonian. This will allow us to anticipate the correct field content in terms of which the full EFT Hamiltonian must be expressed, in order to perform perturbation theory. First, notice that eq. (3.33) tells us that the low energy free field Hamiltonian is simply given by (modulo a c-term) where ω G (p) corresponds to the low frequency dispersion relation. We wish to define a field χ from where (4.24) is derived by employing the standard procedures of canonical quantization. The specific form of the free part of the Lagrangian may be chosen at discretion, as long as one is careful enough to correctly normalize the interaction part of the theory (consistent with this choice). Thus, to be able to compare the results of this section with the ones derived in subsection 4.2, let us choose the following free field Lagrangian: where Ω 2 (∇) is defined as the coordinate space representation of the dispersion relation ω 2 G (p) as follows: By quantizing the theory of Lagrangian (4.25) one obtains back the free field Hamiltonian (4.24). Moreover, the introduction of interactions implies that the field operator χ in the interaction picture is given by

JHEP05(2014)111
where the amplitude χ(p) is fixed by the quantization scheme. In fact, it is straightforward to verify that χ(p) is related to ϕ G (p) found in eq. (3.31) through the following identity: (4.28) We will use this result in the following subsection. To finish this discussion, it may be seen that, by expanding Ω 2 G (∇) in powers of ∇ 2 , we obtain the following Lagrangian: This form of the Lagrangian coincides with (4.10) after its kinetic term is also expanded in powers of ∇ 2 .

Computation of the effective S-matrix
We now proceed to prove that the effective Hamiltonian of the system is indeed given by (4.23). To start this computation, we recall that up to quadratic order in the interaction Hamiltonian, the S-matrix may be written as This means that the low energy effective S-matrix of eq. (4.21) may be expanded as Notice that the term of the second line in (4.33) necessarily include diagrams which represent off-shell propagation of high-frequency Λ-modes between two cubic vertices. These diagrams will contribute effective four-legged vertices for the Goldstone boson modes:

JHEP05(2014)111
In order to compute (4.33), let us first recall that we may split the interaction picture fields into high-and low-frequency contributions as ϕ I = ϕ G + ϕ Λ and ψ I = ψ G + ψ Λ (where ϕ α and ψ α with α = G, Λ are given in eqs. (3.22) and (3.23)). In fact, we may simply write the field contributions ϕ G , ϕ Λ , ψ G and ψ Λ as: Then, while ϕ I and ψ I commute, ϕ G and ψ G do not. This suggests that before computing vacuum expectation values with |0 Λ it is convenient to symmetrize any operator written in terms of ϕ I and ψ I . For instance, to compute 0 Λ |ϕ 2 I ψ I |0 Λ we may proceed as follows: Although in this computation we are only interested in retaining tree-level contributions, it may be verified that the 1-loop term (which corresponds to a tadpole contribution) vanishes after being integrated over time. To keep our notation simple, we will not bother making this symmetrization explicit, and simply write allowing ourselves to interchange the order of ϕ G and ψ G (however, the reader should keep in mind that every term is symmetrized). In addition, since we are interested in deducing an effective field theory by expanding operators in powers of space-time derivatives, we may write: After these simple considerations, it is straightforward to compute the terms 0 Λ |H 3 I (t)|0 Λ and 0 Λ |H 4 I (t)|0 Λ , appearing in (4.33) at tree level. These are found to be given by: Furthermore, since these quantities are integrated over the entire space-time volume, we may drop total time derivatives 5 and rearrange space-time operators by performing partial

JHEP05(2014)111
integrations. After straightforward manipulations, we find: Let us now turn to the second order term of the perturbative expansion of the S G -matrix. The relevant part is given by: To compute this contribution, we need to take care of the time ordered product by computing the appropriate contractions. This may be done systematically by considering again the splitting ϕ I = ϕ G + ϕ Λ and ψ I = ψ G + ψ Λ , which allows us to write eq. (4.44) as where I G is the contribution involving every possible tree-level contraction between the low frequency fields ϕ G and ψ G , and is given by whereas I Λ is the part containing every possible tree-level contraction between the high frequency fields ϕ Λ and ψ Λ : To compute I G we need to use the explicit expressions (D.9)-(D.11) for low frequency contractions deduced in appendix D. In addition, we recall that ψ G may be expressed in terms of ϕ G according to equation (4.39). With these considerations in mind, it is possible

JHEP05(2014)111
to show that I G reduces to 6 where we have defined Next, we proceed to compute I Λ which represents the off-shell propagation of a highfrequency mode between two cubic vertices as in the diagrams shown in (4.34). Here we need to consider the set of contractions provided in eqs. (D.12)-(D.14). However, because we are interested in phenomena involving low frequencies, these contractions may be expanded in powers of space-time derivatives suppressed by the cutoff scale Λ as follows Plugging these expressions back into (4.47) we obtain: 54) 6 Notice the appearance of several contact terms resulting from the contraction of low-frequency states.
These are a consequence of the Dirac-δ appearing in eq. (D.11).

JHEP05(2014)111
where stands for d 4 x. Now, putting (4.48) and (4.54) together back into eq. (4.45), we derive that the effective S-matrix of (4.33) has the form: eft,I (t) + H (4) eft,I (t) + eft,I (t ) · · · , (4.55) where the effective interaction picture Hamiltonians H (3) eft,I and H (4) eft,I are found to be given by: Iχ I ∇ 2χ Notice that we have expressed these contributions in terms of the field χ I defined in section 4.3.1, instead of ϕ G employed so far. While we have determined the form of the EFT Hamiltonian in the interaction picture in terms of the field χ I , our objective is to obtain the complete EFT Hamiltonian including the free field contribution. The final step consists of identifying the canonical momenta Π χ as the following quantity where U eft is the interaction picture propagator using H eft,I = H eft,I + H (4) eft,I to generate time translations on interacting picture fields. After this identification, one deduces (4.23), which is the promised result.

Conclusions
We have studied and discussed a class of field theoretical systems admitting time-dependent spatially-homogeneous backgrounds in which the vacuum expectation values of the fields are able to probe the internal symmetries of the theory. Such solutions generically imply the spontaneous breaking of the original Lorentz symmetry, thus inducing the appearance of non-trivial interactions coupling together the fields parametrizing fluctuations about the evolving background. In particular, these interactions introduce a mixing between the field content and the particle content of the theory, implying some marked departures from standard relativistic quantum field theories that may be relevant to the study of distantly related systems such as cosmic inflation and time crystals.
To simplify the present discussion, we have focussed our study on a simple toy model consisting of a canonical complex scalar field endowed with a global U(1) shift symmetry, and considered for it a scalar potential of the mexican-hat-type. This model was simple enough to permit us a complete analysis of its interactions (which we did by quantizing the theory within the canonical approach) and yet intricate enough to contain all of the JHEP05(2014)111 essential features related to the study of homogeneous time dependent backgrounds that we wished to address. In particular, it offered us a well defined framework to study effective field theories in time dependent backgrounds by analyzing in full detail the integration of heavy degrees of freedom.
Before moving on to discuss a few interesting properties shared by this class of systems, let us briefly summarize and highlight the main steps followed in the analysis of the previous sections: 1. We considered a canonical complex scalar field endowed with a global U(1) shift symmetry, with a scalar potential of the mexican-hat-type. By using radial and angular field coordinates ρ and θ, we were able to find homogeneous background solutions of the form ρ 0 = constant and θ 0 (t) =θ 0 · t, as shown in eqs. (2.7) and (2.8), whereθ 0 is a constant representing the angular velocity of the background trajectory.
2. In order to study the fluctuations about the evolving background, we defined the Goldstone boson field π(x, t) as the fluctuation along the broken symmetry by writing the field angular coordinate as θ(x, t) = θ 0 (t + π(x, t)), where θ 0 (t) is the corresponding background solution. We also defined a second field σ(x, t) as the fluctuation orthogonal to the trajectory followed by the background. The Lagrangian for these two fluctuations was found to be given by eq. (2.19), which may be seen to contain non-trivial interactions involving space-time derivatives, with their strength controlled by the background angular velocityθ 0 .
3. We were able to find a new set of fields ϕ(x, t) and ψ(x, t) defined in terms of π(x, t) and σ(x, t), by means of the field re-parametrization given in eqs. (3.6) and (3.7). This field re-parametrization removed all of the non-trivial space-time interactions except for those appearing at the quadratic level of the theory, leading to a simple set of Feynman rules, listed in section 3.4.
4. By studying the spectrum of the theory, we found that there are two particle modes with Lorentz invariance violating dispersion relations, one of them corresponding to the massless Goldstone boson mode G, the other corresponding to a massive boson Λ. One particularly interesting behavior of the theory is that, as the value of the background angular velocityθ 0 increases, the gap between the massless Goldstone boson and the heavy particle becomes larger. On the other hand, the strength of the interactions between these fields decreases. The fields were found to consist of a mixture of the two particle states, with ϕ(x, t) related to the massless Goldstone mode, and ψ(x, t) related to the massive field in the long wavelength limit p → 0, as noted in the analysis of eqs. (3.31) and (3.32).

5.
Given that the spectrum of the theory contains massless and massive particles, it makes sense to study the low energy effective field theory dictating the dynamics of the massless sector. To this extent, we first considered the integration of the massive mode by performing the on-shell integration of the field ψ(x, t) at the action level (that is, we simply used the equations of motion to eliminate ψ(x, t) from the action).

JHEP05(2014)111
This allowed us to deduce an effective field theory for ϕ(x, t) containing multiple time derivatives (Lagrangian of eq. (4.17)), but that were found to be ill-defined due to the presence of ghosts. Nevertheless, a new field redefinition allowed us to remove the multiple time derivatives in favor of spatial derivatives, leading to the now welldefined EFT of eq. (4.19).
6. To discern the validity and/or accuracy of the on-shell derivation of the EFT, we studied the integration of the heavy degree of freedom at the level of the S-matrix. This was done by directly computing the general form of the S-matrix elements only involving massless particle states as external legs, but including the propagation of heavy states as internal mediator states. This allowed us to deduce the EFT Hamiltonian in charge of propagating low energy Goldstone bosons, which coincided with the one obtained by the on-shell integration of the field ψ(x, t) discussed previously.
Thus we have shown that, even in the presence of the mixing between the field content and the particle content of the theory, in this class of models the integration of heavy fields and heavy quanta are equivalent (at least up to quartic order in the fields). This result is by no means trivial: given that the field ψ is not uniquely identified with the heavy particle state, there were good reasons to suspect that by naively integrating ψ through its equations of motion one could have lost information about the light degree of freedom.

The new physics window
Equation (4.11) gives the dispersion relation for Goldstone bosons valid within the low energy regime p 2 Λ 2 , or equivalently ω 2 G Λ 2 (see the discussion of appendix C). The first two terms in this equation compete between each other, defining different scaling properties of the dispersion relation. We may divide the scaling of the dispersion relation into two regions by defining the new physics energy scale Λ new as: Then, for wavelengths such that p 2 < M 2 , or equivalently ω 2 G < Λ 2 new , the dispersion relation is dominated by a linear scaling in terms of the momentum: ω G (p) = c s |p|. Otherwise, for wavelengths such that p 2 > M 2 , or equivalently ω 2 G > Λ 2 new , the dispersion relation is dominated by a quadratic scaling in terms of the momentum: ω G (p) = 1−c 2 s Λ p 2 . This quadratic regime was called the new physics regime in ref. [8] in the context of UV completions of inflationary models within effective field theory, and further studied in ref. [23].
The effective field theory of eq. (4.10) deduced in section 4.1 for the free field Goldstone boson, is valid for the entire low energy regime up to the cutoff scale ω 2 G ∼ Λ 2 , which includes the new physics window Λ 2 new < ω 2 G < Λ 2 . On the other hand, the effective field theory of eq. (4.19) deduced in section 4.2, which included interactions, is only valid for the linear regime ω 2 G < Λ 2 new . Obtaining an improved version of the effective field theory taking into account interactions and including the kinematic effects of the new physics window, should be laborious but straightforward. This issue was analyzed in ref. [23] within the JHEP05(2014)111 context of inflation, taking the approach of on-shell integration of a heavy field. However, undertaking a more detailed analysis of the integration of heavy quanta within the new physics window would be desirable. We leave this task as an open challenge.

The fate of a time crystal
Our results may be used to discuss systems with homogenous time dependent backgrounds on more general terms. A first interesting aspect that comes to mind is the general behavior of a system containing massless Goldstone bosons and massive particles coupled together through Lorentz violating interactions as the ones encountered in the present work. In the particular case of our toy model, it is direct to see that the massive Λ-particle is allowed to decay into a pair of Goldstone bosons G. Moreover, it is possible to see that a single Goldstone boson G is also unstable, and may decay into two Goldstone bosons G characterized by longer wavelengths, which is possible because of their non-relativistic dispersion relations (resulting from the breaking of Lorentz invariance). The decay rate of the latter process is suppressed by the energy carried by the decaying Goldstone boson, so its mean life time will increase as the wavelength becomes larger. Thus we see that G and Λ are analogues of acoustic and optic phonons respectively, encountered in the study of conventional crystals.
We can foresee a rather interesting prediction pertaining time crystals: if the initial state of a time crystal consists of several excitations representing gapless (G) and gapped (Λ) modes, these will inevitably decay into gapless modes, each time of longer and longer wavelengths (and therefore of less energy). Because the process is suppressed by the energy carried by the gapless modes, these decays will become less common with time. The end result is that the state of the system will asymptote to a state inhabited only by gapless modes of very long wavelengths. Moreover, due to conservation of energy, at scales smaller than these long wavelengths, the time crystal should appear as having an angular speed larger than the initial valueθ 0 . In other words, if a time crystal contains excitations, these will decay to become part of the background, and the angular speed of the time crystal will increase.

Beyond shift symmetries
Our results concerning the integration of heavy quanta may be extended to more general systems for which no shift symmetries are present to allow the homogeneous evolution of the fields. In these type of systems, one may still define the Goldstone boson in the same way as we have done, and even define fluctuations orthogonal to the trajectory, with the only difference that now the background parameters defining the couplings for the fluctuations are found to be time dependent [22]. One may now ask whether one can proceed with the integration of the massive modes in the same way. We foresee that the answer to this question should be positive: indeed, it should be possible to use exactly the same strategy to integrate out heavy fields, and the low energy effective field theory should remain valid as long as the following adiabaticity condition is satisfied for the heavy modes frequency:

JHEP05(2014)111
This condition would ensure that heavy excitations are not produced by the background sudden changes due to the absence of a shift symmetry. This issue was studied in the context of the on-shell integration of fields (as we did in section 4.2) in refs. [22,28]. It would be interesting however to count with a more complete analysis where the integration is also performed at the level of particle states, as we have done in the present work.

Beyond the tree level picture
As a final comment, we should recall that our analysis has been restricted to tree-level processes. It would be interesting now to consider the effects of loops on the parameters of the theory. For instance, it should be clear that loop contributions will modify the dependence of the mass of the heavy particle m Λ on the background parameters of the theory m 2 Λ = M 2 +4θ 2 0 . Such a modification would constitute a prediction of the theory. In addition, it should be possible to carry out the integration of heavy states by incorporating loops into the analysis. In this respect, it should be possible to compare the integration of the heavy field ψ(x, t) after deducing the 1-loop effective action for the fluctuations, with the integration of the heavy quanta Λ taking into account single loops. where Ω 2 G (∇) and Ω 2 Λ (∇) are defined as the coordinate representations of the dispersion relations: Notice that the time derivative in (A.7) accounts for the sign difference produced by the conjugation of the imaginary amplitude ϕ Λ . Putting together these two results we obtain the following relation for ϕ in terms of A and B: Analogously we can obtain ψ in terms of A and B as: In a more compact notation, this transformation can be rewritten as are used to write the interaction eigenstates in terms of the propagation eigenstates. Then, the free Lagrangian in terms of the interaction eigenstates is: (A.14) On the other hand, the free Lagrangian in terms of propagation eigenstates is The equations of motion derived from this diagonal Lagrangian imply that the A and B modes have dispersion relations ω G and ω Λ respectively.

B Field propagator
In this appendix we derive the propagators for the theory analyzed in section 3. To proceed, let us consider the first entry of the propagation matrix introduced in (3.2), defined as defined as D 11 (x − y) = 0|T ϕ(x)ϕ(y)|0 . It is direct to see that its explicit form in momentum space is given by: +θ(y 0 − x 0 ) d 3 p (2π) 3/2 |ϕ Λ | 2 e −ip Λ (x−y) + |ϕ G | 2 e −ip G (x−y) , (B.1) where θ(x 0 − y 0 ) is the usual step function. We would like to write the propagators as an integral in d 4 p. The usual step connecting these two results is a complex integration in p 0 . This step may be simplified significantly if we use the transformation described in the appendix A where A and B are of the canonical form: The form of the transformation M was derived in appendix A. Because A and B are scalar fields with dispersion relations ω G and ω Λ respectively, their propagators are:

JHEP05(2014)111
We would like to know under which conditions it is possible to have the low-frequency ω G much lower than the high-frequency ω Λ . Namely: To have a handle on the dependence of ω G and ω Λ on the momentum p when (C.3) is satisfied, let us notice that we may rewrite such a relation as: Then, by replacing the expressions for ω 2 G and ω Λ provided in eqs. (C.1) and (C.2) into (C.4), we obtain the following expression: Because c 2 s ≤ 1, the previous relation is satisfied if and only if: Equation (C.6) informs us at which range of the momenta the hierarchy of (C.3) is satisfied.
We can now verify that within this regime, the two frequencies acquire the forms: It may be verified in eq. (C.7) that the term O(p 6 /Λ 4 ) is always subleading with respect to the first two terms. One additional useful relation that may be verified in the regime ω 2 G ω 2 Λ is that ω 2 G p 2 + M 2 , (C.9) (recall that Λ 2 = M 2 c 2 s ) which is a useful expression to derive the low energy EFT for low-frequency modes.

D Some additional useful expressions
Here we provide the set of contractions needed to compute the effective field theory. Let us start by recalling that a contraction between two arbitrary fields ξ a and ξ b (not necessarily ϕ and ψ) is defined as D ab (x − y) = ξ a (x)ξ b (y) ≡ 0|T ξ a (x)ξ b (y)|0 . (D.1)

JHEP05(2014)111
To write down these expressions we have defined Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.