k-extendibility of high dimensional bipartite quantum states

(1)

k-extendibility

of high dimensional bipartite quantum states

Université Claude Bernard Lyon 1 / Universitat Autònoma de Barcelona

Cécilia Lancien

TUM - November 18^th2014

Cécilia Lancien k-extendibility TUM - November 18^th2014 1 / 21

(2)

Outline

1 Introduction

2 Interlude : reminder about Gaussian and Wishart matrices

3 Mean-width of the sets of separable andk-extendible states

4 Separability andk-extendibility of random states

5 Summary and possible further developments

(3)

Separability vs Entanglement

A bipartite quantum stateρAB onA

⊗

Bisseparableif it may be written as a convex combination of product states, i.e.ρAB

=

∑ipiσ⁽_Aⁱ⁾

⊗

τ⁽_Bⁱ⁾.

Otherwise, it isentangled.

Problem :Deciding whether a given bipartite state is entangled or (close to) separable is an important issue in quantum physics. But it is known to be a hard task, both from a mathematical and a computational point of view(Gurvits). Solution :Find set of states which are easier to characterize and which contain the set of separable states.

→

Necessary conditions for separability that have a simple mathematical description and that may be checked efficiently on a computer (e.g. by solving a semi-definite programme).

(4)

Separability vs Entanglement

⊗

=

∑ipiσ⁽_Aⁱ⁾

⊗

τ⁽_Bⁱ⁾.

Problem :Deciding whether a given bipartite state is entangled or (close to) separable is an important issue in quantum physics. But it is known to be a hard task, both from a mathematical and a computational point of view(Gurvits).

Solution :Find set of states which are easier to characterize and which contain the set of separable states.

→

(5)

Separability vs Entanglement

⊗

=

∑ipiσ⁽_Aⁱ⁾

⊗

τ⁽_Bⁱ⁾.

Problem :Deciding whether a given bipartite state is entangled or (close to) separable is an important issue in quantum physics. But it is known to be a hard task, both from a mathematical and a computational point of view(Gurvits). Solution :Find set of states which are easier to characterize and which contain the set of separable states.

→

(6)

The k-extendibility criterion for separability (1)

Definition (k -extendibility)

Letk >^{2. A state}ρAB onA

⊗

Bisk-extendible with respect toBif there exists a stateρ_AB^k onA

⊗

B^⊗^k which is invariant under any permutation of theB subsystems and such thatρAB

=

Tr_B^k−1ρ_AB^k.

NSC for Separability

(Doherty/Parrilo/Spedalieri)

On a bipartite Hilbert spaceA

⊗

B, a state is separable if and only if it is k-extendible w.r.t.Bfor allk >^2.

Proof idea :

•

“ρAB separable

⇒

ρAB k-extendible w.r.t.Bfor allk >2” is obvious since

∑ip_iσ⁽_Aⁱ⁾

⊗

τ⁽_Bⁱ⁾

=

Tr_B^k−1 h

⊗

τ⁽_Bⁱ^)⊗^k i

.

•

“ρAB k-extendible w.r.t.Bfor allk>²

⇒

ρAB separable” relies on the quantum De Finetti theorem(Christandl/König/Mitchison/Renner).

(7)

The k-extendibility criterion for separability (1)

Definition (k -extendibility)

⊗

=

Tr_B^k−1ρ_AB^k.

NSC for Separability

⊗

B, a state is separable if and only if it is k-extendible w.r.t.Bfor allk>^2.

Proof idea :

•

“ρAB separable

⇒

⊗

τ⁽_Bⁱ⁾

=

Tr_B^k−1 h

⊗

τ⁽_Bⁱ^)⊗^k i

.

•

“ρAB k-extendible w.r.t.Bfor allk>²

⇒

ρAB separable” relies on the quantum De Finetti theorem(Christandl/König/Mitchison/Renner).

(8)

The k-extendibility criterion for separability (1)

Definition (k -extendibility)

⊗

=

Tr_B^k−1ρ_AB^k.

NSC for Separability

⊗

B, a state is separable if and only if it is k-extendible w.r.t.Bfor allk>^2.

Proof idea :

•

“ρAB separable

⇒

⊗

τ⁽_Bⁱ⁾

=

Tr_B^k−1 h

⊗

τ⁽_Bⁱ^)⊗^k i

.

(9)

The k-extendibility criterion for separability (2)

Observation :ρABk-extendible w.r.t.B

⇒

ρAB k⁰-extendible w.r.t.Bfork⁰6^k^.

→

Hierarchy of NC for separability, which an entangled state is guaranteed to stop passing at some point.

Problem :For a givenk >2, how “close” to the set of separable states is the set ofk-extendible states ? how “powerful” is thek-extendibility NC for separability ?

(10)

The k-extendibility criterion for separability (2)

Observation :ρABk-extendible w.r.t.B

⇒

ρAB k⁰-extendible w.r.t.Bfork⁰6^k^.

→

Hierarchy of NC for separability, which an entangled state is guaranteed to stop passing at some point.

Problem :For a givenk >2, how “close” to the set of separable states is the

(11)

Relaxing separability to k -extendibility : known results

Quantitative versions of the k-extendibility criterion :OnA

⊗

B, denote by

S

the set of separable states and by

E

k the set ofk-extendible states w.r.t.B. Ifρ

∈ E

k, then

kρ − S ^k

16^2dB²

/

k (Christandl/König/Mitchison/Renner)and

kρ − S ^k

LOCC^→6p

2 lnd_A

/

k(Brandão/Christandl/Yard).

Problem :Interesting bounds only ifk

d_B²ork

lndA

→

What can be said in the case wheredA

,

dBare “big” ? Since these bounds valid for any

k-extendible state are known to be close from optimal, one can only hope to make stronger statements about average behaviours...

A useful observation

LetMABbe a Hermitian onA

⊗

B. Then, sup_σ_AB_∈_E_kTr

(

MABσAB

) =

eM_AB^k

∞, whereMe_AB^k

=

¹_k∑^k_j₌₁MABj

⊗

Id_B^k_\_B_j.

(12)

Relaxing separability to k -extendibility : known results

⊗

B, denote by

S

E

∈ E

k, then

kρ − S ^k

16^2dB²

/

kρ − S ^k

LOCC^→6p

2 lnd_A

/

d_B²ork

lndA

→

,

A useful observation

⊗

(

MABσAB

) =

eM_AB^k

∞, whereMe_AB^k

=

⊗

Id_B^k_\_B_j.

(13)

Relaxing separability to k -extendibility : known results

⊗

B, denote by

S

E

∈ E

k, then

kρ − S ^k

16^2dB²

/

kρ − S ^k

LOCC^→6p

2 lnd_A

/

d_B²ork

lndA

→

,

A useful observation

⊗

(

MABσAB

) =

eM_AB^k

∞, whereMe_AB^k

=

⊗

Id_B^k_\_B_j.

(14)

Outline

1 Introduction

(15)

Asymptotic spectrum of Gaussian and Wishart matrices

Definitions (Gaussian Unitary and Wishart ensembles)

•

Gis an

×

nGUE matrix ifG

= (

H

+

H^†

)/ √

2 withHan

×

nmatrix having independent complex normal entries.

•

W is a

(

n

,

s

)

-Wishart matrix ifW

=

HH^†withHan

×

smatrix having independent complex normal entries.

Definitions (Centered semicircular and Marˇcenko-Pastur distributions)

•

dµ_SC_(σ²₎

(

x

) =

₂¹

πσ²

√

4σ²

−

x²1_[−₂_σ,₂_σ]

(

x

)d

x.

•

dµ_MP_(λ)

(

x

) =

(

f_λ

(

x

)d

x ifλ

>

1

(

1

−

λ)δ0

+

λf_λ

(

x

)d

x ifλ6¹ ^{, where}^f^λis defined by f_λ

(

x

) =

√

(λ+−x)(x−λ−)

2πλx 1_[λ₋_,λ₊_]

(

x

)

, withλ±

= ( √

λ

±

1

)

².

Link with random matrices :Whenn

→ +∞

, the spectral distribution of a n

×

nGUE matrix (rescaled by

√

n) converges toµ_SC₍₁₎, and that of a

(

n

,λ

n

)

-Wishart matrix (rescaled byλn) converges toµ_MP_(λ).

(16)

Asymptotic spectrum of Gaussian and Wishart matrices

Definitions (Gaussian Unitary and Wishart ensembles)

•

Gis an

×

nGUE matrix ifG

= (

H

+

H^†

)/ √

2 withHan

×

•

W is a

(

n

,

s

)

-Wishart matrix ifW

=

HH^†withHan

×

Definitions (Centered semicircular and Marˇcenko-Pastur distributions)

•

dµ_SC_(σ²₎

(

x

) =

₂¹

πσ²

√

4σ²

−

x²1_[−₂_σ,₂_σ]

(

x

)d

x.

•

dµ_MP_(λ)

(

x

) =

(f_λ

(

x

)d

x ifλ

>

1

(

1

−

λ)δ0

+

λf_λ

(

x

)d

(

x

) =

√

(λ+−x)(x−λ−)

2πλx 1_[λ₋_,λ₊_]

(

x

)

, withλ±

= ( √

λ

±

1

)

².

→ +∞

×

√

(

n

,λ

n

)

(17)

Asymptotic spectrum of Gaussian and Wishart matrices

Definitions (Gaussian Unitary and Wishart ensembles)

•

Gis an

×

nGUE matrix ifG

= (

H

+

H^†

)/ √

2 withHan

×

•

W is a

(

n

,

s

)

-Wishart matrix ifW

=

HH^†withHan

×

Definitions (Centered semicircular and Marˇcenko-Pastur distributions)

•

dµ_SC_(σ²₎

(

x

) =

₂¹

πσ²

√

4σ²

−

x²1_[−₂_σ,₂_σ]

(

x

)d

x.

•

dµ_MP_(λ)

(

x

) =

(f_λ

(

x

)d

x ifλ

>

1

(

1

−

λ)δ0

+

λf_λ

(

x

)d

(

x

) =

√

(λ+−x)(x−λ−)

2πλx 1_[λ₋_,λ₊_]

(

x

)

, withλ±

= ( √

λ

±

1

)

².

→ +∞

×

√

(

n

,λ

n

)

(18)

Example : Density functions of a centered semicircular distribution of parameter 1 (on the left) and of a

Marˇcenko-Pastur distribution of parameter 4 (on the right)

(19)

Outline

1 Introduction

(20)

Mean-width of a set of states

Definitions

LetK be a convex set of states onCⁿcontainingId

/

n.

•

For

∆

an

×

nHermitian s.t.

k∆k

_HS

=

1, thewidth of K in the direction

∆

is w

(

K

,∆) =

sup_σ∈_KTr

(∆(σ −

Id

/

n

))

.

•

Themean-width of K is the average ofw

(

K

,·)

over the Hilbert-Schmidt unit sphere ofn

×

nHermitians, equipped with the uniform probability measure.

It is equivalently defined asw

(

K

) =

Ew

(

K

,

G

)/γ

n, whereGis an

×

nGUE matrix andγn

=

E

k

G

k

_HS

∼

_n_→+∞n.

→

The mean-width of a set of states is a certain measure of its “size”.

Computing it amounts to estimating the supremum of some Gaussian process.

Theorem (Wigner’s semicircle law)

OnCⁿ, the mean-width of the set of all states is asymptotically 2

/ √

n.

(21)

Mean-width of a set of states

Definitions

/

n.

•

For

∆

an

×

nHermitian s.t.

k∆k

_HS

=

∆

is w

(

K

,∆) =

sup_σ∈_KTr

(∆(σ −

Id

/

n

))

.

• (

K

,·)

×

(

K

) =

Ew

(

K

,

G

)/γ

n, whereGis an

×

nGUE matrix andγn

=

E

k

G

k

_HS

∼

_n_→+∞n.

→

Theorem (Wigner’s semicircle law)

OnCⁿ, the mean-width of the set of all states is asymptotically 2

/ √

n.

(22)

Mean-width of a set of states

Definitions

/

n.

•

For

∆

an

×

nHermitian s.t.

k∆k

_HS

=

∆

is w

(

K

,∆) =

sup_σ∈_KTr

(∆(σ −

Id

/

n

))

.

• (

K

,·)

×

(

K

) =

Ew

(

K

,

G

)/γ

n, whereGis an

×

nGUE matrix andγn

=

E

k

G

k

_HS

∼

_n_→+∞n.

→

Theorem (Wigner’s semicircle law)

(23)

Mean-width of the set of separable states

Theorem

(Aubrun/Szarek)

Denote by

S

the set of separable states onC^d

⊗

C^d.

There exist universal constantsc

,

Csuch thatc

/

d³^/²6^w

( S ⁾

6^C

/

d³^/².

Remark :The mean-width of the set of separable states is of order 1

/

d³^/², hence much smaller than the mean-width of the set of all states (of order 1

/

d).

→

On high dimensional bipartite systems, most states are entangled. Proof idea:

•

Upper-bound : Approximate

S

by a polytope with “few” vertices, and use that Esup_i_∈_IZi6^Cp

log

|

I

|

for

(

Zi

)

i∈I a finite bounded Gaussian process(Pisier).

•

Lower-bound : Estimate thevolume-radiusof

S

by “geometric” considerations, and use thatvrad6^w^(Urysohn)^.

(24)

Mean-width of the set of separable states

Theorem

(Aubrun/Szarek)

Denote by

S

⊗

C^d.

,

Csuch thatc

/

d³^/²6^w

( S ⁾

6^C

/

d³^/².

/

d).

→

On high dimensional bipartite systems, most states are entangled.

Proof idea:

•

S

log

|

I

|

for

(

Zi

)

•

S

by “geometric” considerations, and use thatvrad6^w^(Urysohn)^.

(25)

Mean-width of the set of separable states

Theorem

(Aubrun/Szarek)

Denote by

S

⊗

C^d.

,

Csuch thatc

/

d³^/²6^w

( S ⁾

6^C

/

d³^/².

/

d).

→

On high dimensional bipartite systems, most states are entangled.

Proof idea:

•

S

log

|

I

|

for

(

Zi

)

•

S

by “geometric”

considerations, and use thatvrad6^w^(Urysohn)^.

(26)

Mean-width of the set of k-extendible states

Theorem

Fixk >2 and denote by

E

k the set ofk-extendible states onC^d

⊗

C^d. Asymptotically,w

( E

k

) =

2

/ √

k d.

Remark :The mean-width of the set ofk-extendible states is of order 1

/

d, hence much bigger than the mean-width of the set of separable states.

→

On high dimensional bipartite systems, the set ofk-extendible states is a very rough approximation of the set of separable states.

Proof strategy: sup_σ_k₋_extTr

(

G

(σ −

Id

/

d²

)) = k

Ge

k

_∞. So one has to estimate E

k

Ge

k

_∞for the “modified” GUE matrixG. This is done by computing thee p-order momentsETrGe^p, and identifying the limiting spectral distribution (after

rescaling bykd) : a centered semicircular distributionµ_SC₍_k₎. The latter has 2

√

k as upper-edge.

(27)

Mean-width of the set of k-extendible states

Theorem

E

⊗

( E

k

) =

2

/ √

k d.

/

→

(

G

(σ −

Id

/

d²

)) = k

Ge

k

Ge

k

rescaling bykd) : a centered semicircular distributionµ_SC₍_k₎. The latter has 2

√

k as upper-edge.

(28)

Mean-width of the set of k-extendible states

Theorem

E

⊗

( E

k

) =

2

/ √

k d.

/

→

(

G

(σ −

Id

/

d²

)) = k

Ge

k

Ge

k

rescaling bykd) : a centered semicircular distributionµ . The latter has

(29)

Outline

1 Introduction

(30)

Random induced states

System spaceH

≡

Cⁿ. Ancilla spaceH⁰

≡

C^s.

Random mixed state model onH:ρ

=

Tr_H⁰

|ψihψ|

with

|ψi

a uniformly distributed pure state onH

⊗

H⁰(quantum marginal).

Equivalent description :ρ

=

_TrW^W withW a

(

n

,

s

)

-Wishart matrix.

Question :Fixd

∈

Nand considerρa random state onC^d

⊗

C^d induced by some environmentC^s.

For which values ofsisρtypically separable ?k-extendible ?

“typically”

=

“with overwhelming probability asd grows”. Hence 2 steps : (i) Identify the range ofswhereρis, on average, separable/k-extendible. (ii) Show that the average behaviour is generic in high dimension

(concentration of measure).

(31)

Random induced states

System spaceH

≡

C^s.

=

Tr_H⁰

|ψihψ|

with

|ψi

⊗

=

_TrW^W withW a

(

n

,

s

)

-Wishart matrix.

Question :Fixd

∈

⊗

“typically”

=

(32)

Random induced states

System spaceH

≡

C^s.

=

Tr_H⁰

|ψihψ|

with

|ψi

⊗

=

_TrW^W withW a

(

n

,

s

)

-Wishart matrix.

Question :Fixd

∈

⊗

“typically”

=

(33)

Random induced states

System spaceH

≡

C^s.

=

Tr_H⁰

|ψihψ|

with

|ψi

⊗

=

_TrW^W withW a

(

n

,

s

)

-Wishart matrix.

Question :Fixd

∈

⊗

“typically”

=

“with overwhelming probability asd grows”. Hence 2 steps : (i) Identify the range ofswhereρis, on average, separable/k-extendible.

(ii) Show that the average behaviour is generic in high dimension (concentration of measure).

(34)

Separability of random induced states

Theorem

(Aubrun/Szarek/Ye)

Letρbe a random state onC^d

⊗

C^d induced byC^s. There exists a thresholds0

satisfyingcd³6^s06^Cd³^log²^d for some constantsc

,

Csuch that, ifs

<

s₀ thenρis typically entangled, and ifs

>

s0thenρis typically separable.

Intuition :Ifs6^d²^thenρis uniformly distributed on the set of states of rank at mosts, therefore generically entangled. Ifs

d²thenρis expected to be close toId

/

d², therefore separable.

→

Phase transition between these two regimes ?

Proof idea: Convex geometry + Comparison of random matrix ensembles + Concentration of measure in high dimension.

(35)

Separability of random induced states

Theorem

(Aubrun/Szarek/Ye)

⊗

,

Csuch that, ifs

<

>

/

→

(36)

Separability of random induced states

Theorem

(Aubrun/Szarek/Ye)

⊗

,

Csuch that, ifs

<

>

/

→

(37)

k-extendibility of random induced states

Theorem

⊗

C^d induced byC^s. Ifs

<

⁽^k⁻_4k¹⁾²d²thenρis typically notk-extendible.

Proof strategy: If sup_σ_k₋_extTr

(ρσ) <

Tr

(ρ

²

)

, thenρis notk-extendible. To identify when such is the case, one should characterize when

Esup_σ_k₋_extTr

(

Wσ)

<

ETr

(

W²

)/

ETrW forW a

(

d²

,

s

)

-Wishart matrix. (+ Concentration around their average of the considered functions)

•

RHS : In the limitd

,

s

→ +∞

,ETr

(

W²

) =

d⁴s

+

d²s²andETrW

=

d²s.

•

LHS : Write sup_σ_k₋_extTr

(

Wσ) =

k

We

k

_∞, and estimateE

k

We

k

_∞for the

“modified” Wishart matrixWe. This may be done by computing thep-order momentsETrWe^p, and identifying the limiting spectral distribution (after rescaling bys

/

k) : a Marˇcenko-Pastur distributionµ_MP₍_ks_/_d²₎. The latter’s support has

(

p

ks

/

d²

+

1

)

²as upper-edge.

•

Fors

< (

k

−

1

)

²d²

/

4k,

(

p

ks

/

d²

+

1

)

²

< (

d²

+

s

)

k

/

s.

(38)

k-extendibility of random induced states

Theorem

⊗

C^d induced byC^s. Ifs

<

⁽^k⁻_4k¹⁾²d²thenρis typically notk-extendible.

Proof strategy: If sup_σ_k₋_extTr

(ρσ) <

Tr

(ρ

²

)

, thenρis notk-extendible. To identify when such is the case, one should characterize when

Esup_σ_k₋_extTr

(

Wσ)

<

ETr

(

W²

)/

ETrW forW a

(

d²

,

s

)

-Wishart matrix.

(+ Concentration around their average of the considered functions)

•

RHS : In the limitd

,

s

→ +∞

,ETr

(

W²

) =

d⁴s

+

d²s²andETrW

=

d²s.

•

LHS : Write sup_σ_k₋_extTr

(

Wσ) =

k

We

k

_∞, and estimateE

k

We

k

_∞for the

“modified” Wishart matrixWe. This may be done by computing thep-order momentsETrWe^p, and identifying the limiting spectral distribution (after rescaling bys

/

k) : a Marˇcenko-Pastur distributionµ . The latter’s

(39)

Outline

1 Introduction

(40)

Some generalizations and refinements

Possible generalizations to the unbalanced caseA

≡

C^d^A andB

≡

C^d^B withdA

6=

dB : straightforward in the casedA

,

dB

→ +∞

, slightly more subtle in the case wheredAordBis fixed.

Adding the constraint that the symmetric extension is PPT

→

Other complete hierarchy of separability NC where the SDP to be solved is bigger but faster(Navascués/Owari/Plenio).

Result :Imposing that the symmetric extension is PPT across one cut reduces the mean-width of the set ofk-extendible states by a factor

√

2.

(41)

Some generalizations and refinements

≡

C^d^A andB

≡

C^d^B withdA

6=

,

dB

→ +∞

→

√

2.

(42)

Some generalizations and refinements

≡

C^d^A andB

≡

C^d^B withdA

6=

,

dB

→ +∞

→

√

2.

(43)

Summary and open questions

On high dimensional bipartite systems, the volume ofk-extendible states is more like the one of all states than like the one of separable states.

→

Asymptotic weakness of thek-extendibility NC for separability. Whend

→ +∞

, a random state onC^d

⊗

C^d induced byC^s is w.h.p. entangled ifs

<

cd³, and this entanglement is w.h.p. detected by the k-extendibility test ifs

<

ckd².

→

What about the rangeCd²

<

s

<

cd³? By “geometric” arguments, if s

>

Ckd²log²d then a random state onC^d

⊗

C^d induced byC^s is w.h.p. k-extendible.

Similar features are exhibited by all other known separability criteria, e.g. PPT(Aubrun)or realignment(Aubrun/Nechita).

What happens whenk is not fixed, but instead grows withd? Work in progress...

(44)

Summary and open questions

→

Asymptotic weakness of thek-extendibility NC for separability.

Whend

→ +∞

⊗

C^d induced byC^s is w.h.p. entangled ifs

<

ckd².

→

<

s

<

>

⊗

C^d induced byC^s is w.h.p. k-extendible.

(45)

Summary and open questions

→

Whend

→ +∞

⊗

C^d induced byC^s is w.h.p.

entangled ifs

<

ckd².

→

<

s

<

>

⊗

k-extendible.

(46)

Summary and open questions

→

Whend

→ +∞

⊗

entangled ifs

<

ckd².

→

<

s

<

>

⊗

k-extendible.

Similar features are exhibited by all other known separability criteria, e.g.

PPT(Aubrun)or realignment(Aubrun/Nechita).

(47)

Summary and open questions

→

Whend

→ +∞

⊗

entangled ifs

<

ckd².

→

<

s

<

>

⊗

k-extendible.

Similar features are exhibited by all other known separability criteria, e.g.

PPT(Aubrun)or realignment(Aubrun/Nechita).

(48)

A few references

G. Aubrun, “Partial transposition of random states and non-centered semicircular distributions”,arXiv :1011.0275

G. Aubrun, Ion Nechita, “Realigning random states”,arXiv :1203.3974

G. Aubrun, Stanislaw Szarek, “Tensor products of convex sets and the volume of separable states on N qudits”,arXiv :quant-ph/0503221

G. Aubrun, Stanislaw Szarek, Deping Ye, “Entanglement threshold for random induced states”,arXiv :1106.2265

F.G.S.L. Brandão, M. Christandl, J.T. Yard, “Faithful Squashed Entanglement”, arXiv[quant-ph] :1010.1750

M. Christandl, R. König, G. Mitchison, R. Renner, “One-and-a-half quantum De Finetti theorems”,arXiv :quant-ph/0602130

A.C. Doherty, P.A. Parrilo, F.M. Spedalieri, “A complete family of separability criteria”, arXiv :quant-ph/0308032

(49)

Combinatorics of permutations and moments of Gaussian and Wishart matrices

Notations :Letq

∈

N.S(q

)

/S₂

(

q

)

: permutations / pairings of

{

1

, . . . ,

q

}

, NC

(

q

)

/NC2

(

q

)

: non-crossing permutations / pairings of

{

1

, . . . ,

q

}

. γ: canonical full cycle,

](·)

: number of cycles in a permutation.

Lemma (Gaussian Wick formula)

LetX1

, . . . ,

Xq be centered Gaussian random variables. Ifq

=

2p

+

1, thenE

[

X₁

· · ·

X_q

] =

0.

Ifq

=

2p, thenE

[

X1

· · ·

Xq

] =

∑₍i1,j1)···(ip,jp)∈S2(2p)∏^p_m₌₁E

[

XimXjm

]

.

Consequence :Gan

×

nGUE matrix,W a

(

n

,

λn

)

-Wishart matrix. ETr G^2p

=

∑α∈S2(2p)n^](γ⁻¹^α)

∼

_n→+∞

|

NC₂

(

2p

)|

n^p⁺¹.

ETr

(

W^p

) =

∑α∈S(p)λ^](α)n^](γ⁻¹^α)+](α)

∼

_n→+∞∑α∈NC(p)λ^](α)n^p⁺¹.

(50)

Combinatorics of permutations and moments of Gaussian and Wishart matrices

Notations :Letq

∈

N.S(q

)

/S₂

(

q

)

{

1

, . . . ,

q

}

, NC

(

q

)

/NC2

(

q

)

{

1

, . . . ,

q

}

](·)

Lemma (Gaussian Wick formula)

LetX1

, . . . ,

Xq be centered Gaussian random variables.

Ifq

=

2p

+

1, thenE

[

X1

· · ·

Xq

] =

0.

Ifq

=

2p, thenE

[

X1

· · ·

Xq

] =

∑₍i1,j1)···(ip,jp)∈S2(2p)∏^p_m₌₁E

[

XimXjm

]

.

×

nGUE matrix,W a

(

n

,

λn

)

-Wishart matrix. ETr G^2p

=

∑α∈S2(2p)n^](γ⁻¹^α)

∼

_n→+∞

|

NC₂

(

2p

)|

n^p⁺¹.

ETr

(

W^p

) =

∑α∈S(p)λ^](α)n^](γ⁻¹^α)+](α)

∼

_n→+∞∑α∈NC(p)λ^](α)n^p⁺¹.

(51)

Combinatorics of permutations and moments of Gaussian and Wishart matrices

Notations :Letq

∈

N.S(q

)

/S₂

(

q

)

{

1

, . . . ,

q

}

, NC

(

q

)

/NC2

(

q

)

{

1

, . . . ,

q

}

](·)

Lemma (Gaussian Wick formula)

LetX1

, . . . ,

Xq be centered Gaussian random variables.

Ifq

=

2p

+

1, thenE

[

X1

· · ·

Xq

] =

0.

Ifq

=

2p, thenE

[

X1

· · ·

Xq

] =

∑₍i1,j1)···(ip,jp)∈S2(2p)∏^p_m₌₁E

[

XimXjm

]

.

×

nGUE matrix,W a

(

n

,

λn

)

-Wishart matrix.

ETr G^2p

=

∑α∈S2(2p)n^](γ⁻¹^α)

∼

_n→+∞

|

NC₂

(

2p

)|

n^p⁺¹.

ETr

(

W^p

) =

∑α∈S(p)λ^](α)n^](γ⁻¹^α)+](α)

∼

_n→+∞∑α∈NC(p)λ^](α)n^p⁺¹.

k-extendibility of high dimensional bipartite quantum states

k-extendibility

of high dimensional bipartite quantum states

Outline

Separability vs Entanglement

⊗

=

⊗

→

Separability vs Entanglement

⊗

=

⊗

→

Separability vs Entanglement

⊗

=

⊗

→

The k-extendibility criterion for separability (1)

Definition (k -extendibility)

⊗

⊗

=

NSC for Separability

⊗

•

⇒

⊗

=

⊗

•

⇒

The k-extendibility criterion for separability (1)

Definition (k -extendibility)

⊗

⊗

=

NSC for Separability

⊗

•

⇒

⊗

=

⊗

•

⇒

The k-extendibility criterion for separability (1)

Definition (k -extendibility)

⊗

⊗

=

NSC for Separability

⊗

•

⇒

⊗

=

⊗

The k-extendibility criterion for separability (2)

⇒

→

The k-extendibility criterion for separability (2)

⇒

→

Relaxing separability to k -extendibility : known results

⊗

S

E

∈ E

kρ − S k

/

kρ − S k

/

→

,

A useful observation

⊗

(

) =

kρ − S ^k

kρ − S ^k

kρ − S ^k

kρ − S ^k

kρ − S ^k

kρ − S ^k