Nonlinear steering criteria for arbitrary two-qubit quantum systems

Quantum steering describes the ability of one observer to nonlocally affect the other observer’s state through local measurements, which was first noted by Einstein, Podolsky and Rosen (EPR) for arguing the completeness of quantum mechanics in 1935 ein , and later introduced by Schrödinger in response to the well-known EPR paradoxsch . After being formalized by Wiseman et al. with a local hidden variable (LHV)-local hidden state model in 2007 wis , quantum steering has attracted increasing attention and been explored widely. Steerable states were shown to be advantageous for tasks involving secure quantum teleportation rei ; ros , quantum secret sharing walk ; kog , one-sided device-independent quantum key distribution bra and channel discrimination pia .

Quantum steering is one form of quantum correlations intermediate between quantum entanglement horo and Bell nonlocality bell . It has been demonstrated that a quantum state which is Bell nonlocal must be steerable, and a quantum state which is steerable must be entangled jone ; brun . One distinct feature of quantum steering which differs from entanglement and Bell nonlocality is asymmetry. That is, there exists the case when Alice can steer Bob’s state but Bob cannot steer Alice’s state, which is referred to as one-way steerable and has been demonstrated in theory bow and experiment han ; wol .

Quantum steering is the failure description of the local hidden variable-local hidden state models to reproduce the correlation between two subsystems, which can be witnessed by quantum steering criteria. Recently, a lot of steering criteria have been developed to distinguish steerable quantum states from unsteerable ones. In Ref. sau , the linear steering criteria was introduced for qubit states. In Ref. sch2 , the steering criteria from entropic uncertainty relations were derived, which can be applicable for both discrete and continuous variable systems. Subsequently, the steering criteria via covariance matrices of local observables ji and local uncertainty relations zhen in arbitrary-dimensional quantum systems were presented. Recently, Refs. zhe1 ; zhe2 generalized the linear steering criteria to high-dimensional systems. Although these criteria work well for a number of quantum states, most of them require constructing appropriate measurement settings or correlation weights in practice, which increases the complexities of the detecting inevitably. The development of the universal criterion to detect steering is still one vexed question.

In this paper, we first present some steering criteria applicable for arbitrary two-qubit quantum systems, then optimize them for symmetric quantum states, and finally we provide a broad class of explicit examples including two-qubit Werner states, Bell diagonal states, and Gisin states. Compared with the existing linear steering criterion and entropic criterion, ours can certify more steerable states without selecting measurement settings or correlation weights, which can also be used to verify entanglement as all steerable quantum states are entangled.

Suppose two separate parties, Alice and Bob, share a two-qubit quantum state on a composite Hilbert space $\mathcal{H}=\mathcal{H}_{A}\otimes\mathcal{H}_{B}$. The steering is defined by the failure description of all possible local hidden variable-local hidden state models in the form wis ; jone

where $P(a,b|A,B;W)$ are joint probabilities for Alice and Bob’s measurements $A$ and $B$, with the results $a$ and $b$, respectively; $p_{\lambda}$ and $P(a|A;\lambda)$ denote some probability distributions involving the LHV $\lambda$, and $P(b|B;\rho_{\lambda})$ denotes the quantum probability of outcome $b$ given measurement $B$ on state $\rho_{\lambda}$. $W$ represents the bipartite state under consideration. In other words, a quantum state will be steerable if it does not satisfy Eq.(1). Within the formulation, we propose a nonlinear steering criterion that can be used to certify a wide range of steerable quantum states for two-qubit quantum systems.

Theorem 1. If a given two-qubit quantum state is unsteerable from Alice to Bob (or Bob to Alice), the following inequality holds:

where $\sigma_{i,j}$ ($i,j=1,2,3$) are Pauli operators.

Proof. Suppose Alice and Bob share a two-qubit quantum state $\rho_{AB}$ on a composite Hilbert space, both of them perform $N$ measurements on their own states, which are denoted by $A_{k}$ and $B_{l}$, respectively. Here $B_{l}$ is a quantum observable while $A_{k}$ have no such constraint, $k(l)$ ($k(l)=1,2,\cdots,N$) labels the kth (lth) measurement setting for Alice (Bob). If the state is unsteerable from Alice to Bob, we have the following inequality

where $C_{A}=\sum\limits_{k=1}\limits^{N}\langle A_{k}^{2}\rangle,C_{B}=\max\limits_{\{\rho_{\lambda}\}}\left(\sum\limits_{l=1}\limits^{N}\langle B_{l}\rangle^{2}_{\rho_{\lambda}}\right)$. The parameter $\eta$ ($0\leq\eta\leq 1$) is a constant, which is used to adjust the value to the appropriate bound. The first inequality follows from the fact $\sum_{k=1}^{N}\sum_{l=1}^{N}(\alpha_{k}\beta_{l})^{2}\leq\sum_{k=1}^{N}\alpha_{k}^{2}\sum_{l=1}^{N}\beta_{l}^{2}$. The second inequality follows from the definition of $C_{B}$ and the fact $\langle A_{k}^{2}\rangle_{\lambda}\geq\langle A_{k}\rangle_{\lambda}^{2}$. If the observables $A_{k}$ and $B_{l}$ are restricted to Pauli matrices, i.e., $A_{k}(B_{l})=\{\sigma_{1},\sigma_{2},\sigma_{3}\}$, one has straightforwardly $C_{A}=3$ and $C_{B}=1$, so Eq.(3) reduces to

where $\eta^{\prime}=3\eta$.

As we know, quantum entanglement, quantum steering, and Bell nonlocality are equivalent in the case of pure states wis ; jone ; ysx . For an arbitrary quantum steering criterion, it is preferable to be a sufficient and necessary condition to detect pure states zhe1 ; zhe2 ; zhen . In order to obtain the optimal value of the parameter $\eta^{\prime}$, we introduce the pure states as reference states. For any two-qubit state, it can be expressed as

where $|c_{ij}|\leq 1$ for $i,j=0,1,2,3$. For arbitrary pure states $\rho_{AB}$, one has straightforwardly $\sum_{i=1}^{3}c_{i0}^{2}+\sum_{j=1}^{3}c_{0j}^{2}+\sum_{i=1}^{3}\sum_{j=1}^{3}c_{ij}^{2}=3$ due to the fact $tr(\rho_{AB}^{2})=1$. Next we consider two cases, one is that $\rho_{AB}$ be pure separable states, then one achieves $\sum_{i=1}^{3}\langle\sigma_{i}\otimes\mathbb{I}\rangle^{2}=\sum_{i=1}^{3}c_{i0}^{2}=1,\sum_{i=1}^{3}\langle\mathbb{I}\otimes\sigma_{j}\rangle^{2}=\sum_{i=1}^{3}c_{0j}^{2}=1$, and $\sum_{i=1}^{3}\sum_{j=1}^{3}\langle\sigma_{i}\otimes\sigma_{j}\rangle^{2}=\sum_{i=1}^{3}\sum_{j=1}^{3}c_{ij}^{2}=1$, which result in $\eta^{\prime}\geq 1$ due to the fact that all pure separable states are unsteerable. The other is that $\rho_{AB}$ be pure entangled states, then one attains $\sum_{i=1}^{3}\langle\sigma_{i}\otimes\mathbb{I}\rangle^{2}=\sum_{i=1}^{3}c_{i0}^{2}<1,\sum_{i=1}^{3}\langle\mathbb{I}\otimes\sigma_{j}\rangle^{2}=\sum_{i=1}^{3}c_{0j}^{2}<1$, and $\sum_{i=1}^{3}\sum_{j=1}^{3}\langle\sigma_{i}\otimes\sigma_{j}\rangle^{2}=\sum_{i=1}^{3}\sum_{j=1}^{3}c_{ij}^{2}>1$, which result in $\eta^{\prime}\leq 1$ due to the fact that all pure entangled states are steerable zhe1 ; zhe2 ; zhen . So the optimal value of the parameter $\eta^{\prime}=1$. This gives the proof of Theorem 1.

In this way, we derive the steering criterion for arbitrary two-qubit quantum systems. Whatever strategies Alice and Bob choose, a violation of inequality (2) would imply steering.

In the following we further develop steering criterion by introducing quantum correlation matrix of local observables. Given a quantum state $\rho$ and observables $\{O_{k}\}(k=1,2,...,n)$, an $n\times n$ symmetric covariance matrix $\gamma$ is defined as ji

Now, let us consider a composite system $\rho_{AB}$ and a set observables $\{O_{m}\}=\{\sigma_{i}\otimes\sigma_{j}\}(i,j=1,2,3,m=3(i-1)+j)$. Similarly, the covariance matrix can be constructed as

Obviously, the diagonal elements of the covariance matrix stand for the variance of the observables $\{O_{m}\}$.

Corollary 1. If a given quantum state $\rho_{AB}$ is unsteerable, the sum of the eigenvalues of the covariance matrix $\gamma_{mm^{\prime}}(\rho_{AB})$ of the observables $\{O_{m}\}=\{\sigma_{i}\otimes\sigma_{j}\}(i,j=1,2,3,m=3(i-1)+j)$ must satisfied

where $\lambda_{k}$ is the eigenvalue of the covariance matrix $\gamma_{mm^{\prime}}(\rho_{AB})$.

Proof. For an unsteerable state $\rho_{AB}$, one has $\sum_{i=1}^{3}\sum_{j=1}^{3}\langle\sigma_{i}\otimes\sigma_{j}\rangle^{2}\leq 1$ according to Theorem 1, which results in $\sum_{i=1}^{3}\sum_{j=1}^{3}\delta^{2}(\sigma_{i}\otimes\sigma_{j})\geq 8$, where $\delta^{2}(\sigma_{i}\otimes\sigma_{j})=\langle(\sigma_{i}\otimes\sigma_{j})^{2}\rangle-\langle\sigma_{i}\otimes\sigma_{j}\rangle^{2}$ is the variance of the observable $\sigma_{i}\otimes\sigma_{j}$. To prove the corollary 1, we introduce the principal components analysis (PCA) pea ; hot ; jol , which is a mathematical procedure that transforms a number of possibly correlated variables into a number of uncorrelated variables called principal components. The first principal component accounts for as much of the variability in the data as possible, and each succeeding component accounts for as much of the remaining variability as possible. Similar to classical PCA, for the quantum covariance matrix $\gamma_{mm^{\prime}}(\rho_{AB})$, the variances of principal components correspond to the eigenvalues of the covariance matrix, i.e., $\sum_{k=1}^{9}\lambda_{k}=\sum_{k=1}^{9}\delta^{2}P_{k}$, where $P_{k}$ is the principal component of the covariance matrix $\gamma_{mm^{\prime}}(\rho_{AB})$, and $\sum_{k=1}^{9}\delta^{2}P_{k}=\sum_{i=1}^{3}\sum_{j=1}^{3}\delta^{2}(\sigma_{i}\otimes\sigma_{j})$, one has $\sum_{k=1}^{9}\lambda_{k}=\sum_{i=1}^{3}\sum_{j=1}^{3}\delta^{2}(\sigma_{i}\otimes\sigma_{j})$. So one attains $\sum_{k=1}^{9}\lambda_{k}\geq 8$ for an unsteerable state. A detailed proof is provided in the Appendix A.

Symmetry is another central concept in quantum theory gro , which can be used to simplify the study of the entanglement sometimes voll ; stoc ; toth . A bipartite quantum state $\rho$ is called symmetric if it is permutationally invariant, i.e., $F\rho F=\rho$, here $F=\sum_{ij}|ij\rangle\langle ji|$ is the flip operator. In the following we optimize the steering criterion for symmetric two-qubit quantum states.

Theorem 2. If a given symmetric two-qubit quantum state is unsteerable from Alice to Bob (or Bob to Alice), the following inequality holds:

where $\sigma_{i}$ ($i=1,2,3$) are Pauli operators.

proof. For arbitrary symmetric two-qubit quantum state, one has $\langle\sigma_{i}\otimes\sigma_{j}\rangle=0$, where $i,j=1,2,3,i\neq j$. So Theorem 1 reduces to Theorem 2.

Corollary 2. If a given symmetric two-qubit quantum state $\rho_{AB}$ is unsteerable, the sum of the eigenvalues of the covariance matrix $\gamma_{mm^{\prime}}(\rho_{AB})$ of the observables $\{O_{i}\}=\{\sigma_{i}\otimes\sigma_{i}\}(i=1,2,3)$ must satisfy

where $\lambda_{k}$ is the eigenvalue of the covariance matrix $\gamma_{mm^{\prime}}(\rho_{AB})$. A brief proof of our theorem is specified below.

proof. For a symmetric unsteerable state $\rho_{AB}$, one has $\sum_{i=1}^{3}\delta^{2}\langle\sigma_{i}\otimes\sigma_{i}\rangle^{2}\leq 1$ from Eq.(9), which results in $\sum_{i=1}^{3}\delta^{2}(\sigma_{i}\otimes\sigma_{i})\geq 2$. For the quantum covariance matrix $\gamma_{mm^{\prime}}(\rho_{AB})$, one has $\sum_{k=1}^{3}\lambda_{k}=\sum_{i=1}^{3}\delta^{2}(\sigma_{i}\otimes\sigma_{i})$ according to PCA. So one get $\sum_{k=1}^{3}\lambda_{k}\geq 2$ for a symmetric unsteerable state .

(i) Werner state. Consider two-qubit Werner states wern , which can be written as

where $|\psi^{+}\rangle=(1/\sqrt{2})(|00\rangle+|11\rangle)$ is Bell state and $\mathbb{I}$ is the identity, $0\leq p\leq 1$. The Werner states are entangled iff $p>1/3$, steerable iff $p>1/2$ wis , and Bell nonlocal if $p>1/\sqrt{2}$. According to symmetry of the Werner state and our Theorem 2, we achieve $p>\sqrt{3}/3$ for successful steering under the Pauli measurements $\{\sigma_{1},\sigma_{2},\sigma_{3}\}$. Our results are in agreement with the results of Ref. zhe1 ; zhe2 ; zhen , which implies that the nonlinear steering criterion is qualified for witnessing steering .

(ii) Bell diagonal states. Suppose now that Alice and Bob share a Bell diagonal state as follows:

where $\sigma_{i}$ $(i=1,2,3)$ are Pauli operators and $|c_{i}|\leq 1$ for $i=1,2,3$. According to Theorem 2, we find that $\rho_{bd}$ are steerable if $\sum_{i}c_{i}^{2}>1$. In this case, the local uncertainty relations steering criterion can be written as $\sum_{i}\delta^{2}(\sigma_{i}^{B})-C^{2}(\sigma_{i}^{A},\sigma_{i}^{B})/\delta^{2}(\sigma_{i}^{A})>2$ zhen , where $\delta^{2}(A)=\langle A^{2}\rangle-\langle A\rangle^{2}$ is the variance and $C(A,B)=\langle AB\rangle-\langle A\rangle\langle B\rangle$ is the covariance. The violation is $\sum_{i}c_{i}^{2}>1$ and the corresponding states are steerable. Likely for the linear criterion we have $|\sum_{i}\omega_{i}\langle\sigma_{i}^{A}\otimes\sigma_{i}^{B}\rangle|\geq\sqrt{3}$ with $\omega_{i}\in\{\pm 1\}$ sau , and the violation implies $|c_{1}\pm c_{2}\pm c_{3}|>\sqrt{3}$. For entropic criterion we have $\sum_{i}H(\sigma_{i}^{B}|\sigma_{i}^{A})>2$ sch2 , where $H(B|A)=\sum_{a}p(a|A)H(B|A=a)$ and $H(\cdot)$ denotes von Neumann entropy. The violation is $\sum_{i}(1+c_{i})log(1+c_{i})+(1-c_{i})log(1-c_{i})>2$. It can be checked that our criterion performs equivalently well as the local uncertainty relations steering criterion, which certifies more steerable states than the linear criterion and the entropic criterion (Fig.1).

(iii) Asymmetric entangled states. Let us consider Gisin states gis , which can be expressed as

where $\psi_{\theta}=sin\theta|01\rangle+cos\theta|10\rangle$, $\rho_{s}=\frac{1}{2}|00\rangle\langle 00|+\frac{1}{2}|11\rangle\langle 11|$. In Fig.2, we show the performances of the nonlinear steering criterion (Theorem 1), the local uncertainty relations steering criterion zhen , the linear criterion sau and the entropic criterion sch2 for the Gisin states. It follows from straightforward calculation that the nonlinear steering criterion certifies more steerable states than the linear criterion and entropic criterion.

In summary, we have proposed some nonlinear steering criteria applicable for arbitrary two-qubit quantum systems and optimized ones for symmetric quantum states. These criteria can be used to detect a wide range of steerable quantum states under Pauli measurements. Compared with the existing linear steering criterion and the entropic criterion, ours can certify more steerable states without selecting measurement settings or correlation weights, which can also be used to verify entanglement as all steerable quantum states are entangled.

This work is supported by the National Natural Science Foundation of China (NSFC) under Grant No. 11947102, the Natural Science Foundation of Anhui Province under Grant Nos. 2008085MA16 and 2008085QA26, the Key Program of West Anhui University under Grant No.WXZR201819, the Research Fund for high-level talents of West Anhui University under Grant No.WGKQ202001004.