Inflationary tensor fossils deformed by solid matter -- scalar field interaction
Peter M\'esz\'aros

TL;DR
This paper investigates how superhorizon tensor perturbations influence scalar perturbations in a cosmological model with solid matter and scalar field, leading to observable asymmetries in the CMB and cosmic structure.
Contribution
It introduces a combined inflationary model with solid matter and scalar field, showing enhanced scale dependence of scalar spectrum deformation due to tensor perturbations.
Findings
Deformation causes asymmetry in the scalar power spectrum.
Enhanced logarithmic scale dependence compared to simpler models.
Potential observable imprints on CMB anisotropies.
Abstract
We study effect of superhorizon tensor perturbations on scalar perturbations, so called effect of clustering fossils, in cosmological model in which inflation is driven by both solid matter and scalar field. The effect deforms primordial scalar power spectrum causing asymmetry in it, which leaves imprint on CMB anisotropies and the cosmic structure. Parameter space of this combined model allows for enhancement of logarithmic scale dependence of this deformation, as opposed to simpler models in which such scale dependence is suppressed by slow-roll parameters.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
** Inflationary tensor fossils deformed by**
** solid matter - scalar field interaction**
Peter Mészáros
Department of Theoretical Physics, Comenius University, Bratislava, Slovakia
Abstract
We study effect of superhorizon tensor perturbations on scalar perturbations, so called effect of clustering fossils, in cosmological model in which inflation is driven by both solid matter and scalar field. The effect deforms primordial scalar power spectrum causing asymmetry in it, which leaves imprint on CMB anisotropies and the cosmic structure. Parameter space of this combined model allows for enhancement of logarithmic scale dependence of this deformation, as opposed to simpler models in which such scale dependence is suppressed by slow-roll parameters.
Contents
1 Introduction
Models predicting inflationary expansion in very early universe and their variations are challenged by increase in accuracy of observations of cosmic microwave background (CMB) anisotropies [2]. One of the most important areas of theoretical predictions which still lacks direct observational evidence concerns tensor perturbations or primordial gravitational waves. Data obtained by their observations may either rule out some models or considerably restrict their parameter spaces. Currently available observational restriction on tensor perturbations comes from the fact that they still have not been detected, giving upper limit on tensor-to-scalar ratio, [2, 3].
In recent years an interesting consequence of presence of tensor perturbations in the early universe, so called effect of clustering fossils, was studied in context of various inflationary models. The effect is based on nonlinearity of the perturbation theory due to which evolution of perturbations is influenced by long wavelength modes frozen on superhorizon scale [4, 5]. In particular, superhorizon tensor perturbations affect subhorizon scalar perturbations in such way that their scalar power spectrum obtains quadrupole asymmetry. This leaves imprint on CMB anisotropies, and consequently also on nonlinear structures formed in later stages of evolution of the universe, which can be observed in galaxy surveys [6, 7, 8].
In the single-field model, if we disregard non-Einstein theories of gravity, the nonlinearity of perturbations arises only from nonlinear structure of Einstein–Hilbert action, and therefore, it is weak [9]. Three-point correlation functions in this model then satisfy consistency relations [10, 11], and the quadrupole asymmetry is cancelled out with effect of tensor perturbations on light travelling to the observer [12, 13]. On the other hand, from the point of view of nonlinear effects multi-field models are much more interesting. Among such models an inflationary model in which consistency relations are broken and with unique prediction for the scalar bispectrum is so called solid inflation [14, 15]. It is described by three fields which enter the matter Lagrangian in the same way as body coordinates of a homogeneous and isotropic elastic matter enter its equation of state. The predicted bispectrum peaks in the squeezed limit as in other multi-field models, but its unique feature is an anisotropic dependence of sign of the peak on direction in which the limit is approached. Within this model the effect of clustering fossils was studied in [7, 16], and the model was also further generalized by authors of [17, 18, 19, 20].
In this paper we consider a simple generalization of solid inflation by adding a single scalar field with standard kinetic term to it. In this way we can study interaction of two kinds of matter of different nature during inflationary expansion driven by them. The model can be also considered as a simple toy model for interaction between fields driving the solid inflation and fields of the standard model. The main result of the work is that the quadrupole deformation of the primordial scalar power spectrum is allowed to have an unusually large scale dependence, whereas in simpler models this dependence is mild, suppressed by slow-roll parameters, and therefore, it is usually disregarded. The model studied in this paper shares this feature with an inflationary model studied in [18], where the scalar field added to three fields breaking spatial diffemorphism symmetry breaks time diffeomorphism symmetry generalizing the diffeomorphism breaking pattern.
The following text is divided into two main parts. In the first part, in section 2, we summarize main results of the previous work studying a combined inflationary model with both solid matter and scalar field [20]. For simplicity, we mostly restrict ourselves only to the lowest order of the slow-roll approximation, but we present restrictions on parameters of the model given by slow-roll approximation in a more systematic way, see also appendix E, and in addition to the old results we derive relation between the local nonlinearity parameter and angle of direction in which the squeezed limit is approached. Considering the next to the leading order of the slow-roll approximation we also calculate the scalar spectral tilt. In the second part of the paper, in section 3, we provide the analysis of clustering fossils within the model, and we discuss the result. There is also a concluding section 4, and two more appendices including additional materials. We use units in which and signature for the space-time metric.
2 Model with scalar field and solid matter
There are two different kinds of fields entering the matter Lagrangian of the model. The first one is the scalar field which is a function from space-time to real axis, , with kinetic term defined as a push-forward of the space-time metric with respect to this function multiplied by factor , i.e. , or in coordinates
[TABLE]
The second kind of fields corresponds to function from space-time to 3-dimensional manifold, , which can be interpreted as a body manifold associated with continuum or solid matter. Denote coordinates on the manifold , so called body coordinates, as , , and describe the mapping with use of them. Push-forward of the space-time metric then defines components of body metric as
[TABLE]
where the sign is changed in order to obtain positive metric for the signature which we are using.
The body metric completely describes deformation of the solid, so that it is reasonable to consider its energy density, or part of the matter Lagrangian corresponding to it, to be a function of . Furthermore, if we restrict ourselves to the case of homogeneous and isotropic solid, we have to demand invariance of the action with respect to global translations and rotations in the body space,
[TABLE]
In other words, the energy density of the solid depends only on its pure deformations form which global translations and rotations are excluded. This is a key property of solids which is taken into account when Newtonian theory of elastic continuum is built. The solid matter Lagrangian density with this symmetry can be parametrized by invariant quantities defined through the body metric. There are at most three such invariants which are independent on each other, and we are choosing them in the same way as in [15],
[TABLE]
The solid matter Lagrangian density written as is then invariant with respect to transformations (2.3) automatically. Relation between this description of relativistic elasticity and its Newtonian limit described by Lamé parameters can be found in appendix F.
The simplest matter Lagrangian depending on both scalar field and homogeneous and isotropic solid matter then can be written as , where is potential of the scalar field. With this choice any non-trivial coupling between the two matter components is disregarded and coupling arises only as a effect of gravity added to the theory by including the Einstein–Hilbert Lagrangian density into the overall action. However, in order to have a model with non-trivial coupling between scalar field and solid we consider a more general form of the matter Lagrangian density, . The overall action which defines the model is then
[TABLE]
with Ricci scalar denoted by and being the reduced Planck mass. With this choice we avoid non-trivial coupling of gravity to the matter, which was studied by authors of [19] in the context of solid inflation.
Note also that coupling between scalar field and solid matter could be generalized further by including dependence on . To preserve symmetry with respect to internal transformations (2.3) the matter Lagrangian would explicitly depend on invariant quantities constructed from , for example determinant or trace of matrix and its powers. However, with this generalization it is no longer natural to describe the theory by functions and , but rather by a function , where group describes symmetry of the 4-dimensional manifold , so that this manifold is anisotropic. Coordinates are then chosen in such way that coordinates measure positions on isotropic hypersurfaces in and coordinate labels these hypersurfaces. Authors of [18] consider a 4-component field corresponding to function and set its background configuration to coincide with space-time coordinates, cosmic time and comoving spatial coordinates.
2.1 Slow-roll inflation
There is a variety of cosmological solutions associated with action (2.5), depending on function and initial conditions. Of course, majority of them cannot be expected to be applicable to our universe, but some of them can be, for instance solutions corresponding to cosmological inflation.
When studying the inflation within this model we restrict ourselves to case of flat homogeneous and isotropic universe. The space-time metric is then the metric of flat Friedmann–Robertson–Walker–Lemaître (FRWL) universe,
[TABLE]
where is the scale factor, is the cosmic time and denote comoving spatial coordinates. The requirement of homogeneity and isotropy is satisfied when the scalar field does not depend on space coordinates, , and the body coordinates fields coincide with comoving spatial coordinates,
[TABLE]
This configuration breaks rotational and translational symmetry, but it is invariant under combined spatial-internal translations and rotations. Choosing fields to be functions of only the time, similarly as for the scalar field, would preserve homogeneity and isotropy as well, but with this choice the solid matter would define a privileged frame coupled to it which differs from frame coupled to the rest of matter filling the universe. By using (2.2), (2.6) and (2.7) invariants (2.4) in this homogeneous and isotropic case can be expressed as
[TABLE]
Notice that only the first of them explicitly depends on time.
The action (2.5) determines equations for homogeneous and isotropic theory, which is parametrized by two independent functions of time, and . The system of equations is
[TABLE]
with denoting the Hubble parameter and subscripts standing for partial derivatives of the function . The first two equations are Friedmann equations, the third one generalizes Klein–Gordon equation for the scalar field to the case of flat FRWL universe, and due to the Bianchi identity it is not independent from the first two ones. In order to obtain slow-roll inflation as a solution of this system of equations, Hubble flow parameters
[TABLE]
must be small. In such case they are called slow-roll parameters. With the use of equations (2.9) and (2.10) the slow-roll parameter can be expressed as
[TABLE]
where and are of the same form as slow-roll parameters of model in which the inflation is driven only by scalar field and only by solid matter respectively. Of course, in our combined model and , in principle, may be not small, as long as their combination , which measures the Hubble flow, is small. However, stability of scalar perturbations, which will be discussed in what follows, requires smallness of both of these parameters.
As we can see, not every function is compatible with slow-roll restrictions. From (2.13) it is obvious that there are restrictions at least on first partial derivatives of . Actually, this concerns also higher derivatives, and restrictions on them will be specified in the following subsection.
2.2 Cosmological perturbations
We summarize results of the perturbation theory for inflationary model defined above. In order to avoid complication arising from interaction between two matter components, we restrict ourselves to only the leading order of the slow-roll approximation applied to the case with supressed coupling between scalar field and solid matter, see (2.27). In this way, we present size of the scalar and tensor power spectra and tensor-to-scalar ratio, and in subsection 2.4 we consider also the next to leading order of the slow-roll approximation and calculate the scalar spectral tilt. The scalar bispectrum will be included in the next subsection.
Perturbation theory in the model where the role of the background solution is played by the homogeneous and isotropic case discussed above is built by adding perturbations to space-time metric as well as matter components. It is convenient to employ Arnowitt–Deser–Misner (ADM) formalism, with space-time metric parametrised by
[TABLE]
because we can make use of momentum and Hamiltonian constraints. The flat FRWL metric corresponds to , and , and we define its perturbations by quantities , , and as
[TABLE]
where , so that is decomposed into its scalar and vector parts and tensor perturbation is traceless, , and transversal, . With such parametrisation of metric perturbations we have set spatially flat slicing gauge with scalar and vector perturbations of the 3-dimensional metric set to zero. With all the gauge freedom used up for perturbations of the metric, perturbations of all matter fields must be taken into account,
[TABLE]
with bar denoting fields of the unperturbed theory and vector part of the perturbation satisfying the decomposition condition . Vector and tensor perturbations can be further decomposed into independent polarizations,
[TABLE]
where the polarization vectors satisfy the transverse condition, , as well as the polarization tensors, , which satisfy also the traceless condition, . As a normalization conditions for them we use relations and .
Convenience of decomposition of perturbations into scalar, vector and tensor perturbations manifests in decomposability of the quadratic action into three parts, the scalar quadratic action , vector quadratic action , and tensor quadratic action , . In order to obtain these actions, the action (2.5) must be expanded up to the second order. From the first order part of the expansion we obtain momentum and Hamiltonian constraints which must be satisfied. As a result, there remain only four independent perturbations, two scalar perturbations and , vector perturbation and tensor perturbation . Quadratic actions expressed in terms of them are
[TABLE]
where , , and and denote longitudinal and transverse sound speed respectively. Their squares can be expressed in terms of the function and its derivatives as
[TABLE]
with overline denoting quantities evaluated at the backgrond configuration (2.8), and for simplicity, from now on we will omit it. We have not written down most of terms in the scalar quadratic action (2.2) and we focused on kinetic terms and the term with longitudinal sound speed. Importance of kinetic terms lies in the fact that in order to avoid instability of scalar perturbations they must have the proper sign. As a consequence, both and must be positive, and therefore, slow-roll parameters must satisfy , i.e. not only but also both and must be small. Moreover, we will consider smallness of parameters , , … defined by (2.12) with replaced by , , , … defined in the same way by the longitudinal sound speed, , , … by the transverse sound speed and , , … , , … defined by and . This choice is motivated by simplifying the analysis of cosmological perturbations and avoiding too large scalar spectral tilt calculated in subsection 2.4.
As we can see, in order to avoid superluminal propagation of perturbations, derivatives of function appearing in relation (2.21) must be restricted. In addition to this restriction we have to take into account also smallness of all slow-roll parameters defined so far. With the use of their definitions together with equations of motion (2.9)-(2.11) we find that perturbative expansion of function up to the second order can be expressed in terms of sound speeds and slow-roll parameters,
[TABLE]
with denoting any of considered perturbations or linear combinations of them. There are restrictions also on higher order terms, for more details see appendix E. We can see that is the only parameter of the theory which is not restricted by slow-roll approximation, if the perturbation theory is considered only up to the second order. Note that and are of the second order in the perturbation theory, absolute values of parameters and are not larger than one, and the same is true for and for slow-roll parameters set to zero. They can be expressed as
[TABLE]
With both and being small, the scalar quadratic action (2.2) in the leading order of slow-roll approximation reduces to
[TABLE]
The simplest way how to avoid non-flatness of scalar power spectrum is considering the term with as well as the coupling term with to be negligible. They can be at most of the same order as slow-roll parameters and this requirement can be satisfied by two choices. The first one is that is much smaller than other slow-roll parameters and the second choice is that in the leading order of the slow-roll expansion. In what follows we restrict ourselves to the latter choice, because smallness of leads to even larger enhancement of the primordial non-Gaussianity in the limit of small longitudinal sound speed , which is an interesting case from the point of view of clustering fossils studied in section 3. As a consequence of this choice the two sound speeds are not independent, and the constraint
[TABLE]
must be satisfied. The transverse sound speed then must be larger than factor , and the longitudinal sound speed must be smaller than . Relation between the condition and validity of constraint on sound speeds (2.25) can be easily seen when the longitudinal sound speed is rewritten as
[TABLE]
The same constraint on sound speeds as (2.25) appears in model in which inflation is driven only by solid matter, and the alternative way to avoid non-flat spectrum, choosing , means that the Hubble slow-roll parameter approximately equals the scalar field slow-roll parameter , i.e. the dominant contribution to the total energy density dictating the inflationary expansion is given by the scalar field.
Constraint (2.25) is valid also in the case with no non-trivial coupling between solid matter and scalar field when the function reduces to form discussed above, , so that . As we can see from perturbative expansion of the function (2.2), its partial derivatives are not independent, and . With no non-trivial coupling between two matter components the scalar field mass term is then suppressed by the slow-roll parameter which results in mildness of the scalar power spectrum tilt. For the model discussed in this paper it is not necessary to restrict ourselves to this special case with set to zero and it is sufficient to keep it small enough,
[TABLE]
Equations of motion for perturbations can be obtained by varying the quadratic actions. In regime of weak coupling (2.27), which allows for nearly flat scalar power spectrum, equations for all considered perturbations in the leading order of slow-roll approximation can be written in the form
[TABLE]
with prime denoting differentiation with respect to the conformal time defined in the standard way as . For slow-roll parameters set to zero solution of the background equations (2.9)-(2.11) is the de Sitter universe, and for this solution it is conventional to choose integration constant in the definition of the conformal time in such way that . Equation for solid matter scalar perturbation is equation (2.28) with , and , for scalar field perturbation it is with , and , for vector perturbations we have to use substitution , set and , and for tensor perturbations , and . Note that equals defined in (2.15) in the leading order of slow-roll approximation.
Each perturbation with any polarisation, if it is relevant for it, can be quantised by decomposing it with respect to creation and annihilation operators, , obeying standard commutation relations with the only nonzero being , where both operators in the commutator correspond to the same perturbation with the same polarization. Classical modes are solutions of equation (2.28) normalised in such way that equal time commutation relations for perturbations and their conjugate momenta, , with others being zero, are in agreement with canonical commutation relations for creation and annihilation operators. This normalisation can be satisfied by matching the canonically normalised fields, through which the kinetic Lagrangian density can be written as , to free wave function of the Minkowski space with cosmic time replaced by the conformal time in the limit of very early time, , when the modes are deep inside the horizon and space-time curvature does not effect their evolution.
After solving equations for perturbations and employing the normalisation procedure explained above, we find the correctly normalised modes in the leading order of the slow-roll approximation,
[TABLE]
where denote Hankel functions of the first kind. Modes with Hankel function of order are typical for the single-field model, while modes with Hankel function of order are typical for models with broken spatial diffeomorphism symmetry. The perturbation of scalar field added to the solid matter in the model studied in this paper is associated with order of Hankel function , as well as perturbation of field breaking time diffeomorphism symmetry included in inflationary model studied in [18]. Note that the vector-to-scalar ratio for the solid matter perturbations is defined as , and in the long wavelength limit it is
[TABLE]
the same as for the solid inflation model [15]. Because of the constraint on sound speeds (2.25), this quantity is smaller than .
The classical modes are needed for calculating correlation functions for perturbations. It is conventional to calculate the scalar correlation functions for quantity which parametrizes the curvature perturbation and is conserved in the superhorizon limit, so that it preserves the information about primordial perturbations generated during inflation even in the reheating era. However, as pointed out by authors of [15], in solid inflation model, and consequently also in our combined model, there is a mild time-dependence of during inflation. For now, by restricting ourselves to the leading order of slow-roll approximation we disregard this time-dependence, and we will discuss it in subsection 2.4. Following the definition of in [21] we can express it in terms of variables used in this paper as
[TABLE]
where only the leading order terms in slow-roll approximation have been kept.
Two and three-point correlation functions define spectra and bispectra for every perturbation. In this section we need power spectrum for scalar and tensor perturbations and scalar bispectrum, and for them we use definitions
[TABLE]
where , and all perturbations are evaluated in the late time limit when inflation ends, . For scalar and tensor power spectrum we obtain
[TABLE]
with the tensor-to-scalar ratio
[TABLE]
The CMB observations lead to the restriction , [2, 3].
2.3 Primordial non-Gaussianity
Three-point correlation functions measure non-Gaussianity caused by nonlinear effects. They can be calculated with the use of in-in formalism [22] with the dominant contribution to them given by
[TABLE]
with being product of three perturbations for which the three-point correlation function is calculated. The scalar three-point correlation function corresponds to with the interaction Hamiltonian given by the scalar cubic action, which in the leading order of the slow-roll approximation is of the form
[TABLE]
where is defined by
[TABLE]
The last equality is the consequence of the slow-roll approximation and it holds in the leading order of it, see appendix E. Finally, the dominant contribution to the scalar bispectrum is given by
[TABLE]
where
[TABLE]
with denoting the Euler–Mascheroni constant, is the minimal number of -folds, and is the comoving wavenumber corresponding to longest mode observable today. We have evaluated the integral (2.40) with the upper limit corresponding to conformal time of the end of inflation, which can be rewritten as , and with infinitesimally tilted contour, , with , which provides projection onto the right vacuum. Since the sound speed of solid matter scalar perturbation cannot exceed sound speed of scalar field perturbation, which equals the light speed, the horizon crossing is associated with the latter quantity. Therefore, the sound speed is not hidden in and it appears in the argument of logarithm in formula for . For the same reason, also the tensor-scalar-scalar bispectrum calculated in the following section will depend on in such way.
Note that the minimal wavenumber of the longest mode of the observational relevance today is often defined only by its order of magnitude. Consequently instead of equality in expression for the time when inflation ends there is only relation of being of the same order, . In this convention there is no reason to keep terms much smaller that when they are added to or subtracted from it, and reader may disregard them. In this paper we use the mentioned equality as a definition for the exact value of , and therefore, we are keeping all such terms.
Absolute value of the scalar bispectrum is largest in the squeezed limit, , where unlike for standard local shape the bispectrum diverges to plus or minus infinity depending on direction in which the limit is approached. Encode this direction by angle defined as , i.e. the angle between two sides of a triangle with lengths and , where the length of its third side is . Using the standard definition of local nonlinearity parameter [23, 9],
[TABLE]
we find
[TABLE]
where is of the same order as minimal number of -folds, more precisely
[TABLE]
so that differs from at most by factor . A similar dependence of the scalar bispectrum in the squeezed limit on angle appears not only in solid inflation [15], but also in inflationary model studied by authors of [18]. Observations of the CMB anisotropies are consistent with the theory if [24], so that and must be suppressed by slow-roll parameters.
2.4 Scalar spectral tilt
So far we have restricted ourselves to only the leading order of the slow-roll approximation. However, to calculate the scalar spectral tilt, the next to leading order must be considered. This include time-dependence of the Hubble parameter and slow-roll parameters, , , , , , and slow-roll correction to time-dependence of the scale factor , with subscript c indicating the time when the longest mode observable today exists the horizon, .
First we consider the quadratic action (2.2) without terms with and , and derive equations for scalar perturbations from it keeping terms up to the first order in the slow-roll parameters,
[TABLE]
By solving these equations and matching canonically normalized perturbations to the free wave function of the Minkowski space with cosmic time replaced by the conformal time in the limit of very early time, we find the classical modes
[TABLE]
where . Inserting these modes into (2.34) we can calculate the power spectrum of perturbation evaluated at the time when inflation ends,
[TABLE]
Of course, because of considering only the part of the quadratic action (2.2) the scalar power spectrum calculated in this way is not correct.
In order to calculate the scalar spectral tilt correctly, the omitted terms with and in the quadratic action (2.2) must be taken into account. Assuming their smallness, we can handle them as interaction terms,
[TABLE]
and employ in-in formalism to calculate correction to the two-point correlation function associated with the interaction Hamiltonian ,
[TABLE]
Inserting classical modes (2.29) and (2.30) into these formulas, using expression for perturbation (2.34), taking into account the time-dependence of slow-roll parameters, evaluating the integral with -tilted contour, taking the superhorizon limit, , and adding the result to the scalar power spectrum (2.4) we obtain
[TABLE]
where
[TABLE]
with , , , and in addition to slow-roll parameters defined so far and .
There are two kinds of time-dependence of the scalar power spectrum in the superhorizon limit (2.58). One of them arises from mild time-dependence of slow-roll parameters and the second type is due to logarithm in formula (2.58). Since , the second kind of time-dependence of the power spectrum is a consequence of the fact that the curvature perturbation is not conserved after its exits the horizon, unlike in standard inflationary models. This is a feature of also the solid inflation model as well as other models with broken diffeomorphism symmetry. Due to this time-dependence, the primordial power spectrum of perturbations after the end of inflation cannot be obtained by evaluating the power spectrum (2.58) at the time of horizon crossing, as it can be often done with other inflationary models, but by evaluating it at the end if inflation, as we have already done with (2.4). The scalar spectral tilt is then
[TABLE]
where the approximative equality corresponds to keeping only terms contributing up to the first order of the slow-roll approximation. This is also consistent with form of the scalar quadratic action (2.2). We can also see that coefficient of the late time-dependence of in the superhorizon limit is related to the scalar power spectrum in the long wavelength limit,
[TABLE]
Therefore, in order to satisfy observatory restriction on scalar spectral index the time-dependence of perturbation after exiting the horizon cannot be set to be negligible by an appropriate choice of parameters of the theory. Our combined model shares this feature with the solid inflation model, see equation (6.30) in [15].
The value of scalar spectral tilt given by CMB observations is [2]. As shown in Fig. 1 the parameter space of the model predicting the spectral tilt (2.4) accommodates regions consistent with this restriction. These regions are depicted with the use of (2.4) for both and set to the value and with other slow-roll parameters set to zero except for and defined based on relation between two sound speeds (2.25) as .
Integral (2.40) as well as its special form (2.57) represent only the leading contribution to correlation functions. The simplest next to leading contribution to the scalar two-point correlation function is given by
[TABLE]
Replacing lower limits of integrals in this formula by the time when the scalar field perturbation with wavenumber exits the horizon, , i.e. disregarding phase when both scalar perturbations oscillate, we can evaluate this contribution to the late time two-point correlation function,
[TABLE]
This correction to the scalar two-point function quadratic in parameters and is not the only one correction of the form (2.4). Actually, there is contribution not only from the interaction Hamiltonian (2.56) but also contributions from cubic and higher order interactions corresponding to loop corrections.
3 Clustering fossils
Superhorizon tensor perturbation mode with polarization and comoving wavevector affects scalar perturbations causing quadrupole anisotropy in their power spectrum. Since in linear order of the perturbation theory tensor perturbations are decoupled from scalar perturbations, this anisotropy is a result of nonlinear effects measured by tensor-scalar-scalar three-point correlation function. The effect on the scalar power spectrum is of the form
[TABLE]
Note that such change in scalar power spectrum does not affect the angular power spectrum coefficients , which are usually used for describing statistical features of the CMB anisotropies, because they are defined as averaging which preserves only the trace of , see appendix G, and in this particular case its trace is zero due to its proportionality to the tensor perturbation mode. The quadrupole can be expressed through tensor-scalar-scalar bispectrum in the squeezed limit with long-wavelength tensor mode defined as
[TABLE]
where . Specifically, the quadrupole can be written as
[TABLE]
This effect is called clustering fossils and represents an alternative way of detecting primordial tensor perturbations in addition to attempts to measure them directly [25].
3.1 Bispectrum with long-wavelength tensor mode
Our goal is to calculate the tensor-scalar-scalar bispectrum in the squeezed limit with superhorizon tensor perturbation. We employ in-in formalism by inserting into the integral (2.40), and evaluate it with time when the inflation ends as its upper limit. Part of the interaction Hamiltonian which contributes to this integral is given by the tensor-scalar-scalar cubic action. Omitting terms with negligible contribution to the squeezed bispectrum, it can be written as
[TABLE]
where
[TABLE]
Terms with , and follow from direct expansion of function in terms of solid matter perturbations, term with arises from interaction of solid matter with gravity through expansion of , and term with is included because of direct interaction between scalar field and solid matter. Contributions from the Einstein–Hilbert part of the action are suppressed by slow-roll parameters, and therefore they are not included in (3.4). Comparing partial derivatives of the function with its perturbative expansion (2.2), which follows from the slow-roll restriction, we can rewrite these parameters as
[TABLE]
where and according to (2.42) it can be replaced by in the leading order of the slow-roll approximation.
Using modes (2.29), (2.30) and (2.32) within the in-in formalism for calculation of the tensor-scalar-scalar three-point function evaluated at the end of inflation, , and keeping only terms which will dominate after taking the squeezed limit with long-wavelength tensor mode , we find
[TABLE]
where integrals
[TABLE]
are defined by polynomials and , which appear in expressions for Hankel functions of the first kind of the order and , respectively. Integrals and diverge logarithmically in the limit , however, in the squeezed limit the logarithmic divergence of integral is suppressed. By calculating these integrals in the considered limits we obtain
[TABLE]
After inserting these results into (3.7), using the definition (3.2) and the same conventions as we have used in the previous section for calculation of the scalar bispectrum, we can express the dominant contribution to the tensor-scalar-scalar bispectrum in the squeezed limit as
[TABLE]
with and denoting
[TABLE]
where the underbraces highlight which terms come from cubic interaction of tensor perturbations with scalar field perturbations ’(1)’, solid matter perturbations ’(2)’ and with both of them ’(3)’, and
[TABLE]
As we can see, both and may significantly differ from the minimal number of -folds, but not both of them at the same time. For very small longitudinal sound speed this happens with , and for close to one no longer approximately equals .
By analysing orders of magnitude of terms in the tensor-scalar-scalar three-point function (3.7) and the corresponding bispectrum (3.14) we can notice differences between three inflationary models in consideration, single-field model, solid inflation, and the combined model. First of all, by reducing the function to we obtain and our results reduce to results of the single-field inflation. In this case and , and we find that the tensor-scalar-scalar bispectrum in the squeezed limit and tensor and scalar power spectra satify the consistency relation [9, 26]
[TABLE]
In contrast to this case the solid inflation model, in which reduces to and , breaks the consistency relation [27]. The logarithmic dependence of the bispectrum in solid inflation originates in term with and integral in (3.7) with contribution to parameter of the order . This is negligible in comparison to terms in which are of orders , , , , and . In the combined model a new term with and appears in (3.7). Its contribution to is of the order and for it is . Hence due to interaction between solid matter and scalar field the logarithmic divergence of the tensor-scalar-scalar bispectrum in the limit is considerably enhanced. This means that gravity - solid matter - scalar field interaction is in the squeezed limit much stronger than gravity - solid matter interaction, and the gravity - scalar field interaction is much weaker than both of them.
3.2 Averaged quadrupole
We may insert the bispectrum (3.14) and power spectra (2.38) into the formula for the quadrupole (3.3), but in order to specify it completely we need also the superhorizon tensor perturbation with polarization and wavevector , which in principle may be of arbitrary size as long as the perturbation theory is not broken. Of course, the superhorizon tensor perturbation causing the quadrupole asymmetry in the scalar power spectrum is not limited to one specific wavevector and polarization, and the effect must be calculated by summing over them. Moreover, a random character of superhorizon tensor perturbations manifests in randomness of the quadrupole. Physically relevant quantity then can be obtained by averaging over all possible random configurations of tensor perturbations.
Since the inflationary model discussed in this paper predicts nearly Gaussian tensor perturbations, so that , a simple averaging of the quadrupole leads to a negligible quantity which does not contain the most important information about the quadrupole. Therefore, it is conventional to expand the quadrupole part of the scalar bispectrum into the spherical harmonics, , and calculate the averaged sum of coefficients of the harmonic expansion squared over coefficients , , and then sum it over all polarizations and wavevectors of the superhorizon tensor perturbations. In this way we obtain
[TABLE]
with integration over superhorizon wavenumbers ranging from wavenumber of the longest mode generated by inflation to wavenumber of the longest mode of observational relevance today , see [7]. Note that ratio of two limit wavenumbers is related to the number of -folds during inflation as .
Finally, using the bispectrum (3.14) and power spectra (2.38) we can evaluate the integral (3.20) with the result
[TABLE]
where
[TABLE]
We also have to keep in mind that consistency of the perturbation theory requires smallness of the size of quadrupole. Fortunately, as we can see, it is suppressed by . For instance, if the inflation occurs at the scale of grand unified theory, is of the order .
As we can see from definitions (3.17) and (3.18) for generic choice of parameters of the theory both and approximately equal . By inserting them into (3.15) and (3.16) we find that , and to ratio is approximately , which is of the same order as slow-roll parameters. Consequently the averaged quadrupole (3.21) depends on the wavenumber only mildly, , and a similar dependence arises also from next to leading order of slow-roll approximation, which we have omitted. Therefore, for generic choice of parameters of the theory the result (3.21) is correct within the considered approximation only if we set to zero.
A more detailed analysis of results reveals that the value of may be arbitrary. In Fig. 2 we depict its dependence on the longitudinal sound speed with some specific choice of other parameters of the theory. We have set all slow-roll parameters to zero except for and set to , the transverse sound speed was expressed through (2.25) as with exact equality, was replaced by , and for the minimal number of -folds during inflation we have chosen . We can see that for some choices of and the to ratio is negative and close to zero while for another choices its absolute value peaks, typically for small values of the sound speed. From definitions of parameters and (3.15) and (3.16) we can also see that in the leading order of slow-roll approximation is a small constant. Enhancement of parameter then occurs when approaches zero. This means that enhancement of the averaged quadrupole scale dependence is associated with suppression of its size.
3.3 Observational consequences
What qualitatively differentiates our result from results in more standard inflationary models is the logarithmic dependence of the averaged quadrupole on the wavenumber. Another example of an inflationary model with such feature is already mentioned model studied in [18]. This dependence can be described by relative averaged quadrupole defined by the ratio
[TABLE]
where ranges from corresponding to to its maximal value corresponding to wavenumber of the shortest observable perturbations . For and smaller the CMB observations are strongly affected by the cosmic variance and dust in our Galaxy and the upper limit on given by resolution of the Planck satellite is .
Concerning the future observations of CMB anisotropies or galaxy surveys with higher resolution, an interesting possibility could be enhancement of the quadrupole asymmetry for very small scale perturbations. This requires to be of order or larger. The dependence of quadrupole on the wavenumber is then in principle detectable by present observations for . However, currently available analysis of observational data indicate no significant quadrupole asymmetry in scalar power spectrum , and value of the quadrupole \big{(}\overline{Q^{2}}\big{)}^{1/2} for the best fit of Planck data with high -value is of the order [2]. So far, any value of parameter does not contradict the CMB observations.
A more thorough approach to detectability of tensor perturbations with the use of clustering fossils is based on constructing the optimal variance estimator for tensor perturbation amplitude. In [4] the variance corresponding to such estimator is defined by sum over wavenumbers and polarizations of tensor perturbations,
[TABLE]
where is the fiducial tensor power spectrum which defines the tensor perturbation amplitude through the tensor power spectrum by relation . It can be chosen as , with tensor spectral index close to one for nearly flat spectrum. The noise power spectrum is variance with which a tensor perturbation with wavenumber and polarization is measured. For our notations and conventions it can be written as
[TABLE]
with denoting the volume of the survey, , and the total power spectrum containing both signal and noise. Note that these sums can be calculated as integrals, . Authors of [4] applied the variance (3.24) to the case of single-field model [9]. Under the assumption that the signal-to-noise ratio is for wavenumbers smaller than the maximal wavenumber of the survey , and for , they obtained , which for the variance of tensor perturbation aplitude gives . Authors studying clustering fossils within solid inflation [7, 16] obtained possible suppression or enhancement of the right-hand side of this formula depending on choice of parameters of the theory.
For model combining both single-field inflation and solid inflation studied in this paper the generalization of relation for tensor perturbation amplitude variance contains more complicated scale dependence. By inserting power spectra (2.38) and bispectrum (3.14) into (3.25) and (3.24) we find , where
[TABLE]
and the variance of the tensor perturbation amplitude is
[TABLE]
These equations were derived using the same approximation for signal-to-noise ratio as in [4] and in the limit .
Concerning observations of CMB anisotropies and galaxy surveys other effects must be considered as well. Tensor perturbations affect light propagating from the surface of last scattering or galaxies to the observer, so that their observed positions differs from their real positions [12]. If the tensor-scalar-scalar three-point correlation function obeys consistency relation, this effect cancels the effect of clustering fossils. Therefore, in order to reconcile the theory with observations, parameter defined in (3.15) must be replaced by in such way that part of the tensor-scalar-scalar bispectrum obeying the consistency relation (3.19) is not taken into account,
[TABLE]
and correspondingly parameters and describing the averaged quadrupole (3.21) must be replaced by and . This leads to modification of all results, including the function appearing in relation for the variance of the tensor perturbation amplitude (3.27), , so that must be replaced by as well. Galaxy surveys are affected also by growth of structure in later stages of evolution of the universe. This affects both formation of galaxies and propagation of light from them to the observer.
Results of currently available observations must be taken into account as well. In particular, the upper limit on tensor-to-scalar ratio (2.39) is , and for the absolute value of local nonlinearity parameter it is . Since the numerical value of the latter experimental restriction was obtained by fitting the Planck data with the use of ordinary local shape of primordial scalar bispectrum, while the scalar bispectrum predicted by both solid inflation and our combined model is more peculiar, the comparison of the nonlinearity parameter (2.49) and the considered observational restriction is only qualitative. Due to the peculiar shape of the bispectrum (2.43) the parameter depends on angle of direction in which the squeezed limit is approached . In the context of our work, it is then most reasonable to formulate the observational restriction on the primordial non-Gaussianity in such way, that inequality is satisfied for every in the interval .
With Fig. 2 we have showed that parameter space of the model allows parameter to be arbitrary. When its enhancement typically occurs for small longitudinal sound speed, . Unfortunately, parts of the local nonlinearity parameter (2.49) is proportional to , and in such case it is enhanced beyond compatibility with observations. In order to large values of to ratio to be allowed by observational restrictions, values of parameters and must be chosen to be much smaller than slow-roll parameters. In Fig. 3 we plot parameters describing the averaged quadrupole (3.21) predicted by the model under consideration as well as parameters on which observational restrictions are imposed as functions of the longitudinal sound speed, for some specific choices of parameters of the theory, in particular, for parameters and we have set and and . The figure includes also the case when projection effect on light propagating to the observer is taken into account and quantities predicted by the theory must be replaced according to relation (3.28).
An important observational restriction which we have not considered in this part of the paper is associated with spectral tilt for scalar perturbations. The scalar spectral tilt predicted by the single-field model is , so that due to the experimental restriction on it two slow-roll parameters and are no longer independent. In contrast, the model studied in this paper predicts more complicated scalar spectral tilt (2.4), and even with both slow-roll parameters and fixed it can be set to its observed value, as shown in Fig. 1. The observational restriction on the scalar spectral tilt then does not lead to coupling between slow-roll parameters which we have considered in this section, and for the purpose of interpretation of the obtained results we have been able to choose all parameters appearing in our formulas freely.
4 Summary
We have calculated quadrupole asymmetry of primordial scalar power spectrum caused by superhorizon tensor perturbations, so called clustering fossils, in model combining both solid inflation and single-field inflation. Object which defines this model is a function of four variables , but freedom in choice of this function is considerably reduced by slow-roll approximation (2.2), (2.42). Additional restrictions on parameters of the theory are given by observations. In particular, values of tensor-to-scalar ratio (2.39) and nonlinearity parameter (2.49) cannot be too large [2, 3, 24]. The scalar spectral tilt imposes another observational restriction, and we have shown that parameter space of the model accommodates regions consistent with it.
In the single-field model consistency relations for correlation functions are satisfied, and quadrupole asymmetry is cancelled out with projection effect of tensor perturbations on light during its propagation to the observer. On the other hand, in the solid inflation model the consistency relations are broken and tensor perturbations leave observable imprint on scalar perturbations. By calculating the tensor-scalar-scalar bispectrum in the squeezed limit within the combined model we revealed that due to interaction between two matter components a logarithmic scale dependence of this bispectrum is not necessarily suppressed by slow-roll parameters. This means that for some choices of parameters of the theory the quadrupole in scalar power spectrum with const. predicted by simpler inflationary models is deformed to . Therefore, imprint of tensor perturbations on scalar perturbations is scale dependent. More precisely, the scale dependent part of the quadrupole dominates when its scale independent part approaches zero for some choices of free parameters of the model.
In the solid inflation model the logarithmic scale dependence of the quadrupole asymmetry is weak, because it arises only from interaction of the solid with gravity due to nonlinearity of the theory. This weak scale dependence is contaminated by next to leading order of slow-roll approximation, so that it is usually omitted. In the combined model an additional term arises from interaction between scalar field and solid matter with much stronger effect on the asymmetry than solid-gravity interaction. Another inflationary model defined in similar way as the model studied in this paper with non-negligible logarithmic scale dependence of the quadrupole asymmetry is studied by authors of [18].
With logarithmically scale dependent quadrupole (3.21) the detectability of primordial tensor perturbations with the use of effect of clustering fossils can be easier with higher angular resolution. This may concern future observations of CMB anisotropies or galaxy surveys. In order to avoid relevance of this effect for angular scales available by current observations the (3.16) to (3.15) ratio must be smaller than . Of course, the larger its value is the easier the detection of effect of clustering fossils by future observations will be, and since currently available observations do not indicate any significant quadrupole deformation of the primordial scalar power spectrum [2], parameter is still not restricted from below.
Using the theory from [4] we have also calculated the relation between the limit on angular scales available by observations and the variance for detection of tensor perturbations with the use of the effect of clustering fossils (3.27). This relation is in the combined model more complicated than in both single-field model and solid inflation.
Acknowledgement
The work was supported by the grant VEGA 1/0985/16.
E Slow-roll restrictions on matter Lagrangian
Restrictions on the function determining the matter Lagrangian of our model given by relations (2.2) and (2.42), which we have used throughout the text, follow from slow-roll approximation. Relation (2.2) is valid also in the case with arbitrary size of slow-roll parameters appearing in it, so that its applicability is not reduced to nearly de Sitter universe. This is true also for all relations appearing in this appendix where we derive coefficients of perturbative expansion of the function .
(Zeroth order)
Starting expansion of the function with the unperturbed case, we simply rewrite the Friedmann equation (2.9) with the use of definition of parameter (2.13) as
[TABLE]
(First order)
First partial derivatives of the function explicitly appear in equations (2.10) and (2.11). The latter one contains second time derivative of the scalar field, which can be rewritten with the use of definitions (2.12) and (2.13) as
[TABLE]
By inserting this expression into (2.11) we find
[TABLE]
Finally, using (2.12) and (2.13) we can simply rewrite (2.10) as
[TABLE]
where on the left-hand side corresponds to the unperturbed case. So far there are no restrictions on and , because and are of the second order
(Second order)
By differentiating first partial derivatives of the function we obtain
[TABLE]
The left-hand sides of these equations can be calculated by differentiating (E.3) and (E.4) and using definitions of slow-roll parameters. On the right-hand sides, can be rewritten in terms of as in (E.2), and . In this way we obtain
[TABLE]
Unfortunately, here we have only two equations for three variables, , and . Therefore, we have to use also expressions for sound speeds (2.21), so that we increase number of equations by two with only one additional variable . In order to avoid superluminal or imaginary sound speeds, partial derivatives of the function must be restricted,
[TABLE]
Specifically, parameters and can be expressed in terms of sound speeds as
[TABLE]
where and are defined in (2.23). Finally, by inserting into (E.6) and (E.7) we find
[TABLE]
with and defined in (2.23) as well. Of course, one of parameters and may be arbitrary, as long as their sum is given by the second relation in (E.9).
(Third order)
Coefficients of perturbative expansion of function beyond second order cannot be fully specified in terms of slow-roll parameters and sound speeds. However, by differentiating (E.9) and (E.10) and using the same procedure as above we find that these coefficients are restricted by conditions
[TABLE]
where , , , , and , … can be expressed in terms of other slow-roll parameters including and measuring rate of change of the sound speeds. Equation (E.12) was considered when the parameter and its relation with was defined by (2.42).
F Lamé parameters
In Newtonian mechanics of continuum the equation of state determining dependence of energy density of a homogeneous and isotropic solid on its deformations is parametrised by two Lamé parameters and as [28]
[TABLE]
where a small deformation of solid is encoded by the strain tensor , with denoting components of the displacement vector defined in the same way as a sum appearing in (2.16).
For deformations of arbitrary size the strain tensor is replaced by the body metric defined as push-forward of the Euclidean metric with respect to mapping between space coordinates and body coordinates multiplied by factor ,
[TABLE]
and a relativistic generalization of elasticity is built by defining the body metric as a push-forward of the space-time metric (2.2). The relativistic equation of state leading to (F.1) in the Newtonian limit can be chosen as
[TABLE]
where is energy density associated with concentration of solid matter elements , the pressure is defined by relative change in volume , and square brackets denote traces of the body metric perturbation defined by raising and lowering the indices with respect to the background body metric, , . The pressure and Lamé parameters can be considered as coefficients of expansion of the equation of state up to the second order in body metric perturbation, and some of works with this approach to relativistic elasticity, see [29, 30], use different definitions for them. Here we follow conventions used in [31]. By expanding the relative concentration and volume up to the second order,
[TABLE]
we can rewrite the equation of state (F.3) as
[TABLE]
where is the pressure to energy density ratio, and and are dimensionless Lamé parameters.
In this paper we worked with a more general equation of state,
[TABLE]
with quantities defined by traces of the body metric (2.4). Their perturbations can be expanded in terms of the body metric perturbation up to the second order as
[TABLE]
and the perturbative expansion of the general equation of state is
[TABLE]
By comparing this relation with (F.5) we find the dimensionless Lamé parameters of the solid as well as its pressure to energy ratio,
[TABLE]
The sound speeds (2.21) with function replaced by function can be rewritten as
[TABLE]
so that they depend on Lamé parameters in the same way as sound speeds in Newtonian elasticity. Note also that the dimensionless compressional modulus,
[TABLE]
depends only on and derivatives of function with respect to it.
G Quadrupole invariance of angular power spectrum
The observed anisotropies in CMB temperature are given by evolution of primordial perturbations generated during inflation and line-of-sight integral describing effects influencing photons during their propagation to the observer. The line-of-sight integral is considerably simplified if we take into account only the linearised perturbation theory and only scalar perturbations within it, assume that photons were in local equilibrium during recombination, and that they scattered for the last time at any moment with probability distribution given by their mean free time [21]. Perturbation in the CMB temperature as a function of direction from which the photons are arriving to the observer at time then can be estimated as
[TABLE]
where is Fourier mode of the primordial Newtonian potential, and
[TABLE]
with denoting part of the transfer-function describing Sachs–Wolfe effect, is for Doppler effect, describes integrated Sachs–Wolfe effect, and is visibility function [32]. Note that the transfer-function depends only on size of the wavenumber , because equations governing evolution of perturbations within the standard CDM model are isotropic.
The CMB temperature fluctuations (G.1) can be expanded into spherical harmonics with coefficients of the expansion
[TABLE]
where , , and is a shorthand for . We have expanded plane waves into spherical harmonics with the use of spherical Bessel functions of the first kind , and then we have made use of the fact that spherical harmonics are orthonormal. The angular power spectrum coefficients predicted by the theory are defined by averaging of absolute values of coefficients (G.3) squared, , and the direct calculation leads to
[TABLE]
Now we assume the two-point correlation function of the primordial Newtonian potential to be of the same form as (3.1),
[TABLE]
By inserting it into (G), integrating over -space, and using the Unsöld’s theorem, , we find
[TABLE]
The integral in brackets is
[TABLE]
so that the angular power spectrum coefficients do not depend on the quadrupole.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1]
- 2[2] Planck Collaboration, Planck 2018 results. X. Constraints on inflation , (2018), [ ar Xiv:1807.06211 [astro-ph.CO] ].
- 3[3] BICEP 2/Keck, Planck Collaboration, A Joint Analysis of BICEP 2/Keck Array and Planck Data , Phys. Rev. Lett. 114 , 101301 (2015), [ ar Xiv:1502.00612 [astro-ph.CO] ].
- 4[4] D. Jeong, M. Kamionkowski, Clustering Fossils from the Early Universe , Phys. Rev. Lett. 108 , 251301 (2012), [ ar Xiv:1203.0302 [astro-ph.CO] ].
- 5[5] L. Dai, D. Jeong, M. Kamionkowski, Seeking Inflation Fossils in the Cosmic Microwave Background , Phys. Rev. D 87 , 103006 (2013), [ ar Xiv:1302.1868 [astro-ph.CO] ].
- 6[6] S. Brahma, E. Nelson, S. Shandera, Fossilized Gravitational Wave Relic and Primordial Clocks , Phys. Rev. D 89 , 023507 (2014), [ ar Xiv:1310.0471 [astro-ph.CO] ].
- 7[7] E. Dimastrogiovanni, M. Fasiello, D. Jeong, M. Kamionkowski, Inflationary tensor fossils in large-scale structure , JCAP 1412 (2014) 12, 050, [ ar Xiv:1407.8204 [astro-ph.CO] ].
- 8[8] R. Emami, H. Firouzjahi, Clustering Fossil from Primordial Gravitational Waves in Anisotropic Inflation , JCAP 1510 (2015) 10, 043, [ ar Xiv:1506.00958 [astro-ph.CO] ].
