Abstract
We consider an equation of the geodesic deviation appearing in the problem of gravitational wave detection in an environment of gravitons. We investigate a state-dependent graviton noise (as discussed in a recent paper by Parikh,Wilczek and Zahariade) from the point of view of the Feynman integral and stochastic differential equations. The evolution of the density matrix and the transition probability in an environment of gravitons is obtained. We express the time evolution by a solution of a stochastic geodesic deviation equation with a noise dependent on the quantum state of the gravitational field.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of the effect of an environment, which is not directly observable, on the motion of macroscopic bodies, began with the phenomenon of Brownian motion. The mathematical theory of Brownian motion allowed to confirm the presence of invisible molecules (see [1]). In a recent paper Parikh, Wilczek and Zahariade (PWZ) [2] suggest that in a similar way we can detect the environment of gravitons in spite of the negative conclusions of Dyson [3]. According to PWZ the noise resulting from the ground state or coherent state of gravitons is weak and practically undetectable. However, the high temperature states and squeezed states of the graviton can lead to a substantial increase of noise which can be detected in the gravitational wave detection experiments. The authors [2] derive their results by an investigation of the geodesic deviation equation in the environment of the quantized gravitational field. They apply the influence functional method [4] in order to transform the evolution of the transition probability of macroscopic bodies into an expectation value with respect to the noise disturbing the geodesic deviation equation. Studies on the effect of gravitons on the motion of other particles appeared earlier [5,6,7,8,9,10], but these papers did not tackle directly the geodesic deviation equation. The quantum noise from the environment has been investigated in other fields of physics [11,12,13]. It can be detected in quantum optics (Ref. [14], sec. 14) and solid state physics.
The evolution of the density matrix in an environment of unobservable particles is usually treated by means of the influence functional [4] which starts from the Feynman integral. As a result one can express the evolution of the density matrix as a solution of the master equation. One can also express the density matrix by the Wigner function and derive a stochastic equation for the evolution of the Wigner function. We have derived such equations for the thermal graviton environment by means of the Feynman integral in [7]. In this paper we apply the method to the quantum evolution of a particle following the geodesic deviation equation when the quantum gravitational field is in an arbitrary Gaussian state. We apply a method of transforming the Feynman integral into an expectation value with respect to the Brownian motion developed in [15, 16]. In such a case the dependence of the evolution of the density matrix on the state of the gravitational field is exhibited explicitly.
The plan of the paper is the following. In Sect. 2we derive in a novel way the transformation of the Feynman integral in quantum mechanics into an expectation value over a state-dependent noise. In Sect. 3 we show how this transformation applies to quantum field theory. In Sect. 4 we discuss in detail perturbations by noise resulting from the time-dependent Gaussian states. We explain the calculations of the density matrix and the transition probability in a linear coupling to the environment in Sect. 5. We apply the method to the PWZ model in Sect. 6 (as introduced in [2]) in the one mode approximation. In Sect. 7 the influence of infinite number of modes of the thermal gravitational field upon the geodesic deviation equation is treated by the method of the forward-backward Feynman integral as previously applied in [7] to a geodesic motion. In Sect. 8 we apply our method of the state-dependent noise to derive a stochastic deviation equation which governs the evolution of the density matrix and the transition probability. Section 9 contains a summary of the results. In the Appendix we discuss the stochastic deviation equation which results from the assumption that the initial values of the classical gravitational field have the thermal Gibbs distribution.
2 State-dependent transformation of the Feynman integral
Let us consider first a simple model of the Schrödinger equation of quantum mechanics in one dimension with the time-dependent potential \(U_{t}\)
Assume that we have a solution \(\psi _{t}^{g}\) of another Schrödinger equation (with a potential \({\tilde{U}}_{t}\))
Let us write the solution of Eq. (1) in the form
Inserting \(\chi _{t}\) from Eq. (3) into Eqs. (1)–(2) we find that \(\chi _{t}\) satisfies the equation
with the initial condition
expressed by the initial conditions for \(\psi _{t}\) and \(\psi _{t}^{g}\).
We apply Eq. (4) either with \({\tilde{U}}_{t}=U_{t}\) or with \( U_{t}=V_{t}+\frac{m\omega ^{2}x^{2}}{2}\) and \({\tilde{U}}_{t}=\frac{m\omega ^{2}x^{2}}{2}\). In the first case Eq. (4) reads
In the second case
Equation (6) can be considered as the diffusion equation with the imaginary diffusion constant \(\frac{i\hbar }{m}\) and a time-dependent drift \(\frac{i\hbar }{m} \nabla _{x}\ln \psi _{t}^{g}\). If we extend the diffusion theory [1, 17] to a complex domain then we can conclude that the solution of Eq. (6) is determined by the solution of the Langevin equation
Here, the Brownian motion \(b_{s}\) is defined as the Gaussian process with the covariance
The solution of Eq. (6) is
where \(q_{t}(x)\) is the solution of Eq. (8) with the initial condition \(q_{0}(x)=x\) and the expectation value is over the paths of the Brownian motion.
The solution of Eq. (7) is expressed [17] by the Feynman–Kac formula (where the Feynman paths are replaced by the paths of the diffusion process \(q_{s}(x)\) of Eq. (8))
We could derive Eq. (10) from the Feynman integral. The solution \(\psi _{t}\) of Eq. (1) with the initial condition \(\psi _{0}\) at \(t=0\) can be expressed by the Feynman integral
where the integral is over paths \(q_{s}(x)\) starting from x (i.e.\(q_{0}(x)=x\); we shall also denote \(q_{s}(x)\) by \(q_{s}\) when there is no danger of confusion).
We show (first for the formula (10)) that if in the Feynman formula (12) we take as Feynman paths the paths of the diffusion process (8) then we obtain Eq. (10). The proof is based on the representation of \(\psi _{0}^{g}(q_{t})=\exp \ln \Bigg (\psi _{0}^{g}(q_{t})\Bigg )\) as an integral
and the identity (for the process (8))
Equation (14) shows that the integration over q in the Feynman formula (12) can be replaced by an average over Brownian paths \(b_{t}\) because we arrive at Eq. (10) (which still will be proved in another way by means of the stochastic calculus).
It is crucial for the derivation that functionals of the Brownian motion satisfy a modified differential formula (Ito formula [18], for an elementary version see [19]) following from the non-differentiability of the Brownian paths \(b_{t}\)
where \(\circ \) denotes the Stratonovitch differential (the differential db without circle is called Ito differential [18]) and on the rhs of Eq. (15) we insert \(\langle (db)^{2}\rangle =ds\) (we denote E[..] by \(\langle .. \rangle \) as a shorthand). If the Langevin equation (8) is satisfied and if \(f_{s}\) is a function of q then
We insert \(f_{s}=\ln \psi _{t-s}^{g}\). Then
We have
We use the fact that \(\psi _{t-s}^{g}\) satisfies the Schrödinger equation (2) (with \({\tilde{U}}=U\)) . Then, in equation (16) we can express \(\nabla ^{2}\psi _{t-s}\) by \(U_{t-s}\) and \(\partial _{s}\psi _{t-s}^{g}\). We can check after an insertion of Eqs. (13) and (16) in Eq. (14) that in the exponential of the Feynman integral there remains solely \(-\frac{1}{2}\int ds(\frac{db}{ds})^{2}\). This means that the functional integral in the Feynman formula (12) is reduced to an average over the Brownian motion as in Eq. (10).
The formula (10) can be proved directly by differentiation (using the Ito formula). As \(q_{s}\) (8) is a Markov process Eq. (10) defines a semigroup. Then, in order to show that the formula (10) solves Eq. (6) it is sufficient to calculate the generator of the semigroup at \(t=0\). We have from Eq. (10)
In this formula we insert \(dq_{t}\) from Eq. (8). Note that \(E[Fdb_{t}]=0 \)(if F depends on time less or equal to t) and \(dqdq=\frac{i\hbar }{m}dt\). After the calculation of the differentials we may let \(t\rightarrow 0\) to convince ourselves that the rhs of \(d\chi \) is \(\frac{i\hbar }{2m}\nabla ^{2}\chi +\frac{i\hbar }{m}\nabla \ln \psi ^{g}_{t}\nabla \chi \).
If in Eq. (2) we used \({\tilde{U}}=\frac{m\omega ^{2}x^{2}}{2}\) in Eq. (16) with \(U=V+\frac{m\omega ^{2}x^{2}}{2}\) then after an insertion of Eq. (16) in Eq. (12) the potential \(U-{\tilde{U}}=V\) would remain in the Feynman integral. Hence, we would obtain the result (11). This equation can be proved directly using the stochastic calculus (Eq. (11) defines a semigroup, hence it is sufficient to calculate its generator at \(t=0\))
When we insert \(dq_{t}\) from Eq. (8) then we obtain the rhs of Eq. (7).
The imaginary time version of our formulas belongs to the standard theory of stochastic differential equations [17]. The derivation of the Feynman integral has been discussed earlier in a different form in [15, 16]. The stochastic formulas for the Feynman integral are also discussed in [20,21,22,23]. There are some mathematical subtleties concerning analytic properties of functions of the stochastic processes as our formalism is an analytic continuation of the one well known for the imaginary time. For a large class of analytic potentials the replacement of the real paths of Feynman by complex diffusion processes driven by Brownian paths is completely equivalent (this is a mathematical theory of the Feynman integral). As follows from the derivation of the Schrödinger equation by means of the stochastic calculus the formula (11) holds true for arbitrary particular solution \(\psi ^{t}_{g}\) and arbitrary initial condition \(\psi _{0}^{g}\chi _{0}\) if these functions have a holomorphic extension from the real line.
If we take \(\psi _{t}^{g}\) in the WKB form \(\exp (\frac{i}{\hbar }S_{t})\) then in the limit \(\hbar \rightarrow 0\) of the Schrödinger equation the function S satifies the Hamilton–Jacobi equation. The stochastic equation (8)
together with Eq. (10) can be considered as a Hamilton-Jacobi version of a sum over trajectories.
The formalism can be extended to arbitrary number of dimensions and to Lagrangians of the form
Then the Schrödinger equation (1) holds with the Hamiltonian
where \(g=\det [g_{jk}]\) , \(g^{jk}\) are the matrix elements of the inverse matrix and
is the momentum in classical mechanics . In quantum mechanics
The corresponding stochastic equation (an analog of Eq. (8)) reads
where \(e^{j}_{l}e^{k}_{l}=g^{jk}\).
We consider as a simple example \({\tilde{U}}=\frac{m\omega ^{2}x^{2}}{2}\). Then the ground state solution of Eq. (2) is
The stochastic equation (8) reads
A simple calculation gives
The rhs of Eq. (26) is the expectation value in the ground state of the time-ordered products of Heisenberg picture position operators of the harmonic oscillator. In this sense the stochastic process \(q_{t}\) has a physical meaning as its correlation functions coincide with quantum expectation values.
3 The relativistic quantum field theory
In the canonical field theory with the Hamiltonian
where \(\varPi (\mathbf{x})\) is the canonical momentum
and
consider the Schrödinger equation
and its imaginary time version
Let
where \(\psi ^{g}\) is the ground state. Then, \(\chi \) satisfies the equation (an infinite dimensional version of Eq. (6))
where
Equation (31) is a diffusion equation in infinite dimensional spaces. An approach to Euclidean field theory based on this equation has been developed in [24]. It follows that the solution of Eq. (31) can be expressed as
where \(\varPhi _{t}(\varPhi )\) is the solution of the stochastic equation
with the initial condition \(\varPhi \). E[...] denotes an expectation value with respect to the Wiener process (Brownian motion) defined by the covariance
The correlation functions of the Euclidean field in the ground state \(\psi _{g}\) can be expressed by the correlation functions of the stochastic process \(\varPhi _{t}\).
Let us consider the simplest example:the free field. Then, the ground state is
Equation (34) reads
with the solution (with the initial condition \(\varPhi \) at \(t_{0}\))
We can calculate
In Eq. (39) the rhs denotes the kernel of the operator.
If the ground state has some analycity property then we can extend the time in Eqs. (28)–(38) \(t\rightarrow it\) from imaginary time to the real time [15, 16]. An analytic continuation to real time of Eq. (37) reads
The solution is
The solution of the Schrödinger equation (28) has the same form (33). We can see that
where \(\varPhi _{t}^{q}(f)=\int d\mathbf{x}\varPhi _{t}^{q}(\mathbf{x})f(\mathbf{x})\) is the quantum field and T denotes the time-ordered product.
We can transform the complex equation (40) into two real equations defining
and
Then it follows from Eq. (40) that
and \(\phi _{-}\) satisfies the random wave equation
which has the solution
where \(\partial _{t}\phi _{-}(0)=\omega \phi _{+}(0)\).
We further develop the theory of stochastic wave equations for the quantum theory of fields in expanding universes in [26] as an extension of Starobinsky stochastic inflation [27].
4 Time-dependent reference state
There are time-dependent solutions in the Gaussian form of the Schrödinger equation for the free field theory
In the time-dependent case Eq. (8) in quantum field theory takes the form [17]
Let \(\varPhi _{s}(\varPhi )\) be the solution of Eq. (50) with the initial condition \(\varPhi \) then the solution of the Schrödinger equation (28) with the initial condition \(\psi ^{g}_{0}\chi \) is
In the model (27) with a time-dependent interaction \(V_{t}\) it would be difficult to find any explicit solution \(\psi _{t}^{g}\). However, we can use the solution \(\psi _{t}^{g}\) of the free field theory and take interaction into account by means of the Feynman–Kac formula. According to Eq. (11) the solution of the Schrödinger equation with the interaction \(V_{t} \) reads
We shall apply Eq. (52) for V which is linear in \(\varPhi \) (\(\varPhi \) could be the gravitational potential in de Donder gauge as in [25]; it will have many components when describing gravitons in the transverse-traceless gauge in Sects. 7, 8).
As an application to the particle motion in a (quantized squeezed) gravitational wave let us consider the Hamiltonian of a harmonic oscillator(\({\tilde{U}}=\frac{\omega ^{2}x^{2}}{2}\) in Eq. (2) corresponding to a single mode of the gravitational field)
Let us look for a time-dependent solution of the Schrödinger equation (2) in the form
Then, \(\psi ^{g}\) is a solution of the Schrödinger equation (2) if
and
It can be seen that the Riccatti equation (57) is equivalent to
where
i.e.\( \varGamma =u^{-1}\partial _{t}u\). Then, \(J_{t}=J_{0}u_{0}u_{t}^{-1}\). The general solution of Eq. (58) is
where \(\sigma ,\delta \) are complex numbers.
Equation (8) reads
with the solution
We have (as \(E[(\int f_{s}db_{s})^{2}]=\int f_{s}^{2}ds\))
If \(\delta a=i\sigma \) then \(\varGamma (0)=ia^{-1}\omega \) and the solution \(\psi _{t}\) starts from a real \(i\varGamma \). Choosing \(J_{0}=a^{-1}\omega x_{0}+ip\) we obtain the squeezed state
with the squeezing a of the coordinate (for a time evolution of squeezed states see [28]). The case \(\delta =i\sigma \) corresponds to the ground state (24) (\(m=1\)). It can be shown that the formula (63) is continuous with respect to the limit \(\delta \rightarrow i\sigma \).
5 Linear coupling to an oscillator environment
Let us consider a model of a system with a Lagrangian \(\mathcal{L}_{\xi }\) described by a coordinate \(\xi \) linearly interacting with an oscillator. We have the Lagrangian
In the model with a linear coupling and the quadratic Lagrangian for the q variable (64) the functional integral in Eq. (11) can be reduced to the Gaussian integral
where we used the Fourier representation of \(\chi _{0}(x)\) (we use the same notation for a function and its Fourier transform)
For a Gaussian variable \(q_{s}\) we have (for any number \(\alpha _{s}\))
The formula (66) can easily be generalized to \(\int ds\alpha _{s}q_{s}\) with \(q_{s}\) of Eq. (62)) and to an infinite number of modes q (as will be done in Sects. 7, 8).
We are interested in the scattering amplitude from an initial state \(\psi _{0}^{g}(x)\chi _{i}(x)\phi _{i}(\xi )\) to the final state \(\psi _{0}^{g}(x)\chi _{f}(x)\phi _{f}(\xi )\). We apply the transformation of Sect. 2 only to the oscillator path integral. Then, according to Eq. (11) the amplitude \(a_{fi}\) is (where \((\psi _{0}^{g}\chi _{i}(x)\phi _{i})_{t}\) means the unitary evolution of the wave function)
where the initial state of the oscillator is \(\psi _{0}^{g}\chi _{i}\).
If we do not observe the final states of the oscillator and average the probability P(i, f) of the transition \(\phi _{i}\rightarrow \phi _{f}\) over these states using the completeness relation
then we obtain
where \(q^{*}\) denotes a complex conjugation of an independent version of the process \(q_{t}\) and \(\xi _{s}^{\prime }(\xi ^{\prime })\) is another realization of the path \(\xi _{s}\).
If we define the density matrix \(\rho \) as an average over the environment of the oscillator then the density matrix of the \(\xi \) system is
It can be seen from Eqs. (69), (70) that the calculations of the density matrix and the transition probability are closely related. When calculating the transition probability we need to perform an extra \((\xi ,\xi ^{\prime })\) integral over the final states \(\overline{\phi _{f}(\xi )}\phi _{f}(\xi ^{\prime })\) of the \(\xi \) system in comparison to the calculation of the density matrix in Eq. (70).
If \(\chi _{i}=1\) then according to Eq. (66) the expectation value (67) is
6 Particle interacting with gravitons: PWZ model in one mode approximation
Parikh,Wilczek and Zahariade [2] consider two masses M and \(m_{0}\) interacting with gravitational field \(q_{\omega }\). In a one mode approximation the Lagrangian describing the geodesic deviation of the \(m_{0}\) mass (in the free falling frame and \(M>>m_{0}\)) is [2, 29]
where \(\lambda =\sqrt{8\pi G}\), \(y=(q_{\omega },\xi )\), \(\xi \) is the geodesic deviation (the potential \(V(\xi )\) is absent in [2] but we add it here for further applications in the next sections).
The Lagrange equation is
The Hamiltonian is determined by Eq. (20) with
We could quantize the model (72) with the explicit quantum version (20) of the Hamiltonian. However, the averaging over gravitons is simple only in the influence functional approach.
In the PWZ model (72), where the gravitational field is described by one mode \(q_{\omega }\), when we apply the transformation (25) to \(q_{s}\) with the ground state (24) (\(m=1\)) then from Eq. (70) we obtain
where \(q^{*}\) is another realization of the process q (and the complex conjugation of this realization). We have changed \(s\rightarrow t-s\) in the integral in the exponential and inserted \(f_{s}=\frac{m_{0}}{2}\frac{d^{2}\xi ^{2}}{ds^{2}}\). We have denoted the evolution kernel of the density matrix by \(K_{t}\) .
The calculation of the expectation value (75) according to Eq. (71) gives (we use the solution (41), where \(\varPhi \rightarrow q\), of Eq. (25) and assume that the initial condition \(\chi _{i}=1\))
where \(f=\frac{m_{0}}{2}\frac{d^{2}\xi ^{2}}{ds^{2}},f^{\prime }=\frac{m_{0}}{2}\frac{d^{2}\xi ^{\prime 2}}{ds^{2}}\). In Eq. (76) we have (this is the special case of Eq. (63) with \(u_{s}=\exp (i\omega s)\))
If the oscillator is in a time-dependent state then we should insert the solution (62) in the Feynman formula (75). Hence, instead of Eq. (76) we have (for typographical reasons from now on we identify \({\overline{\varGamma }}=\varGamma ^{*}\), when acting on \(q_{t}\) the star \(*\) has an extra meaning:it means complex conjugation and an independent realization of the process \(q_{t}\))
where
After calculation of the x integral in Eqs. (76) and (78) we obtain a quadratic functional of \(f_{s}\) and \(f^{\prime }_{s^{\prime }}\) in the exponential. In the simplest case (76) of the ground state of the oscillator we obtain
We write
We expand the exponential in Eq. (80) in y. Then, the terms independent of y cancel and there remains (till the terms quadratic in y )
The term linear in y gives a modification of the equation of motion of the \(\xi \) coordinate whereas the term quadratic in y is a noise acting upon the particle [7].
In the expression (78) of the time-dependent reference state we obtain
We expand (83) in y again. Let us consider the general expression appearing after an expansion in y till the second order terms in Eqs. (82), (83)
where by L we denote a functional of X, M is an operator and by \({\tilde{L}}\) we denote the term proportional to y. If we introduce \({\tilde{X}}= M^{-\frac{1}{2}}{\tilde{L}}\) then \({\tilde{X}}\) becomes a Gaussian variable with the white noise distribution which can be represented as \(\partial _{s}b_{s}\). If \(\rho _{0}\) depends only on X then the factor depending on y is integrated out contributing just a constant. The calculation of \(\rho _{t}\) is reduced to an average over solutions of the stochastic equation
In general, there still will be the Gaussian integral over y so that the expression for the density matrix can be obtained in the form of an expectation value over the solutions of the stochastic equation (84) and the y terms resulting from an expansion in y of \(\rho _{0}(X,y)\) (this is an expansion in \(\hbar \)).
In the next section dealing with a thermal state of the gravitational field we approximate L and M by local functions of X.
7 Infinite number of modes:thermal state of gravitons
We are to generalize the results of Sect. 6 to an infinite number of modes of the gravitational field. We could do it in the formulation of Sect. 6 by means of a representation of the thermal state as a sum over eigenstates with a proper weight factor. We have studied earlier [7] an analogous model of a particle geodesic motion in an environment of quantum gravitational waves in a thermal state. There are minor changes from the setting of Parikh, Wilczek and Zahariade [2]where the effect of gravitons on geodesic deviation is considered. The Lagrangian (72) with an infinite number of modes in the coordinate space is [29]
where the metric perturbation \(h_{rl}\) of the Minkowski metric \(\eta _{\mu \nu }\) (\(\eta _{\mu \nu }\rightarrow \eta _{\mu \nu }+h_{\mu \nu }\)) is in the transverse-traceless gauge, the geodesic deviation \(\xi \) in a gravitational transverse traceless gauge has only the spatial components \(\xi _{r}\). We apply the decomposition of \(h_{rl}=h_{rl}^{w}+ h_{rl}^{q}\) into the classical wave solution \(h_{rl}^{w}\) and the quantized (graviton ) part \( h_{rl}^{q}\). \( h_{rl}^{q}\) is decomposed in the amplitudes \(h_{\alpha }\) (where \(\alpha =+,\times \),in the linear polarization) by means of the polarization tensors \(e^{\alpha }_{rl}\) (as \(h_{rl}=e^{\alpha }_{rl}h_{\alpha }\)) [29, 31, 37]
With the infinite number of gravitational wave modes in the model (72) of Sect. 6 we shall have \(\omega =\vert \mathbf{k}\vert \) (we set the velocity of light \(c=1\)).\( H=H_{+}+H_{\times }\) is the sum of the independent Hamiltonians (27) with \(V=m=0\).
The \(h_{rl}^{q}\) are quantized at finite temperature T with the Gibbs distribution \(\exp (-\beta H)\), \(\beta ^{-1}=k_{B}T\) where \(k_{B}\) is the Boltzman constant. The classical part of the particle-wave interaction can be considered as a time-dependent external potential \(V(\xi )\) with
Denote
Then, as in [7] (there are some misprints of signs in [7]; for the derivation of the thermal formula see [32], sec. 18, see also [5, 8, 10]; the gravitational case is analogous to the electromagnetic one treated in [33]) we obtain for the density matrix evolution kernel
In (89) we have a decomposition of the finite temperature transverse-traceless graviton propagator D into the real and imaginary parts \(D=A+iC\)
where
We neglect the dependence on \(\mathbf{x}\) in Eqs. (90)–(91). Then the angular average over \(\mathbf{k}k^{-1}\) gives
When we neglect the \(\mathbf{x}\) dependence of the propagators (\(\xi ^{r}-\xi ^{\prime r}\) in Eq. (89) should be inserted as \(x^{r}- x^{\prime r}\)and we assume that \(\xi \) is small in comparison with the gravitational wave length, hence it can be set to zero) and average over the angles then the k-integral \(d\mathbf{k}\simeq 4\pi dkk^{2}\) in the high temperature limit \(\beta \hbar \rightarrow 0\) of \(A_{rl;mn}\) in Eq. (90) gives \(\delta (s-s^{\prime })\). In \(C_{rl;mn}\) (91) we write (as in [7]) \(\sin (k(s-s^{\prime }))=-k^{-1}\partial _{s}\cos (k(s-s^{\prime }))\). Then, integrating over k we obtain \(\partial _{s}\delta (s-s^{\prime })\) . In such a case the evolution kernel of the density matrix reads
where
results from a resummation of \(f^{rl}\) with \(\langle \varLambda _{ij;rl}\rangle \)
We expand Eq. (93) around X (81) (now with three spatial indices)
In the exponential (93) the term linear in y becomes
The term quadratic in y is the noise term. For low temperature we obtain in general the non-local and non-Markovian stochastic equation (84). In the high temperature limit \(\beta \hbar \rightarrow 0\) the calculation of the evolution kernel is reduced to an expectation value over the solutions of the stochastic equation
As explained in the derivation of Eq. (84) the term quadratic in y defines the operator M. From Eq. (93) we obtain that M is an operator defined by the bilinear form (on the rhs of Eq. (98) we have the square root of the matrix M)
where
We derive Eq. (98) with the noise (99) in the Appendix working directly with the classical model of thermal gravitational waves. The modification of the deviation equation coincides with the one of Ref. [29] (up to an infinite renormalization term). It is discussed already in [37] (sec. 36.8) and in more detail in [38] (see in particular the last section of this paper). The spectrum of the noise (of the quadrupole \(q^{rl}\)) as seen from Eqs. (89), (90) is \(8\pi G k\hbar \coth (\frac{\hbar \beta k}{2})\) which at low temperature is \(8\pi G k\) and at high temperature \(8\pi G \beta ^{-1}\) (the spectrum of the coordinates \(\xi \), as considered by [29] in Eqs. (3.13)–(3.14), is multiplied by \(k^{4}\) as a result of the fourth order derivative in Eq. (99)).
8 General Gaussian state of the graviton
We generalize the results of Sect. 6 on averaging over the oscillator modes in a squeezed state to infinite number of modes of the gravitational field. The gravitational perturbation in the transverse-traceless gauge is decomposed into the amplitudes \(h^{\alpha }\) by means of the polarization tensors \(e_{rl}^{\alpha }\),\(\alpha =+,\times \), \(h_{rl}=e^{\alpha }_{rl}h_{\alpha }\). The gravitational Hamiltonian \(H=H_{+}+H_{\times }\) has the same form as for two independent scalar fields \(\varPhi \rightarrow h_{\alpha }\) (Eq. (27) with \(m=U=0\)). In such a case we have two independent equations (57) for \(\varGamma _{\alpha }\) and two independent \(u_{\alpha }\). The Lagrangian (72) in multimode case takes the form of a sum over modes (we omit the classical part \(h^{w}\) and neglect the dependence of \(h^{q}(s,\mathbf{x})\) on spatial coordinates as in Eq. (93) of the previous section))
The last term will be expressed as
where \(f^{\alpha }=e_{rl}^{\alpha }f^{rl}\).
We consider a solution of the Schrödinger equation (28) (\(V=0\)) in the Gaussian form (if we did not split the gravitational field into \(h^{w}\) and \(h^{q}\) then the classical part would be obtained from the term Jh in Eq. (54))
In Eq. (100) \((\varGamma ^{\alpha }-\varGamma ^{*\alpha })^{-1}\) has a physical meaning as the squeezing of the amplitude \(h^{\alpha }\) in the uncertainty relations (squeezed states are produced during inflation [35, 36]). In general, \(\varGamma ^{+}\) and \(\varGamma ^{\times }\) are independent solutions of Eq. (57). We restrict our discussion to the case \(\varGamma ^{+}=\varGamma ^{\times }\equiv \varGamma \) (and \(u_{+}=u_{\times }\)). Then, the gravitational field resulting from the state (100) is covariant under rotations. In the expectation values (80) and (83) we shall have sums of the form
which after averaging over \(\mathbf{k}k^{-1}\) will be expressed by \(q^{rl}\) (94) in the way analogous to the thermal case of Sect. 7 (\(\varLambda _{mn;rl}f^{mn}_{s}f^{rl}_{s^{\prime }}\rightarrow \langle \varLambda _{mn;rl}\rangle f^{mn}_{s}f^{rl}_{s^{\prime }}\)). In detail
In Eq. (102) the \(f_{\alpha }f_{\alpha }\) term of Eq. (83) has been expressed by \(q^{rl}\) and u(k) is defined in Eq. (60) with \(\omega =k\) (the coefficients \(\delta \) and \(\sigma \) may depend on k).
For the final result the integral over k is crucial. Its exact value depends on the complex functions \(\sigma (k)\) and \(\delta (k)\) in Eq. (60). In the thermal case the effective action at high temperature in the exponential (93)was local in time (for a small \(\beta \)) owing to the \(k^{-1}\) factor coming from \(\coth (\frac{1}{2}\hbar \beta k)\). We do not have such a factor here. Nevertheless, we can see that the non-local final noise can be large owing to the squeezing factor \((\varGamma -\varGamma ^{*})^{-1}\) in Eq. (102).Explicitly, this term is
The exponential in Eq. (102) is of the form
When \(\frac{\delta }{\sigma }=i\), \(\varGamma =ik\), \(u_{s}=\exp (iks)\) then in the integral (102) we obtain (this is an infinite mode version of Eq. (80))
Representing \(\sin (kt)\) as \(-k^{-1}\partial _{t}\cos (kt)\) we integrate over k obtaining \(\partial _{s}\delta (s-s^{\prime })\) in a similar way as we did it in the thermal case arriving at the phase factor
We obtain the same lhs of the stochastic equation (98) as in the thermal state , but the noise resulting from Eq. (105)is different than the one of Eq. (98) (non-local in time and non-Markovian).
In Eq. (102) the exponential of the density matrix can be written in the form
If the exponential (102), (103) is written in the form (104) then \(\alpha _{1}=A+B+C\), \(\alpha _{2}=A+B-C\), \(\alpha _{3}=2(A-B-C)\). The functions A, B, C can be read from Eqs. (102), (103). Expanding in y we obtain the non-Markovian stochastic equation as derived in Eq. (84). In Eq. (107) the C-term is proportional to y whereas the A and B terms are quadratic in y. So the C term gives the modification of the equation for the geodesic deviation whereas the A, B terms contribute to the noise.
Equation (102) simplifies if \(\varGamma (t)\simeq const\). Let us set in Eq. (60) \(a\delta =i\sigma \) (a may depend on k). Then \(\varGamma (0)=ika^{-1}\). We have a real Gaussian function in Eq. (100) as an initial state. This squeezed state can still be approximated by an initial real function if a is large and \((kt)^{-1}>>a>>kt\) with \(kt<<1\) . In such a case to Eq. (102) only the term (103) contributes, where \(u_{s}\simeq \sigma \cos (ks)\). Hence
The integration over the angles \(k^{-1}{} \mathbf{k}\) of \(\epsilon _{rl}^{\alpha }\epsilon _{mn}^{\alpha }\) is expressed by \(\langle \varLambda _{rl;mn}\rangle \) (92). Hence, finally
Equation (109) gives the spectrum of the noise of the quadrupole \(q^{rl}\) as \(8\pi G a k\) (defined in [39]) or the spectrum of the noise of the measured coordinate \(\xi \) (if we perform the differentiation by parts over s contained in \(q^{rl}\) ) as \(8\pi G a k^{5}\) in agreement with [29] (Eqs. (3.13)–(3.14)). The kinematic form of the noise (109) is the same as the one for the thermal noise discusssed at the end of Sect. 7 and in the Appendix. However, because of a different spectrum of the noise (109) it is not of the local form (99).
9 Summary
We have calculated the density matrix resulting from an average over the gravitational field in a thermal state and in a general Gaussian state. The result shows that for gravitons in high temperature or in a highly squeezed state the modification of the geodesic deviation equation applied in a gravitational wave detection can have large noise amplitude. In general, the perturbation of the geodesic deviation equation is non-local and non-Markovian. Our results on the stochastic geodesic deviation equation show some differences in comparison to PWZ [2] which may come from approximations used by those authors. The formula for the noise (although quite complicated) can be useful in order to distinguish the contribution of the graviton noise from other sources of noise in the gravitational wave detection. Using Eq. (69) we can calculate the transition probability between the initial and final states of the detector. In the expansion in \(\hbar \) the calculation is reduced to expectation values of the noise. The noise could be detectable if gravitational waves come from an inflationary stage of universe evolution (squeezing) or from a merge of hot neutron stars.
Remark
After a submission to arXiv of the first version of this paper there appeared extended versions [39, 40] of PWZ paper [2]. Their modification of the deviation equation (Eq.(125) of Ref. [40]) is different from (98). The difference comes from the approximations discussed in [40] at the end of Sect. 2 where it is assumed that only one quantum mode of \(\xi ^{r}\) is excited.
Data Availability Statement
This manuscript has associated data in a data repository. [Authors’ comment: All data included in this manuscript are available upon request by contacting with the corresponding author (Zbigniew Haba).].
References
E. Nelson, Dynamical Theories of Brownian Motion (Princeton University Press, Princeton, 1967)
M. Parikh, F. Wilczek, G. Zahariade, Int. J. Mod. Phys. D 29, 2042001 (2020). https://doi.org/10.1142/S0218271820420031. arXiv:2005.07211 [hep-th]
F. Dyson, Int. J. Mod. Phys. A 28, 1330041 (2013)
R.P. Feynman, F.L. Vernon, Ann. Phys. 24, 118 (1963)
E. Calzetta, B.L. Hu, Phys. Rev. D 49, 6636 (1994)
Z. Haba, Mod. Phys. Lett. A 15, 1519 (2000)
Z. Haba, H. Kleinert, Int. J. Mod. Phys. A 17, 3729 (2002). arXiv:quant-ph/0101006
C. Anastopoulos, B.L. Hu, Class. Quantum Gravity 30, 165007 (2013)
B. Lamine, M.T. Jaekel, S. Reynaud, Eur. Phys. J. D 20, 165 (2002)
T. Oniga, ChH-T Wang, Phys. Rev. D 93, 044027 (2016)
R. Benguria, M. Kac, Phys. Rev. Lett. 46, 1 (1981)
G.W. Ford, M. Kac, J. Stat. Phys. 46, 803 (1987)
A.O. Caldeira, A.J. Leggett, Ann. Phys. 149, 374 (1983)
L. Mandel, E. Wolf, Optical Coherence and Quantum Optics (Cambridge University Press, New York, 1995)
Z. Haba, Lett. Math. Phys. 37, 223 (1996)
Z. Haba, Feynman Integral and Random Dynamics in Quantum Physics (Kluwer/Springer, Berlin, 1999)
M. Freidlin, Functional Integration and Partial Differential Equations (PrincetonPrinceton University Press, Princeton, 1995)
N. Ikeda, S. Watanabe, Stochastic Differential Equations and Diffusion Processes (North Holland, Amsterdam, 1981)
B. Simon, Functional Integration and Quantum Physics (Academic Press, New York, 1979)
H. Doss, Commun. Math. Phys. 73, 247 (1980)
S. Albeverio, Z. Brzezniak, Z. Haba, Potential Anal. 9, 65 (1998)
H. Doss, J. Funct. Anal. 260, 1824 (2011)
S. Mazzucchi, J. Math. Phys. 49, 093502 (2008)
S. Albeverio, R. Hoegh-Krohn, Z. Wahrsch, Verw. Geb. 40, 1 (1977)
K.M. Zurek, arXiv:2012.05870 [hep-th]
Z. Haba, in preparation
A.A. Starobinsky, Lecture Notes in Physics, vol. 246 (Springer, Berlin, 1986), p. 107
I. Bialynicki-Birula, Acta. Phys. Pol. B 29, 3569 (1998)
S. Kanno, J. Soda, J. Tokuda, arxiv:2007.09838
M. Maggiore, Gravitational Waves, vol. 1 (Oxford University Press, Oxford, 2007)
C. Caprini, D.C. Figueroa. arXiv:1801.04268 [astro-ph]
H. Kleinert, Path Integrals, 5th edn. (World Scientific, Singapore, 2009)
Z. Haba, H. Kleinert, Eur. Phys. J. B 21, 553 (2001)
Z. Haba, Eur. Phys. J. C 80, 321 (2020)
A. Albrecht, P. Ferreira, M. Joyce, T. Prokopec, Phys. Rev. D 50, 4807 (1994)
D. Polarski, A.A. Starobinsky, Class. Quantum Gravity 13, 377 (1996)
C.W. Misner, K.S. Thorne, J.A. Wheeler, Gravitation (Freeman, San Francisco, 1970)
T.C. Quinn, R.M. Wald, Phys. Rev. D 56, 3381 (1997)
M. Parikh, F. Wilczek, G. Zahariade, arXiv:2010.08205 [hep-th]
M. Parikh, F. Wilczek, G. Zahariade, arXiv:2010.08208 [hep-th]
Acknowledgements
The author thanks an anonymous referee for some useful suggestions for improvements of the first version of this paper.
Author information
Authors and Affiliations
Corresponding author
Appendix: High temperature (classical) limit
Appendix: High temperature (classical) limit
We can treat the system in an environment of thermal gravitons by means of the same procedure as applied in [34]. The equation for the gravitational field resulting from the Lagrangian (85) is
We write the solution of Eq. (110) (assuming that when \(t\le t_{0}\), where \(t_{0}\) is the initial time, \(h_{rl}\) behaves as free wave) in the form (in the transverse-traceless gauge)
here
is the gravitational wave, \(h^{th}\) describes the thermal modes distributed with the Gibbs equilibrium measure, \(h_{0}^{\alpha }\) and \(\varPi _{0}^{\alpha }\) are random initial conditions. \(h_{rl}^{I}\) is the gravitational field created by the motion of \(m_{0}\). \(h_{rl}^{w}\) and \(h_{rl}^{th}\) satisfy the homogeneous equation
The equation of motion for the coordinate \(\xi \) is
We insert the gravitational field from Eq. (111) into Eq. (112). We obtain
where F is a non-linear interaction resulting from the interaction with the environment and
The classical Gibbs distribution (a classical limit of the quantum Gibbs distribution of Sect. 7) is (\(\varPi _{\alpha }\) has the meaning of the initial canonical momentum)
Calculating the correlation functions of the noise (assuming the Gibbs distribution of the initial values) we obtain
So that
The non-linear force resulting from the graviton environment is
We write the last factor as
Then
where we assumed that at \(t_{0}\) the first and the second derivatives of \(f_{mn}\) are zero. If we assume that in (119) \(f_{mn}(t_{0})=0\) then we can write Eq. (113) in the form
Equation (121) coincides with Eq. (98) as the noise (117) is the same as the one defined by Eqs. (98), (99).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Haba, Z. State-dependent graviton noise in the equation of geodesic deviation. Eur. Phys. J. C 81, 40 (2021). https://doi.org/10.1140/epjc/s10052-020-08805-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08805-y