Abstract
EPR steering is a kind of quantum correlation that is intermediate between entanglement and Bell nonlocality. In this paper, by recalling the definitions of unsteerability and steerability, some properties of them are given, e.g, it is proved that a local quantum channel transforms every unsteerable state into an unsteerable state. Second, a way of quantifying quantum steering, which we called the generalized steering robustness (GSR), is introduced and some interesting properties are established, including: (1) GSR of a state vanishes if and only if the state is unsteerable; (2) a local quantum channel does not increase GSR of any state; (3) GSR is invariant under each local unitary operation; (4) as a function on the state space, GSR is convex and lower-semi continuous. Lastly, by using the majorization between the reduced states of two pure states, GSR of the two pure states are compared, and it is proved that every maximally entangled state has the maximal GSR.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The nonlocality of entangled states, a key feature of quantum mechanics, was first pointed out in 1935 by Einstein, Podolsky, and Rosen (EPR) [1]. The EPR paper provoked an interesting response from Schrödinger [2], who introduced the term steering for Alice’s ability to affect Bob’s state through her choice of measurement basis. That is, by measuring her subsystem, Alice can remotely change the state of Bob’s subsystem in such a way that would be impossible if their systems were only classically correlated.
EPR steering was recently given an operational interpretation [3]: Alice wants to convince Bob, who does not trust her, that they share an entangled state. Bob, in order to be convinced, asks Alice to remotely prepare a collection of states of his subsystem. Alice performs her measurements (which are unknown to Bob) and communicates the results to him. By looking at the conditional states prepared by Alice, Bob is able to certify if they must have come from measurements on an entangled state. Thus, it follows that steerability is stronger than nonseparability and weaker than Bell nonlocality.
Since then, although our understanding of EPR steering has advanced greatly recently, two fundamental questions remains open: Given that a quantum state, (i) how to judge it steerable or not? (ii) how to quantify it? There exist many works which demonstrate steering through the violation of various kinds of steering inequalities [4,5,6,7,8,9,10,11,12,13,14]. Apart from the fundamental interest in steering, there is also an applied motivation for studying and implementing [15, 16]. Skrzypczyk et al. introduced an operationally motivated method by semidefinite programming to quantify EPR steering of arbitrary finite-dimensional bipartite quantum states [17, 18].
Usually, robustness describes the endurance of some property of an object with respect to disturbance. There exist some works on robustness of quantum features [13, 19,20,21,22,23], where Piani and Watrous introduced steering robustness of a state and applied it to prove that every steerable state is useful in subchannel discrimination with one-way LOCC measurements[13], Vidal and Tarrach discussed robustness of entanglement by investigating the effect of mixing certain entangled state with any separable state and investigated the minimal amount of entanglement-free mixing needed to wipe out all entanglement[19], Steiner introduced the generalized robustness of entanglement by mixing a state with any state (not necessarily separable)[20], Meng introduced and discussed in [21, 22] the robustness and generalized robustness of contextuality and Guo possed the robustness of quantum correlation[23]. Based on these ideas, our aim is to introduce generalized steering robustness, which can quantify steerability of a quantum state and describe steering endurance against disturbance.
The reminder parts of this paper are organized as follows. In Section 2, we recall the definitions of unsteerability and steerability and discuss some related properties. In Section 3, we introduce the generalized steering robustness (GSR) of a state and discuss its properties. In Section 4, by using the majorization between the reduced states of two pure states, we compare GSR of the two states. The last section is devoted to a summary and the conclusions of this paper.
2 Unsteerable and Steerable Quantum States
Consider a bipartite system \(\mathcal {H}_{AB}=\mathcal {H}_{A}\otimes \mathcal {H}_{B}\), denote by \(\mathcal {D}_{AB}\) and \(\mathcal {P}_{AB}\) the sets of all quantum states and pure states on \(\mathcal {H}_{AB}\), respectively. Alice and Bob share a quantum state ρ. On her subsystem, Alice makes m A positive operator-valued measurements (POVMs): \(M_{x}=\{M_{a|x}\}_{a = 1}^{o_{A}}(x = 1,2,\ldots ,m_{A}).\) Put
called a measurement assemblage of Alice, in which x denotes the measurement choice of Alice and a is the corresponding output. When Alice chooses a measurement x, i.e. M x , from her measurement assemblage \(\mathcal {M}_{A}\) and get output a, the possible states of Bob are as follows:
We call the collection {ρa|x}a, x of un-normalized density operators ρa|x a state assemblage of Bob induced by a state ρ and a measurement assemblage \(\mathcal {M}_{A}\).
Definition 2.1
[3] Let \(\rho \in \mathcal {D}_{AB}\). A state ρ of AB is said to be unsteerable by Alice, if for every measurement assemblage \(\mathcal {M}_{A}\) of A, there exists a probability distribution {π(λ)}λ∈Λ and a family of quantum states {σ(λ)}λ∈Λ in \(\mathcal {D}_{B}\) such that
where p A (a|x, λ) ≥ 0 for all a, x and all λ ∈Λ, satisfying \({\sum }_{a = 1}^{o_{A}} p_{A}(a|x,\lambda )= 1\) for all x, λ. In this case, we call the system of (2) a local hidden state (LHS) model of ρ with respect to \(\mathcal {M}_{A}\), or an LHS model of the state assemblage {ρa|x}a, x.
A state ρ of AB is said to be steerable by Alice if it is not unsteerable. Explicitly, ρ is steerable by Alice means that Alice has a measurement assemblage \(\mathcal {M}_{A}\) such that the state assemblage {ρa|x}a, x has no an LHS model (2).
Unsteerability (steerability) is from [3], the definition given above is more mathematical. Here is a physical explanation. According to [3], quantum steerability means the possibility of remotely generating ensembles that could not be produced by an LHS model. When a state ρ is unsteerable by Alice, for every chosen measurement assemblage \(\mathcal {M}_{A}\), an LHS model (2) exists, which can refer to the situation where a source sends a classical message λ to Alice with a probability π(λ), and a corresponding quantum state σ(λ) to Bob. When Alice decides to apply a POVM \(M_{x}=\{M_{a|x}\}_{a = 1}^{o_{A}}\), the variable λ instructs Alice’s measurement device to output the result a with probability p A (a|x, λ). Bob does not have access to the classical variable λ, the final assemblage he observed is composed by the elements π(λ), p A (a|x, λ) and σ(λ) according to (2). Moreover, (2) implies that \({\sum }_{\lambda \in {\Lambda }}\pi (\lambda )\sigma (\lambda )=\rho _{B}.\)
Next let us introduce unsteerability and steerability of a state by Alice with a given measurement assemblage \(\mathcal {M}_{A}\).
Definition 2.2
Let \(\rho \in \mathcal {D}_{AB}\) and let
be a measurement assemblage of A. If there exists a probability distribution {π(λ)}λ∈Λ and a family of quantum states {σ(λ)}λ∈Λ in \(\mathcal {D}_{B}\) such that (2) holds, then ρ is said to be unsteerable by Alice with\(\mathcal {M}_{A}\). Otherwise, we say that ρ is steerable by Alice with\(\mathcal {M}_{A}\).
By definition, a state ρ is unsteerable by Alice if and only if for every \(\mathcal {M}_{A}\), it is unsteerable by Alice with \(\mathcal {M}_{A}\); ρ is steerable by Alice if and only if there exists an \(\mathcal {M}_{A}\) such that ρ is steerable by Alice with \(\mathcal {M}_{A}\).
In what follows, we denote by \(\mathcal {US}_{A}\) and \(\mathcal {QS}_{A}\) the sets of all states of \(\mathcal {H}_{AB}\) that are unsteerable and steerable by Alice, respectively. If we use \(\mathcal {US}_{A}(\mathcal {M}_{A})\) (resp. \(\mathcal {S}_{A}(\mathcal {M}_{A})\)) to denote the set of all states which are unsteerable (resp. steerable) by Alice with \(\mathcal {M}_{A}\), then we have
where the intersection and the union were taken over all measurement assemblages \(\mathcal {M}_{A}\) of Alice. These expressions can help us to prove that the set \(\mathcal {US}_{A}\) is a convex compact subset of \(\mathcal {D}_{AB}\) and so \(\mathcal {QS}_{A}\) is an open subset of \(\mathcal {D}_{AB}\), see [30] for the proofs.
Example 2.1
Every separable state is unsteerable by Alice.
Indeed, when ρ is separable, we write \(\rho ={\sum }_{k = 1}^{d}\pi _{k}{\rho ^{A}_{k}}{\otimes \rho ^{B}_{k}}\) and get that for any \(\mathcal {M}_{A}\), it holds that
where \(p_{A}(a|x,k)={\text {tr}}(M_{a|x}{\rho ^{A}_{k}}).\) Thus, ρ is unsteerable by Alice with any \(\mathcal {M}_{A}\). Thus, ρ is unsteerable by Alice.
Example 2.2
[30] Let \(|\psi \rangle =\frac {1}{\sqrt {n}}{\sum }_{i = 1}^{n}|\varepsilon _{i}\rangle |\varepsilon _{i}\rangle \) be a maximally entangled state induced by a real orthonormal basis \(\{|\varepsilon _{i}\rangle \}_{i = 1}^{n}\) for \(\mathbb {C}^{n}\). Then ρ = |ψ〉〈ψ| is steerable by Alice.
Proof
Notice that
where |x∗〉 denotes the conjugation of |x〉. Choose an orthonormal basis \(e=\{|e_{i}\rangle \}_{i = 1}^{n}\) for \(H_{A}=\mathbb {C}^{n}\) and an n × n unitary matrix U = [u i j ] such that \({\sum }_{i}{\text {sgn}}|u_{ij}|\ge 2\) for each j, that is, each row of U has at least two nonzero entries. Then \(f=Ue=\{{\sum }_{i = 1}^{n}u_{ij}|e_{i}\rangle \}_{j = 1}^{n}\) is an orthonormal basis for \(\mathbb {C}^{n}\) with
Define
then \(\mathcal {M}_{A}:=\{P,Q\}\) is a measurement assemblage of Alice.
Suppose that ρ = |ψ〉〈ψ| is unsteerable by Alice. Then for \(\mathcal {M}_{A}\), there exists a probability distribution {π(λ)}λ∈Λ and a family of quantum states {σ(λ)}λ∈Λ in \(\mathcal {D}_{B}\) such that
where p A (i|x, λ) ≥ 0 for all i = 1,2,…, n, x = P, Q and all λ ∈Λ, satisfying \({\sum }_{i = 1}^{n} p_{A}(i|x,\lambda )= 1\) for all x = P, Q, λ ∈Λ. By using (4), we get that
Thus, for each λ ∈Λ and i = 1,2,…, n, there exist ai, λ, bi, λ ∈ [0,1] such that
Because that \({\sum }_{i = 1}^{n}p_{A}(i|P,\lambda )= 1\) for each λ ∈Λ, we conclude that for each λ ∈Λ, there exists an i λ such that p A (i λ |P, λ)≠ 0 and so
This shows that
Similarly,
Thus, \(\{\pi (\lambda )\sigma (\lambda ): \lambda \in {\Lambda }\}\subset S_{P}\bigcap S_{Q}.\) From (5), we see that \(S_{P}\bigcap S_{Q}=\{0\}.\) Thus, π(λ) σ(λ) = 0 for all λ ∈Λ. This contradicts that fact that
□
The following theorem gives a characterization of unsteerable states.
Theorem 2.1
Let\(\rho \in \mathcal {D}_{AB}\) . Then ρ is unsteerable by Alice if and only if for every measurement assemblage\(\mathcal {M}_{A}=\{\{M_{a|x}\}_{a = 1}^{o_{A}}:x = 1,2,\ldots ,m_{A}\}\) of Alice, there exists a family{σ′(λ)}λ∈Λof positive operators on\(\mathcal {H}_{B}\) such that
where p A (a|x, λ) ≥ 0forall x, a and all λ, satisfying\({\sum }_{a = 1}^{o_{A}} p_{A}(a|x,\lambda )= 1\)for all x and all λ.
Proof
The necessity is proved by taking σ′(λ) = π(λ) σ(λ). To prove the sufficiency, we assume that for every \(\mathcal {M}_{A}\), a family {σ′(λ)}λ∈Λ satisfying (6) does exist. Then we have
Put π(λ) = tr(σ′(λ)) and define \(\sigma (\lambda )=\frac {1}{\pi (\lambda )}\sigma ^{\prime }(\lambda )\) if π(λ)≠ 0; σ(λ) = ρ B (the reduced state of ρ on B) if π(λ) = 0. Then \(\{\sigma (\lambda )\}_{\lambda \in {\Lambda }}\subset \mathcal {D}_{B}\) and \({\sum }_{\lambda \in {\Lambda }}\pi (\lambda )= 1\), (6) becomes (2). This shows that ρ is unsteerable by Alice. □
Corollary 2.1
Let\(\rho \in \mathcal {US}_{A}\) and T ≥ 0 such that ρ′ := (I A ⊗ T) ρ(I A ⊗ T†)≠ 0 . Then\(\rho _{T}:=\frac {1}{{\text {tr}}(\rho ^{\prime })}\rho ^{\prime }\in \mathcal {US}_{A}.\)
Proof
Since \(\rho \in \mathcal {US}_{A}\), it follows from Theorem 2.1 that for every \(\mathcal {M}_{A}\), there exists a family {σ′(λ)}λ∈Λ of positive operators on \(\mathcal {H}_{B}\) such that (6) holds. Hence, for each x and each a, we have
where \(\sigma (\lambda )=\frac {1}{{\text {tr}}(\rho ^{\prime })}T\sigma ^{\prime }(\lambda )T^{\dag }\) are positive operators on \(\mathcal {H}_{B}\). Consequently, Theorem 2.1 yields that \(\rho _{T}\in \mathcal {US}_{A}.\)□
At the end of this section, we discuss the influence of a local quantum channel on unsteerability of a state. To do this, we let Φ be a quantum channel of a quantum system described by a Hilbert space \(\mathcal {H}\). It was proved by Choi in [24] that Φ has the form of
where E1, E2,…, E m (called Kraus operators of Φ) are some bounded linear operators on \(\mathcal {H}\) satisfying \({\sum }_{i = 1}^{m}E_{i}^{\dag } E_{i}=I\). Define the dual channel Φ† of Φ as
Then Φ†(I) = I and
Theorem 2.2
Let\(\rho \in \mathcal {US}_{A}\) and Φ = Φ A ⊗ Φ B be a local quantum channel. Then Φ(ρ) is unsteerable by Alice.
Proof
Since \(\rho \in \mathcal {US}_{A}\), we see by definition that there exists a probability distribution {π(λ)}λ∈Λ and a family of quantum states {σ(λ)}λ∈Λ in \(\mathcal {D}_{B}\) such that for any POVM \(M_{x}=\{M_{a|x}\}_{a = 1}^{o_{A}}\) of \(\mathcal {H}_{A}\), (2) holds, where p A (a|x, λ) ≥ 0 for all a, x and all λ ∈Λ, satisfying \({\sum }_{a = 1}^{o_{A}} p_{A}(a|x,\lambda )= 1(\lambda \in {\Lambda })\). For any POVM \(M_{x}=\{M_{a|x}\}_{a = 1}^{o_{A}}\) on \(\mathcal {H}_{A}\), we see that \(M_{x^{\prime }}:=\{{\Phi }^{\dag }_{A}(M_{a|x})\}_{a = 1}^{o_{A}}=\{M_{a|x^{\prime }})\}_{a = 1}^{o_{A}}\) is a POVM of \(\mathcal {H}_{A}\) and so (2) yields that
This shows that Φ(ρ) is unsteerable by Alice. □
3 Generalized Steering Robustness
In order to quantify the steerability of quantum states, the steering robustness of states was introduced by Piani and Watrous [13], the definition is as follows.
where the supremum was taken over all measurement assemblages \({\mathcal {M}}_{A}=\{M_{a|x}\}\) on A, \({\mathcal {A}}\) is the assemblage induced by a state ρ and \({\mathcal {M}}_{A}\), and \(R(\mathcal {A})\) is the steering robustness of \({\mathcal {A}}\), defined essentially by
where
In this section, we introduce the generalized steering robustness in a way similar to the generalized robustness of entanglement [20] and the generalized robustness of contextuality [22], and explore the related properties.
For all \(\rho ,\sigma \in \mathcal {D}_{AB}\), we define
It was proved [19, Theorem 1] that any state \(\rho \in \mathcal {D}_{AB}\) can be expressed as
where ρ+ is a separable state, \(\rho ^{-}=\frac {1}{d_{AB}}I_{AB}\) and t0 is a non-negative finite real number. Thus, \(\tau _{\rho ,\rho ^{-}}(t_{0})=\rho ^{+}\), which is unsteerable by Alice. Hence, \(t_{0}\in {\Delta }_{\rho ,\rho ^{-}}.\) Generally, Δρ, σ may be empty. When Δρ, σ≠∅, it must be closed since \({\mathcal {US}}_{A}\) is closed and has a lower bound 0. So, it has a minimal element. This leads to the following definition.
Definition 3.1
For every \(\rho ,\sigma \in \mathcal {D}_{AB}\), when Δρ, σ≠∅, define \(\mathcal {R}_{s}^{A}(\rho \|\sigma )=\min {\Delta }_{\rho ,\sigma }\); when Δρ, σ = ∅, define \(\mathcal {R}_{s}^{A}(\rho \|\sigma )=+\infty \). We call
the generalized steering robustness (GSR) of ρ.
By definition, we see that if ρ = (1 + t) ρ1 − t σ for a nonnegative real number t, an unsteerable state ρ1 by Alice, and a state σ, then \(\mathcal {R}_{s}^{A}(\rho )\le \mathcal {R}_{s}^{A}(\rho ||\sigma )\le t.\) Moreover, if there are nonnegative real numbers a, b, an unsteerable state ρ1 by Alice and a state σ such that ρ = b ρ1 − aσ, we have 1 = b − a and so \(\mathcal {R}_{s}^{A}(\rho )\le \mathcal {R}_{s}^{A}(\rho ||\sigma )\le a\).
Since \(\mathcal {R}_{s}^{A}(\rho )\leq \mathcal {R}_{s}\left (\rho \|\rho ^{-}\right )\leq t_{0}<\infty ,\) we see that \(0\le \mathcal {R}_{s}^{A}(\rho )<+\infty \) for every state \(\rho \in \mathcal {D}_{AB}\). Also, we have
for all state ρ. Thus, for each state ρ, there is a sequence \(\{\sigma _{n}\}\subset \mathcal {D}_{AB}\) with \({\Delta }_{\rho ,\sigma _{n}}\ne \emptyset \) for all n such that
as n → + ∞. Since \(\mathcal {D}_{AB}\) is a compact set, {σ n } has a convergent subsequence \(\{\sigma _{n_{k}}\}\), let \(\sigma =\lim _{k\rightarrow +\infty }\sigma _{n_{k}}.\) Thus, as k → + ∞,
Since \({\mathcal {US}}_{A}\) is convex and closed ([29], [30]), we conclude that \(\tau _{\rho ,\sigma }(t)\in {\mathcal {US}}_{A}.\) This shows that \(\mathcal {R}_{s}^{A}(\rho \|\sigma )\le t=\mathcal {R}_{s}^{A}(\rho )\le \mathcal {R}_{s}^{A}(\rho \|\sigma ).\) Hence, \(t=\mathcal {R}_{s}^{A}(\rho )=\mathcal {R}_{s}^{A}(\rho \|\sigma ).\) Consequently, for any state ρ, it holds that
From this formula, one can check that
for every state ρ. Combining (7), (8) with (14), we obtain that for every state ρ,
This gives a relationship between the possed steering robustness \(\mathcal {R}_{s}^{A}(\rho )\) and the previous one \(R^{A\rightarrow B}_{\text {steer}}(\rho )\).
Moreover, from the definitions of the robustness of quantum correlation (RoQC)[23], the robustness of entanglement (RoE) [19], the generalized robustness of entanglement (GRoE)[20], one can check that
- RoQC::
-
\(\mathcal {R}_{c}(\rho )=\min \{t\in [0,+\infty ):\exists \sigma \in \mathcal {CC}_{AB}{\text {\ s.t.\ }} \tau _{\rho ,\sigma }(t)\in \mathcal {CC}_{AB}\}\), where \(\mathcal {CC}_{AB}\) is the set of all classically correlated states of AB [23, 25,26,27];
- RoE::
-
\(\mathcal {R}_{e}(\rho )=\min \{t\in [0,+\infty ):\exists \sigma \in {Sep}_{AB}{\text {\ s.t.\ }} \tau _{\rho ,\sigma }(t)\in Sep_{AB}\}\), where Sep A B is the set of all separable states of AB [19];
- GRoE::
-
\(\mathcal {R}_{ge}(\rho )=\min \{t\in [0,+\infty ):\exists \sigma \in {\mathcal {D}}_{AB}{\text {\ s.t.\ }} \tau _{\rho ,\sigma }(t)\in Sep_{AB}\}\) [20].
Combining these formulas with (14), we obtain the following relations:
Some more properties of GSR are given by the following Theorems 3.1–3.3.
Theorem 3.1
The generalized steering robustness function \(\mathcal {R}_{s}\) has the following properties.
-
(1)
\(\mathcal {R}_{s}^{A}(\rho )= 0\) if and only if \(\rho \in \mathcal {US}_{A}\) .
-
(2)
For each state ρ and a local quantum channel Φ = Φ A ⊗ Φ B , it holds that\(\mathcal {R}_{s}^{A}({\Phi }(\rho ))\le \mathcal {R}_{s}^{A}(\rho )\) .
-
(3)
\(\mathcal {R}_{s}\) is invariant under each local unitary operator U = U A ⊗ U B :\(\mathcal {R}_{s}^{A}(\rho )=\mathcal {R}_{s}^{A}(U\rho U^{\dag })\) .
-
(4)
\(\mathcal {R}_{s}^{A}(\rho )\) is convex for ρ , that is, \(\mathcal {R}_{s}^{A}(\rho )\leq {\sum }_{k = 1}^{m}p_{k}\mathcal {R}_{s}^{A}(\rho _{k})\) provided that \(\rho ={\sum }_{k = 1}^{m}p_{k}\rho _{k}, p_{k}\ge 0,\) \({\sum }_{k = 1}^{m}p_{k}= 1\) and \(\rho _{k}\in \mathcal {D}_{AB}(k = 1,2,\ldots ,m)\) .
-
(5)
\(\mathcal {R}_{s}:\mathcal {D}_{AB}\rightarrow \mathbb {R}\) is lower-semi continuous, i.e. when \(\rho _{n}\in \mathcal {D}_{AB}(n = 1,2,\ldots )\) with \(\underset {n\rightarrow \infty }{\lim }\rho _{n}=\rho \) , it holds that
$$\mathcal{R}_{s}^{A}(\rho)=\mathcal{R}_{s}^{A}(\underset{n\rightarrow\infty}{\lim}\rho_{n}) \leq\underset{n\rightarrow\infty}{\underline{\lim}}\mathcal{R}_{s}^{A}(\rho_{n}).$$
Proof
-
(1)
Suppose that \(\mathcal {R}_{s}^{A}(\rho )= 0\), then (13) implies that there exists a state σ such that \(\mathcal {R}_{s}^{A}(\rho \|\sigma )= 0\). We have \(\rho =\tau _{\rho ,\sigma }(0)\in \mathcal {US}_{A}\). Conversely, if \(\rho \in \mathcal {US}_{A}\), then for any state σ, we have \(\tau _{\rho ,\sigma }(0)=\rho \in \mathcal {US}_{A}\), so \(\mathcal {R}_{s}^{A}(\rho )= 0\).
-
(2)
By (13), there exists a state σ such that \(\mathcal {R}_{s}^{A}(\rho )=\mathcal {R}_{s}^{A}(\rho \|\sigma )\), and
$$\tau_{\rho,\sigma}(\mathcal{R}_{s}^{A}(\rho)) =\frac{1}{1+\mathcal{R}_{s}^{A}(\rho)}\rho+\frac{\mathcal{R}_{s}^{A}(\rho)}{1+\mathcal{R}_{s}^{A}(\rho)}\sigma\in \mathcal{US}_{A}.$$By Theorem 2.2, we know that
$$\frac{1}{1+\mathcal{R}_{s}^{A}(\rho)}{\Phi}(\rho)+\frac{\mathcal{R}_{s}^{A}(\rho)}{1+\mathcal{R}_{s}^{A}(\rho)}{\Phi}(\sigma) ={\Phi}\left( \tau_{\rho,\sigma}(\mathcal{R}_{s}^{A}(\rho))\right) \in \mathcal{US}_{A}.$$This shows that
$$\mathcal{R}_{s}^{A}({\Phi}(\rho))\le \mathcal{R}_{s}^{A}(\rho||{\Phi}(\sigma))\le \mathcal{R}_{s}^{A}(\rho).$$ -
(3)
By using (2) for Φ(X) = (U A ⊗ U B ) X(U A ⊗ U B )†, we see that \(\mathcal {R}_{s}^{A}(U\rho U^{\dag })\leq \mathcal {R}_{s}^{A}(\rho )\) for all \(\rho \in \mathcal {D}_{AB}\) and all unitary operators U A and U B on \(\mathcal {H}_{A}\) and \(\mathcal {H}_{B}\), respectively. By using (2) for Φ(X) = (U A ⊗ U B )†X(U A ⊗ U B ) and the state UρU†, we obtain that
$$\begin{array}{@{}rcl@{}} \mathcal{R}_{s}^{A}(\rho)=\mathcal{R}_{s}^{A}(U^{\dag}U\rho U^{\dag}U)\leq\mathcal{R}_{s}^{A}(U\rho U^{\dag}). \end{array} $$Thus, \(\mathcal {R}_{s}^{A}(\rho )=\mathcal {R}_{s}^{A}(U\rho U^{\dag })\).
-
(4)
By (13), for any k, there exists a state σ k such that \(\tau _{\rho _{k},\sigma _{k}}(\mathcal {R}_{s}^{A}(\rho _{k}))\in \mathcal {US}_{A}\) and
$$\rho_{k}=(1+\mathcal{R}_{s}^{A}(\rho_{k}))\tau_{\rho_{k},\sigma_{k}}(\mathcal{R}_{s}^{A}(\rho_{k}))-\mathcal{R}_{s}^{A}(\rho_{k})\sigma_{k}.$$So
$$\rho=\sum\limits_{k}p_{k}\rho_{k} =\xi_{1}-\xi_{2},$$where
$$\xi_{1}=\sum\limits_{k}p_{k}(1+\mathcal{R}_{s}^{A}(\rho_{k}))\tau_{\rho_{k},\sigma_{k}}(\mathcal{R}_{s}^{A}(\rho_{k})),\ \xi_{2}=\sum\limits_{k}p_{k}\mathcal{R}_{s}^{A}(\rho_{k})\sigma_{k}. $$When ξ2 = 0, we have \({\sum }_{k = 1}^{m}p_{k}\mathcal {R}_{s}^{A}(\rho _{k})={\text {tr}}(\xi _{2})= 0\), and so
$$\rho=\sum\limits_{k = 1}^{m}p_{k}\tau_{\rho_{k},\sigma_{k}}(\mathcal{R}_{s}^{A}(\rho_{k}))\in\mathcal{US}_{A}$$since \(\mathcal {US}_{A}\) is convex ([29, 30]). Hence, conclusion (1) yields that \(\mathcal {R}_{s}^{A}(\rho )= 0\le {\sum }_{k = 1}^{m}p_{k}\mathcal {R}_{s}^{A}(\rho _{k}).\)
When ξ2≠ 0, we have \(\frac {\xi _{2}}{\text {tr}(\xi _{2})}\in \mathcal {D}_{AB}\) and ξ1≠ 0. Thus,
$$\frac{\xi_{1}}{\text{tr}(\xi_{1})}=\sum\limits_{k = 1}^{m}\frac{p_{k}(1+\mathcal{R}_{s}^{A}(\rho_{k}))}{{\text{tr}(\xi_{1})}}\tau_{\rho_{k},\sigma_{k}}(\mathcal{R}_{s}^{A}(\rho_{k})) \in\mathcal{US}_{A} $$by the convexity of \(\mathcal {US}_{A}\). Since ρ = ξ1 − ξ2, we get tr(ξ1) = tr(ξ2) + 1 and consequently,
$$\begin{array}{@{}rcl@{}} \rho=\left( 1+\text{tr}(\xi_{2})\right)\frac{\xi_{1}}{\text{tr}(\xi_{1})}-\text{tr}(\xi_{2})\frac{\xi_{2}}{\text{tr}(\xi_{2})}. \end{array} $$Therefore,
$$\mathcal{R}_{s}^{A}(\rho)\leq \text{tr}(\xi_{2}) =\sum\limits_{k = 1}^{m}p_{k}\mathcal{R}_{s}^{A}(\rho_{k}). $$ -
(5)
Let \(\{\rho _{n}\}\subset \mathcal {D}_{AB}\) with \(\underset {n\rightarrow \infty }{\lim }\rho _{n}=\rho \), and put \(t=\underset {n\rightarrow \infty }{\underline {\lim }}\mathcal {R}_{s}^{A}(\rho _{n}).\) Then \(\{\rho _{n}\}_{n = 1}^{\infty }\) has a subsequence \(\{\rho _{n_{k}}\}_{k = 1}^{\infty }\) such that
$$t_{k}:=\mathcal{R}_{s}^{A}(\rho_{n_{k}})\rightarrow t\ (k\rightarrow\infty).$$From the definition of \(\mathcal {R}_{s}^{A}(\rho )\), we can choose \(\sigma _{k} \in \mathcal {US}_{A}\) such that
$$t_{k}=\mathcal{R}_{s}^{A}(\rho_{n_{k}})=\mathcal{R}_{s}^{A}(\rho_{n_{k}}\|\sigma_{k})(k = 1,2,\ldots).$$Since \(\mathcal {D}_{AB}\) is compact, {σ k } has a convergent subsequence, say \(\{\sigma _{k_{j}}\}_{j = 1}^{\infty }\). Put \(\sigma =\underset {j\rightarrow \infty }{\lim }\sigma _{k_{j}}\). Then
$$\frac{1}{1+t_{k_{j}}}\rho_{n_{k_{j}}}+\frac{t_{k_{j}}}{1+t_{k_{j}}}\sigma_{k_{j}}\rightarrow\frac{1}{1+t}\rho+\frac{t}{1+t}\sigma, $$as j →∞. Note that
$$\frac{1}{1+t_{k_{j}}}\rho_{n_{k_{j}}}+\frac{t_{k_{j}}}{1+t_{k_{j}}}\sigma_{k_{j}}\in \mathcal{US}_{A} (j = 1,2,\ldots)$$we conclude that \(\frac {1}{1+t}\rho +\frac {t}{1+t}\sigma \in \mathcal {US}_{A}\)(Theorem 2.2). Thus, \(\mathcal {R}_{s}^{A}(\rho )\leq \mathcal {R}_{s}^{A}(\rho \|\sigma )\leq t\). This shows that
$$\mathcal{R}_{s}^{A}(\underset{n\rightarrow\infty}{\lim}\rho_{n})\leq \underset{n\rightarrow\infty}{\underline{\lim}}\mathcal{R}_{s}^{A}(\rho_{n}).$$
□
Theorem 3.2
Let \(|{\Phi }\rangle ,|{\Psi }\rangle \in \mathcal {P}_{AB}\) with the same Schmidt coefficients. Then
Proof
Denote Schmidt decompositions of |Φ〉 and |Ψ〉 as follows, respectively,
where a i > 0 for all i with \(\sum \limits ^{m}_{i = 1}{a^{2}_{i}}= 1, \{{\gamma ^{A}_{i}}\}\) and \(\{{f^{A}_{i}}\}\) are two orthonormal sets in \(\mathcal {H}_{A}\), \(\{{\gamma ^{B}_{i}}\}\) and \(\{{f^{B}_{i}}\}\) are two orthonormal sets in \(\mathcal {H}_{B}\). Choose unitary operators U A on \(\mathcal {H}_{A}\) and U B on \(\mathcal {H}_{B}\) such that \(U_{A}|{f^{A}_{i}}\rangle =|{\gamma ^{A}_{i}}\rangle \) and \(U_{B}|{f^{B}_{i}}\rangle =|{\gamma ^{B}_{i}}\rangle \) for all i. Then
It follows from Theorem 3.1(3) that \(\mathcal {R}_{s}^{A}(|{\Psi }\rangle \langle {\Psi }|)=\mathcal {R}_{s}^{A}(|{\Phi }\rangle \langle {\Phi }|)\). □
Theorem 3.3
Let\(\rho \in \mathcal {D}_{AB}\) and\(\{M_{k}\}_{k = 1}^{m}\) be a quantum measurement on B, i.e.\({\sum }_{k = 1}^{m} M^{\dag }_{k}M_{k}=I_{B}\) . Denote
where p k (ρ) = tr((I A ⊗ M k ) ρ(I A ⊗ M k )†) ≠ 0. Then
Proof
By definition, there exists a state σ such that \(\tau _{\rho ,\sigma }(\mathcal {R}_{s}^{A}(\rho ))\in \mathcal {US}_{A}\) and
Put \(q_{k}=p_{k}(\tau _{\rho ,\sigma }(\mathcal {R}_{s}^{A}(\rho ))),\) and
By (17), we have
Corollary 2.1 implies that \(\rho ^{\prime }_{k}\in \mathcal {US}_{A}\) for all k. Also, \(\sigma _{k}\in \mathcal {D}_{AB}\). By definition, we get
Furthermore,
□
4 Comparison of GSR of Different States
We first introduce the concept of majorization between two vectors. Let x = (x1, x2,⋯ , x d ) and y = (y1, y2,⋯ , y d ) be two d-dimensional real vectors. We say that x is majorizated by y, written as x ≺ y, if x1 ≥ x2 ≥… ≥ x d , y1 ≥ y2 ≥… ≥ y d and
For every Hermitian operator X on \(\mathbb {C}^{d}\), we use λ(X) to denote the vector consisting d eigenvalues c1, c2,…, c d of X in decreasing order, i.e. λ(X) = (c1, c2,…, c d ) with c1 ≥ c2 ≥… ≥ c d . Let ρ and σ be Hermitian operators. We say that ρ is majorizated by σ written as ρ ≺ σ if λ(ρ) ≺ λ(σ). Note that the relation ≺ is not a total ordering, generally, unless \(\dim (\mathcal {H})= 2\). The following example shows that the maximally mixed state \(\frac {1}{n}I_{n}\) is a minimal element of \((\mathcal {D}(\mathbb {C}^{n}),\prec ).\)
Example 4.1
For any state ρ of \(\mathbb {C}^{n}\), we have \(\sigma :=\frac {1}{n}I_{n}\prec \rho .\)
Indeed, let λ(ρ) = (x1, x2,…, x n ) with
and let λ(σ) = (y1, y2,…, y n ) with \(y_{k}=\frac {1}{n}\) for all k. Then
When n > k > m, we see from x1 + x2 + … + x n = 1 and \(\frac {1}{n}>x_{j}(j=k + 1,\ldots ,n)\) that
Also, \({\sum }^{n}_{j = 1}x_{j}={\sum }^{n}_{j = 1}y_{j}= 1.\) This shows that σ ≺ ρ.
In what follows, we will discuss the GSR of states by using majorization.
Lemma 4.1
[28] Let ρ and σ be Hermitian operators on a finite dimensional Hilbert space. Then ρ ≺ σ if and only if there exists a probability distribution\(\{p_{j}\}_{j = 1}^{m}\) and a set\(\{U_{j}\}_{j = 1}^{m}\) of unitary matrices such that
Theorem 4.1
Let\(|\phi \rangle ,|\psi \rangle \in \mathcal {P}_{AB}\) , ρ ϕ :=tr A (|ϕ〉〈ϕ|)≺ ρ ψ :=tr A (|ψ〉〈ψ|) . Then
Proof
Since ρ ϕ ≺ ρ ψ , we see from Lemma 4.1 that there exists a probability distribution \(\{p_{j}\}_{j = 1}^{m}\) and a set \(\{U_{j}\}_{j = 1}^{m}\) of unitary matrices \(\{U_{j}\}_{j = 1}^{m}\) such that
First, ρ ϕ is represented as a 2 × 2 operator matrix
relative to the space decomposition \(\mathcal {H}_{AB}=\ker (\rho _{\phi })^{\bot }\bigoplus \ker (\rho _{\phi })\), where ρ1 is an invertible positive operator on ker(ρ ϕ )⊥. From (4.1), we have
and so
where σ j is a state on ker(ρ ϕ )⊥ with \(\rho _{1}={\sum }_{j}p_{j}\sigma _{j}\). Choose
Then
It is clear that \(\{M_{j}\}_{j = 1}^{m}\) is a POVM. When quantum state |ϕ〉 is measured by \(\{M_{j}\}_{j = 1}^{m}\), the corresponding state is
satisfying
Thus
Therefore, |ϕ j 〉(∀j) and |ψ〉 have the same Schmidt coefficients. It follows from Theorem 3.2 that
Using Theorem 3.3 again, we get that
□
Note that there exists the majorization relation between any two qubit states, we see from Theorem 4.1 that for any two pure states |ϕ〉 and |ψ〉 for a two-qubit system, their reduced states ρ ϕ and ρ ψ are comparable with respect to the majorization and so their GSR can be compared. However, for the mixed state case, comparison of GSR of two states is very hard. However, the following Corollary 4.1 shows that GSR of any state ρ is always less than or equal to GSR of any maximally mixed state.
Corollary 4.1
Let \(\{|\varepsilon _{i}\rangle \}_{i = 1}^{n}\) be an orthonormal basis for \(H_{A}=H_{B}=\mathbb {C}^{n}\) , \(|\phi \rangle =\frac {1}{\sqrt {n}}{\sum }_{i = 1}^{n}|\varepsilon _{i}\rangle |\varepsilon _{i}\rangle \) be a maximally entangled state. Then for every state \(\rho \in \mathcal {D}_{AB}\) , it holds that
Proof
It is easy to check that for every pure state \(|\psi \rangle \in \mathcal {P}_{AB}\), the reduced state ρ ϕ of ρAB on system A is the maximally mixed state \(\frac {1}{n}I_{n}\). From Example 4.1, we know that ρ ϕ ≺ ρ ψ and so Theorem 4.1 implies that \(\mathcal {R}_{s}^{A}(|\psi \rangle \langle \psi |)\leq \mathcal {R}_{s}^{A}(|\phi \rangle \langle \phi |).\) Furthermore, for every mixed state \(\rho \in \mathcal {D}_{AB}\), it has its spectral decomposition \(\rho ={\sum }_{i = 1}^{n}p_{i}|\psi _{i}\rangle \langle \psi _{i}|\). From the convexity of \(\mathcal {R}_{s}\) (Theorem 3.1(4)), we have
The last inequality is from Eq. (3.9) and [19, Appendix C] □
By using Theorem 4.1, we have the following.
Corollary 4.2
Let\(|\phi \rangle ,|\varphi \rangle \in \mathcal {P}_{AB}\) , ρ ϕ =tr A (|ϕ〉〈ϕ|), σ φ =tr A (|φ〉〈φ|) . If ρ ϕ ≺ σ φ and σ φ ≺ ρ ϕ , then\(\mathcal {R}_{s}^{A}(|\varphi \rangle \langle \varphi |)=\mathcal {R}_{s}^{A}(|\phi \rangle \langle \phi |).\)
Example 4.2
Consider any pure state |ϕx, y〉 = x|00〉 +ei𝜃y|11〉 of \(\mathbb {C}^{2}\otimes \mathbb {C}^{2}\) with x, y ∈ [0,1], x2 + y2 = 1 and \(\theta \in \mathbb {R}\). Then
We can compute that
Thus, \(\rho _{yx}=\left (\begin {array}{cc} y^{2} & 0 \\ 0 & x^{2} \end {array} \right ).\) It is clear that λ(ρ x y ) = λ(ρ y x ) and so ρ x y ≺ ρ y x while ρ y x ≺ ρ x y . We conclude from Theorem 4.1 that
Furthermore, by Corollary 4.1, we know that
where \(x_{0}=y_{0}=\frac {1}{\sqrt {2}}\), and \(|\phi _{x_{0},y_{0}}\rangle =\frac {1}{\sqrt {2}}(|00\rangle +{\text {e}}^{{\text {i}\theta }}|11\rangle )\) is a maximally entangled state. Next, we will prove (20) by simply using Theorem 4.1. To do so, we let
then when \(\frac {1}{\sqrt {2}}\le x_{1}<x_{2}\le 1\), \(\rho _{x_{1}y(x_{1})}\prec \rho _{y(x_{2})x_{2}}\) and Theorem 4.1 yields that f(x1) ≥ f(x2). This shows that f(x) is decreasing on \(\left [\frac {1}{\sqrt {2}},1\right ]\). Similarly, f(x) is increasing on \(\left [0,\frac {1}{\sqrt {2}}\right ]\) and so \(f\left (\frac {1}{\sqrt {2}}\right )=\max _{0\le x\le 1}f(x)\). This implies that (20) holds.
5 Conclusions
In summary, we have obtained a characterization of an unsteerable state. We have introduced a new method, called the generalized steering robustness (GSR), to quantify the steering power, which can describe steering endurance of a state against disturbance. Our discussion shows that GSR has many good properties, such as (1) GSR of a state vanishes if and only if the state is unsteerable; (2) a local quantum channel does not increase GSR of any state; (3) GSR is invariant under each local unitary operation; (4) as a function on the state space, GSR is convex and lower-semi continuous. Also, GSR of two pure states can be compared by the majorization of the their reduced states. In a quantitative way, we have proved that maximally entangled states have the maximal GSR and then are maximally steerable.
References
Einstein, A., Podolsky, B., Rosen, N.: Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47, 777 (1935)
Schrodinger, E.: Discussion of probability relations between separated systems. Math. Proc. Camb. Phil. Soc. 31, 555 (1935)
Wiseman, H.M., Jones, S.J., Doherty, A.C.: Steering, entanglement, nonlocality, and the Einstein-Podolsky-Rosen paradox. Phys. Rev. Lett. 98, 140402 (2007)
Acín, A., Brunner, N., Gisin, N., et al.: Device-independent security of quantum cryptography against collective attacks. Phys. Rev. Lett. 98, 230501 (2007)
Cavalcanti, E.G., Jones, S.J., Wiseman, H.M., Reid, M.D.: Experimental criteria for steering and the Einstein-Podolsky-Rosen paradox. Phys. Rev. A 80, 032112 (2009)
Saunders, D.J., Jones, S.J., Wiseman, H.M., Pryde, G.J.: Experimental EPR-steering using Bell-local states. Nat. Phys. 6, 845 (2010)
Bennet, A.J., Evans, D.A., Saunders, D.J., et al.: Arbitrarily loss-tolerant Einstein-Podolsky-Rosen steering allowing a demonstration over 1 km of optical fiber with no detection loophole. Phys. Rev. X 2, 031003 (2012)
Händchen, V., Eberle, T., Steinlechner, S., et al.: Observation of one-way Einstein-Podolsky-Rosen steering. Nat. Photonics 6, 598 (2012)
Branciard, C., Cavalcanti, E.G., Walborn, S.P., Scarani, V., Wiseman, H.M.: One-sided Device-Independent Quantum Key Distribution: Security, feasibility, and the connection with steering. Phys. Rev. A 85, 010301(R) (2012)
Wittmann, B., Ramelow, S., Steinlechner, F., et al.: Loophole-free Einstein-Podolsky-Rosen experiment via quantum steering. New. J. Phys. 14, 053030 (2012)
Steinlechner, S., Bauchrowitz, J., Eberle, T., Schnabel, R.: Strong Einstein-Podolsky-Rosen steering with unconditional entangled states. Phys. Rev. A 87, 022104 (2013)
Zukowski, M., Dutta, A., Yin, Z.: Geometric Bell-like inequalities for steering. Phys. Rev. A 91, 032107 (2015)
Piani, M., Watrous, J.: Necessary and sufficient quantum information characterization of Einstein-Podolsky-Rosen steering. Phys. Rev. Lett. 114, 060404 (2015)
Zhu, H., Hayashi, M., Chen, L.: Universal steering inequalities. Phys. Rev. Lett. 116, 070403 (2016)
Reid, M.D.: Signifying quantum benchmarks for qubit teleportation and secure quantum communication using Einstein-Podolsky-Rosen steering inequalities. Phys. Rev. A 88, 062338 (2013)
Sun, K., Ye, X.J., Xu, J.S., et al.: Experimental quantification of asymmetric Einstein-Podolsky-Rosen steering. Phys. Rev. Lett. 116, 160404 (2016)
Skrzypczyk, P., Navascues, M., Cavalcanti, D.: Quantifying Einstein-Podolsky-Rosen steering. Phys. Rev. Lett. 112, 180404 (2014)
Cavalcanti, D., Skrzypczyk, P.: Quantum steering: a review with focus on semidefinite programming. Rep. Prog. Phys. 80, 024001 (2017)
Vidal, G., Tarrach, R.: Robustness of entanglement. Phys. Rev. A 59, 141 (1999)
Steiner, M.: Generalized robustness of entanglement. Phys. Rev. A 67, 054305 (2003)
Meng, H.X., Cao, H.X., Wang, W.H.: The robustness of contextuality and the contextuality cost of empirical models. Sci. China Phys. Mech. Astron. 59, 640303 (2016)
Meng, H.X., Cao, H.X., Wang, W.H., et al.: Generalized robustness of contextuality. Entropy 18(297), 1–19 (2016)
Guo, Z.H., Cao, H.X., Qu, S.X.: Robustness of quantum correlations against linear noise. J. Phys. A: Math. Theor. 49, 195301 (2016)
Choi, M.D.: Completely positive linear maps on complex matrices. Linear Algebra Appl. 10, 285–290 (1975)
Guo, Z.H., Cao, H.X., Chen, Z.L.: Distinguishing classical correlations from quantum correlations. J. Phys. A: Math. Theor. 45, 145301 (2012)
Luo, S.L., Fu, S.S.: Measurement-induced nonlocality. Phys. Rev. Lett. 106, 120401 (2011)
Guo, Y., Hou, J.C.: Local channels preserving the states without measurement-induced nonlocality. J. Phys. A: Math. Theor. 46, 325301 (2013)
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, New York (2000)
Zhang, T.G., Yang, H., Li-Jost, X.Q., Fei, S.M.: Uniform quantification of correlations for bipartite systems, vol. 95 (2017)
Cao, H.X., Guo, Z.H.: Some remarks on Bell non-locality and Einstein-Podolsky-Rosen steering of bipartite states. e-Prints arXiv:1801.09891 [quant-ph] (2018)
Acknowledgments
This subject was supported by the National Natural Science Foundation of China (11771009, 11571211, 11571213), the Fundamental Research Funds for the Central Universities (GK201703010) and the Hainan province Natural Science Research Grant of China (20151012).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zheng, C., Guo, Z. & Cao, H. Generalized Steering Robustness of Bipartite Quantum States. Int J Theor Phys 57, 1787–1801 (2018). https://doi.org/10.1007/s10773-018-3704-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-018-3704-8