Quantum steering EPR

bipartite two party two site

terminology
refers to a composite system with two subsystems

The two parties are traditionally called Alice Bob

with Hilbert spaces DA B

Lemma Assume bipartite quantum state SE

a
53ft Hg undergoes a

Bob's described Porte

measurement on subsystem by a

M B Bla Conditioned on the measurement

outcome
lying in Ye B Alice's subsystem is characterized

by a density operator SAli trflI.net SlIQMly 1pm

where ply IRIS Mir

remark note that Alice's reduced unconditional density operator

X is the base set
is SA SA if of IB Moreover
if
X is deswete then SA Ptt Stix

proof lf M B B Ha is
any
POUM on Alice's side and

Y E B then Sa hastdescribe conditional probabilities and

to fulfil
plus
tr s Milt
Ali ply If
pl
trISM.lt MIT 1pct
Since this has to hold 0 it uniquely
for any teilt
determines Savas claimed D
Prop Quantum steering

Let WE B 71A 71g be max entangled with 74 71,3 Ed

For any state SEB.tt A there is a binary outcome projective
measurement an Bob's subsystem set whenever outcome n

is obtained i e conditioned on this outcome Alice's

subsystem is in state 9 The measurement can be chosen at

the prob for this outcome is pl d 11911 1

proof We can choose a particular max int state w zlid E LF

basis Then VAEBEHA

as all others only differ by a
change of
tr SA trt IA SB trinkt DST

tr w LA E tr wlan E
where E so that trIwleta E
fett E DHS
11911

We can then choose a POUM that assigns the effect operator

F to the measurement outcome 1 and Kt E to the

second outcome D

Prop Nosignaling Let Se B 740743 be density operator to which Bob

applies a quantum channel T B 4 B Hj before Alice performs a measureme

described
by a POUM MB Bl Then the statistics of Alice measurement

does not depend on Bob's choice for T

proof tr idol s Hlt K trts MK Ttt trl SMUDOIJ.fr SAM
I D
Prop Let M B BC be a PUM Suppose

Alice and Bob share a maximally entangled state w Id LidoG LF

and perform local measurements that are described by Plus
Mrt and Mis respectively Let those be defined on the same space KB via

Maly MIT and MyLy MINT Then their outcomes coincide

That is tr w ca Da PT O for all orth projections P

i

i
proof tr w Pap Ihr PP
fehlt Id tr PI b w Kap Id
i
G E B
w Geld