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

Entanglement harvesting in the presence of a reflecting boundary

Zhihong Liu1, Jialin Zhang 111Corresponding author at jialinzhang@hunnu.edu.cn1 and Hongwei Yu 222Corresponding author at hwyu@hunnu.edu.cn Department of Physics and Synergetic Innovation Center for Quantum Effects and Applications, Hunan Normal University, Changsha, Hunan 410081, China
Abstract

We study, in the framework of the entanglement harvesting protocol, the entanglement harvesting of both a pair of inertial and uniformly accelerated detectors locally interacting with vacuum massless scalar fields subjected to a perfectly reflecting plane boundary. We find that the presence of the boundary generally degrades the harvested entanglement when two detectors are very close to the boundary. However, when the distance between detectors and the boundary becomes comparable to the interaction duration parameter, the amount of the harvested entanglement approaches a peak, which even goes beyond that without a boundary. Remarkably, the parameter space of the detectors’ separation and the magnitude of acceleration that allows entanglement harvesting to occur is enlarged due to the presence of the boundary. In this sense, the boundary plays a double-edged role on entanglement harvesting, degrading in general the harvested entanglement while enlarging the entanglement harvesting-achievable parameter space. A comparison of three different acceleration scenarios of the detectors with respect to the boundary, i.e., parallel, anti-parallel and mutually perpendicular acceleration, shows that the phenomenon of entanglement harvesting crucially depends on the acceleration, the separation between two detectors and the detectors’ distance from the boundary.

I Introduction

Quantum entanglement has been considered as a crucial physical resource in quantum information science such as quantum communication RC ; Bh , quantum teleportation Bg , quantum cryptography Ea and dense coding Bh , etc, and it has been extensively studied in various physical aspects. Recently, a lot of interest has been attracted in the role played by entanglement in a variety of physical contexts, such as the critical phenomena in condensed matter systems Osterloh:2002 ; Vidal:2003 ; Amico:2008 , the description of non-classical states of light LM:1995 ; Weedbrook:2012 , the explanation for the origin of black hole entropy Bombelli:1986 ; Calla:1994 ; Srednicki:1993 and the anti-de Sitter/conformal field theory correspondence Ryu:2006 .

It has been realized that vacuum can be a resource of entanglement for the vacuum state of a free quantum field can maximally violate Bell’s inequalities as was shown in the formal algebraic quantum field theory Summers:1985 ; Reznik:2005 , and a pair of initially uncorrelated detectors can extract entanglement from vacuum via locally interacting with vacuum fields VAN:1991 ; Reznik:2003 . This phenomenon of entanglement extraction has been extensively studied in an operational approach employing the Unruh-DeWitt (UDW) detector model Steeg:2009 ; Olson:2011 ; BLHu:2012 ; EDU:2012-2 ; Martin-Martinez:2014gra ; EDU:2013 ; Nambu:2013 ; Pozas-Kerstjens:2015 ; EDU:2016-1 ; EDU:2016-2 ; Zhjl:2018 ; Zhjl:2019 ; Ng:2018 ; Ng:2018-2 ; Zhjl:2020 , which is now known as the entanglement harvesting protocol Salton-Man:2015 . A lot of studies have demonstrated that the phenomenon of entanglement harvesting involves a combination of relativistic and quantum effects, and it is sensitive to the spacetime topology Steeg:2009 ; EDU:2016-1 ; Zhjl:2018 ; Zhjl:2019 ; Ng:2018-2 , intricate motions of detectors Zhjl:2020 , and even cosmology EDU:2012-2 ; Martin-Martinez:2014gra . More recently, the entanglement harvesting in some special circumstances has been investigated, such as in the background with black holes Zhjl:2018 , in the presence of gravitational waves XQ:2020 and near the horizon mimicked by imposing a moving mirror as the boundary CW:2019 ; CW:2020 . In particular, the entanglement harvesting has been studied for inertial detectors in 1+1 dimensional moving mirror spacetimes in Ref. CW:2019 , where it was argued that there exists an entanglement inhibition phenomenon similar to that found for black holes and the concrete harvesting process is sensitive to the mirror trajectory. While, for an accelerated mirror moving along a particular trajectory parameterized by the product-log function, the mimicked effects of horizon on entanglement harvesting have been discussed in Ref. CW:2020 , which reveals a sensitivity of the entanglement harvested to the dynamics of the trajectories and an insensitivity of entanglement to the sign of radiation flux emitted by such an accelerated mirror.

In this paper, we plan to investigate the entanglement harvesting for two UDW detectors at rest or uniformly accelerated near a static perfectly reflecting boundary rather than a drifting mirror that is used to mimic a dynamical spacetime. This would allow us to consider how the reflecting boundary and the motion status of detectors affect the entanglement harvesting phenomenon in a more realistic 1+3 dimensional spacetime. The phenomenon of entanglement harvesting in the circumstance with accelerated detectors necessarily involves both the relativistic effects due to the non-inertial motion of the detectors and quantum effects arising from the modification of quantum vacuum fluctuations of the scalar fields by the presence of a boundary which the detectors are coupled to. Let us note here that the most fascinating effect associated with the uniform acceleration is the Unruh effect, which attests that accelerated detectors in vacuum will observe a thermal radiation spectrum of particles. The thermal noise due to the Unruh effect is generally expected to drive the accelerated detectors to decohere. Therefore, the behavior of entanglement harvesting therein would be an interesting topic, since it is expected to be affected by both the presence of the boundary and the accelerated motion of the detectors which is connected the Unruh effect. Indeed, on one hand, a lot of studies have revealed the influence of acceleration on quantum entanglement via various detector models, including two-level detectors or UDW models Reznik:2003 ; Salton-Man:2015 , harmonic oscillators BLH:2008 ; BLH:2010 , and wave packets Ahmadi:2016 ; Crochowski:2019 . In particular, it was argued in Ref. Salton-Man:2015 that the entanglement extraction can be enhanced for two UDW detectors in anti-parallel acceleration in comparison with those in inertial motion or parallel acceleration. On the other hand, it has been demonstrated that the presence of boundaries in flat spacetime, which changes the spacetime topology and causes modification of fluctuations of quantum fields Birrell:1984 , brings new features to novel quantum effects associated acceleration, such as the Casimir-Polder interaction Rizzuto:2007 ; Passante:2007 ; Zhu:2010 , the modified radiative properties of accelerated atoms Yu:2005ad ; Yu:2006kp ; Rizzuto:2009 , the geometric phase Zhjl:2016 and the modified entanglement dynamics Zhjl:2007 ; Cheng:2018 .

Therefore, questions arise naturally as to what role the boundary would play in performing the entanglement harvesting protocols via a pair of inertial as well as uniformly accelerated detectors and what would happen to the entanglement harvesting for two detectors in different acceleration scenarios near the boundary. To address these questions, we will first consider a pair of inertial detectors and then a pair of uniformly accelerated UDW detectors, which are initially prepared in a separable state and locally interact with the vacuum massless scalar fields near a perfectly reflecting plane boundary. For the case of accelerated detectors, three distinct acceleration scenarios, i.e, parallel acceleration and anti-parallel acceleration with respect to the boundary as well as mutually perpendicular acceleration in a plane parallel to the boundary, will be examined. According to the entanglement harvesting protocol, the reduced density of two detectors can be written in an XX-type form, and the concurrence as a measure of entanglement, which is employed to characterize the amount of the entanglement harvested from vacuum by such detectors, can be calculated for a chosen switching function.

The paper is organized as follows. In the next section, basic formulae for the UDW detectors locally interacting with vacuum scalar fields are reviewed. In Sec.III, we mainly study the influence of a boundary on the transition probabilities of uniformly accelerated detectors interacting with the quantum fields in a finite duration. In Sec. IV, we consider the entanglement harvesting for both two inertial detectors and two detectors moving along different acceleration trajectories near the boundary, including those of parallel acceleration, anti-parallel acceleration and acceleration in mutually perpendicular directions in a plane parallel to the boundary. The influence of the boundary on the behavior of the entanglement harvesting is examined in detail, with a cross-comparison of the results obtained. Finally, we end up with conclusions in Sec.V.

Throughout this paper we adopt the natural units in which =c=1\hbar=c=1 for convenience.

II The basic formulas

Without loss of generality, the two-level point-like detector is treated as the UDW module with a ground state |0D|0_{D}\rangle and excited state |1D|1_{D}\rangle, which locally interacts with the massless scalar field ϕ(xD)\phi(x_{D}). Here, xDx_{D} denotes the coordinates of spacetime with the subscript DD specifying which UDW detector we are considering. Let us suppose that the classical spacetime trajectory of the detector is parameterized by its proper time τ\tau. Then the interaction Hamiltonian for such a detector in the interaction picture takes the following form

HD(τ)=λχ(τ)[eiΩDτσ++eiΩDτσ]ϕ[xD(τ)],H_{D}(\tau)=\lambda\chi(\tau)\left[e^{i\Omega_{D}\tau}\sigma^{+}+e^{-i\Omega_{D}\tau}\sigma^{-}\right]\phi\left[x_{D}(\tau)\right]\;, (1)

where λ\lambda is the coupling strength, ΩD\Omega_{D} is the energy gap of the detector, σ+=|1D0D|\sigma^{+}=|1_{D}\rangle\langle 0_{D}| and σ=|0D1D|\sigma^{-}=|0_{D}\rangle\langle 1_{D}| denote the ladder operators of the SU(2) algebra, and χ(τ)=exp[τ2/(2σD2)]\chi(\tau)=\exp[-{\tau^{2}}/(2\sigma_{D}^{2})] is the Gaussian switching function which controls the duration of interaction via parameter σD\sigma_{D}.

Before the interaction begins, we assume that two UDW detectors (labeled AA and BB) are in their ground state and the field in a vacuum state |0M|0_{M}\rangle. Then the joint state of the detectors and the field can be written as |Ψ=|0A|0B|0M\ket{\Psi}=\ket{0_{A}}\ket{0_{B}}\ket{0_{M}}. According to the detector-field interaction Hamiltonian (1), the finial state of the system (two detectors plus the field) is given by

|Ψf:=𝒯exp[i𝑑t(dτAdtHA(τA)+dτBdtHB(τB))]|Ψ,\ket{\Psi_{f}}:={\cal{T}}\exp\Big{[}-i\int{dt}\Big{(}\frac{d\tau_{A}}{dt}H_{A}(\tau_{A})+\frac{d\tau_{B}}{dt}{H_{B}}(\tau_{B})\Big{)}\Big{]}\ket{\Psi}\;, (2)

where 𝒯{\cal{T}} denotes the time ordering operator. For simplicity, the two detectors are assumed to be completely identical with a fixed but not too large energy gap, i.e., Ω=ΩA=ΩB\Omega=\Omega_{A}=\Omega_{B} and σ=σA=σB\sigma=\sigma_{A}=\sigma_{B}, in the following discussions. Based on the perturbation theory, the density matrix for the finial state of the two detectors can be obtained from Eq. (2) by tracing out the field degrees of freedom, and after some algebraic manipulations, it takes the following form in the basis {|0A|0B,|0A|1B,|1A|0B,|1A|1B}\{\ket{0_{A}}\ket{0_{B}},\ket{0_{A}}\ket{1_{B}},\ket{1_{A}}\ket{0_{B}},\ket{1_{A}}\ket{1_{B}}\}  EDU:2016-1 ; Zhjl:2018 ; Zhjl:2019

ρAB:\displaystyle\rho_{AB}: =trϕ(|ΨfΨf|)\displaystyle=\operatorname{tr}_{\phi}\big{(}\ket{\Psi_{f}}\bra{\Psi_{f}}\big{)}
=(1PAPB00X0PBC00CPA0X000)+𝒪(λ4),\displaystyle=\begin{pmatrix}1-P_{A}-P_{B}&0&0&X\\ 0&P_{B}&C&0\\ 0&C^{*}&P_{A}&0\\ X^{*}&0&0&0\\ \end{pmatrix}+{\mathcal{O}}(\lambda^{4})\;, (3)

where the transition probability PDP_{D} reads

PD:=λ2𝑑τ𝑑τχ(τ)χ(τ)eiΩ(ττ)W(xD(t),xD(t))D{A,B},P_{D}:=\lambda^{2}\iint d\tau d\tau^{\prime}\chi(\tau)\chi(\tau^{\prime})e^{-i\Omega(\tau-\tau^{\prime})}W\left(x_{D}(t),x_{D}(t^{\prime})\right)\quad\quad D\in\{A,B\}\;, (4)

and quantities CC and XX which characterize nonlocal correlations are given by

C\displaystyle C :=λ2𝑑τ𝑑τχ(τ)χ(τ)eiΩ(ττ)W(xA(t),xB(t)),\displaystyle:=\lambda^{2}\iint d\tau d\tau^{\prime}\chi(\tau)\chi(\tau^{\prime})e^{-i\Omega(\tau-\tau^{\prime})}W\left(x_{A}(t),x_{B}(t^{\prime})\right)\;, (5)
X:=λ2𝑑τ𝑑τχ(τ)χ(τ)eiΩ(τ+τ)[θ(tt)W(xA(t),xB(t))+θ(tt)W(xB(t),xA(t))],\displaystyle X:=-\lambda^{2}\iint d\tau d\tau^{\prime}\chi(\tau)\chi(\tau^{\prime})e^{-i\Omega(\tau+\tau^{\prime})}\Big{[}\theta(t^{\prime}-t)W\left(x_{A}(t),x_{B}(t^{\prime})\right)+\theta(t-t^{\prime})W\left(x_{B}(t^{\prime}),x_{A}(t)\right)\Big{]}\;, (6)

where W(x,x):=0M|ϕ(x)ϕ(x)|0MW(x,x^{\prime}):=\bra{0_{M}}\phi(x)\phi(x^{\prime})\ket{0_{M}} is the Wightman function of the field and θ(t)\theta(t) represents the Heaviside theta function. Note that the detector’s coordinate time is a function of its proper time, i.e., t=t(τ)t=t(\tau) and t=t(τ)t^{\prime}=t^{\prime}(\tau^{\prime}), in the above equations.

According to the entanglement harvesting protocol, we can employ the concurrence as a measure of entanglement WW , which specifically quantifies the entanglement harvested by the detectors via local interaction with the fields. For an XX-type density matrix (II), the concurrence takes a simple form EDU:2016-1 ; Zhjl:2018 ; Zhjl:2019

𝒞(ρAB)=2max[0,|X|PAPB]+𝒪(λ4).\mathcal{C}(\rho_{AB})=2\max\Big{[}0,|X|-\sqrt{P_{A}P_{B}}\Big{]}+\mathcal{O}(\lambda^{4})\;. (7)

The concurrence 𝒞(ρAB)\mathcal{C}(\rho_{AB}) is dependent only on the nonlocal correlation X and the transition probabilities. As a result, the Wightman function of the scalar fields plays a crucial role in entanglement harvesting. In what follows, We will examine the entanglement harvesting phenomenon for both a pair of inertial and uniformly accelerated detectors near a perfectly reflecting plane boundary, focusing on the influence of the presence of the boundary.

III The transition probabilities of detectors near the reflecting boundary

Let us first analyze the transition probabilities. To facilitate the discussion, we assume that a plane boundary is located at z=0z=0, and the uniformly accelerated UDW detector is moving along the trajectories with a distance Δz\Delta{z} away from the boundary, that is

xD:={t=a1sinh(aτ),x=a1cosh(aτ),y=0,z=Δz},x_{D}:=\{t={a^{-1}}\sinh(a\tau),\;x={a^{-1}}\cosh(a\tau),\;y=0,\;z=\Delta{z}\}\;, (8)

where aa is the proper acceleration and τ\tau is the detector’s proper time. The Wightman function for vacuum massless scalar fields in four dimensional Minkowski spacetime in the presence of a reflecting boundary is, according to the method of images, given by Birrell:1984

W(xD,xD)=\displaystyle W\left(x_{D},x^{\prime}_{D}\right)= 14π2[1(ttiϵ)2(xx)2(yy)2(zz)2\displaystyle-\frac{1}{4\pi^{2}}\Big{[}\frac{1}{(t-t^{\prime}-i\epsilon)^{2}-(x-x^{\prime})^{2}-(y-y^{\prime})^{2}-(z-z^{\prime})^{2}}
1(ttiϵ)2(xx)2(yy)2(z+z)2].\displaystyle-\frac{1}{(t-t^{\prime}-i\epsilon)^{2}-(x-x^{\prime})^{2}-(y-y^{\prime})^{2}-(z+z^{\prime})^{2}}\Big{]}\;. (9)

Substituting trajectory (8) and Eq. (III) into Eq. (4), we have, after some manipulations (see Appendix)

PD=\displaystyle P_{D}= λ2aσ4π3/20𝑑s~cos(s~β)es~2α(sinh2s~s~2)s~2sinh2s~+λ2aσ4π3/2PV0𝑑s~cos(βs~)es~2αsinh2s~a2Δz2\displaystyle\frac{\lambda^{2}a\sigma}{4\pi^{3/2}}\int_{0}^{\infty}d\tilde{s}\frac{\cos(\tilde{s}\beta)e^{-\tilde{s}^{2}\alpha}\left(\sinh^{2}\tilde{s}-\tilde{s}^{2}\right)}{\tilde{s}^{2}\sinh^{2}\tilde{s}}+\frac{\lambda^{2}a\sigma}{4\pi^{{3}/{2}}}{\rm{PV}}\int_{0}^{\infty}d\tilde{s}\frac{\cos(\beta{\tilde{s}})e^{-\tilde{s}^{2}\alpha}}{\sinh^{2}\tilde{s}-a^{2}\Delta z^{2}}
+λ24π[eΩ2σ2πΩσErfc(Ωσ)]+λ2aσ4πeαs~2sin(βs~)sinh(2s~)|s~=arcsinh(aΔz),\displaystyle+\frac{\lambda^{2}}{4\pi}\left[e^{-\Omega^{2}\sigma^{2}}-\sqrt{\pi}\Omega\sigma\operatorname{Erfc}(\Omega\sigma)\right]+\frac{\lambda^{2}a\sigma}{4\sqrt{\pi}}\frac{e^{-\alpha{\tilde{s}^{2}}}\sin(\beta{\tilde{s}})}{\sinh(2\tilde{s})}\Bigg{|}_{\tilde{s}=\operatorname{arcsinh}(a\Delta{z})}\;, (10)

where β=2Ω/a\beta=2\Omega/a, α=1/(aσ)2\alpha=1/(a\sigma)^{2} and Erfc(x):=1Erf(x)\rm{Erfc}(x):=1-\rm{Erf}(x) with the error function Erf(x):=0x2et2dt/π\rm{Erf}(x):=\int_{0}^{x}2e^{-t^{2}}dt/\sqrt{\pi}.

An analytical result of Eq. (III) can hardly be found. Fortunately, numerical evaluations can be implemented for a finite duration of interaction ( finite nonzero σ\sigma ). It is worth noting that the second and fourth term in Eq. (III) arise from the image part of the Wightman function, which are dependent on the distance between the boundary and the detector Δz\Delta{z}, while the remaining two terms are just those of the transition probabilities of uniformly accelerated detectors in free Minkowski spacetime Zhjl:2020 . In the limit of a0a\rightarrow 0, the transition probabilities become

PD\displaystyle P_{D} =λ24π[eΩ2σ2πΩσErfc(Ωσ)]+λ2σ4π3/2𝑑seiΩses2/(4σ2)(siϵ)24Δz2\displaystyle=\frac{\lambda^{2}}{4\pi}\left[e^{-\Omega^{2}\sigma^{2}}-\sqrt{\pi}\Omega\sigma\operatorname{Erfc}(\Omega\sigma)\right]+\frac{\lambda^{2}\sigma}{4\pi^{3/2}}\int_{-\infty}^{\infty}{ds}\frac{e^{-i\Omega{s}}e^{-s^{2}/(4\sigma^{2})}}{(s-i\epsilon)^{2}-4\Delta{z}^{2}}
=λ24π[eΩ2σ2πΩσErfc(Ωσ)]λ2σeΔz2/σ28πΔz{Im[e2iΩΔzErf(iΔzσ+Ωσ)]sin(2ΩΔz)}.\displaystyle=\frac{\lambda^{2}}{4\pi}\left[e^{-\Omega^{2}\sigma^{2}}-\sqrt{\pi}\Omega\sigma\operatorname{Erfc}(\Omega\sigma)\right]-\frac{\lambda^{2}\sigma{e}^{-\Delta{z}^{2}/\sigma^{2}}}{8\sqrt{\pi}\Delta{z}}\left\{\mathop{\rm Im}\Big{[}e^{2i\Omega\Delta{z}}\rm{Erf}\Big{(}i\frac{\Delta{z}}{\sigma}+\Omega\sigma\Big{)}\Big{]}-\sin(2\Omega\Delta{z})\right\}\;. (11)

We show our numerical evaluation of Eq.(III&III) in Fig. (1). As we can see there, the transition probabilities for a finite duration generally increase as the acceleration increases, which is consistent with what we expect that high acceleration causes strong thermalization. However, the thermalization is suppressed by the presence of the boundary. Especially, when the detector is very close to the boundary (Δz/σ1\Delta{z}/\sigma\ll 1), the transition probabilities become very small. At the same time, one can also observe that the transition probabilities seem to be an increasing function of Δz/σ\Delta{z}/\sigma which flatten up when Δz/σ\Delta{z}/\sigma becomes relatively large.

Refer to caption
(a)
Refer to caption
(b)
Figure 1: The transition probability of UDW detectors is plotted as a function of the acceleration with parameters Ωσ=0.10\Omega\sigma=0.10 and Δz/σ={0.10,0.50,1.00}\Delta z/\sigma=\{0.10,0.50,1.00\} in (a), and plotted as a function of Δz/σ\Delta{z}/\sigma with Ωσ=0.10\Omega\sigma=0.10 and aσ={0,0.50,1.00,1.20}a\sigma=\{0,0.50,1.00,1.20\} in (b). For convenience, all other physical parameters are expressed in the unit of the interaction duration parameter σ\sigma. Note that the dashed lines indicate the case of without any boundary in (a) and inertial detectors at rest in (b), respectively.

IV Entanglement harvesting near the reflecting boundary

In this section, we will examine the phenomenon of the entanglement harvesting, paying particular attention to the influence of the boundary. We start with a discussion of how the reflecting boundary affects the entanglement harvested by two inertial detectors at rest at a certain fixed distance Δz\Delta{z} from the boundary, followed by an analysis of two uniformly accelerated detectors. For convenience of comparing the boundary influence in these two circumstances, the trajectories of two accelerated detectors are assumed to align parallel to the boundary plane with a distance Δz\Delta{z} away from it as well. The effects of the boundary on the entanglement harvesting in three different acceleration scenarios, i.e., parallel acceleration, anti-parallel acceleration and mutually perpendicular acceleration, are to be analyzed in detail.

IV.1 Entanglement harvesting for inertial detectors

For two detectors at rest which are aligned parallel to the reflecting boundary with a fixed distance Δz\Delta{z} from it and separated by a distance Δd\Delta{d}, their trajectories can, without loss of generality, be written as

xA:={τA,x=0,y=0,z=Δz},xB:={τB,x=Δd,y=0,z=Δz}.x_{A}:=\{\tau_{A}\;,~{}x=0\;,~{}y=0\;,~{}z=\Delta{z}\}\;,x_{B}:=\{\tau_{B}\;,~{}x=\Delta{d}\;,~{}y=0\;,~{}z=\Delta{z}\}\;. (12)

In order to examine the effect of the boundary on the entanglement harvesting for inertial detectors, we should first compute the transition probability PDP_{D} given by Eq. (4) and the relevant non-local correlation term XX given by Eq. (6) along the trajectories (12). The analytical expression of the transition probability of a static detector has already been given by Eq. (III), and XX particularized here as X0X_{0}, can be obtained straightforwardly via the method of Cauchy principle value,

X0=iλ2σ4πeΔd2+4σ4Ω24σ2{Erfc[iΔd2+4Δz2/(2σ)]Δd2+4Δz2eΔz2/σ2Erfc[iΔd/(2σ)]Δd}.X_{0}=\frac{i\lambda^{2}\sigma}{4\sqrt{\pi}}e^{-\frac{\Delta{d}^{2}+4\sigma^{4}\Omega^{2}}{4\sigma^{2}}}\left\{\frac{{\rm{Erfc}}\Big{[}i{\sqrt{\Delta{d}^{2}+4\Delta{z}^{2}}}/{(2\sigma)}\Big{]}}{\sqrt{\Delta{d}^{2}+4\Delta{z}^{2}}}e^{-{\Delta{z}^{2}}/{\sigma^{2}}}-\frac{{\rm{Erfc}}\Big{[}i{\Delta{d}}/{(2\sigma)}\Big{]}}{\Delta{d}}\right\}\;. (13)

Then the concurrence can be found by substituting Eq. (III) and Eq. (13) into Eq. (7). In order to show the properties of the entanglement harvesting, we plot the concurrence as a function of the distance Δz\Delta{z} and the separation Δd\Delta{d} in Fig. (2), respectively.

It is worth pointing out that X0X_{0} will be vanishingly small when the two detectors are placed infinitely close to the reflecting boundary and so will be the concurrence, suggesting that the entanglement harvesting will be greatly inhibited as is illustrated by Fig. (2a). More interestingly, one may find a peak of the extracted entanglement approximately at the position where Δz\Delta{z} is comparable to the interaction duration parameter σ\sigma for a not too large fixed Δd/σ\Delta{d}/\sigma 333If Δd/σ\Delta{d}/\sigma were too large, the extracted entanglement would vanish.. At large enough Δz/σ\Delta{z}/\sigma, the concurrence asymptotically approaches its free space value as expected. Let us note here that these features, e.g., the appearance of peaks of the extracted entanglement, have also been found for inertial detectors in 1+1 dimensional mirror spacetimes in Ref. CW:2019 .

In order to gain an understanding to this property, we show the behaviors of PDP_{D} and |X0||X_{0}| versus Δz/σ\Delta{z}/\sigma in Fig. (3). As we can see, the reflecting boundary would in general restrain both the transition probabilities PDP_{D} and the non-local correlation of the fields X0X_{0}. However, as the distance Δz\Delta{z} increases to approach σ\sigma, the degree of suppression is different (see the vertical dashed line in Fig. (3)). That is, at the beginning, the difference between |X0||X_{0}| and PDP_{D} grows as the distance increases. However, when the distance grows across σ\sigma, |X0||X_{0}| no longer increases significantly with increasing Δz/σ\Delta{z}/\sigma, while the transition probability PDP_{D} still significantly increases for a while. As a result, the difference between |X0||X_{0}| and PDP_{D} becomes a little smaller, resulting in a peak in the difference therein. As, according to the definition in Eq. (7), the concurrence is in fact a competition between the nonlocal correlation XX and the transition probabilities, the above analysis explains why the harvested entanglement peaks when the distance is comparable to the parameter σ\sigma. Remarkably, the peak value of the concurrence is even larger than that without a boundary, suggesting that the detectors may harvest more entanglement than when there is no boundary.

Fig. (2b) shows that the concurrence for a fixed distance between detectors and the boundary would rapidly degrade as the detectors’ separation increases. This arises from the fact that X0X_{0} is exponentially suppressed as Δd\Delta{d} increases (see Eq. (13)), and is consistent with our intuition that the correlation of the detectors would weaken as their inter-separation grows. Once the inter-separation increases beyond a certain value, the concurrence will virtually vanish and entanglement harvesting essentially on longer occurs. So, there exists an entanglement harvesting-achievable range for Δd\Delta{d}, which, as shown in the subfigure of Fig. (2b), is sensitive to the distance from the boundary.

To better understand the influence of the presence of the boundary on the harvesting-achievable range of the separation Δd\Delta{d} where entanglement harvesting is possible. Here, we use Δdmax\Delta{d}_{\rm{max}} to stand for the maximum value (or critical value) of the separation Δd\Delta{d}, beyond which entanglement harvesting does not occur any more. From Eq. (III) and Eq. (13), we obtain the plot of Δdmax\Delta{d}_{\rm{max}} as a function of Δz\Delta{z} (see Fig. (4)). One can see that Δdmax\Delta{d}_{\rm{max}} is obviously a decreasing function of Δz/σ\Delta{z}/\sigma, which means that the presence of the boundary could enlarge the harvesting-achievable range. It should be pointed out here that a Δdmax\Delta{d}_{\rm{max}} on the boundary plane would make no physical sense. This is because the corresponding Wightman function Eq. (III) approaches zero in the limit of Δz0\Delta{z}\rightarrow 0, and as a consequence the concurrence then vanishes and does not depend on the parameter Δd\Delta{d}.

Now we are in a position to explore the effects of the boundary on the entanglement harvesting of uniformly accelerated detectors. In particular, we will study three acceleration scenarios and make a comparison with the inertial situation.

Refer to caption
(a)
Refer to caption
(b)
Figure 2: The entanglement harvested by detectors at rest in the presence of a boundary. (a) The concurrence as a function of Δz/σ\Delta{z}/\sigma is plotted for Δd/σ={0.50,1.00,1.50}\Delta{d}/\sigma=\{0.50,1.00,1.50\}. The dashed line indicates the peak of the concurrence. (b) The concurrence as a function of Δd/σ\Delta{d}/\sigma is plotted for Δz/σ={0.10,0.50,1.50}\Delta{z}/\sigma=\{0.10,0.50,1.50\}. Here, we have set Ωσ=0.10\Omega\sigma=0.10. The concurrence 𝒞(ρAB)\mathcal{C}(\rho_{AB}) rapidly falls off as the separation Δd\Delta{d} increases for a fixed distance from the boundary. In the limit of Δz0\Delta{z}\rightarrow 0, the concurrence approaches zero.
Refer to caption
Figure 3: The nonlocal correlation term |X0||X_{0}| and the transition probability PDP_{D} are plotted as a function of the distance between the rest detectors and the boundary, Δz\Delta{z}. The vertical dashed line (Δz/σ1.352\Delta{z}/\sigma\approx 1.352) indicates where the maximum difference between |X0||X_{0}| and PDP_{D} occurs. Here, we have set the energy gap Ωσ=0.10\Omega\sigma=0.10 and the separation between such two rest detectors Δd/σ=1.00\Delta{d}/\sigma=1.00.
Refer to caption
Figure 4: The maximum harvesting-achievable separation, Δdmax\Delta{d}_{\rm{max}}, between two detectors is plotted as a function of the distance between detectors and the boundary with Ωσ=0.10\Omega\sigma=0.10. The dished line indicates the case of a free space without any boundary.

IV.2 Entanglement harvesting for uniformly accelerated detectors

IV.2.1 Parallel acceleration

Here, we assume that two detectors are accelerated in parallel with respect to the boundary with the same magnitude of acceleration (see Fig. (5)), the corresponding trajectories satisfy Salton-Man:2015

xA:={t=a1sinh(aτA),x=a1cosh(aτA),y=0,z=Δz},\displaystyle x_{A}:=\{t=a^{-1}\sinh(a\tau_{A})\;,~{}x=a^{-1}\cosh(a\tau_{A})\;,~{}y=0\;,~{}z=\Delta{z}\}\;,
xB:={t=a1sinh(aτB),x=a1cosh(aτB)+Δd,y=0,z=Δz},\displaystyle x_{B}:=\{t=a^{-1}\sinh(a\tau_{B})\;,~{}x=a^{-1}\cosh(a\tau_{B})+\Delta d\;,~{}y=0\;,~{}z=\Delta{z}\}\;, (14)

where Δd\Delta d represents the separation between two detectors, as measured by an inertial observer at a fixed xx (i.e., in the laboratory reference frame).

Refer to caption
(a)
Refer to caption
(b)
Figure 5: In the case of parallel acceleration, two uniformly accelerated detectors with a separation Δd\Delta{d} are aligned parallel to the boundary plane at a distance Δz\Delta{z} away from the boundary in (a), the worldlines of such two accelerated detectors are depicted respectively in (b). Here, the black arrows indicate the direction of acceleration.

The transition probabilities can be evaluated by using Eq. (III), and the nonlocal correlation term XX can be obtained by substituting the Wightman function into Eq. (6). Here, we use X((X_{((} to denote X in the case of the parallel acceleration where the trajectories of two detectors are described by Eq. (IV.2.1). According to Eq. (6), we have

X((=λ2𝑑ττ𝑑τχ(τ)χ(τ)eiΩ(τ+τ)[W(xA(τ),xB(τ))+W(xB(τ),xA(τ))].\displaystyle X_{((}=-\lambda^{2}\int_{-\infty}^{\infty}d\tau\int_{-\infty}^{\tau}d\tau^{\prime}\chi(\tau)\chi(\tau^{\prime})e^{-i\Omega(\tau+\tau^{\prime})}\Big{[}W\left(x_{A}(\tau^{\prime}),x_{B}(\tau)\right)+W\left(x_{B}(\tau^{\prime}),x_{A}(\tau)\right)\Big{]}\;. (15)

Letting u=τu=\tau and s=ττs=\tau-\tau^{\prime}, Eq. (15) becomes, after some algebraic manipulations,

X((=λ2a24π2𝑑u0𝑑sf(u,s)[1fAB(u,s)1fAB(u,s)+4a2Δz2+1fBA(u,s)1fBA(u,s)+4a2Δz2],\displaystyle X_{((}=-\frac{\lambda^{2}a^{2}}{4\pi^{2}}\int_{-\infty}^{\infty}du\int_{0}^{\infty}dsf(u,s)\Big{[}\frac{1}{f_{\rm{AB}}(u,s)}-\frac{1}{f_{\rm{AB}}(u,s)+4a^{2}\Delta z^{2}}+\frac{1}{f_{\rm{BA}}(u,s)}-\frac{1}{f_{\rm{BA}}(u,s)+4a^{2}\Delta z^{2}}\Big{]}\;, (16)

where

f(u,s)=exp[(2uss22u2)/2σ2i(2us)Ω],f(u,s)=\exp[{(2{us-s^{2}-2u^{2}})}/{2\sigma^{2}}-i(2u-s)\Omega]\;, (17)
fAB(u,s)=2+a2Δd22cosh(as)+2aΔdcosh(au)2aΔdcosh[a(us)]iϵ,f_{\rm{AB}}(u,s)=2+a^{2}\Delta d^{2}-2\cosh(as)+2a\Delta{d}\cosh(au)-2a\Delta{d}\cosh[a(u-s)]-i\epsilon\;, (18)

and

fBA(u,s)=2+a2Δd22cosh(as)2aΔdcosh(au)+2aΔdcosh[a(us)]iϵ.f_{\rm{BA}}(u,s)=2+a^{2}\Delta d^{2}-2\cosh(as)-2a\Delta{d}\cosh(au)+2a\Delta{d}\cosh[a(u-s)]-i\epsilon\;. (19)

In principle, the transition probabilities PDP_{D} of the uniformly accelerated detectors can be calculated by using Eq. (III), and the nonlocal correlation term X((X_{((} can also be obtained from Eq. (16). However, analytical results are quite difficult to obtain due to the presence of the Gaussian switching function. So, numerical calculations will be resorted to later on. The concurrence Eq. (7), which quantifies the entanglement harvested by detectors, can be evaluated explicitly, once the values of X((X_{((} and transition probabilities are known. Before we show the results of numerical calculations, let us first give the same general analysis for the other two scenarios.

IV.2.2 Anti-parallel acceleration

Now, we move on to the case of two detectors with anti-parallel acceleration along xx-axis (see Fig. (6)). For convenience, we specify the spacetime trajectories of two such detectors in the form as Salton-Man:2015

xA:={t=a1sinh(aτA),x=a1[cosh(aτA)1],y=0,z=Δz},\displaystyle x_{A}:=\{t=a^{-1}\sinh(a\tau_{A})\;,~{}x=a^{-1}[\cosh(a\tau_{A})-1]\;,~{}y=0\;,~{}z=\Delta{z}\}\;,
xB:={t=a1sinh(aτB),x=a1[cosh(aτB)1]Δd,y=0,z=Δz},\displaystyle x_{B}:=\{t=a^{-1}\sinh(a\tau_{B})\;,~{}x=-a^{-1}[\cosh(a\tau_{B})-1]-\Delta d\;,~{}y=0\;,~{}z=\Delta{z}\}\;, (20)

where Δd\Delta d denotes the separation between two detectors at the closest approach (i.e., at the origin of the time coordinate), as seen by a rest observer at a constant xx, namely the closest distance Δd\Delta{d} is independent of the acceleration Salton-Man:2015 . It should be point out that the trajectories Eq. (IV.2.2) in general relax the condition of overlapping apexes shared by four Rindler wedges of two detectors.

Refer to caption
(a)
Refer to caption
(b)
Figure 6: (a) Two detectors in anti-parallel acceleration near the reflecting boundary with a nearest longitudinal shift Δd\Delta{d} along the direction of acceleration, (b) the corresponding worldlines of two detectors. Black arrows indicate the direction of acceleration.

The transition probabilities can be numerically calculated by using Eq. (III) as well, and the nonlocal correlation term XX, now represented by X)(X_{)(}, can be obtained by substituting Eq. (IV.2.2) into Eq. (6)

X)(=λ2a22π2𝑑u0𝑑sf(u,s)[1g(u,s)1g(u,s)+4a2Δz2],\displaystyle X_{)(}=-\frac{\lambda^{2}a^{2}}{2\pi^{2}}\int_{-\infty}^{\infty}du\int_{0}^{\infty}dsf(u,s)\left[\frac{1}{g(u,s)}-\frac{1}{g(u,s)+4a^{2}\Delta{z}^{2}}\right]\;, (21)

where

g(u,s)=2+(2aΔd)2+2cosh(as2au)+(2aΔd4)[cosh(au)+cosh(auas)]iϵ.g(u,s)=2+(2-a\Delta{d})^{2}+2\cosh(as-2au)+(2a\Delta d-4)[\cosh(au)+\cosh(au-as)]-i\epsilon\;. (22)

Numerically evaluating the transition probability PDP_{D} and X)(X_{)(} , we can explore the concurrence 𝒞(ρAB)\mathcal{C}(\rho_{AB}) to reveal the features of entanglement harvesting, which we will present in detail later.

IV.2.3 The acceleration in perpendicular orientations

In this subsection, we will consider the case of two detectors uniformly accelerated in mutually vertical directions. Concretely, we assume that two detectors are uniformly accelerated in a plane parallel to the boundary, where one detector is accelerated in the xx-axis and the other accelerated in the yy-axis (see Fig. (7)).

Refer to caption
(a)
Refer to caption
(b)
Figure 7: (a) The plot of two uniformly accelerated detectors with the acceleration in mutual perpendicular directions near the reflecting boundary, (b) the corresponding worldlines of such two detectors. Black arrows indicate the direction of acceleration.

Hence, the spacetime trajectories of the two perpendicularly accelerated detectors take the following form

xA:={t=a1sinh(aτA),x=0,y=a1[cosh(aτA)1],z=Δz},\displaystyle x_{A}:=\{t=a^{-1}\sinh(a\tau_{A})\;,~{}x=0\;,~{}y=a^{-1}[\cosh(a\tau_{A})-1]\;,~{}z=\Delta{z}\}\;,
xB:={t=a1sinh(aτB),x=a1[cosh(aτB)1]+Δd,y=0,z=Δz}.\displaystyle x_{B}:=\{t=a^{-1}\sinh(a\tau_{B})\;,~{}x=a^{-1}[\cosh(a\tau_{B})-1]+\Delta{d}\;,~{}y=0\;,~{}z=\Delta{z}\}\;. (23)

Similarly, a substitution of Eq. (IV.2.3) into Eq.(6) yields the nonlocal correlation term XX, denoted by XX_{\perp} in the present case

X=λ2a24π2𝑑u0𝑑sf(u,s)[1hAB(u,s)1hAB(u,s)+4a2Δz2+1hBA(u,s)1hBA(u,s)+4a2Δz2]X_{\perp}=-\frac{\lambda^{2}a^{2}}{4\pi^{2}}\int_{-\infty}^{\infty}du\int_{0}^{\infty}dsf(u,s)\left[\frac{1}{h_{\rm{AB}}(u,s)}-\frac{1}{h_{\rm{AB}}(u,s)+4a^{2}\Delta z^{2}}+\frac{1}{h_{\rm{BA}}(u,s)}-\frac{1}{h_{\rm{BA}}(u,s)+4a^{2}\Delta z^{2}}\right] (24)

where

hAB(u,s)=3+(aΔd1)22cosh[a(us)]2(1aΔd)cosh[au]+2sinh(au)sinh[a(us)]iϵ,\displaystyle h_{\rm{AB}}(u,s)=3+(a\Delta{d}-1)^{2}-2\cosh[a(u-s)]-2(1-a\Delta{d})\cosh[au]+2\sinh(au)\sinh[a(u-s)]-i\epsilon\;, (25)

and

hBA(u,s)=3+(aΔd1)22cosh(au)2(1aΔd)cosh[a(us)]+2sinh(au)sinh[a(us)]iϵ.\displaystyle h_{\rm{BA}}(u,s)=3+(a\Delta{d}-1)^{2}-2\cosh(au)-2(1-a\Delta d)\cosh[a(u-s)]+2\sinh(au)\sinh[a(u-s)]-i\epsilon\;. (26)

Now with the formulae needed for examining the entanglement harvesting by two detectors uniformly accelerated in all the three different scenarios, we are to show the results of our numerical calculations below.

IV.2.4 The numerical result and cross comparison

We now turn to explore the entanglement harvesting phenomenon for two detectors in parallel, anti-parallel and mutually perpendicular acceleration via numerical evaluation.We begin by plotting, in Figs. (8) and (9), the concurrence as a function of the distance between the boundary and the detectors, Δz\Delta z, with other parameters of the system fixed at certain values for all three acceleration scenarios. As we can see, the distance from the boundary Δz/σ\Delta{z}/\sigma significantly influences the harvested entanglement. Particularly, similar to that in the situation of inertial detectors at rest, the entanglement harvesting is greatly inhibited when the detectors are close to the boundary (Δz/σ1\Delta{z}/\sigma\ll 1). It is worth pointing out that the concurrence asymptotically approaches that without a boundary as the distance between the detectors and boundary grows very large (i.e., Δz/σ1\Delta{z}/\sigma\gg 1), as a result of the fact that the Wightman function reduces to its free-space form in the limit of Δz\Delta{z}\rightarrow\infty. In fact, this is valid irrespective of whether the detector is accelerating or not. Again similar to that in the situation of inertial detectors at rest, there also exists, for the same reason, a peak of the extracted entanglement approximately at the position where Δz\Delta{z} is comparable to the duration parameter σ\sigma, for both fixed Δd/σ\Delta{d}/\sigma and aσa\sigma in all three scenarios. This phenomenon of entanglement enhancement by a boundary was similarly found in Ref. Cheng:2018 where entanglement dynamics of uniformly accelerated polarizable atoms coupled with electromagnetic fields in the presence of a reflecting boundary was examined. Here, the general inhibition of entanglement harvesting and the peak occurrence of the harvested entanglement that arise from the effects of the boundary still remain regardless of whether two detectors are accelerated or not. Interestingly, the location of the peak, as shown in Figs. (8) and (9), is almost independent of the acceleration scenarios, although the magnitude of the peak is noticeably affected by the acceleration scenario. In general, the parallel acceleration case seems to have a comparatively large peak for a small acceleration or separation between two detectors, while for a large acceleration or separation between two detectors the anti-parallel acceleration case takes the place.

Refer to caption
(a) aσ=0.10a\sigma=0.10
Refer to caption
(b) aσ=0.50a\sigma=0.50
Refer to caption
(c) aσ=1.00a\sigma=1.00
Figure 8: The concurrence is plotted as a function of Δz/σ\Delta{z}/\sigma with fixed Ωσ=0.10\Omega\sigma=0.10, Δd/σ=1.00\Delta{d}/\sigma=1.00, and aσ={0.10,0.50,1.00}a\sigma=\{0.10,0.50,1.00\} from left to right. In the limit of Δz0\Delta{z}\rightarrow 0, the concurrence 𝒞(ρAB)\mathcal{C}(\rho_{AB}) in all acceleration scenarios will approach zero regardless of the values of acceleration aa. Obviously, there is a peak of concurrence near Δz/σ1\Delta{z}/\sigma\sim 1.
Refer to caption
(a) Δd/σ=0.50\Delta{d}/\sigma=0.50
Refer to caption
(b) Δd/σ=0.80\Delta{d}/\sigma=0.80
Refer to caption
(c) Δd/σ=1.50\Delta{d}/\sigma=1.50
Figure 9: The concurrence is plotted as a function of Δz/σ\Delta{z}/\sigma for various separation Δd/σ={0.50,0.80,1.50}\Delta{d}/\sigma=\{0.50,0.80,1.50\}. Here, we have set Ωσ=0.10\Omega\sigma=0.10 and aσ=0.50a\sigma=0.50. In the limit of Δz0\Delta{z}\rightarrow 0, the concurrence 𝒞(ρAB)\mathcal{C}(\rho_{AB}) approaches zero regardless of the value of the separation Δd\Delta{d}.

Now let us turn our attention to a cross comparison of the entanglement harvesting in various scenarios. From Fig. (8) and Fig. (9), one can find that the issue of which acceleration scenario is better in terms of entanglement harvesting crucially depends on the value of the acceleration aσa\sigma or the detectors’ separation Δd/σ\Delta{d}/\sigma. Since the detectors’ thermalization that arises from the effect of acceleration would generally inhibit the extraction of entanglement, thus the inertial detectors at rest are likely to harvest more entanglement than those in uniform acceleration scenarios at the same distance Δz\Delta{z} from the boundary with not too large energy gap Ω\Omega. Among three acceleration scenarios, the parallel acceleration case is likely to harvest more entanglement for a small acceleration (aσ<1a\sigma<1 and aΔd1a\Delta{d}\ll 1). However, in contrast, the anti-parallel acceleration extracts more entanglement for a large acceleration (aσ1a\sigma\gg 1). Physically, these features can be understood as follows. For a small acceleration, the average detectors’ separation during the interaction with fields characterized by the duration parameter σD\sigma_{D} is the dominant factor in the non-local correlation term XX. The smaller the separation, the large the |X||X|. As a result, comparatively more entanglement is extracted for the parallel acceleration due to the fact that two detectors in parallel acceleration has a smaller average detectors’ separation (i.e., they spend more time closer to one another). This is consistent with what happens for the inertial detectors. But, for a large acceleration, the decrease of |X||X| becomes much more complicated as now it is a consequence of the intertwined effects from aa and Δd\Delta{d}, so that the effect of acceleration dominates in the non-local correlation term XX and overweighs that of the detectors’ separation, resulting in the anti-parallel acceleration scenario harvesting more entanglement although the parallel acceleration case still has a smaller average detectors’ separation.

For a more thorough analysis on the difference in three acceleration scenarios, we plot the concurrence as a function of acceleration with different fixed Δd/σ\Delta{d}/\sigma to compare the influence of acceleration for all three acceleration scenarios in Fig (10), and that of the detectors’ separation with different fixed acceleration to compare the influence of the detectors’ separation in Fig. (11).

Refer to caption
(a) Δd/σ=0.20\Delta{d}/\sigma=0.20
Refer to caption
(b) Δd/σ=0.50\Delta{d}/\sigma=0.50
Refer to caption
(c) Δd/σ=1.00\Delta{d}/\sigma=1.00
Figure 10: The concurrence 𝒞/λ2\mathcal{C}/\lambda^{2} vs aσa\sigma for Δd/σ={0.20,0.50,1.00}\Delta{d}/\sigma=\{0.20,0.50,1.00\} in the order from the left-to-right with fixed Δz/σ=0.50\Delta{z}/\sigma=0.50 and Ωσ=0.10\Omega\sigma=0.10. In each plot, the different colored solid lines correspond to the parallel, anti-parallel and mutually perpendicular acceleration respectively. When Δd/σ\Delta{d}/\sigma is not too small, there seems to exist an intersection of the three curves at a nonzero aσa\sigma. However, for small Δd/σ\Delta{d}/\sigma, such intersecting behavior is no longer apparent (e.g., the plot of Δd/σ=0.20\Delta{d}/\sigma=0.20).
Refer to caption
(a) aσ=0.10a\sigma=0.10
Refer to caption
(b) aσ=0.50a\sigma=0.50
Refer to caption
(c) aσ=1.00a\sigma=1.00
Figure 11: The plots of the concurrence vs Δd/σ\Delta{d}/\sigma for aσ={0.10,0.50,1.00}a\sigma=\{0.10,0.50,1.00\} in the left-to-right order with fixed Δz/σ=0.50\Delta{z}/\sigma=0.50 and Ωσ=0.10\Omega\sigma=0.10. In each plot, a comparison of different scenarios is implemented via different colored solid curves.

As shown in Fig.(10)/(11), the harvested entanglement in general decreases as either the acceleration aa or the detectors’ separation Δd\Delta{d} increases regardless of the acceleration scenario. Similar conclusions have also been reached in the case of the circular motion with nonlinear acceleration Zhjl:2020 . Interestingly, as the acceleration increases, the concurrence for the parallel acceleration case decreases faster than that for the anti-parallel acceleration and perpendicular acceleration cases when Δd/σ\Delta{d}/\sigma is not too small (e.g., Δd/σ=0.50\Delta{d}/\sigma=0.50 or 1.001.00 in Fig.(10)). While for a small Δd/σ\Delta{d}/\sigma, the concurrence for the parallel acceleration is generally larger than that for other acceleration scenarios (see Δd/σ=0.20\Delta{d}/\sigma=0.20 in Fig.(10)). Therefore, when Δd/σ\Delta{d}/\sigma is not too small, the detectors in parallel-acceleration comparatively extract more entanglement from the fields over a certain range of relatively small values of aσa\sigma. But the harvesting-achievable range of aσa\sigma, in which the entanglement can be harvested successfully, may be shorter in the parallel-acceleration case than that in the anti-parallel acceleration and perpendicular acceleration cases. Another interesting feature is that for a very large acceleration, entanglement harvesting no longer occurs although the concrete value of acceleration when the harvesting ceases depends on the acceleration scenario. Qualitatively similar conclusions can also be drawn from Fig. (11) of the role of detectors’ separation Δd/σ\Delta{d}/\sigma in entanglement harvesting with aσa\sigma fixed at certain values.

To further understand the influence of the presence of the boundary on the harvesting-achievable range of the separation Δd\Delta{d} and the acceleration aa in the parameter space where entanglement harvesting is possible, we define a new parameter amaxa_{\rm{max}} to denote the maximum value of the acceleration aa, beyond which entanglement harvesting does not occur any more, and plot the dependence of Δdmax\Delta{d}_{\rm{max}} and amaxa_{\rm{max}} on the distance between the detectors and the boundary in Figs. (12) and (13) in all three acceleration scenarios.

Refer to caption
(a) aσ=0.10a\sigma=0.10
Refer to caption
(b) aσ=0.50a\sigma=0.50
Refer to caption
(c) aσ=1.00a\sigma=1.00
Figure 12: The separation, Δdmax\Delta{d}_{\rm{max}}, between two detectors when entanglement harvesting does not occur is plotted as a function of the distance between detectors and boundary for the three acceleration scenarios. Here, we have set Ωσ=0.10\Omega\sigma=0.10 and aσ={0.10,0.50,1.00}a\sigma=\{0.10\;,0.50\;,1.00\} in the left-to-right order, and the dashed curve denotes the case two rest detectors.
Refer to caption
(a) Δd/σ=0.20\Delta{d}/\sigma=0.20
Refer to caption
(b) Δd/σ=0.50\Delta{d}/\sigma=0.50
Refer to caption
(c) Δd/σ=1.00\Delta{d}/\sigma=1.00
Figure 13: The plot of the threshold acceleration, amaxa_{\rm{max}}, is shown as a function of the distance between detectors and the boundary for the three acceleration scenarios. Here, we have set Ωσ=0.10\Omega\sigma=0.10 and Δd/σ={0.20,0.50,1.00}\Delta{d}/\sigma=\{0.20\;,0.50\;,1.00\} in the left-to-right order.

As we can see from these figures, Δdmax\Delta{d}_{\rm{max}} and amaxa_{\rm{max}} decrease with the increasing distance between the detectors and the boundary. In particular, the presence of the boundary could enhance the harvesting-achievable range of Δd\Delta{d} for detectors in acceleration or at rest. This means that the positive impact of the boundary on the harvesting-achievable range is irrespective of the detectors’ motion status. However, the quantitative details of Δdmax\Delta{d}_{\rm{max}} differ slightly for different scenarios. As shown in Fig. (12), the inertial case has a comparatively larger Δdmax\Delta{d}_{\rm{max}} than three acceleration scenarios for a certain fixed Δz\Delta{z}, which can be simply attributed to the negative impact of the thermal noise that arises from acceleration. When Δz\Delta{z}\rightarrow\infty, Δdmax\Delta{d}_{\rm{max}} and amaxa_{\rm{max}} approach the corresponding values in the free spacetime without boundaries. Therefore, we conclude that the presence of the boundary enlarges the parameter space of Δd\Delta{d} and aa where the entanglement could be extracted successfully as compared to the case without a boundary, although it generally degrades the entanglement extracted by the accelerated detectors.

One can observe from Fig. (12a) that, for a small acceleration (aσ1a\sigma\ll 1), three solid curves approach the dashed curve, and this is expected since in the limit of a0a\rightarrow 0, we should recover the inertial case with detectors at rest. Differences also show up for different acceleration scenarios. For a small acceleration, one can see that the parallel acceleration case has a larger Δdmax\Delta{d}_{\rm{max}} than both anti-parallel and perpendicular acceleration cases, and the smallest is the anti-parallel acceleration case. Physically, this means that the parallel acceleration provides spacious “room” of separation for the detectors to extract the entanglement successfully, and the anti-parallel acceleration provides the least “room” for entanglement extraction. These properties are however inconspicuous in the regime near the boundary. Note that the dashed line, representing Δdmax/σ\Delta{d}_{\rm{max}}/\sigma for two rest detectors, is always above the solid curves, which implies that acceleration always shortens the separation between the detectors that allows the entanglement harvesting to occur.

As acceleration grows, Δdmax\Delta{d}_{\rm{max}} will decrease because of the increased thermal noise caused by the Unruh effect. However, the amount of the decrease differs for different acceleration scenarios so that when the acceleration is no longer small, the order of the magnitude of Δdmax\Delta{d}_{\rm{max}} changes (see Fig. (12b) and Fig. (12c)). In place of the parallel acceleration, the anti-parallel acceleration now becomes the optimum choice that has the largest Δdmax\Delta{d}_{\rm{max}}. This can be easily understood in the same way as we did for the comprehension of Figs. (8) and (9).

In Fig. (13), similar conclusion about amaxa_{\rm{max}} can also be obtained. For a large Δd/σ\Delta{d}/\sigma, the anti-parallel acceleration has comparatively larger amaxa_{\rm{max}} than both the parallel and perpendicular acceleration, which means that the case of anti-parallel acceleration has a larger range of acceleration for the detectors to harvest entanglement in the parameter space. However, for a small Δd/σ\Delta{d}/\sigma, the case of the parallel acceleration, especially in the region far from the boundary, is the optimum choice that has more “room” to achieve the entanglement harvesting. Meanwhile, in the region close to the boundary, the values of amaxa_{\rm{max}} become considerably large, but the differences of amaxa_{\rm{max}} among three acceleration scenarios become tiny.

It is worth emphasizing that in the limit of Δz0\Delta{z}\rightarrow 0 (i.e., location on the boundary plane), the corresponding Wightman function Eq. (III) approaches zero. As a result, the concurrence vanishes and does not depend on the parameters Δd\Delta{d} and aa. Then the definition of Δdmax\Delta{d_{\rm{max}}} and Δamax\Delta{a_{\rm{max}}} would make no physical sense. In the concrete numerical evaluation for Fig. (12)/(13), Δz/σ<1/100\Delta{z}/\sigma<1/100 is approximately treated as two detectors being located on the boundary plane and no further numerical calculation is actually performed. Of course, if we attempt to implement the numerical integration for Δz/σ<1/100\Delta{z}/\sigma<1/100, the vanishingly small integral and the possible oscillatory integrand with singularities should require extremely high precision and very long computing time. Here, we choose not to evaluate XX and PDP_{D} for Δz/σ<1/100\Delta{z}/\sigma<1/100, since such an evaluation is not expected to qualitatively change our conclusions. For clarity, we summarize our main results in Table. (1)and (2) which follow.

Table 1: Main results of the boundary influence for accelerated and inertial rest detectors
Harvested entanglement Three acceleration scenarios Rest case      \bigstrut
Inhibited by the boundary for Δzσ\Delta{z}\ll\sigma Yes Yes \bigstrut
Peaks at Δzσ\Delta{z}\sim\sigma for a not large fixed Δd\Delta{d} Yes, a comparatively smaller peak than the inertial case Yes \bigstrut
Decreasing harvesting-achievable range of Δd\Delta{d} as Δz\Delta{z} increases Yes Yes, a comparatively larger harvesting-achievable range than the acceleration case \bigstrut
Decreases as Δd\Delta{d} increases for a fixed Δz\Delta{z} Yes Yes \bigstrut
Table 2: Main results for three acceleration scenarios in comparison
Harvested entanglement Parallel acceleration Anti-parallel acceleration Perpendicular acceleration      \bigstrut
Degrades with increasing Δd\Delta{d} (acceleration aa) for a large aa (Δd\Delta{d}) at fixed Δz\Delta{z} Most rapidly Rapidly More rapidly \bigstrut
The amount for a small (large) aa and Δd\Delta{d} at fixed Δz\Delta{z} Most (least) amount Least (most) amount Medium amount \bigstrut
The harvesting-achievable parameter space of Δdmax\Delta{d_{\rm{max}}} or amaxa_{\rm{max}} Largest (smallest) Δdmax\Delta{d_{\rm{max}}} or amaxa_{\rm{max}} for a fixed small (large) aa or Δd\Delta{d} Smallest (largest) Δdmax\Delta{d_{\rm{max}}} or amaxa_{\rm{max}} for a fixed small (large) aa or Δd\Delta{d} Medium Δdmax\Delta{d_{\rm{max}}} or amaxa_{\rm{max}} \bigstrut

V conclusion

In this paper, we have explored the phenomenon of entanglement harvesting for a pair of inertial as well as uniformly accelerated UDW detectors near a perfectly reflecting boundary. Three different acceleration scenarios, i.e., parallel, anti-parallel and mutually perpendicular acceleration, are considered. We find that the presence of the boundary significantly influences on the entanglement harvesting of the accelerated detectors. As a whole, the reflecting boundary inhibits the transitions of detectors and nonlocal correlation of the fields so that the harvested entanglement would degrade when two detectors are close to the boundary. However, when the distance between detectors and the boundary is comparable to parameter σ\sigma which characterizes the interaction duration, the harvested entanglement may approach a peak, which even goes beyond that without a boundary. More interestingly, we find that the presence of the boundary, in all three acceleration scenarios, could enlarge the parameter space ( acceleration aa and detectors’ separation Δd\Delta{d} ) beyond which the entanglement harvesting no longer occurs. These conclusions also qualitatively hold for inertial detectors at rest.

A comparison of three different acceleration scenarios reveals that the entanglement harvesting crucially depends on the distance between the detectors and the boundary, the acceleration and the detectors’ separation. As far as the amount of the entanglement harvested is concerned, the detectors in parallel acceleration are likely to harvest the most entanglement in the case of a small acceleration or small detectors’ separation. However, those in anti-parallel acceleration may harvest the most entanglement in the case of a large acceleration and large detectors’ separation. For the parameter space that allows entanglement extraction to occur, we find that, for a vanishing small acceleration, the harvesting-achievable range of detectors’ separation for all three acceleration scenarios is basically the same near boundary. However, in the region far away from the boundary, the parallel acceleration is the optimum choice that has the largest detectors’ separation to achieve entanglement harvesting. While for a not too small acceleration, the anti-parallel acceleration becomes the optimum choice that has the largest separation. Similar conclusions can be obtained for the harvesting-achievable range of acceleration when entanglement harvesting is still possible with a certain fixed detectors’ separation. Also, our direct numerical calculation instead of the saddle approximation seems to indicate that acceleration always shortens the detectors’ separation that allows the entanglement harvesting to occur.

Finally, we have demonstrated how the presence of a boundary affects the entanglement harvesting for two uniformly accelerated detectors. We anticipate that these methods can be used to investigate the entanglement harvesting in other cases, such as two detectors with different magnitudes of acceleration or with acceleration along the normal direction of the boundary or even in curved background. It is quite a challenge to perform numerical evaluation due to the complexity of the issue. We would rather leave such studies to future works.

Acknowledgements.
This work was supported in part by the NSFC under Grants No. 11690034 and No.12075084; and the Research Foundation of Education Bureau of Hunan Province, China under Grant No.20B371.

Appendix A Derivation of PDP_{D}

To verify Eq.(III), let us begin from Eq. (4). Taking into consideration the fact that the Wightman function (III) for trajectory (8) is only a function of the difference between τ\tau and τ\tau^{\prime} and letting u=τu=\tau and s=ττs=\tau-\tau^{\prime}, we have, after integrating uu firstly,

PD\displaystyle P_{D} =λ2𝑑uχD(u)𝑑sχD(us)eiΩsW(s)\displaystyle=\lambda^{2}\int_{-\infty}^{\infty}{du}\chi_{D}(u)\int_{-\infty}^{\infty}{ds}\chi_{D}(u-s)e^{-i\Omega{s}}W(s)
=λ2πσ𝑑seiΩses2/(4σ2)W(s).\displaystyle=\lambda^{2}\sqrt{\pi}\sigma\int_{-\infty}^{\infty}{ds}e^{-i\Omega{s}}e^{-s^{2}/(4\sigma^{2})}W(s)\;. (27)

By inserting Eq. (8) into Eq. (A) and performing some simple algebraic manipulations, the transition probability can be written into two terms as

PD=P1+P2,P_{D}=P_{1}+P_{2}\;, (28)

with the first term satisfying

P1=λ2aσ8π3/2𝑑s~eis~βes~2αsinh2(s~iϵ),\displaystyle P_{1}=-\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{-\infty}^{\infty}d\tilde{s}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{\sinh^{2}(\tilde{s}-i\epsilon)}\;, (29)

and the second term

P2=λ2aσ8π3/2𝑑s~eis~βes~2αsinh2(s~iϵ)a2Δz2,\displaystyle P_{2}=\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{-\infty}^{\infty}d\tilde{s}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{\sinh^{2}(\tilde{s}-i\epsilon)-a^{2}\Delta z^{2}}\;, (30)

where β:=2Ω/a\beta:=2\Omega/a and α:=1/(aσ)2\alpha:=1/(a\sigma)^{2}. P1P_{1} can be rewritten as

P1\displaystyle P_{1} =λ2aσ8π3/2𝑑s~[eis~βes~2αsinh2(s~iϵ)eis~βes~2α(s~iϵ)2+eis~βes~2α(s~iϵ)2]\displaystyle=-\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{-\infty}^{\infty}d\tilde{s}\bigg{[}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{\sinh^{2}(\tilde{s}-i\epsilon)}-\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{(\tilde{s}-i\epsilon)^{2}}+\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{(\tilde{s}-i\epsilon)^{2}}\bigg{]}
=λ2aσ4π3/20𝑑s~cos(s~β)(sinh2s~s~2)s~2sinh2s~es~2αλ2aσ8π3/2𝑑s~eis~βes~2α(s~iϵ)2.\displaystyle=\frac{\lambda^{2}a\sigma}{4\pi^{3/2}}\int_{0}^{\infty}d\tilde{s}\frac{\cos(\tilde{s}\beta)(\sinh^{2}\tilde{s}-\tilde{s}^{2})}{\tilde{s}^{2}\sinh^{2}\tilde{s}}e^{-\tilde{s}^{2}\alpha}-\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{-\infty}^{\infty}d\tilde{s}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{(\tilde{s}-i\epsilon)^{2}}\;. (31)

In second line of the above equation, we have neglected the factor iϵi\epsilon since the integral is now regular. While the second term can be re-expressed as

λ2aσ8π3/2𝑑s~eis~βes~2α(s~iϵ)2\displaystyle-\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{-\infty}^{\infty}d\tilde{s}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{(\tilde{s}-i\epsilon)^{2}}
=λ2aσ8π3/2𝑑s~eis~βes~2αs~2+iλ2aσ8π1/2𝑑s~eis~βes~2αδ(1)(s~).\displaystyle=-\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{-\infty}^{\infty}d\tilde{s}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{\tilde{s}^{2}}+\frac{i\lambda^{2}a\sigma}{8\pi^{1/2}}\int_{-\infty}^{\infty}d\tilde{s}{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}\delta^{(1)}(\tilde{s})\;. (32)

Here, we have used the following identity that arises from the successive differentiation of the Sokhotski formula,

1(x±iϵ)n=1xn±(1)n(n1)!iπδ(n1)(x).\frac{1}{(x\pm{i}\epsilon)^{n}}=\frac{1}{x^{n}}\pm\frac{(-1)^{n}}{(n-1)!}{i\pi}\delta^{(n-1)}(x). (33)

In addition, recalling the definition of a distribution gg acting on a test function ff

g,f:=g(x)f(x)𝑑x,\langle{g},{f}\rangle:=\int_{-\infty}^{\infty}g(x)f(x)dx\;, (34)

we have the following identities for a distribution function EDU:2016-1 ; Bogolubov:1990

1x,f(x)=PVf(x)x𝑑x,\big{\langle}{\frac{1}{x}},{f(x)}\big{\rangle}={\rm{PV}}\int_{-\infty}^{\infty}\frac{f(x)}{x}dx\;, (35)
1x2,f(x)=0𝑑xf(x)+f(x)2f(0)x2,\big{\langle}{\frac{1}{x^{2}}},{f(x)}\big{\rangle}=\int_{0}^{\infty}dx\frac{f(x)+f(-x)-2f(0)}{x^{2}}\;, (36)

and

δ(n)(x),f(x)=(1)nf(n)(0),\big{\langle}{\delta^{(n)}(x)},{f(x)}\big{\rangle}=(-1)^{n}f^{(n)}(0)\;, (37)

where PV\rm{PV} denotes the principle value of an integral. Thus, by using Eq. (36) and Eq. (37), Eq. (A) can be further written in a simple form as

λ2aσ8π3/2𝑑s~eis~βes~2α(s~iϵ)2=λ24π[eΩ2σ2πΩσErfc(Ωσ)].\displaystyle-\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{-\infty}^{\infty}d\tilde{s}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{(\tilde{s}-i\epsilon)^{2}}=\frac{\lambda^{2}}{4\pi}\Big{[}e^{-\Omega^{2}\sigma^{2}}-\sqrt{\pi}\Omega\sigma\;\rm{Erfc}\big{(}\Omega\sigma\big{)}\Big{]}\;. (38)

As for P2P_{2}, it can be written as

P2\displaystyle P_{2} =λ2aσ8π3/20𝑑s~eis~βes~2αsinh2s~a2Δz2+iϵ+λ2aσ8π3/20𝑑s~eis~βes~2αsinh2s~a2Δz2iϵ\displaystyle=\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{-\infty}^{0}d\tilde{s}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{\sinh^{2}\tilde{s}-a^{2}\Delta z^{2}+i\epsilon}+\frac{\lambda^{2}a\sigma}{8\pi^{3/2}}\int_{0}^{\infty}d\tilde{s}\frac{{e}^{-i\tilde{s}\beta}e^{-\tilde{s}^{2}\alpha}}{\sinh^{2}\tilde{s}-a^{2}\Delta z^{2}-i\epsilon}
=λ2aσ4π3/2PV0𝑑s~cos(s~β)es~2αsinh2s~a2Δz2+λ2aσ4πeαs~2sin(βs~)sinh(2s~)|s~=arcsinh(aΔz),\displaystyle=\frac{\lambda^{2}a\sigma}{4\pi^{3/2}}{\rm{PV}}\int_{0}^{\infty}d\tilde{s}\frac{\cos(\tilde{s}\beta)e^{-\tilde{s}^{2}\alpha}}{\sinh^{2}\tilde{s}-a^{2}\Delta z^{2}}+\frac{\lambda^{2}a\sigma}{4\sqrt{\pi}}\frac{e^{-\alpha{\tilde{s}^{2}}}\sin(\beta{\tilde{s}})}{\sinh(2\tilde{s})}\Bigg{|}_{\tilde{s}=\operatorname{arcsinh}(a\Delta{z})}\;, (39)

where Eq. (33) and Eq. (37) have been considered in the last step. Combining Eqs. (A), (38) and (A), one can easily verify the expression of the transition probability given in Eq. (III).

References