ENTANGLEMENT OF GAUSSIAN STATES Gerardo Adesso
ENTANGLEMENT OF GAUSSIAN STATES Gerardo Adesso ENTANGLEMENT OF GAUSSIAN STATES Gerardo Adesso
96 5. Multimode entanglement under symmetry correlations of the multimode Gaussian state with CM σ. These quantities are, clearly, the equivalent marginal purities µαeq and µβeq, the global purity µeq and the equivalent two-mode invariant ∆eq. Let us remind that, by exploiting Eqs. (2.61,2.62,5.2), the symplectic spectra of the CMs σαm and σβn may be recovered by means of the local two-mode invariants µβ, µα, µ β2, µ α2, ∆β2 and ∆α2. The quantities µαeq and µβeq are easily determined in terms of local invariants alone: µαeq = 1/ν + α m µβeq = 1/ν + β n . (5.6) On the other hand, the determination of µeq and ∆eq require the additional knowledge of two global symplectic invariants of the CM σ; this should be expected, because they are susceptible of quantifying the correlations between the two parties. The natural choices for the global invariants are the global purity µ = 1/ √ Det σ and the invariant ∆, given by One has ∆ = MDet α + M(M − 1)Det ε + NDet β +N(N − 1)Det ζ + 2MNDet γ . µeq = (ν − α ) M−1 (ν − β )N−1 µ , (5.7) ∆eq = ∆ − (M − 1)(ν − α ) 2 − (N − 1)(ν − β )2 . (5.8) The entanglement between the M-mode and the N-mode subsystems, quantified by the logarithmic negativity Eq. (3.8) can thus be easily determined, as it is the case for two-mode states. In particular, the smallest symplectic eigenvalue ˜ν− eq of the matrix ˜σeq, derived from σeq by partial transposition, fully quantifies the entanglement between the M-mode and N-mode partitions. Recalling the results of Sec. 4.2.1, the quantity ˜ν− eq reads 2˜ν 2 − eq = ˜ ∆eq − with ˜ ∆eq = 2 µ 2 αeq ˜∆ 2 eq − 4 µ 2 , (5.9) eq + 2 µ 2 − ∆eq . βeq The logarithmic negativity E αM |β N N measuring the bipartite entanglement between the M-mode and N-mode subsystems is then E αM |β N N = max [− log ˜ν− eq, 0] . (5.10) In the case ν + α M = ν + β N , corresponding to the following condition (a + (M − 1)e1)(a + (M − 1)e2) = (b + (N − 1)z1)(b + (N − 1)z2) , (5.11) on the standard form covariances Eq. (2.60), the equivalent two-mode state is symmetric and we can determine also the entanglement of formation, using Eq. (4.17). Let us note that the possibility of exactly determining the entanglement of formation of a multimode Gaussian state under a M ×N bipartition is a rather remarkable consequence, even under the symmetry constraints obeyed by the CM σ. Another relevant fact to point out is that, since both the logarithmic negativity and the entanglement of formation are decreasing functions of the quantity ˜ν− eq, the two measures induce the same entanglement hierarchy on such a subset of “equivalently symmetric” states (i.e. states whose equivalent two-mode CM σeq is symmetric).
5.1. Bipartite block entanglement of bisymmetric Gaussian states 97 From Eq. (5.7) it follows that, if the (M + N)-mode bisymmetric state is pure (µ = ν − α M = ν − β N = 1), then the equivalent two-mode state is pure as well (µeq = 1) and, up to local symplectic operations, it is a two-mode squeezed vacuum. Therefore any pure bisymmetric multimode Gaussian state is equivalent, under local unitary (symplectic) operations, to a tensor product of a single two-mode squeezed pure state and of M + N − 2 uncorrelated vacua. This refines the somehow similar phase-space Schmidt reduction holding for arbitrary pure bipartite Gaussian states [29, 92], discussed in Sec. 2.4.2.1. More generally, if both the reduced M-mode and N-mode CMs σ α M and σ β N of a bisymmetric, mixed multimode Gaussian state σ of the form Eq. (2.63) correspond to Gaussian mixed states of partial minimum uncertainty (see Sec. 2.2.2.2), i.e. if ν − α M = ν − β N = 1, then Eq. (5.7) implies µeq = µ. Therefore, the equivalent two-mode state has not only the same entanglement, but also the same degree of mixedness of the original multimode state. In all other cases of bisymmetric multimode states one has that µeq ≥ µ (5.12) and the process of localization thus produces a two-mode state with higher purity than the original multimode state. In this specific sense, we see that the process of unitary localization implies a process of purification as well. 5.1.3. Unitary localization as a reversible multimode/two-mode entanglement switch It is important to observe that the unitarily localizable entanglement (when computable) is always stronger than the localizable entanglement in the sense of [248]. In fact, if we consider a generic bisymmetric multimode state of a M × N bipartition, with each of the two target modes owned respectively by one of the two parties (blocks), then the ensemble of optimal local measurements on the remaining (“assisting”) M + N − 2 modes belongs to the set of LOCC with respect to the considered bipartition. By definition the entanglement cannot increase under LOCC, which implies that the localized entanglement (in the sense of [248]) is always less or equal than the original M × N block entanglement. On the contrary, all of the same M × N original bipartite entanglement can be unitarily localized onto the two target modes. This is a key point, as such local unitary transformations are reversible by definition. Therefore, by only using passive and active linear optics elements such as beam-splitters, phase shifters and squeezers, one can in principle implement a reversible machine (entanglement switch) that, from mixed, bisymmetric multimode states with strong quantum correlations between all the modes (and consequently between the M-mode and the N-mode partial blocks) but weak couplewise entanglement, is able to extract a highly pure, highly entangled two-mode state (with no entanglement lost, all the M × N entanglement can be localized). If needed, the same machine would be able, starting from a two-mode squeezed state and a collection of uncorrelated thermal or squeezed states, to distribute the two-mode entanglement between all modes, converting the two-mode into multimode, multipartite quantum correlations, again with no loss of entanglement. The bipartite or multipartite entanglement can then be used on demand, the first for instance in a CV quantum teleportation protocol [39], the latter e.g. to enable teleportation networks [236] or to perform multimode entanglement swapping [28]. We remark,
- Page 59 and 60: 2.4. Standard forms of Gaussian cov
- Page 61 and 62: 2.4. Standard forms of Gaussian cov
- Page 63: Part II Bipartite entanglement of G
- Page 66 and 67: 52 3. Characterizing entanglement o
- Page 68 and 69: 54 3. Characterizing entanglement o
- Page 71 and 72: CHAPTER 4 Two-mode entanglement Thi
- Page 73 and 74: 4.2. Entanglement and symplectic ei
- Page 75 and 76: 4.3. Entanglement versus Entropic m
- Page 77 and 78: 1 0.75 0.5 SL1 0.25 0 (a) 4.3. Enta
- Page 79 and 80: 4.3. Entanglement versus Entropic m
- Page 81 and 82: Μ Μ1Μ2 3 2 1 1 4.3. Entanglemen
- Page 83 and 84: 4.3. Entanglement versus Entropic m
- Page 85 and 86: 4.3. Entanglement versus Entropic m
- Page 87 and 88: global generalized entropy S3 globa
- Page 89 and 90: 4.4. Quantifying entanglement via p
- Page 91 and 92: 4.4. Quantifying entanglement via p
- Page 93 and 94: 4.5. Gaussian entanglement measures
- Page 95 and 96: 4.5. Gaussian entanglement measures
- Page 97 and 98: 4.5. Gaussian entanglement measures
- Page 99 and 100: 4.5. Gaussian entanglement measures
- Page 101 and 102: Ν p Σopt 1 0.8 0.6 0.4 0.2 0 4.5
- Page 103 and 104: GEF GEF 4 3 2 1 0 4.6. Summary and
- Page 105: 4.6. Summary and further remarks 91
- Page 108 and 109: 94 5. Multimode entanglement under
- Page 112 and 113: 98 5. Multimode entanglement under
- Page 114 and 115: 100 5. Multimode entanglement under
- Page 116 and 117: 102 5. Multimode entanglement under
- Page 118 and 119: 104 5. Multimode entanglement under
- Page 121: Part III Multipartite entanglement
- Page 124 and 125: 110 6. Gaussian entanglement sharin
- Page 126 and 127: 112 6. Gaussian entanglement sharin
- Page 128 and 129: 114 6. Gaussian entanglement sharin
- Page 130 and 131: 116 6. Gaussian entanglement sharin
- Page 132 and 133: 118 6. Gaussian entanglement sharin
- Page 134 and 135: 120 6. Gaussian entanglement sharin
- Page 136 and 137: 122 7. Tripartite entanglement in t
- Page 138 and 139: 124 7. Tripartite entanglement in t
- Page 140 and 141: 126 7. Tripartite entanglement in t
- Page 142 and 143: 128 7. Tripartite entanglement in t
- Page 144 and 145: 130 7. Tripartite entanglement in t
- Page 146 and 147: 132 7. Tripartite entanglement in t
- Page 148 and 149: 134 7. Tripartite entanglement in t
- Page 150 and 151: 136 7. Tripartite entanglement in t
- Page 152 and 153: 138 7. Tripartite entanglement in t
- Page 154 and 155: 140 7. Tripartite entanglement in t
- Page 156 and 157: 142 7. Tripartite entanglement in t
- Page 158 and 159: 144 7. Tripartite entanglement in t
96 5. Multimode entanglement under symmetry<br />
correlations of the multimode Gaussian state with CM σ. These quantities are,<br />
clearly, the equivalent marginal purities µαeq and µβeq, the global purity µeq and<br />
the equivalent two-mode invariant ∆eq.<br />
Let us remind that, by exploiting Eqs. (2.61,2.62,5.2), the symplectic spectra of<br />
the CMs σαm and σβn may be recovered by means of the local two-mode invariants<br />
µβ, µα, µ β2, µ α2, ∆β2 and ∆α2. The quantities µαeq and µβeq are easily determined<br />
in terms of local invariants alone:<br />
µαeq = 1/ν + α m µβeq = 1/ν +<br />
β n . (5.6)<br />
On the other hand, the determination of µeq and ∆eq require the additional knowledge<br />
of two global symplectic invariants of the CM σ; this should be expected, because<br />
they are susceptible of quantifying the correlations between the two parties.<br />
The natural choices for the global invariants are the global purity µ = 1/ √ Det σ<br />
and the invariant ∆, given by<br />
One has<br />
∆ = MDet α + M(M − 1)Det ε + NDet β<br />
+N(N − 1)Det ζ + 2MNDet γ .<br />
µeq = (ν − α ) M−1 (ν −<br />
β )N−1 µ , (5.7)<br />
∆eq = ∆ − (M − 1)(ν − α ) 2 − (N − 1)(ν −<br />
β )2 . (5.8)<br />
The entanglement between the M-mode and the N-mode subsystems, quantified<br />
by the logarithmic negativity Eq. (3.8) can thus be easily determined, as it is<br />
the case for two-mode states. In particular, the smallest symplectic eigenvalue ˜ν− eq<br />
of the matrix ˜σeq, derived from σeq by partial transposition, fully quantifies the<br />
entanglement between the M-mode and N-mode partitions. Recalling the results<br />
of Sec. 4.2.1, the quantity ˜ν− eq reads<br />
2˜ν 2 − eq = ˜ ∆eq −<br />
with ˜ ∆eq =<br />
2<br />
µ 2 αeq<br />
<br />
˜∆ 2 eq − 4<br />
µ 2 , (5.9)<br />
eq<br />
+ 2<br />
µ 2 − ∆eq .<br />
βeq<br />
The logarithmic negativity E αM |β N<br />
N measuring the bipartite entanglement between<br />
the M-mode and N-mode subsystems is then<br />
E αM |β N<br />
N = max [− log ˜ν− eq, 0] . (5.10)<br />
In the case ν +<br />
α M = ν +<br />
β N , corresponding to the following condition<br />
(a + (M − 1)e1)(a + (M − 1)e2) = (b + (N − 1)z1)(b + (N − 1)z2) , (5.11)<br />
on the standard form covariances Eq. (2.60), the equivalent two-mode state is symmetric<br />
and we can determine also the entanglement of formation, using Eq. (4.17).<br />
Let us note that the possibility of exactly determining the entanglement of formation<br />
of a multimode Gaussian state under a M ×N bipartition is a rather remarkable<br />
consequence, even under the symmetry constraints obeyed by the CM σ. Another<br />
relevant fact to point out is that, since both the logarithmic negativity and the<br />
entanglement of formation are decreasing functions of the quantity ˜ν− eq, the two<br />
measures induce the same entanglement hierarchy on such a subset of “equivalently<br />
symmetric” states (i.e. states whose equivalent two-mode CM σeq is symmetric).