This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

institutetext: Center for Gravitation and Cosmology, College of Physical Science and Technology, Yangzhou University, 180 Siwangting Road, Yangzhou City, Jiangsu Province 225002, China

Decoherence and thermalization of Unruh-DeWitt detector in arbitrary dimensions

Abstract

We study the decoherence and thermalization of an Unruh-DeWitt detector linearly coupled to the free massless scalar field in flat spacetime with arbitrary dimensions d2d\geq 2. The initial state of the detector is chosen to be a pure state consisting of a linear superposition of ground and excited states, and we calculate the time evolution of reduced density matrix of the detector. Using perturbation method, we analytically derive the transition rate of the detector (the rate of change of the diagonal elements in the density matrix) and the decoherence rate (the rate of change of the off-diagonal elements in the density matrix). We find that the results are not the same in odd and even dimensional spacetimes, but the unitarity of the qubit is preserved in both cases. The real part of the decoherence rate is related to the transition rate, while the imaginary part may contain different forms of divergence terms in different dimensions due to the temporal order product operator and the singularities of the Wightman function for quantum field theory. We derive the recurrence formula to obtain the divergence terms in each dimension and analyze the renormalization problem.

1 Introduction

The relationship between general relativity and quantum physics has been one of the most significant open topics in modern physics. Despite the belief that there should exist a more fundamental theory of quantum gravity which degenerates into general relativity and quantum physics in certain situations, the pursuit of quantum gravity has not been very successful. It appears that there are considerable differences between the fundamental laws regulating macroscopic and microscopic processes. For example, Einstein’s equation, the fundamental equation of general relativity, is nonlinear, whereas Schrödinger’s equation, the fundamental equation of quantum mechanics, is linear. Because of the linearity of Schrödinger’s equation, the linear superposition of the two solutions is still a solution of the equation, leading to the principle of superposition and a probabilistic interpretation of our universe in the macroscopic world. We cannot help but wonder: if the universe is governed by fundamental quantum mechanics principles at the microscopic level, why does the macroworld appear to be classical?

One of the reasons for this problem is that we used the incorrect assumption of idealized closed system. Although the Schrödinger equation is linear, the process by which we measure quantum systems inevitably introduces extra interactions RevModPhys.76.1267 . In fact, a purely closed system is not even physically possible, since we would not be able to study it and thus can not obtain any information about it. No physical system, including the observer, can be completely isolated from its surroundings, thus the theory of open quantum systems is the relevant theoretical framework for our research Breuer , and any study or measurement is based on the investigation of some subsystems of the open system. When a quantum system interacts with its environment as a subsystem, the time evolution of the total system can be unitary, but if we consider only the subsystem, its evolution is not unitary. The interaction with the environment leads to the loss of quantum coherence (a measure of the definite phase relation between different states of the system). We refer to it as decoherence, which can be thought of as the loss of quantum nature caused by the fact that each system is loosely coupled to its environment Zeh1970 ; Zurek1981 ; Zurek1982 ; Zurek2003 . Decoherence is also an important factor in explaining how the classical world emerges from the quantum regime, where the concept of “classicality” is understood as an emergent concept in the dynamical description of the quantum-to-classical transition.

On the other hand, gravity is the most fundamental and universal interaction among macroscopic phenomena, and there have even been suggestions that gravity may be the ultimate explanation for the collapse of the wave function Diosi:1988uy ; Penrose:1996cv . It is of great physical importance to study gravitationally induced decoherence. We refer to all decoherence due to gravitational effects as gravitational decoherence. See for example Bassi:2017szd ; Anastopoulos:2021jdz for reviews and Petruzziello2022 for recent developments in this area. Of course, the effect of gravity is a very broad description. Spacetime fluctuates, and the fluctuations may be classical, quantum, or both. Classical fluctuations are perturbations of spacetime geometry, such as the gravitational wave. Quantum fluctuations take into account the quantization of gravity itself, which is still an open problem, and predictions still depend on assumptions about the behavior of gravity at the quantum scale. In fact, the quantized spacetime itself decoheres, so that the classical spacetime structure emerges from quantum gravity, which is also sometimes called gravitational decoherence Zurek1986 ; Kiefer1992 . In addition, gravity can also affect other physical systems, causing these systems to exhibit new features, such as quantum field theory in curved spacetime Davies . These new features are also likely to affect decoherence.

Here we give a brief discussion of quantum field theory in curved and flat spacetime, since it will be the focus of the present work. In quantum field theory, particles are interpreted as excitations of the Fock basis, and energy eigenstates are collections of particles with definite momenta. In flat spacetime, the notion of a particle is characterised mathematically by time translation Killing vector, and the field equation will have plane-wave solutions of definite frequency that extend throughout space. However, a generic curved spacetime need not admit any timelike Killing vectors and we may not even find such plane-wave solutions, so the definition of a particle is not intuitive. The solution to this problem is to think operationally and define a sensible notion of a particle detector that reduces to our intuitive picture in flat spacetime, then the particle can be defined as “what the particle detectors detect”Davies1984 . Particle detectors give us a more intuitive way of studying gravity and quantum field theory, as the observer is directly present and the system can be studied in an open system approach.

The Unruh-DeWitt detector is the most basic type of particle detector DeWitt1979 . It is an idealised point-like object with internal energy levels. It was originally proposed to study the Unruh effect, which states that for the uniformly accelerated observer the vacuum of quantum fields in Minkowski spacetime is transformed into the thermal state Fulling:1972md ; Unruh:1976db ; Unruh:1983ms . Although it occurs in flat spacetime, the Unruh effect teaches us the most important lesson of quantum field theory in curved spacetime: the idea that “vacuum” and “particles” are observer-dependent rather than fundamental concepts. Since the causal structure of Rindler space describing the motion of an accelerated observer is similar to the maximally extended Schwarzschild spacetime describing an eternal black hole, we can also obtain Hawking radiation directly from the Unruh effect. Although there are many features that we can only explore in more detail using a curved metric, the Unruh effect still captures the essence of quantum field theory in curved spacetime, and thus deserves further study.

In the present work, we consider the decoherence and thermalization of the Unruh-DeWitt detector in different dimensions due to the Unruh effect. The Unruh-DeWitt detector is assumed to be a qubit with two energy levels: the ground state |g|g\rangle and the excited state |e|e\rangle. When the qubit is accelerated in flat spacetime, because of its interaction with the vacuum state of quantum field theory, the qubit with initial state |g|g\rangle can then be excited to the state |e|e\rangle, and the population satisfies the Boltzmann distribution corresponding to a temperature proportional to the acceleration. Previous studies have focused more on the population and heat exchange between the detector and the quantum field theory in different backgrounds, e.g.Fukuma:2013uxa ; Rabochaya:2015aza ; Ng:2016hzn ; Hotta:2020pmq ; Arias:2017kos ; Gray:2018ifq ; Xu:2019hea ; Ng:2018drz ; Ahmed:2020fai ; Ahmed:2023uem ; Pitelli:2021oil ; Hodgkinson:2014iua and references therein, while in this work we are more interested in the decoherence of the detector.

We assume that the initial state of the qubit is a pure state, consisting of a linear superposition of |g|g\rangle and |e|e\rangle, thus the off-diagonal elements of the initial density matrix of the qubit are nonzero. The qubit is coupled linearly to the free massless scalar field in flat spacetime of arbitrary dimensions (d2d\geq 2), and we calculate the time evolution of the reduced density matrix of the qubit. Using the perturbation method, we can derive the transition rate (the rate of change of the diagonal elements in the reduced density matrix) and the decoherence rate (the rate of change of the off-diagonal elements in the reduced density matrix) analytically to second order. The transition rate and the real part of the decoherence rate are easier to compute, and they do not evolve independently but are related. Although the results are not the same in odd and even dimensional spacetimes, the unitarity of the qubit is always preserved. On the other hand, the imaginary part of the decoherence rate may contain different forms of divergence terms in different dimensions due to the temporal order product operator and the singularities of the Wightman function for quantum field theory. We will derive the recurrence formulas of different dimensions, obtain the form of the divergence terms in each dimension, and analyze the renormalization problem.

The remainder of the paper is organized as follows. In section 2 we present our model and calculate the transition rate and decoherence rate by perturbation method. Using the periodicity of Wightman function, we can directly obtain the transition rate in any dimension. We will also present Theorem 1, which gives the real part of the decoherence rate and leads to a Corollary showing that the unitarity is always preserved in the time evolution of Unruh-DeWitt detector in all dimensions. In section 3 we compute in detail the cases d=2,3d=2,3 and prove that the imaginary part of the decoherence rate is finite in d=2,3d=2,3. In section 4 we give the recurrence formula for general dd and Theorem 2, which predicts the imaginary part of the decoherence rate in any dimensions, especially the divergent terms. In section 5 we give a brief summary of our main results and close with conclusions.

2 Transition rate and decoherence rate in general dd

The total Hamiltonian of the qubit(Unruh-DeWitt detector)-field system can be written as

H^total=H^0+H^int,\hat{H}_{\text{total}}=\hat{H}_{0}+\hat{H}_{\text{int}}, (1)

and the H^0\hat{H}_{0} is the free Hamiltonian of qubit and quantum field theory

H^0=H^+H^field,\hat{H}_{0}=\hat{H}+\hat{H}_{\text{field}}, (2)

where H^=ω2σ^z\hat{H}=\frac{\omega}{2}{\hat{\sigma}_{z}} (σ^z\hat{\sigma}_{z} is the Pauli matrix and ω\omega is the energy gap between |g|g\rangle and |e|e\rangle) and H^field\hat{H}_{\text{field}} is the Hamiltonian associated to the free massless scalar field in dd-dimensional spacetime. The qubit-field interaction Hamiltonian is given by

H^field=λσ^xϕ[x(τ)],\hat{H}_{\text{field}}=\lambda\hat{\sigma}_{x}\phi[x(\tau)], (3)

where λ\lambda is a small coupling constant of the interaction, σ^x=|ge|+|eg|\hat{\sigma}_{x}=|g\rangle\langle e|+|e\rangle\langle g| is the qubit monopole operator which allows population to be exchanged between energy levels, and ϕ[x(τ)]\phi[x(\tau)] is the scalar field evaluated at the spacetime point where the qubit is located. The initial state for the quantum field theory is vacuum state |0|0\rangle. For the qubit, we choose it to be 1p|g+p|e\sqrt{1-p}|g\rangle+\sqrt{p}|e\rangle, in which both 1p\sqrt{1-p} and p\sqrt{p} are real numbers, thus the initial density matrix of the qubit is

ρ0=(pp(1p)p(1p)1p).\rho_{\text{0}}=\begin{pmatrix}p&\sqrt{p(1-p)}\\ \sqrt{p(1-p)}&1-p\end{pmatrix}. (4)

The inital state of the total system is then ρin=ρ0|00|\rho_{\text{in}}=\rho_{\text{0}}\otimes|0\rangle\langle 0|.

In order to solve the time evolution of the system, we move to the interaction picture. The quantum Liouville’s equation can be written as

idρI(t)dt=[H^intI,ρI(t)],i\frac{\mathrm{d}\rho^{\text{I}}(t)}{\mathrm{d}t}=[\hat{H}_{\text{int}}^{\text{I}},\rho^{\text{I}}(t)], (5)

where we used the “I” to denote the operators in the interaction picture. The solution is given in terms of a Dyson series:

ρI(t)=ρini0tdτ[H^intI(τ),ρin]120tdτ0tdτT{[H^intI(τ),[H^intI(τ),ρin]]}+,\rho^{\text{I}}(t)=\rho_{\text{in}}-i\int_{0}^{t}\mathrm{d}\tau[\hat{H}_{\text{int}}^{\text{I}}(\tau),\rho_{\text{in}}]-\frac{1}{2}\int_{0}^{t}\mathrm{d}\tau\int_{0}^{t}\mathrm{d}\tau^{\prime}T\left\{\left[\hat{H}_{\text{int}}^{\text{I}}(\tau),[\hat{H}_{\text{int}}^{\text{I}}(\tau^{\prime}),\rho_{\text{in}}]\right]\right\}+\cdots, (6)

where TT is the temporal order product operator. The ρI(t)\rho^{\text{I}}(t) is the density matrix of the total system. In order to obtain the reduced density matrix of the qubit, we also have to take partial trace over the basis of quantum field theory. Since the field operator ϕ[x(τ)]\phi[x(\tau)] is contained in H^intI(τ)\hat{H}_{\text{int}}^{\text{I}}(\tau), the contribution of the nn-th order perturbation term comes from the nn-point correlation function of the quantum field theory. For the free massless scalar field, if the nn is odd the correlation function vanishes, and since the coupling constant λ\lambda is small, we will consider up to second order in perturbation theory. After some tedious calculation, we can have the perturbation of the reduced density matrix of qubit is

δρI(t)\displaystyle\delta\rho^{\text{I}}(t) =\displaystyle= λ20tdτ0tdτGd+(Δτ)[((1p)eiωΔτpeiωΔτp(1p)eiω(τ+τ)p(1p)eiω(τ+τ)peiωΔτ(1p)eiωΔτ)\displaystyle\lambda^{2}\int_{0}^{t}\mathrm{d}\tau\int_{0}^{t}\mathrm{d}\tau^{\prime}G^{+}_{d}(\Delta\tau)\Bigg{[}\begin{pmatrix}(1-p)e^{-i\omega\Delta\tau}-pe^{i\omega\Delta\tau}&\sqrt{p(1-p)}e^{i\omega(\tau+\tau^{\prime})}\\ \sqrt{p(1-p)}e^{-i\omega(\tau+\tau^{\prime})}&pe^{i\omega\Delta\tau}-(1-p)e^{-i\omega\Delta\tau}\end{pmatrix} (7)
\displaystyle- θ(Δτ)p(1p)(0eiωΔτeiωΔτ0)θ(Δτ)p(1p)(0eiωΔτeiωΔτ0)],\displaystyle\theta(\Delta\tau)\sqrt{p(1-p)}\begin{pmatrix}0&e^{i\omega\Delta\tau}\\ e^{-i\omega\Delta\tau}&0\end{pmatrix}-\theta(-\Delta\tau)\sqrt{p(1-p)}\begin{pmatrix}0&e^{-i\omega\Delta\tau}\\ e^{i\omega\Delta\tau}&0\end{pmatrix}\Bigg{]},

where Gd+(Δτ)=0|ϕ[x(τ)]ϕ[x(τ)]|0G^{+}_{d}(\Delta\tau)=\langle 0|\phi[x(\tau)]\phi[x(\tau^{\prime})]|0\rangle is the positive frequency Wightman function of the free massless scalar field in dd-dimensional spacetime and Δτττ\Delta\tau\equiv\tau-\tau^{\prime}. Defining a new variable T=τ+τ2T=\frac{\tau+\tau^{\prime}}{2} 111This TT should not be confused with temporal order product operator., we can have the transition rate as

ρ11IT=ρ22IT=λ2+d(Δτ)Gd+(Δτ)((1p)eiωΔτpeiωΔτ),\frac{\partial\rho^{\text{I}}_{11}}{\partial T}=-\frac{\partial\rho^{\text{I}}_{22}}{\partial T}=\lambda^{2}\int_{-\infty}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)\left((1-p)e^{-i\omega\Delta\tau}-pe^{i\omega\Delta\tau}\right), (8)

and the decoherence rate

ρ12IT=ρ21IT=λ2p(1p)(0+d(Δτ)Gd+(Δτ)eiωΔτ+0d(Δτ)Gd+(Δτ)eiωΔτ).\frac{\partial\rho^{\text{I}}_{12}}{\partial T}=\frac{\partial\rho^{\text{I}*}_{21}}{\partial T}=-\lambda^{2}\sqrt{p(1-p)}\left(\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{i\omega\Delta\tau}+\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}\right). (9)

These two formulas is the first main result of this work. We can easily find that the integration range of transition rate is from -\infty to ++\infty, while decoherence rate covers only half due to the temporal order product operator.

Next we consider the positive frequency Wightman function of the free massless scalar field in dd-dimensional spacetime. For d3d\geq 3, the Gd+(Δτ)G^{+}_{d}(\Delta\tau) takes the form of

Gd+(Δτ)=Γ(d/21)4πd/2z2d,G^{+}_{d}(\Delta\tau)=\frac{\Gamma(d/2-1)}{4\pi^{d/2}}z^{2-d}, (10)

where z=ε+iΔsgn(tt)z=\varepsilon+i\Delta\text{sgn}(t-t^{\prime}), ε\varepsilon is an infinitesimal positive quantity of dimension of length, and Δ=[(xx)2]1/2\Delta=[-(x-x^{\prime})^{2}]^{1/2} denotes the seperation. In the case of d=2d=2, the above formula is divergent, and we can use dimensional regularization to obtain

G2+(Δτ)=limd2Gd+(Δτ)=12πlogz+limd2Γ(d/21)4πd/2.G^{+}_{2}(\Delta\tau)=\lim_{d\rightarrow 2}G^{+}_{d}(\Delta\tau)=-\frac{1}{2\pi}\log z+\lim_{d\rightarrow 2}\frac{\Gamma(d/2-1)}{4\pi^{d/2}}. (11)

The infinite constant is due to the infrared divergence inherent in the two-dimensional massless field. For the Unruh-DeWitt detector, we have the world line

t=1asinh(aτ),x=1acosh(aτ),t=\frac{1}{a}\sinh(a\tau),\qquad x=\frac{1}{a}\cosh(a\tau), (12)

so we can get

z=2iasinha2(Δτiε).\displaystyle z=\frac{2i}{a}\sinh\frac{a}{2}(\Delta\tau-i\varepsilon). (13)

Now we have the positive frequency Wightman function for the Unruh-DeWitt detector in the free massless scalar field for all d2d\geq 2-dimensional spacetime.

With the general form of Gd+(Δτ)G^{+}_{d}(\Delta\tau), in principle, for each dd we can put it into the eq.(8) and (9), and thus obtain the transition rate and the decoherence rate. The key to the problem here is the integration of the complex function. In many cases, we can use the Cauchy-Riemann residue theorem to evaluate the integral by expressing it as a limit of the contour integral. For any dd, the Gd+(Δτ)G^{+}_{d}(\Delta\tau) has infinite singularities (including the one at iεi\varepsilon) with periodicity 2πi/a{2\pi i}/{a} on the vertical axis of the complex plane, and we need to add up all the contributions from each pole.

In this work we will try to give a general result and proof. In complex analysis, the integral from -\infty to ++\infty is much easier to calculate, so we consider the transition rate eq.(8) first. Here we follow the derivation in Takagi:1986kn . If we define

Fd(ω)=+d(Δτ)Gd+(Δτ)eiωΔτ,F_{d}(\omega)=\int_{-\infty}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}, (14)

the transition rate can be written as

λ2((1p)Fd(ω)pFd(ω)).\lambda^{2}\left((1-p)F_{d}(\omega)-pF_{d}(-\omega)\right). (15)

The Fd(ω)F_{d}(\omega) must include all the poles at the negative half of the vertical axis, so the pole at iεi\varepsilon is not included. However, if we push the contour of the integration in the formula upwards by 2πi/a{2\pi i}/{a}, saying ΔτΔτ+2πi/a\Delta\tau\rightarrow\Delta\tau+{2\pi i}/{a}, the contribution from the pole at iεi\varepsilon will be included. Thus we have

+d(Δτ)Gd+(Δτ)eiωΔτ\displaystyle\int_{-\infty}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau} =\displaystyle= +d(Δτ)Gd+(Δτ+2πi/a)eiω(Δτ+2πi/a)\displaystyle\int_{-\infty}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau+{2\pi i}/{a})e^{-i\omega(\Delta\tau+{2\pi i}/{a})}
\displaystyle- Cd(Δτ)Gd+(Δτ)eiωΔτ,\displaystyle\int_{C}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau},

where the integral CC is a circular contour with infinitesimal radius around the pole at iεi\varepsilon. From the formula of (10) we know that for d3d\geq 3 the Wightman function is periodic if dd is even, and anti-periodic if dd is odd, thus we have

Gd+(Δτ+2πi/a)=(1)dGd+(Δτ),G^{+}_{d}(\Delta\tau+{2\pi i}/{a})=(-1)^{d}G^{+}_{d}(\Delta\tau), (17)

while for d=2d=2 it will contribute a 1-1 in the log\log which can be left to the infinite constant. Using above two equations, we can directly obtain

Fd(ω)=[e2πω/a(1)d]1Cd(Δτ)Gd+(Δτ)eiωΔτ,F_{d}(\omega)=\left[e^{2\pi\omega/a}-(-1)^{d}\right]^{-1}\int_{C}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}, (18)

where the a/2πa/2\pi corresponds to the temperature predicted by the Unruh effect. The [e2πω/a(1)d]1\left[e^{2\pi\omega/a}-(-1)^{d}\right]^{-1} is the Bose-Einstein distribution for even dd and Fermi-Dirac distribution for odd dd. The Cd(Δτ)Gd+(Δτ)eiωΔτ\int_{C}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau} corresponds to the coefficients. For d=2,3,4d=2,3,4, the coefficients are 1/ω,1/2,ω/2π1/\omega,1/2,\omega/2\pi respectively. Detailed results can be found in Sriramkumar:2002nt .

Here we give a brief discussion of eq.(18). It tells us that the Unruh effect predicts Bose-Einstein distribution in the even dimensions and Fermi-Dirac distribution in the odd dimensions, which seems to contradict our model since we are considering scalar fields. For simplicity, some textbooks explain the Unruh effect in the (1+1)(1+1)-dimensional Rindler spacetime, since constant acceleration is a two-dimensional phenomenon and the addition of an extra dimension seems irrelevant. However, although the world line lies entirely in a two-dimensional plane, quantum field theory is not confined to that plane, but extends over the whole spacetime, so the extra dimension is not irrelevant. A more mathematical explanation was proposed by Ooguri Ooguri:1985nv , which states the occurrence of Bose-Einstein or Fermi-Dirac spectrum depending on the dimension of the spacetime is because Huygens’ principle is valid only in even dimensions. In fact, by global manifold embedding, the static observer in curved spacetime can be mapped into the accelerated observer in higher dimensional flat spacetime, and the temperature measured by both of them is the same Deser:1998xb , however, we still cannot claim that the two are exactly equivalent, because quantum field theory is not equivalent in different dimensions.

Once we have Fd(ω)F_{d}(\omega), we can easily get Fd(ω)F_{d}(-\omega). The Fd(ω)F_{d}(\omega) is the transition rate of the qubit from an energy level ω/2-\omega/2 to ω/2\omega/2, while Fd(ω)F_{d}(-\omega) is the transition rate from ω/2\omega/2 to ω/2-\omega/2. If the value of pp is taken at the beginning just to reach thermal equilibrium with the Unruh temperature, i.e. when the Boltzmann distribution of the Unruh temperature is already satisfied, the transition rate should be zero. Therefore, if we directly take the value of pp as the Boltzmann factor at the Unruh temperature 1e2πω/a+1\frac{1}{e^{2\pi\omega/a}+1} and let the transition rate be zero, then we have

Fd(ω)=e2πω/aFd(ω),F_{d}(-\omega)=e^{2\pi\omega/a}F_{d}(\omega), (19)

where the e2πω/ae^{2\pi\omega/a} the Boltzmann factor expressing the relative population of the energy levels. The above equation holds for all dimensions.

With the results of Fd(±ω)F_{d}(\pm\omega), we can directly calculate the transition rate in different dimensions. However, the decoherence rate is much more complicated because the integral is much harder to evaluate and we will find there are divergent terms that need to be renormalized. Fortunately, at this point we can already obtain our first theorem of this work:

Theorem 1: The real part of the decoherence rate is proportional to 1e2πω/a1+1/2\frac{1}{e^{2\pi\omega/a}-1}+1/2 in even dimensions, and is proportional to 1/21/2 in odd dimensions.

Proof: The decoherence rate is proportional to

0+d(Δτ)Gd+(Δτ)eiωΔτ+0d(Δτ)Gd+(Δτ)eiωΔτ.\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{i\omega\Delta\tau}+\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}. (20)

It is hard to evaluate the result for all dimensions. However, due to the symmetry of the Wightman functions, we would have

Re(0+d(Δτ)Gd+(Δτ)eiωΔτ)=12Fd(ω)\operatorname{Re}\left(\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{i\omega\Delta\tau}\right)=\frac{1}{2}F_{d}(-\omega) (21)

and

Re(0d(Δτ)Gd+(Δτ)eiωΔτ)=12Fd(ω)\operatorname{Re}\left(\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}\right)=\frac{1}{2}F_{d}(\omega) (22)

For even dimensions

12(Fd(ω)+Fd(ω))\displaystyle\frac{1}{2}\left(F_{d}(-\omega)+F_{d}(\omega)\right) =\displaystyle= 12(e2πω/ae2πω/a1+1e2πω/a1)Cd(Δτ)Gd+(Δτ)eiωΔτ\displaystyle\frac{1}{2}\left(\frac{e^{2\pi\omega/a}}{e^{2\pi\omega/a}-1}+\frac{1}{e^{2\pi\omega/a}-1}\right)\int_{C}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}
=\displaystyle= (1e2πω/a1+12)Cd(Δτ)Gd+(Δτ)eiωΔτ,\displaystyle\left(\frac{1}{e^{2\pi\omega/a}-1}+\frac{1}{2}\right)\int_{C}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau},

while for odd dimensions

12(Fd(ω)+Fd(ω))\displaystyle\frac{1}{2}\left(F_{d}(-\omega)+F_{d}(\omega)\right) =\displaystyle= 12(e2πω/ae2πω/a+1+1e2πω/a+1)Cd(Δτ)Gd+(Δτ)eiωΔτ\displaystyle\frac{1}{2}\left(\frac{e^{2\pi\omega/a}}{e^{2\pi\omega/a}+1}+\frac{1}{e^{2\pi\omega/a}+1}\right)\int_{C}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}
=\displaystyle= 12Cd(Δτ)Gd+(Δτ)eiωΔτ.\displaystyle\frac{1}{2}\int_{C}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}.

\hfill\qed

This theorem will directly lead to our corollary:

Corollary: The unitarity is always preserved in the time evolution of the Unruh-DeWitt detector in all dimensions.

Proof: Considering the qubit in the initial state

ρ0=(pp(1p)p(1p)1p),\rho_{0}=\begin{pmatrix}p&\sqrt{p(1-p)}\\ \par\sqrt{p(1-p)}&1-p\end{pmatrix},

after some time the density matrix will become

(pp(1p)p(1p)1p)+(δpδdδdδp),\begin{pmatrix}p&\sqrt{p(1-p)}\\ \sqrt{p(1-p)}&1-p\end{pmatrix}+\begin{pmatrix}\delta p&-\delta d\\ -\delta d^{*}&-\delta p\end{pmatrix}, (25)

where the δp\delta p and δd\delta d are proportional to the transition rate and decoherence rate respectively. Diagonalizing this density matrix we can have the von Neumann entropy

S=p+lnp+plnp,\displaystyle S=-p_{+}\ln{p_{+}}-p_{-}\ln{p_{-}}, (26)

where

p±\displaystyle p_{\pm} =\displaystyle= 1±1+(8p4)δp8p(1p)Re(δd)+4|δd|2+4δp22\displaystyle\frac{1\pm\sqrt{1+(8p-4)\delta p-8\sqrt{p(1-p)}\operatorname{Re}(\delta d)+4|\delta d|^{2}+4\delta p^{2}}}{2}
=\displaystyle= 12±12(1+(4p2)δp4p(1p)Re(δd))+𝒪(δp2,|δd|2)\displaystyle\frac{1}{2}\pm\frac{1}{2}(1+(4p-2)\delta p-4\sqrt{p(1-p)}\operatorname{Re}(\delta d))+\mathcal{O}(\delta p^{2},|\delta d|^{2})

are the eigenvalues. Omitting the higher-order terms 𝒪(δp2,δd2)\mathcal{O}(\delta p^{2},\delta d^{2}), we get

p+\displaystyle p_{+} =\displaystyle= 1((12p)δp+2p(1p)Re(δd)),\displaystyle 1-\left((1-2p)\delta p+2\sqrt{p(1-p)}\operatorname{Re}(\delta d)\right), (28)
p\displaystyle p_{-} =\displaystyle= (12p)δp+2p(1p)Re(δd).\displaystyle(1-2p)\delta p+2\sqrt{p(1-p)}\operatorname{Re}(\delta d).

To preserve the unitarity the pp_{-} must be non-negative. For the even dimensions we have

p\displaystyle p_{-} \displaystyle\propto (12p)((1p)n¯bp(n¯b+1))+2p(1p)(n¯b+12)\displaystyle(1-2p)\left((1-p)\bar{n}_{b}-p(\bar{n}_{b}+1)\right)+2p(1-p)\left(\bar{n}_{b}+\frac{1}{2}\right)
=\displaystyle= (n¯b+1)p22n¯bp+n¯b\displaystyle(\bar{n}_{b}+1)p^{2}-2\bar{n}_{b}p+\bar{n}_{b}

where the n¯b\bar{n}_{b} denotes the Bose-Einstein distribution 1e2πω/a1\frac{1}{e^{2\pi\omega/a}-1} that is always positive. We can easily verify that pp_{-} is non-negative because the discriminant 4n¯b-4\bar{n}_{b} is always negative.

Similarly for odd dimensions we have

p\displaystyle p_{-} \displaystyle\propto (12p)((1p)n¯fp(1n¯f))+p(1p)\displaystyle(1-2p)\left((1-p)\bar{n}_{f}-p(1-\bar{n}_{f})\right)+p(1-p)
=\displaystyle= p22n¯fp+n¯f,\displaystyle p^{2}-2\bar{n}_{f}p+\bar{n}_{f},

where the n¯f\bar{n}_{f} denotes the Fermi-Dirac distribution 1e2πω/a+1\frac{1}{e^{2\pi\omega/a}+1} that satisfies 0<n¯f<10<\bar{n}_{f}<1. We can also have the discriminant 4n¯f(n¯f1)4\bar{n}_{f}(\bar{n}_{f}-1) is negative so the pp_{-} will always be non-negative.

\hfill\qed

3 Results in low dimensions

Although we have obtained the real part of the decoherence rate, we still do not have the imaginary part. We will find that for d4d\geq 4 there are divergence terms in the imaginary part, which must be renormalized by adding extra terms in the Hamiltonian. These divergence terms come from the contribution of the iεi\varepsilon. Note, however, that we cannot simply remove the iεi\varepsilon contribution, as it may also contribute a real part factor. If the real part is removed, unitarity may be broken.

In principle we could solve each dimension separately, but this would be very complicated. Our strategy is to find recursive formulas between the different dimensions, so that the high-dimensional cases can be obtained directly from the low-dimensional results. In this section we first compute the cases of d=2d=2 and d=3d=3.

3.1 d=2d=2

For the case of d=2d=2, we have

G2+(Δτ)=12πlog(2iasinha2(Δτiε)).G^{+}_{2}(\Delta\tau)=-\frac{1}{2\pi}\log\left(\frac{2i}{a}\sinh\frac{a}{2}(\Delta\tau-i\varepsilon)\right). (31)

Here we have already renormalized the infinity constant comes from the dimensional regularization. If we compute F(±ω)F(\pm\omega), the 2ia\frac{2i}{a} in the log\log function can also be left to the infinity constant, since +e±iωΔτdΔτ×const\int_{-\infty}^{+\infty}e^{\pm i\omega\Delta\tau}\mathrm{d}\Delta\tau\times\text{const} is still proportional to δ(ω)\delta({\omega}) and does not contribute to the power spectrum for non-vanishing ω\omega. However, if the integration interval is (,0)(-\infty,0) or (0,)(0,\infty), we need to keep it.

First we consider 0+d(Δτ)G2+(Δτ)eiωΔτ\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{2}(\Delta\tau)e^{i\omega\Delta\tau}, we have

\displaystyle- 12π0+d(Δτ)eiωΔτlog(2iasinha2(Δτiε))\displaystyle\frac{1}{2\pi}\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)e^{i\omega\Delta\tau}\log\left(\frac{2i}{a}\sinh\frac{a}{2}(\Delta\tau-i\varepsilon)\right)
=\displaystyle= 12π0+d(Δτ)eiωΔτlog(2ia)12π0+d(Δτ)eiωΔτlog(sinha2(Δτiε)).\displaystyle-\frac{1}{2\pi}\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)e^{i\omega\Delta\tau}\log\left(\frac{2i}{a}\right)-\frac{1}{2\pi}\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)e^{i\omega\Delta\tau}\log\left(\sinh\frac{a}{2}(\Delta\tau-i\varepsilon)\right).

Using the equation

0+d(Δτ)eiωΔτ=πδ(ω)+iω,\displaystyle\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)e^{i\omega\Delta\tau}=\pi\delta(\omega)+\frac{i}{\omega}, (33)

we can have the first term of the right hand side of (3.1) is

12π0+d(Δτ)eiωΔτlog(2ia)=14ωi2πωlog(2a),\displaystyle-\frac{1}{2\pi}\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)e^{i\omega\Delta\tau}\log\left(\frac{2i}{a}\right)=\frac{1}{4\omega}-\frac{i}{2\pi\omega}\log\left(\frac{2}{a}\right), (34)

which contributes a real constant 14ω\frac{1}{4\omega}. In order to deal with the sinh(x)\sinh(x) function, we need to use the following equation:

sinh(x)=xk=1(kπix)(kπ+ix)/(kπ)2,\displaystyle\sinh(x)=x\prod_{k=1}^{\infty}(k\pi-ix)(k\pi+ix)/(k\pi)^{2}, (35)

so that the second term of the right hand side of (3.1) can be written as

1πa(0+dxe2ωxai[log(xiε)+logk=1[kπi(xiε)]\displaystyle-\frac{1}{\pi a}\bigg{(}\int_{0}^{+\infty}\mathrm{d}xe^{\frac{2\omega x}{a}i}\Big{[}\log(x-i\varepsilon)+\log\prod_{k=1}^{\infty}\big{[}k\pi-i(x-i\varepsilon)\big{]}
+logk=1[kπ+i(xiε)]logk=1k2π2]),\displaystyle+\log\prod_{k=1}^{\infty}\big{[}k\pi+i(x-i\varepsilon)\big{]}-\log\prod_{k=1}^{\infty}k^{2}\pi^{2}\Big{]}\bigg{)}, (36)

where we have applied the variable transformation Δτ2ωx/a\Delta\tau\rightarrow 2\omega x/a. Next, we need to solve the four terms one by one.

For the first term, by virtue of the adiabatic-switching factor s0+s\rightarrow 0^{+}, we may carry out the integration by part:

\displaystyle- 1πa0+dxei2ωaxsxlog(xiε)\displaystyle\frac{1}{\pi a}\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x-sx}\log(x-i\varepsilon) (37)
=\displaystyle= i2πω[0ei2ωaxsxxiεdx+ei2ωaxsxlog(xiε)|0]\displaystyle\frac{i}{2\pi\omega}\left[\int_{0}^{\infty}-\frac{e^{i\frac{2\omega}{a}x-sx}}{x-i\varepsilon}\mathrm{d}x+e^{i\frac{2\omega}{a}x-sx}\log(x-i\varepsilon)\bigg{|}_{0}^{\infty}\right]
=\displaystyle= i2πω[E1(ε(2ωa+is))eε2ωalog(iε)]\displaystyle\frac{i}{2\pi\omega}\left[-E_{1}\left(-\varepsilon\left(\frac{2\omega}{a}+is\right)\right)e^{-\varepsilon\frac{2\omega}{a}}-\log(-i\varepsilon)\right]
=\displaystyle= i2πω[(γln(ε2ωa)+iπ)log(iε)]\displaystyle\frac{i}{2\pi\omega}\left[-\left(-\gamma-\ln\left(\varepsilon\frac{2\omega}{a}\right)+i\pi\right)-\log(-i\varepsilon)\right]
=\displaystyle= i2πω[γ+ln(2ωa)]+14ω,\displaystyle\frac{i}{2\pi\omega}\left[\gamma+\ln\left(\frac{2\omega}{a}\right)\right]+\frac{1}{4\omega},

where the E1(x)E_{1}(x) is the exponential integral which is a special function on the complex plane, and we have applied the formula

lims0+E1(xis)=Ei(x)+iπ\displaystyle\lim_{s\rightarrow 0_{+}}E_{1}(-x-is)=-Ei(x)+i\pi (38)

for x>0x>0, and

Ei(x)=γ+ln|x|k=1(1)k+1(x)kkk!,\displaystyle Ei(x)=\gamma+\ln{|x|}-\sum_{k=1}^{\infty}\frac{(-1)^{k+1}(-x)^{k}}{kk!}, (39)

where γ\gamma is the Euler–Mascheroni constant. Finally we obtain that there is a real constant 14ω\frac{1}{4\omega}. This constant and the 14ω\frac{1}{4\omega} from eq.(34) will give the constant 1/21/2 in the Theorem 1 for even dimension.

Now we move on to the second term. Here we need to use another equation:

ε+dyeiyxy(eβy1)=ln[k=1εeγ(βk+ix)],\displaystyle\int_{\varepsilon}^{+\infty}\mathrm{d}y\frac{e^{-iyx}}{y(e^{\beta y}-1)}=-\ln{\left[\prod_{k=1}^{\infty}\varepsilon e^{\gamma}(\beta k+ix)\right]}, (40)

so that the second term can be written as

\displaystyle- 1πa0+𝑑xe2ωxailogk=1[kπi(xiε)]\displaystyle\frac{1}{\pi a}\int_{0}^{+\infty}dxe^{\frac{2\omega x}{a}i}\log\prod_{k=1}^{\infty}\big{[}k\pi-i(x-i\varepsilon)\big{]} (41)
=\displaystyle= 1πa(0+dxe2ωxai[ε+dyeiyxy(eβy1)+logk=1εeγ])\displaystyle\frac{1}{\pi a}\left(\int_{0}^{+\infty}\mathrm{d}xe^{\frac{2\omega x}{a}i}\left[\int_{\varepsilon}^{+\infty}\mathrm{d}y\frac{e^{iyx}}{y(e^{\beta y}-1)}+\log\prod_{k=1}^{\infty}\varepsilon e^{\gamma}\right]\right)
=\displaystyle= 1πa(ε+dyπδ(y+2ωa)+iy+2ωay(eπy1)+logk=1εeγ(πδ(2ωa)+i2ωa))\displaystyle\frac{1}{\pi a}\left(\int_{\varepsilon}^{+\infty}\mathrm{d}y\frac{\pi\delta(y+\frac{2\omega}{a})+\frac{i}{y+\frac{2\omega}{a}}}{y(e^{\pi y}-1)}+\log\prod_{k=1}^{\infty}\varepsilon e^{\gamma}\left(\pi\delta\left(\frac{2\omega}{a}\right)+\frac{i}{\frac{2\omega}{a}}\right)\right)
=\displaystyle= 1πa(ε+dyiy(y+2ωa)(eπy1)+i2ωalogk=1εeγ).\displaystyle\frac{1}{\pi a}\left(\int_{\varepsilon}^{+\infty}\mathrm{d}y\frac{i}{y\left(y+\frac{2\omega}{a}\right)(e^{\pi y}-1)}+\frac{i}{\frac{2\omega}{a}}\log\prod_{k=1}^{\infty}\varepsilon e^{\gamma}\right).

Similarly the third term will be

\displaystyle- 1πa0+dxe2ωxailogk=1[kπ+i(xiε)]\displaystyle\frac{1}{\pi a}\int_{0}^{+\infty}\mathrm{d}xe^{\frac{2\omega x}{a}i}\log\prod_{k=1}^{\infty}\big{[}k\pi+i(x-i\varepsilon)\big{]} (42)
=\displaystyle= 1πa(0+dxe2ωxai[ε+dyeiyxy(eβy1)+logk=1εeγ])\displaystyle\frac{1}{\pi a}\left(\int_{0}^{+\infty}\mathrm{d}xe^{\frac{2\omega x}{a}i}\left[\int_{\varepsilon}^{+\infty}\mathrm{d}y\frac{e^{-iyx}}{y(e^{\beta y}-1)}+\log\prod_{k=1}^{\infty}\varepsilon e^{\gamma}\right]\right)
=\displaystyle= 1πa(ε+dyπδ(y2ωa)iy2ωay(eπy1)+logk=1εeγ(πδ(2ωa)+i2ωa))\displaystyle\frac{1}{\pi a}\left(\int_{\varepsilon}^{+\infty}\mathrm{d}y\frac{\pi\delta(y-\frac{2\omega}{a})-\frac{i}{y-\frac{2\omega}{a}}}{y(e^{\pi y}-1)}+\log\prod_{k=1}^{\infty}\varepsilon e^{\gamma}\left(\pi\delta\left(\frac{2\omega}{a}\right)+\frac{i}{\frac{2\omega}{a}}\right)\right)
=\displaystyle= 12ω(e2πω/a1)+1πa(ε+dyiy(y2ωa)(eπy1)+i2ωalogk=1εeγ).\displaystyle\frac{1}{{2\omega}\left(e^{2\pi\omega/a}-1\right)}+\frac{1}{\pi a}\left(-\int_{\varepsilon}^{+\infty}\mathrm{d}y\frac{i}{y\left(y-\frac{2\omega}{a}\right)(e^{\pi y}-1)}+\frac{i}{\frac{2\omega}{a}}\log\prod_{k=1}^{\infty}\varepsilon e^{\gamma}\right).

And the fourth term is

1πa0+dxe2ωxailogk=1k2π2=i2πωlogk=1k2π2.\displaystyle\frac{1}{\pi a}\int_{0}^{+\infty}\mathrm{d}xe^{\frac{2\omega x}{a}i}\log\prod_{k=1}^{\infty}k^{2}\pi^{2}=\frac{i}{2\pi\omega}\log\prod_{k=1}^{\infty}k^{2}\pi^{2}. (43)

The 0d(Δτ)G2+(Δτ)eiωΔτ\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)G^{+}_{2}(\Delta\tau)e^{-i\omega\Delta\tau} can also be calculated in a similar way so we will not make a detailed derivation here. We can easily have

12π0d(Δτ)eiωΔτlog(2ia)=14ωi2πωlog(2a).-\frac{1}{2\pi}\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)e^{-i\omega\Delta\tau}\log\left(\frac{2i}{a}\right)=\frac{1}{4\omega}-\frac{i}{2\pi\omega}\log\left(\frac{2}{a}\right). (44)

For the other four terms, the first term we will have the real part is 14ω-\frac{1}{4\omega}, which is different from the case of 0d(Δτ)Gd+(Δτ)eiωΔτ\int_{0}^{\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{i\omega\Delta\tau}, while the sum of the remaining three terms is the same with the case of 0+d(Δτ)G2+(Δτ)eiωΔτ𝑑Δτ\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{2}(\Delta\tau)e^{i\omega\Delta\tau}d\Delta\tau.

Adding all these terms together, we can obtain that the real part is proportional to 1e2πω/a1+12\frac{1}{e^{2\pi\omega/a}-1}+\frac{1}{2}, and the imaginary part is

iπω(1+lnω)\displaystyle\frac{i}{\pi\omega}(1+\ln\omega) +\displaystyle+ 2iπa[εdy1y(y+2ωa)(eπy1)εdy1y(y2ωa)(eπy1)]\displaystyle\frac{2i}{\pi a}\Big{[}\int_{\varepsilon}^{\infty}\mathrm{d}y\frac{1}{y\left(y+\frac{2\omega}{a}\right)(e^{\pi y}-1)}-\int_{\varepsilon}^{\infty}\mathrm{d}y\frac{1}{y\left(y-\frac{2\omega}{a}\right)(e^{\pi y}-1)}\Big{]} (45)
+\displaystyle+ 2iπωlogk=1εeγkπ.\displaystyle\frac{2i}{\pi\omega}\log\prod_{k=1}^{\infty}\varepsilon e^{\gamma}k\pi.

Using eq.(40) again, we can write the last term as

2iπωlogk=1εeγkπ=2iπωεdyy(eπy1).\displaystyle\frac{2i}{\pi\omega}\log\prod_{k=1}^{\infty}\varepsilon e^{\gamma}k\pi=-\frac{2i}{\pi\omega}\int_{\varepsilon}^{\infty}\frac{\mathrm{d}y}{y(e^{\pi y}-1)}. (46)

All the three integral are divergent due to the ε\varepsilon, however, if we consider the behavior of y0y\rightarrow 0, we have

2iπa[1y(y+2ωa)(eπy1)1y(y2ωa)(eπy1)]2iπ2ω1y2\frac{2i}{\pi a}\Big{[}\frac{1}{y\left(y+\frac{2\omega}{a}\right)(e^{\pi y}-1)}-\frac{1}{y\left(y-\frac{2\omega}{a}\right)(e^{\pi y}-1)}\Big{]}\longrightarrow\frac{2i}{\pi^{2}\omega}\frac{1}{y^{2}} (47)

and we also have in the last term

2iπω1y(eπy1)2iπ2ω1y2,-\frac{2i}{\pi\omega}\frac{1}{y(e^{\pi y}-1)}\longrightarrow-\frac{2i}{\pi^{2}\omega}\frac{1}{y^{2}}, (48)

thus all the divergence would cancels out.

In summary, in d=2d=2 the real part of the decoherence rate is 1e2πω/a1+12\frac{1}{e^{2\pi\omega/a}-1}+\frac{1}{2}, which is consistent with the Theorem 1, and the imaginary part is finite.

3.2 d=3d=3

Now we consider the case of d=3d=3. The Wightman function

G3+(Δτ)=a8πi1sinha2(Δτiε),G^{+}_{3}(\Delta\tau)=\frac{a}{8\pi i}\frac{1}{\sinh\frac{a}{2}(\Delta\tau-i\varepsilon)}, (49)

We still need to use the eq.(35) so that the 0d(Δτ)G3+(Δτ)eiωΔτ\int_{0}^{\infty}\mathrm{d}(\Delta\tau)G^{+}_{3}(\Delta\tau)e^{i\omega\Delta\tau} can be written as

0+d(Δτ)G3+(Δτ)eiωΔτ\displaystyle\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{3}(\Delta\tau)e^{i\omega\Delta\tau} =\displaystyle= 14πi0+dxe2ωxaisinh(xiε)\displaystyle\frac{1}{4\pi i}\int_{0}^{+\infty}\mathrm{d}x\frac{e^{\frac{2\omega x}{a}i}}{\sinh(x-i\varepsilon)}
=\displaystyle= 14πi0+dxe2ωxai(xiε)k=1(kπi(xiε))(kπ+i(xiε))/(kπ)2\displaystyle\frac{1}{4\pi i}\int_{0}^{+\infty}\mathrm{d}x\frac{e^{\frac{2\omega x}{a}i}}{(x-i\varepsilon)\prod_{k=1}^{\infty}(k\pi-i(x-i\varepsilon))(k\pi+i(x-i\varepsilon))/(k\pi)^{2}}

We can calculate the above equation directly and make use of the properties of exponential integral. Finally we have

0+d(Δτ)G3+(Δτ)eiωΔτ\displaystyle\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{3}(\Delta\tau)e^{i\omega\Delta\tau} =\displaystyle= i4π[k=1(Ei(2πωak)e2πωak+Ei(2πωak)e2πωak)\displaystyle\frac{i}{4\pi}\Bigg{[}\sum_{k=1}^{\infty}\left(Ei\left(\frac{2\pi\omega}{a}k\right)e^{-\frac{2\pi\omega}{a}k}+Ei\left(-\frac{2\pi\omega}{a}k\right)e^{\frac{2\pi\omega}{a}k}\right) (51)
+\displaystyle+ γ+ln(2ωaε)]+142πωae2πωa+1.\displaystyle\gamma+\ln\left(\frac{2\omega}{a}\varepsilon\right)\Bigg{]}+\frac{1}{4}\frac{\frac{2\pi\omega}{a}}{e^{\frac{2\pi\omega}{a}}+1}.

The summation in the above equation is finite. Simialrly for 0d(Δτ)Gd+(Δτ)eiωΔτ\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau} we have

0d(Δτ)Gd+(Δτ)eiωΔτ\displaystyle\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau} =\displaystyle= i4π[k=1(Ei(2πωak)e2πωak+Ei(2πωak)e2πωak)\displaystyle-\frac{i}{4\pi}\Bigg{[}\sum_{k=1}^{\infty}\left(Ei\left(\frac{2\pi\omega}{a}k\right)e^{-\frac{2\pi\omega}{a}k}+Ei\left(-\frac{2\pi\omega}{a}k\right)e^{\frac{2\pi\omega}{a}k}\right) (52)
+\displaystyle+ γ+ln(2ωaε)]+141e2πωa+1.\displaystyle\gamma+\ln\left(\frac{2\omega}{a}\varepsilon\right)\Bigg{]}+\frac{1}{4}\frac{1}{e^{\frac{2\pi\omega}{a}}+1}.

Thus

0d(Δτ)Gd+(Δτ)eiωΔτ+0d(Δτ)Gd+(Δτ)eiωΔτ=14.\int_{0}^{\infty}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{i\omega\Delta\tau}+\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)G^{+}_{d}(\Delta\tau)e^{-i\omega\Delta\tau}=\frac{1}{4}. (53)

In d=3d=3, the coefficient Cd(Δτ)G3+(Δτ)eiωΔτ=12\int_{C}\mathrm{d}(\Delta\tau)G^{+}_{3}(\Delta\tau)e^{-i\omega\Delta\tau}=\frac{1}{2}, so the constant 14\frac{1}{4} corresponds to the 12\frac{1}{2} in odd dimensions in Theorem 1.

In summary, in d=3d=3 the real part of the decoherence rate is proportional to 12\frac{1}{2}, as we proved in Theorem 1, and there is no imaginary term.

4 Recurrence formula for general dd

In this section we will describe how to get the high dimensional results from the low dimensional results. The formula of G2+(Δτ)G^{+}_{2}(\Delta\tau) is different from the case of d3d\geq 3, so we will consider it separately.

4.1 From d=2d=2 to d=4d=4

In this section we study the case of d=2d=2. In eq.(41) we do the integration by part to convert log(x)\log(x) to 1/x1/x. This gives us some clues: if we do the integration by part twice, we can get 1/x21/x^{2}, which might be related to d=4d=4. We will show that given the dd-dimensional result, we can directly get the (d+2)(d+2)-dimensional case, and since we already have the cases of d=2,3d=2,3, we can have the results for all dd.

In the same way, we still consider the eq.(3.1), but this time we do the integration by part twice, and we have

\displaystyle- 12π0d(Δτ)eiωΔτlog(sinha2(Δτiε))=1πa0+dxei2ωaxsxlog(sinh(xiε))\displaystyle\frac{1}{2\pi}\int_{0}^{\infty}\mathrm{d}(\Delta\tau)e^{i\omega\Delta\tau}\log\left(\sinh\frac{a}{2}(\Delta\tau-i\varepsilon)\right)=-\frac{1}{\pi a}\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x-sx}\log\left(\sinh(x-i\varepsilon)\right) (54)
=\displaystyle= i2πω[ei2ωaxsxlog(sinh(xiε))|0+0+dxei2ωaxsxlog(coth(xiε))]\displaystyle\frac{i}{2\pi\omega}\left[e^{i\frac{2\omega}{a}x-sx}\log\left(\sinh(x-i\varepsilon)\right)\Big{|}_{0}^{+\infty}-\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x-sx}\log\left(\coth(x-i\varepsilon)\right)\right]
=\displaystyle= i2πω[log(iε)12ωai(coth(xiε)|0+0+dxei2ωaxsx1sinh(xiε))]\displaystyle\frac{i}{2\pi\omega}\left[-\log(-i\varepsilon)-\frac{1}{\frac{2\omega}{a}i}\left(\coth(x-i\varepsilon)\Big{|}_{0}^{+\infty}-\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x-sx}\frac{1}{\sinh(x-i\varepsilon)}\right)\right]
=\displaystyle= i2πω[log(iε)12ωai(1iε0+dxei2ωaxsx1sinh2(xiε))]\displaystyle\frac{i}{2\pi\omega}\left[-\log(-i\varepsilon)-\frac{1}{\frac{2\omega}{a}i}\left(\frac{1}{i\varepsilon}-\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x-sx}\frac{1}{\sinh^{2}(x-i\varepsilon)}\right)\right]
=\displaystyle= i2πω[log(ε)+a2ω1ε]14ω+a4πω20+dxei2ωaxsx1sinh2(xiε).\displaystyle\frac{i}{2\pi\omega}\left[-\log(\varepsilon)+\frac{a}{2\omega}\frac{1}{\varepsilon}\right]-\frac{1}{4\omega}+\frac{a}{4\pi\omega^{2}}\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x-sx}\frac{1}{\sinh^{2}(x-i\varepsilon)}.

We can find the last term of the above equation is exactly the case of 0+d(Δτ)G4+(Δτ)eiωΔτ\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{4}(\Delta\tau)e^{i\omega\Delta\tau} after we multiply by some coefficients. Previously we knew that the left side of the formula is finite, so there are two imaginary divergence terms in 0+d(Δτ)G4+(Δτ)eiωΔτ\int_{0}^{+\infty}\mathrm{d}(\Delta\tau)G^{+}_{4}(\Delta\tau)e^{i\omega\Delta\tau}, which are log(ε)\log(\varepsilon) and 1/ε1/\varepsilon. Similarly, we can also get

\displaystyle- 12π0d(Δτ)eiωΔτlog(sinha2(Δτiε))\displaystyle\frac{1}{2\pi}\int_{-\infty}^{0}\mathrm{d}(\Delta\tau)e^{-i\omega\Delta\tau}\log\left(\sinh\frac{a}{2}(\Delta\tau-i\varepsilon)\right) (55)
=\displaystyle= i2πω[log(ε)a2ω1ε]14ω+a4πω20𝑑xei2ωax+sx1sinh2(xiε).\displaystyle\frac{i}{2\pi\omega}\left[-\log(\varepsilon)-\frac{a}{2\omega}\frac{1}{\varepsilon}\right]-\frac{1}{4\omega}+\frac{a}{4\pi\omega^{2}}\int_{-\infty}^{0}dxe^{-i\frac{2\omega}{a}x+sx}\frac{1}{\sinh^{2}(x-i\varepsilon)}.

When we consider the decoherence rate in d=4d=4, we will find the 1/ε1/\varepsilon is canceled out and only log(ε)\log(\varepsilon) remains, this is because the two divergence terms log(ε)\log(\varepsilon) and 1/ε1/\varepsilon are respectively the boundary terms generated from the twice integration by part, and the first one yields divergence terms log(ε)\log(\varepsilon) of the same sign, while the second ones 1/ε1/\varepsilon have the opposite, so that only the log(ε)\log(\varepsilon) exists in the case of d=4d=4.

4.2 From dd to d+2d+2

For d3d\geq 3, we have

Gd+(Δτ)=Γ(d/21)4πd/2z2d=Γ(d/21)4πd/2(2πi/a)d21(sinha2(Δτiε))d2,G^{+}_{d}(\Delta\tau)=\frac{\Gamma(d/2-1)}{4\pi^{d/2}}z^{2-d}=\frac{\Gamma(d/2-1)}{4\pi^{d/2}(2\pi i/a)^{d-2}}\frac{1}{\left(\sinh\frac{a}{2}(\Delta\tau-i\varepsilon)\right)^{d-2}}, (56)

For the computational simplicity we omit the coefficients next, but note that the coefficients are real in even dimensions and imaginary in odd dimensions. Now we introduce the second theorem of this work.

Theorem 2: The imaginary part of the decoherence rate is finite in d=2,3d=2,3 and contains a log(ε)\log(\varepsilon) divergence in d=4d=4. For even dimensions d6d\geq 6, the divergence of the imaginary part can be expressed as

log(ε)+n=1(d4)/2αnε2n,\log(\varepsilon)+\sum_{n=1}^{(d-4)/2}\frac{\alpha_{n}}{\varepsilon^{2n}}, (57)

and for odd dimensions d5d\geq 5, the divergence can be expressed as

n=1(d3)/2βnε2n1,\sum_{n=1}^{(d-3)/2}\frac{\beta_{n}}{\varepsilon^{2n-1}}, (58)

where the αn\alpha_{n} and βn\beta_{n} are the corresponding coefficients.

Proof: We have already calculated the cases of d=2,3,4d=2,3,4. For d3d\geq 3, we first consider the case of

0+dxei2ωaxsx1(sinh(xiε))d2,\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x-sx}\frac{1}{\left(\sinh(x-i\varepsilon)\right)^{d-2}}, (59)

where we have omitted the coefficients for simplicity. Do the integration by part twice the above formula can be written as

1i2ωa[ei2ωaxsx1sinh(xiε)d2|0++(d2)0+dxei2ωaxsxcosh(xiε)sinh(xiε)d1]\displaystyle\frac{1}{i\frac{2\omega}{a}}\left[\left.e^{i\frac{2\omega}{a}x-sx}\frac{1}{\sinh(x-i\varepsilon)^{d-2}}\right|_{0}^{+\infty}+(d-2)\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x-sx}\frac{\cosh(x-i\varepsilon)}{\sinh(x-i\varepsilon)^{d-1}}\right]
=1(i)d12ωa1εd2+(d2)i2wa[1i2wa(ei2ωaxsxcosh(xiε)sinh(xiε)d1|0+\displaystyle=\frac{1}{(-i)^{d-1}\frac{2\omega}{a}}\frac{1}{\varepsilon^{d-2}}+\frac{(d-2)}{i\frac{2w}{a}}\Bigg{[}\frac{1}{i\frac{2w}{a}}\bigg{(}\left.e^{i\frac{2\omega}{a}x-sx}\frac{\cosh(x-i\varepsilon)}{\sinh(x-i\varepsilon)^{d-1}}\right|_{0}^{+\infty}
+0+dxei2ωax(d2)sinh(xiε)2+(d1)sinh(xiε)d)]\displaystyle+\int_{0}^{+\infty}\mathrm{d}xe^{i\frac{2\omega}{a}x}\frac{(d-2)\sinh\left(x-i\varepsilon\right)^{2}+(d-1)}{\sinh(x-i\varepsilon)^{d}}\bigg{)}\Bigg{]}
=1(i)d12wa1εd2+(d2)(2ωa)2(i)d11εd1(d2)2(2ωa)20+ei2ωax1sinh(xiε)d2dx\displaystyle=\frac{1}{(-i)^{d-1}\frac{2w}{a}}\frac{1}{\varepsilon^{d-2}}+\frac{(d-2)}{\left(\frac{2\omega}{a}\right)^{2}(-i)^{d-1}}\frac{1}{\varepsilon^{d-1}}-\frac{(d-2)^{2}}{\left(\frac{2\omega}{a}\right)^{2}}\int_{0}^{+\infty}e^{i\frac{2\omega}{a}x}\frac{1}{\sinh(x-i\varepsilon)^{d-2}}\mathrm{d}x
(d2)(d1)(2wa)20+ei2ωax1sinh(xiε)ddx.\displaystyle-\frac{(d-2)(d-1)}{\left(\frac{2w}{a}\right)^{2}}\int_{0}^{+\infty}e^{i\frac{2\omega}{a}x}\frac{1}{\sinh(x-i\varepsilon)^{d}}\mathrm{d}x. (60)

Thus we have

0+ei2ωax(d2)(d1)sinh(xiε)d𝑑x\displaystyle\int_{0}^{+\infty}e^{i\frac{2\omega}{a}x}\frac{(d-2)(d-1)}{\sinh(x-i\varepsilon)^{d}}dx =[(2ωa)2+(d2)2]0+ei2ωax1sinh(xiε)d2𝑑x\displaystyle=-\left[\left(\frac{2\omega}{a}\right)^{2}+(d-2)^{2}\right]\int_{0}^{+\infty}e^{i\frac{2\omega}{a}x}\frac{1}{\sinh(x-i\varepsilon)^{d-2}}dx
+2wa1(i)d11εd2+(d2)(i)d11εd1,\displaystyle+\frac{2w}{a}\frac{1}{(-i)^{d-1}}\frac{1}{\varepsilon^{d-2}}+\frac{(d-2)}{(-i)^{d-1}}\frac{1}{\varepsilon^{d-1}}, (61)

where the left hand side corresponds to the (d+2)(d+2)-dimensional case, and the first term of the right hand side corresponds to the dd-dimensional case.

Similarly we also have

0ei2wax(d2)(d1)sinh(xiε)d𝑑x\displaystyle\int_{-\infty}^{0}e^{-i\frac{2w}{a}x}\frac{(d-2)(d-1)}{\sinh(x-i\varepsilon)^{d}}dx =[(2wa)2+(d2)2]0ei2wax1sinh(xiε)d2𝑑x\displaystyle=-\left[\left(\frac{2w}{a}\right)^{2}+(d-2)^{2}\right]\int_{-\infty}^{0}e^{-i\frac{2w}{a}x}\frac{1}{\sinh(x-i\varepsilon)^{d-2}}dx
+2wa1(i)d11εd2(d2)(i)d11εd1.\displaystyle+\frac{2w}{a}\frac{1}{(-i)^{d-1}}\frac{1}{\varepsilon^{d-2}}-\frac{(d-2)}{(-i)^{d-1}}\frac{1}{\varepsilon^{d-1}}. (62)

When we consider the decoherence rate, we can find that for d3d\geq 3 the (d+2)(d+2)-dimensional case corresponds to the dd-dimensional result plus an 1/εd21/\varepsilon^{d-2} divergence term, while the 1/εd11/\varepsilon^{d-1} cancels out. The sum of the above two equations is the recurrence formula of decoherence rate. We have given the cases of d=2,3,4d=2,3,4, so the theorem is proved. \hfill\qed

Since we have obtained the transition rate and the decoherence rate, we can add the renormalization term in H^0\hat{H}_{0} to eliminate the corresponding divergence. Related discussions can also be found in Kaplanek:2019dqu ; Ali:2020gij . Note, however, that we cannot naively eliminate the iεi\varepsilon. Although this will cure the divergence, it will also subtract the real term, which may break the unitarity.

5 Conclusions and outlook

In this work, we study the interaction of a qubit with an initial pure state as an Unruh-DeWitt detector coupled to a free massless scalar field in arbitrary dimensions. Using the perturbation method, we calculate the transition rate and the decoherence rate of the qubit. Our main results are two theorems and one corollary that we proved in the paper. We list them below:

  • Real part of the decoherence rate. The real part of the decoherence rate is proportional to 1e2πω/a1+1/2\frac{1}{e^{2\pi\omega/a}-1}+1/2 in even dimensions, and is proportional to 1/21/2 in odd dimensions.

  • Imaginary part of the decoherence rate. The imaginary part of the decoherence rate is finite in d=2,3d=2,3 and contains a log(ε)\log(\varepsilon) divergence in d=4d=4. For even dimensions d6d\geq 6, the divergence of the imaginary part can be expressed as

    log(ε)+n=1(d4)/2αnε2n,\log(\varepsilon)+\sum_{n=1}^{(d-4)/2}\frac{\alpha_{n}}{\varepsilon^{2n}},

    and for odd dimensions d5d\geq 5, the divergence can be expressed as

    n=1(d3)/2βnε2n1.\sum_{n=1}^{(d-3)/2}\frac{\beta_{n}}{\varepsilon^{2n-1}}.
  • Unitarity of the Unruh-DeWitt detector. The unitarity is always preserved in the time evolution of the Unruh-DeWitt detector in all dimensions.

We conclude with a brief discussion of possible applications of this work. The transition rate and the decoherence rate are both important physical observable quantities. They directly relate the nature of the detector and the quantum field theory, which may provide clues for future experiments, especially in the future spacebased experiments Anastopoulos:2021llw . Recently it was found that the decoherence rate can be used to measure the Unruh effect Nesterov:2020exl . We can also study the exchange of energy and information during the interaction between the detector and quantum field theory Xu:2021buk ; Xu:2022juv ; Xu:2021ihm , which may help us to understand the feedback and back-reaction obtained from the measurements, as well as the connection between gravity and quantum theory. In Xu:2022juv we also investigated the decoherence of the qubit coupled to a thermal quantum field theory in a cavity, and the results are also consistent with our Theorem 1. Of course, when we consider the thermal state instead of the Unruh effect, the Fermi-Dirac distribution does not appear in odd dimensions. Interested readers can find a more detailed discussion in Takagi:1986kn .

Here we make a brief comparison between our work and Audretsch:1995qt , where the authors also studied the decoherence for the Unruh-DeWitt detector, although not in arbitrary dimensions. In addition to the dimension, there is another major difference: the authors of Audretsch:1995qt considered the decoherence with continuous measurement, while in our work we do not. The case with continuous measurement considers finite time integration, while the case without continuous measurement considers infinite time integration. When the time tends to infinity, the former reduces to the latter. In the present work we study the decoherence rate and thermalization rate, where the integration range is always infinite, while in Xu:2022juv we investigated a situation similar to the Audretsch:1995qt . Interested readers can find a more detailed discussion in these papers. Also, the decoherence in Audretsch:1995qt is mainly from the transition between the ground state and the excited state, which is actually more like the thermalization in this paper, because the thermalization process from the pure state to the mixed state can also be decoherent. The initial state in our work is the linear superposition of the ground and excited states, and we can calculate not only the evolution of diagonal elements in the density matrix, but also the off-diagonal elements, so that we can understand the Unruh effect on the qubit more clearly.

On the other hand, many quantum gravity models exhibit dynamical dimensional reduction in the microscopic region Carlip:2017eud , and the corrections to the two-point function may leave characteristic fingerprints that can be captured by detectors. Since we have obtained the results for all dimensions, the decoherence rate can also be used as an effective quantity to probe spacetime on small scales. There are some works that has made similar attempts Alkofer:2016utc ; Saueressig:2021pzy . Because our results show that the response of the Unruh-DeWitt detector varies with dimensions, there are more interesting issues to investigate here, particularly quantum field theory and quantum gravity in non-integer dimensions Akkermans:2010dz ; Eckstein:2020gjd , and the corresponding response functions of the Unruh-DeWitt detector. Furthermore, we can also study the decoherence of qubit placed in the curved spacetime with black holes, even the decoherence of black holes themselves Demers:1995tr . We will pursue these directions in our future work.

Acknowledgements

Hao Xu thanks Yuan Sun for useful discussions. He also thanks National Natural Science Foundation of China (No.12205250) for funding support.

References