2. Propagators and temperature
Consider a
dimensional FRW spacetime with metric
with
the conformal time and
the scale factor. de Sitter space corresponds to
. The expanding Poincare patch of dS space is parametrized by
. The scalar field mode in d-dimensional momentum space
in this background yields the classical Klein-Gordon equation of motion (
is the four-momentum and the dot is derivative with respect to
)
with
and a time-dependent mass given by
. The dS mass parameter is
with
and
H the inverse curvature parameter of dS space, satisfying
. The solutions to Eq. (2.2) are linear combinations of the Hankel function
and its complex conjugate, of weight
, with
Quantization of this system results in the notion of a time-dependent vacuum state and a doubled Hilbert space. Regarding the vacua, we will be concerned with the so called “in" vacuum defined at
and the “out" vacuum defined at the boundary (i.e. the horizon) of the expanding patch, at
. These are empty vacua from the perspective of corresponding local (in conformal time) observers. The
will be chosen to be the maximally symmetric Bunch-Davies vacuum [
5,
6]. The two vacua are related via the Bogolyubov Transformation (BT)
where
is a label of the vacuum and
is the field operator with mode function
. Note that the field is the same in both vacua, with the mode functions and the creation and annihilation operators inside it being the vacuum dependent quantities. Common notation is
and
.
The doubled Hilbert space can be understood in the context of the Schwinger-Keldysh (SK) path integral as being related to a + (or forward) branch and a − (or backward) branch in conformal time evolution. The field propagator
in such a basis has a
matrix structure and is (
(
) denoting time (anti-time) ordering and
is a generic vacuum):
and
where
,
and
,
. The above matrix elements satisfy the relation
Hidden in these expressions is the
shift, implementing the projection on the vacuum at
. It can be chosen so that in the flat limit the propagator becomes diagonal with
. The above construction of the propagator at zero temperature in dS spacetime has been recently studied in [
7].
The thermal generalization of the propagator components in Eq. (2.4) and Eq. (2.5) is our next goal. If the Hamiltonian of the system was time-independent, one could just follow the process described in
Appendix A and show that the propagator satisfies the KMS condition [
8], which ensures that it is a good thermal propagator. Here however we are dealing with a time-dependent Hamiltonian and this is not straightforward. Instead, we will use the method introduced in [
9] that takes advantage of the SK contour, by adding an extra,“thermal" leg to it. In particular, if
is the forward branch where time evolution follows the path
,
is the backward branch where
, we attach an extra part to the contour
, where
and
is the inverse temperature parameter:
Furthermore, we introduce the propagators
where
and we demand that the junction conditions for
:
are satisfied at the time instance
where the
and
contours meet, while the conditions
need to be satisfied at
where
and
meet. Finally for the SK analogue of the KMS condition to hold, we need to sew together
and
which results in the conditions
that ensure the consistency of the deformed contour and yield a good thermal propagator.
The above conditions will introduce corrections of thermal nature into the propagators Eq. (2.4) and (2.5), which we compute by making two assumptions. Since the chosen contour allows for an imaginary time flow, we assume that there is no inflation in that direction. This means that the mode functions living on the
leg of the contour can be taken to have a plane wave form. In addition, at
we assume the BD vacuum so that the mode functions are expressed in terms of the Hankel functions of
order. According to these assumptions, the solution to the conditions results in the in-in thermal propagator components [
9]:
with
the Bose-Einstein distribution parameter
We can express conveniently this propagator collectively in a matrix notation as:
with
and the parametrization
and
.
1 It is easy to see that this thermal propagator satisfies a condition like Eq. (2.6).
Here we are actually interested in the out-out thermal propagator. We will first derive the result using a novel shortcut and then we will show that it indeed yields the correct result. The shortcut uses the Thermofield Dynamics (TFD) formalism, where the doubled Hilbert space is seen as the tensor product of the Hilbert spaces of positive and negative momenta
and
. The fields living in these Hilbert spaces are
and
correspondingly. The validity of this strategy is based on the fact that the SK structure can be read also as a TFD structure, in which case the passage to finite temperature is via the transformation
and [
10]
That this is an allowed operation on dS propagators is supported by the fact that a transformation by the matrix
is a BT with coefficients
and
. Hence, we essentially calculate the thermal corrections that the BT has on the propagator via the TFD formalism. The result of the rotation gives the out-out thermal propagator
One immediately notices that the two expressions in Eq. (2.13) and Eq. (2.15) disagree in the thermal correction, as the latter has an extra term along
. This might seem troublesome at first, however they both contain the same physical information. Taking advantage of the trivial identity
the propagators in Eq. (2.13) and Eq. (2.15) are seen to be equal for
. Note that the above identity does hold in the
and
parametrization, where it reads
. We have therefore proved that the known form of the dS thermal propagator of [
9] can be equivalently obtained via a TFD rotation of the zero temperature SK propagator of the half thermal parameter. The equivalence of the two expressions reflects of course the universal nature of the dS temperature as measured at an arbitrary time instance by the in and out observers. The advantage of the TFD rotation operation is that it is very simple and can be easily generalized to any background. Thus, we will use this point of view in the following.
The result of all allowed thermal transformations of
are correlators of the form
The doublet field, now in the language of TFD, is
and
is a thermal index, associated with any combination of thermal transformations of the form Eq. (2.14). The label (not index)
I on the field is a reminder of the vacuum state to which the mode functions belong. The two types of thermal transformations that are relevant to us are the insertion of an explicit density matrix, resulting in a transformation by a unitary operator
U, as
, where the eigenvalue of
U is
and the Gibbons-Hawking (GH) effect [
11] (for which we will momentarily use the parameter
to distinguish it from
) that is expressed as
with
. But the only temperature that dS space can sustain is the GH temperature which means that
. It is then sufficient to know the form of the thermal dS-scalar propagator for some generic temperature and then set
.
3. The spectral index with thermal effects
The propagators in Eq. (2.13) and Eq. (2.15) determine several important observables. At equal space-time points and at the time of horizon exit, defined as
and concentrating on horizon exiting modes specified by
, they determine various cosmological indices derived from the scalar power spectrum (here
is the
matrix with unit elements)
in terms of a single parameter (when the temperature takes its natural value
):
This parameter can be traded for the weight of the Hankel function, as determined by the Klein-Gordon equation, in Eq. (2.3). Of special importance in is the choice , or , which is known to generate a scale invariant CMB spectrum. This corresponds to and decaying modes at the time of exit.
A particularly useful point of view [
12] is to recognize the system at
as related to a UV Conformal Field Theory (CFT) labeled by the weight
and associated with the Gaussian fixed point of the
real scalar theory, that flows towards an interacting IR fixed point and the corresponding
at
. It is clear that in the present context, exact scale invariance is realized in the
vacuum, with the deviations generated by a spontaneous shift in
M that, according to Eq. (2.15), should have a finite temperature origin. Deviations can be encoded in general in a shift of the weight
that can be interpreted as a shift in the scaling dimension of a dS scalar field
There is a corresponding shadow partner solution to this with . In this letter, we will be concerned with .
In order to understand
(which will turn out to be a non-trivial zero) we first point out that the
(
) state is a BT of the Bunch-Davies vacuum. The mode functions before and after the transformation solve the same Bessel equation with frequency
. Upon a time-dependent BT however, the frequency that an observer sees for a time other than his own, is [
13]:
As a result, the horizon exit parameter is transformed as
where we have defined the dimensionless temperature parameter
, that takes values in
. The transformed state in general has a reduced isometry with respect to the Bunch-Davies state. This can be seen by the fact that the BT introduces a non-zero mass term
in the Lagrangian with exit parameter
and that the late time equations of motion
have no non-trivial solution with
and a non-zero, finite mass term.
The two limiting values of
x are interesting. Its natural value
where
gives
for
. This is a special case where we recover a dS solution of maximal isometry that corresponds to
. As in the BD vacuum, no modes are seen to exit the horizon, this time due to their ultra-short wavelength. In the limit
on the other hand, the out observer sees modes of any wavelength as exiting modes, since in this limit the time of exit approaches the horizon. This means that if he calls his frequencies
, then his horizon exit parameter will be forced to
.
2 This suggests to construct a trajectory from
to
along which the value of some yet to be defined thermal effect is kept non-zero and constant, starting from a position a bit shifted away from the scale invariant limit
. Deviations from exact dS isometry due to finite temperature effects can be encoded in the shift of the spectral index of scalar curvature fluctuations
In the previous section, we showed that the SK and TFD formalisms result to equivalent propagators. Consequently, from Eq. (3.1) they both determine the same thermal deviation
of
away from unity. Observe that in
where
and
,
vanishes and we see a scale invariant spectrum. Moving a bit away from it,
,
3 the state is
and
becomes a one-parameter expression of
. We can fix this freedom by determining the value
by interpreting its deviation from unity as an anomalous dimension in the dual field theory in the spirit of the dS/CFT correspondence. Then we can reach
along a trajectory which keeps this value constant for all temperatures.
In [
14] it is proposed that within the dual field theory that lives on the horizon, the anomalous dimension that shifts the spectral index is the critical exponent
, whose non-perturbative value is around
. Thus, near the horizon
This is a constraining statement that leaves no free parameters. In [
14] it is also shown that the quantity by which
shifts is the operator anomalous dimension of the trace of the Ising stress energy tensor
, which is an exact zero. This is however realized on the fixed point as the cancellation
and it is the term
that ends up shifting the spectral index. We therefore see that it is in this sense that
is a non-trivial zero. Outside the fixed point, when for example the Ising field is massive,
M deviates from zero in the bulk, the solution to Eq. (3.6) is not dS and
becomes non-zero. It is important to understand that the main effect comes from the critical value
and the breaking effects that a non-zero
represents are small as long as the system sits near the fixed point. For this reason the leading order results are independent of the source of the breaking. In a sense the only assumption here is that there is a mechanism of spontaneous breaking of scale invariance. From the point of view of the boundary this could be for example justified as some sort of a Coleman-Weinberg mechanism.
4. Line of constant physics and other observables
What we will demonstrate now is that in the bulk, there is a line of constant physics (LCP), labelled by the value
, along which the system is heated up from zero temperature where
and
, up to the dS temperature. A few points on this line and a picture of the LCP can be found in
Figure 1.
We stress that for a given x the corresponding value of is fixed by the label of the LCP. Thus near the endpoint of the LCP where , the value is a fixed output. It is important to emphasize that the LCP is really meaningful up to just outside its two limiting points. Up to around it is characterized by a non-zero which however at exactly becomes equal to zero, since the trace of the boundary stress-energy tensor to which the bulk scalar couples, vanishes. Analogously, the interpretation of each point on it as a dS space of the same is possible everywhere except at , where the intrinsic temperature must become abruptly unobservable.
Since there are no free parameters, several other observables that are determined by
are expected to be also fixed. Define for example the moment
and let us compute it using that
. The result, evaluated under the same conditions as
, is
which, substituting
and
, gives
for the running of the index.
Finally, the universal contribution to the non-Gaussianity parameter
[
15], can be expressed in terms of
and its derivatives in the in-vacuum, as [
16]
with
,
and
. It is computed to be
For
and
this gives