ENTANGLEMENT OF GAUSSIAN STATES Gerardo Adesso
ENTANGLEMENT OF GAUSSIAN STATES Gerardo Adesso ENTANGLEMENT OF GAUSSIAN STATES Gerardo Adesso
266 A. Standard forms of pure Gaussian states under local operations A.2. Degrees of freedom of pure Gaussian states Pure Gaussian states are characterized by CMs with Williamson form equal to the identity. As we have seen (Sec. 2.2.2.1), the Williamson decomposition provides a mapping from any Gaussian state into the uncorrelated product of thermal (generally mixed) states: such states are pure (corresponding to the vacuum), if and only if all the symplectic eigenvalues are equal to 1. The symplectic eigenvalues of a generic CM σ are determined as the eigenvalues of the matrix |iΩσ|, where Ω stands for the symplectic form. Therefore, a Gaussian state of N modes with CM σ is pure if and only if − σΩσΩ = 2N . (A.2) It will be convenient here to reorder the CM, and to decompose it in the three sub-matrices σq, σp and σqp, whose entries are defined as (σq)jk = Tr [ϱˆqj ˆqk], (σp)jk = Tr [ϱˆpj ˆpk], (σqp)jk = Tr [ϱ{ˆqj, ˆpk}/2], (A.3) such that the complete CM σ is given in block form by σq σqp σ = . (A.4) σ T qp Let us notice that the matrices σq and σp are always symmetric and strictly positive, while the matrix σqp does not obey any general constraint. Eqs. (A.2) and (A.4) straightforwardly lead to the following set of conditions σp σqσp = N + σ 2 qp , (A.5) σqpσq − σqσ T qp = 0 , (A.6) T 2 σpσq = N + σqp , (A.7) σ T qpσp − σpσqp = 0 . (A.8) Now, the last two equations are obviously obtained by transposition of the first two. Moreover, from (A.5) one gets while Eq. (A.6) is equivalent to σp = σ −1 q (N + σ 2 qp) , (A.9) σ −1 q σqp − σ T qpσ −1 q = 0 (A.10) (the latter equations hold generally, as σq is strictly positive and thus invertible). Eq. (A.10) allows one to show that any σp determined by Eq. (A.9) satisfies the condition (A.8). Therefore, only Eqs. (A.5) and (A.6) constitute independent constraints and fully characterize the CM of pure Gaussian states. Given any (strictly positive) matrix σq and (generic) matrix σqp, the fulfillment of condition (A.6) allows to specify the second moments of any pure Gaussian state, whose sub-matrix σp is determined by Eq. (A.9) and does not involve any additional degree of freedom. A straightforward counting argument thus yields the number of degrees of freedom of a generic pure Gaussian state, by adding the entries of a generic and symmetric N × N matrix and subtracting the equations of the antisymmetric condition (A.6): N 2 + N(N + 1)/2 − N(N − 1)/2 = N 2 + N, in compliance with the number dictated by the Euler decomposition of a symplectic operation: σ = S T 2N S = O T Z 2 O . (A.11)
A.2. Degrees of freedom of pure Gaussian states 267 Notice that, if either σq or σqp are kept fixed, the constraint (A.6) is just a linear constraint on the entries of the other matrix, which can be always solved; in fact, it cannot be overdetermined, since the number of equations N(N − 1)/2 is always smaller than the number of variables, either N 2 or N(N + 1)/2. A preliminary insight into the role of local operations in determining the number of degrees of freedom of pure CMs is gained by analyzing the counting of free parameters in the CV version of the Schmidt decomposition, as introduced in Sec. 2.4.2.1. The CM of any pure (M +N)-mode Gaussian state is equivalent, up to local symplectic transformations on the M-mode and N-mode subsystems, to the tensor product of M decoupled two-mode squeezed states (assuming, without loss of generality, M < N) and N − M uncorrelated vacua [29]. Besides the M two-mode squeezing parameters, the degrees of freedom of the local symplectic transformations to be added are 2N 2 + N + 2M 2 + M. However, a mere addition of these two values leads to an overestimation with respect to the number of free parameters of pure CMs determined above. This is due to the invariance of the CM in ‘Schmidt form’ under specific classes of local operations. Firstly, the (N − M)-mode vacuum (with CM equal to the identity) is trivially invariant under local orthogonal symplectics, which account for (N − M) 2 parameters. Furthermore, one parameter is lost for each two-mode squeezed block with CM σ2m given by Eq. (2.22): this is due to an invariance under single-mode rotations peculiar to two-mode squeezed states. For such states, the sub-matrices σ2m q and σ2m p have identical — and all equal — diagonal entries, while the sub-matrix σ2m qp is null. Local rotations embody two degrees of freedom — two local ‘angles’ in phase space — in terms of operations. Now, because they act locally on 2 × 2 identities, rotations on both single modes cannot affect the diagonals of σ2m q and σ2m p , nor the diagonal of σ2m qp , which is still null. In principle, they could thus lead to two (possibly different) non-diagonal elements for σ2m qp and/or to two different non-diagonal elements for σ2m q and σ2m p (which, at the onset, have opposite non-diagonal elements), resulting in σ 2m q = a c1 c1 a , σ 2m a c2 p = c2 a , σ 2m 0 y qp = z 0 However, elementary considerations, easily worked out for such 2×2 matrices, show that Eqs. (A.6) and (A.9) imply c1 = −c2 , y = z and a 2 − c 2 1 = 1 + y 2 . These constraints reduce from five to two the number of free parameters in the state: the action of local single-mode rotations — generally embodying two independent parameters — on two-mode squeezed states, allows for only one further independent degree of freedom. In other words, all the Gaussian states that can be achieved by manipulating two-mode squeezed states by local rotations (“phase-shifters”, in the experimental terminology) can be obtained by acting on only one of the two modes. One of the two degrees of freedom is thus lost and the counting argument displayed above has to be recast as M + 2N 2 + N + 2M 2 + M − (M − N) 2 − M = (M + N) 2 + (M + N), in compliance with what we had previously established. As we are about to see, this invariance peculiar to two-mode squeezed states also accounts for the reduction of locally invariant free parameters occurring in pure two-mode Gaussian states. .
- Page 230 and 231: 216 12. Multiparty quantum communic
- Page 233 and 234: CHAPTER 13 Entanglement in Gaussian
- Page 235 and 236: 13.1. Gaussian valence bond states
- Page 237 and 238: Eq. (13.3) thus takes the form 13.1
- Page 239 and 240: 13.2. Entanglement distribution in
- Page 241 and 242: s 20 17.5 15 12.5 10 7.5 5 2.5 13.2
- Page 243 and 244: 13.3. Optical implementation of Gau
- Page 245 and 246: of the form Eq. (13.1), with 13.3.
- Page 247 and 248: 13.4. Telecloning with Gaussian val
- Page 249 and 250: CHAPTER 14 Gaussian entanglement sh
- Page 251 and 252: 14.1. Entanglement in non-inertial
- Page 253 and 254: 14.2. Distributed Gaussian entangle
- Page 255 and 256: 14.2. Distributed Gaussian entangle
- Page 257 and 258: 14.2. Distributed Gaussian entangle
- Page 259 and 260: 6 s 4 14.2. Distributed Gaussian en
- Page 261 and 262: 2.5 0 0 5 10 IΣAR7.5 0 14.3. Distr
- Page 263 and 264: 14.3. Distributed Gaussian entangle
- Page 265 and 266: 0 entanglement condition 14.3. Dist
- Page 267 and 268: 14.3. Distributed Gaussian entangle
- Page 269 and 270: 14.3. Distributed Gaussian entangle
- Page 271 and 272: 4 3 a 2 1 14.4. Discussion and outl
- Page 273: Part VI Closing remarks Entanglemen
- Page 276 and 277: 262 Conclusion and Outlook Gaussian
- Page 278 and 279: 264 Conclusion and Outlook compass
- Page 282 and 283: 268 A. Standard forms of pure Gauss
- Page 284 and 285: 270 A. Standard forms of pure Gauss
- Page 286 and 287: 272 List of Publications [GA11] G.
- Page 288 and 289: 274 Bibliography [23] C. H. Bennett
- Page 290 and 291: 276 Bibliography [79] J. Eisert, C.
- Page 292 and 293: 278 Bibliography [140] J. Laurat, T
- Page 294 and 295: 280 Bibliography [198] T. Roscilde,
- Page 296: 282 Bibliography [258] J. Von Neuma
A.2. Degrees of freedom of pure Gaussian states 267<br />
Notice that, if either σq or σqp are kept fixed, the constraint (A.6) is just a linear<br />
constraint on the entries of the other matrix, which can be always solved; in fact,<br />
it cannot be overdetermined, since the number of equations N(N − 1)/2 is always<br />
smaller than the number of variables, either N 2 or N(N + 1)/2.<br />
A preliminary insight into the role of local operations in determining the number<br />
of degrees of freedom of pure CMs is gained by analyzing the counting of<br />
free parameters in the CV version of the Schmidt decomposition, as introduced in<br />
Sec. 2.4.2.1. The CM of any pure (M +N)-mode Gaussian state is equivalent, up to<br />
local symplectic transformations on the M-mode and N-mode subsystems, to the<br />
tensor product of M decoupled two-mode squeezed states (assuming, without loss of<br />
generality, M < N) and N − M uncorrelated vacua [29]. Besides the M two-mode<br />
squeezing parameters, the degrees of freedom of the local symplectic transformations<br />
to be added are 2N 2 + N + 2M 2 + M. However, a mere addition of these two<br />
values leads to an overestimation with respect to the number of free parameters of<br />
pure CMs determined above. This is due to the invariance of the CM in ‘Schmidt<br />
form’ under specific classes of local operations. Firstly, the (N − M)-mode vacuum<br />
(with CM equal to the identity) is trivially invariant under local orthogonal symplectics,<br />
which account for (N − M) 2 parameters. Furthermore, one parameter is<br />
lost for each two-mode squeezed block with CM σ2m given by Eq. (2.22): this is due<br />
to an invariance under single-mode rotations peculiar to two-mode squeezed states.<br />
For such states, the sub-matrices σ2m q and σ2m p have identical — and all equal —<br />
diagonal entries, while the sub-matrix σ2m qp is null. Local rotations embody two<br />
degrees of freedom — two local ‘angles’ in phase space — in terms of operations.<br />
Now, because they act locally on 2 × 2 identities, rotations on both single modes<br />
cannot affect the diagonals of σ2m q and σ2m p , nor the diagonal of σ2m qp , which is<br />
still null. In principle, they could thus lead to two (possibly different) non-diagonal<br />
elements for σ2m qp and/or to two different non-diagonal elements for σ2m q and σ2m p<br />
(which, at the onset, have opposite non-diagonal elements), resulting in<br />
σ 2m<br />
q<br />
=<br />
a c1<br />
c1 a<br />
<br />
, σ 2m<br />
<br />
a c2<br />
p =<br />
c2 a<br />
<br />
, σ 2m<br />
<br />
0 y<br />
qp =<br />
z 0<br />
However, elementary considerations, easily worked out for such 2×2 matrices, show<br />
that Eqs. (A.6) and (A.9) imply<br />
c1 = −c2 , y = z and a 2 − c 2 1 = 1 + y 2 .<br />
These constraints reduce from five to two the number of free parameters in the state:<br />
the action of local single-mode rotations — generally embodying two independent<br />
parameters — on two-mode squeezed states, allows for only one further independent<br />
degree of freedom. In other words, all the Gaussian states that can be achieved<br />
by manipulating two-mode squeezed states by local rotations (“phase-shifters”, in<br />
the experimental terminology) can be obtained by acting on only one of the two<br />
modes. One of the two degrees of freedom is thus lost and the counting argument<br />
displayed above has to be recast as M + 2N 2 + N + 2M 2 + M − (M − N) 2 − M =<br />
(M + N) 2 + (M + N), in compliance with what we had previously established.<br />
As we are about to see, this invariance peculiar to two-mode squeezed states<br />
also accounts for the reduction of locally invariant free parameters occurring in pure<br />
two-mode Gaussian states.<br />
<br />
.