## Several foundational and information theoretic implications of Bell's theorem

Guruprasad Kar 1, ∗ and Manik Banik 1, †

1 Physics and Applied Mathematics Unit, Indian Statistical Institute, 203 B.T. Road, Kolkata-700108, India

In 1935, Albert Einstein and two colleagues, Boris Podolsky and Nathan Rosen (EPR) developed a thought experiment to demonstrate what they felt was a lack of completeness in quantum mechanics. EPR also postulated the existence of more fundamental theory where physical reality of any system would be completely describe by the variables/states of that fundamental theory. This variable is commonly called hidden variable and the theory is called hidden variable theory (HVT). In 1964, John Bell proposed an empirically verifiable criterion to test for the existence of these HVTs. He derived an inequality, which must be satisfied by any theory that fulfill the conditions of locality and reality . He also showed that quantum mechanics, as it violates this inequality, is incompatible with any local-realistic theory. Later it has been shown that Bell's inequality can be derived from different set of assumptions and it also find applications in useful information theoretic protocols. In this review we will discuss various foundational as well as information theoretic implications of Bell's inequality. We will also discuss about some restricted nonlocal feature of quantum nonlocality and elaborate the role of Uncertainty principle and Complementarity principle in explaining this feature.

∗ kar.guruprasad@gmail.com

† manik11ju@gmail.com

## I. INTRODUCTION

Quantum mechanics (QM) is, certainly, the most successful theory to describe physical phenomena at very small scales. Apart from gravity, it provides completely correct mathematical description for all natural phenomena, stating from the structure of atoms, the rules of chemistry and properties of condensed matter to nuclear structure and the physics of elementary particles. However, from a fundamental point of view different concepts of this theory departs in various ways from that of classical physics. Undoubtedly the most debatable non classical concept is the existence of nonlocal correlations among spatially separated quantum systems. John Bell, a Northern Irish physicist, in 1964, established a seminal result, that certain quantum correlations, unlike all other correlations in the Universe, cannot arise from any local cause [1, 2]. This result is commonly known as 'Bell's theorem'. For the last 50 years, this theorem remains at the center of almost all metaphysical debates of Quantum foundation and during the last two decades it also finds applications in various information theoretic tasks.

In his paper Bell addressed a long standing question introduced by Einstein along with his two colleagues Podolsky and Rosen (EPR) at the very early days of quantum theory [3]. From historical perspective, Einstein was the most prominent opponent of the 'Copenhagen interpretation', according to which quantum system is completely described by a wave function belonging to an Hilbert space associated with the system [4]. He believed that the fundamental theory of the nature must be deterministic. It was the intrinsic randomness of QM (lack of reality) which bothered him the most. His dissatisfaction with QM, in describing the natural phenomena, comes clear from one of his famous comment ' God does not play dice with the universe '. In his view, though QM provide the correct description of physical phenomena it could not be the complete one. In the groundbreaking 1935 EPR paper this philosophical idea has been condensed into a physical argument. In this paper the authors first described a necessary condition of completeness for a physical theory:

Condition of completeness : Every element of the physical reality must have a counter part in the physical theory .

Once the the condition of completeness is given, naturally the question arises: 'what are the elements of the physical reality?' EPR did not provide a comprehensive definition of reality, but, they described a sufficient condition of it:

Physical reality : If, without in any way disturbing a system, we can predict with certainty

(i.e., with probability equal to unity) the value of a physical quantity, then there exists an element of physical reality corresponding lo this physical quantity.

Invoking, then, the well established idea from special theory of relativity, that nothing can travel faster than light, EPR succeed to demonstrate that ' wave function does not provide a complete description of the physical reality '. EPR ended there paper in the following fashion ' ....we left open the question of whether or not such a description exists. We believe, however, that such a theory is possible '. EPR work immediately gave rise to intense debates among physicists as well as philosophers about the foundational status of QM. Within few days, an important critique appeared by N. Bohr, a pioneer proponent of the Copenhagen interpretation, against the EPR argument [5]. But, for a long period of time the debate was only a subject of theoretical interest, no empirical testable method was known to resolve this debate. John Bell took the challenge whether some experimental criteria can be derived to address this debate and ultimately in 1964 he succeeded to derive it as an powerful theorem. This theorem tells that there exist quantum correlations which are incompatible with conjunction of two classical notion, namely, locality and reality . However, later it has been shown that the same Bell's theorem can be derived under different sets of assumptions. Violation of this theorem implies different consequences depending on under which set of assumptions the theorem is derived.

This paper is organized in the following manner. In Section (II) we first discuss operational and ontological framework for any physical theory. We then discuss the Bell's original derivation of his famous inequality under the assumptions of locality and reality . We also discuss about the quantum mechanical violation of this inequality. In Section (III) we discuss that Bell's inequality (BI) can be derived under the assumption of joint measurability and relativistic causality or no signaling principle. In Section (IV) we analyze that the same BI can be derived under some operational assumptions. We also discuss that as a novel implication of this derivation BI finds application in an important information theoretic task, namely device independent randomness certification. In Section (V) we discuss another important feature of quantum correlation namely the limited violation of BI in QM compared to the violation allowed by no-signaling principle. We discuss the role of uncertainty and complementarity principle in explaining this feature.

## II. BELL'S INEQUALITY

Bell realized that to understand the source of conflicts in QM, it is essential to know where and how our classical concepts and intuitions start to fail in describing the quantum phenomena.

He succeeded to derive an experimentally testable condition obtained under some metaphysical assumptions which follow from the classical world view. For the first time, in the history of science, there was a concrete suggestion to test the correctness of different world view from measurement results. This area of study is called ' experimental metaphysics ', a term coined by Abner Shimony [6]. Before discussing various assumptions under which BI is derived, we briefly describe the operational and ontological framework for any physical theory.

## A. Operational interpretation of a theory

In an operational interpretation of a physical theory, the primitive elements are preparation procedures, transformation procedures, and measurement procedures, which can be viewed as lists of instructions to be implemented in the laboratory. The goal of an operational theory is merely to specify the probabilities p k M, P, T ( | ) of different outcomes k ∈ K M that may result from a measurement procedure M ∈ M given a particular preparation procedure P ∈ P , and a particular transformation procedure T ∈ T ; where M P , and T respectively denote the sets of measurement procedures, preparation procedures and transformation procedures; K M denotes the set of measurement results for the measurement M. When there is no transformation procedure, we simply have p k M,P ( | ). The only restrictions on { p k M,P ( | ) } k ∈K M is that all of them are non negative and ∑ k ∈K M p k M,P ( | ) = 1 ∀ M, P. As an example, in an operational formulation of quantum theory, every preparation P is associated with a density operator ρ on Hilbert space, and every measurement M is associated with a positive operator valued measure (POVM) { E k | E k ≥ 0 ∀ k and ∑ k E k = I } . The probability of obtaining outcome k is given by the generalized Born rule, p k M,P ( | ) = Tr( E ρ k ). An operational theory does not tell anything about physical state of the system. So one can construct an ontological model of an operational theory (for details of this framework, we refer to [7, 8]).

## B. Ontological model for a theory

In an ontological model of an operational theory the primitives of description are the actual state of affairs of the system. A preparation procedure is assumed to prepare a system with certain properties and a measurement procedure is assumed to reveal something about those properties. A complete specification of the properties of a system is referred to as the ontic state of that system. The knowledge of the ontic state may remain unknown to the observer. For this reason it is also

called hidden variable and the model is called hidden variable theory (HVT).

In an ontological model for quantum theory, a particular preparation method P ψ which prepares the quantum state | ψ 〉 , actually puts the system into some ontic state λ ∈ Λ, Λ denotes the ontic state space. An observer who knows the preparation P ψ may nonetheless have incomplete knowledge of λ . Thus, in general, an ontological model associates a probability distribution µ λ P ( | ψ ) with preparation P ψ of | ψ 〉 . µ λ P ( | ψ ) is called the epistemic state as it encodes observer's epistemic ignorance about the state of the system. It must satisfy

$$\int _ { \Lambda } \mu ( \lambda | P _ { \psi } ) d \lambda = 1 \ \forall \ | \psi \rangle \text{ and } P _ { \psi }.$$

Similarly, the model may be such that the ontic state λ determines only the probability ξ k λ, M ( | ), of different outcomes k for the measurement method M . However, when the model is deterministic one, ξ k λ, M ( | ) ∈ { 0 1 , } . The response functions ξ k λ, M ( | ) ∈ [0 , 1], should satisfy

$$\sum _ { k \in \mathcal { K } _ { M } } \xi ( k | \lambda, M ) = 1 \ \forall \ \lambda, \ M.$$

As the model is required to reproduce the observed frequencies (quantum predictions) hence the following must also be satisfied

$$\int _ { \Lambda } \xi ( \phi | M, \lambda ) \mu ( \lambda | P _ { \psi } ) d \lambda = | \langle \phi | \psi \rangle | ^ { 2 }.$$

This requirement is called 'quantum reproducibility condition'.

## C. Bell's locality-reality theorem

It is a statement about certain type of correlations established between two spatially separated observers, say Alice and Bob. Each of the observers hold some physical system which may have interacted previously. Denote the preparation state of the composite system as P . Both of them perform measurement on there respective subsystem and observe the measurement result. Let, Alice can choose to perform any of two possible measurements x ∈ { 0 1 , } ≡ X . Also consider that for each measurement there are two possible outcomes denoted as a ∈ { +1 , - } ≡ 1 A . Similarly, Bob measurements are denoted as y ∈ { 0 1 , } ≡ Y and the outcome as b ∈ { +1 , - } ≡ 1 B . Now for any pair of Alice's and Bob's measurement settings the expectation value is calculated as

$$\langle x y \rangle _ { P } = \sum _ { a, b = + 1 } ^ { - 1 } a b \ p ( a, b | x, y, P ),$$

where the subindex 〈∗〉 P denote that expectation is calculated on the preparation state P ∈ P . { p a, b x, y, P ( | ) } a ∈ A,b ∈ B x ∈ X,y ∈ Y are the observed frequency in the operational theory, where p a, b x, y, P ( | ) denote the joint conditional probability of obtaining outcome ' a ' by Alice and outcome ' ' by b Bob when they perform measurements ' x ' and ' y ' respectively. For this operational experiment one can consider a ontological model as described previously. Denoting the ontological variable (hidden variable) as λ , the conditional joint probability reads as P a, b x, y, P, λ ( | ). To satisfy the reproducibility condition (3) we have

$$p ( a, b | x, y, P ) = \int _ { \lambda \in \Lambda } d \lambda \rho ( \lambda ) p ( a, b | x, y, P, \lambda ).$$

The assumptions under which Bell derived his result state certain properties of the ontological theory.

Definition 1 : An ontological model is said to satisfy locality iff

$$p ( a | x, y, P, \lambda ) & = p ( a | x, P, \lambda ) ; \ \forall \ a, x, y \\ p ( b | x, y, P, \lambda ) & = p ( b | y, P, \lambda ) ; \ \forall \ b, x, y.$$

Definition 2 : An ontological model is said to deterministic iff it satisfy determinism iff

$$p ( a, b | x, y, P, \lambda ) \in \{ 0, 1 \} ; \ \forall \ a, b, x, y.$$

This implies that a = a x, y, P, λ ( ) and b = ( b x, y, P, λ ). It is straightforward to check that if any model satisfy locality and determinism then it also satisfy the following factorisability relation

$$p ( a, b | x, y, P, \lambda ) = p ( a | x, P, \lambda ) P ( b | y, P, \lambda ).$$

Theorem 1 (Bell): Any theory which satisfy the factorisability condition or in other words satisfy locality and determinism must satisfy the following inequality:

$$| \langle x _ { 0 } y _ { 0 } \rangle + \langle x _ { 0 } y _ { 1 } \rangle + \langle x _ { 1 } y _ { 0 } \rangle - \langle x _ { 1 } y _ { 1 } \rangle | \leq 2.$$

Proof of the above theorem is straightforward and we omit the proof (for the proof we refer the papers [1, 12]). It is important to note that another implicit assumption, namely the assumption of measurement independence , has been used in the derivation of Bell's inequality (BI) [9]. The assumption of measurement independence contravenes to depend the distribution of the ontic variable on the Alice's and Bob's measurement settings, i.e., ρ λ x, y ( | ) = ρ λ ( ). In other word, applying

Bay's theorem, we can say that Alice's (Bob's) choices of measurement setting is independent of the ontic variables, i.e., Alice and Bob can choose their measurement setting freely.

Interestingly, quantum statistics violates this inequality. In the following we discuss regarding the violation of BI in QM.

## D. Violation of BI by quantum correlation

Consider two spin-half particle prepared in the state | ψ -〉 12 = 1 √ 2 ( 0 | 〉 1 ⊗| 〉 1 2 -| 〉 1 1 ⊗| 〉 2 2 ), where sub-indices have been used to denote first and second particle respectively, and | 0 〉 ( 1 ) denotes | 〉 the up (down) eigenstate of the Pauli σ z operator. The state | ψ -〉 12 is called singlet state and it belongs to the tensor product Hilbert space C 2 ⊗ C 2 . This state has an interesting property that it can not be written as mixer of product states of the composite system and hence it is entangled [10, 11]. If Alice perform spin measurement along ˆ direction and Bob perform along n ˆ m direction on their respective particle of singlet state then according to QM the joint expectation reads as:

$$\langle \hat { n } \hat { m } \rangle = _ { 1 2 } \langle \psi ^ { - } | \hat { n }. \vec { \sigma } \otimes \hat { m }. \vec { \sigma } | \psi ^ { - } \rangle _ { 1 2 } = - \hat { n }. \hat { m } = - \cos ( \theta _ { n m } ).$$

Let Alice and Bob fix there measurement setting as following: cos( θ n m 0 0 ) = cos( θ n m 0 1 ) = cos( θ n m 1 0 ) = π 4 and cos( θ n m 1 1 ) = 3 π 4 . With these measurement settings on singlet sate the Bell inequality expression (i.e. left hand side of Eq.(9)) turns out to be 2 √ 2 &gt; 2 (loophole free experimental verification of nonlocal nature of QM is an active area of research till date [13]).

It is interesting question to ask what conclusion one can draw from BI violation. As in the previous section we have discussed that BI is derived under the assumption of locality and determinism, so when a theory violates BI we conclude that the description of the theory can not be replaced by an local deterministic ontological model. Since QM violates BI, it can not have a local deterministic description and hence it is called nonlocal . Note that to show the violation of BI in QM the measurements that have been chosen on Alice's (Bob's) side are incompatible i.e not jointly measurable. In the following section we discuss the connection between incompatibility of observables and BI violation.

## III. JOINT MEASURABILITY AND NONLOCALITY

To show the violation of BI in QM we have used two feature of quantum theory, i.e., we have considered (i) entangled system and (ii) incompatible measurement. Naturally the question arise whether these two feature are generic requirement for BI violation in QM. It has been shown that

by performing arbitrary local measurements on a separable state it is not possible to establish any form of quantum nonlocality [10]. On the other hand, if we want to address the question of incompatible observable, we have to put more general the notion of incompatibility. There are several notions of incompatibility. Two such notions are non-commutativity and non existence of joint measurement [14, 15]. For projective measurement (PVM) these two notions are identical. Andersson et al. have shown that BI can be derived under the assumption of existence of joint measurement and no signaling or signal locality condition [16]. It is important to note that if joint measurement exists on both side then the four probability distribution exists and the BI follows according to Fine's result [17]. In the following we briefly sketch the proof of Andersson et al.

Consider two measurements A 1 and A 2 on Alice side and two measurements B 1 and B 2 on Bob's side. Denote p v [ ( A 1 ) = v A ( 2 ); B ] be the probability that A 1 and A 2 have same measurement outcome when Bob's measurement is B . We have

$$p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) ; B ] = p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) = v ( B ) ] + p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) = - v ( B ) ].$$

Positivity condition of the probability implies,

$$p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) = v ( B ) ] + p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) = - v ( B ) ]$$

$$\geq | p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) = v ( B ) ] - p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) = - v ( B ) ] |.$$

Writing the expectation value as

$$E ( A, B ) = p [ v ( A ) = v ( B ) ] - p [ v ( A ) = - v ( B ) ]$$

And putting B = B 1 we have

$$p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) ; B _ { 1 } ] \geq \frac { 1 } { 2 } | E ( A _ { 1 }, B _ { 1 } ) + E ( A _ { 1 }, B _ { 2 } ) |$$

Similar argument gives

$$p [ v ( A _ { 1 } ) = - v ( A _ { 2 } ) ; B _ { 2 } ] \geq \frac { 1 } { 2 } | E ( A _ { 1 }, B _ { 2 } ) - E ( A _ { 2 }, B _ { 2 } ) |$$

Adding the above two inequalities we have

$$p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) ; B _ { 1 } ] + p [ v ( A _ { 1 } ) = - v ( A _ { 2 } ) ; B _ { 2 } ]$$

$$\geq \frac { 1 } { 2 } | E ( A _ { 1 }, B _ { 1 } ) + E ( A _ { 1 }, B _ { 2 } ) | + | E ( A _ { 1 }, B _ { 2 } ) - E ( A _ { 2 }, B _ { 2 } ) |.$$

The no signaling condition implies

$$p [ v ( A _ { 1 } ) = - v ( A _ { 2 } ) ; B _ { 2 } ] = p [ v ( A _ { 1 } ) = - v ( A _ { 2 } ) ; B _ { 1 } ].$$

using the normalization of probability,

$$p [ v ( A _ { 1 } ) = v ( A _ { 2 } ) ; B _ { 1 } ] + p [ v ( A _ { 1 } ) = - v ( A _ { 2 } ) ; B _ { 1 } ] = 1$$

finally we get

$$| E ( A _ { 1 }, B _ { 1 } ) + E ( A _ { 1 }, B _ { 2 } ) | + | E ( A _ { 1 }, B _ { 2 } ) - E ( A _ { 2 }, B _ { 2 } ) | \leq 2.$$

However, for positive-operator-valued-measures (POVMs) non existence of joint measurability and non-commutativity are not equivalent notions. From now on incompatibility would mean the impossibility of joint measurement. So, at this point one can asks the following two questions: (1) do all entangled states demonstrate nonlocality? (2) Can all pair of incompatible measurements on both sides exhibit nonlocality? It has been shown that though all pure entanglement states violates BI [18], there exist mixed entangled states which have LHV model for all PVMs [10] and also for all POVMs [19], which means there exist local entangled states or in other words, nonlocality and entanglement are two different concepts. If two incompatible measurements are considered, each with binary outcome, then Wolf et al. have shown that it can always lead to violation of the Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) [12] inequality [20]. This result has established a connection between (im)possibility of joint measurability and nonlocality. However, for general situation i.e., for arbitrary number of POVMs with arbitrarily many outcomes the relation between joint measurability and nonlocality is not yet established. The question is important as pairwise joint measurability, in general, does not imply full joint measurability. We discuss two different such examples.

- (a) Orthogonal spin measurement : Consider the set of three dichotomic POVMs, acting on C 2 , given by the following positive operators

$$M _ { 0 | j } ( \eta ) = \frac { 1 } { 2 } ( \mathbf 1 + \eta \sigma _ { j } )$$

for j = x, y, z , where σ x , σ y , σ z are the Pauli matrices, and 0 ≤ η ≤ 1. The operator corresponding to other outcome is M 1 | j ( η ) = 1 -M 0 | j ( η ). The triple of measurements are pairwise jointly measurable iff η ≤ 1 √ 2 ≈ 0 707, but triple-wise jointly measurable iff . η ≤ 1 √ 3 ≈ 0 577. . Hence in the range 1 √ 3 ≤ η ≤ 1 √ 2 the the set { M a j | ( η ) } forms a hollow triangle [14, 21].

(b) Trine spin measurement : Consider another three dichotomic POVMs, acting on C 2 , given by

$$M _ { 0 | j } ( \eta ) = \frac { 1 } { 2 } ( \mathbf 1 + \eta \hat { n } _ { j }. \vec { \sigma } ),$$

where, the three vectors { ˆ n j | j = 1 2 3 , , } are equally separated in a plane, i.e. separated by a trine or an angle of 2 π/ 3. This triple of measurements are pairwise jointly measurable if η ≤ √ 3 -1 ≈ 0 73205, but triple-wise jointly measurable only if . η ≤ 2 3 [21].

The above two example shows that the connection between joint measurability and nonlocality for more than two measurement scenario, even with each measurement being dichotomic, is not a trivial extension of that of two measurement scenario. In two recent works partial but very useful progress has been obtained [22, 23]. The authors in [22] showed that (non) joint measurability can be viewed as equivalent to EPR steering, a strictly weaker type of nonlocality than Bell's nonlocality [24, 25]. Specifically, the authors in [22] have shown that for any set of POVMs that are incompatible (i.e. not jointly measurable), one can find an entangled state, such that the resulting statistics violates a steering inequality. They further conjectured that (im)possibility of joint measurability and Bell nonlocality are inequivalent. A conclusive answer requires proof (or disproof) of this conjecture.

Other than these foundational implications, in the last decade various device-independent [26] information theoretic protocols like cryptography [27], randomness certification [28, 31], Hilbert Spaces dimension witness [32] have made use of nonlocality arguments [33]. In the following we discuss one of such protocol, namely, device independent randomness certification. Before that we discuss another derivation of BI based on some operational assumptions.

## IV. BELL'S INEQUALITY FROM OPERATIONAL ASSUMPTIONS

In the previous section we have seen that BI can be derived under the conjunction of two assumption, namely, locality and determinism . Both these assumptions assert some ontological properties. As QM violates BI, it can not have a local-deterministic ontological description. However, there are models that violate locality but maintain determinism (Bohmian mechanics [34] is an example), and models that maintain locality but violate determinism (standard operational quantum theory is an example). Recently, Cavalcanti and Wiseman have derived BI from another set of assumptions, namely, signal locality and predictability [35]. Unlike the Bell's original assumptions (i.e. locality and determinism), these assumptions are purely operational, that is, they refer

to operational quantities only. Whereas the assumption of signal locality describe the impossibility to send signals faster than light, predictability assumes that one can predict the outcomes of all possible measurements to be performed on a system.

To derive BI from the conjunction of the assumptions signal locality and predictability it is sufficient to show that the joint probabilities of experimental outcomes given by a model is factorisable, i.e., satisfy the Eq.(8).

Definition 3 : A model is said to satisfy signal locality iff

$$p ( a | x, y, P ) & = p ( a | x, P ) ; \ \forall \ a, x, y \\ p ( b | x, y, P ) & = p ( b | y, P ) ; \ \forall \ b, x, y.$$

Definition 4 : A model is said to be predictable, or to satisfy predictability iff

$$p ( a, b | x, y, P ) \in \{ 0, 1 \} ; \ \forall \ a, b, x, y.$$

This implies that a = a x, y, P ( ) and b = ( b x, y, P ).

Lemma 1 (Cavalcanti &amp; Wiseman): signal locality ∧ predictability ⇒ BI.

Proof : The definition of predictability implies that

$$p ( a, b | x, y, P, \lambda ) = p ( a, b | x, y, P )$$

as p a, b x, y, P ( | ) ∈ { 0 1 , } , conditioning on λ can not alter it. Using Bay's rule of conditional probability

$$p ( a, b | x, y, P ) = p ( a | b, x, y, P ) p ( b | x, y, P )$$

Predictability also implies that p a b, x, y, P ( | ) = p a x, y, P ( | ). Hence

$$p ( a, b | x, y, P, \lambda ) = p ( a | x, y, P ) p ( b | x, y, P )$$

Applying the signal locality condition

$$p ( a, b | x, y, P, \lambda ) = p ( a | x, P ) p ( b | y, P )$$

Conditioning on the ontic variable λ , we reached at the desired factorisable condition given by

$$p ( a, b | x, y, P, \lambda ) = p ( a | x, P, \lambda ) p ( b | y, P, \lambda )$$

The above derivation gives authority in drawing remarkable conclusion from BI violation. Since signal locality is an empirically testable (and well-tested) consequence of relativity, violation of

BI would imply unpredictability. This understanding actually plays the fundamental role in an important information theoretic protocol, namely, device independent randomness certification, a pioneer work done by Pironio et al. [28]. Before describing the work of Pironio et al. we first briefly discuss the framework of device independent scenario.

## A. Device independent scenario

The necessity of device independent technique in quantum information processing tasks was pointed out by A. Ac´ ın et al. [63]. They observed that in the BB84 quantum key distribution (QKD) protocol [30] the security proof was based on

- (i) the validity of the quantum formalism,
- (ii) the legitimate partners perfectly know how their correlation is established, e.g., they know the dimensions of the Hilbert space describing their quantum systems.

The security proofs of QKD schemes exploit the well-established quantum features such as the no-cloning theorem, or the monogamy (i.e., nonshareability) of of certain quantum correlations. But if there is no restriction on the Hilbert space dimension, the security proof breaks down. In the noise-free case, the BB84 correlation satisfies p a ( = b x | = y ) = 1 and p a ( = b x | = y ) = 1 / 2. If such correlation results from measurements in the x and z bases on qubit pairs, then the state of these two qubits is necessarily maximally entangled and security follows from monogamy of entanglement. However, the authors, in [19], pointed out that the same correlation can also be reproduced by the following four-qubit state:

$$\rho _ { A B } = \frac { 1 } { 4 } \langle | 0 0 \rangle \langle 0 0 | _ { z } + | 1 1 \rangle \langle 1 1 | _ { z } \rangle \otimes ( | 0 0 \rangle \langle 0 0 | _ { x } + | 1 1 \rangle \langle 1 1 | _ { x } )$$

Here, Alice holds the first and third qubit. Whenever she measures in the z ( x ) basis, she is actually measuring the first (third) qubit in this basis. The same happens for Bob, with the second and fourth qubit. It is easy to verify that the correlation is precisely same as ideal BB84 case. As the state is separable, so a secure key cannot be established. Thus key distribution in these schemes is successful when assumption (ii) is satisfied.

In device independent scenario one does not have detail knowledge about the experimental apparatus, i.e., the experimental set up is like a black-box as shown in Fig(1). On each side, the experimental device is depicted like a box with some knobs. A knob with different positions on each device, denoted respectively by A i and B j , allows Alice and Bob to change the parameters of each

FIG. 1. Black-box description of an experimental set up used in device independent protocol.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0526v1-figure-16200893-d2c8-4ff5-829c-13113ce1fa5d.jpg)

measuring apparatus. Each measurement performed by Alice and Bob has d possible outcomes. Finally, the frequencies P A ( i = m,B j = n ) of occurrence of a given pair of outcomes for each pair of measurements have to be collected. Then it has to be checked whether the correlation satisfy some established physical principles. Only if it fulfills the required conditions, the correlation can be used for secure protocols. In the following we discuss such a device independent task, namely, device independent randomness certification.

## B. DI randomness certification from BI

In DI randomness certification scenario one (Say Alice) has a private place which is completely inaccessible from outside i.e., no illegitimate system may enter in this place. From a cryptographic point of view assumption of such private place is admissible. Alice choses classical inputs x ∈ X and y ∈ Y with probability distributions P X ( x ) and P Y ( y ), respectively, and sends them to two measurement devices ( MD 1 and MD 2 respectively) through some secure classical communication channels. The inputs prescribe the measurement devices to perform some POVM { M a x | | M a x | ≥ 0 ∀ a ; ∑ a M a x | = I H A } and { M b y | | M b y | ≥ 0 ∀ b ; ∑ b M b y | = I H B } on some quantum state ρ , shared between the two devices. Once the inputs are received, no classical communication between the measurement devices MD 1 and MD 2 is allowed. Alice collects the input-output statistics P AB XY ( | ) = { p ab xy ( | ) } . If the input-output statistics violate the Bell expression I , then min-entropy associated with the output is non zero and thus certifiable randomness is obtained. In this case the randomness is certified by the Bell's theorem. As the allowed correlations satisfy signal locality, BI violation implies that operational statistic must be unpredictable and thus randomness can be obtained without knowing the detail of the experimental

device. The setup for DI randomness certification is depicted in Fig.2. To obtain a lower bound in the min-entropy corresponding to a given Bell violation I which does not depend on the input pair one has to first optimize the guessing probability over the all input pair ( x, y ). If this optimized value is denoted as G ∗ then -log 2 G ∗ denote the minimum amount of random bits associated with Bell violation I .

Let Alice is interested in the amount of minimum randomness obtained in NS theory; which mean that any correlation satisfying NS condition is allowed to share between the measurement devices. In that case, the following optimization problem need to be solved:

$$p _ { n s } ^ { * } ( a b | x y ) = \max \quad p ( a b | x y ) \\ & \text{subject to } \sum _ { a b x y } c _ { a b x y } p ( a b | x y ) = I \\ & P ( A B | X Y ) \in \mathcal { P } ^ { N S }.$$

An input-output probability distribution would lie in P NS if the following conditions are satisfied:

- (a) p ab xy ( | ) ≥ 0 ∀ a, b, x, y
- (b) ∑ a,b p ab xy ( | ) = 1 ∀ x, y
- (c) ∑ b p ab xy ( | ) = ∑ b p ab xy ( | ′ ) ∀ x, y, y ′
- (d) ∑ a p ab xy ( | ) = ∑ a p ab x y ( | ′ ) ∀ x, x , y ′

FIG. 2. Setup for DI randomness certification. Classical inputs are sent from Alice's private place to the measurement devices ( MD 1 and MD 2) through secure classical channels. Classical communication is not allowed between two measurement devices.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0526v1-figure-378cf6aa-bf2c-45b1-9a63-281c1306125b.jpg)

where the first and second conditions, respectively, denote positivity and normalization of a probability distribution, the last two conditions are known as NS condition. The minimum amount of random bits corresponding to Bell violation I in NS framework is therefore H ∞ ( AB XY | ) = -log 2 max ab p ∗ ns ( ab xy | ).

To obtain the minimum randomness in quantum theory one has to perform the following optimization problem:

$$p _ { q } ^ { * } ( a b | x y ) = \max \quad p ( a b | x y ) \\ & \text{subject to } \sum _ { a b x y } c _ { a b x y } p ( a b | x y ) = I \\ & p ( a b | x y ) = \text{tr} [ M _ { a | x } \otimes M _ { b | y } \rho ]$$

where the optimization is performed over all states and all POVMs defined over Hilbert space of arbitrary dimension. The second condition is to ensure that the obtained correlation is quantum one. Adapting a straightforward way of technique introduced in [41], one can efficiently check whether a given correlation can be obtained via quantum means or not. The minimum random bits obtained in quantum theory corresponding to BI violation I is thus quantified as H ∞ ( AB XY | ) = -log 2 max ab p ∗ q ( ab xy | ). From the analysis of Ref.[28] it turns out that the minimum amount of randomness corresponding to a Bell violation I obtained from quantum mechanics is higher than that obtained under consideration of NS framework.

Nonlocal correlation finds applications in important information theoretic tasks and hence is considered as useful resource. Quantifying the amount of nonlocality in a given correlation is, therefore, important from practical point of view. The amount of BI violation, beyond the local-realistic bound, gives a natural measure of nonlocality. This measure also has a operational interpretation as it gives the success probability of winning a nonlocal game (eg. for the two-input two-output scenario the well known XOR game). Though the optimal success probability in QM is strictly greater than classical theory, it must be restricted in comparison to more general correlations compatible with relativistic causality. In the following we discuss this nontrivial aspect of quantum nonlocal correlations.

## V. NONLOCALITY IN QUANTUM THEORY: CIREL'SON BOUND

Popescu and Rohrlich first gave an example of a correlation which is more nonlocal than quantum correlations but still satisfy the relativistic causality or no signaling (NS) principle. There

correlation reads as:

$$p ( a b | x y ) & = \frac { 1 } { 2 } \text{ \ if \ } a \oplus b = x y, \\ & = 0 \text{ \ otherwise.}$$

While in a generalized non-signaling theory Bell expression (left hand side of Eq.(9)) can reach the maximum algebraic value 4 i(t is easy to verify that the correlation of Eq.(18) achieves the maximal value 4) in QM this value is restricted by 2 √ 2. We have already seen that performing suitable dichotomic measurements on singlet state the value 2 √ 2 can be achieved. However, Cirel'son showed that sharing any bipartite state and performing any pairs of dichotomic observables on each part the maximum value of Bell expression can not go beyond 2 √ 2 [37]. This value is known as Cirel'son bound .

So, on the one hand QM contains astonishing nonlocal correlation, on the other hand, surprisingly, the nonlocality in QM is restricted is some sense. In the recent past researchers have tried to find out physical principles that can explain this restricted nonlocal feature of QM. Various interesting results have been derived in this regard. First successful attempt was made by W. van Dam [38]. The result is further generalized by Brassard et al. , who showed that in any world in which communication complexity is nontrivial, there is a bound on how much nature can be nonlocal [39]. Pawlowski et al. introduced a new information principle, namely Information Causality (IC), which says that information that Bob can gain about a data set with Alice, by using all his local resources (which may be correlated with Alice's resources) and a classical communication from her, is bounded by the information volume of the communication [40]. The authors further showed that for any theory, satisfying IC, the Bell quantity can not be larger than 2 √ 2. on the other hand, Navascues et al. postulated that any post-quantum theory should recover classical physics in the macroscopic limit [41]. Using this mechanism they were able to derive nontrivial bound on the strength of correlations between distant observers in any physical theory. Recently, another principle, namely, Local orthogonality [42] or Exclusivity [43, 44], an intrinsically multi-partite principle, have been used for the same purpose. Furthermore it has been shown that this principle also exactly singles out the Cirel'son bound [45]. Recently, there is a different kind of development where Uncertainty principle and Complementarity principle have been shown to be related to the nonlocality of a theory in a fundamental way. In the following we discuss these two aspects [46, 47].

## A. Uncertainty, Steering and Nonlocality

In a recent paper Oppenheim and Wehener have shown that QM cannot be more nonlocal with measurements that respect the uncertainty principle [46]. In fact they have proved that degree of nonlocality of any theory is determined by two factors: the strength of the uncertainty principle and the strength of a property called 'steering'. Important to note that they have used a new mathematical form, namely the fine grained uncertainty , to establish their result.

Fine grained uncertainty : Heisenbergs uncertainty principle tells that there are incompatible measurements whose results cannot be simultaneously predicted with certainty [48]. Mathematically, Heisenberg expressed this fact in term of a nonzero lower bound on the product of the standard deviation of the concerned incompatible measurements. There are more modern approach to express this impossibility in term of entropic measures [49]. Oppenheim el al. realized that entropic functions are, however, a rather coarse way of measuring the uncertainty and they have introduced the 'fine grained' form of the uncertainty principle. Let p x ( ( ) t | t ) σ denote the probability that we obtain outcome x ( ) t when performing a measurement labeled t ∈ T when the system is prepared in the state σ and let x = ( x (1) , x (2) , ..., x ( n ) ) ∈ B × n , with n = |T | , denote the combination of possible outcomes. Then for a fixed set of measurements and a probability distribution D = { p t ( ) } t the set of inequalities

$$U = \left \{ \sum _ { t = 1 } ^ { n } p ( t ) p ( x ^ { ( t ) } | t ) _ { \sigma } \leq \zeta _ { \mathbf x } \ | \ \forall \ \mathbf x \in \mathcal { B } ^ { \times n } \right \}$$

describe a fine-grained uncertainty relation. This relations tell that whenever ζ x &lt; 1 one cannot obtain a measurement outcome with certainty for all measurements. The quantity

$$\zeta _ { \mathbf x } = \max _ { \sigma } \sum _ { t = 1 } ^ { n } p ( t ) p ( x ^ { ( t ) } | t ) _ { \sigma }$$

characterizes the 'amount of uncertainty' in a particular physical theory. Here, maximization is taken over all states allowed on a particular system. As for example, in quantum theory ζ Q x = 1 2 (1 + 1 √ 2 ), on the other hand in classical theory as well as in the box theory (marginal correlation for PR correlation or in other word for g-bit) ζ C x = ζ box x = 1.

Steering : Steering denotes the power of remotely preparing different ensembles of a system's state at one place from another spatially separated place. In quantum theory this concept was first introduced by Schr¨dinger [50]. o We know that a mixed state σ of a quantum system can be decomposed in many different ways as a convex sum:

$$\sigma = \sum _ { j } p _ { j } \sigma _ { j },$$

where σ j 's are density operators and { p j } j denote probability distribution. This can be written as an ensemble representation E = { p , σ j j } a of the state σ . If Alice and Bob share a pure entangled state σ AB with the reduced state σ B = tr A ( σ AB ) = σ on Bob's side then corresponding to every ensemble E there exists a measurement on Alices system that allows her to prepare the ensemble [51, 52]. It is important to note that this steering phenomena does not violate no-signaling principle as the unconditional state on Bob's side remains same for Alice's different measurements. As an precise example, consider that Alice and Bob share the singlet state | ψ -〉 AB . Consider two different ensembles { 1 2 , 1 2 , | 0 z 〉〈 0 z | , | 1 z 〉〈 1 z |} and { 1 2 , 1 2 , | 0 x 〉〈 0 x | , | 1 x 〉〈 1 x |} for Bob's reduced state. Alice can prepare these two ensemble by performing measurement on her particle along z -direction and x -direction, respectively. However, it has been later observed that steering is not a strict quantum phenomenon, rather there exist broad class of theories which exhibit this non classical feature [46, 53, 54].

With these two ideas, Oppenheim et al. succeeded to establish that for any physical theory, the strength of nonlocal correlations is determined by a trade off between two aspects: steerability and uncertainty. In the following we discuss this trade off for some interesting class of theories.

- (a) Box world : Here the power of steering is compatible to no signaling principle and there is no uncertainty in this theory. As a result the Bell expression in this theory obtained it's algebraic maximum value 4.
- (b) Q. theory : Here, also, the ability to steer is only limited by the no-signaling principle, i.e., maximal. But, due to presence of uncertainty the nonlocal power of this theory is restricted by Cirel'son bound.
- (c) Classical theory : In classical theory there is no restriction in knowing the values of different observables, simultaneously, or in other word we have no uncertainty relations on the full set of deterministic states. But, this theory shows no nonlocal property as steering is absent in this theory.
- (d) Local theory : On the other hand there exists local hypothetical theories, which have perfect steering, but only due to a high degree of uncertainty they do not exhibit nonlocal behavior. Spekkens toy-bit model is one interesting example of such a theory [54]. It has steering comparable to that in QM and Box world. Had there been no uncertainty, nonlocality would have been equal to that of Box world. However, it can be shown that ξ toy X = 1 2 and hence the theory turns out to be local one.

It is important to note that there is no difference among the theories described in (c) and (d), so far their nonlocal behavior is concerned. However, the other properties of these theories are completely different.

## B. Complementarity and degree of nonlocality

One of the original versions of the complementarity principle tells that there are observables in quantum mechanics that do not admit unambiguous joint measurement. Examples are position and momentum [55-57], spin measurement in different directions [57, 58], path and interference inn the double slit experiment [59, 60], etc. With the introduction of the generalized measurement i.e. positive operator-valued measure (POVM), it was shown that observables which do not admit perfect joint measurement, may allow joint measurement if the measurements are made sufficiently fuzzy [61]. The optimal value of unsharpness that guarantees joint measurement of all possible pairs of dichotomic observables can be considered as the degree of complementarity and it has been shown that it determines the degree of nonlocality of the theory [47].

General framework : Consider a generalized probability theory [64] where any state of the system is described by an element ω of Ω, the convex state-space of the system. Ω may be considered as a convex subset of a real vector space. By convexity of the state-space Ω we mean that any probabilistic mixture of any two states ω , ω 1 2 ∈ Ω, will describe a physical state of the system. An observable A (with the corresponding outcome set { A j : j ∈ J } ) is an affine map from Ω into the set of probability distributions on the outcome set. A measurement of an observable A ≡ { A j | ∑ j p ω A j = 1 ∀ ω ∈ Ω , performed on the system, allows us to gain information about } the state ω of the physical system. The measurement of A consists of various outcomes A j with p ω A j being the probability of getting outcome A j , given the state ω . Let Γ be the set of all observables with two measurement outcomes ( j = +1 , -1 ), say 'yes'(= +1) and 'no'(= -1). If A ∈ Γ is such a kind of two-outcome observable, then the average value of A on a state ω is given by

$$\langle \mathbf A \rangle _ { \omega } = p _ { \mathbf A _ { y e s } } ^ { \omega } - p _ { \mathbf A _ { n o } } ^ { \omega }.$$

Given a two-outcome observable A ≡ { A yes , A no | p ω A yes + p ω A no = 1 ∀ ω ∈ Ω , we define a fuzzy or } unsharp observable, again with binary outcomes A ( λ ) ≡ { A ( λ ) yes , A ( λ ) no | p ω A ( λ ) yes + p ω A ( λ ) no = 1 ∀ ω ∈ Ω , } with 'unsharpness parameter' λ ∈ (0 1], where , p ω A ( λ ) yes no ( ) is the probability of getting the outcome A ( λ ) yes no ( ) in the measurement of A ( λ ) with the result 'yes' ('no'). The probabilities p ω A ( λ ) yes no ( ) are

smooth versions of the probabilities of their original counterparts in the following way:

$$p _ { \mathbf A _ { y e s } ^ { ( \lambda ) } } ^ { \omega } = \left ( \frac { 1 + \lambda } { 2 } \right ) p _ { \mathbf A _ { y e s } } ^ { \omega } + \left ( \frac { 1 - \lambda } { 2 } \right ) p _ { \mathbf A _ { n o } } ^ { \omega },$$

for all ω ∈ Ω. We denote the set of all unsharp observables with binary outcomes for a given λ by Γ ( λ ) . For any A ( λ ) ∈ Γ ( λ ) the average value of A ( λ ) on a given state ω ∈ Ω can be calculated as:

$$\langle \mathbf A ^ { ( \lambda ) } \rangle _ { \omega } = p _ { \mathbf A _ { y e s } ^ { ( \lambda ) } } ^ { \omega } - p _ { \mathbf A _ { n o } ^ { ( \lambda ) } } ^ { \omega } = \lambda \langle \mathbf A \rangle _ { \omega }.$$

Given a state ω ∈ Ω and two observables A 1 ≡ { A 1 j | ∑ j p ω A 1 j = 1 ∀ ω ∈ Ω } and A 2 ≡ { A 2 k | ∑ k p ω A 2 k = 1 ∀ ω ∈ Ω , we say that joint measurement of } A 1 and A 2 exists if there exists a joint probability distribution { p ω A 1 j , A 2 k | ∑ j,k p ω A 1 j , A 2 k = 1 } satisfying the following conditions:

$$\sum _ { k } p _ { \mathbf A _ { 1 j }, \mathbf A _ { 2 k } } ^ { \omega } & = p _ { \mathbf A _ { 1 j } } ^ { \omega }, \quad \forall \ j, \\ \sum _ { j } p _ { \mathbf A _ { 1 j }, \mathbf A _ { 2 k } } ^ { \omega } & = p _ { \mathbf A _ { 1 k } } ^ { \omega }, \quad \forall \ k,$$

whatever be the choice of ω ∈ Ω. For our purpose, we will concentrate only on the existence of the joint measurement of two two-outcome observables A 1 , A 2 ∈ Γ. Given a physical theory it is not justifiable to demand that joint measurement should exist for any pair of A 1 , A 2 ∈ Γ, although in the classical world, it is always possible to construct a joint measurement observable. On the other hand, there are certain observables in quantum theory which can not be jointly measured jointly.

Degree of complementarity : It may be possible that observables which are not jointly measurable in a theory, may admit joint measurement for their unsharp counterparts within that theory. For two given observables, the values of unsharp parameter that make joint measurement possible, depend on the observables. Let λ opt denotes the optimum (maximum) value of the unsharp parameter λ that guarantees the existence of joint measurement for all possible pairs of dichotomic observables A ( λ ) 1 , A ( λ ) 2 ∈ Γ ( λ ) . λ opt can then be considered as a property of that particular theory. It is obvious from the definition that joint measurement must exists for any two A ( λ ) 1 , A ( λ ) 2 ∈ Γ ( λ ) , where λ ≤ λ opt . The value of λ opt measures the degree of complementarity of the theory in the sense that as λ opt decreases, the corresponding theory has more complementarity. Of course, finding the value of λ opt for a theory will depend on the details of the mathematical structure of the theory.

Bound on nonlocality : Let us now consider the case of a composite system consisting of two subsystems with associated state spaces Ω 1 and Ω 2 respectively (in a no-signaling probabilistic theory). The state space of the composite system is defined to be Ω 1 ⊗ Ω , which is again a convex 2 subset of a real vector space, whereas, an observable A 12 is an affine map (with outcome space

{ A ( j ) 12 : j ∈ J } ) from Ω 1 ⊗ Ω 2 into the set of all probability distributions on the outcome space [64]. Given any observable A 1 for the first subsystem (with outcome space { A 1 j : j ∈ J 1 } ) and any observable A 2 for the second subsystem (with outcome space { A 2 k : k ∈ J 2 } ), here, for our purpose, we consider only observables of the form A 12 = { A ( jk ) 12 : p η A ( jk ) 12 = p η A 1 j , A 2 k for all ( j, k ) ∈ J 1 × J 2 and for all η ∈ Ω 1 ⊗ Ω 2 } where p η A 1 j , A 2 k is the probability of getting the result ( j, k ) when measurement of A 1 and A 2 are performed on the joint state η . Thus, when we take the unsharp version A ( λ ) of a dichotomic observable for the first subsystem and a dichotomic observable B for the second subsystem then, for any state η ∈ Ω 1 ⊗ Ω , 2 p η A ( λ ) yes , B yes will be the unsharp version of the probability p η A yes , B yes , i.e. , p η A ( λ ) yes , B yes = (1 / 2 + λ/ 2) p η A yes , B yes +(1 2 / -λ/ 2) p η A no , B yes , etc.

Theorem 2 : Consider a composite system composed of two subsystem with state spaces Ω 1 and Ω 2 respectively in a no-signaling probabilistic theory. For any pair of dichotomic observabless A 1 , A 2 ∈ Γ 1 on the first system and dichotomic observables B 1 , B 2 ∈ Γ 2 on the second system with the joint state η ∈ Ω 1 ⊗ Ω , we have the following inequality: 2

$$| \langle A _ { 1 } B _ { 1 } \rangle _ { \eta } + \langle A _ { 1 } B _ { 2 } \rangle _ { \eta } + \langle A _ { 2 } B _ { 1 } \rangle _ { \eta } - \langle A _ { 2 } B _ { 2 } \rangle _ { \eta } | \leq \frac { 2 } { \lambda _ { o p t } },$$

where λ opt has the meaning as described above.

From the expression of inequality (26) it is clear that the amount of Bell violation is upper bounded by the unsharp parameter λ opt , which is a characteristic of complementarity of that particular physical theory. As for example, in classical theory joint measurement of any two dichotomic observables is possible which means λ opt = 1. Contrary to this, we will show that, in quantum mechanics, the value of λ opt is 1 √ 2 and this has been proved as a theorem in Ref[47].

Theorem 3 : Given any d -dimensional quantum system, joint measurement for unsharp versions of any two dichotomic observables M 1 and M 2 of the system is possible with the largest allowed value of the unsharpness parameter λ opt = 1 √ 2 .

Outline of proof : First we describe the condition of joint measurability of unsharp versions of two dichotomic projection valued measurements (PVM). Let M ≡ { j ℘ j = | ψ j 〉〈 ψ j | , I -℘ j = | ψ ⊥ j 〉〈 ψ ⊥ j |} (for j = 1 2) be two dichotomic PVMs, where , | ψ j 〉 , | ψ ⊥ j 〉 are normalized pure states such that 〈 ψ j | ψ ⊥ j 〉 = 0. The unsharp version of M j be denoted as M ( λ ) j ≡ { ℘ ( λ ) j ≡ (1+ λ ) 2 ℘ j + (1 -λ ) 2 ( I -℘ j ) , ( I -℘ j ) ( λ ) ≡ (1 -λ ) 2 ℘ j + (1+ λ ) 2 ( I -℘ j ) } . Joint measurement of M ( λ ) j 's is possible iff there there exists a POVM M ( λ ) 12 ≡ { G ++ , G + -, G -+ , G --} such that each G ij is a positive

operator satisfying the following properties:

$$G _ { + + } + G _ { + - } + G _ { - + } + G _ { - - } = \mathcal { I } ; \\ G _ { + + } + G _ { + - } = \wp _ { 1 } ^ { ( \lambda ) } \ ; G _ { - + } + G _ { - - } = ( \mathcal { I } - \wp _ { 1 } ) ^ { ( \lambda ) } ; \\ G _ { + + } + G _ { - + } = \wp _ { 2 } ^ { ( \lambda ) } \ ; \ G _ { + - } + G _ { - - } = ( \mathcal { I } - \wp _ { 2 } ) ^ { ( \lambda ) }.$$

In the measurement of the POVM M ( λ ) 12 if G ++ 'clicks', we say that both ℘ ( λ ) 1 as well as ℘ ( λ ) 2 have been 'clicked', and so on.

P. Busch have shown that for the qubit system, the POVM M ( λ ) 12 will exist for all possible pairs of unsharp measurement iff 0 &lt; λ ≤ 1 √ 2 [61]. Thus the maximum allowed value of the unsharpness parameter λ opt is 1 √ 2 . In the case of PVM, the factor 1+ λ 2 ( 1 -λ 2 ) has been interpreted as degree of reality (unsharpness) [61]. Consider d dimensional Hilbert space H and also consider two dichotomic PVMs, { P, 1 -P } and { Q, 1 -Q } . There is an useful result in linear algebra, which guarantees the existence of an orthonormal basis such that H = ⊕ k α =1 H α , with H α at most two dimensional [62, 63]. Therefore we have:

$$P & = \oplus _ { \alpha = 1 } ^ { k } P ^ { \alpha } ; \quad 1 - P = \oplus _ { \alpha = 1 } ^ { k } ( 1 - P ) ^ { \alpha } ; \\ Q & = \oplus _ { \alpha = 1 } ^ { k } Q ^ { \alpha } ; \quad 1 - Q = \oplus _ { \alpha = 1 } ^ { k } ( 1 - Q ) ^ { \alpha },$$

where P α , ( 1 -P ) α , Q α , ( 1 -Q ) α are null, one dimensional or two dimensional projectors on H α . Using this result we extended Busch's result for any pair of two outcomes observables and reached at the Theorem 3 (see [47] for detail).

As an immediate consequence of Theorem 2 and Theorem 3, it follows that the amount of nonlocality of quantum theory respects the Cirel'son bound. According to Theorem 2, in a generalized probability theory the optimal BI violation is restricted to 2 λ opt . However, Theorem 2 can not determine whether this value will be achieved (or not) in a particular theory. In a recent work, Stevens and Busch have provided sufficient criteria for achieving this bound [65].

Theorem 4 (Stevens and Busch): In any probabilistic model of a system A that supports uniform universal steering, the Cirel'son bound is given by the tight inequality that can be saturated

$$\mathbb { B } \leq \frac { 2 } { \lambda _ { o p t } }.$$

In the Ref.[65] the authors have provided a simple nonclassical, nonquantum example, namely, squit or Box theory (which is the marginal state space of the PR correlation). The two-dimensional state space of squit is given by a square, denoted as glyph[square] , which contains all the points ( x, y, 1) with

-1 ≤ x + y ≤ 1, - ≤ 1 x -y ≤ 1. The collection of effects on glyph[square] is a convex set E ( glyph[square] ) in the ordered linear space A ( glyph[square] ) of affine functionals on glyph[square] , i.e.

$$\mathcal { E } ( \Box ) \coloneqq \{ e \in \mathcal { A } ( \Box ) | 0 \leq e ( \omega ) \leq 1, \ \forall \ \omega \in \Box \}.$$

The squit leads to maximally incompatible effects in the sense that it leads to the smallest possible value of λ squit opt = 1 2 . As the correlated system (PR correlation) satisfy the sufficient criterion stated in Theorem 4, hence this theory achieves the maximal BI violation 4.

## VI. CONCLUSION

Discovery of Bell's theorem is sometime considered as the most profound discovery of physical science of the last Century. Apart from its implication concerning world views about properties of physical world, the violation of Bell's inequality by quantum theory finds real application in information theory and communication tasks. In this review, we present various derivation of Bell's inequality with the aim of understanding the various implications of the violation of this inequality. We also discuss the recent discoveries of some universal principles (in the sense of encompassing all physical theories) and discuss how they can reproduce bound on Bell's inequality violation which exactly matches with the quantum bound. Finally we discuss the recent development regarding the relation of nonlocality with uncertainty and complementarity principles where uncertainty along with steering capacity determines the amount of nonlocality and complementarity provides an upper bound on nonlocality of the theory.

## ACKNOWLEDGMENTS

We gratefully acknowledge discussions with Sibashis Ghosh and Md. Rajjak Gazi.

- [1] J. S. Bell, 'On the Einstein Podolsky Rosen Paradox' , Physics 1 , 195200 (1964). Reproduced in Ref.[2].
- [2] M. Bell, K. Gottfried, and M. Veltman (eds.), 'John S. Bell on the Foundations of Quantum Mechanics' , World Scientific, Singapore, (2001).
- [3] A. Einstein, B. Podolsky, and N. Rosen, 'Can quantum-mechanical description of physical reality Be considered complete?' , Phys. Rev. 47 , 777 (1935).
- [4] W. Hisenberg, 'The Physical Principle of the Quantum Theory' , Dover, New York (1930); N. Bohr, 'Atomic Theory and the Description of Nature' , Cambridge University Press (1934); L. E. Ballentine,

'The Statistical Interpretation of Quantum Mechanics' , Rev. Mod. Phys. 42, 358 (1970); H. P. Stapp, 'The Copenhagen Interpretation' , Am. J. Phys. 40 , 1098 (1972).

- [5] N. Bohr, 'Can quantum-mechanical description of physical reality be considered complete?' , Phys. Rev. 48 , 696 (1935).
- [6] A. Shimony, 'Search for a world view which can accommodate our knowledge of micro-physics' , Philosophical consequences of quantum theory (J. T. Cushing and E. McMullin, eds.), University of Notre Dame press (1989).
- [7] R. W. Spekkens, 'Contextuality for preparations, transformations, and unsharp measurements' , Phys. Rev. A 71 , 052108 (2005).
- [8] N. Harrigan &amp; T. Rudolph, 'Ontological models and the interpretation of contextuality' , arXiv:0709.4266.
- [9] Michael J. W. Hall, 'Local Deterministic Model of Singlet State Correlations Based on Relaxing Measurement Independence' , Phys. Rev. Lett. 105 , 250404 (2010); J. Barrett and N. Gisin, 'How Much Measurement Independence Is Needed to Demonstrate Nonlocality?' , Phys. Rev. Lett. 106 , 100406 (2011); M. Banik, MD R.Gazi, S. Das, A. Rai, S. Kunkri, 'Optimal free-will on one side in reproducing the singlet correlation' , J. Phys. A: Math. Theor. 45 , 205301 (2012).
- [10] R. F. Werner, 'Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model' , Phys. Rev. A 40 , 4277 (1989).
- [11] R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, 'Quantum entanglement' , Rev. Mod. Phys. 81 , 865 (2009).
- [12] J. F. Clauser, M. A. Horne, A. Shimony and R. A. Holt, 'Proposed Experiment to Test Local HiddenVariable Theories' , Phys. Rev. Lett. 23 , 880 (1969).
- [13] A. Aspect, P. Grangier and G. Roger, 'Experimental Tests of Realistic Local Theories via Bell's Theorem' , Phys. Rev. Lett. 47 , 460 (1981); A. Aspect, J. Dalibard and G. Roger, 'Experimental Test of Bell's Inequalities Using Time- Varying Analyzers' , Phys. Rev. Lett. 49 , 1804 (1982); J-W Pan, D Bouwmeester, M. Daniell, H. Weinfurter and A. Zeilinger, 'Experimental test of quantum nonlocality in three-photon GreenbergerHorneZeilinger entanglement' , Nature 403 , 515 (2000); M. A. Rowe, D. Kielpinski, V. Meyer, C. A. Sackett, W. M. Itano, C. Monroe and D. J. Wineland, 'Experimental violation of a Bell's inequality with efficient detection' , Nature 409 , 791 (2001); M. Giustina et al. , 'Bell violation using entangled photons without the fair-sampling assumption' , Nature 497 , 227 (2013).
- [14] T. Heinosaari, D. Reitzner, and P. Stano, 'Notes on Joint Measurability of Quantum Observables' , Foundations of Physics 38 , 1133 (2008).
- [15] P. Busch, P. Lahti, and P. Mittelstaedt, 'The Quantum Theory of Measurement' , Springer (1996).
- [16] E. Andersson, S. M. Barnett, and A. Aspect, 'Joint measurements of spin, operational locality, and uncertainty' , Phys. Rev. A 72 , 042104 (2005).
- [17] A. Fine, 'Hidden Variables, Joint Probability, and the Bell Inequalities' , Phys. Rev. Lett. 48 , 291 (1982).

- [18] N. Gisin, 'Bells inequality holds for all non-product states' , Physics Letters A 154 , 201 (1991).
- [19] J. Barrett, 'Nonsequential positive-operator-valued measurements on entangled mixed states do not always violate a Bell inequality' , Phys. Rev. A 65 , 042302 (2002).
- [20] M. M. Wolf, D. Perez-Garcia, and C. Fernandez, 'Measurements Incompatible in Quantum Theory Cannot Be Measured Jointly in Any Other No-Signaling Theory' , Phys. Rev. Lett. 103 , 230402 (2009).
- [21] Y-C Liang, R. W. Spekkens, H. M. Wiseman, 'Specker's Parable of the Over-protective Seer: A Road to Contextuality, Nonlocality and Complementarity' , Phys. Rep., 506 , 1 (2011).
- [22] M. T. Quintino, T. V´rtesi, and N. Brunner, e 'Joint measurability, EPR steering, and Bell nonlocality' , arXiv:1406.6976.
- [23] R. Uola, T. Moroder, O. G¨hne, u 'Joint measurability of generalized measurements implies classicality' , arXiv:1407.2224
- [24] E. Schr¨dinger, o 'Probability relations between separated systems' , Mathematical Proceedings of the Cambridge Philosophical Society 32 , 446 (1936).
- [25] H. M. Wiseman, S. J. Jones, and A. C. Doherty, 'Steering, Entanglement, Nonlocality, and the EinsteinPodolsky-Rosen Paradox' , Phys. Rev. Lett. 98 , 140402 (2007).
- [26] V. Scarani, 'The device-independent outlook on quantum physics (lecture notes on the power of Bell's theorem)' , Acta Physica Slovaca 62 , 347 (2012), (arXiv:1303.3081).
- [27] J. Barrett, L. Hardy, and A. Kent, 'No Signaling and Quantum Key Distribution' , Phys. Rev. Lett. 95 , 010503 (2005); A. Ac´ ın, N. Gisin, and L. Masanes, 'From Bells Theorem to Secure Quantum Key Distribution' , Phys. Rev. Lett. 97 , 120405 (2006); A. Ac´ ın, N. Brunner, N. Gisin, S. Massar, S. Pironio, and V. Scarani, 'Device-Independent Security of Quantum Cryptography against Collective Attacks' Phys. Rev. Lett. 98 , 230501 (2007).
- [28] S. Pironio et al. , 'Random numbers certified by Bells theorem' , Nature (London) 464 , 1021 (2010).
- [29] A. Ac´ ın, N. Gisin, and L. Masanes, 'From Bells Theorem to Secure Quantum Key Distribution' , Phys. Rev. Lett. 97 , 120405 (2006).
- [30] C. H. Bennett and G. Brassard, 'Quantum cryptography: Public key distribution and coin tossing' , Proceedings of IEEE International Conference on Computers, Systems and Signal Processing 175 , 8 (1984).
- [31] A. Ac´ ın, S. Massar, and S. Pironio, 'Randomness versus Nonlocality and Entanglement' , Phys. Rev. Lett. 108 , 100402 (2012). M. Banik, 'Measurement-device-independent randomness certification by local entangled states' , arXiv:1401.1338.
- [32] N. Brunner, S. Pironio, A. Ac´ ın, N. Gisin, A. A. M´ ethot, and V. Scarani, 'Testing the Dimension of Hilbert Spaces' , Phys. Rev. Lett. 100 , 210503 (2008); A. Mukherjee, A. Roy, S. S. Bhattacharya, S. Das, Md. R. Gazi, M. Banik, 'Device independent Schmidt rank witness by using Hardy paradox' , arXiv:1407.2146
- [33] N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, S. Wehner, 'Bell nonlocality' , Rev. Mod. Phys. 86 , 419 (2014); and references therein.

- [34] D. Bohm, 'A Suggested Interpretation of the Quantum Theory in Terms of 'Hidden' Variables. I.' , Phys. Rev. 85 , 166 (1952).
- [35] E. G. Cavalcanti, H. M. Wiseman, 'Bell Nonlocality, Signal Locality and Unpredictability (or What Bohr Could Have Told Einstein at Solvay Had He Known About Bell Experiments)' , Found. of Phys. 42 , 1329 (2012).
- [36] M. Navascu´ es, S. Pironio, A. Ac´ ın, 'A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations' , New J. Phys. 10 , 073013, (2008).
- [37] B. S. Cirelson, 'Quantum generalizations of Bell's inequality' , Lett. Math. Phys. 4 , 93 (1980).
- [38] W. van Dam, Ph.D. thesis, University of Oxford (2000), Chap. 9; see also http://arxiv.org/quantph/0501159.
- [39] G. Brassard, H. Buhrman, N. Linden, A. A. M´ ethot, A. Tapp, and F. Unger, 'Limit on Nonlocality in Any World in Which Communication Complexity Is Not Trivial' , Phys. Rev. Lett. 96 , 250401 (2006)
- [40] M. Pawlowski, T. Paterek, D. Kaszlikowski, V. Scarani, A. Winter, M. Zukowski, 'Information causality as a physical principle' , Nature 461 , 1101 (2009).
- [41] M. Navascu´ es, and H. Wunderlich, 'A glance beyond the quantum model' , Proc. Roy. Soc. Lond. A 466 , 881 (2009).
- [42] T. Fritz, A.B. Sainz, R. Augusiak, J Bohr Brask, R. Chaves, A. Leverrier, A. Ac´ ın, 'Local orthogonality as a multipartite principle for quantum correlations' , Nature Communications 4 , 2263 (2013).
- [43] A. Cabello, 'Specker's fundamental principle of quantum mechanics' , arXiv:1212.1756.
- [44] B. Amaral, M. T. Cunha, and A. Cabello, 'Exclusivity principle forbids sets of correlations larger than the quantum set' , Phys. Rev. A 89 , 030101(R) (2014).
- [45] A. Cabello, 'The exclusivity principle singles out the quantum violation of the Bell inequality' , arXiv:1406.5656.
- [46] J. Oppenheim and S. Wehner, 'The Uncertainty Principle Determines the Nonlocality of Quantum Mechanics' , Science 330 , 1072 (2010).
- [47] M. Banik, Md. R. Gazi, S. Ghosh, G. Kar, 'Degree of Complementarity Determines the Nonlocality in Quantum Mechanics' , Phys. Rev. A 87 , 052125 (2013).
- [48] W. Heisenberg, Z. Phys. 43 , 172 (1927).
- [49] I. Bialynicki-Birula, J. Mycielski, 'Uncertainty relations for information entropy in wave mechanics' , Comm. in Math. Phys. 44 (2), 129-132 (1975); D. Deutsch, 'Uncertainty in Quantum Measurements' , Phys. Rev. Lett. 50 , 631 (1983); H. Maassen and J. B. M. Uffink, 'Generalized entropic uncertainty relations' , Phys. Rev. Lett. 60 , 1103 (1988).
- [50] E. Schr¨dinger, Proc. Cambridge Philos. Soc. o 31 , 553 (1935); E. Schr¨dinger, Proc. Cambridge Philos. o Soc. 32 , 446 (1936).
- [51] N. Gisin, 'Stochastic Quantum Dynamics and Relativity' , Helv. Phys. Acta 62 , 363 (1989) .
- [52] L. P. Hughston, R. Jozsa &amp; W. K. Wootters, 'A complete classification of quantum ensembles having a given density matrix' , Phys. Lett. A 183 , 14 (1993) .

- [53] H. Barnum, C. Gaebler, A. Wilce, 'Ensemble Steering, Weak Self-Duality, and the Structure of Probabilistic Theories' , 0912.5532 (2009).
- [54] R. W. Spekkens, 'In defense of the epistemic view of quantum states: a toy theory' , Phys. Rev. A 75 , 032110 (2007).
- [55] E. B. Davies, 'Quantum Theory of Open Systems' , Academic, London, (1976).
- [56] E. Prugovecki, 'Stochastic Quantum Mechanics and Quantum Spacetime' , Reidel, Dordrecht, (1984).
- [57] P. Busch, 'Indeterminacy relations and simultaneous measurements in quantum theory' , Int. J. Theor. Phys. 24 , 63 (1985).
- [58] K. Kraus, 'States, Effects, and Operations' , Lecture Notes in Physics, Vol. 190, Springer, Berlin, (1983).
- [59] M. O. Scully, B.-G. Englert, H. Walther, 'Quantum optical tests of complementarity' , Nature 351 , 111 (1991).
- [60] W. K. Wootters, W.H. Zurek, 'Complementarity in the double-slit experiment: Quantum nonseparability and a quantitative statement of Bohr's principle' ' Phy. Rev. D 19 , 473 (1979).
- [61] P. Busch, 'Unsharp reality and joint measurements for spin observables' , Phys. Rev. D 33 , 2253 (1986).
- [62] P. R. Halmos, 'Two subspaces' , Trans. Amer. Math. Soc. 144 , 381 (1969).
- [63] L. Masanes, 'Asymptotic Violation of Bell Inequalities and Distillability' , Phys. Rev. Lett. 97 , 050503 (2006).
- [64] J. Barrett, 'Information processing in generalized probabilistic theories' , Phys. Rev. A 75 , 032304 (2007).
- [65] N. Stevens and P. Busch, 'Steering, incompatibility, and Bell-inequality violations in a class of probabilistic theories' , Phys. Rev. A 89 , 022123 (2014).
Guruprasad Kar Manik Banik
Several foundational and information theoretic implications of Bell's theorem
In 1935, Albert Einstein and two colleagues, Boris Podolsky and Nathan Rosen
(EPR) developed a thought experiment to demonstrate what they felt was a lack
of completeness in quantum mechanics. EPR also postulated the existence of more
fundamental theory where physical reality of any system would be completely
describe by the variables/states of that fundamental theory. This variable is
commonly called hidden variable and the theory is called hidden variable theory
(HVT). In 1964, John Bell proposed an empirically verifiable criterion to test
for the existence of these HVTs. He derived an inequality, which must be
satisfied by any theory that fulfill the conditions of locality and reality} He
also showed that quantum mechanics, as it violates this inequality, is
incompatible with any local-realistic theory. Later it has been shown that
Bell's inequality can be derived from different set of assumptions and it also
find applications in useful information theoretic protocols. In this review we
will discuss various foundational as well as information theoretic implications
of Bell's inequality. We will also discuss about some restricted nonlocal
feature of quantum nonlocality and elaborate the role of Uncertainty principle
and Complementarity principle in explaining this feature.