The Bedrock of Quantum Nonlocality Arxiv:2008.06393V1 [Quant-Ph] 14
Total Page:16
File Type:pdf, Size:1020Kb
The Bedrock of Quantum Nonlocality Jun-Li Li and Cong-Feng Qiao∗ School of Physical Sciences, University of Chinese Academy of Sciences, YuQuan Road 19A, Beijing 100049, China Center of Materials Science and Optoelectronics Engineering & CMSOT, University of Chinese Academy of Sciences, YuQuan Road 19A, Beijing 100049, China Key Laboratory of Vacuum Physics, University of Chinese Academy of Sciences YuQuan Road 19A, Beijing 100049, China ∗ To whom correspondence should be addressed; E-mail: [email protected]. Abstract Nonlocality is a distinct feature of quantum theory, and the questions of where does it originate from and how is it different from the classical theory are still far from settled. By means of the generalized uncertainty principle, we find that dif- ferent degrees of nonlocality of non-separable state, ranging from superquantum to quantum, and to classical theory, may be well characterized. Various quantum non- local phenomena will emerge in different order of observables' mutual dependence. We exhibit the third order \skewness nonlocality", indicating that the Bell inequal- arXiv:2008.06393v1 [quant-ph] 14 Aug 2020 ity violation being only the second order nonlocality, the \variance nonlocality". 1 1 Introduction In classical physics, observables are represented by real numbers (or vectors composed of real numbers), which implies that all properties of real numbers should be respected. While confronting the micro-world, not taken it for granted, Heisenberg questioned this underlying prerequisite by dint of a Gedanken experiment where the canonically conjugate quantities, x and p, can only be determined simultaneously with a characteristic indetermi- nacy [1]. Explicit uncertainty (indeterminacy) relations for incompatible observables are derivable from the fundamental postulates of quantum mechanics (QM). Unsatisfied with the measurement uncertainties, Einstein together with his colleagues ever attempted to exemplify the QM being incomplete via an entangled bipartite system, viz. the renowned EPR paradox [2]. We now know that any refutation of the EPR paradox would invoke certain forms of nonlocality. One may restore the completeness and locality of QM by introducing additional local hidden variables. However in 1964, Bell derived a set of inequalities by which all local hidden variable theories (LHVTs) abide, while quantum theory not. Among the various Bell inequalities (BIs), one of the most eminent ones is the Clauser-Horne-Shimony-Holt (CHSH) inequality [3] jE(X; Y ) − E(X; Y 0) + E(X0;Y ) + E(X0;Y 0)j ≤ 2 : (1) Here the four terms denote the correlation functions between observables X, X0 and Y , Y 0 in a bipartite qubit system. Nevertheless, in quantum theory the left side of equation (1) p may reach 2 2 [4] violating the bound. A heuristic question regarding to this violation p may arise: why quantum limit is 2 2 but not more [5]? Some principles beyond the QM were proposed to address this question, e.g., communication complexity [6, 7] and 2 information causality [8], however the physical meaning of them are still vague [9]. On the other hand, up to now people have derived numerous types of Bell inequalities [10], in which both linear and nonlinear correlations may exist [11]. Hence, it is tempting to think what constrains the regime of nonlocal and hidden variable theory, the Bell inequalities, and whether we can find the physical mechanism governing the violation degrees of BI or not. Here we provide a solution to the above question, proposing a scenario for the study of nonlocal phenomena through the generalized quantum uncertainty relations. It will be quantitatively demonstrated that the uncertainty relations may determine the strengths of nonlocalities ranging from the superquantum to quantum ones, and from the Bell local to non-steering ones, etc. Exploring the high order dependency revealed by the generalized uncertainty relations [12], we find a mechanism which may generate some novel inequalities to witness the fundamentally different nonlocal phenomena other than Bell nonlocality. Explicit example of \skewness nonlocality" is constructed, and the Bell nonlocality turns out to be only the \variance nonlocality". 2 The physics of nonlocality 2.1 The origin of the quantum nonlocality The fundamental postulates of QM tell that physical obervables are represented by Hermitian matrices, and measurement results of an observable can only be the eigenvalues of the Hermitian matrix. Two observables represented by N × N-dimensional Hermitian matrices X and Y may sum to X + Y = Z, and there exists l l l X X X αi + βj ≥ γk ; 1 ≤ l ≤ N; (2) i=1 j=1 k=1 3 where αi, βj, and γk are eigenvalues of X, Y , and Z, arranged in descending order (see Ref. [13] for more general forms and Ref. [14] for its application in quantum information theory). If Y and Y 0 are two-dimensional observables, the qubit, with eigenvalues ±1, the summation (Y − Y 0) + (Y + Y 0) = 2Y gives α1 + β1 ≥ γ1 = 2 : (3) 0 0 Here α1, β1, and γ1 are the largest eigenvalues of Y − Y , Y + Y , and 2Y , respectively. 0 When Y and Y are taken to be orthogonal qubit observables, i.e., Pauli matrices Y = σx p p p 0 and Y = σz, we have α1 = β1 = 2 and equation (3) turns to 2 + 2 ≥ 2. 0 0 Let yi and yj be the eigenvalues of Y and Y with the observing probabilities pi(y) 0 and pj(y ), the expectation value of their sum can be written as 0 0 hY + Y i = (~y ⊕ ~y ) · (~py ⊕ ~py0 ) ; (4) 0 where ~y and ~y are vectors composed of the eigenvalues and ~py;y0 are the corresponding probability distributions. For qubit observables, we have the following hY + Y 0i ≤ (~y ⊕ ~y 0)# · ~s: (5) Here # denotes that the components are rearranged in descending orders and ~s is the optimal bound from majorization uncertainty relation ~py ⊕ ~py0 ≺ ~s [15]. New progress in understanding the uncertainty principle interprets the generalized uncertainty relations as the dependence between the measurements [12]. In this sense, the expectation value hY + Y 0i would reach 2 if Y and Y 0 are independent observables with boundaries of ±1. While the uncertainty relation (dependence) between Y and Y 0 limit the value to be less than 2 (see Appendix A). With the above preparations we are ready to examine how the quantum nonlocality 4 arises and behaves. We start by considering the correlation terms in CHSH inequality E(X; Y ) − E(X; Y 0) + E(X0;Y ) + E(X0;Y 0) : (6) The LHVT and quantum evaluations of the correlation, i.e., E(X; Y ), are respectively Z LHVT : E(X; Y ) = ξλA(λ, X)B(λ, Y ) dλ ; (7) QM : E(X; Y ) = hX ⊗ Y i ; (8) where ξλ is an unknown distribution of the hidden variables, positive and normalized. In LHVT, both A(λ, X) and B(λ, Y ) take the values in between [−1; 1] that are determined by λ together with the observables X or Y . 1. LHVT: There is the following inequality related to equation (6) −2 ≤A(λ, X)[B(λ, Y ) − B(λ, Y 0)]+ A(λ, X0)[B(λ, Y ) + B(λ, Y 0)] ≤ 2 : (9) The bounds ±2 are obtained from the following arguments: 1. The values of A(λ, X) and A(λ, X0) are independent and can be ±1; 2. The values of B(λ, Y ) and B(λ, Y 0) are also independent, but the sum of B(λ, Y ) − B(λ, Y 0) and B(λ, Y ) + B(λ, Y 0) is bounded to [−2; 2]. Therefore, integrating over the distribution ξλ, we have [3] −2 ≤E(X; Y ) − E(X; Y 0)+ E(X0;Y ) + E(X0;Y 0) ≤ 2 : (10) This is the CHSH inequalities for LHVTs. 2. Non-steering: If A cannot steer B, then the states of B conditioned on the measure- ment result i of any observable X are represented by the following assemblages [16] X (λ) (λ) σijx = ξλ pi (x)σ : (11) λ 5 P (λ) Here ξλ is an unknown normalized distribution and i pi (x) = 1. In evaluating the correlation terms in equation (6) from the assemblages in equation (11), we would get similar terms as that in equation (9) where the differences lie in B B(λ, Y ) − B(λ, Y 0) = Tr[σ(λ)(Y − Y 0)] ; (12) B(λ, Y ) + B(λ, Y 0) = Tr[σ(λ)(Y + Y 0)] : (13) We can see that: 1. The values of A(λ, X) and A(λ, X0) remain independent and can be ±1; 2. The values of B(λ, Y ) and B(λ, Y 0) are not independent any more due to the uncertainty relation [17]; 3. The uncertainty relation in equation (5) limits each value of p equations (12) and (13) to be 2. And there is the following (see Appendix A) [E(X; Y ) − E(X; Y 0)]2 + [E(X0;Y ) + E(X0;Y 0)]2 ≤ 2 : (14) This is an inequality that non-steering correlations must satisfy. 3. Quantum correlation: The steering and uncertainty relation have been shown to be responsible for improving the correlation from LHVT to QM [18]. For the sake of demonstration, we present the following toy steering model X (λ) σ = ξ p (x)σ(λ)(x) ; (15) i1jx λ i1 λ X (λ) 0 (λ) 0 σ 0 = ξ p (x )σ (x ) : (16) i2jx λ i2 λ Here the different assemblages resulted from different measurements X and X0 are in- dependent (not from a common refined states fσ(λ)g as that of equation (11)), and we have B(λ, Y ) − B(λ, Y 0) = Tr[σ(λ)(x)(Y − Y 0)] ; (17) B(λ, Y ) + B(λ, Y 0) = Tr[σ(λ)(x0)(Y + Y 0)] : (18) 6 Now there exist the following: 1.