Sharp Contradiction for Local-Hidden-State Model in Quantum Steering.

In quantum theory, no-go theorems are important as they rule out the existence of a particular physical model under consideration. For instance, the Greenberger-Horne-Zeilinger (GHZ) theorem serves as a no-go theorem for the nonexistence of local hidden variable models by presenting a full contradiction for the multipartite GHZ states. However, the elegant GHZ argument for Bell's nonlocality does not go through for bipartite Einstein-Podolsky-Rosen (EPR) state. Recent study on quantum nonlocality has shown that the more precise description of EPR's original scenario is "steering", i.e., the nonexistence of local hidden state models. Here, we present a simple GHZ-like contradiction for any bipartite pure entangled state, thus proving a no-go theorem for the nonexistence of local hidden state models in the EPR paradox. This also indicates that the very simple steering paradox presented here is indeed the closest form to the original spirit of the EPR paradox.

In 1935, Einstein, Podolsky and Rosen (EPR) questioned the completeness of quantum mechanics under the assumption of locality and reality1 that underlie the classical world view. By considering continuous-variable entangled state, EPR proposed a famous thought experiment that involves a dilemma concerning local realism against quantum mechanics. This dilemma is nowadays well-known as the EPR paradox. For a long time, the EPR argument remained a philosophical problem at the foundation of quantum mechanics. In 1964, Bell made an important step forward2 by considering a version based on the entanglement of spin-1/2 particles introduced by Bohm. The EPR paradox, according to Bell’s reasoning, could, supposedly, be resolved by supplementing the theory with local hidden variables (LHV), which nevertheless show an incompatibility with quantum predictions via violation of Bell’s inequality. Later, the violation of the so-called Clause-Horne-Shimony-Holt (CHSH) inequality, was verified experimentally3.

As for the violation of Bell’s inequality, the incompatibility between the LHV models and quantum mechanics was essentially demonstrated in a statistical manner. If instead one aims to achieve a more sharper conflict, one can have the Greenberger-Horne-Zeilinger (GHZ) theorem, an “all-versus-nothing” proof of Bell’s nonlocality that applies to three or more parties45. The elegant GHZ argument involved the three-qubit GHZ state5

where |0〉 and |1〉 are the eigenstates of the Pauli matrix σ with the eigenvalues +1 and −1. respectively. It is easy to verify that the GHZ state is the common eigenstate of the following four mutually commutative operators: σ1σ2σ3, σ1σ2σ3, σ1σ2σ3, and σ1σ2σ3 (here σ1 denotes the Pauli matrix σ measured on the 1st qubit, similarly for the others), with the eigenvalues being +1, −1, −1, −1, respectively. However, a contradiction arises if one tries to interpret the quantum result with LHV models. Specifically, we denote the supposedly definite values of σ1, σ2, … as v1, v2, … (with v’s being 1 or −1), then a product of the last three operators, according to LHV models, yields , in sharp contradiction to the first operator v1v2v3 = +1. Such a full contradiction “1 = −1” indicates that the GHZ theorem is a no-go theorem for quantum nonlocality, i.e., there is no room for the LHV model to completely describe quantum predictions of the GHZ state. The GHZ theorem has already been verified by photon-based experiment6, and recently a fault-tolerant test of the GHZ theorem has also been proposed based on nonabelian anyons7.

In the original formulation of the EPR paradox1, a bipartite entangled state is considered which is a common eigenstate of the relative position and the total linear momentum and can be expressed as

with the Planck constant. Experimentally one can generate the two-mode squeezed vacuum state in the nondegenerate optical parametric amplifier (NOPA)8 as

where r > 0 is the squeezing parameter, , are respectively the annihilation and creation operators, |m〉 ≡ |Ψ(x)〉 are the Fock states of the Harmonic oscillator. In the infinite squeezing limit, , thus the original EPR state is a maximally entangled state for the bipartite continuous-variable system.

Since the discovery of the EPR paradox, the question of whether the original EPR state possesses the LHV models has pushed many researchers to achieve intriguing and thought provoking results91011121314. Bell first showed that the Wigner function of the EPR state, due to its positive definiteness, can directly be used to construct the LHV models9. However, attempt has also been made to reveal its nonlocality in phase space by considering displaced parity operators upon the NOPA state in the large r limit10. Moreover, maximal violations of the EPR state by multicomponent Bell’s inequalities have also been investigated in refs 15,16.

Very recently the notion of “steering”1718 has stimulated people to reconsider the exact implication of the EPR argument. For instance, Werner has remarked on why Einstein did not go all the way to discover Bell’s inequality19 Steering is indeed a quite old concept. In response to the EPR paper20, Schrödinger, who believed the validity of quantum mechanical descriptions of Nature, introduced in the same year of EPR’s paper a term “steering” to depict the “spooky action at a distance” which was mentioned in the EPR paper. Specifically, steering in a bipartite scenario describes an ability of one party, say Alice, to prepare the other party’s (say Bob’s) particle with different quantum states by simply measuring her own particle with different settings. This is also at the heart of remote state preparation protocol using EPR state21. However, steering lacked operational meanings, until in the year 2007 Wiseman et al.1718 gave a rigorous definition of it through the quantum information task. It then turns out that the EPR paradox concerns more precisely the existence of local hidden state (LHS) models, rather than that of LHV models leading to Bell’s inequality.

That is, the exact type of quantum nonlocality in the EPR paradox is EPR steering, rather than Bell nonlocality. After that, there has been rapid development in EPR steering both theoretically and experimentally2223242526, such as in the test of steering inequalities27282930 and the experimental observation of one-way EPR steering31.

Thus, a natural question arises: since there exist a simple GHZ paradox, i.e., “1 = −1”, which rule out the LHV models more uncompromisingly than Bell inequalities, one may ask whether a similar contradiction can be found so as to completely rule out the LHS models, especially for the EPR state. The merits of confirmatively answering this question include not only finding out the aforementioned missing piece of proofs of steering in analogy to proofs of Bell nonlocality, but also accomplishing the demonstration of the EPR paradox in its most original sense.

The aim of this paper is to present a very simple steering paradox, i.e., “2 = 1”, which intuitively demonstrates the steerability for the EPR state, directly confirming that EPR steering is exactly the type of quantum nonlocality inherited in the EPR paradox, henceforth proving a no-go theorem for nonexistence of LHS models in EPR’s original sense.

Results

Simple steering paradox in two qubits

We shall show that in the original EPR’s scenario, there exists a simple steering paradox that leads to “2 = 1”. A two-setting EPR steering scenario together with a bipartite entangled state are sufficient to demonstrate this full contradiction.

To illustrate the central idea, let us first consider the two-qubit case. In a two-setting steering protocol of (with ), Alice prepares a two-qubit state ρ, she keeps one and sends the other to Bob. Bob asks Alice to perform his choice of either one of two possible projective measurements (i.e. two-setting) and on her qubit and tell him the measurement results of a. Here

is the projector, with the measurement direction, a (with a = 0, 1) the Alice’s measurement result, the 2 × 2 identity matrix, and the vector of the Pauli matrices. After Alice’s measurements, Bob obtains four conditional states as with j = 1, 2 and a = 0, 1. Suppose Bob’s state has a LHS description, then there exists an ensemble and a stochastic map satisfying

where (with ) and are probabilities satisfying , and for a fixed ξ, and ρ = tr(ρ) is Bob’s reduced density matrix (or Bob’s unconditioned state)1718.

Then, Bob will check the following set of four equations:

If these four equations have a contradiction (or say they cannot have a common solution of and ), then Bob is convinced that a LHS model does not exist and Alice can steer the state of his qubit.

Now, let the state ρ be an arbitrary two-qubit pure entangled state, which is given in its Schmidt form as

where θ ∈ (0, π/2). The pure entangled state ρ = |Ψ(θ)〉〈Ψ(θ)| has a remarkable property: Bob’s normalized conditional states are always pure, and for (Here are four different pure states when ρ is a pure entangled state). It is well-known that a pure state cannot be obtained by a convex sum of other different states, namely, a density matrix of pure state can only be expanded by itself. Therefore without loss of generality, from Eq. (7) one has

with the probabilities , and other terms are zeros (see Methods for more detail of derivation). By summing them up and taking trace, due to , the left-hand side gives 2trρ = 2. But the right-hand side, by definition, gives , this leads to a full contradiction of “2 = 1”.

The above simple paradox “2 = 1” offers a transparent argument of nonexistence of LHS models (or existence of EPR steering) for a two-qubit pure entangled state. The subtlety of the paradox lies in the fact the wavefunction |Ψ(θ)〉 can have different decompositions, such as

with and . In practice, the two-setting protocol can be chosen as . Namely, Bob asks Alice to measure her qubit along the -direction and the -direction, respectively. Suppose Alice performs her measurement in the -direction (or the -direction), for convenient, one may denote the set of her projectors as (or ), then she can project Bob’s system into one of the pure states {|0〉, |1〉} (or {|χ+〉, |χ−〉}). It is easy to verify that are locally orthogonal and complete bases. Namely, 〈0|1〉 = 〈+|−〉 = 0, , and the basis can be obtained from the diagonal basis through a unitary transformation.

Generalization to bipartite high-dimensional systems

Suppose in the steering scenario, the quantum state that Alice prepares is a pure entangled state of two d-dimensional systems (two-qudit), then one can have the same simple paradox “2 = 1”.

Let us consider the two-qudit pure entangled state in its Schmidt form

where |m〉 is the state in the diagonal basis, λ’s are the Schmidt coefficients, and . In the two-setting steering protocol of , Alice prepares a two-qudit pure state ρ = |Φ〉〈Φ|, she keeps one and sends the other to Bob. To verify the steerablity of Alice, Bob asks Alice to perform his choice of either one of two possible projective measurements |m〉〈m| and |m′〉〈m′| on her qubit and tell him the measurement results of m and m′. Similarly, the sets of projectors for Alice are as follows

In principle, the choice of and is rather arbitrary, as long as any element in does not fully overlap with that in . For simplicity and here can be taken as two of the mutually unbiased bases for a d-dimensional system, such that |〈m|m′〉|2 = 1/d for any pair of m and m′. After Alice’s measurements, Bob obtains 2d conditional states as and . Similarly, Bob can check the following set of 2d equations:

with m, m′ = 0, 1, 2, …, d − 1. If these 2d equations have a contradiction, then there is no a LHS model description and Bob has to be convinced that Alice can steer the state of his qubit.

Because ρ = |Φ〉〈Φ| is a pure entangled state, it can be directly verified that Bob’s normalized conditional states are always pure, for instance one has . Due to the fact that a density matrix of pure state can only be expanded by itself, therefore, from equation (13) one has

with m, m′ = 0, 1, 2, …, d − 1. By summing them up and taking the trace, we have

From (15), one sees that the left-hand side gives 2trρ = 2 and the right-hand side gives trρ = 1, leading to a full contradiction of “2 = 1”.

The above analysis is also valid when d tends to infinity. By chosing and let d → ∞, then one can have a similar paradox “2 = 1” for the continuous-variable state |NOPA〉, which includes the original EPR state by taking the infinite squeezing limit. Thus, we complete the demonstration of the simple steering paradox for the original EPR scenario, which is a no-go theorem for nonexistence of LHS models in the EPR paradox. In other words, the sharp contradiction “2 = 1” indicates that there is no room for the LHS description of any bipartite pure entangled state, including the original EPR state.

Remark 1.—The original EPR state has the following elegant decompositions

where in the last step we have operated a translation transformation on |Ψ〉EPR that does not change the state |Ψ〉EPR, is a real number, and . Thus the two-setting steering protocol can be chosen as .

Discussions

The EPR paradox has resulted in search for local hidden variable models with locality and reality as starting points, but Bell’s inequaliy rules out such mdels as the predictions of LHV models do not match quantum theory. The GHZ paradox demonstrates sharp contradiction between the predictions of local hidden variable theory and quantum mechanics without using any inequality. However, the GHZ paradox is not applicable to bipartite systems. Hardy did attempt to extend the all-versus-nothing argument to a two-qubit system to reveal Bell’s nonlocality3233, and this proof is usually considered as “the best version of Bell’s theorem”34. However, Hardy’s proof works for only 9% of the runs of a specially constructed experiment, and moreover, it is not valid for two-qubit maximally entangled state. Thus, in this sense, Hardy’s proof may not be considered appropriately as the closest form to the spirit of EPR’s original scenario.

In summary, we have presented a simple steering paradox that shows the incompatibility of the local hidden state model with quantum theory for any bipartite pure entangled state, including the original EPR state. The full contradiction that results in “2 = 1”; not only intuitively demonstrates the steerability for the EPR state, directly confirming that EPR steering is exactly the type of quantum nonlocality inherited in the EPR paradox, but also indicates that the very simple steering paradox is the closest in its form to the spirit of the EPR paradox. Furthermore, if one considers the EPR steering scenario in k-setting, then following the similar derivation one can arrive at a full contradiction, i.e., “k = 1”. We expect that the simple steering paradox can be demonstrated in both two-qubit system and continuous-variable system by photon entangled based experiments in the near future.

Methods

Detail derivation of the steering paradox for two qubits

It can be directly verified that, if the state ρ = |Ψ(θ)〉〈Ψ(θ)| is a pure entangled state, then are four different pure states. For example and for convenient, let us take

Then in the two-setting steering protocol of , Bob asks Alice to perform his choice of either one of two possible projective measurements along the z-direction (with the projector ) and the x-direction (with the projector ) on her qubit and tell him the measurement results of a (with a = 0, 1). More precisely, one has the projectors as

with . Then Bob’s four unnormalized conditional states become

with . Thus, Bob’s four normalized conditional states are

which are obviously four different pure states.

Now, if Bob’s four unnormalized conditional states can have a LHS description, then they must satisfy

Since the four states in the left-hand-side of Eqs (21)–(24), , , are all proportional to pure states, thus it is sufficient for ξ to run from 1 to 4, namely, one can take the ensemble as

with (if , it implies that the corresponding state ρ is not the hidden state considered in the ensemble ), and ρ (i = 1, 2, 3, 4) are the hidden states. Then, Eqs (21)–(24), , , become

In the following, we come to show a simple steering paradox “2 = 1” based on Eqs (26)–(29), , , under the constraints of Eq. (6), and

It is well-known that a pure state cannot be obtained by a convex sum of other different states, namely, a density matrix of pure state can only be expanded by itself. Let us look at Eq. (26), because the left-hand side is proportional to a pure state, without loss of generality, one has

Similarly, one has

With the help of Eq. (31), one has

This directly yields

which is just the set of equations given in (9). It can be verified that

For Eq. (37), by summing them up and taking trace, the left-hand side gives 2trρ = 2. But the right-hand side, by definition in Eq. (6), gives , this leads to the sharp contradiction “2 = 1,” as shown in the main text.

Existence of LHS model for the pure separable state

Consider now, however, a pure separable state of two qubits

For this state, we shall show that a local hidden state model does exist. Without loss of generality, let Alice’s two choices of projective measurements be

with

By acting these projectors on the separable state (39), Bob’s four conditional states are found to be

It then turns out that there exists a local hidden state model, with Alice’s strategy based on a single hidden state, that could simulate the above Bob’s four conditional states:

Thus, local hidden state model is possible for pure separable states.

Additional Information

How to cite this article: Chen, J.-L. et al. Sharp Contradiction for Local-Hidden-State Model in Quantum Steering. Sci. Rep. 6, 32075; doi: 10.1038/srep32075 (2016).