1: \documentclass[12pt,aps]{revtex4}
2: \usepackage{epsfig}
3:
4: \newcommand{\beeq}{\begin{equation}}
5: \newcommand{\eneq}{\end{equation}}
6: \newcommand{\be}{\begin{eqnarray}}
7: \newcommand{\ee}{\end{eqnarray}}
8: \newcommand{\bpic}{\begin{picture}}
9: \newcommand{\epic}{\end{picture}}
10: \newcommand{\bs}{\begin{scriptsize}}
11: \newcommand{\es}{\end{scriptsize}}
12: \newcommand{\ds}{\displaystyle}
13: \newcommand{\hh}{\;\;}
14:
15: \def\mybig{\displaystyle \strut }
16: \def\mbig{\displaystyle }
17: \def\dd{\partial}
18: \def\la{\raise.16ex\hbox{$\langle$} \, }
19: \def\ra{\, \raise.16ex\hbox{$\rangle$} }
20: \def\go{\rightarrow}
21: \def\yield{\Longrightarrow}
22: \def\next{{~~~,~~~}}\def\ie{{\it i.e., \ }}
23: \def\a{\alpha}
24: \def\b{\beta}
25: \def\d{\delta}
26: \def\e{\epsilon}
27: \def\g{\gamma}
28: \def\G{\Gamma}
29: \def\r{\rho}
30: \def\s{\sigma}
31: \def\O{\Omega}
32: \def\D{\Delta}
33: \def\L{\Lambda}
34: \def\l{\lambda}
35: \def\comp{{\rm C}\llap{\vrule height7.1pt width1pt depth-.4pt\phantom t}}
36: \def\Box{\kern1pt\vbox{\hrule height 1.2pt\hbox{\vrule width 1.2pt\hskip 3pt
37: \vbox{\vskip 6pt}\hskip 3pt\vrule width 0.6pt}\hrule height 0.6pt}\kern1pt}
38: \def\gtwid{\mathrel{\raise.3ex\hbox{$>$\kern-.75em\lower1ex\hbox{$\sim$}}}}
39: \def\ltwid{\mathrel{\raise.3ex\hbox{$<$\kern-.75em\lower1ex\hbox{$\sim$}}}}
40: \def\Fint{\rlap{$\Biggl\rfloor$}\Biggl\lceil}
41: \def\Box{\kern1pt\vbox{\hrule height 1.2pt\hbox{\vrule width 1.2pt\hskip 3pt
42: \vbox{\vskip 6pt}\hskip 3pt\vrule width 0.6pt}\hrule height 0.6pt}\kern1pt}
43: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
44: \begin{document}
45: \begin{titlepage}
46: \begin{flushright}
47: gr-qc/0408080\\LPT-ORSAY-04-64 \\ UFIFT-QG-04-5 \\t04/103\\
48: \end{flushright}
49: \vspace{.4cm}
50: \begin{center}
51: \textbf{Two Loop Scalar Self-Mass during Inflation}
52: \end{center}
53: \begin{center}
54: T. Brunier$^*$
55: \end{center}
56: \begin{center}
57: \textit{Service de Physique Th\'eorique, CEA/Saclay, 91191 Gif-sur-Yvette
58: FRANCE}
59: \end{center}
60: \begin{center}
61: V. K. Onemli$^{\dagger}$
62: \end{center}
63: \begin{center}
64: \textit{Laboratoire de Physique Th\'eorique, Universit\'e Paris
65: XI, B\^at. 210, 91405 Orsay FRANCE}
66: \end{center}
67: \begin{center}
68: R. P. Woodard$^{\ddagger}$
69: \end{center}
70: \begin{center}
71: \textit{Department of Physics, University of Florida, Gainesville, FL 32611
72: USA}
73: \end{center}
74:
75: \begin{center}
76: ABSTRACT
77: \end{center}
78: We work in the locally de Sitter background of an inflating universe and
79: consider a massless, minimally coupled scalar with a quartic self-interaction.
80: We use dimensional regularization to compute the fully renormalized scalar
81: self-mass-squared at one and two loop order for a state which is released in
82: Bunch-Davies vacuum at $t=0$. Although the field strength and coupling
83: constant renormalizations are identical to those of flat space, the geometry
84: induces a non-zero mass renormalization. The finite part also shows a sort of
85: growing mass that competes with the classical force in eventually turning
86: off this system's super-acceleration.
87:
88: \begin{flushleft}
89: PACS numbers: 98.80.Cq, 4.62.+v
90: \end{flushleft}
91: \vspace{.4cm}
92: \begin{flushleft}
93: $^*$ e-mail: brunier@spht.saclay.cea.fr \\
94: $^{\dagger}$ e-mail: Vakif.Onemli@th.u-psud.fr \\
95: $^{\ddagger}$ e-mail: woodard@phys.ufl.edu
96: \end{flushleft}
97: \end{titlepage}
98:
99: \section{Introduction}
100:
101: For studying quantum fields which are spectators during inflation
102: it is convenient to model the background geometry using a portion
103: of the full de Sitter manifold known as the open coordinate patch.
104: If the $D$-dimensional cosmological constant is $\Lambda \equiv
105: (D\!-\!1) H^2$, the invariant element can be expressed, in either
106: conformal or co-moving coordinates, as follows:
107: \begin{equation}
108: ds^2 = a^2 \Bigl(-d\eta^2 + d\vec{x} \! \cdot \! d\vec{x}\Bigr)
109: = -dt^2 + a^2 d\vec{x} \! \cdot \! d\vec{x} \qquad {\rm where}
110: \qquad a(\eta) = -\frac1{H \eta} = e^{Ht} \; . \label{ds^2}
111: \end{equation}
112: One might expect that the inflationary expansion of this spacetime
113: makes quantum effects stronger by allowing virtual particles to
114: persist longer than in flat space. Indeed, it is simple to see
115: that any sufficiently long wavelength (${\rm wavelength}>1/H$)
116: virtual particle which is massless on the Hubble scale can exist
117: forever \cite{RPW}. However, one must also consider the {\it rate}
118: at which virtual particles emerge from the vacuum. Classical
119: conformal invariance causes this rate (per unit co-moving time) to
120: fall like $1/a$, so any long wave length virtual particles which
121: emerge become real, but very few emerge \cite{RPW}. To get
122: enhanced quantum effects during inflation therefore requires
123: quanta which are effectively massless and also not classically
124: conformally invariant.
125:
126: A fascinating example of enhanced quantum effects occurs when a massless
127: minimally coupled scalar is endowed with a quartic self-interaction,
128: \begin{equation}
129: \mathcal{L} = -\frac12 \partial_{\mu} \varphi \partial_{\nu} \varphi
130: g^{\mu\nu} \sqrt{-g} - \frac{\lambda}{4!} \varphi^4 \sqrt{-g} + {\rm
131: counterterms} \; . \label{simL}
132: \end{equation}
133: If this system is released at $t=0$ ($\eta = -1/H$) in free Bunch-Davies
134: vacuum the fully renormalized energy density and pressure are \cite{OW1,OW2},
135: \begin{eqnarray}
136: \r_{\mbox{\tiny{ren}}} & = & \frac{\Lambda}{8\pi G} + \frac{\l H^4}{2^6\pi^4}
137: \Bigg\{ \frac12 \ln^2\left(a\right) + \frac29 a^{-3} - \frac12
138: \sum_{n=1}^{\infty}
139: \frac{n+2}{(n+1)^2} a^{-n-1} \Bigg\} + O(\lambda^2) \; , \label{rho} \\
140: p_{\mbox{\tiny{ren}}} & = & - \frac{\Lambda}{8\pi G} - \frac{\l H^4}{2^6\pi^4}
141: \Bigg\{\frac12 \ln^2\left(a\right) + \frac13 \ln\left(a\right) +
142: \frac16 \sum_{n=1}^{\infty} \frac{n^2-4}{(n+1)^2}
143: a^{-n-1}\Bigg\} + O(\lambda^2) \; . \label{pres}
144: \end{eqnarray}
145: Hence their sum violates the weak energy condition on cosmological scales,
146: \be
147: \rho_{\mbox{\tiny{ren}}} + p_{\mbox{\tiny{ren}}} =
148: \frac{\l H^4}{2^6\pi^4} \Bigg\{- \frac13 \ln\left(a\right) +
149: \frac29 a^{-3} - \frac16 \sum_{n=1}^{\infty} \frac{n+2}{n+1}
150: a^{-n-1}\Bigg\} + O(\lambda^2) \; . \label{it}
151: \ee
152:
153: The physics behind this surprising result is that inflationary particle
154: production causes the scalar to undergo a random walk such that its average
155: distance from the minimum of the $\varphi^4$ potential increases without
156: bound in the free theory \cite{VF,ADL,AAS},
157: \begin{equation}
158: \Bigl\langle \Omega \Bigl\vert \varphi^2(x) \Bigr\vert \Omega \Bigr\rangle_0
159: = \Bigl({\rm Divergent\ Constant}\Bigr) + \frac{H^2}{4\pi^2} \ln(a) \; .
160: \end{equation}
161: After the ultraviolet divergence is removed by renormalization the effect
162: is to drive the scalar up its potential, which increases the vacuum energy
163: and leads to (\ref{rho}) and (\ref{pres}). The process is self-limiting for
164: two reasons. First, as the scalar rises up its potential the classical
165: $\varphi^3$ force pushes it back down. Second, the $\varphi^2$ curvature
166: associated with being away from $\varphi = 0$ acts like a positive mass-squared
167: to reduce the inflationary particle production responsible for pushing the
168: scalar away from $\varphi = 0$.
169:
170: This model is of more than passing interest because the supernova
171: acceleration data are consistent with an evolving dark energy
172: equation of state whose current value is less than minus one
173: \cite{ASSS,CP,WM,G,NP,WT,ASS,FWZ,JBP,CKPCB,HM,VETTBFT}. Such a
174: thing is difficult to explain with classical models on account of
175: the problem with stability
176: \cite{CHT,CJM,NOO,NO1,NO2,NO3,Bar0,NO4,NO5,Sriv0,ENO,NO6,LA,MMMA,
177: AP,BM,FT,Wei0,HJW,Sriv,V,BDE,Noj,FLPZ,AGP,CS,CFT,HN,CMS,BP,YHW1,YHW2,LS,WMeng,Bar,Sriv2,
178: TR,FLHZ,BdVS,RAW,CKT,SLe,CL00,RL,CL0,
179: ACL,CL,GC,MM,SNLP,RJS,MSA,Hu,GPZZ,PPA,TPad,CW,Huey,Eas,Gong,Ded,XFZ,ZKG,Sriv3,CGST}.
180: Therefore one is lead naturally to a self-limiting quantum effect
181: in a classically stable theory such as (\ref{simL}).
182:
183: Although this model gives a value for $w +1$ which is far too small to explain
184: the observations \cite{OW2}, it does serve to establish that quantum effects
185: can induce a temporary phase of super-acceleration. Further, it does so in a
186: wonderfully simple setting for which every issue can be settled by explicit
187: computation. To check stability one first computes the self-mass-squared
188: $M^2(x;x')$ and then studies how it modifies the effective field equations
189: at linearized order,
190: \begin{equation}
191: \Box \varphi(x) - \int d^4x' M^2(x;x') \varphi(x') = 0 \; . \label{linord}
192: \end{equation}
193: That first step is the object of this paper. Just as in flat space one
194: must go to two loop order to see corrections to the derivative terms, so we
195: will compute the fully renormalized self-mass-squared at one and two loop
196: orders. In a later work we will employ the result to study the behavior of
197: linearized perturbations in the quantum-corrected field equations.
198:
199: In Section II we explain the Schwinger-Keldysh formalism that one must use
200: for cosmological settings in which the state is specified at a finite time
201: rather than in the asymptotic past and future. We also derive the Feynman
202: rules. The one loop counterterms are computed in Section III. Sections IV--VI
203: treat the various two loop contributions to the self-mass-squared. In Section
204: VII we give the fully renormalized results. Implications are discussed in
205: Section VIII. Section IX is an appendix devoted to various technical results
206: used throughout.
207:
208: \section{Feynman Rules in the Schwinger-Keldysh Formalism}
209:
210: The Schwinger-Keldysh formalism is a technique that makes computing
211: expectation values almost as simple as the Feynman rules do for computing
212: in-out matrix elements \cite{JS,RJ}. To sketch the derivation, consider
213: a real scalar field, $\phi(x)$ whose Lagrangian (not Lagrangian density)
214: at time $t$ is $L[\phi(t)]$. Most quantum field theorists are familiar
215: with the functional integral expression for the matrix element of an
216: operator $\mathcal{O}_1[\phi]$ between states whose wave functionals are
217: given at a starting time $s$ and a last time $\ell$,
218: \begin{equation}
219: \Bigl\langle \Phi \Bigl\vert T^*\Bigl(\mathcal{O}_1[\phi]\Bigr) \Bigr\vert
220: \Psi \Bigr\rangle = \Fint [d\phi] \, \mathcal{O}_1[\phi] \,
221: \Phi^*[\phi(\ell)] \, e^{i \int_{s}^{\ell} dt L[\phi(t)]} \,
222: \Psi[\phi(s)] \; . \label{1stint}
223: \end{equation}
224: The $T^*$-ordering symbol in the matrix element indicates that the operator
225: $\mathcal{O}_1[\phi]$ is time-ordered, except that any derivatives are
226: taken {\it outside} the time-ordering. We can use (\ref{1stint}) to obtain a
227: similar expression for the matrix element of the {\it anti}-time-ordered
228: product of some operator $\mathcal{O}_2[\phi]$ in the presence of the
229: reversed states,
230: \begin{eqnarray}
231: \Bigl\langle \Psi \Bigl\vert \overline{T}^*\Bigl(\mathcal{O}_2[\phi]\Bigr)
232: \Bigr\vert \Phi \Bigr\rangle & = & \Bigl\langle \Phi \Bigl\vert T^*\Bigl(
233: \mathcal{O}_2^{\dagger}[\phi]\Bigr) \Bigr\vert \Psi \Bigr\rangle^* \\
234: & = & \Fint [d\phi] \, \mathcal{O}_2[\phi] \, \Phi[\phi(\ell)] \,
235: e^{-i \int_{s}^{\ell} dt L[\phi(t)]} \, \Psi^*[\phi(s)] \; .
236: \label{2ndint}
237: \end{eqnarray}
238:
239: Now note that summing over a complete set of states $\Phi$ gives a delta
240: functional,
241: \begin{equation}
242: \sum_{\Phi} \Phi\Bigl[\phi_-(\ell)\Bigr] \, \Phi^*\Bigl[\phi_+(\ell)
243: \Bigr] = \delta\Bigl[\phi_-(\ell) \!-\! \phi_+(\ell) \Bigr]
244: \; . \label{sum}
245: \end{equation}
246: Taking the product of (\ref{1stint}) and (\ref{2ndint}), and using (\ref{sum}),
247: we obtain a functional integral expression for the expectation value of any
248: anti-time-ordered operator $\mathcal{O}_2$ multiplied by any time-ordered
249: operator $\mathcal{O}_1$,
250: \begin{eqnarray}
251: \lefteqn{\Bigl\langle \Psi \Bigl\vert \overline{T}^*\Bigl(\mathcal{O}_2[
252: \phi]\Bigr) T^*\Bigl(\mathcal{O}_1[\phi]\Bigr) \Bigr\vert \Psi
253: \Bigr\rangle = \Fint [d\phi_+] [d\phi_-] \, \delta\Bigl[\phi_-(\ell)
254: \!-\! \phi_+(\ell)\Bigr] } \nonumber \\
255: & & \hspace{1.5cm} \times \mathcal{O}_2[\phi_-] \mathcal{O}_1[\phi_+]
256: \Psi^*[\phi_-(s)] e^{i \int_s^{\ell} dt \Bigl\{L[\phi_+(t)] -
257: L[\phi_-(t)]\Bigr\}} \Psi[\phi_+(s)] \; . \qquad \label{fund}
258: \end{eqnarray}
259: This is the fundamental relation between the canonical operator formalism
260: and the functional integral formalism in the Schwinger-Keldysh formalism.
261:
262: The Feynman rules follow from (\ref{fund}) in close analogy to those for
263: in-out matrix elements. Because the same field is represented by two different
264: dummy functional variables, $\phi_{\pm}(x)$, the endpoints of lines carry
265: a ${\scriptscriptstyle \pm}$ polarity. External lines associated with the
266: operator $\mathcal{O}_2[\phi]$ have ${\scriptscriptstyle -}$ polarity whereas
267: those associated with the operator $\mathcal{O}_1[\phi]$ have
268: ${\scriptscriptstyle +}$ polarity. Interaction vertices are either all
269: ${\scriptscriptstyle +}$ or all ${\scriptscriptstyle -}$. Vertices with
270: ${\scriptscriptstyle +}$ polarity are the same as in the usual
271: Feynman rules whereas vertices with the ${\scriptscriptstyle -}$ polarity
272: have an additional minus sign. Propagators can be ${\scriptscriptstyle ++}$,
273: ${\scriptscriptstyle -+}$, ${\scriptscriptstyle +-}$ and ${\scriptscriptstyle
274: --}$.
275:
276: The four propagators can be read off from the fundamental relation (\ref{fund})
277: when the free Lagrangian is substituted for the full one. It is useful to
278: denote canonical expectation values in the free theory with a subscript $0$.
279: With this convention we see that the ${\scriptscriptstyle ++}$ propagator is
280: just the ordinary Feynman propagator,
281: \begin{equation}
282: i\Delta_{\scriptscriptstyle ++}(x;x') = \Bigl\langle \Omega \Bigl\vert
283: T\Bigl(\phi(x) \phi(x') \Bigr) \Bigr\vert \Omega \Bigr\rangle_0 =
284: i\Delta(x;x') \; . \label{++}
285: \end{equation}
286: The other cases are simple to read off and to relate to the Feynman propagator,
287: \begin{eqnarray}
288: i\Delta_{\scriptscriptstyle -+}(x;x') \!\!\! & = & \!\!\! \Bigl\langle \Omega
289: \Bigl\vert \phi(x) \phi(x') \Bigr\vert \Omega \Bigr\rangle_0 =
290: \theta(t\!-\!t') i\Delta(x;x') \!+\! \theta(t'\!-\!t) \Bigl[i\Delta(x;x')
291: \Bigr]^* \! , \quad \label{-+} \\
292: i\Delta_{\scriptscriptstyle +-}(x;x') \!\!\! & = & \!\!\! \Bigl\langle \Omega
293: \Bigl\vert \phi(x') \phi(x) \Bigr\vert \Omega \Bigr\rangle_0 =
294: \theta(t\!-\!t') \Bigl[i\Delta(x;x')\Bigr]^* \!\!+\! \theta(t'\!-\!t)
295: i\Delta(x;x') , \quad \label{+-} \\
296: i\Delta_{\scriptscriptstyle --}(x;x') \!\!\! & = & \!\!\! \Bigl\langle \Omega
297: \Bigl\vert \overline{T}\Bigl(\phi(x) \phi(x') \Bigr) \Bigr\vert
298: \Omega \Bigr\rangle_0 = \Bigl[i\Delta(x;x')\Bigr]^* . \label{--}
299: \end{eqnarray}
300: Therefore we can get the four propagators of the Schwinger-Keldysh formalism
301: from the Feynman propagator once that is known.
302:
303: Quantum field theory has much the same structure in the Schwinger-Keldysh
304: formalism as for the familiar in-out formalism. In particular,
305: one-particle-irreducible (1PI) diagrams mean the same thing and play the same
306: fundamental role. Because each external line can take either polarity there
307: are $2^N$ variations for each $N$-point function of the in-out formalism.
308: They generate an effective action that depends upon background fields
309: $\phi_+(x)$ and $\phi_-(x)$. For example, there are four Schwinger-Keldysh
310: 2-point 1PI functions, $M^2_{\scriptscriptstyle \pm\pm}(x;x')$. The
311: ${\scriptscriptstyle ++}$ one is the same as the in-out self-mass-squared
312: and the others are related as the propagators,
313: \begin{equation}
314: -i M^2_{\scriptscriptstyle --}(x;x') = \Bigl(-i M^{2}_{\scriptscriptstyle ++}(
315: x;x') \Bigr)^* \qquad , \qquad -i M^2_{\scriptscriptstyle -+}(x;x') = \Bigl(
316: -i M^2_{\scriptscriptstyle +-}(x;x')\Bigr)^* .
317: \end{equation}
318: The various self-mass-squared's enter the effective action as follows \cite{RJ},
319: \begin{eqnarray}
320: \lefteqn{\Gamma[\phi_+,\phi_-] = S[\phi_+] - S[\phi_-]} \nonumber \\
321: & & - \frac12 \int d^Dx \int d^Dx' \left\{ \matrix{ \phi_+(x) M^2_{
322: \scriptscriptstyle ++}(x;x') \phi_+(x') + \phi_+(x) M^2_{\scriptscriptstyle
323: +-}(x;x') \phi_-(x') \cr +\phi_-(x) M^2_{\scriptscriptstyle -+}(x;x')
324: \phi_+(x') + \phi_-(x) M^2_{\scriptscriptstyle --}(x;x') \phi_-(x') }
325: \right\} + O(\phi^3_{\pm}) . \qquad
326: \end{eqnarray}
327: Note that since counterterms derive from the classical actions --- $S[\phi_+]$
328: and $-S[\phi_-]$ --- there can be no primitive divergences in 1PI diagrams
329: of mixed polarity.
330:
331: The effective field equations of the Schwinger-Keldysh formalism are obtained
332: by varying with respect to either background field and then setting the two
333: fields equal \cite{RJ},
334: \begin{equation}
335: \frac{\delta \Gamma[\phi_+,\phi_-]}{\delta \phi_+(x)} \Biggl\vert_{\phi_{\pm} =
336: \phi} = \frac{\delta S[\phi]}{\delta \phi(x)} - \int d^Dx' \Bigl\{
337: M^2_{\scriptscriptstyle ++}(x;x') + M^2_{\scriptscriptstyle +-}(x;x') \Bigr\}
338: \phi(x') + O(\phi^2) = 0 \; .
339: \end{equation}
340: Just as in-out matrix elements of the field obey the in-out effective field
341: equations, so expectation values of the field obey the Schwinger-Keldysh
342: effective field equations. Unlike the in-out effective field equations,
343: the Schwinger-Keldysh effective field equations are causal and purely real.
344: That is, although the equations are generally not local, there is no net
345: dependence at point $x^{\mu}$ from fields at any point $x^{\prime \mu}$ which
346: lies outside the past light-cone of $x^{\mu}$. Hence the initial value
347: problem is well defined. Also, if the initial value data are real, the
348: solution remains real.
349:
350: Up to this point the discussion has been general. We begin the process of
351: deriving the Feynman rules of our model by expressing its Lagrangian
352: (\ref{simL}) in terms of the unrenormalized field $\phi$ and bare parameters
353: $m_0^2$ and $\lambda_0$,
354: \begin{equation}
355: \mathcal{L} = -\frac12 \partial_{\mu} \phi \partial_{\nu} \phi g^{\mu \nu}
356: \sqrt{-g} - \frac12 m_0^2 \phi^2 \sqrt{-g} - \frac1{4!} \lambda_0 \phi^4
357: \sqrt{-g} \; .
358: \end{equation}
359: Specializing to the (D-dimensional) locally de Sitter geometry in conformal
360: coordinates (\ref{ds^2}), and introducing the renormalized field $\varphi
361: \equiv \phi/\sqrt{Z}$ gives,
362: \begin{equation}
363: \mathcal{L} = -\frac12 Z \partial_{\mu} \varphi \partial_{\nu} \varphi
364: \eta^{\mu \nu} a^{D-2} - \frac12 Z m_0^2 \varphi^2 a^D - \frac1{4!} Z^2
365: \lambda_0 \phi^4 a^D \; .
366: \end{equation}
367: We now make the usual decomposition of bare parameters into renormalized
368: parameters and counterterms,
369: \begin{equation}
370: Z \equiv 1 + {\delta Z} \qquad , \qquad Z m_0^2 \equiv 0 + {\delta m}^2
371: \qquad , \qquad Z^2 \lambda_0 \equiv \lambda + {\delta \lambda} \; .
372: \end{equation}
373: Note that we define the renormalized mass to be zero. Of course this can
374: only be enforced initially; the point of the calculation is to see what
375: happens later under the impact of inflationary particle production!
376:
377: The final expression of the Lagrangian distinguishes the free part (1st
378: term), the interaction (2nd term) and the counter-interactions (last 3
379: terms),
380: \begin{equation}
381: \mathcal{L} = -\frac12 \partial_{\mu} \varphi \partial_{\nu} \varphi
382: \eta^{\mu \nu} a^{D-2} -\frac1{4!} \lambda \varphi^4 a^D
383: -\frac12 {\delta Z} \partial_{\mu} \varphi \partial_{\nu} \varphi
384: \eta^{\mu \nu} a^{D-2} - \frac12 {\delta m}^2 \varphi^2 a^D - \frac1{4!}
385: {\delta \lambda} \phi^4 a^D \; .
386: \end{equation}
387: The propagator derives from the free part and obeys the equation,
388: \begin{equation}
389: {\rm Propagator} \qquad \Longrightarrow \qquad \eta^{\mu\nu} \partial_{\mu}
390: \Bigl(a^{D-2} \partial_{\nu} i \Delta(x;x')\Bigr) = i \delta^D(x-x') \; .
391: \label{propeqn}
392: \end{equation}
393: The position-space interaction vertex depends upon the four points $x^{\mu}_{
394: 1-4}$,
395: \begin{equation}
396: {\rm Interaction} \qquad \Longrightarrow \qquad -i \lambda a_1^D
397: \delta^D(x_1 \!-\! x_2) \delta^D(x_2 \!-\! x_3) \delta^D(x_3 \!-\! x_4)
398: \; . \label{4pt}
399: \end{equation}
400: The field strength renormalization depends upon two points $x^{\mu}$ and
401: $x^{\prime \mu}$,
402: \begin{equation}
403: {\rm Field\ Strength\ Renormalization} \qquad \Longrightarrow \qquad
404: i {\delta Z} \eta^{\mu\nu} \partial_{\mu} \Bigl(a^{D-2} \partial_{\nu}
405: \delta^D(x \!-\! x') \Bigr) \; .
406: \end{equation}
407: The mass renormalization also depends upon $x^{\mu}$ and $x^{\prime \mu}$,
408: \begin{equation}
409: {\rm Mass\ Renormalization} \qquad \Longrightarrow \qquad -i {\delta m}^2 a^D
410: \delta^D(x \!-\! x') \; .
411: \end{equation}
412: Of course the coupling constant renormalization is the same as (\ref{4pt})
413: with $\lambda$ replaced by $\delta \lambda$,
414: \begin{equation}
415: {\rm Coupling\ Constant\ Renorm.} \quad \Longrightarrow \quad
416: -i {\delta \lambda} a_1^D \delta^D(x_1 \!-\! x_2) \delta^D(x_2 \!-\! x_3)
417: \delta^D(x_3 \!-\! x_4) \; .
418: \end{equation}
419:
420: It remains to solve (\ref{propeqn}) for the propagator. One might think
421: to look for a function of the de Sitter invariant geodesic length
422: $\ell(x;x')$ but there is no such solution. The reason is that the free
423: theory possesses no normalizable, de Sitter invariant wave functions, and
424: hence no de Sitter invariant states \cite{AF}. By allowing $i\Delta(x;x')$
425: to depend additionally upon the scale factors $a \equiv a(\eta)$ and $a'
426: \equiv a(\eta')$ one can find a solution which has the homogeneity and
427: isotropy of cosmology \cite{OW1}. It is expressed in terms of a length
428: function we call $y_{\scriptscriptstyle ++}(x;x')$,
429: \begin{equation}
430: y_{\scriptscriptstyle ++}(x;x') \equiv a a' H^2 \left[ \Vert \vec{x} \!-\!
431: \vec{x}' \Vert^2 \!-\! (\vert \eta \!-\! \eta' \vert \!-\! i \d)^2 \right]
432: \equiv a a' H^2 {\Delta x}^2_{\scriptscriptstyle ++}(x;x') \; ,\\
433: \end{equation}
434: When the infinitesimal parameter $\delta$ vanishes this has a simple
435: relation to the geodesic length, $y = 4 \sin^2(H \ell/2)$. One can see from
436: (\ref{++}-\ref{--}) that the four propagators must all depend the same way
437: on $a$, $a'$ and length functions $y_{\scriptscriptstyle \pm\pm}$ defined as
438: follows,
439: \begin{eqnarray}
440: y_{\scriptscriptstyle +-}(x;x') & \equiv & a a' H^2 \left[\Vert \vec{x} \!-\!
441: \vec{x}' \Vert^2 \!-\! (\eta \!-\! \eta' \!+\! i \d)^2 \right] \equiv a a' H^2
442: {\Delta x}^2_{\scriptscriptstyle +-}(x;x') \; ,\\
443: y_{\scriptscriptstyle -+}(x;x') & \equiv & a a' H^2 \left[\Vert \vec{x} \!-\!
444: \vec{x}' \Vert^2 \!-\! (\eta \!-\! \eta' \!-\! i \d)^2 \right] \equiv a a' H^2
445: {\Delta x}^2_{\scriptscriptstyle -+}(x;x') \; ,\\
446: y_{\scriptscriptstyle --}(x;x') & \equiv & a a' H^2 \left[\Vert \vec{x} \!-\!
447: \vec{x}' \Vert^2 \!-\! (\vert \eta \!-\! \eta' \vert \!+\! i \d)^2 \right]
448: \equiv a a' H^2 {\Delta x}^2_{\scriptscriptstyle --}(x;x') \; .
449: \end{eqnarray}
450: Because of this close relationship between the four propagators we shall
451: often drop the ${\scriptscriptstyle \pm}$ subscripts and treat expressions
452: for general $y=y(x;x')$ and ${\Delta x}^2 = {\Delta x}^2(x;x')$.
453:
454: To facilitate dimensional regularization we express the dimension of spacetime
455: in terms of its deviation from four, $D = 4 - \epsilon$. It is also convenient
456: to break the propagator up into three terms,
457: \begin{eqnarray}
458: i\Delta(x;x') & = & A(x;x') + B(x;x') + C(x;x') \; , \label{prop}\\
459: A(x;x') & \equiv & \frac{\Gamma(1 \!-\! \frac{\epsilon}2)}{4 \pi^{2 \!-\!
460: \frac{\epsilon}2}} \frac{(a a')^{-1 + \frac{\epsilon}2}}{\Delta x^{2 -
461: \epsilon}} \; , \label{split} \\
462: B(x;x') & \equiv & \frac{H^{2 - \epsilon}}{(4 \pi)^{2 - \frac{\epsilon}2}}
463: \left\{- \frac{2 \Gamma(3 \!-\! \frac{\epsilon}2)}{\epsilon} \Bigl(\frac{y}4
464: \Bigr)^{\frac{\epsilon}2} + \pi {\rm cot}\Bigl(\frac{\pi \epsilon}2\Bigr)
465: \frac{\Gamma(3 \!-\! \epsilon)}{\Gamma(2 \!-\! \frac{\epsilon}2)} +
466: \frac{\Gamma(3 \!-\! \epsilon)}{\Gamma(2 \!-\! \frac{\epsilon}2)} \ln(a a')
467: \right\} , \\
468: C(x;x') & \equiv & \frac{H^{2 - \epsilon}}{(4 \pi)^{2 - \frac{\epsilon}2}}
469: \sum_{n=1}^{\infty} \left[\frac1{n} \frac{\Gamma(3 \!-\! \epsilon \!+\! n)}{
470: \Gamma(2 \!-\! \frac{\epsilon}2 \!+\! n)} \Bigl(\frac{y}4\Bigr)^n -
471: \frac1{n \!+\! \frac{\epsilon}2} \frac{\Gamma(3 \!-\! \frac{\epsilon}2 \!+\!
472: n)}{ \Gamma(2 \!+\! n)} \Bigl(\frac{y}4\Bigr)^{n + \frac{\epsilon}2}\right] .
473: \end{eqnarray}
474: Powers of $A(x;x')$ are the ultimate source of ultraviolet divergences. The
475: term $B(x;x')$ is not ultraviolet divergent by itself,
476: \begin{equation}
477: \lim_{\epsilon \rightarrow 0} B(x;x') = \Bigl(\frac{H}{4 \pi}\Bigr)^2
478: \left\{ -2 \ln(H^2 {\Delta x}^2/4) - 1 \right\} = -\frac{H^2}{8
479: \pi^2} \ln\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta x}^2 \Bigr) .
480: \end{equation}
481: However, we must retain $\epsilon \neq 0$ whenever $B(x;x')$ multiplies two
482: or more powers of $A(x;x')$. The term $C(x;x')$ actually vanishes for
483: $\epsilon = 0$. We only need it when multiplying by more than two
484: powers of $A(x;x')$, which can not happen for the maximum number of
485: propagators --- $(i\D(x;x'))^3$ --- we shall encounter in this computation.
486:
487: \section{One Loop Counterterms}
488:
489: Neither the non-flat geometry, nor the Schwinger-Keldysh formalism, nor even
490: the use of position space rather than momentum space, alters the basic
491: structure of perturbative quantum field theory. In particular, the diagrams
492: all look the same as in flat momentum space, and working at two loops requires
493: knowledge of the one loop counterterms. The purpose of this section is to
494: compute the order $\lambda$ contribution to $\delta m^2$ and the order
495: $\lambda^2$ contribution to $\delta \lambda$. As in flat space there is no
496: one loop contribution to $\delta Z$.
497:
498: \begin{figure}[htbp]
499: \centerline{\epsfig{file=1loop.eps,
500: width=2.0in,height=1.1in }}
501: \caption{Generic one loop self-mass-squared. \label{fig1} }
502: \end{figure}
503:
504: Fig.~\ref{fig1} depicts the one loop contribution to the scalar
505: self-mass-squared. We can extract $\delta m^2$ at order $\lambda$
506: by focusing on the ${\scriptscriptstyle ++}$ term, \be -i
507: M^2_{\scriptscriptstyle 1++}(x;x')= -i \left[\frac{\l}2 i\D_{
508: \scriptscriptstyle ++}(x;x) + \d m^2 \right]a^D \d^D(x \!-\! x') +
509: O(\lambda^2) \; . \ee Although the coincidence limit of the
510: massless propagator vanishes when using dimensional regularization
511: in flat space, the de Sitter curvature of our background gives a
512: nonzero result that can be read off from (\ref{prop}), \be
513: i\D(x';x') = \lim_{x\rightarrow x'} i\D(x;x') =
514: \frac{H^{2-\e}}{(4\pi)^{2-\frac{\e}{2}}} \frac{\G(3 \!-\!
515: \e)}{\G(2 \!-\! \frac{\e}{2})} \Bigg\{2\ln(a) +
516: \pi\cot\Bigl(\frac{\pi\e}{2}\Bigr)\Bigg\} \; .\label{coin} \ee
517: Because of the finite, time-dependent term we cannot make the one
518: loop self-mass-squared vanish for all time. Our renormalization
519: condition is that it should be zero at $t=0$, which implies, \be
520: \d m^2 = -\frac{\l H^{2-\e}}{2^{5-\e}\pi^{2-{\frac{\e}2}}}
521: \frac{\G\left(3 \!-\! \e\right)}{\G\left(2\!-\! \frac{\e}2\right)}
522: \pi \cot\Bigl(\frac{\pi\e}{2}\Bigr) + O(\l^2) \; . \label{massct}
523: \ee The renormalized ${\scriptscriptstyle ++}$ self-mass-squared
524: is therefore, \be M^2_{\scriptscriptstyle 1++}(x;x') = \frac{\l
525: H^2}{8\pi^2} \,a^4 \ln(a) \delta^4(x-x') + O(\l^2) \; .
526: \label{M1++} \ee The ${\scriptscriptstyle --}$ case is minus the
527: complex conjugate,
528: \begin{equation}
529: M^2_{\scriptscriptstyle 1--}(x;x') = - \frac{\l H^2}{8\pi^2} \,a^4
530: \ln(a) \delta^4(x-x') + O(\l^2) \; .
531: \end{equation}
532: The ${\scriptscriptstyle +-}$ and ${\scriptscriptstyle -+}$ cases vanish at
533: this order because there are no mixed interactions,
534: \begin{equation}
535: M^2_{\scriptscriptstyle 1+-}(x;x') =
536: -\Bigl(M^2_{\scriptscriptstyle 1-+}(x;x') \Bigr)^* = 0 +
537: O(\lambda^2) \; .
538: \end{equation}
539:
540: \begin{figure}[htbp]
541: \centerline{\epsfig{file=vertex.eps,
542: width=5.0in,height=0.9in }}
543: \caption{Generic tree and one loop vertex function. \label{fig2} }
544: \end{figure}
545:
546: We can extract the order $\lambda^2$ contribution to $\delta \lambda$ from
547: the one loop corrections to the ${\scriptscriptstyle ++++}$ 4-point 1PI
548: function. Fig.~\ref{fig2} shows the diagram topology. A simple application
549: of the Feynman rules gives,
550: \begin{eqnarray}
551: \lefteqn{-iV_+(x_1,x_2,x_3,x_4) = -i (\lambda \!+\! {\delta \lambda}) a_1^D
552: \delta^D(x_1 \!-\! x_2) \delta^D(x_1 \!-\! x_3) \delta^D(x_1 \!-\! x_4) -
553: \frac12 \lambda^2 \Biggl\{ } \nonumber \\
554: & & a_1^D a_4^D \Bigl[i \Delta_{\scriptscriptstyle ++}(x_1;x_4)\Bigr]^2
555: \delta^D(x_1 \!-\! x_2) \delta^D(x_3 \!-\! x_4) \!+\! a_1^D a_3^D \Bigl[i
556: \Delta_{\scriptscriptstyle ++}(x_1;x_3)\Bigr]^2 \delta^D(x_1 \!-\! x_4)
557: \delta^D(x_2 \!-\! x_3) \nonumber \\
558: & & \hspace{5cm} + a_1^D a_2^D \Bigl[i\Delta_{\scriptscriptstyle ++}(x_1;x_2)
559: \Bigr]^2 \delta^D(x_1 \!-\! x_3) \delta^D(x_4 \!-\! x_2) \Biggr\}
560: + O(\lambda^3) \; . \qquad
561: \end{eqnarray}
562: In Appendix B we show that the square of a propagator can be expressed as a
563: local term which diverges for $\epsilon \longrightarrow 0$, plus a nonlocal
564: term which is integrable for $\epsilon = 0$. For the ${\scriptscriptstyle ++}$
565: propagator the result is equation (\ref{D2++}) which we reproduce here,
566: \begin{eqnarray}
567: \Bigl(i \Delta_{\scriptscriptstyle ++}(x;x') \Bigr)^2 & \longrightarrow &
568: - \frac{i \mu^{-\epsilon}}{2^3 \pi^{2 \!-\! \frac{\epsilon}2}} \frac{\Gamma(1
569: \!-\! \frac{\epsilon}2)}{(1 \!-\! \epsilon) \epsilon} \, a^{-4 \!+\! 2\epsilon}
570: \delta^D(x\!-\! x') - \frac{(a a')^{-2}}{2^6 \pi^4} \partial^2 \left(
571: \frac{\ln(\mu^2 {\Delta x}_{\scriptscriptstyle ++}^2)}{{\Delta x}_{
572: \scriptscriptstyle ++}^2} \right) \nonumber \\
573: & & \hspace{2.5cm} - \frac{H^2}{2^4 \pi^4} \frac{\ln\Bigl( \frac{\sqrt{e}}4 H^2
574: {\Delta x}^2_{\scriptscriptstyle ++} \Bigr)}{a a' {\Delta x}^2_{
575: \scriptscriptstyle ++}} + \frac{H^4}{2^6 \pi^4} \ln^2\Bigl( \frac{\sqrt{e}}4
576: H^2 {\Delta x}^2_{\scriptscriptstyle ++} \Bigr) . \qquad
577: \end{eqnarray}
578: To fix $\delta \lambda$ we are interested only in the local, divergent
579: term. There is such a contribution from the $s$-channel ---
580: $\Bigl(i \Delta_{\scriptscriptstyle ++}(x_1;x_4) \Bigr)^2$ --- the $t$-channel
581: --- $\Bigl(i \Delta_{\scriptscriptstyle ++}(x_1;x_3) \Bigr)^2$ --- and the
582: $u$-channel --- $\Bigl(i \Delta_{\scriptscriptstyle ++}(x_1;x_2) \Bigr)^2$ ---
583: graphs. They each make the same contribution, so the divergent part of the
584: vertex is,
585: \begin{eqnarray}
586: \lefteqn{-iV_+(x_1,x_2,x_3,x_4) = -i (\lambda + {\delta \lambda})
587: a_1^{4- \epsilon} \delta^D(x_1 - x_2) \delta^D(x_1 - x_3)
588: \delta^D(x_1 - x_4) }
589: \nonumber \\
590: & & \hspace{2cm} + \frac{i 3 \lambda^2\mu^{-\e}}{2^4 \pi^{2 \!-\!
591: \frac{\epsilon}2}} \frac{\Gamma(1 \!-\! \frac{\epsilon}2)}{(1
592: \!-\! \epsilon) \epsilon} \, a^4_1 \delta^D(x_1 - x_2)
593: \delta^D(x_1 - x_3) \delta^D(x_1 - x_4)\nonumber\\&& \hspace{6cm}+
594: \lambda^2 \times \Bigl({\rm Nonlocal\ Finite}\Bigr) + O(\lambda^3)
595: \; .
596: \end{eqnarray}
597: The simplest renormalization condition is to absorb the entire
598: local, constant part at order $\lambda^2$,
599: \be
600: \d\l=\frac{3\l^2 \mu^{-\e}}{16\pi^{2-\frac{\e}{2}}}
601: \frac{\G(1-\frac{\e}{2})}{\e(1-\e)} \; . \label{dl}
602: \ee
603: Note that while the divergence is proportional to the fourth power of the
604: scale factor, the counterterm is proportional to the $D$-th power. This
605: means that expanding $a_1^{4-\e}=a_1^4(1-\e \ln(a_1)+O(\e^2))$, gives an
606: additional, finite local term. The full renormalized ${\scriptscriptstyle
607: ++++}$ 1PI 4-point vertex is,
608: \begin{eqnarray}
609: &&-iV_{\rm R}(x_1,x_2,x_3,x_4) \!=\! -i \left(\lambda -\frac{3\l^2}{2^4 \pi^2}
610: \ln(a_1)\right) a_1^4 \delta^4(x_1 \!-\! x_2)
611: \delta^4(x_1 \!-\! x_3) \delta^4(x_1 \!-\! x_4)\!+\!
612: \frac{\lambda^2}{2^7 \pi^4} \!\Bigg\{ \nonumber\\&&(a_1 a_4)^2
613: \partial^2_1 \! \left[ \frac{\ln(\mu^2
614: {\Delta x}^2_{14})}{\Delta x_{14}^2} \right] + 4 H^2 (a_1 a_4)^3
615: \frac{\ln\Bigl( \frac{\sqrt{e}}{4} H^2 {\Delta x}_{14}^2
616: \Bigr)}{\Delta x_{14}^2}-H^4 (a_1 a_4)^4
617: \ln^2\Bigl(\frac{\sqrt{e}}4 H^2 {\Delta x}_{14}^2 \Bigr)
618: \Bigg\}\nonumber\\&&\hspace{2cm} \times\delta^4(x_1 \!-\! x_2)
619: \delta^4(x_3 \!-\! x_4)+ \lambda^2 \Bigl(t {\rm -channel}\Bigr) +
620: \lambda^2 \Bigl(u {\rm -channel} \Bigr) + O (\lambda^3) \; .
621: \end{eqnarray}
622:
623: \section{The Sunset Diagram}
624:
625: The first two loop contribution to the scalar self-mass-squared is known as
626: the sunset (ss) diagram. Fig.~\ref{fig3} depicts its topology. A simple
627: application of the Feynman rules gives,
628: \begin{equation}
629: -i M^2_{\scriptscriptstyle {\rm ss} \pm\pm} = \frac1{3!} (\mp i\lambda)
630: (\mp i \lambda) (aa')^{4-\epsilon} \Bigl(i\D_{\scriptscriptstyle \pm\pm}(x;x')
631: \Bigr)^3 \; .
632: \end{equation}
633:
634: \begin{figure}[htbp]
635: \centerline{\epsfig{file=sunset1.eps,
636: width=2.0in,height=1.22in }}
637: \caption{Generic Sunset Diagram. \label{fig3} }
638: \end{figure}
639:
640: In Appendix C we show that the cube of a propagator can be expressed as a
641: local term which diverges for $\epsilon \longrightarrow 0$, plus a nonlocal
642: term which is integrable for $\epsilon = 0$. For the ${\scriptscriptstyle ++}$
643: propagator the result is equation (\ref{D3++}) which we reproduce here,
644: \be
645: &&(i\D_{++}(x ;
646: x'))^3\rightarrow -\frac{i\mu^{-2\e} \Gamma^2(1-\frac{\e}2)}{2^9\;
647: \pi^{4-\e}} \; \frac{(a a')^{-3+ \frac{3}{2}\e}
648: \partial^2 \delta^D(x-x')}{ (1 \!-\! \frac{3}{2}\e ) (1 \!-\! \e)(1
649: \!-\!\frac{3}{4} \e)
650: \e}+\frac{i3H^{2-\e}\mu^{-\e}a^{-4+2\e}}{2^{6-\e} \pi^{4-\e}}
651: \;\Bigg\{ \nonumber \\
652: && \frac{(1 - \frac{\epsilon}2)(1-\frac{\e}{4})\G^2(1-\frac{\e}{2})}{(1-\frac32
653: \e)\e^2}\; \Bigl(\frac{H a}{2\mu}\Bigr)^{\epsilon}-\frac{\G(1-\e)}{\e}\left[\pi
654: \cot\left(\frac{\pi \epsilon}{2}\right)+2\ln{(a)}\right]
655: \Bigg\}\d^D(x-x') \nonumber \\
656: && - \frac{(a a')^{-3}}{2^{11} \pi^6} \,
657: \partial^4 \! \left[ \frac{\ln(\mu^2 \Delta x^2_{\scriptscriptstyle ++})}{
658: \Delta x^2_{\scriptscriptstyle ++}} \right]+
659: \frac{3H^2(aa')^{-2}}{2^8\pi^6}
660: \partial^2\Bigg[\ln\Big(\frac{He^{\frac{3}{4}}}{2\mu}\Big)
661: \frac{\ln(\mu^2 \Delta x^2_{++})}{\Delta
662: x^2_{++}}+\frac{1}{4}\frac{\ln^2(\mu^2 \Delta x^2_{++})}{\Delta
663: x^2_{++}}\Bigg]\nonumber\\&&\hspace{5.5cm}+\frac{3 H^4}{2^8 \pi^6}
664: \frac{\ln^2\Bigl( \frac{\sqrt{e}}4 H^2 \Delta x_{++}^2 \Bigr)}{a
665: a' {\Delta x^2_{++}}} - \frac{H^6}{2^9 \pi^6} \ln^3\Bigl(
666: \frac{\sqrt{e}}4 H^2 \Delta x^2_{++} \Bigr)\; . \ee When this is
667: multiplied by $(aa')^{4-\e}$ a few simple rearrangements allow us
668: to recognize the spacetime dependent part of the the first term as
669: essentially a field strength renormalization,
670: \begin{eqnarray}
671: (aa')^{1 + \frac{\epsilon}2} \partial^2 \delta^D(x \!-\! x') & = &
672: a^{1 + \frac{\epsilon}2} \partial^2 \Bigl( a^{1 + \frac{\epsilon}2}
673: \delta^D(x \!-\! x') \Bigr) \nonumber \\
674: & = & a^{2 + \epsilon} \left\{ \partial^2 - (2 \!+\! \epsilon) H a \partial_0
675: - \Bigl(1 \!+\! \frac{\epsilon}2\Bigr) \Bigl(2 + \frac{\epsilon}2\Bigr) H^2 a^2
676: \right\} \delta^D(x \!-\! x') \; . \label{massre}
677: \end{eqnarray}
678: Doing the same thing for the second term reveals what is essentially a mass
679: renormalization plus some finite local terms {\it and} an overlapping
680: divergence,
681: \begin{eqnarray}
682: \lefteqn{\frac{i3 H^2 a^4}{2^6 \pi^4}
683: \Bigl(\frac{2\pi}{H\mu}\Bigr)^{ \epsilon} \! \Bigg\{ \!\! \frac{(1
684: \!-\! \frac{\epsilon}4) (1 \!-\! \frac{\epsilon}{2}) \Gamma^2(1
685: \!-\! \frac{\epsilon}{2})}{\epsilon^2(1 \!-\! \frac32 \epsilon)}
686: \Bigl(\frac{H a}{2\mu}\Bigr)^{\epsilon} \!\!-\! \frac{ \Gamma(1
687: \!-\! \epsilon)}{\epsilon} \! \left[\pi \cot\Bigl(\frac{\pi
688: \epsilon}{2}\Bigr) \!+\! 2 \ln{(a)} \right] \!\! \Bigg\}
689: \delta^D(x \!-\! x')}
690: \nonumber \\
691: & &\longrightarrow \frac{i 3 H^2 a^4}{2^6 \pi^4}
692: \Bigl(\frac{2\pi}{H\mu}\Bigr)^{\epsilon} \! \Bigg\{ \!\! \frac{(1
693: \!-\! \frac{\epsilon}4) (1 \!-\! \frac{\epsilon}{2}) \Gamma^2(1
694: \!-\! \frac{\epsilon}{2})}{\epsilon^2(1 \!-\! \frac32 \epsilon)}
695: \Bigl(\frac{H}{2\mu}\Bigr)^{\epsilon} \!\!-\! \frac{\Gamma(1 \!-\!
696: \epsilon)}{
697: \epsilon} \pi \cot\Bigl(\frac{\pi \epsilon}{2}\Bigr) \nonumber \\
698: & & \hspace{4cm} - \frac1{\epsilon} \ln{(a)} \!+\! \frac12
699: \ln^2(a) \!+\! \left[\frac34 \!-\!
700: \gamma+\ln\left(\frac{H}{2\mu}\right)\right] \ln(a) \Bigg\}
701: \delta^D(x \!-\! x') \; . \qquad \label{over}
702: \end{eqnarray}
703:
704: In displaying the final result we exhibit the field strength and mass
705: renormalizations, as well as the overlapping divergence and the finite,
706: local terms. Our result for the ${\scriptscriptstyle ++}$ case is,
707: \be
708: & & M^2_{\mbox{{\tiny ss$++$}}} \longrightarrow - \frac{\l^2}{2^{10} 3\pi^4}
709: \Bigl(\frac{\pi}{\mu^2} \Bigr)^\e \frac{\G^2(1-\frac{\e}2)}{(1 \!-\!
710: \frac34\e) (1 \!-\! \frac32\e) (1 \!-\! \e) \e} \, a^2 \Bigl[\partial^2
711: \!-\! 2 H a \partial_0 \!-\! 2 H^2 a^2\Bigr] \delta^D(x \!-\! x') \nonumber \\
712: & & - \frac{\lambda^2}{2^{10} 3\pi^4} \, a^2 \Biggl\{ \ln(a) \partial^2 \!-\!
713: \Bigl(2 \ln(a) \!+\! 1\Bigr) H a \partial_0 \!-\! \Bigl(2 \ln(a) \!+\!
714: \frac32\Bigr) H^2 a^2 \Biggr\} \delta^4(x \!-\! x') \nonumber \\
715: & & + \frac{\l^2 H^2}{2^7 \pi^4} \Bigl( \frac{2 \pi}{H \mu} \Bigr)^\e
716: \Bigg\{ \frac{(1 \!-\! \frac{\epsilon}4) (1 \!-\! \frac{\e}2) \G^2(1 \!-\!
717: \frac{\e}2)}{\e^2 (1 \!-\! \frac32 \e)} \Bigl(\frac{H}{2\mu}\Bigr)^{\epsilon}
718: \!-\! \frac{\G(1 \!-\! \e)}{\e} \pi \cot\left(\frac{\pi \epsilon}{2}\right)
719: \Biggr\} a^4 \delta^D(x \!-\! x') \nonumber \\
720: & & - \frac{\lambda^2 H^2}{2^7 \pi^4} \Bigl(\frac{2 \pi}{H
721: \mu}\Bigr)^{ \epsilon} \, \frac{\ln(a)}{\epsilon} \, a^4
722: \delta^D(x \!-\! x') \!+\! \frac{ \lambda^2 H^2}{2^7 \pi^4}
723: \Biggl\{ \frac12 \ln^2(a) \!+\! \left[\frac34 \!-\!
724: \gamma+\ln\left(\frac{H}{2\mu}\right)\right] \ln(a)\Biggr\} a^4 \delta^4(x \!-\! x') \nonumber \\
725: & & + \frac{i \l^2 a a'}{2^9 \pi^6} \Bigg\{\frac1{24} \dd^4
726: \Biggl[ \frac{\ln\left(\mu^2 \D x^2_{\scriptscriptstyle
727: ++}\right)}{\D x^2_{ \scriptscriptstyle ++}} \Biggr] \!-\! H^2 a
728: a' \dd^2 \Bigg[ \ln\Bigl( \frac{He^{\frac34}}{2 \mu} \Bigr)
729: \frac{\ln\left(\mu^2 \D x^2_{ \scriptscriptstyle ++}\right)}{\D
730: x^2_{\scriptscriptstyle ++}} \!+\! \frac{\ln^2\left(\mu^2 \D
731: x^2_{\scriptscriptstyle ++} \right)}{4 \D
732: x^2_{\scriptscriptstyle ++}} \Bigg] \nonumber \\
733: & & \hspace{3.5cm} - H^4 (a a')^2 \frac{\ln^2\left(\frac{\sqrt{e}}4 H^2
734: \D x^2_{\scriptscriptstyle ++}\right)}{\D x^2_{\scriptscriptstyle ++}} \!+\!
735: \frac{H^6}6 (a a')^3 \ln^3\Bigl(\frac{\sqrt{e}}4 H^2 \D x^2_{\scriptscriptstyle
736: ++}\Bigr) \Bigg\}\; . \label{Mss++}
737: \ee
738: The ${\scriptscriptstyle --}$ case is minus the complex conjugate,
739: \be
740: & & M^2_{\mbox{{\tiny ss$--$}}} \longrightarrow \frac{\l^2}{2^{10} 3\pi^4}
741: \Bigl(\frac{\pi}{\mu^2} \Bigr)^\e \frac{\G^2(1-\frac{\e}2)}{(1 \!-\!
742: \frac34\e) (1 \!-\! \frac32\e) (1 \!-\! \e) \e} \, a^2 \Bigl[\partial^2
743: \!-\! 2 H a \partial_0 \!-\! 2 H^2 a^2\Bigr] \delta^D(x \!-\! x') \nonumber \\
744: & & + \frac{\lambda^2}{2^{10} 3\pi^4} \, a^2 \Biggl\{ \ln(a) \partial^2 \!-\!
745: \Bigl(2 \ln(a) \!+\! 1\Bigr) H a \partial_0 \!-\! \Bigl(2 \ln(a) \!+\!
746: \frac32\Bigr) H^2 a^2 \Biggr\} \delta^4(x \!-\! x') \nonumber \\
747: & & - \frac{\l^2 H^2}{2^7 \pi^4} \Bigl( \frac{2 \pi}{H \mu}
748: \Bigr)^\e \Bigg\{ \frac{(1 \!-\! \frac{\epsilon}4) (1 \!-\!
749: \frac{\e}2) \G^2(1 \!-\! \frac{\e}2)}{\e^2 (1 \!-\! \frac32 \e)}
750: \Bigl(\frac{H}{2\mu}\Bigr)^{\epsilon} \!-\! \frac{\G(1 \!-\!
751: \e)}{\e} \pi \cot\left(\frac{\pi \epsilon}{2}\right)
752: \Biggr\} a^4\delta^D(x \!-\! x') \nonumber \\
753: & & + \frac{\lambda^2 H^2}{2^7 \pi^4} \Bigl(\frac{2 \pi}{H
754: \mu}\Bigr)^{ \epsilon} \, \frac{\ln(a)}{\epsilon} \, a^4
755: \delta^D(x \!-\! x') \!-\! \frac{ \lambda^2 H^2}{2^7 \pi^4}
756: \Biggl\{ \frac12 \ln^2(a) \!+\! \left[\frac34 \!-\!
757: \gamma+\ln\left(\frac{H}{2\mu}\right)\right] \ln(a)\Biggr\} a^4 \delta^4(x \!-\! x') \nonumber \\
758: & & + \frac{i \l^2 a a'}{2^9 \pi^6} \Bigg\{\frac1{24} \dd^4
759: \Biggl[ \frac{\ln\left(\mu^2 \D x^2_{\scriptscriptstyle
760: --}\right)}{\D x^2_{ \scriptscriptstyle --}} \Biggr] \!-\! H^2 a
761: a' \dd^2 \Bigg[ \ln\Bigl( \frac{He^{\frac34}}{2 \mu} \Bigr)
762: \frac{\ln\left(\mu^2 \D x^2_{ \scriptscriptstyle --}\right)}{\D
763: x^2_{\scriptscriptstyle --}} \!+\! \frac{\ln^2\left(\mu^2 \D
764: x^2_{\scriptscriptstyle --} \right)}{4 \D
765: x^2_{\scriptscriptstyle --}} \Bigg] \nonumber \\
766: & & \hspace{3.5cm} - H^4 (a a')^2 \frac{\ln^2\left(\frac{\sqrt{e}}4 H^2
767: \D x^2_{\scriptscriptstyle --}\right)}{\D x^2_{\scriptscriptstyle --}} \!+\!
768: \frac{H^6}6 (a a')^3 \ln^3\Bigl(\frac{\sqrt{e}}4 H^2 \D x^2_{\scriptscriptstyle
769: --}\Bigr) \Bigg\}\; . \label{Mss--}
770: \ee
771: The mixed polarities lack the local terms and differ by a sign,
772: \be
773: & & M^2_{\mbox{{\tiny ss$+-$}}} = \frac{i \l^2}{6}
774: (aa')^{4-\e}[i\D_{+-}(x;x')]^3=-i\frac{\l^2 a a'}{2^9
775: \pi^6}\Bigg\{\frac{1}{24}\dd^4\left[\frac{\ln\left(\mu^2\D
776: x^2_{+-}\right)}{\D x^2_{+-}}\right]\nonumber\\&&-H^2a a'\dd^2
777: \left[\ln\left(\frac{He^{\frac{3}{4}}}{2\mu}\right)\frac{\ln\left(\mu^2\D
778: x^2_{+-}\right)}{\D x^2_{+-}}+\frac{1}{4}\frac{\ln^2\left(\mu^2\D
779: x^2_{+-}\right)}{\D x^2_{+-}}\right]-H^4(a
780: a')^2\frac{\ln^2\left(\frac{\sqrt{e}}{4}H^2\D x^2_{+-}\right)}{\D
781: x^2_{+-}}\nonumber\\&&\hspace{8.5cm}+\frac{H^6}{6}(a
782: a')^3\ln^3\left(\frac{\sqrt{e}}{4}H^2\D x^2_{+-}\right)\Bigg\} \; , \\
783: & & M^2_{\mbox{{\tiny ss$-+$}}}= \frac{i \l^2}{6}
784: (aa')^{4-\e}[i\D_{-+}(x;x')]^3=-i\frac{\l^2 a a'}{2^9
785: \pi^6}\Bigg\{\frac{1}{24}\dd^4\left[\frac{\ln\left(\mu^2\D
786: x^2_{-+}\right)}{\D x^2_{-+}}\right]\nonumber\\&&-H^2a a'\dd^2
787: \left[\ln\left(\frac{He^{\frac{3}{4}}}{2\mu}\right)\frac{\ln\left(\mu^2\D
788: x^2_{-+}\right)}{\D x^2_{-+}}+\frac{1}{4}\frac{\ln^2\left(\mu^2\D
789: x^2_{-+}\right)}{\D x^2_{-+}}\right]-H^4(a
790: a')^2\frac{\ln^2\left(\frac{\sqrt{e}}{4}H^2\D x^2_{-+}\right)}{\D
791: x^2_{-+}}\nonumber\\&&\hspace{8.5cm}+\frac{H^6}{6}(a
792: a')^3\ln^3\left(\frac{\sqrt{e}}{4}H^2\D x^2_{-+}\right)\Bigg\} \; .
793: \ee
794:
795: \section{The Snowman Diagram}
796:
797: The primitive two loop graph is known as the snowman (sm) diagram. Unlike
798: the sunset diagram, it contributes only to $M^2_{\scriptscriptstyle ++}$ and
799: $M^2_{\scriptscriptstyle --}$. Its generic topology is depicted in
800: Fig.~\ref{fig4}. The right hand diagram depicts the 1-loop mass counterterm
801: which naturally combines with it.
802:
803: \begin{figure}[htbp]
804: \centerline{\epsfig{file=snowman1.eps,
805: width=2.2in,height=1.65in }}
806: \caption{Generic Snowman Diagram with mass counterterm. \label{fig4} }
807: \end{figure}
808:
809: Because both external points of this diagram must have the same
810: polarity we denote the contributions with a single subscript sign,
811: $M^2_{\mbox{{\tiny sm+}}}$ and $M^2_{\mbox{{\tiny sm-}}}$. The
812: internal vertices are summed over both polarities, as always in
813: the Schwinger-Keldysh formalism. A simple application of the
814: Feynman rules gives, \be
815: \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! & &
816: \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! \lefteqn{-iM^2_{\mbox{{\tiny
817: sm+}}} \!\! = \!\!\frac{-i\l a^D}{2} \d^D(x-x') \!\! \int d^Dx''
818: a''^D\Biggl\{
819: [i\D_{++}(x;x'')]^2-[i\D_{+-}(x;x'')]^2\Biggr\}}\nonumber\\&&\hspace{8.5cm}
820: \times\Bigg\{ \frac{(-i\l)}{2}i\D(x'';x'')-i\d m^2\Bigg\} \; .\ee
821: Since both diagrams of Fig.~\ref{fig4} have the same lower loop,
822: they possess a common factor in the first curly bracket. The first
823: term within the final curly bracket derives from the left hand
824: diagram, while the second term comes from the right hand diagram.
825:
826: The coincident propagator and the mass counter term are calculated in
827: (\ref{coin}) and (\ref{massct}) respectively. Once they are inserted into
828: the above equation, one finds
829: \be
830: -iM^2_{\mbox{{\tiny sm+}}} \!\! = \!\! \frac{-\l^2 H^{2-\e} a^{4-\e}}{2^{5-\e}
831: \pi^{2-\frac{\e}{2}}} \frac{\G(3\!-\!\e)}{\G(2\!-\!\frac{\e}{2})}
832: \d^D(x\!-\!x') \!\! \int \!\! d^4x'' a''^{4-\e}\!\ln(a'')\Bigg\{\!
833: [i\D_{++}(x;x'')]^2\!-\![i\D_{+-}(x;x'')]^2\!\Bigg\}\; .
834: \nonumber \label{2lnew} \!\!\!\!\!\!\!\!\!\!\! \\
835: \ee
836: The squares of the various propagators are computed in Appendix B and the
837: results we need are (\ref{D2++}) and (\ref{D2--})
838: \be
839: \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!-iM^2_{\mbox{{\tiny sm+}}} \!\! & = &
840: \!\! \frac{i \l^2 H^2 a^4}{2^7\pi^4} \Bigl(\frac{2 \pi}{H \mu} \Bigr)^\e
841: \frac{\G(1 \!-\! \e)}{\e} \ln(a) \d^D(x \!-\! x') \nonumber \\
842: & & \!\! + \frac{\l^2 H^2a^2}{2^{10}\pi^6}\d^4(x \!-\! x')(-\dd^2_0)\int
843: d^4x'' a''^2\ln(a'')\left[\frac{\ln(\mu^2\D x^2_{\scriptscriptstyle ++})}{\D
844: x^2_{\scriptscriptstyle ++}}-\frac{\ln(\mu^2\D x^2_{\scriptscriptstyle +-})}{\D
845: x^2_{\scriptscriptstyle +-}}\right]\nonumber\\ &&\!\!+\frac{\l^2 H^4
846: a^3}{2^8\pi^6}\d^4(x-x')\int d^4x''
847: a''^3\ln(a'')\Bigg[\frac{\ln(\frac{H^2\sqrt{e}}{4}\D x^2_{\scriptscriptstyle
848: ++})}{\D x^2_{\scriptscriptstyle ++}} - \frac{\ln(\frac{H^2\sqrt{e}}{4}\D
849: x^2_{\scriptscriptstyle +-})}{\D x^2_{\scriptscriptstyle \scriptscriptstyle
850: +-}}\Bigg] \nonumber \\
851: & & \!\!-\frac{\l^2 H^6
852: a^4}{2^{10}\pi^6}\d^4(x-x')\!\!\int\!\! d^4x''
853: a''^4\ln(a'')\Bigg[\!\ln^2\!\!\left(\!\frac{H^2\sqrt{e}}{4}\D
854: x^2_{\scriptscriptstyle ++}\right)\!-\!\ln^2\!\!\left(\!\frac{H^2\sqrt{e}}{4}\D
855: x^2_{\scriptscriptstyle +-}\right)\!\!\Bigg]\; , \label{smints} \\
856: & \longrightarrow & \!\! \frac{i \l^2 H^2}{2^7\pi^4} \Bigl(\frac{2 \pi}{H \mu}
857: \Bigr)^\e \Biggl\{\frac{\ln(a)}{\e} \!+\! \gamma \ln(a) \Biggr\} \, a^4
858: \d^D(x \!-\! x') \nonumber \\
859: & & \hspace{2cm} +
860: \frac{\lambda^2 H^2 a^2}{2^{10} \pi^6} \delta^4(x \!-\! x') \Bigl\{ I_1 + 4
861: H^2 a I_2 - H^4 a^2 I_3\Bigr\} \; .
862: \ee
863: The integrals $I_1$, $I_2$ and $I_3$ are evaluated in Appendix D and the
864: results are expressions (\ref{I1}), (\ref{I2}), and (\ref{I3}). Substituting
865: these and adding everything up gives,
866: \be
867: M^2_{\mbox{{\tiny sm+}}} \!\! & = & \!\! -\frac{\l^2 H^2}{2^7\pi^4}
868: \Bigl(\frac{2 \pi}{H \mu} \Bigr)^\e \, \frac{\ln(a)}{\e} \, a^4
869: \delta^D(x \!-\! x') + \frac{\l^2 H^2}{2^7 \pi^4} \, a^4 \d^4(x \!-\! x')
870: \Bigg\{-\frac49 \ln^3(a) \nonumber \\
871: & & \!\! + \frac{13}{18} \ln^2(a) \!+\! \Bigl[\ln\Bigl(\frac{H}{2 \mu}\Bigr)
872: \!+\! \frac83 \!-\! \gamma \!-\! \frac29 \pi^2 \Bigr] \ln(a) \!-\!
873: \frac{238}{81} \!+\! \frac{13}{54} \pi^2 \!+\! \frac43 \zeta(3) \!+\!
874: \frac{a^{-3}}{81} \nonumber \\
875: & & \!\! - \sum_{n=1}^\infty \frac{n+5}{(n+1)^3} a^{-(n+1)} \!+\! 4
876: \sum_{n=1}^\infty\frac{a^{-(n+2)}}{(n+2)^3} \!+\! 4 \sum_{n=1}^\infty
877: \frac{a^{-(n+3)}}{n(n+3)^3} \Bigg\} \label{SMa} \; . \label{Msm++}
878: \ee
879: Note that the overlapping divergence from the first term is the same as the
880: one from the sunset diagram. The ${\scriptscriptstyle --}$ case is minus
881: (\ref{Msm++}).
882:
883: \section{The Counter Diagrams}
884:
885: We have already encountered the mass counterterm in Section III. At the
886: order we are working there is also a one loop diagram with $\lambda$
887: replaced by $\delta \lambda$, and there is a field strength renormalization.
888: The generic diagram topologies are depicted in Fig.~\ref{fig5}. Note that
889: neither diagram contributes to the mixed polarities.
890:
891: \begin{figure}[htbp]
892: \centerline{\epsfig{file=counter.eps,
893: width=2.3in,height=1.1in }}
894: \caption{Generic Counter Diagrams. The one on the left is the same as
895: Fig.~\ref{fig1} but with $\delta \lambda$ in place of $\lambda$.
896: The one on the right is the field strength renormalization. \label{fig5} }
897: \end{figure}
898:
899: The contribution of the one loop counter vertex diagram to the
900: ${\scriptscriptstyle ++}$ polarity is,
901: \be
902: -iM^2_{\mbox{{\tiny cv+}}} & = & -i \frac{\d\l}2 a^D i \D(x';x') \d^D(x-x')
903: \; . \label{cv}
904: \ee
905: Of course we can read off the answer from Section III,
906: \be
907: M^2_{\mbox{{\tiny cv+}}} & = & \frac{3 H^2 \l^2 a^{4-\e}}{2^8 \pi^4}
908: \Bigl(\frac{2\pi}{\mu H}\Bigr)^\e \, \frac{\G(1 \!-\! \e)}{\e} \Bigg\{ 2 \ln(a)
909: + \pi \cot\Bigl(\frac{\pi\e}{2}\Bigr) \Bigg\} \d^D(x \!-\! x') \; , \\
910: & \longrightarrow & \frac{H^2 \lambda^2}{2^7 \pi^4} \Bigl(\frac{2 \pi}{\mu H}
911: \Bigr)^{\epsilon} \left\{\frac32 \frac{\Gamma(1 \!-\! \epsilon)}{\epsilon}
912: \pi \cot\Bigl(\frac{\pi \epsilon}2 \Bigr) - \frac32 \ln^2(a) \right\} a^4
913: \d^D(x \!-\! x') \; . \label{Mcv++}
914: \ee
915: The ${\scriptscriptstyle --}$ case is minus this.
916:
917: The contribution of field strength renormalization to the
918: ${\scriptscriptstyle ++}$ polarity is,
919: \be
920: M^2_{\mbox{{\tiny $\delta Z$+} }} = - \delta Z \eta^{\mu\nu} \dd_\mu \Bigl(
921: a^{D-2} \dd_\nu \d^D(x \!-\! x') \Bigr) = - \d Z a^{2-\e} \Bigl( \dd^2 \!-\!
922: (2 \!-\! \e) H a \dd_0 \Bigr) \d^D(x \!-\! x') \; .
923: \ee
924: The only primitive graph with a divergence proportional to $a^2 \Bigl(
925: \partial^2 \!-\! 2 H a \partial_0\Bigr) \delta^D(x-x')$ is the sunset diagram.
926: Comparison with our result (\ref{Mss++}) for it implies, \be \d Z
927: = - \frac{\l^2}{2^{10} 3 \pi^4} \!
928: \Bigl(\frac{\pi}{\mu^2}\Bigr)^\e \, \frac{\G^2(1 \!-\!
929: \frac{\e}2)}{(1 \!-\! \frac34\e) (1 \!-\! \frac32 \e) (1 \!-\! \e)
930: \e} \; . \ee Although some finite, local terms result from
931: expanding $a^{-\epsilon} = 1 - \epsilon \ln(a) + O(\epsilon^2)$
932: there are no overlapping divergences from the field strength
933: renormalization at two loop order, \be M^2_{\mbox{{\tiny $\delta
934: Z$+} }} & = & \frac{\l^2}{2^{10} 3 \pi^4} \! \Bigl(
935: \frac{\pi}{\mu^2} \Bigr)^\e \, \frac{\G^2(1 \!-\!
936: \frac{\e}{2})}{(1 \!-\! \frac34\e) (1 \!-\! \frac32 \e) (1 \!-\!
937: \e) \e} \, a^2 \Bigl( \dd^2
938: \!-\! 2 H a \dd_0 \Bigr) \d^D(x \!-\! x') \nonumber \\
939: & & \hspace{2cm} + \frac{\l^2}{2^{10} 3 \pi^4} \, a^2 \left[ -\ln(a) \partial^2
940: \!+\! \Bigl(2 \ln(a) \!+\! 1\Bigr) H a \partial_0 \right] \delta^4(x \!-\!x')
941: \; . \label{Mz++}
942: \ee
943:
944: After field strength renormalization, all remaining divergences
945: reside on $a^4 \d^D(x \!-\!x')$. Such contributions comes from the
946: sunset diagram (\ref{Mss++}) and the counter vertex (\ref{Mcv++}).
947: Comparison with these results suggests that the simplest choice
948: for the two loop mass counterterm is, \be \d m^2
949: \Bigl\vert_{\lambda^2} & = & -\frac{\l^2H^2}{2^7 \pi^4}
950: \Bigl(\frac{2 \pi}{H \mu}\Bigr)^{\epsilon} \, \Bigg\{
951: \Bigl(\frac{H}{2 \mu}\Bigr)^{\epsilon} \frac{\Gamma^2(1 \!-\!
952: \frac{\epsilon}2)}{12 (1 \!-\! \frac32 \epsilon) (1 \!-\! \frac34
953: \e) (1 \!-\! \e) \e} \!+\! \Bigl(\frac{H}{2 \mu} \Bigr)^\e \,
954: \frac{(1 \!-\! \frac{\epsilon}4) (1 \!-\!\frac{\epsilon}{2})
955: \Gamma^2(1 \!-\!
956: \frac{\epsilon}2)}{(1 \!-\! \frac32 \epsilon) \epsilon^2} \nonumber \\
957: & & \hspace{2cm} + \frac{\G(1 \!-\!\e)}{2 \e}
958: \pi\cot{\Bigl(\frac{\pi \e}2\Bigr)} +\frac1{16} - \frac{238}{81} +
959: \frac{13}{54} \pi^2 + \frac43 \zeta(3) \Bigg\} \; . \ee Of course
960: the mass counterterm is $M^2_{\scriptscriptstyle \delta m +} =
961: \delta m^2 a^{4 - \epsilon} \delta^D(x \!-\! x')$. Using the
962: expansion $a^{-\epsilon} = 1 \!-\! \epsilon \ln(a) \!+\! \frac12
963: \epsilon^2 \ln^2(a) \!+\! O(\epsilon^3)$ we see that the two loop
964: contribution is,
965: \begin{eqnarray}
966: \lefteqn{M^2_{\mbox{{\tiny $\delta m$+} }} \!\! \Biggl\vert_{\lambda^2}
967: \!\!\!\!\!\ \longrightarrow -
968: \frac{\lambda^2 H^2}{2^7 \pi^4} \Bigl(\frac{2 \pi}{H \mu}\Bigr)^{\epsilon}
969: \Bigg\{\Bigl(\frac{H}{2 \mu} \Bigr)^\e \, \frac{\Gamma^2(1 \!-\!
970: \frac{\epsilon}2)}{12 (1 \!-\! \frac32 \epsilon) (1 \!-\! \frac34 \e) (1 \!-\!
971: \e) \e} \!+\! \Bigl(\frac{H}{2 \mu} \Bigr)^\e \, \frac{(1 \!-\!
972: \frac{\epsilon}4) (1 \!-\! \frac{\epsilon}2) \Gamma^2(1 \!-\!
973: \frac{\epsilon}2)}{(1 \!-\! \frac32 \epsilon) \epsilon^2}} \nonumber \\
974: & & + \frac{\Gamma(1 \!-\! \e)}{2 \epsilon} \pi
975: \cot{\Bigl(\frac{\pi \epsilon} 2\Bigr)} \Biggr\} a^4 \delta^D(x
976: \!-\! x') + \frac{\lambda^2 H^2}{2^6 \pi^4} \Bigl(\frac{2 \pi}{H
977: \mu}\Bigr)^{
978: \epsilon} \, \frac{\ln(a)}{\epsilon} \, a^4 \delta^D(x \!-\! x') \nonumber \\
979: & & - \frac{\lambda^2 H^2}{2^7 \pi^4} \Biggl\{ \ln^2(a) \!-\!
980: \Biggl[\frac56 \!+\! 2 \gamma \!+\! \ln\Bigl(\frac{H}{2
981: \mu}\Bigr)\Biggr] \ln(a) \!+\! \frac1{16} \!-\! \frac{238}{81}
982: \!+\! \frac{13}{54} \pi^2 \!+\! \frac43 \zeta(3) \Bigg\} a^4
983: \delta^4(x \!-\! x') \; . \label{Mm++}
984: \end{eqnarray}
985: Note that the nonlocal divergence precisely cancels the nonlocal divergences
986: from the sunset diagram (\ref{Mss++}) and the snowman diagram (\ref{Msm++}).
987: As usual, the ${\scriptscriptstyle --}$ polarity is minus (\ref{Mm++}).
988:
989: \section{The Fully Renormalized Result}
990:
991: To get the full two loop result for the ${\scriptscriptstyle ++}$ case we
992: add the contributions from the sunset diagram (\ref{Mss++}), the snowman
993: diagram (\ref{Msm++}), the counter vertex diagram (\ref{Mcv++}), the field
994: strength renormalization (\ref{Mz++}) and the two loop mass renormalization
995: (\ref{Mm++}),
996: \be
997: & & \!\!\!\!\!\!M^2_{\mbox{{\tiny 2++}}} \!=\! M^2_{\mbox{{\tiny ss++}}}
998: + M^2_{\mbox{{\tiny sm+}}} + M^2_{\mbox{{\tiny cv+}}} +
999: M^2_{\mbox{{\tiny $\delta Z$+}}} + M^2_{\mbox{{\tiny $\delta m$+}}}\nonumber \\
1000: & & \!\!\!\!\!\! = \! \frac{i \l^2}{2^9 \pi^6} \Bigg\{\frac{a a'}{24} \dd^4
1001: \Biggl[\frac{\ln\left(\mu^2 \D x^2_{\scriptscriptstyle ++}\right)}{\D
1002: x^2_{\scriptscriptstyle ++}} \Biggr] \!-\! H^2 (a a')^2 \dd^2 \Biggl[
1003: \ln\Bigl(\frac{H e^{\frac34}}{2 \mu}\!\Bigr) \frac{\ln\left(\mu^2 \D x^2_{
1004: \scriptscriptstyle ++}\right)}{\D x^2_{\scriptscriptstyle ++}} \!+\!
1005: \frac{\ln^2\left(\mu^2 \D x^2_{\scriptscriptstyle ++}\right)}{4 \D x^2_{
1006: \scriptscriptstyle ++}}\Biggr] \nonumber \\
1007: & & - H^4 (a a')^3 \frac{ \ln^2\left(\frac{\sqrt{e}}4 H^2 \D
1008: x^2_{\scriptscriptstyle ++}\right)}{\D x^2_{\scriptscriptstyle ++}} \!+\!
1009: \frac{H^6}6 (a a')^4 \! \ln^3\Bigl(\frac{\sqrt{e}}4 H^2 \D x^2_{
1010: \scriptscriptstyle ++} \Bigr) \Bigg\} \nonumber \\
1011: & & + \frac{\l^2}{2^9 3\, \pi^4} \, a^2 \Biggl\{-\ln(a) \dd^2 \!+\!
1012: \Bigl(2 \ln(a) \!+\! 1\Bigr) H a \partial_0 \Biggr\} \delta^4(x \!-\! x')
1013: \nonumber \\
1014: & & + \frac{\lambda^2 H^2}{2^7 \pi^4} \Biggl\{-\frac49 \ln^3(a)
1015: \!-\! \frac{23}{18} \ln^2(a) \!+\! \Biggl[\frac{13}3 \!+\! 3
1016: \ln\Bigl(\frac{H}{2 \mu} \Bigr) \!-\! \frac29 \pi^2 \Biggr] \ln(a)
1017: \Biggl\} a^4 \delta^4(x \!-\! x')
1018: \nonumber \\
1019: & & + \frac{\lambda^2 H^2}{2^7 \pi^4} \Biggl\{ \frac{a^{-3}}{81} \!-\!
1020: \sum_{n=1}^\infty \frac{n+5}{(n+1)^3}a^{-(n+1)} \!+\! 4 \sum_{n=1}^\infty
1021: \frac{a^{-(n+2)}}{(n+2)^3} \!+\! 4 \sum_{n=1}^\infty\frac{a^{-(n+3)}}{n(n+3)^3}
1022: \Biggr\} a^4 \delta^4(x \!-\! x') \; . \label{M2++}
1023: \ee
1024: As with the renormalized stress-energy tensor \cite{OW2}, we conjecture
1025: that the exponentially falling terms on the last line could be absorbed
1026: into a perturbative modification of the initial state. The ${
1027: \scriptscriptstyle --}$ polarity is minus the complex conjugate,
1028: \be
1029: & & \!\!\!\!\!\! M^2_{\mbox{{\tiny 2$--$}}} \!=\! -\Bigl(M^2_{\mbox{{\tiny
1030: 2++}}} \Bigr)^* \nonumber \\
1031: & & \!\!\!\!\!\! = \! \frac{i \l^2}{2^9 \pi^6} \Bigg\{\frac{a a'}{24} \dd^4
1032: \Biggl[\frac{\ln\left(\mu^2 \D x^2_{\scriptscriptstyle --}\right)}{\D
1033: x^2_{\scriptscriptstyle --}} \Biggr] \!-\! H^2 (a a')^2 \dd^2 \Biggl[
1034: \ln\Bigl(\frac{H e^{\frac34}}{2 \mu}\!\Bigr) \frac{\ln\left(\mu^2 \D x^2_{
1035: \scriptscriptstyle --}\right)}{\D x^2_{\scriptscriptstyle --}} \!+\!
1036: \frac{\ln^2\left(\mu^2 \D x^2_{\scriptscriptstyle --}\right)}{4 \D x^2_{
1037: \scriptscriptstyle --}}\Biggr] \nonumber \\
1038: & & - H^4 (a a')^3 \frac{ \ln^2\left(\frac{\sqrt{e}}4 H^2 \D
1039: x^2_{\scriptscriptstyle --}\right)}{\D x^2_{\scriptscriptstyle --}} \!+\!
1040: \frac{H^6}6 (a a')^4 \! \ln^3\Bigl(\frac{\sqrt{e}}4 H^2 \D x^2_{
1041: \scriptscriptstyle --} \Bigr) \Bigg\} \nonumber \\
1042: & & - \frac{\l^2}{2^9 3\, \pi^4} \, a^2 \Biggl\{-\ln(a) \dd^2 \!+\!
1043: \Bigl(2 \ln(a) \!+\! 1\Bigr) H a \partial_0 \Biggr\} \delta^4(x \!-\! x')
1044: \nonumber \\
1045: & & - \frac{\lambda^2 H^2}{2^7 \pi^4} \Biggl\{-\frac49 \ln^3(a)
1046: \!-\! \frac{23}{18} \ln^2(a) \!+\! \Biggl[\frac{13}3 \!+\! 3
1047: \ln\Bigl(\frac{H}{2 \mu} \Bigr) \!-\! \frac29 \pi^2 \Biggr] \ln(a)
1048: \Biggl\} a^4 \delta^4(x \!-\! x')
1049: \nonumber \\
1050: & & - \frac{\lambda^2 H^2}{2^7 \pi^4} \Biggl\{ \frac{a^{-3}}{81}
1051: \!-\! \sum_{n=1}^\infty \frac{n+5}{(n+1)^3}a^{-(n+1)} \!+\! 4
1052: \sum_{n=1}^\infty \frac{a^{-(n+2)}}{(n+2)^3} \!+\! 4
1053: \sum_{n=1}^\infty\frac{a^{-(n+3)}}{n(n+3)^3} \Biggr\} a^4
1054: \delta^4(x \!-\! x') \; . \label{m--} \ee As usual, the
1055: ${\scriptscriptstyle +-}$ and ${\scriptscriptstyle -+}$ polarities
1056: have the opposite sign and lack the local terms, \be
1057: \!\!\!\!\!\!M^2_{\mbox{{\tiny2$+-$}}}\!\!&=&\!\! -\frac{i
1058: \l^2}{2^9 \pi^6} \Bigg\{\frac{a a'}{24} \dd^4
1059: \Biggl[\frac{\ln\left(\mu^2 \D x^2_{\scriptscriptstyle
1060: +-}\right)}{\D x^2_{\scriptscriptstyle +-}} \Biggr] \!-\! H^2 (a
1061: a')^2 \dd^2 \Biggl[ \ln\Bigl(\frac{H e^{\frac34}}{2 \mu}\!\Bigr)
1062: \frac{\ln\left(\mu^2 \D x^2_{ \scriptscriptstyle +-}\right)}{\D
1063: x^2_{\scriptscriptstyle +-}} \!+\! \frac{\ln^2\left(\mu^2 \D
1064: x^2_{\scriptscriptstyle +-}\right)}{4 \D x^2_{
1065: \scriptscriptstyle + -}}\Biggr] \nonumber \\
1066: \!\!&&\!\!- H^4 (a a')^3 \frac{ \ln^2\left(\frac{\sqrt{e}}4 H^2 \D
1067: x^2_{\scriptscriptstyle +-}\right)}{\D x^2_{\scriptscriptstyle
1068: +-}} \!+\! \frac{H^6}6 (a a')^4 \! \ln^3\Bigl(\frac{\sqrt{e}}4 H^2
1069: \D x^2_{ \scriptscriptstyle +-} \Bigr) \Bigg\}\\
1070: \!\!\!\!\!\!M^2_{\mbox{{\tiny 2$-+$}}}\!\!&=&\!\! -\frac{i
1071: \l^2}{2^9 \pi^6} \Bigg\{\frac{a a'}{24} \dd^4
1072: \Biggl[\frac{\ln\left(\mu^2 \D x^2_{\scriptscriptstyle
1073: -+}\right)}{\D x^2_{\scriptscriptstyle -+}} \Biggr] \!-\! H^2 (a
1074: a')^2 \dd^2 \Biggl[ \ln\Bigl(\frac{H e^{\frac34}}{2 \mu}\!\Bigr)
1075: \frac{\ln\left(\mu^2 \D x^2_{ \scriptscriptstyle -+}\right)}{\D
1076: x^2_{\scriptscriptstyle -+}} \!+\! \frac{\ln^2\left(\mu^2 \D
1077: x^2_{\scriptscriptstyle -+}\right)}{4 \D x^2_{
1078: \scriptscriptstyle -+}}\Biggr] \nonumber \\
1079: \!\!&&\!\!- H^4 (a a')^3 \frac{ \ln^2\left(\frac{\sqrt{e}}4 H^2 \D
1080: x^2_{\scriptscriptstyle -+}\right)}{\D x^2_{\scriptscriptstyle
1081: +-}} \!+\! \frac{H^6}6 (a a')^4 \! \ln^3\Bigl(\frac{\sqrt{e}}4 H^2
1082: \D x^2_{ \scriptscriptstyle -+} \Bigr) \Bigg\} \ee
1083:
1084: \section{Discussion}
1085:
1086: We have computed and fully renormalized the four Schwinger-Keldysh
1087: self-mass-squared's at one and two loop orders for massless, minimally
1088: coupled $\varphi^4$ (\ref{simL}) on a locally de Sitter background
1089: (\ref{ds^2}). The next step is using our results to study the
1090: quantum-corrected, effective field equations at linearized order
1091: (\ref{linord}). The term ``$M^2(x;x')$'' called for in (\ref{linord}) is
1092: the sum of $M^2_{\scriptscriptstyle ++}(x;x')$ and $M^2_{\scriptscriptstyle
1093: +-}(x;x')$. The analysis --- which will be presented in a subsequent paper
1094: --- is very similar to that already done for de Sitter photons using the
1095: one loop vacuum polarization \cite{PW1} and for de Sitter fermions using
1096: the one loop self-energy \cite{PW2}.
1097:
1098: There are two interesting issues to investigate. The first is stability.
1099: Secular effects in this system are driven by inflationary particle
1100: production which forces the scalar up its $\varphi^4$ potential. One
1101: would expect this to generate a {\it positive} mass-squared, and it is
1102: significant that our one loop result (\ref{M1++}) is positive. The two
1103: loop result (\ref{M2++}) is a little too complicated to interpret
1104: without a detailed calculation of the type proposed, but we expect no
1105: problems with stability.
1106:
1107: The second interesting issue is an apparent paradox in the stochastic
1108: solution of this model which was given in 1994 by Starobinski\u{\i} and
1109: Yokoyama \cite{SY}. As we noted in the introduction, this model is
1110: stable for two reasons. First, as inflationary particle production forces the
1111: scalar up its potential the classical force pushes it back down. Second,
1112: the curvature of the potential ought to induce a positive mass-squared
1113: which should reduce the inflationary particle production. However, the
1114: solution of Starobinski\u{\i} and Yokoyama implements only the first effect.
1115: Although it would be possible to implement the second effect as well
1116: within the context of Starobinski\u{\i}'s stochastic technique \cite{Staro},
1117: including just the first effect gives perfect agreement at leading
1118: logarithm order as high as this has been checked. The question is why
1119: should this be so? A possible answer is that the nonzero self-mass-squared
1120: remains always down by one factor of $\ln(a)$. Whereas the leading
1121: logarithms of the energy density give a series in $\lambda \ln^2(a)$,
1122: \begin{equation}
1123: \rho \Bigl\vert_{\rm leading} = H^4 \sum_{\ell = 2}^{\infty}
1124: \rho_{\ell} \Bigl(\lambda \ln^2(a) \Bigr)^{\ell -1} \; ,
1125: \end{equation}
1126: it may be that the self-mass-squared behaves as such a series times
1127: $\lambda \ln(a)$,
1128: \begin{equation}
1129: M^2(x;x') \Bigl\vert_{\rm leading} = H^2 a^4 \delta^4(x \!-\! x') \times
1130: \lambda \ln(a) \sum_{\ell = 1}^{\infty} m_{\ell} \Bigl(\lambda \ln^2(a)
1131: \Bigr)^{\ell-1} \; .
1132: \end{equation}
1133:
1134: It is worth noting that, had gravity been quantized, there would have been
1135: similar corrections from graviton exchange. While the physics of the pure
1136: scalar model pretty much guarantees that a positive self-mass-squared must
1137: be induced, there is no such argument for gravity. If the induced
1138: self-mass-squared turns out to be tachyonic it might have important implications
1139: for scalar-driven inflation. Further, there is no reason the gravitational
1140: process should ever stop. The graviton should not experience a classical force
1141: since it has no non-derivative potential. Nor should the graviton ever
1142: develop a mass. This might be significant for scalar-driven models which
1143: inflate for a very large number of e-foldings.
1144:
1145: We close with a comment on accuracy. Two loop computations are generally
1146: intricate enough that this becomes an issue. In this regard it is worth
1147: noting that three distinct diagrams conspire to cancel the overlapping
1148: divergences. This is significant because there are no overlapping divergences
1149: at this order in massless $\varphi^4$ on flat space.
1150:
1151: It is also a significant correspondence check that we get the
1152: same results for $\delta \lambda$ (at one loop) and $\delta Z$ (at two
1153: loops) as for massless $\varphi^4$ in flat space. This had to be the
1154: case because the divergences these counterterms absorb are formally
1155: logarithmic. Because geometric corrections make divergences more finite,
1156: any geometric corrections to $\delta \lambda$ and $\delta Z$ must be
1157: finite. The same is not the case for $\delta m^2$ because the divergences
1158: it cancels are formally quadratic. Indeed, $\delta m^2$ vanishes for
1159: massless $\varphi^4$ in flat space whereas we found logarithmically
1160: divergent corrections proportional to $H^2$ at both one and two loop
1161: orders.
1162:
1163: \section{Appendix}
1164:
1165: \subsection{Partial Integration Identities}
1166:
1167: In almost all cases derivatives of the conformal coordinate intervals
1168: ${\Delta x}^2_{\scriptscriptstyle \pm\pm}(x;x')$ can be taken generically,
1169: without regard to polarity and without worrying about delta functions,
1170: \begin{equation}
1171: \partial^2 \left( \frac1{\Delta x^{n - m \epsilon}_{\scriptscriptstyle \pm\pm}}
1172: \right) = \frac{\Bigl( n \!-\! m \epsilon\Bigr) \Bigl(n \!-\! 2 \!-\!
1173: (m \!-\! 1) \epsilon\Bigr)}{\Delta x^{n + 2 - m \epsilon}_{\scriptscriptstyle
1174: \pm \pm}} \qquad \qquad \Bigl(n \neq 2 \;\; {\rm or} \;\; m \neq 1\Bigr) .
1175: \end{equation}
1176: The exception is $1/{\Delta x}^{2 - \epsilon}$,
1177: \begin{equation}
1178: \partial^2 \left(\frac1{\Delta x^{2-\e}_{++}}\right) =
1179: \frac{i 4 \pi^{2-\frac{\e}2}}{\Gamma(1 \!-\! \frac{\e}{2})}
1180: \, \delta^D(x \!-\! x') = -\partial^2 \left(\frac1{\Delta x^{2-\e}_{--}}
1181: \right) \;\;\; , \;\;\; \partial^2 \left(\frac1{\Delta x^{2-\e}_{+-}}\right)
1182: = 0 = \partial^2 \left(\frac1{\Delta x^{2-\e}_{- +}} \right) . \label{delta}
1183: \end{equation}
1184: These identities allow one to extract more and more derivatives of inverse
1185: powers of $\Delta x^2_{\scriptscriptstyle \pm\pm}$ until the result is
1186: integrable in $D=4$ dimensions. For $m \neq 1$ we have,
1187: \begin{eqnarray}
1188: \frac1{\Delta x^{4 - m\epsilon}_{\scriptscriptstyle \pm\pm}} & = &
1189: \frac{\partial^2}{\Bigl(2 \!-\! m \epsilon\Bigr) \Bigl(- (m \!-\! 1)
1190: \epsilon\Bigr)} \left(\frac1{\Delta x^{2 - m \epsilon}_{\pm\pm}} \right)
1191: \; , \\
1192: \frac1{\Delta x^{6 - m\epsilon}_{\scriptscriptstyle \pm\pm}} & = &
1193: \frac{\partial^4}{\Bigl(4 \!-\! m \epsilon\Bigr) \Bigl(2 \!-\! m\epsilon\Bigr)
1194: \Bigl(2 \!-\! (m \!-\! 1) \epsilon\Bigr) \Bigl(- (m \!-\! 1) \epsilon\Bigr)}
1195: \left(\frac1{\Delta x^{2 - m \epsilon}_{\pm\pm}} \right) \; .
1196: \end{eqnarray}
1197: At this stage one adds zero in the form of the appropriate identity
1198: (\ref{delta}) and then expands the nonlocal term in powers of $\epsilon$.
1199: For example, the ${\scriptscriptstyle ++}$ term gives,
1200: \begin{eqnarray}
1201: \partial^2 \left(\frac1{\Delta x^{2 - m \epsilon}_{\scriptscriptstyle ++}}
1202: \right) & = & \partial^2 \left(\frac1{\Delta x^{2 - m \epsilon}_{
1203: \scriptscriptstyle ++}} - \frac{\mu^{-(m-1)\epsilon}}{\Delta x^{2 - \epsilon}_{
1204: \scriptscriptstyle ++}} \right) + \frac{i 4 \pi^{2-\frac{\epsilon}2} \mu^{-(m
1205: -1) \epsilon}}{\Gamma(1 \!-\! \frac{\epsilon}{2})} \, \delta^D(x \!-\! x')
1206: \; , \\
1207: & = & + \frac{i 4 \pi^{2-\frac{\epsilon}2} \mu^{-(m -1) \epsilon}}{\Gamma(1
1208: \!-\! \frac{\epsilon}{2})} \, \delta^D(x \!-\! x') \nonumber \\
1209: & & + \mu^{-m \epsilon} \partial^2 \left( \frac{\frac{(m \!-\! 1)}2 \epsilon
1210: \ln\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle ++}\Bigr) \!+\! \frac{(m^2 \!-\!
1211: 1)}8 \epsilon^2 \ln^2\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle ++}\Bigr)
1212: + O(\epsilon^3)}{\Delta x^2_{\scriptscriptstyle ++}}\right) . \qquad
1213: \end{eqnarray}
1214:
1215: The cases we require are,
1216: \begin{eqnarray}
1217: \frac1{\Delta x^{4-2\epsilon}_{\scriptscriptstyle ++}} & = & \frac{\mu^{-
1218: \epsilon}}{(2 \!-\! 2 \epsilon) (-\epsilon)} \, \frac{i 4 \pi^{2-
1219: \frac{\epsilon}2}}{\Gamma(1 \!-\! \frac{\epsilon}{2})} \, \delta^D(x \!-\! x')
1220: \nonumber \\
1221: & & + \frac{\mu^{-2 \epsilon} \, \partial^2}{(2 \!-\! 2 \epsilon) (-\epsilon)}
1222: \left( \frac{\frac12 \epsilon \ln\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle ++}
1223: \Bigr) + \frac38 \epsilon^2 \ln^2\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle ++}
1224: \Bigr) + O(\epsilon^3)}{\Delta x^2_{\scriptscriptstyle ++}} \right) \; ,
1225: \label{++42} \\
1226: \frac1{\Delta x^{4-3\epsilon}_{\scriptscriptstyle ++}} & = & \frac{\mu^{-2
1227: \epsilon}}{(2 \!-\! 3 \epsilon) (-2\epsilon)} \, \frac{i 4 \pi^{2-
1228: \frac{\epsilon}2}}{\Gamma(1 \!-\! \frac{\epsilon}{2})} \, \delta^D(x \!-\! x')
1229: \nonumber \\
1230: & & + \frac{\mu^{-3 \epsilon} \, \partial^2}{(2 \!-\! 3 \epsilon) (-2\epsilon)}
1231: \left( \frac{\epsilon \ln\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle ++}\Bigr)
1232: + \epsilon^2 \ln^2\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle ++} \Bigr) +
1233: O(\epsilon^3)}{\Delta x^2_{\scriptscriptstyle ++}} \right) \; , \label{++43} \\
1234: \frac1{\Delta x^{6-3\epsilon}_{\scriptscriptstyle ++}} & = & \frac{\mu^{-2
1235: \epsilon}}{(4 \!-\! 3 \epsilon) (2 \!-\! 3 \epsilon) (2 \!-\! 2 \epsilon)
1236: (-2\epsilon)} \, \frac{i 4 \pi^{2- \frac{\epsilon}2}}{\Gamma(1 \!-\!
1237: \frac{\epsilon}{2})} \, \partial^2 \delta^D(x \!-\! x')
1238: \nonumber \\
1239: & & + \frac{\mu^{-3 \epsilon} \, \partial^4}{(4 \!-\! 3 \epsilon) (2 \!-\! 3
1240: \epsilon) (2 \!-\! 2 \epsilon) (-2\epsilon)} \left( \frac{\epsilon \ln\Bigl(
1241: \mu^2 \Delta x^2_{\scriptscriptstyle ++}\Bigr) + O(\epsilon^2)}{\Delta x^2_{
1242: \scriptscriptstyle ++}} \right) \; . \label{++63}
1243: \end{eqnarray}
1244: The ${\scriptscriptstyle --}$ variations differ only in the sign of the
1245: delta function term,
1246: \begin{eqnarray}
1247: \frac1{\Delta x^{4-2\epsilon}_{\scriptscriptstyle --}} & = & -\frac{\mu^{-
1248: \epsilon}}{(2 \!-\! 2 \epsilon) (-\epsilon)} \, \frac{i 4 \pi^{2-
1249: \frac{\epsilon}2}}{\Gamma(1 \!-\! \frac{\epsilon}{2})} \, \delta^D(x \!-\! x')
1250: \nonumber \\
1251: & & + \frac{\mu^{-2 \epsilon} \, \partial^2}{(2 \!-\! 2 \epsilon) (-\epsilon)}
1252: \left( \frac{\frac12 \epsilon \ln\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle --}
1253: \Bigr) + \frac38 \epsilon^2 \ln^2\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle --}
1254: \Bigr) + O(\epsilon^3)}{\Delta x^2_{\scriptscriptstyle --}} \right) \; ,
1255: \label{--42} \\
1256: \frac1{\Delta x^{4-3\epsilon}_{\scriptscriptstyle --}} & = & -\frac{\mu^{-2
1257: \epsilon}}{(2 \!-\! 3 \epsilon) (-2\epsilon)} \, \frac{i 4 \pi^{2-
1258: \frac{\epsilon}2}}{\Gamma(1 \!-\! \frac{\epsilon}{2})} \, \delta^D(x \!-\! x')
1259: \nonumber \\
1260: & & + \frac{\mu^{-3 \epsilon} \, \partial^2}{(2 \!-\! 3 \epsilon) (-2\epsilon)}
1261: \left( \frac{\epsilon \ln\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle --}\Bigr)
1262: + \epsilon^2 \ln^2\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle --} \Bigr) +
1263: O(\epsilon^3)}{\Delta x^2_{\scriptscriptstyle --}} \right) \; , \label{--43} \\
1264: \frac1{\Delta x^{6-3\epsilon}_{\scriptscriptstyle --}} & = & -\frac{\mu^{-2
1265: \epsilon}}{(4 \!-\! 3 \epsilon) (2 \!-\! 3 \epsilon) (2 \!-\! 2 \epsilon)
1266: (-2\epsilon)} \, \frac{i 4 \pi^{2- \frac{\epsilon}2}}{\Gamma(1 \!-\!
1267: \frac{\epsilon}{2})} \, \partial^2 \delta^D(x \!-\! x')
1268: \nonumber \\
1269: & & + \frac{\mu^{-3 \epsilon} \, \partial^4}{(4 \!-\! 3 \epsilon) (2 \!-\! 3
1270: \epsilon) (2 \!-\! 2 \epsilon) (-2\epsilon)} \left( \frac{\epsilon \ln\Bigl(
1271: \mu^2 \Delta x^2_{\scriptscriptstyle --}\Bigr) + O(\epsilon^2)}{\Delta x^2_{
1272: \scriptscriptstyle --}} \right) \; . \label{--63}
1273: \end{eqnarray}
1274: And the mixed terms have no delta functions,
1275: \begin{eqnarray}
1276: \frac1{\Delta x^{4-2\epsilon}_{\scriptscriptstyle +-}} & = &
1277: \frac{\mu^{-2 \epsilon} \, \partial^2}{(2 \!-\! 2 \epsilon) (-\epsilon)}
1278: \left( \frac{\frac12 \epsilon \ln\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle +-}
1279: \Bigr) + \frac38 \epsilon^2 \ln^2\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle +-}
1280: \Bigr) + O(\epsilon^3)}{\Delta x^2_{\scriptscriptstyle +-}} \right) \; ,
1281: \label{+-42} \\
1282: \frac1{\Delta x^{4-3\epsilon}_{\scriptscriptstyle +-}} & = &
1283: \frac{\mu^{-3 \epsilon} \, \partial^2}{(2 \!-\! 3 \epsilon) (-2\epsilon)}
1284: \left( \frac{\epsilon \ln\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle +-}\Bigr)
1285: + \epsilon^2 \ln^2\Bigl(\mu^2 \Delta x^2_{\scriptscriptstyle +-} \Bigr) +
1286: O(\epsilon^3)}{\Delta x^2_{\scriptscriptstyle +-}} \right) \; , \label{+-43} \\
1287: \frac1{\Delta x^{6-3\epsilon}_{\scriptscriptstyle +-}} & = &
1288: \frac{\mu^{-3 \epsilon} \, \partial^4}{(4 \!-\! 3 \epsilon) (2 \!-\! 3
1289: \epsilon) (2 \!-\! 2 \epsilon) (-2\epsilon)} \left( \frac{\epsilon \ln\Bigl(
1290: \mu^2 \Delta x^2_{\scriptscriptstyle +-}\Bigr) + O(\epsilon^2)}{\Delta x^2_{
1291: \scriptscriptstyle +-}} \right) \; . \label{+-63}
1292: \end{eqnarray}
1293: Replacing ${\scriptscriptstyle +-}$ with ${\scriptscriptstyle -+}$ gives the
1294: final case.
1295:
1296: \subsection{The Square of a Propagator}
1297: \label{sub:D^2}
1298: When the square of a propagator multiplies regular
1299: expressions we first decompose it according to (\ref{split}) and
1300: then take $\epsilon$ to zero in all but the $A^2$ term,
1301: \begin{eqnarray}
1302: \Bigl(i \Delta(x;x') \Bigr)^2 & = & \Bigl( A(x;x')\Bigr)^2 + 2 A(x;x')
1303: \Bigl( B(x;x') \!+\! C(x;x') \Bigr) + \Bigl(B(x;x') \!+\! C(x;x')\Bigr)^2
1304: , \qquad \\
1305: & \longrightarrow & \frac{\Gamma^2(1 \!-\! \frac{\epsilon}2)}{2^4 \pi^{4 -
1306: \epsilon}} \frac{(a a')^{-2 + \epsilon}}{{\Delta x}^{4 - 2\epsilon}} -
1307: \frac{H^2}{2^4 \pi^4} \frac{\ln\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta x}^2
1308: \Bigr)}{a a' {\Delta x}^2} + \frac{H^4}{2^6 \pi^4} \ln^2\Bigl( \frac{\sqrt{e}}4
1309: H^2 {\Delta x}^2 \Bigr) .
1310: \end{eqnarray}
1311: We then employ the appropriate identity --- ({\ref{++42}),
1312: (\ref{--42}) or (\ref{+-42}) --- and take $\epsilon = 0$ in the
1313: nonlocal part. The squares of the ${\scriptscriptstyle +-}$ and
1314: ${\scriptscriptstyle +-}$ propagators are finite,
1315: \begin{eqnarray}
1316: \Bigl(i \Delta_{\scriptscriptstyle +-}\Bigr)^2 \!\!\!\! &
1317: \rightarrow & \!\! - \frac{(a a')^{-2}}{2^6 \pi^4} \partial^2 \!\!
1318: \left(\frac{\ln(\mu^2 {\Delta x}_{\scriptscriptstyle
1319: +-}^2)}{{\Delta x}_{\scriptscriptstyle +-}^2} \! \right) \!-\!
1320: \frac{H^2}{2^4 \pi^4} \frac{\ln\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta
1321: x}^2_{ \scriptscriptstyle +-} \Bigr)}{a a' {\Delta
1322: x}^2_{\scriptscriptstyle +-}} \!+\! \frac{H^4}{2^6 \pi^4}
1323: \ln^2\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta x}^2_{
1324: \scriptscriptstyle +-} \Bigr) , \qquad \\
1325: \Bigl(i \Delta_{\scriptscriptstyle -+} \Bigr)^2 \!\!\!\! &
1326: \rightarrow & \!\! - \frac{(a a')^{-2}}{2^6 \pi^4} \partial^2 \!\!
1327: \left(\frac{\ln(\mu^2 {\Delta x}_{\scriptscriptstyle
1328: -+}^2)}{{\Delta x}_{\scriptscriptstyle -+}^2} \! \right) \!-\!
1329: \frac{H^2}{2^4 \pi^4} \frac{\ln\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta
1330: x}^2_{ \scriptscriptstyle -+} \Bigr)}{a a' {\Delta
1331: x}^2_{\scriptscriptstyle -+}} \!+\! \frac{H^4}{2^6 \pi^4}
1332: \ln^2\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta x}^2_{ \scriptscriptstyle
1333: -+} \Bigr) . \qquad
1334: \end{eqnarray}
1335: The square of the ${\scriptscriptstyle ++}$ propagator includes a
1336: local divergent term in addition to the corresponding
1337: ${\scriptscriptstyle ++}$ finite terms,
1338: \begin{eqnarray}
1339: \Bigl(i \Delta_{\scriptscriptstyle ++}(x;x') \Bigr)^2 & \longrightarrow &
1340: - \frac{i \mu^{-\epsilon}}{2^3 \pi^{2 \!-\! \frac{\epsilon}2}} \frac{\Gamma(1
1341: \!-\! \frac{\epsilon}2)}{(1 \!-\! \epsilon) \epsilon} \, a^{-4 \!+\! 2\epsilon}
1342: \delta^D(x\!-\! x') - \frac{(a a')^{-2}}{2^6 \pi^4} \partial^2 \left(
1343: \frac{\ln(\mu^2 {\Delta x}_{\scriptscriptstyle ++}^2)}{{\Delta x}_{
1344: \scriptscriptstyle ++}^2} \right) \nonumber \\
1345: & & \hspace{2.5cm} - \frac{H^2}{2^4 \pi^4} \frac{\ln\Bigl( \frac{\sqrt{e}}4 H^2
1346: {\Delta x}^2_{\scriptscriptstyle ++} \Bigr)}{a a' {\Delta x}^2_{
1347: \scriptscriptstyle ++}} + \frac{H^4}{2^6 \pi^4} \ln^2\Bigl( \frac{\sqrt{e}}4
1348: H^2 {\Delta x}^2_{\scriptscriptstyle ++} \Bigr) . \qquad \label{D2++}
1349: \end{eqnarray}
1350: The square of the ${\scriptscriptstyle --}$ propagator is the complex
1351: conjugate,
1352: \begin{eqnarray}
1353: \Bigl(i \Delta_{\scriptscriptstyle --}(x;x') \Bigr)^2 &
1354: \longrightarrow & \frac{i \mu^{-\epsilon}}{2^3 \pi^{2 \!-\!
1355: \frac{\epsilon}2}} \frac{\Gamma(1 \!-\! \frac{\epsilon}2)}{(1
1356: \!-\! \epsilon) \epsilon} \, a^{-4 \!+\! 2\epsilon}
1357: \delta^D(x\!-\! x') - \frac{(a a')^{-2}}{2^6 \pi^4} \partial^2
1358: \left( \frac{\ln(\mu^2 {\Delta x}_{\scriptscriptstyle
1359: --}^2)}{{\Delta x}_{
1360: \scriptscriptstyle --}^2} \right) \nonumber \\
1361: & & \hspace{2.5cm} - \frac{H^2}{2^4 \pi^4} \frac{\ln\Bigl(
1362: \frac{\sqrt{e}}4 H^2 {\Delta x}^2_{\scriptscriptstyle --}
1363: \Bigr)}{a a' {\Delta x}^2_{ \scriptscriptstyle --}} +
1364: \frac{H^4}{2^6 \pi^4} \ln^2\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta
1365: x}^2_{\scriptscriptstyle --} \Bigr) \; . \label{D2--}\qquad
1366: \end{eqnarray}
1367:
1368: \subsection{The Cube of a Propagator}
1369:
1370: When the cube of a propagator multiplies a regular expression we again
1371: decompose it according to (\ref{split}) but now we must retain $\epsilon
1372: \neq 0$ in the $A^3$ and $3 A^2 B$ terms,
1373: \begin{eqnarray}
1374: \lefteqn{\Bigl(i \Delta(x;x') \Bigr)^3 = A^3 + 3 A^2 (B \!+\! C) +
1375: 3 A (B \!+\! C)^2 + (B \!+\! C)^3 , } \\
1376: & & \longrightarrow \frac{\Gamma^3(1 \!-\! \frac{\epsilon}2)}{2^6 \pi^{6 -
1377: \frac32 \epsilon}} \frac{(a a')^{-3 + \frac32 \epsilon}}{{\Delta x}^{6 - 3
1378: \epsilon}} + \frac{3 H^{2-\e} \Gamma(1 \!-\! \frac{\epsilon}2) \Gamma(2 \!-\!
1379: \epsilon)}{2^{7-\epsilon} \pi^{6 - \frac32 \epsilon} (a a')^{2 - \epsilon} }
1380: \Bigg\{\!\!-\!\frac{2\Gamma(3 \!-\! \frac{\epsilon}2)}{\epsilon} \frac{\Gamma(2
1381: \!-\!\frac{\epsilon}2)}{\Gamma(3 \!-\! \epsilon)} \, \frac{(\frac{H^2 a a'}4)^{
1382: \frac{\epsilon}2}}{\Delta x^{4 - 3\epsilon}} \nonumber \\
1383: & & \hspace{1.3cm} + \left[\frac{\pi \cot(\frac{\pi\epsilon}2) +
1384: \ln(aa')}{ \Delta x^{4 - 2 \epsilon}} \right] \Bigg\} + \frac{3
1385: H^4}{2^8 \pi^6} \frac{\ln^2\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta
1386: x}^2 \Bigr)}{a a' {\Delta x}^2} - \frac{H^6}{2^9 \pi^6}
1387: \ln^3\Bigl( \frac{\sqrt{e}}4 H^2 {\Delta x}^2 \Bigr) \; . \qquad
1388: \label{inmd}
1389: \end{eqnarray}
1390: The $A^3$ term is easy to read off from the identities
1391: (\ref{++63}), (\ref{--63}) and (\ref{+-63}). For example, the
1392: ${\scriptscriptstyle +-}$ case gives,
1393: \begin{equation}
1394: \frac{\Gamma^3(1 \!-\! \frac{\epsilon}2)}{2^6 \pi^{6 - \frac32
1395: \epsilon}} \frac{(a a')^{-3 + \frac32 \epsilon}}{{\Delta
1396: x}_{\scriptscriptstyle +-}^{6 - 3 \epsilon}} \! \longrightarrow -
1397: \frac{(a a')^{-3}}{2^{11} \pi^6} \,
1398: \partial^4 \! \left[ \frac{\ln(\mu^2 \Delta x^2_{\scriptscriptstyle +-})}{
1399: \Delta x^2_{\scriptscriptstyle +-}} \right] \! .\label{A^3}
1400: \end{equation}
1401: The $3 A^2 B$ term is more complicated on account of the
1402: $1/\epsilon$ divergence in its prefactors. One must first
1403: partially integrate and multiply before taking $\epsilon = 0$ in
1404: the nonlocal term. For the $+-$ case we have, \be &&\lefteqn{3
1405: (A^2B)_{+-} =\frac{3 H^{2-\e}(aa')^{-2+\e}\mu^{-2\e}}{2^{7-\e}
1406: \pi^{6 - \frac{3}{2} \e}} \;
1407: \G(1-\frac{\e}{2})}\nonumber\\
1408: &&\hspace{0.7cm}\times\Bigg\{ \frac{(1 -
1409: \frac{\epsilon}2)(1-\frac{\e}{4})\G^2(1-\frac{\e}{2})}{2(1-\frac{3}{2}\e)\e}\;
1410: \Bigl(\frac{H^2 a a'}{4\mu^2}\Bigr)^{\frac{\epsilon}2}
1411: \partial^2 \left[ \frac{\ln(\mu^2 \Delta x^2_{+-})}{\Delta x^2_{+-}}
1412: +\e\frac{\ln^2(\mu^2 \Delta x^2_{+-})}{\Delta
1413: x^2_{+-}}\right]\nonumber\\&&\hspace{0.7cm}-\frac{\G(1-\e)}{4}\left[\pi
1414: \cot\left(\frac{\pi \epsilon}{2}\right)+\ln(aa')\right]
1415: \;\partial^2 \left[ \frac{\ln(\mu^2 \Delta x^2_{+-})}{\Delta
1416: x^2_{+-}} +\frac34\e\frac{\ln^2(\mu^2 \Delta x^2_{+-})}{\Delta
1417: x^2_{+-}}\right] \Bigg\} . \label{A^2B} \ee At this point we
1418: digress to recall some basic series expansions,
1419: \begin{equation}
1420: \Gamma(1-\epsilon) = 1 + \gamma \epsilon + \Bigl[\frac{\gamma^2}2
1421: + \frac{\pi^2}{12}\Bigr] \epsilon^2 + O(\epsilon^3) \qquad ,
1422: \qquad \pi {\rm cot}\Bigl(\frac{\pi \epsilon}2\Bigr) =
1423: \frac2{\epsilon} \left[1 - \frac{\pi^2}{12} \epsilon^2 +
1424: O(\epsilon^4)\right] .\label{master}
1425: \end{equation}
1426: It follows that the various prefactors in (\ref{A^2B}) are,
1427: \begin{eqnarray}
1428: \frac{(1 \!-\! \frac{\epsilon}2) (1 \!-\!
1429: \frac{\epsilon}4)\Gamma^2(1 \!-\! \frac{\epsilon}2)}{2 (1 \!-\!
1430: \frac32 \epsilon) \epsilon} & = & \frac1{2 \epsilon} \!+\!
1431: \frac{\g}{2} \!+\! \frac38\!+\! O(\epsilon)
1432: \; , \\
1433: - \frac{\G(1-\e)}{4}\pi \cot\Bigl(\frac{\pi\epsilon}2\Bigr) & = &
1434: -\frac1{2\epsilon} \!-\! \frac\g{2}
1435: \!+\! O(\epsilon) \; , \\
1436: - \frac{\G(1-\e)}{4} & = & -\frac{1}{4}+ O(\epsilon) \; .
1437: \end{eqnarray}
1438: Making use of these expansions in (\ref{A^2B}) gives, \be
1439: 3(A^2B)_{+-}\longrightarrow\frac{3H^2(aa')^{-2}}{2^8\pi^6}
1440: \partial^2\left[\ln\Big(\frac{He^{\frac{3}{4}}}{2\mu}\Big)
1441: \frac{\ln(\mu^2 \Delta x^2_{+-})}{\Delta x^2_{+-}}
1442: +\frac{1}{4}\frac{\ln^2(\mu^2 \Delta x^2_{+-})}{\Delta
1443: x^2_{+-}}\right]\; .\label{A^2B+-}\ee Employing (\ref{A^3}) and
1444: (\ref{A^2B+-}) in (\ref{inmd}) gives\be &&(i\D_{+-}(x ;
1445: x'))^3\rightarrow - \frac{(a a')^{-3}}{2^{11} \pi^6} \,
1446: \partial^4 \! \left[ \frac{\ln(\mu^2 \Delta x^2_{\scriptscriptstyle +-})}{
1447: \Delta x^2_{\scriptscriptstyle +-}} \right]+
1448: \frac{3H^2(aa')^{-2}}{2^8\pi^6}
1449: \partial^2\Bigg[\ln\Big(\frac{He^{\frac{3}{4}}}{2\mu}\Big)
1450: \frac{\ln(\mu^2 \Delta x^2_{+-})}{\Delta x^2_{+-}}\nonumber\\
1451: &&\hspace{2cm}+\frac{1}{4}\frac{\ln^2(\mu^2 \Delta
1452: x^2_{+-})}{\Delta x^2_{+-}}\Bigg]+\frac{3 H^4}{2^8 \pi^6}
1453: \frac{\ln^2\Bigl( \frac{\sqrt{e}}4 H^2 \Delta x_{+-}^2 \Bigr)}{a
1454: a' {\Delta x^2_{+-}}} - \frac{H^6}{2^9 \pi^6} \ln^3\Bigl(
1455: \frac{\sqrt{e}}4 H^2 \Delta x^2_{+-} \Bigr)\; .\label{D3+-}\ee The
1456: ${\scriptscriptstyle -+}$ case follows by complex conjugation, \be
1457: & & (i\D_{-+}(x ; x'))^3\rightarrow - \frac{(a a')^{-3}}{2^{11}
1458: \pi^6} \,
1459: \partial^4 \! \left[ \frac{\ln(\mu^2 \Delta x^2_{\scriptscriptstyle -+})}{
1460: \Delta x^2_{\scriptscriptstyle -+}} \right]+
1461: \frac{3H^2(aa')^{-2}}{2^8\pi^6}
1462: \partial^2\Bigg[\ln\Big(\frac{He^{\frac{3}{4}}}{2\mu}\Big)
1463: \frac{\ln(\mu^2 \Delta x^2_{-+})}{\Delta x^2_{-+}}\nonumber\\
1464: &&\hspace{2cm}+\frac{1}{4}\frac{\ln^2(\mu^2 \Delta
1465: x^2_{-+})}{\Delta x^2_{-+}}\Bigg]+\frac{3 H^4}{2^8 \pi^6}
1466: \frac{\ln^2\Bigl( \frac{\sqrt{e}}4 H^2 \Delta x_{-+}^2 \Bigr)}{a
1467: a' {\Delta x^2_{-+}}} - \frac{H^6}{2^9 \pi^6} \ln^3\Bigl(
1468: \frac{\sqrt{e}}4 H^2 \Delta x^2_{-+} \Bigr)\; .\label{D3-+} \ee
1469: The cube of the ${\scriptscriptstyle ++}$ propagator includes a
1470: local divergent term in addition to the corresponding
1471: ${\scriptscriptstyle ++}$ finite terms, \be &&(i\D_{++}(x ;
1472: x'))^3\rightarrow -\frac{i\mu^{-2\e} \Gamma^2(1-\frac{\e}2)}{2^9\;
1473: \pi^{4-\e}} \; \frac{(a a')^{-3+ \frac{3}{2}\e}
1474: \partial^2 \delta^D(x-x')}{ (1 \!-\! \frac{3}{2}\e ) (1 \!-\! \e)(1
1475: \!-\!\frac{3}{4} \e)
1476: \e}+\frac{i3H^{2-\e}\mu^{-\e}a^{-4+2\e}}{2^{6-\e} \pi^{4-\e}}
1477: \;\Bigg\{ \nonumber \\
1478: && \frac{(1 - \frac{\epsilon}2)(1-\frac{\e}{4})\G^2(1-\frac{\e}{2})}{(1-\frac32
1479: \e)\e^2}\; \Bigl(\frac{H a}{2\mu}\Bigr)^{\epsilon}-\frac{\G(1-\e)}{\e}\left[\pi
1480: \cot\left(\frac{\pi \epsilon}{2}\right)+2\ln{(a)}\right]
1481: \Bigg\}\d^D(x-x') \nonumber \\
1482: && - \frac{(a a')^{-3}}{2^{11} \pi^6} \,
1483: \partial^4 \! \left[ \frac{\ln(\mu^2 \Delta x^2_{\scriptscriptstyle ++})}{
1484: \Delta x^2_{\scriptscriptstyle ++}} \right]+
1485: \frac{3H^2(aa')^{-2}}{2^8\pi^6}
1486: \partial^2\Bigg[\ln\Big(\frac{He^{\frac{3}{4}}}{2\mu}\Big)
1487: \frac{\ln(\mu^2 \Delta x^2_{++})}{\Delta
1488: x^2_{++}}+\frac{1}{4}\frac{\ln^2(\mu^2 \Delta x^2_{++})}{\Delta
1489: x^2_{++}}\Bigg]\nonumber\\&&\hspace{5.5cm}+\frac{3 H^4}{2^8 \pi^6}
1490: \frac{\ln^2\Bigl( \frac{\sqrt{e}}4 H^2 \Delta x_{++}^2 \Bigr)}{a
1491: a' {\Delta x^2_{++}}} - \frac{H^6}{2^9 \pi^6} \ln^3\Bigl(
1492: \frac{\sqrt{e}}4 H^2 \Delta x^2_{++} \Bigr)\; .\label{D3++} \ee
1493: The cube of the ${\scriptscriptstyle --}$ propagator is the
1494: complex conjugate, \be && (i\D_{--}(x ; x'))^3\rightarrow
1495: \frac{i\mu^{-2\e} \Gamma^2(1-\frac{\e}2)}{2^9\; \pi^{4-\e}} \;
1496: \frac{(a a')^{-3+ \frac{3}{2}\e}
1497: \partial^2 \delta^D(x-x')}{ (1 \!-\! \frac{3}{2}\e ) (1 \!-\! \e)(1
1498: \!-\!\frac{3}{4} \e)
1499: \e}-\frac{i3H^{2-\e}\mu^{-\e}a^{-4+2\e}}{2^{6-\e} \pi^{4-\e}}
1500: \;\Bigg\{ \nonumber \\
1501: && \frac{(1 - \frac{\epsilon}2)(1-\frac{\e}{4})\G^2(1-\frac{\e}{2})}{(1-\frac32
1502: \e)\e^2}\; \Bigl(\frac{H a}{2\mu}\Bigr)^{\epsilon}-\frac{\G(1-\e)}{\e}\left[\pi
1503: \cot\left(\frac{\pi \epsilon}{2}\right)+2\ln{(a)}\right]
1504: \Bigg\}\d^D(x-x')\nonumber\\&& - \frac{(a a')^{-3}}{2^{11} \pi^6}
1505: \,
1506: \partial^4 \! \left[ \frac{\ln(\mu^2 \Delta x^2_{\scriptscriptstyle --})}{
1507: \Delta x^2_{\scriptscriptstyle --}} \right]+
1508: \frac{3H^2(aa')^{-2}}{2^8\pi^6}
1509: \partial^2\Bigg[\ln\Big(\frac{He^{\frac{3}{4}}}{2\mu}\Big)
1510: \frac{\ln(\mu^2 \Delta x^2_{--})}{\Delta
1511: x^2_{--}}+\frac{1}{4}\frac{\ln^2(\mu^2 \Delta x^2_{--})}{\Delta
1512: x^2_{--}}\Bigg]\nonumber\\&&\hspace{5.5cm}+\frac{3 H^4}{2^8 \pi^6}
1513: \frac{\ln^2\Bigl( \frac{\sqrt{e}}4 H^2 \Delta x_{--}^2 \Bigr)}{a
1514: a' {\Delta x^2_{--}}} - \frac{H^6}{2^9 \pi^6} \ln^3\Bigl(
1515: \frac{\sqrt{e}}4 H^2 \Delta x^2_{--} \Bigr)\; .\label{D3--}\ee
1516:
1517: \subsection{Evaluating the Integrals for the Snowman Diagram}
1518:
1519: The first integral we need in equation (\ref{smints}) is,
1520: \be
1521: I_1\equiv-\dd^2_0\int
1522: d^4x'' a''^2\ln(a'')\left[\frac{\ln(\mu^2\D x^2_{++})}{\D
1523: x^2_{++}}-\frac{\ln(\mu^2\D x^2_{+-})}{\D x^2_{+-}}\right] \; .
1524: \ee
1525: The first step is to make use of the identity,
1526: \be
1527: \frac{ \ln\left(\mu^2 \D x^2 \right)}{\D x^2} = \frac{\dd^2}{8} \left[
1528: \ln^2\left(\mu^2 \D x^2\right) - 2 \ln\left(\mu^2 \D x^2\right)\right]
1529: \label{ld} \; .
1530: \ee
1531: Because the derivative is with respect to $x^{\mu}$ we can move it outside
1532: the integration over $x^{\prime\prime \mu}$. The remaining integrand possesses
1533: only logarithmic singularities.
1534:
1535: We define the coordinate separations,
1536: \be
1537: \D\eta \equiv \eta - \eta'' \qquad ,
1538: \qquad r \equiv \Vert \vec{x} - \vec{x}'' \Vert \; . \label{id3}
1539: \ee
1540: The ${\scriptscriptstyle ++}$ and ${\scriptstyle +-}$ terms cancel for
1541: $\Delta \eta < 0$ so we can restrict the integration to $\Delta \eta > 0$.
1542: In this case the logarithms can be expanded as,
1543: \begin{equation}
1544: \ln\left[ \mu^2\D x^2_{\scriptscriptstyle +\pm} \right] = \ln\left[ \mu^2
1545: (\D\eta^2 - r^2) \right] \pm i\pi \theta(\D \eta^2 - r^2) \; , \label{id4}
1546: \end{equation}
1547: We then perform the angular and radial integrations and act the first
1548: three derivatives,
1549: \be
1550: I_1 &=& i2 \pi^2 \dd_0^4 \int_{\eta_i}^\eta d\eta''
1551: a''^2 \ln\left( a'' \right)\int_0^{\D\eta} dr r^2 \left(\ln\left[
1552: \mu^2 (\D \eta^2
1553: - r^2)\right] - 1 \right) \nonumber \\
1554: &=& i2 \pi^2 \dd_0^4 \int_{\eta_i}^\eta d\eta'' a''^2 \ln\left(a''
1555: \right)\D \eta^3 \left[ {2 \over 3} \ln\left(2 \mu \D\eta
1556: \right) - {11 \over 9} \right] \nonumber \\
1557: &=& i8 \pi^2 \dd_0 \int_{\eta_i}^\eta d\eta'' a''^2 \ln\left(a''
1558: \right)\ln\left(2 \mu \D\eta \right)\; .
1559: \ee
1560: The lower limit $\eta_i = -H^{-1}$ ($t'' = 0$) derives from the fact that
1561: the state is released in free Bunch-Davies vacuum at this instant.
1562:
1563: To perform the remaining temporal integration first change variables from
1564: $\eta''$ to $a'' = -1/(H\eta'')$ and make the corresponding change in
1565: the derivative,
1566: \begin{equation}
1567: I_1 = i 8 \pi^2 a^2 \frac{\partial}{\partial a} \int_1^a da'' \ln(a'')
1568: \ln\left[ \frac{2 \mu}{H} \Bigl(\frac1{a''} - \frac1{a}\Bigr)\right] .
1569: \end{equation}
1570: Then break up the second logarithm and act the derivative on the
1571: two nonsingular terms, \be I_1 & = & -i8
1572: \pi^2a^2\left[\ln^2(a)-\ln\left(\frac{2\mu}{H}\right)\ln(a)-\frac{\dd}{\dd
1573: a}\int_1^a da''\ln(a'')\ln\left(1-\frac{a''}{a}\right)\right]\; .
1574: \label{137} \ee Now substitute the expansion, \beeq
1575: \ln\left(1-\frac{a''}{a}\right)=-\sum_{n=1}^\infty
1576: \frac{1}{n}\left(\frac{a''}{a}\right)^n\; ,\label{ex} \eneq and
1577: integrate termwise, \be \int_1^a
1578: da''\ln(a'')\ln\left(1-\frac{a''}{a}\right)=-a\Bigg\{
1579: \ln(a)-2+\frac{\pi^2}{6}+\sum_{n=1}^\infty
1580: \frac{a^{-(n+1)}}{n(n+1)^2}\Bigg\}\label{lnln}\; . \ee Combining
1581: terms gives the following final result, \be I_1 & = & -i8 \pi^2
1582: a^2 \left[\ln^2(a) - \ln\left(\frac{2\mu}{H}\right) \ln(a) +
1583: \ln(a) - 1 + \frac{\pi^2}{6} - \sum_{n=1}^\infty
1584: \frac{a^{-(n+1)}}{(n+1)^2} \right] \; . \label{I1} \ee
1585:
1586: The second integral in (\ref{smints}) is,
1587: \be
1588: I_2\equiv\int d^4x''
1589: a''^3\ln(a'')\Bigg[\frac{\ln(\frac{H^2\sqrt{e}}{4}\D x^2_{++})}{\D
1590: x^2_{++}}-\frac{\ln(\frac{H^2\sqrt{e}}{4}\D x^2_{+-})}{\D
1591: x^2_{+-}}\Bigg]\; .
1592: \ee
1593: Proceeding as before we extract a derivative with identity (\ref{ld})
1594: and then exploit (\ref{id4}) to obtain,
1595: \be
1596: I_2&=&i\frac{\pi}{2}\dd^2\int
1597: d^4x'' a''^3\ln(a'') \theta(\D\eta^2-r^2)
1598: \ln\left(\frac{H^2}{4\sqrt{e}}(\D\eta^2-r^2)\right) \;
1599: \nonumber\\
1600: &=&i2\pi^2(-\dd^2_0)\int_{\eta_i}^\eta d\eta''
1601: a''^3\ln(a'')\int_0^{\D\eta} dr r^2
1602: \ln\left(\frac{H^2}{4\sqrt{e}}(\D\eta^2-r^2)\right) \; .
1603: \ee
1604: Now perform the angular integrations, make the change of variable
1605: $r\equiv \D\eta\; z$, act the temporal derivatives and change
1606: variables from $\eta''$ to $a''$,
1607: \be \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!
1608: I_2 \!\! & = & \!\!-i2\pi^2\!\!\int_{\eta_i}^\eta
1609: d\eta'' a''^3\ln(a'')\int_0^1 dz z^2\dd_0^2\left[
1610: \D\eta^3\ln\left(\frac{H^2}{4\sqrt{e}}\D\eta^2(1-z^2)\right)\right]\nonumber \\
1611: \!\! & = & \!\! -i2 \pi^2 \!\! \int_{\eta_i}^\eta d\eta'' a''^3 \ln(a'')
1612: \D\eta \int_0^1 dz z^2\left\{6 \ln\left[ \frac{H^2}{4} \D\eta^2 (1-z^2)
1613: \right] + 7 \right\} \nonumber \\
1614: \!\! & = & \!\! - \frac{i 2 \pi^2}{H^2} \!\! \int_1^a da''\ln(a'') \left(1
1615: - \frac{a''}{a} \right) \!\! \left\{\! 4 \ln\left(\frac{1}{a''} -
1616: \frac{1}{a}\right)\! - 3 \right\}\; . \label{1-z}
1617: \ee
1618: A small rearrangement gives,
1619: \be
1620: \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! I_2 \!\! & = & \!\! \frac{i 2 \pi^2}{H^2}
1621: \Bigg\{\! \int_1^a \!\!\! da'' \!\left( \!1-\! \frac{a''}{a} \right)\!
1622: \left[3 \ln(a'') + 4 \ln^2(a'') \right] \!-4\! \int_1^a\! da'' \!\left(\!1
1623: \!-\! \frac{a''}{a} \right)\! \ln(a'') \ln\!\left(\!1 \!-\! \frac{a''}{a}
1624: \right)\!\! \Bigg\} \; . \label{second}
1625: \ee
1626: The only non-trivial integral left in (\ref{second}) can be evaluated using
1627: (\ref{ex})
1628: \be
1629: \!\!\!\!\!\!\!\!\int_1^a \!\!da''
1630: \!\!\left(1-\frac{a''}{a}\right)\!\ln(a'')\ln\!\!\left(\!1-\frac{a''}{a}\right)\!=\!-a\Bigg\{
1631: \frac{1}{4}\ln(a)\!-\!1\!+\!\frac{\pi^2}{12}\!+\!\!\sum_{n=1}^\infty\!\left[\!
1632: \frac{a^{-(n+1)}}{n(n+1)^2}\!-\!\frac{a^{-(n+2)}}{n(n+2)^2}\!\right]
1633: \!\!\Bigg\}\; .
1634: \ee
1635: The final result for $I_2$ is therefore,
1636: \be
1637: \!\!\!\!\!\!\!\! I_2\!\! & = & \!\! \frac{i 2 \pi^2 a}{H^2}
1638: \Bigg\{2\ln^2(a)\!-\!\frac{7}{2}\ln(a)\!+\!\frac{3}{4}
1639: \!+\!\frac{\pi^2}{3}\!-\!5a^{-1}\!+\!\frac{1}{4}a^{-2}\!+\!4\!\sum_{n=1}^\infty
1640: \!\left[\!\frac{a^{-(n+1)}}{n(n+1)^2} \!-\! \frac{a^{-(n+2)}}{n(n+2)^2}\!
1641: \right]\!\Bigg\}\label{I2}\; .
1642: \ee
1643:
1644: The initial reduction of the last integral in ({\ref{smints}}) is familiar
1645: from $I_1$ and $I_2$,
1646: \be
1647: & & \!\!\!\!\!\! I_3 \equiv \int d^4x'' a''^4 \ln(a'') \Bigg[ \ln^2 \left(
1648: \frac{H^2\sqrt{e}}{4} \D x^2_{\scriptscriptstyle ++}\right) - \ln^2\left(
1649: \frac{H^2\sqrt{e}}{4}\D x^2_{\scriptscriptstyle +-}\right)\Bigg] \nonumber \\
1650: & & = i 4 \pi \int d^4x'' a''^4 \ln(a'') \theta(\D\eta^2 - r^2) \ln\left(
1651: \frac{H^2\sqrt{e}}{4} (\D\eta^2 - r^2) \right) \; \nonumber \\
1652: & & = i 16 \pi^2 \int^1_0 dz z^2 \int_{\eta_i}^\eta d\eta'' a''^4 \ln(a'')
1653: \D\eta^3 \ln\left( \frac{H^2\sqrt{e}}{4} \D\eta^2 (1-z^2) \right) \nonumber \\
1654: & & = \frac{i 16\pi^2}{H^4} \int^1_0 dz z^2 \int_{1}^a \frac{da''}{a''}
1655: \ln(a'') \left(1 - \frac{a''}{a} \right)^3 \ln\left(\frac{\sqrt{e}}{4}
1656: \left(\frac{1}{a''} - \frac{1}{a} \right)^2 (1-z^2) \right) \nonumber \\
1657: & & = \frac{i 16\pi^2}{H^4} \int_{1}^a \frac{da''}{a''} \ln(a'') \left(1 -
1658: \frac{a''}{a} \right)^3 \left\{ \frac23 \ln\Bigl(\frac1{a''} - \frac1{a}\Bigr)
1659: - \frac{13}{18} \right\} \; .
1660: \ee
1661: At this stage it is best to integrate by parts on the term $\ln(a'')/a''
1662: = \partial/{\partial a''} \Bigl(\ln^2(a'')/2\Bigr)$,
1663: \be
1664: & & \!\!\!\!\!\! I_3 = \frac{i 16 \pi^2}{H^4} \Bigg\{- \int_1^a da''
1665: \left(1 - \frac{a''}{a} \right)^2 \ln^2(a'') \left[ \frac{1}{a} \left(
1666: \frac{13}{12} + \ln(a'') \right) - \frac{1}{3a''} \right] \nonumber \\
1667: & & \hspace{5.5cm} + \frac{1}{a} \int_1^a da'' \left(1 - \frac{a''}{a}
1668: \right)^2 \ln^2(a'') \ln\left(1 - \frac{a''}{a} \right) \Bigg\} \; .\label{ln2}
1669: \ee
1670: The first term is straightforward and the final term can be evaluated using
1671: (\ref{ex}),
1672: \be
1673: & & \int_1^a da'' \left(1 - \frac{a''}{a} \right)^2 \ln^2(a'') \ln\left(1
1674: - \frac{a''}{a} \right) = a \Bigg\{ -\frac{80}{27} + \frac{11}{54} \pi^2
1675: + \frac23 \zeta(3) + \left(\frac{71}{54} - \frac{\pi^2}{9} \right) \ln(a)
1676: \nonumber \\
1677: & & \hspace{4cm} - \frac19 \ln^2(a) + 2 \sum_{n=1}^\infty \left[ \frac{a^{-
1678: (n+1)}}{n(n+1)^3} - \frac{2a^{-(n+2)}}{n(n+2)^3} + \frac{a^{-(n+3)}}{n(n+3)^3}
1679: \right] \Bigg\} \; .\label{int0}
1680: \ee
1681: Substituting (\ref{int0}) in (\ref{ln2}) and adding everything up gives,
1682: \be
1683: &&I_3=i\frac{8\pi^2}{H^4}\Bigg\{-\frac{385}{324}+\frac{11}{27}\pi^2+\frac{4}{3}\zeta(3)
1684: +\frac{a^{-3}}{81}+\frac{a^{-2}}{4}-5a^{-1}-\left(\frac{11}{6}
1685: +\frac{2\pi^2}{9}\right)\ln(a)+\frac{31}{18}\ln^2(a)\nonumber\\&&\hspace{4cm}-\frac{4}{9}\ln^3(a)+4\sum_{n=1}^\infty\Bigg[
1686: \frac{a^{-(n+1)}}{n(n+1)^3}-\frac{2a^{-(n+2)}}{n(n+2)^3}+\frac{a^{-(n+3)}}{n(n+3)^3}\Bigg]
1687: \Bigg\}\label{I3}\; .
1688: \ee
1689:
1690: \centerline{\bf Acknowledgments}
1691:
1692: This work was partially supported by NSF grant PHY-0244714
1693: and by the Institute for Fundamental Theory.
1694:
1695: \begin{thebibliography}{99}
1696:
1697: \bibitem{RPW} R. P. Woodard, ``Quantum effects during inflation,''
1698: {\it astro-ph/0310757}.
1699:
1700: \bibitem{OW1} V. K. Onemli and R. P. Woodard, Class. Quant. Grav. {\bf 19},
1701: 4607 (2002), {\it gr-qc/0204065}.
1702:
1703: \bibitem{OW2} V. K. Onemli and R. P. Woodard, ``Quantum effects can render
1704: $w < -1$ on cosmological scales,'' {\it gr-qc/0406098}.
1705:
1706: \bibitem{VF} A. Vilenkin and L. H. Ford, Phys. Rev. {\bf D26}, 1231 (1982).
1707:
1708: \bibitem{ADL} A. D. Linde, Phys. Lett. {\bf 116B}, 335 (1982).
1709:
1710: \bibitem{AAS} A. A. Starobinski\u{\i}, Phys. Lett. {\bf 117B}, 175 (1982).
1711:
1712: \bibitem{ASSS} U. Alam, V. Sahni, T. D. Saini and A. A. Starobinski\u{\i},
1713: ``Is there evidence for dark energy metamorphosis?,'' {\it astro-ph/0311364}.
1714:
1715: \bibitem{CP} T. R. Choudhury and T. Padmanabhan, ``Cosmological parameters
1716: from supernova observations: A critical comparison of three data
1717: sets,'' {\it astro-ph/0311622}.
1718:
1719: \bibitem{WM} Y. Wang and P. Mukherjee, Astrophys. J. {\bf 606}, 654 (2004),
1720: {\it astro-ph/0312192}.
1721:
1722: \bibitem{G} Y. Gong, ``Observational constraints on dark energy model,''
1723: {\it astro-ph/0401207}.
1724:
1725: \bibitem{NP} S. Nesseris and L. Perivolaropoulos, ``A comparison of
1726: cosmological models using recent supernova data,'' {\it astro-ph/0401556}.
1727:
1728: \bibitem{WT} Y. Wang and M. Tegmark, ``New dark energy constraints from
1729: supernova, microwave background and galaxy clustering,'' {\it
1730: astro-ph/0403292}.
1731:
1732: \bibitem{ASS} U. Alam, V. Sahni and A. A. Starobinski\u{\i}, ``The case for
1733: dynamical dark energy revisited,'' {\it astro-ph/0403687}.
1734:
1735: \bibitem{FWZ} B. Feng, X. Wang and X. Zhang, ``Dark energy constraints
1736: from the cosmic age and supernova,'' {\it astro-ph/0404224}.
1737:
1738: \bibitem{JBP} H. K. Jassal, J. S. Bagla and T. Padmanabhan, ``WMAP constraints
1739: on low redshift evolution of dark energy,'' {\it astro-ph/0404378}.
1740:
1741: \bibitem{CKPCB} P. S. Corasaniti, M. Kunz, D. Parkinson, E. J. Copeland
1742: and B. A. Bassett, ``The foundations of observing dark energy dynamics with
1743: the Wilkinson Microwave Anisotropy Probe,'' {\it astro-ph/0406608}.
1744:
1745: \bibitem{HM} S. Hannestad and E. Mortsell, ``Cosmological constraints on the
1746: dark energy equation of state and its evolution,'' {\it
1747: astro-ph/0407259}.
1748:
1749: \bibitem{VETTBFT} J.-M. Virey, A. Ealet, C. Tao, A. Tilquin, A. Bonissent,
1750: D. Fouchez and P. Taxil, ``Probing Dark Energy with Supernovae: a
1751: concordant or a convergent model?,'' {\it astro-ph/0407452}.
1752:
1753: \bibitem{CHT} S. M. Carroll, M. Hoffman and M. Trodden, Phys. Rev. {\bf D68},
1754: 023509 (2003), {\it astro-ph/0301273}.
1755:
1756: \bibitem{CJM} J. M. Cline, S. Y. Jeon and G. D. Moore, ``The phantom menaced:
1757: Constraints on low-energy effective ghosts,'' {\it hep-ph/0311312}.
1758:
1759: \bibitem{NOO} S. Nojiri, S. D. Odintsov and S. Ogushi, Int. J. Mod.
1760: Phys. {\bf A17}, 4809 (2002), {\it hep-th/0205187}.
1761:
1762: \bibitem{NO1} S. Nojiri and S. D. Odintsov,
1763: JCAP {\bf 0306}, 004 (2003), {\it hep-th/0303011}.
1764:
1765: \bibitem{NO2} S. Nojiri and S. D. Odintsov,
1766: Phys. Lett. {\bf 562B}, 147 (2003), {\it hep-th/0303117}.
1767:
1768: \bibitem{NO3} S. Nojiri and S. D. Odintsov,
1769: Phys. Lett. {\bf 565B}, 1 (2003), {\it hep-th/0304131}.
1770:
1771: \bibitem{Bar0} A. O. Barvinsky ,
1772: Phys. Lett. {\bf 572B}, 109 (2003), {\it hep-th/0304229}.
1773:
1774: \bibitem{NO4} S. Nojiri and S. D. Odintsov,
1775: Phys. Lett. {\bf 571B}, 1 (2003), {\it hep-th/0306212}.
1776:
1777: \bibitem{NO5} S. Nojiri and S. D. Odintsov,
1778: ``Gravity assisted dark energy dominance and cosmic
1779: acceleration,'' {\it astro-ph/0403622}.
1780:
1781: \bibitem{Sriv0} S. K. Srivastava, ``Dark energy and dark matter
1782: of the universe from one-loop renormalization of riccion,'' {\it
1783: hep-th/0404170}.
1784:
1785: \bibitem{ENO} E. Elizalde, S. Nojiri and S. D. Odintsov,
1786: ``Late-time cosmology in (phantom) scalar-tensor theory: Dark
1787: energy and the cosmic speed-up,'' {\it hep-th/0405034}.
1788:
1789: \bibitem{NO6} S. Nojiri and S. D. Odintsov,
1790: ``The final state and thermodynamics of dark energy universe,''
1791: {\it hep-th/0408170}.
1792:
1793: \bibitem{LA} J. A. S. Lima and J. S. Alcaniz, ``Thermodynamics and spectral
1794: distribution of dark energy,'' {\it astro-ph/0402265}.
1795:
1796: \bibitem{MMMA} M. D. Maia, E. M. Monte, J. M. F. Maia and J. S. Alcaniz,
1797: ``On the geometry of dark energy,'' {\it astro-ph/0403072}.
1798:
1799: \bibitem{AP} J. S. Alcaniz and N. Pires, ``Cosmic acceleration in brane
1800: cosmology,'' {\it astro-ph/0404146}.
1801:
1802: \bibitem{BM} M. Bouhmadi-Lopez and J. Madrid, ``Escaping the big rip?,''
1803: {\it astro-ph/0404540}.
1804:
1805: \bibitem{FT} P. H. Frampton and T. Takahasi, ``Bigger rip with no dark
1806: energy,'' {\it astro-ph/0405333}.
1807:
1808: \bibitem{Wei0} Y.-H. Wei, ``The power-law expansion universe,''{\it astro-ph/0405368}.
1809:
1810: \bibitem{HJW} S. D. H. Hsu, A. Jenkins and M. B. Wise, ``Gradient
1811: instability for $w<-1$,'' {\it astro-ph/0406043}.
1812:
1813: \bibitem{Sriv} S. K. Srivastava, ``Future universe with $w < -1$ without big
1814: smash,'' {\it astro-ph/0407048}.
1815:
1816: \bibitem{V} A. Vikman, ``Can dark energy evolve to the phantom?'', {\it
1817: astro-ph/0407107}.
1818:
1819: \bibitem{BDE} E. Babichev, V. Dokuchaev and Y. Eroshenko, ``Dark energy
1820: cosmology with generalized linear equation of state,'' {\it
1821: astro-ph/0407190}.
1822:
1823: \bibitem{Noj} S. Nojiri, ``Dark energy and modified gravities,'' {\it
1824: hep-th/0407099}.
1825:
1826: \bibitem{FLPZ} B. Feng, M. Li, Y.-S. Piao and X. Zhang, ``Oscillating quintom
1827: and the recurrent universe,'' {\it astro-ph/0407432}.
1828:
1829: \bibitem{AGP} L. Amendola, M. Gasperini and F. Piazza, ``Fitting type Ia
1830: supernovae with coupled dark energy,'' {\it astro-ph/0407573}.
1831:
1832: \bibitem{CS} F. C. Carvalho and A. Saa, ``Non-minimal coupling, exponential
1833: potentials and the $w < -1$ regime of dark energy,'' {\it astro-ph/0408013}.
1834:
1835: \bibitem{CFT} S. M. Carroll, A. De Felice and M. Trodden, ``Can we be tricked
1836: into thinking that $w$ is less than $-1$?'' {\it
1837: astro-ph/0408081}.
1838:
1839: \bibitem{HN} R. Holman and S. Naidu, ``Dark energy from `water','' {\it
1840: astro-ph/0408102}.
1841:
1842: \bibitem{CMS} S. Capozziello, A. Melchiorri and A. Schirone, ``Scaling dark
1843: energy,'' {\it astro-ph/0408112}.
1844:
1845: \bibitem{BP} O. Bertolami and J. Paramos, ``Astrophysical
1846: constraints on scalar field models,'' {\it astro-ph/0408216}.
1847:
1848: \bibitem{YHW1} Y.-H. Wei, ``The power-law expansion universe
1849: and the late-time behavior,'' {\it astro-ph/0408230}.
1850:
1851: \bibitem{YHW2} Y.-H. Wei, ``Late-time phantom universe in ${\rm SO(1,1)}$ dark
1852: energy model with exponential potential,'' {\it gr-qc/0410050}.
1853:
1854: \bibitem{LS} A. Lue and G. D. Starkman, ``How a brane cosmological constant
1855: can trick us into thinking that $w < -1$,'' {\it astro-ph/0408246}.
1856:
1857: \bibitem{WMeng} P. Wang and X. Meng, ``Can vacuum decay in our universe,'' {\it astro-ph/0408495}.
1858:
1859: \bibitem{Bar} A. O. Barvinsky, ``Cosmological constant problem and long-distance
1860: modifications of Einstein theory,'' {\it hep-th/0409144}.
1861:
1862: \bibitem{Sriv2} S. K. Srivastava, ``Tachyon as a dark energy source,'' {\it gr-qc/0409074}.
1863:
1864: \bibitem{TR} T. Roman, ``Some thoughts on energy conditions and wormholes,'' {\it gr-qc/0409090}.
1865:
1866: \bibitem{FLHZ} W. Fang, H. Q. Lu, Z. G. Huang and K. F. Zhang,
1867: ``Phantom cosmology with the Born-Infeld type scalar field,'' {\it
1868: hep-th/0409080}.
1869:
1870: \bibitem{BdVS} D. Boyanovski, H. J. de Vega and N. G. Sanchez, ``Particle decay during inflation:
1871: self-decay of inflaton quantum fluctuations during slow roll,'' {\it astro-ph/0409406}.
1872:
1873: \bibitem{RAW} D. Rapetti, S. W. Allen and J. Weller, ``Constraining dark energy
1874: with X-ray galaxy clusters, supernovae and the cosmic microwave
1875: background,'' {\it astro-ph/0409574}.
1876:
1877: \bibitem{CKT} C. Csaki, N. Kaloper and J. Terning, ``Exorcising $w
1878: < -1$,'' {\it astro-ph/0409596}.
1879:
1880: \bibitem{SLe} E. S. Santini and G. A. Lemarchand, ``Accelerated
1881: expansion in a stochastic self-similar fractal universe,'' {\it
1882: astro-ph/0410056}.
1883:
1884: \bibitem{CL00} L. P. Chimento and R. Lazkoz, ``Large-scale
1885: inhomogeneities in modified Chaplygin gas cosmologies,'' {\it
1886: astro-ph/0411068}.
1887:
1888: \bibitem{RL} R. Lazkoz, ``Rigidity of cosmic acceleration in a
1889: class of k-essence cosmologies,'' {\it gr-qc/0410019}.
1890:
1891: \bibitem{CL0} L. P. Chimento and R. Lazkoz, ``Unified Phantom Cosmologies,''
1892: {\it astro-ph/0405518}.
1893:
1894: \bibitem{ACL} J. M. Aguirregabiria, L. P. Chimento and R. Lazkoz,
1895: Phys. Rev. {\bf D70}, 023509 (2004), {\it astro-ph/0403157}.
1896:
1897: \bibitem{CL} L. P. Chimento and R. Lazkoz, Phys. Rev. Lett. {\bf 91}, 211301 (2003),
1898: {\it gr-qc/0307111}.
1899:
1900: \bibitem{GC} G. Calcagni, ``Patch dualities and remarks on nonstandard cosmologies,''
1901: {\it gr-qc/0410027}.
1902:
1903: \bibitem{MM} J. Martin and M. A. Musso, ``Stochastic Quintessence,''
1904: {\it astro-ph/0410190}.
1905:
1906: \bibitem{SNLP} S. Nesseris and L. Perivolaropoulos, ``The fate of
1907: bound systems in phantom and quintessence cosmologies,'' {\it
1908: astro-ph/0410309}.
1909:
1910: \bibitem{RJS} R. J. Scherrer, ``Phantom dark energy, cosmic
1911: doomsday, and the coincidence problem,'' {\it astro-ph/0410508}.
1912:
1913: \bibitem{MSA} E. Majerotto, D. Sapone and L. Amendola, ``Supernovae
1914: type Ia data favour negatively coupled phantom energy,'' {\it
1915: astro-ph/0410543}.
1916:
1917: \bibitem{Hu} W. Hu, ``Crossing the phantom divide: dark energy internal degrees of freedom,'' {\it astro-ph/0410680}.
1918:
1919: \bibitem{GPZZ} Z.-K. Guo, Y.-S. Piao, X.-M. Zhang and Y.-Z. Zhang,
1920: ``Cosmological evolution of a quintom model of dark energy,'' {\it
1921: astro-ph/0410654}.
1922:
1923: \bibitem{PPA} P. P. Avelino, ``The coincidence problem in linear
1924: dark energy models,'' {\it astro-ph/0411033}.
1925:
1926: \bibitem{TPad} T. Padmanabhan, ``Dark energy: the cosmological
1927: challenge of the millennium,'' {\it astro-ph/0411044}.
1928:
1929: \bibitem{CW} R.-G. Cai and A. Wang, ``Cosmology with interaction
1930: between phantom dark energy and dark matter and the coincidence
1931: problem,'' {\it hep-th/0411025}.
1932:
1933: \bibitem{Huey} G. Huey, ``A comprehensive approach to resolving
1934: the nature of the dark energy,'' {\it astro-ph/0411102}.
1935:
1936: \bibitem{Eas} D. A. Easson, ``Cosmic acceleration and modified gravitational models,'' {\it astro-ph/0411209}.
1937:
1938: \bibitem{Gong} Y. Gong, ``Observational constraints on generalized Chaplygin gas model,'' {\it astro-ph/0411253}.
1939:
1940: \bibitem{Ded} S. DeDeo, ``Particle dark energy,'' {\it astro-ph/0411283}.
1941:
1942: \bibitem{XFZ} J.-Q. Xia, B. Feng and X. Zhang, ``Constraints on oscillating quintom
1943: from supernova, microwave background and galaxy clustering,'' {\it
1944: astro-ph/0411501}.
1945:
1946: \bibitem{ZKG} Z.-K. Guo and Y.-Z. Zhang, ``Interacting Phantom Energy,'' {\it astro-ph/0411524}.
1947:
1948: \bibitem{Sriv3} S. K. Srivastava, ``Tachyon driven solution to
1949: cosmic coincidence problem,'' {\it gr-qc/0411088}.
1950:
1951: \bibitem{CGST} E. J. Copeland, M. R. Garousi, M. Sami and S.
1952: Tsujikawa, ``What is needed of a tachyon if it is to be the dark
1953: energy?,'' {\it hep-th/0411192}.
1954:
1955: \bibitem{JS} J. Schwinger, J. Math. Phys. {\bf 2}, 407 (1961).
1956:
1957: \bibitem{RJ} R. D. Jordan, Phys. Rev. {\bf D33}, 444 (1986).
1958:
1959: \bibitem{AF} B. Allen and A. Folacci, Phys. Rev. {\bf D35}, 3771 (1987).
1960:
1961: \bibitem{PW1} T. Prokopec and R. P. Woodard, Ann. Phys. {\bf 312}, 1
1962: (2004), {\it gr-qc/0310056}.
1963:
1964: \bibitem{PW2} T. Prokopec and R. P. Woodard, JHEP {\bf 0310}, 059 (2003),
1965: {\it astro-ph/0309593}.
1966:
1967: \bibitem{SY} A. A. Starobinski\u{\i} and J. Yokoyama, Phys. Rev. {\bf D50},
1968: 6357 (1994), {\it astro-ph/9407016}.
1969:
1970: \bibitem{Staro} A. A. Starobinski\u{\i}, ``Stochastic de Sitter (inflationary)
1971: stage in the early universe,'' in {\it Field Theory, Quantum Gravity and
1972: Strings}, 107-126 (1986) ed. by H. J. de Vega and N. Sanchez.
1973:
1974: \end{thebibliography}
1975:
1976: \end{document}
1977: