Arxiv:2101.10167V1 [Quant-Ph]
Total Page:16
File Type:pdf, Size:1020Kb
Quantum violation of the Suppes-Zanotti inequalities and “contextuality” Karl Svozil∗ Institute for Theoretical Physics, TU Wien, Wiedner Hauptstrasse 8-10/136, 1040 Vienna, Austria (Dated: January 26, 2021) The Suppes-Zanotti inequalities involving the joint expectations of just three binary quantum observables are (re-)derived by the hull computation of the respective correlation polytope. A min-max calculation reveals its maximal quantum violations correspond to a generalized Tsirelson bound. Notions of “contextuality” motivated by such violations are critically reviewed. PACS numbers: 03.65.Ca, 02.50.-r, 02.10.-v, 03.65.Aa, 03.67.Ac, 03.65.Ud Keywords: Suppes-Zanotti inequalities, Greenberger-Horne-Zeilinger argument, Kochen-Specker theorem, Born rule, min- max calculation, convex polytope, contextuality I. TWO-PARTITE VECTOR-BASED EXPECTATIONS NOT B. General classical predictions SATISFYING CLASSICAL BOUNDS To construct a generic classical situation, a generalized urn Classical bounds on probabilities and expectations can be model [11] is introducedwhich can also be phrasedin terms of expected to be “violated” by or “being different” from quan- finite-state identification problems of automata allowing com- tum probabilities and expectations because the latter are based plementarity [12]. Its formalization is in terms of set-theoretic on multi-dimensional vectorial entities whereas the formerare partitions [13] and power sets. based on scalars in (sub)sets of power sets. Exactly how these In terms of generalized urn models, we consider urns violations are operationalized and measured has developed filled with black balls painted with three different colors, from an intuitive, heuristic search in the early days [1–3] into one color per observable X, Y, and Z. Since each ob- a systematic method [4–8]. servable may have two different outcomes we can, for in- stance, label these outcomes by “+” and “ ”, printed on The most elementary expression of the classical versus − quantum difference quoted earlier is the two-partite correla- these balls in the respective colors. There are eight such ball types. As the urn is filled with an arbitrary distribu- tion function of two dichotomic observables X,Y 1,+1 . It is empirically collected from a series of N measurements∈{− of} tion of ball types, it can only be ascertained that they oc- 1 N cur with probabilities 0 λ 1, were the indices refer X and Y and defined by X,Y s N ∑i=1 XiYi, where the in- ≤ ±±± ≤ dex i refers to the ith measurement,h i ≈ and s refers to a specific to the respective symbols in the colors associated with our (unaltered) state on which these repetitive measurements are three observables. Since in such a scheme the ball types are performed. It is assumed that, if N increases, the limit exists mutually exclusive and their enumeration is complete (i.e., and is monotonically approached – that is, for “large enough” exhaustive), we can suppose that ∑i, j,k +, λi jk = 1, and the joint expectations add up accordingly;∈{ −} e.g., E(X,Y) = N, X,Y s is a “good approximation” [9]. h i ∑k +, λ++,k + λ ,k λ+ ,k + λ +,k . ∈{ −} −− − − − C. Quantum predictions on a singlet state A. Classical predictions on “singlet-type” states The quantum predictions of a single observable in an ar- arXiv:2101.10167v1 [quant-ph] 25 Jan 2021 It is not too difficult to model a classical two-partite state bitrary direction characterized by the spherical coordinates q which shows “singlet-like” characteristics – an example 0 θ π and 0 ϕ < 2π is derived from the Pauli spin ≤ ≤ ≤ would be the angular momentum in a particular spacial di- matrices σx, σy and σz forming the spin operator σ (θ,ϕ)= rection of two fragments of a bomb which originally had no σx sinθ cosϕ + σy sinθ sinϕ + σz cosθ and the single particle angular momentum in any direction [10]. An argument in- S 1 I projection operator (θ,ϕ)= 2 [ 2 σ (θ,ϕ)] for the states volving equidistribution of angular momenta of the fragments “ ” and “+”, respectively.± The respective± two-partite pro- − reveals a linear classical correlation on such a state; that is, jection operators are S (θ1,ϕ1,θ2,ϕ2) = S (θ1,ϕ1) ±1±2 ±1 ⊗ X,Y c = E(X,Y) = E(θ) = 1 + 2θ/π, where the angle S (θ ,ϕ ). Finally, the operator associated with the two- h i − 2 2 2 0 θ π characterizes the “spatial separation” of the direc- partite± expectations is F(X,Y )= F(θ ,ϕ ,θ ,ϕ )= S + ≤ ≤ 1 1 2 2 ++ tions of these observables X and Y . S (S+ + S +)= σ (θ1,ϕ1) σ (θ2,ϕ2). −−Suppose− − we− are interested⊗ in the correlation func- tion for a singlet state in the Bell basis q = Ψ Ψ ⊺ with Ψ = 1 0,1, 1,0 , then the| −ih quan-−| | −i √2 − tum prediction yields X,Y q = F(θ1,ϕ1,θ2,ϕ2) = [email protected]; http://tph.tuwien.ac.at/˜svozil h i ∗ [cosθ1 cosθ2 + cos(ϕ1 ϕ2)sinθ1 sinθ2]. For − − 2 ϕ1 = ϕ2 this reduces to the well-known cosine form The original method of deriving these bounds is rather in- X,Y q = F(θ1,0,θ2,0)= F(θ1 θ2)= cos(θ1 θ2), that volved. But with today’s convex polytope techniques [4, is,h thei two-partite correlation− for dichotomic− observable− s 7, 20] it is not too difficult to derive those inequalities: X,Y = 1 of the two-partite singlet state is proportional to (i) form all possible combinations of joint occurrences by the Euclidean± scalar product between the vectors associated multiplying the respective dichotomic observables – in this with X and Y . case E(X,Y)= XY, E(X,Z)= XZ, E(Y,Z)= Y Z; (ii) form The maximal quantum-to-classical violations the 3-tuples (that is, the finite ordered list or sequence) of all three numbers for particular instances of X,Y,Z 2 1,+1 E(X,Y),E(X,Z),E(Y,Z) = XY,XZ,YZ , (iii)∈ 2 2 1 2 max E(θ) F(θ) = 1 cos− 0.2 pretend{− these} 3-tuples are coordinates (with respect to the θ 0,π | − | s − π − π π ≈ ∈{ } (1) Cartesian three-dimensional standard basis) of vertices of a resulting from less, as well as more, equal occurrences of convex polytope, and (iv) according to the Minkowski-Weyl the joint observables ++/ and + / +, occur at angles “main” representation theorem [21–23] represent this poly- (d/dθ)[E(θ) F(θ)] = 0,−− that is, at − − tope as its facets by the hull computation [23, 24]. These facet − (in)equalities represent Boole-Bell type “conditions of possi- 2 ble (classical) experience”. θ = sin 1 as well as − π With three dichotomic observables, such procedures result (2) in eight three-dimensional row vectors. Four of them are lin- 1 2 θ = π sin− , respectively. − π early independent. They are interpreted as the vertices of a correlation polytope. The row vectors, stacked on top of one another, form a 4 3 Travis [25] matrix [26] D. Quantum predictions on more general pure states × +1 +1 +1 By a min-max calculation [14] it is not too difficult to com- +1 1 1 Ti j = − − . (5) pute those quantum states which, given arbitrary angles be- 1 +1 1 −1 1 +−1 tween the two observables X and Y , yield the minimal and − − maximal correlations: all that is needed is the eigensystem of The hull computation (eg, by pycddlib [27], a Python wrap- F(θ ,ϕ ,θ ,ϕ ). Rather than enumerating this eigensystem in 1 1 2 2 per of Fukuda’s cddlib algorithm [28] implementing the full generality the special case θ = θ and θ = ϕ = ϕ = 0 is 1 2 1 2 Double Description Method [29]) yields the four Suppes- posted, resulting in the (decomposable) vectors (modulo nor- Zanotti-Brodi inequalities [15, 16] malization) ⊺ 1 E(X,Y)+ E(X,Z)+ E(Y,Z), ψ1,min = 0,cosθ + 1,0,sinθ as well as − ≤ | i ⊺ (3) 1 E(X,Y) E(X,Z)+ E(Y,Z), ψ2,min = cosθ 1,0,sinθ,0 − ≤− − (6) | i − 1 E(X,Y) E(X,Z) E(Y,Z), − ≤ − − for the minimal expectation X,Y = 1; and 1 E(X,Y)+ E(X,Z) E(Y,Z). h i − − ≤− − ⊺ ψ1,max = 0,cosθ 1,0,sinθ as well as | i − ⊺ (4) ψ2,max = cosθ + 1,0,sinθ,0 B. Quantum bounds by min-max calculation | i for the maximal expectation X,Y = 1, respectively. h i The min-max calculations [14] of the associated operators F(X,Y) F(X,Z) F(Y,Z) with the quantum expectation F as defined± earlier amounts± to summing up the separate terms II. THE CASE OF TREE OBSERVABLES and determining the eigensystem of these new observables. It yields quantum bounds allowing ranges bounded by A. Classical bounds 3 < F(X,Y ) F(X,Z) F(Y,Z) < 3 (7) One might as well stop here, contemplate the elementary − ± ± difference between two forms of probabilitiesbased on scalars which violate the classical ones (6) by almost the greatest al- and power sets in the classical case, and on vectors and the gebraically possible amount. vector space spanned by them in the quantum case, and leave For the sake of more concrete realizations, we shall set it at that. However, this is not what happened historically: all azimuthal angles to zero and take equidistant polar angles Bell and others tried to find criteria for non-compliance with such that the directions of X, Y, and Z in configuration space classical behavior involving more than just two observables. are 0, θ, and 2θ, respectively. Then the min-max compu- In particular, Suppes and Zanotti [15–17] presented special tation associated with F(0,θ)+ F(0,2θ)+ F(θ,2θ) exhibits cases of what Boole called “conditions of possible experi- two eigenvalues ence” [18, 19] involving just three dichotomic observables 1/2 X,Y,Z 1,+1 .