entanglement plays a central role in quantum information theory .
it is considered a resource for quantum communication and teleportation , as well as for various computational tasks @xcite .
the importance of understanding entanglement in a relativistic setting has received considerable attention recently @xcite .
such an understanding is certainly relevant from a fundamental point of view , since relativity is an indispensable component of any complete theoretical model .
however , it is also important in a number of practical situations , for example , when considering the implementation of quantum information processing tasks performed by observers in arbitrary relative motion .
entanglement was shown to be an invariant quantity for observers in uniform relative motion in the sense that , although different inertial observers may see these correlations distributed among several degrees of freedom in different ways , the total amount of entanglement is the same in all inertial frames @xcite . in non - inertial frames ,
entanglement was first studied indirectly by investigating the fidelity of teleportation between two parties in relative uniform acceleration @xcite .
more recently , the observer - dependent character of entanglement was explicitly demonstrated by studying the entanglement between two modes of a free scalar field as viewed by two relatively accelerated observers @xcite .
a uniformly accelerated observer is unable to access information about the whole of spacetime since , from his perspective , a communication horizon appears .
this can result in a loss of information and a corresponding degradation of entanglement .
in essence , the acceleration of the observer effects a kind of `` enviromental decoherence '' , limiting the fidelity of certain quantum information - theoretic processes . a quantitative understanding of such degradation in non - inertial frames is therefore required if one wants to discuss the implementation of certain quantum information processing tasks between accelerated partners .    in curved spacetime
two nearby inertial observers are relatively accelerated due to the geodesic deviation equation .
accordingly , the results of @xcite indicate that in curved spacetime even two inertial observers will disagree on the degree of entanglement in a given bipartite quantum state of some quantum field .
indeed , a thorough investigation into entanglement in an expanding curved spacetime shows that entanglement can encode information concerning the underlying spacetime structure @xcite .    in this paper
we analyze the entanglement between two modes of a dirac field described by relatively accelerated parties in a flat spacetime .
we are interested in understanding how both the crucial sign change in fermi - dirac versus bose - einstein distributions , and the finite number of allowed states in fermionic systems due to the pauli exclusion principle ( in contrast to the unbounded excitations that can occur in bosonic systems ) , affect the degradation of entanglement produced by the unruh effect .
we find that unlike the bosonic case , where the entanglement degrades completely in the infinite acceleration limit , in the fermionic case the entanglement is never completely destroyed .
we analyze the degradation of entanglement in the system by applying the constraints of entanglement sharing @xcite and track the information originally encoded in these quantum correlations by employing a set of multi - qubit complementarity relations @xcite . as in @xcite , our results can be applied to the case that alice falls into a black hole whilst rob barely escapes through eternal uniform acceleration .    the remainder of this paper is organized as follows . in sec .
[ sec : setting ] we consider two modes of a free dirac field that are maximally entangled from an inertial perspective .
two parties , an inertial observer named alice and a uniformly accelerating observer named rob , are each assumed to possess a detector sensitive only to one of the two modes .
each measures the field with his / her detector and the results are compared in order to estimate the entanglement between the modes .
section  [ sec : unruh ] discusses the unruh effect for dirac particles as experienced by rob .
if a given dirac mode is in the vacuum state from an inertial perspective , then rob s detector perceives a fermi - dirac distribution of particles .
this has a strong effect on the entanglement that exists between alice and rob , and therefore plays an important role in any quantum information task they might perform that uses this entanglement as a resource .    in sec .
[ sec : ent ] we calculate the entanglement between the modes from the perspectives of both alice and rob .
due to the presence of a rindler horizon , rob is forced to trace over a causally disconnected region of spacetime that he can not access .
accordingly , his description of the system takes the form of a two - qubit mixed state .
we calculate the entanglement using mixed state entanglement measures such as the entanglement of formation @xcite and the logarithmic negativity @xcite .
we also estimate the total correlations ( classical plus quantum ) via the mutual information @xcite .
our results show that the entanglement of formation does not vanish as it does in the bosonic case , but rather reaches a minimum of @xmath0 in the limit that rob moves with infinite acceleration .
since the fermionic system we are considering is accurately described by a pure state of three qubits , we study the constraints placed on the system by the phenomenon of entanglement sharing in sec .
[ sec : ent_sharing ] .
our analysis shows that no inherently three - body correlations are generated in the quantum state .
that is , all of the entanglement in the system is in the form of bipartite correlations , regardless of rob s rate of acceleration .
using complementarity relations applicable to an overall pure state of three qubits , as well as to the various two - qubit marginals , we identify the different types of information encoded in the quantum state of our system in sec .
[ sec : complementarity ] .
this enables us to study how specific subsystem properties depend on rob s rate of acceleration and to explain how some of the entanglement from the inertial frame is able to survive in the fermionic system , even at infinite acceleration . finally , we summarize our results and suggest possible directions for further research in sec .  [
sec : conclusions ] .
consider a free minkowski dirac field in @xmath1 dimensions @xmath2where @xmath3 is the particle mass , @xmath4 the dirac gamma matrices , and @xmath5 is a spinor wavefunction .
minkowski coordinates @xmath6 with @xmath7 are the most suitable to describe the field from an inertial perspective .
the field can be expanded in terms of the positive ( fermions ) and negative ( antifermions ) energy solutions of the dirac equation @xmath8 and @xmath9 respectively , since they form a complete orthonormal set of modes , @xmath10 in the above , @xmath11 is a notational shorthand for the wavevector @xmath12 which labels the modes .
the positive and negative energy minkowski modes have the form @xmath13 where @xmath14 , and @xmath15 is a constant spinor with @xmath16 indicating spin - up or spin - down along the quantization axis , satisfying the normalization relations @xcite @xmath17 , @xmath18 , with the adjoint spinor given by @xmath19 .
the above positive and negative energy solutions satisfy the orthogonormality relations @xmath20 where the dirac inner product for two mode functions is given by @xmath21 the modes @xmath22 are classified as positive and negative frequency with respect to ( the future - directed minkowski killing vector ) @xmath23 for @xmath24 , i.e. @xmath25    the operators @xmath26 and @xmath27 are the creation and annihilation operators for the positive and negative energy solutions of momentum @xmath11 which satisfy the anticonmutation relations @xmath28with all other anticommutators vanishing .
the minkowski vacuum state is defined by the absence of any mode excitations in an inertial frame , @xmath29where the @xmath30 superscript on the kets is used to indicate the particle and anti - particle vacua , respectively so that @xmath31 .
we will use the notation here , and throughout the rest of the work , that the mode index ( @xmath32 ) will be a subscript affixed to the occupation number inside the ket , and that the absence of a subscript on the outside of the ket indicates a minkowski fock state .
since @xmath33 , there are only two allowed states for each mode , @xmath34 and @xmath35 for particles , and similarly for anti - particles .
consider two maximally entangled fermionic modes in an inertial frame , @xmath36 and @xmath37 indicate the modes associated with the observers alice and rob , respectively .
all other modes of the field are in the vacuum state , and therefore the state can be written as @xmath38 .
now assume that alice is stationary and has a detector sensitive only to mode @xmath39 .
rob moves with uniform acceleration and takes with him a detector that only detects particles corresponding to mode @xmath40 .
we ask the question of what is the entanglement between modes @xmath39 and @xmath40 observed by alice and rob , given that rob undergoes uniform acceleration .
note that in order to determine the amount of entanglement , alice and rob perform measurements which are then compared by either party in order to estimate the correlations in the results . due to rob s acceleration , at some point
alice s signals will no longer reach rob , but rob s signals will always be available to alice , ( see ) . at this point
only alice can compare the measurement results and estimate the entanglement of the state .
let us now consider the state observed by rob .
consider rob to be uniformly accelerated in the @xmath41 plane ( @xmath42 ) .
rindler coordinates @xmath43 are appropriate for describing the viewpoint of an observer moving with uniform acceleration .
two different sets of rindler coordinates , which differ from each other by an overall change in sign , are necessary for covering minkowski space @xcite .
these sets of coordinates define two rindler regions that are causally disconnected from each other .
@xmath44 where @xmath45 denotes rob s proper acceleration . the above set of coordinates both
give rise to the same metric @xmath46 where @xmath47 are the same in both minkowski and rindler spacetimes .
are hyperbolas and lines of constant proper time @xmath48 for the accelerated observer run through the origin .
note that while @xmath48 flows in the direction of @xmath49 in region i , it flows in the direction of @xmath50 in region ii , ( i.e the dashed line rotates counter - clockwise for increasing values of @xmath48 ) .
a uniformly accelerated observer rob ( @xmath37 ) with acceleration @xmath45 travels on a hyperbola constrained to region i , while a fictitious observer anti - rob @xmath51 travels on a corresponding hyperbola in region ii given by the negative of rob s coordinates .
the horizons @xmath52 are lines of @xmath53 which alice ( @xmath54 ) will cross at finite minkowski times.,width=336,height=240 ]    a particle undergoing eternal uniform acceleration remains constrained to either rindler region i or ii and has no access to the opposite region , since these two regions are causally disconnected .
figure  [ fig1 ] serves to illustrate these ideas , as well as to introduce our labeling scheme , where we refer to the accelerated observer in region i as rob ( r ) and to the corresponding fictitious observer confined to region ii ( whose coordinates are the negative of rob s ) as anti - rob @xmath55 .    the coordinates @xmath43 have the ranges @xmath56 separately in region i and in region ii .
this implies that region i and ii each admit a separate quantization procedure with corresponding positive and negative energy solutions @xmath57 and @xmath58 .
since the rindler metric is static ( independent of @xmath48 ) it will admit solutions of the form @xmath59 , with @xmath60 a spatially dependent spinor @xcite .
particles and anti - particles will be classified with respect to the future - directed timelike killing vector in each region . in region
i this is given by @xmath61 where @xmath62 which is a boost into the instantaneous comoving frame of rob .
thus , mode solutions in region i having time dependence @xmath63 with @xmath64 represent positive frequency solutions since @xmath65 .
however , in region ii @xmath61 points in the opposite direction of @xmath66 ( increasing @xmath48 flows in the direction of @xmath50 , see ) .
hence in region ii the future - directed timelike killing vector is given by @xmath67 @xcite .
thus , a solution in region ii with time dependence @xmath68 with @xmath64 is actually a negative frequency mode since @xmath69 .
hence , the positive frequency mode in region ii is given by @xmath70 with @xmath64 satisfying @xmath71 .
due to the causally disjoint nature of region i and ii , the modes @xmath72 have support only in region i and vanish in region ii , while the opposite is true for the modes @xmath73 in region ii .
the rindler modes satisfy orthonormality relations analogous to the minkowski modes @xcite @xmath74 , and @xmath75 where @xmath76 .    in region
i , let us denote @xmath77 as the annihilation and creation operators for fermions ( particles ) and @xmath78 as the annihilation and creation operators for anti - fermions ( anti - particles ) .
the corresponding particle and anti - particle operators in region ii are denoted as @xmath79 and @xmath80 .
these obey the usual dirac anti - commutation relations @xmath81 @xmath82 @xmath83 , with all other anti - commutators , including those between operators in region i and the causally disconnected region ii , equaling zero .
taking into account the two sets of modes in each rindler region , the dirac field can be expanded , in analogy to , as @xmath84    and represent the decomposition of the dirac field in minkowski and rindler modes , respectively .
we can therefore relate the minkowski and rindler creation and annihilation operators by taking appropriate inner products . using the rindler orthogonality relations and we have @xmath85 . substituting for @xmath86 in this last expression yields c^_k = dk ( ^_kk a_k + ^_kk b^_k ) , \{i , ii } where the bogoliubov coefficients are given by the inner product of the rindler modes wavefunctions with the minkowski positive and negative frequency modes ^_kk = ( ^+_k , ^+_k ) , ^_kk = ( ^+_k , ^-_k ) .
a similar calculation for @xmath87 yields the corresponding expression d^_k = dk ( ^_kk b_k + ^_kk a^_k ) , \{i , ii } with the same bogoliubov coefficient as in . in deriving use has been made of the following properties of the dirac inner product : @xmath88 .
the calculation of the bogoliubov coefficients is straightforward , though lengthy and an exercise in special functions .
details can be found elsewhere @xcite .
for our purposes , the end result of such calculations yields a relationship between the minkowski and rindler creation and annihilation operators given by the bogoliubov transformation = , where @xmath89 with @xmath90 , the ratio of the frequency @xmath91 to the only naturally occurring frequency in the problem @xmath92 , and @xmath93 is an unimportant phase that can always be absorbed into the definition of the operators .
it is easy to see from and its adjoint that given the anti - commutation relations of the rindler operators , the minkowski anti - commutation relations are preserved . in
we have made the @xcite , which is valid if we consider rob s detector as sensitive to a single particle mode in region i such that we can approximate the frequency @xmath94 observed by alice to be the same as the frequency @xmath95
as observed by rob , i.e @xmath96 @xcite . note that this bogoliubov transformation mixes a particle in region i and an anti - particle in region ii .
correspondingly , the bogoliubov transformation that mixes an anti - particle mode in region i and a particle in region ii is given by = .
since the anti - commutators between particle and anti - particle operators and between region i and region ii rindler operators are zero , it is easy to see that the minkowski operators in anti - commute with the minkowski operators in , as they should ( since @xmath11 and @xmath97 represent two separate modes ) .    as stated above , reveals that the minkowski particle annihilation operator is a bogoliubov transformation between a particle in region i of momentum @xmath11 and an anti - particle in region ii of momentum @xmath97 , i.e. a transformation that mixes creation and annihilation operators .
we can understand this in terms of our previous discussion of the time dependence of positive frequency rindler modes in regions i and ii . for a massless dirac field
a positive frequency rindler mode has the form @xcite @xmath98 ( for the scalar case see @xcite ) and a positive frequency rindler mode in region ii has the form @xmath99 .
thus , in order to construct a positive frequency minkowski mode @xmath100 that extends @xmath101 analytically from region i to region ii , we need a linear combination of @xmath101 and @xmath102 so that both have the space and time dependence @xmath103 .
this means that the minkowski operator @xmath104 must mix @xmath105 and @xmath106 as in . similarly , to construct a minkowski mode that analytically extends @xmath107 from region ii to region i we must form a linear combination of @xmath107 and @xmath108 so that both have the space and time dependence @xmath109
this corresponds to @xmath110 mixing @xmath111 and @xmath112 as in . for a massive dirac field
the time dependence of the rindler modes remains the same , but the spatial dependence is more complicated @xcite .
the above argument for the mixing of rindler particles ( anti - particles ) in region i ( ii ) and anti - particles ( particles ) in region ii
( i ) goes through unchanged .
having related minkowski and rindler creation and annihilation operators , we now wish to relate the minkowski vacuum to the corresponding rindler vacuum .
it is useful to note that can be written as a two - mode squeezing transformation @xcite
@xmath113 = s\ , \left [ \begin{array}{c }    c^{i}_k \\
d^{ii\dagger}_{-k } \\
\end{array } \right]\ , s^\dagger\ ] ] for the single mode @xmath11 with @xmath114 given by @xmath115.\ ] ] using the relation @xmath116 + [ b,[b , a]]/2 ! + [ b,[b,[b , a]]]/3 ! + \cdots$ ] and the identity @xmath117 = a\,\{b , c\ } - \{a , c\}\,b$ ] we find a_k & = & s c^i_k s^= c^i_k - r e^-id^ii_-k - c^i_k + e^-id^ii_-k + & = & r c^i_k - e^-i r d^ii_-k . and b^_-k & = & s d^ii_-k s^= d^ii_-k + r e^ic^i_k - d^ii_-k - e^ic^i_k + & = & r d^ii_-k + e^-i r c^i_k .    now @xmath104 and @xmath118 , respectively , annihilate the single mode particle and anti - particle minkowski vacua @xmath119 and @xmath120 . since @xmath104 mixes particles in region i and anti - particles in region ii
, we postulate that the minkowski particle vacuum for mode @xmath11 in terms of rindler fock states is given by |0_k^+ = _
n=0 ^ 1 a_n |n_k^+_i|n_-k^-_ii , where @xcite    lll c^i_k |0_k^+_i = 0 & & d^ii_-k |0_-k^-_ii = 0 , + & & + c^i_k |0_k^+_i = |1_k^+_i & & d^ii_-k |0_-k^-_ii = |1_-k^-_ii .
+    as a comment on notation , the rindler region i and ii fock states carry a subscript i or ii , respectively , on the kets while the minkowski fock states are indicated by the absence of an outside subscript on the kets .
momentum mode labels are attached to the fock occupation number , and the @xmath30 ket superscript indicates a particle or anti - particle state , respectively .
applying @xmath104 from to , we have 0 & = & a_k |0_k^+ & = & ( r c^i_k - e^-i r d^ii_-k ) _ n=0 ^ 1 a_n    e^-ir .
@xmath122 yields @xmath123 so that we finally arrive at |0_k^+ & = & r    where the second equality in is very useful for keeping track of any possible transposition signs arising from the anti - commuting operators when applying minkowski operators to @xmath124 . as an important example that we will use subsequently , a short calculation of @xmath125 using the adjoint of a_k^= r c^i_k - e^+i r d^ii_-k , acting on the lower expression for @xmath124 in , yields a_k^|0_k^+ & = & ( ^2 r c^i_k - ^2 r d^ii_-kc^i_kd^ii_-k ) |0_k^+_i|0_-k^-_ii , & = & ( ^2 r c^i_k + ^2 r c^i_kd^ii_-kd^ii_-k , ) |0_k^+_i|0_-k^-_ii & = & c^i_k|0_k^+_i|0_-k^-_ii ,    the anti - commutation relations between @xmath126 and @xmath127 to obtain a minus sign upon transposition , and in the third equality we have used the anti - commutation relations to write @xmath128 , noting that the latter term annihilates the anti - particle vacuum .
lastly , one can easily verify that @xmath129 acting on @xmath130 yields zero , a_k^|1_k^+ = ( r c^i_k - e^+i r d^ii_-k ) |1_k^+_i|0_-k^-_ii = 0 , ensuring that @xmath131 .
we note that the form of the dirac particle vacuum for mode @xmath11 in , which can be written as @xmath132 , is complementary to the form of the minkowski charged scalar vacuum for mode @xmath11 , which is given by @xcite @xmath133 where in the latter case @xmath134 is defined by @xmath135 .
qualitatively , in going from the scalar field to the dirac field , scalar mode functions are replaced by spinors , the infinite number of equally spaced bosonic levels are replaced by two fermionic levels , and the hyperbolic functions in the bogoluibov transformation between minkowski and rindler modes / operators are replaced by the corresponding trigonometric functions ( in essence @xmath136 in going from the scalar to the dirac field ) .    the two minkowski states , @xmath124 and @xmath130 , correspond to the particle field of mode @xmath11 observed by alice . on the other hand , an observer moving with uniform acceleration @xmath45 in one of the regions has no access to field modes in the causally disconnected region .
therefore , the observer must trace over the inaccessible region , constituting an unavoidable loss of information about the state , which essentially results in the detection of a mixed state .
thus , when a minkowski observer detects a vacuum state @xmath137 for mode @xmath11 , an accelerated observer in region i sees a distribution of particles according to the marginal state describing region i , _
k^i & = & tr_ii&= & ^2 r|0_k^+_i^+_i0_k| + ^2 r|1_k^+_i^+_i1_k| . as the region
i observer accelerates through the minkowski particle vacuum @xmath124 of mode @xmath11 his detector registers a number of particles given by & = & tr_i= ^2 r ^+_i1_k|c^i_k c^i_k |1_k^+_i & = & ^2 r = where use has been made of @xmath89 with @xmath138 , and we have defined the unruh temperature ( where @xmath139 is boltzmann s constant ) as t = .
equation ( [ thermalization ] ) is known as the unruh effect @xcite which shows that the uniformly accelerated observer in region i detects a thermal fermi - dirac ( fd ) distribution of particles as he traverses the minkowski vacuum .
qualitatively , we can understand the unruh effect as follows .
the constant proper force @xmath140 that acts on a mass @xmath3 ( a detector ) in rob s instantaneous co - moving frame , to keep it under uniform acceleration , can be written as @xmath141 ( which can be integrated as @xmath142 where @xmath143 , @xmath144 , to yield the hyperbolic orbits in ) .
the work @xmath145 that is performed on the particle to keep it in uniform acceleration is the product of @xmath140 times a characteristic distance through which the force acts , which we take to be the compton wavelength of the particle @xmath146 .
this yields @xmath147 , which is proportional to @xmath148 in .
thus , the energy that is supplied to keep @xmath3 under constant acceleration goes into exciting rob s detector , and curiously has a thermal spectrum ( see @xcite ) . in the general relativistic case
this energy is supplied by the gravitational field acting on a stationary observer ( rob ) situated outside a black hole , who experiences constant acceleration by nature of his stationarity . a freely falling observer ( alice ) who eventually crosses
the event horizon would experience the kruskal vacuum ( the minkowski - like vacuum of ) and thus detect no unruh radiation with a co - moving detector .
note that in the case of a scalar field , has a crucial minus sign in the denominator leading to a bose - einstein ( be ) distribution of particles appropriate for bosons . in both the scalar and dirac case ,
the state of the minkowski vacuum for mode @xmath11 is a two - mode squeezed state ( bosonic and fermionic , respectively ) , which to a uniformly accelerated observer confined entirely to region i , is detected as a thermal state ( be and fd , respectively ) .    in the following
we investigate how the unruh effect for dirac particles affects the entanglement between various dirac modes .
specifically , we study the entangled bell state given by in the case that rob is uniformly accelerated in region i. assuming a detector for rob that is sensitive to a single rindler particle mode ( @xmath149 ) , we decompose rob s single particle minkowski states in into the appropriate rindler particle and anti - particle states utilizing eqs .
( [ vacm ] ) and ( [ 1 m ] ) .
we then proceed to evaluate various measures of entanglement .
as stated in the introduction , the advantage of utilizing a dirac field over a bosonic scalar field is that due to the finite occupation of the fermionic states , we obtain finite dimensional density matrices that lead to closed form expressions for the entanglement measures that are more easily interpreted than their infinite dimensional bosonic counterparts .
in this and subsequent sections we will use the following notation : @xmath54 will indicate the inertial observer alice , i will indicate the uniformly accelerated observer rob ( r ) confined to region i , and ii will indicate the fictitious complementary observer anti - rob ( @xmath150 ) in region ii ( see ) , that arises from the second ( negative ) set of rindler coordinates in .
furthermore , since we are in the single mode approximation , we will drop all labels ( @xmath151 ) on states and density matrices indicating the specific mode .
thus , the minkowski particle mode @xmath152 for alice will be written @xmath153 , the rindler region i particle mode @xmath154 ( for @xmath155 ) .
likewise , we will refer to the  minkowski mode for alice " simply as  mode @xmath54 " , the rindler particle mode in region i as  mode i , " and the rindler anti - particle mode in region ii as  mode ii . "
the density matrix for the minkowski entangled state in eq .
( [ eq : ent ] ) is , from an inertial perspective @xmath156 in the basis @xmath157 with @xmath158 . here , and only here , we have used the subscript @xmath37 to indicate rob s minkowski fock states in .    to describe the entanglement of the state as seen by an inertial alice and a uniformly accelerated rob , we expand the minkowski particle states @xmath159 and @xmath160 into rindler region i and ii particle and anti - particle states using eqs .
( [ vacm ] ) and ( [ 1 m ] ) to obtain @xmath161 which we write in matrix form as @xmath162 in the basis @xmath163 where for notational convenience we have defined @xmath164 .
note that the unimportant phase factor @xmath93 discussed in section  [ sec : unruh ] has been absorbed into the definition of the creation and annihilation operators .
since rob is causally disconnected from region ii , we take the trace over the mode in this region , which results in a mixed density matrix between alice and rob @xmath165 in the basis @xmath157 where @xmath166 .    to determine whether or not this state is entangled we use the partial transpose criterion @xcite .
this criterion specifies a necessary and sufficient condition for the existence of entanglement in a mixed state of two qubits .
if at least one eigenvalue of the partial transpose of the density matrix is negative , then the density matrix is entangled .
the partial transpose is obtained by interchanging alice s qubits @xmath167 @xmath168@xmath169 has eigenvalues @xmath170 , the last of which @xmath171 , is always negative for @xmath172 i.e. for @xmath173 .
this means that the state is always entangled .
quantifying entanglement for mixed states is fairly involved entanglement .
a pure state of a bipartite system @xmath45 and @xmath174 can always be written in the schmidt basis , @xmath175 , where the quantum correlations between the states are evident .
entanglement between the systems is given by the von - neumann entropy of the reduced density matrix @xmath176 defined as @xmath177 , which is a function of the schmidt coefficients @xmath178 .
unfortunately , there is no analog of the schmidt decomposition for mixed states , and the von - neumann entropy is no longer a good measure of mixed state entanglement .
a set of conditions that mixed state entanglement measures should satisfy is well known @xcite . there is no unique measure , and several different mixed state entanglement measures have been proposed . among the most popular are those related to the formation and distillation of entangled states .
consider the number @xmath3 of maximally entangled pairs needed to create @xmath179 arbitrarily good copies of an arbitrary pure state using only local operations and classical communication .
the entanglement of formation is defined as the asymptotic conversion ratio , @xmath180 in the limit of infinitely many copies @xcite , @xmath181where the minimum is taken over all the possible realizations of the state @xmath182 .
the opposite process gives rise to the definition of the entanglement of distillation .
this is the asymptotic rate of converting non - maximally entangled states into maximally entangled states by means of a purification procedure .
the entanglement of distillation is in general smaller than that of formation .
this shows that the entanglement conversion is irreversible and is due to a loss of classical information about the decomposition of the state .
bound entangled states are a consequence of this : no entanglement can be distilled from them even though they are inseparable .
the entanglement of formation can be explicitly calculated for two qubits .
it is given by @xmath183 where @xmath184 is the concurrence .
the concurrence of a pure state @xmath185 of two qubits is given by @xmath186 where @xmath187 represents the ` spin - flip ' of @xmath185 and  * " denotes complex conjugation in the standard basis .
the generalization of the concurrence to a mixed state @xmath188 of two qubits follows by minimizing the average concurrence over all possible pure state ensemble decompositions of @xmath188 , defined by a convex combination of pure states @xmath189 , such that @xmath190 . in this way ,    @xmath191    wootters @xcite
succeeded in deriving an analytic solution to this difficult minimization procedure in terms of the quantities @xmath192 defined as the square roots of the eigenvalues ( which are all positive ) of the non - hermitian operator @xmath193 , ordered in decreasing order .
the matrix @xmath194 is the spin - flip of the quantum state @xmath195 which not only exchanges the states @xmath196 and @xmath197 , but , in general , also introduces a relative phase .
the closed form solution for the concurrence of a mixed state of two qubits is given by    @xmath198    unfortunately , the entanglement of distillation can not be explicitly calculated in this case .
therefore we will use the logarithmic negativity @xcite which serves as an upper bound on the entanglement of distillation .
it is not an entanglement measure because it does not satisfy the requirement of being equal to the von - neuman entropy for pure states .
however , it is an entanglement monotone since it satisfies all other criteria to quantify entanglement .
it is defined as @xmath199 where @xmath200 is the trace - norm of the partial transpose density matrix @xmath201 i.e. , the sum of the eigenvalues of @xmath202 .
since the matrices @xmath203 in this work are symmetric , @xmath204 is simply given by @xmath205 of the sum of the absolute values of the eigenvalues of @xmath201 .    to quantify the entanglement of @xmath206 in eq .
( [ eq : state ] ) we compute the spin - flip matrix @xmath207 @xmath208 and find that @xmath209 has eigenvalues @xmath210 . the concurrence
is then given by @xmath211 , which is unity at zero acceleration , as expected , and approaches the value @xmath0 for infinite acceleration @xmath212 .
the entanglement of formation is @xmath213 and the logarithmic negativity is @xmath214    in an inertial frame , @xmath215 , and the state of the system defined by is maximally entangled . in the limit of infinite acceleration ,
the logarithmic negativity is @xmath216 , implying that the entanglement in the infinite acceleration limit is finite .
this means that the state is always entangled and can be used as a resource for performing certain quantum information processing tasks .
this is in strong contrast to the bosonic case @xcite , where it is found that the entanglement goes to zero in this limit . as in @xcite
the infinite acceleration limit can be interpreted as alice falling into a black hole while rob hovers outside the black hole , barely escaping the fall .
since close to a black hole horizon spacetime is flat , rob must be uniformly accelerated in order to escape the black hole .
however , alice falls in as she is an inertial observer .
the connection to the present situation is made by recognizing that , according to rob , a communication horizon appears causing him to lose information about the state in the whole of spacetime . as a result , the inertial entanglement is degraded , and there will be a reduction in the fidelity of any information processing task performed by alice and rob using this state .
the analogy with the black hole scenario is further strengthened by observing that classical information can only flow from rob to alice after alice has crossed the horizon .
we may also calculate the total correlations between any two subsytems of the overall system by using the mutual information @xcite , @xmath217this measure quantifies how much information two correlated observers ( one with access to subsystem @xmath45 and the other with access to subsystem @xmath174 ) possess about one another s state .
equivalently , it represents the distance between the actual joint distribution and the product state obtained when all correlations are neglected .
calculating the relevant marginal density operators , the mutual information of the state ( [ eq : state ] ) is found to be @xmath218where we have used the fact that the density matrix in region i is @xmath219 $ ] , so that @xmath220similarly , the density matrix of mode @xmath54 is @xmath221 , yielding @xmath222 . finally , using we find that @xmath223 the mutual information is equal to @xmath224 at @xmath215 and goes to unity in the infinite acceleration limit
this behavior is reminiscent of that seen in the bosonic case @xcite .
to explore entanglement in this system in more detail we consider the tripartite system consisting of the modes @xmath54 , i , and ii . in an inertial frame
the system is bipartite , but from a non - inertial perspective an extra set of modes in region ii becomes relevant .
we therefore calculate the entanglement in all possible bipartite divisions of the system as well as any tripartite correlations that may exist .      we investigate pure state entanglement in three different bipartite divisions of the system .
since the overall state of the system is pure , these entanglements are uniquely quantified by the von - neumann entropy . in what follows we make repeated use of the fact that , for a bipartite pure state @xmath225 with subsystems @xmath45 and @xmath174 , @xmath226 and @xmath227 .
there are three separate cases to consider .    *
the entanglement between mode @xmath54 and ( modes i and ii ) is given by @xmath228 .
thus , these two subsystems are always maximally entangled , regardless of the value of the parameter @xmath134 . *
the entanglement between mode i and ( modes @xmath54 and ii ) is given by eq .
( [ sr1 ] ) since @xmath229 . *
finally , the entanglement between mode ii and ( modes @xmath54 and i ) is given by eq .
( [ skr1 ] ) since @xmath230 .
figure  ( [ fig : entropy ] ) shows the entanglement in each of these bipartite partitions as functions of @xmath134 .
[ entropy ]      for mixed state entanglement we can consider , besides the entanglement between the minkowski mode @xmath54 and rindler mode i calculated in sec .
[ sec : ent ] , two additional bipartite divisions of the subsystems .    *
the entanglement between mode @xmath54 and mode ii .
tracing over the mode in region i , we obtain the density matrix @xmath231the partial transpose of @xmath232 is given by @xmath233which has eigenvalues @xmath234 , the last of which @xmath235 , is less than or equal to zero . at @xmath236
the eigenvalue is zero , which means that there is no entanglement at this point .
however , for any @xmath237 entanglement does exist between these two modes according to the partial transpose criterion .
the logarithmic negativity in this case is given by @xmath238 .
+ calculating the spin - flip of @xmath232 @xmath239we find that @xmath240has eigenvalues @xmath241 .
thus , the concurrence is given by @xmath242 , which is zero at zero acceleration as expected , and approaches the value @xmath0 for infinite acceleration @xmath212 .
the entanglement of formation is @xmath243and the mutual information is@xmath244at @xmath215 the mutual information is zero and approaches unity as the rate of acceleration goes to infinity . *
the entanglement between mode i and mode ii .
tracing over the modes in @xmath54 , we obtain the density matrix @xmath245the partial transpose of @xmath246 ( obtained by interchanging @xmath247 s qubits ) is given by @xmath248which has eigenvalues @xmath249 , the last of which @xmath250 $ ] is less than or equal to zero . again , at @xmath215 there is no entanglement between these two subsystems . yet ,
similar to the last case , entanglement does exist between these two modes in non - inertial frames according to the partial transpose criterion .
further , the logarithmic negativity @xmath251 is nonzero for all @xmath237 .
the spin - flip of @xmath252 is given by @xmath253and the matrix @xmath254has eigenvalues @xmath255 .
thus , the concurrence is given by @xmath256 which is zero at zero acceleration , and approaches the value @xmath257 for infinite acceleration @xmath212 .
the entanglement of formation in this case is + @xmath258 + and the mutual information is@xmath259    again , we find that the mutual information is zero at @xmath215 , and increases to a finite value ( in this case @xmath260 ) , as the rate of acceleration goes to infinity .
the results of the above calculations are shown in figs .
( [ fig : nega ] ) - ( [ fig : mutual ] ) .
[ nega ]    [ formation ]    [ mutual ]      entanglement in triparite systems has been studied by coffman , et .
al . , @xcite for the case of three qubits .
they found that such quantum correlations can not be arbitrarily distributed amongst the subsystems ; the existence of three - body correlations constrains the distribution of the bipartite entanglement which remains after tracing over any one of the qubits .
for example , in a ghz - state , @xmath261 , tracing over one qubit results in maximally mixed state containing no entanglement between the remaining two qubits . in constrast , for a w - state ,
@xmath262 , the average remaining bipartite entanglement is maximal .
coffman , et .
al . , analyzed this phenomenon of entanglement sharing @xcite , using an entanglement monotone known as the tangle , defined as the square of the concurrence @xmath263 .
they also introduced a new quantity , known as the residual tangle , in order to quantify the irreducible tripartite correlations in a system of three qubits ( @xmath45 , @xmath174 , and @xmath264 ) @xcite .
the definition is motivated by the observation that the tangle of @xmath45 with @xmath174 plus the tangle of @xmath45 with @xmath264 can not exceed the tangle of @xmath45 with the joint subsystem @xmath265 , i.e. ,    @xmath266    subtracting the terms on the left hand side of eq .
( [ eq tangle ineq ] ) from that on the right hand side yields a nonnegative quantity referred to as the residual tangle @xmath267 , i.e. ,    @xmath268    the residual tangle or three tangle is interpreted as quantifying the inherent tripartite entanglement present in a system of three qubits , i.e. , the entanglement that can not be accounted for in terms of the various bipartite tangles .
this interpretation is given further support by the observation that the residual tangle is invariant under all possible permutations of the subsystem labels @xcite .
to quantify tripartite entanglement in our system we use the residual tangle @xmath269 .
this quantity is zero for the situation we are considering , since @xmath270 , @xmath271 and @xmath272)=1 $ ] .
thus , the state that we are studying has no tripartite correlations for any value of the acceleration rate .
instead , any entanglement existing in the system is necessarily bipartite in nature .    the marginal bipartite tangles , plotted in fig .  [ fig : tangles ] as functions of @xmath134 , are found to be strongly constrained . for low rates of acceleration ,
modes @xmath54 and i remain almost maximally entangled while there is very little entanglement between modes i and ii and between modes @xmath54 and ii . as the acceleration grows , the entanglement between modes i and ii and between modes @xmath54 and ii increases , while the entanglement between modes @xmath54 and i is degraded .
the main system of interest ( mode @xmath54 plus mode i ) becomes increasingly entangled to mode ii and therefore , after tracing over mode ii , we observe an effect analogous to environmental decoherence in which the modes in region ii play the role of the environment .
the distribution of entanglement in the system is non - trivial since entanglement between modes @xmath54 and i is not conserved as it is in the inertial case .
we next analyze our system in terms of several complementarity relations designed to identify the different types of information encoded in a quantum state in an attempt to better understand how various subsystem properties depend on rob s rate of acceleration . specifically , we are interested in explaining ( i ) the nonconservative nature of the entanglement discussed in the last section and ( ii ) the fact that not all of the initial entanglement between alice and rob is destroyed , even at infinite acceleration .
the latter of these two results corresponds to the most obvious difference between the fermionic case studied here and the bosonic case investigated in @xcite .
we begin by making use of the relationship @xcite @xmath273 which shows that an arbitrary state of two qubits ( @xmath45 and @xmath174 ) exhibits a complementary tradeoff between the amounts of separable uncertainty @xmath274 , bipartite entanglement ( as quantified by the tangle ) @xmath48 , and a unitarily invariant measure of information about the single particle properties @xmath275 that it encodes .
the separable uncertainty @xmath276 @xmath277 is a measure of the uncertainty or ignorance encoded in the two - qubit mixed state @xmath195 regarding individual subsystem properties that is unrelated to the presence of entanglement between the qubits . in eq .
( [ eq : localcorrelations ] ) , @xmath278 represents the spin - flip of @xmath195 , and @xmath279 is the marginal mixedness of @xmath195 .
similarly , @xmath280 is a measure of the information pertaining to a single qubit encoded in the marginal density operator @xmath281 .
specifically , @xmath282 $ ] is the average of the squares of the single qubit properties associated with qubit @xmath283 .
the first of these properties , the coherence @xmath284 of qubit @xmath11 , quantifies , e.g. , the fringe visibility in the context of a two - state system incident on an interferometer , and is given by @xmath285 where @xmath286 is the raising operator acting on qubit @xmath11 .
similarly , the predictability @xmath287 which quantifies the _ a priori _ information regarding whether qubit @xmath11 is in the state @xmath288 or the state @xmath289 , e.g. , whether it is more likely to take the upper or lower path in an interferometer , is given by@xmath290 where @xmath291 and @xmath292 is the plus ( minus ) one eigenvector of @xmath293 .
figures  [ fig : tangles ] and [ fig : eta ] plot the bipartite components of eq .
( [ eq : complementarity ] ) for the various two - qubit marginals obtained after tracing over any one of the three subsystems ( @xmath54 , i , or ii ) as functions of the parameter @xmath134 , while fig .
[ fig : single_part ] does the same for the relevant single particle information measures .
the complementary nature of these quantities is illustrated by the pattern / color scheme chosen for the curves , where each pattern ( color ) corresponds to a unique set of properties satisfying eq .
( [ eq : complementarity ] ) .
adding together all of the curves that contain a common attribute in figs .
[ fig : tangles ] - [ fig : single_part ] yields the constant value one , independent of @xmath134 .    [ tangles ]    [ eta ]    [ single_part ]    for example , taking the sum of the two dashed ( red ) curves in figs .
[ fig : tangles ] and [ fig : eta ] and the two curves containing dashes ( red ) in fig .
[ fig : single_part ] , thick - thin dashed ( blue - red ) and dot - dashed ( green - red ) , corresponds to the equality @xmath294 .
note that the curves in fig .
[ fig : single_part ] , representing information encoded in the individual qubits , each contribute to exactly two distinct complementarity relations .    the tradeoffs expressed by eq .
( [ eq : complementarity ] ) , and illustrated in figs .
[ fig : tangles ] - [ fig : single_part ] , show how rob s acceleration determines the distribution of individual and bipartite properties of the system .
for example , adding together the thick solid ( blue ) and dotted ( green ) curves in fig .
[ fig : tangles ] shows that , although the entanglement in any bipartite subsystem changes with acceleration , the total entanglement between alice and ( the modes in regions i and ii ) is always maximal and constant .
further , since rob is forced to trace over the causally disconnected modes in region ii , the entanglement arising between the modes in region i and region ii is ultimately responsible for the unruh radiation that he sees .
indeed alice , who has access to the modes in both regions , always sees an undisturbed vacuum .
however , our analysis shows that the maximum amount of thermalization that rob can experience ( even at infinite acceleration ) is limited by the amount of entanglement that exists between alice and rob in an inertial frame .    one straightforward way to see
this is to consider the case in which alice and rob initially share no entanglement ( e.g. an arbitrary product state between alice and rob ) .
then , as rob s acceleration approaches infinity , we find that @xmath295 approaches its maximum possible value of one ( see with @xmath296 @xcite ) .
this is in contrast to the situation considered here in which the initial entanglement between alice and rob is maximal , constraining @xmath295 to a maximum value of 1/4 .
since the overall state of our system is always pure , we may also apply the result @xcite @xmath297 which holds for an arbitrary pure state of three qubits ( @xmath45 , @xmath174 , and @xmath264 ) .
the quantity @xmath298 is a measure of the total pairwise entanglement shared between qubit @xmath11 and all other qubits .
equation  ( [ eq : entsharingrel ] ) quantifies an explicit tradeoff between the inherent three - body correlations in a tripartite system , the total pairwise entanglement of a selected qubit , and the single particle properties of the qubit .
because the three tangle is always zero for our system , this pure state complementarity relationship simplifies to @xmath299 it is then straightforward to see that this tradeoff is also captured by the pattern / color scheme used in the above figures . simply adding the sum of any two curves in fig .
[ fig : tangles ] to the curve in fig .
[ fig : single_part ] that is composed of the same two attributes ( or colors ) again yields the constant value one , regardless of rob s acceleration .
in particular , this shows that the entanglement between alice and rob in region i can not vanish at infinite acceleration as it did in the bosonic case .
this is because the entanglement @xmath295 generated between regions i and ii ( dashed / red curve in fig .
[ fig : tangles ] ) and the single particle properties @xmath300 that manifest for rob ( dashed / red - blue curve in fig .
[ fig : single_part ] ) are insufficient to satisfy eq .
( [ eq : entsharingrelsimple ] ) . instead , the contribution from the entanglement @xmath301 between alice and rob ( solid / blue curve in fig .
[ fig : tangles ] ) must also be taken into account to ensure that @xmath302 .
finally , we note that the various two - qubit marginal density operators for our system have a very specific form ; they are all examples of the maximally entangled states with fixed marginal mixednesses ( memms ) identified in @xcite .
indeed , this fact is closely related to the absence of tripartite correlations in our system , which implies that any entanglement that exists in the system must necessarily be bipartite .
as shown in @xcite , the memms are characterized by the relationship @xmath303 , i.e. , the marginal mixednesses are equal to the separable uncertainties . thus , our fermionic system encodes the maximum amount of bipartite entanglement consistent with the separable uncertainty in each two - qubit marginal for every possible value of the acceleration rate .
we have studied the behavior of the entanglement between two modes of a free dirac field in a non - inertial frame in flat spacetime from the point of view of two observers , alice and rob , in relative uniform acceleration .
our results show that entanglement existing between alice and rob in an inertial frame is progressively degraded by the unruh effect as rob s rate of acceleration increases .
however , unlike the bosonic case in which the inertial entanglement vanishes in the limit of infinite acceleration , in this case the entanglement achieves a minimum value of @xmath0 for the entanglement of formation ( and of @xmath304 for the tangle ) .
this fundamental difference , a consequence of the fact that fermions have access to only two quantum levels vs. the infinite ladder of excitations available to bosons , means that in this case alice and rob always share some entanglement which can in principle be used as a resource for performing certain quantum information processing tasks .
further analysis shows that the total ( quantum plus classical ) correlations in the system , as quantified by the mutual information , behaves in a manner reminiscent of the bosonic case , decreasing from 2 for inertial observers to unity in the case of infinite acceleration .
considering the ( causally inaccessible to rob ) modes in region ii to be a third subsystem allows us to analyze this system in terms of entanglement sharing .
in doing so , we find that the overall tripartite pure state never encodes any inherently three - body correlations , regardless of the rate of acceleration .
any entanglement existing in the fermionic system is therefore necessarily bipartite .
such entanglement is known to be an invariant quantity for inertial observers , although different inertial observers may see these quantum correlations distributed among multiple degrees of freedom in different ways . however , in this analysis we find no indication that the entanglement in any bipartite subsystem is conserved when rob is allowed to accelerate .
in fact , our results show that the presence of the communication horizon , which isolates the modes in region ii from an accelerated observer in region i , plays a key role in degrading the inertial entanglement between alice and rob .
further insight into this behavior is gained by applying both pure and mixed state complementarity relations to different divisions of the system into subsystems .
the ability of this formalism to identify the different types of information encoded in a quantum state facilitates the study of how various subsystem properties depend on rob s rate of acceleration .
for instance , the constraints imposed by these relations illustrate how multi - qubit complementarity prevents the entanglement between alice and rob from vanishing at infinite acceleration as it does in the bosonic case . additionally , we find that the amount of vacuum thermalization ( due to unruh radiation ) that rob experiences at infinite acceleration is constrained by the amount of entanglement that he shares with alice in an inertial frame .
one possible avenue for further research along these lines is to study the entanglement between alice and rob in the case that alice has acceleration @xmath305 and rob has acceleration @xmath306 . in this case
the density matrix , after tracing over region ii is      where @xmath308 and @xmath309 . in this case
the logarithmic negativity is @xmath310 .
thus , we see that the entanglement is further degraded by having two accelerated observers , but again remains finite , in this case taking on the value @xmath311 in the infinite acceleration limit .
another aspect of this problem that deserves further consideration is the nature of the communication that is and is not allowed between observers in different regions .
of course , no communication is possible between the left and right rindler wedges ( regions i and ii ) .
however , even when two parties are not causally disconnected from one another ( e.g. alice and rob in ) , the presence of a horizon due to the acceleration of an observer imposes a unidirectionality on any classical communication occurring after the inertial observer crosses the horizon . given the connection between the horizons seen by accelerated observers , and the event horizon of a black hole , this in turn suggests the potential for gaining further insight into questions related to the black hole information paradox .
czachor , phys .
a 55 , 72 ( 1997 ) ; d.r . terno and a. peres , rev .
phys . * 76 * , 93 ( 2004 ) ; a. peres , p.f . scudo and d.r .
terno , phys .
* 88 * , 230402 ( 2002 ) ; czachor , phys .
94 , 078901 ( 2005 ) ; p.m. alsing and g.j .
milburn , quant .
* 2 * , 487 ( 2002 ) ; r.m .
gingrich and c. adami , phys .
* 89 * , 270402 ( 2002 ) ; j. pachos and e. solano , _ qic vol .
2 , pp.115 _ ( 2003 ) ; w.t .
kim and e.j .
son , quant - ph/0408127 ; d. ahn , h.j .
lee , y.h .
moon , and s.w .
hwang , phys .
a 67 , 012103 ( 2003 ) .
d. ahn , h.j .
lee , and s.w .
hwang , e - print quant - ph:/0207018 ( 2002 ) ; d. ahn , h.j .
lee , s.w .
hwang , and m.s .
kim , e - print quant - ph:/0207018 ( 2003 ) .
h. terashima and m. ueda , int .
info . 1 , 93 ( 2003 ) . a.j .
bergou , r.m .
gingrich , and c. adami , phys .
a 68 , 042102 ( 2003 ) . c. soo and c.c.y .
lin , int .
info . 2 , 183 ( 2003 ) .
to cover the minkowski regions iii and iv in one needs to switch @xmath312 in , which changes the rindler metric in these regions to the form @xmath313
@xmath314 @xmath315 .
this makes @xmath48 a spacelike coordinate and @xmath316 a timelike coordinate in region iii and iv .
we will not require the solutions to the dirac equations in regions iii and iv in order to discuss the entanglment between alice and observers in region i and ii .    in this work
, we are implicitly assuming that the spin of each mode is along the direction of acceleration , the @xmath317-axis . since this motion is rectilinear , the succesive boosts into rob s instantaneous co - moving frame all commute .
hence , the spin does not suffer any thomas precession ( wigner rotation ) and therefore points along the same direction in both the inertial and non - inertial frames .
see also @xcite .        in an arbitrary metric @xmath318 the dirac inner product
is given by @xmath319 where where @xmath320 is a spacelike hypersurface with normal @xmath321 and hyperspatial volume element @xmath322 , and @xmath323 is the adjoint of the dirac spinor wave function @xmath324 . here
@xmath325 are the flat spacetime dirac matrices satisfying @xmath326 with the minkowski metric @xmath327 , while the matrices @xmath328 sastify the corresponding anti - commutation relations with the arbitrary metric , i.e. @xmath329 . the inner product @xmath330 is invariant under the choice of the spacelike hypersurface @xmath331 . for the choice @xmath332 corresponding to @xmath333 with @xmath334 in minkowski coordinates , the inner product reduces to the usual flat spacetime form @xmath335 . in rindler
coordinates one can also choose to compute the inner product on the hypersurface @xmath336 , although it is often more convenient to perform the computation on the future horizon @xmath337 , ( @xmath338 ) .          the minkowski annihilation operator for frequency @xmath94 is related to the rindler region i and region ii operators of frequency @xmath95 more directly through an intermediate set of modes called unruh modes @xcite .
the unruh modes analytically extend the rindler region i modes to region ii , and the region ii modes to region i as discussed in the next paragraph .
the unruh modes are directly related to the rindler region i and ii modes through a bogoliubov transformations of the form and @xcite . since the unruh modes exist over all minkowski space , they share the same vacuum as the minkowski annihilation operators . a minkowski annihilation operator of frequency @xmath94 ( a frequency which alice detects ) can be written as an integral ( essentially a fourier transform ) over frequencies @xmath95 ( that a rindler observer detects ) involving only unruh annihilation operators with phase factor coefficients ( see@xcite ) .
the single mode approximation entails assuming that rob s detector is sensitive to a single particle mode frequency @xmath95 ( an extremely narrow band detector ) and that the previously discussed frequency dependent phase factors are highly peaked about @xmath339 .
we can then approximate the minkowski annihilation operator by a single unruh annihilation operator , which is then related to a rindler particle annihilation operator in region i and a rindler anti - particle creation operator in region ii through a bogoliubov transformation ( see the discussion in the last paper in @xcite ) .
similar relations exist for the operators @xmath340 and @xmath111 namely , @xmath341 , @xmath342 , @xmath343 , and @xmath344 .
however , these operators correspond to the mode @xmath97 , which we have ignored in the single mode approximation .
let the intial unaccelerated state between alice and rob be the tensor product of minkowski states @xmath345 where @xmath346 is any state ( possibly mixed ) for alice and @xmath86 is any pure state for rob .
since entanglement is invariant under local unitaries , we can always rotate @xmath347 to @xmath124 , the minkowski vacuum for mode @xmath11 given in , without changing the initial entanglement .
then the reduced state for rob is just @xmath348 , which has maximal entanglement between i and ii at infinite acceleration .