Einstein-Podolsky-Rosen Steering Inequalities and Applications.

Einstein-Podolsky-Rosen (EPR) steering is very important quantum correlation of a composite quantum system. It is an intermediate type of nonlocal correlation between entanglement and Bell nonlocality. In this paper, based on introducing definitions and characterizations of EPR steering, some EPR steering inequalities are derived. With these inequalities, the steerability of the maximally entangled state is checked and some conditions for the steerability of the X -states are obtained.

1. Introduction

Generally, quantum correlations means the correlations between subsystems of a composite quantum system, including Bell nonlocality, steerability, entanglement and quantum discord.

Einstein-Podolsky-Rosen (EPR) steering was first observed by Schrodinger [1] in the context of famous Einstein-Podolsky-Rosen (EPR) paradox [2,3,4,5]. It was realized that EPR steering, as a form of bipartite quantum correlation, is an intermediate between entanglement and Bell nonlocality. Wiseman et al. [6] shown the inequivalence between entanglement, steering, and nonlocality when considering the projective measurements. Then, Quintino et al. [7] further considered the general measurements and proved that these three quantum relations are inequivalent. Interestingly, steering can be characterized by a simple quantum information processing task, namely, entanglement verification with an untrusted party [6,7,8,9,10]. In addition, steering has been found useful in several applications, such as one-sided device-independent quantum key distribution [11]; subchannel discrimination [12]; temporal steering and security of quantum key distribution with mutually unbiased bases against individual attacks [13]; temporal steering in four dimensions with applications to coupled qubits and magnetoreception [14]; no-cloning of quantum steering [15]; and spatio-temporal steering for testing nonclassical correlations in quantum networks [16]. Recently, detection and characterization of steering have attracted increasing attention [3,6,8,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32]. Many of the standard Bell inequalities (e.g., CHSH) are not effective for detection of quantum correlations which allow for steering, because for a wide range of such correlations they are not violated. Various steering inequalities have been derived, such as linear steering inequalities [33,34,35]; inequalities based on multiplicative variances [3,17,33]; entropy uncertainty relations [36,37]; fine-grained uncertainty relations [38], temporal steering inequality [39]. Besides, Zukowski et al. [40] presented some Bell-like inequalities which have lower bounds for non-steering correlations than for local causal models. These inequalities involve all possible measurement settings at each side. Based on the data-processing inequality for an extended Rényi relative entropy, Zhu et al. [41] introduced a family of steering inequalities, which detect steering much more efficiently than those inequalities known before. Chen et al. [42] showed that Bell nonlocal states can be constructed from some steerable states. Furthermore, a nine-setting steering inequality had also been presented for developing more efficient one-way steering and detecting some Bell nonlocal states. Bhattacharya et al. [43] present absolute non-violation of a three-setting steering inequality by two-qubit states. Recently, some characterizations of EPR steering are given in [44] and the generalized steering robustness was introduced and some interesting properties were established in [45], which suggests a way of quantifying quantum steering. Very recently, Bell nonlocality and EPR steering of bipartite states were discussed mathematically in [46], including mathematical definitions and characterizations of these two quantum correlations, the convexity and closedness of the sets of all Bell local states and all EPR unsteerable states, respectively. Lastly, a sufficient condition for a state to be steerable was established, which leads to proofs of the EPR steerability of the maximally entangled states and that of entangled pure states. Tripartite systems have more complex structures than bipartite systems and then have more diversified steering scenarios. In [47], two types of quantum steering scenarios were introduced for a tripartite quantum system, named “one-sided device-independent steering”and “two-sided device-independent steering”. Based on giving the mathematical definitions of these steering scenarios, some necessary and sufficient conditions for a state to be unsteerable were obtained and sufficient conditions for a state to be steerable were established.

In this paper, we will derive some EPR steering inequalities for bipartite states, including a more general steering inequality that extends some known steering inequalities. Furthermore, we derive some EPR steering criteria, with which the EPR steerability of the maximally entangled states and Bell-diagonal states are checked. The other parts of this paper are divided as follows. In Section 2, we will introduce the definitions of EPR unsteerability and EPR steerability of bipartite states, and some equivalent characterizations of EPR unsteerability. In Section 3, we will establish some EPR steering inequalities, prove the steerability of the maximally entangled state and derive some conditions for the steerability of the -states.

2. Steering Inequalities of Bipartite Quantum States

In this section, we will recall mathematical definitions related to steering motivated by the literature (e.g., [29]) and proposed in [46], and list related results proved in [46]. To do this, we use and to denote two finite dimensional complex Hilbert spaces, which describe two quantum systems A and B, respectively. We use to denote the set of all quantum states of the system X described by a Hilbert space and to denote the identity operator on .

In a typical quantum-steering scenario, there are two spatially separated systems A and B, which are measured by one of the two distant observers, Alice and Bob; they share a joint state (Figure 1). Alice may choose one measurement, labeled by x, from her measurement assemblage , and perform it on her system A. Bob performs tomography and reconstructs the set of states conditioned on Alice’s measurements. The aim of this experiment is to steer Bob’s state using Alice’s measurement on her system.

Figure 1

Sketch of a quantum steering from Alice to Bob, in which denotes the shared state and x and a denote Alice’s measurement choice and corresponding outcome, respectively, when the measurement x is chosen and performed.

Here are the mathematical definitions concerning EPR steering given by [46].

Let

(1) A state where

(2) A state

(3) A state

(4) A state ∃ an

Symmetrically, we define unsteerability and steerability of a state from B to A.

(5) A state

(6) A state

Here are some remarks to the definitions above.

Denote by

The physical interpretation is as follows. When a state

Let us now assume that Alice’s measurements in

Thus, for any state where This shows that every state

The following theorems were proved in [46].

([

([

3. EPR Steering Inequalities

Let be the set of all hermitian operators of the system .

Suppose that

Then for every where

Since , then the following spectrum decompositions are valid:

Consider POVMs and the measurement assemblages . Suppose that , then . Thus, we see from Theorem 2 that there exists a PD , a set of states , and PDs such that for all and all . Hence, by Equations (7) and (8), we compute that where

Thus, by Cauchy inequality and Equation (5), we have □

In Theorem 3, we see that if the inequality (6) is invalid for any observables satisfying the condition there, then the state must be steerable. Thus, the violating of the inequality implies the steerability of the state . Since this, we call the inequality a steering inequality.

In particular, let , and where are unit vectors in for all and are orthonormal vectors in . Then are all self-adjoint unitary operators of trace 0 for all i, thus the eigenvalues of are all , we get .

Since are orthonormal vectors, we can easily obtain that operators are orthonormal. Thus, the Bessel inequality yields that and so

Thus, inequality (5) is valid for and then we obtain the following result which was pointed out in [43] without proof.

Suppose that where

For the maximally entangled 2-qubit state

Generally, for all real unit vectors: with

Thus,

In particular, put we obtain

By Corollary 1, we get that

The 2-qubit state

By computation, we obtain

Generally, for all real unit vectors: with

Thus,

Particularly, take where

By Corollary 1, we get that

Any two-qubit state can be written in the following form where are three Pauli matrices, is the vector composed of these Pauli matrices, is the correlation matrix of , with eigenvalues .

As an application of Corollary 1, we have the following result.

Let

Let . Then, we see from Corollary 1 that □

It was proved in ([25], Theorem 2) that a Bell diagonal state is steerable with three projective measurements if . We see from Corollary 2 that if the inequality (15) is not valid, then the state must be steerable with n projective measurements . For instance, we have Corollary 3 and Corollary 4 below, which give sufficient conditions for a general two-qubit state to be steerable under two and three projective measurements, respectively. In [26], a strong necessary condition was obtained for the steerability of two-qubit states having maximally mixed reduced states, via the construction of local hidden state models and two provably sufficient conditions were also obtained, via asymmetric EPR steering inequalities.

Suppose that and

We compute that and so Thus, Corollary 2 yields that . □

Similarly, we can arrive the following conclusion for the case of .

Suppose that and

We compute that and so Thus, Corollary 2 yields . □

Consider the state ρ characterized by the correlation matrix where Hence, we get from Corollary 4 that and is steerable from A to B with

The following corollary gives a sufficient condition for a general two-qubit state to be steerable in terms of eigenvalues of .

Suppose that

(a) When

(b) When

(a) Let . Since , and are the orthonormal eigenvectors corresponding to the eigenvalues of , respectively, we have since . It follows from Corollary 2 that .

(b) Let . Since are the orthonormal eigenvectors corresponding to the eigenvalues of , respectively, and , we compute since . It follows from Corollary 2 that . □

Consider the steerability of an "X" state given in [ where

By computation, we get that the correlation matrix We can easily see that the eigenvalues of then

(a) When

(b) When

4. Conclusions

In this paper, we have obtained some remarks on EPR steering of bipartite states, including mathematical definitions and characterizations of steerability. Using the characterizations, we have established some necessary conditions for a state to be unsteerable by proving some inequalities. The validity of the derived inequalities are necessary for unsteerability of bipartite states, and then the violation of some of them are sufficient for a state to be steerable. As applications, the EPR steerability of the maximally entangled states is checked and some conditions for the steerability of the -states are obtained.