Ih been here for some time now und chilln’ feelin da breeze and the sun on my skin.
My back problems are sort of going away with the warm weather — rather I can crack my back much more easily than I used to…
Conference-wise it is all good and fine. Learning a lot about the reversible theory of entanglement from the man himself. Friday I have to give a talk myself — that is going to be fun!
Let’s prepare an outline for that right here and now:
== Multiparty Squashed Entanglement ==
= Intro =
- There are many ways to measure entanglement
- Required properties: non-increasing under LOCC, zero-on separable states, asymptotically continuous, (weakly) additive,
- Desired properties: convexity, full additivity, strong full additivity, faithfulness, monogamy, lockability
- Multiparty entanglement is more complex
= Squashed Entanglement =
- I(A;B)
- quantum information cannot be copied, classical can
- Esq = inf_E I(A:B|E)
- many good properties[CW04]: zero on separable states, LOCC monotone, convex, additive, asymptotically continuous,
- upper bound for: distillable entanglement, distillable key
- lower bound for: entanglement cost, and entanglement of formation
- inspired by cryptographic measure: intrinsic information
- used in the [FQSW] for 2-party distributed compression
= Multiparty Information =
- I(A;B) is the mutual information
- what is the multiparty generalization ?
- can think about it also as I(A;B) = S(\rho_AB || \rho_A (+) \rho_B )
- Multiparty information is analogous S(\rho_ABC || \rho_A (+) \rho_B (+) \rho_C )
- Conditional version: I(A;B;C|E) = H(A|E) + H(B|E) + H(C|E) - H(ABC|E) =
= H(AE) + H(BE) + H(CE) - H(ABCE) - 2*H(E)
- properties:
I(A;B;X1;X2; · · · ;Xm) − I(A;B) = I(AB;X1;X2; · · · ;Xm). (merging terms)
I(AB;X1; · · ·Xm|E) ≥ I(A;X1; · · ·Xm|E) (monotonicity)
I(AA′;X1; . . . ;Xm|E) ≥ I(A;X1; . . . ;Xm|A′E) (chain-type rule)
= Multiparty Esq =
- Esq = inf_E I(A;B;C|E)
- inherits many of the properties: zero on separable states, LOCC monotone, convex, asymptotically continuous, subadditive
- later shown to be additive [YHHHOS07]
- Esq(GHZ_m) = m/2
- Esq(|W>
= Properties =
= Applications =
= Open problems =
- Can we restrict the optimization over extensions E of finite size
if can then we can show that Esq = 0 ==> state separable
- compute for more states
[CW04] Esq
[YHHHOS07] Multiparty Esq
[AHS07] Multiparty Esq