Beyond Bell’s theorem: realism and locality without Bell-type correlations

The long-lasting view of entanglement as the characteristic trait of quantum mechanics has been recently challenged by experimental demonstrations of non-quantum entanglement. This motivates a review of the meaning of Bell violations, which have been widely taken to prove the impossibility of a realistic interpretation of quantum mechanics and as a manifestation of its non-local character. This work provides new theoretical evidence for the need of reviewing the meaning of Bell violations, especially when they occur outside the quantum framework. We present a local-realistic model that reproduces quantum predictions concerning Bell tests. We claim that local-realism is fully compatible with correlations that are not of the Bell type and therefore lie outside the scope of Bell’s theorem. Most experimental Bell tests involve either spin vectors spanning the Bloch sphere or Stokes vectors spanning the Poincaré sphere. A suitable statistical tool that allows assessing correlations between vectors is given by inner-product-type correlations. Using them, it is possible to reproduce quantum predictions for all Bell states, thereby explaining experimental results of Bell tests within a local-realistic framework.

Our aim is to see how far we can go with a local-realistic, classical approach, by paralleling the quantum approach. This should help us assessing how much an approach departs from the other, thereby contributing to fix the yet undetermined quantum-classical border. A key question thus concerns the definition of statistical correlations by means of inner products. Is this definition allowed only within the quantum framework? This point will be discussed with the help of Gudder's theorem 26 . To this end, we first discuss the relevant background, with special emphasis on the derivation of Born's rule from Gudder's theorem. As well known, Born's rule is at the basis of quantum correlations. We will thus identify all quantum correlations that are relevant to standard Bell tests. These are the ones that should be reproduced by a local-realistic model. Such a model is presented and, finally, we discuss our results.
Bell-type and quantum correlations Standard Bell tests. As is well known, standard Bell tests involve two types of correlations: Bell-type correlations 〈AB〉 Bell and quantum correlations 〈AB〉 QM . Representative examples of these are given by Unit vectors â and b span the Bloch sphere in the case of spin-1/2 particles and the Poincaré sphere in the case of polarized photons. These unit vectors can also be thought of as fixing the respective orientations of Stern-Gerlach apparatuses for spin measurements, or the corresponding setups for measuring Stokes vectors in the optical case. In the quantum case, â and b also fix the observables being measured by Alice and Bob: ˆσ ⋅ a A and b B σ ⋅ , respectively. These observables produce a binary output that is encoded by A(λ) and B(λ) in the local-realistic case, in which "hidden variables" λ are assumed to determine whether the output is +1 or −1 in each case, i.e., A(λ) = ±1 and B(λ) = ±1. The probability distribution of λ is given by ρ(λ) ≥ 0, with ∫ρ(λ)dλ = 1.
Various, so-called Bell measures can be constructed in terms of the above correlations. The Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) measure is a particularly suitable one for experimental tests 20 . It is given by Here, A and A′ refer to two different settings: â and â ′, respectively, and similarly for B, B′. In the case of 〈AB〉 Bell , on using the identity (A(λ) + A′(λ))B(λ) + (A(λ) − A′(λ))B(λ) = ±2 together with |∫f(λ)dλ| ≤ ∫|f(λ)|dλ, one can readily prove that |S| ≤ 2 for any choice of states and observables, while one can get |S| = 2 2 for 〈AB〉 QM , under appropriate choice of states and observables 27,28 . The fact that |S| > 2 for 〈AB〉 QM has led people to conclude that quantum correlations can be "stronger" than classical, Bell-type ones. Bell violations of constraints such as |S| ≤2 have also prompted the conclusion that quantum mechanics is non-local.
Turning now to 〈AB〉 Bell , we should stress that it is a local quantity, in spite of involving two distant settings. Indeed, it derives from , , ) being the conditional probability of α = ±1 and β = ±1 occurring when measuring settings (ˆâ b ( , )) are fixed at distant locations, while shared randomness is fixed by the hidden-variable λ. On invoking the locality assumption, one sets  (4). Modulo some loopholes, experiments have shown that we must resort to correlations such as 〈AB〉 QM rather than 〈AB〉 Bell , in order to describe experimental findings. The theoretical axiomatic behind 〈AB〉 QM is that of quantum mechanics, more specifically Born's rule. The theoretical axiomatic behind 〈AB〉 Bell is Kolmogorov's axiomatic of probability theory 29 . We could thus be tempted to conclude that Kolmogorov's axiomatic is in conflict with quantum mechanics. Gleason's attempt 30 to derive Born's rule from Kolmogorov's axiomatic might be seen as an attempt to show that quantum mechanics is not in conflict with our most basic notions of probability. However, Gleason's derivation of Born's rule excluded two-dimensional Hilbert spaces, which are of paramount importance in quantum mechanics. The 2D case was afterwards covered by Busch's approach 31 , but at the cost of conflicting Kolmogorov's axiomatic. A third attempt was presented recently [32][33][34] , in which the 2D case is covered without conflicting Kolmogorov's axiomatic. Moreover, this axiomatic appears as a special case of what can be seen as the most basic physical concept, namely the concept of a signed measure. Our basic notion of a measure is encoded by a non-negative function m over a σ-algebra, a function that is required to satisfy m(A ∪ B) = m(A) + m(B), whenever A ∩ B = ∅. A measure essentially quantifies how many times a given unit fits into what is being measured. Very often, it is convenient to provide this measure with a sign, thereby defining a signed measure. This allows us to count not only how many times the unit fits into something, but also how many times the unit is missing when trying to reach some given amount. A probability measure is a non-negative measure. As such, it is a special case of a signed measure. Gudder's theorem allows us to deal with signed measures that lead to the Born rule when properly restricted by physical requirements. Moreover, we can deal with correlations Scientific REPORTS | 7: 14570 | DOI:10.1038/s41598-017-14956-y between measured quantities and be in accordance with experimental outcomes of Bell tests, without invoking any quantum concept. We next dwell extensively on these issues.
Classical and quantum probabilities. Eq. (2) is based on Born's rule, which in its simplest form establishes that |〈φ|ψ〉| 2 is the probability of finding a system in state |φ〉, when it was previously prepared in state |ψ〉. We should stress that Born's formula applies irrespective of location. That is, it works the same when we have, say, |〈φ(x)|ψ(y)〉| 2 , with x ≠ y. This is because Born's formula is just a measure for the overlap of two vectors, |φ〉 and |ψ〉, irrespective of any positional degrees of freedom that we may attach to them. Hence, a potential built-in non-locality is already there. It is thus no wonder that non-locality shows up in related expressions, such as the probability rules that we interpret as "correlations".
We can make more obvious that Born's formula requires only a vectorial scalar product -rather than the square of it -by writing this formula in the form Tr( ) ρ ρ φ ψ † , where ρ φ = |φ〉〈φ| and ρ ψ = |ψ〉〈ψ|. Here, we recognize the Hilbert-Schmidt inner product for operators A and B, namely Tr(A † B). The latter is just a reshaping of the standard, Euclidean inner product between vectors: a ⋅ b = ∑ i a i b i , which follows from "vectorializing" the matrix representations of A and B. By "vectorializing" a matrix we mean writing its rows as column vectors, one on top of the next. It is thus possible that Born's rule by itself does not convey any feature that must be dubbed a "quantum mechanical" one. In order to elucidate this issue, we focus on two-level systems (qubits), the ones most relevant for measurements having a binary output, i.e., those entering the Bell tests we address here.
As we shall see, the correlations entering Bell tests may be expressed as inner products. This is just a particular instance of a general statement regarding physical measurements. As we said before, measurements essentially consist on counting how many times some given unit fits into the observable being measured, and the mathematical tool that captures this basic notion is a non-negative map m over the elements of some set (a σ-algebra). This map is required to satisfy m(A∪B) = m(A) + m(B), whenever A∩B = ∅. A particular case of a measure is the "probability measure" of quantum mechanics, which is defined over the projection lattice ( ) P H of Hilbert space . In this case, one requires for ∈ P H P P , ( ) i j that m(P i + P j ) = m(P i ) + m(P j ), whenever P i P j = 0. We can relax the requirement that m be non-negative, in order to include those cases in which we find it convenient to add a sign to our measurement results. In such a case, the above definition of a measure may be replaced by another one that is the subject matter of Gudder's theorem 26 . This theorem addresses an inner product vector space V and a continuous function f that is orthogonally additive and maps vectors r ∈ V to the reals. Such a function can be seen as a sign-carrying measure. The definition of orthogonal additivity reads as follows.
In terms of the foregoing definition, Gudder proved 26 the following result: is orthogonally additive and continuous, then it is of the form where ∈  c and k ∈ V. Let us now focus on the space V 4 , with elements r r r r r r ( , , , ) ( , ) 0 1 2 3 0  = ≡ that we can put in one-to-one correspondence with qubits |ψ〉〈ψ|: where σ 0 is the identity and σ μ = 1,2,3 the Pauli matrices. We want to define a sign-carrying measure f φ relative to a given qubit Function f φ is assumed to satisfy the requirements of Theorem 2.1 and the following, additional ones: , which means that our unit of measure fits exactly one time into itself.
for any four-vector ˆψ ψ = ↔| 〉〈 | ≡ ψ ψ ψ P n (1, ) . This last requirement allows us to use f φ as a probability measure, when applied to projectors On applying Gudder's theorem one readily obtains 32-34( Thus, under the above conditions  f ( ) φ turns out to be an inner product. It can be specified either in vector space V 4 , where it is given by the Euclidean inner product, or in the space of linear operators acting on the two-dimensional Hilbert space 2  , where it is given by the Hilbert-Schmidt inner product Tr( and we may use f φ as a probability measure. This is the measure entering Born's rule, which was first derived from a somewhat different axiomatic in Gleason's theorem 30 : In summary, a sign-carrying measure is the fundamental concept behind our quantification of correlations between vectors. This measure turns out to be an inner product. By itself, it does not contain information about any possible cause-effect relationship between the involved vectors. In order to pinpoint such a relationship, we should introduce the additional notion of "transport", so that the two vectors can be brought to one and the same point of the underlying manifold where they are defined, be it the space-time manifold or any other one. It is worthwhile to stress that correlations between vectors are a particular instance of correlations between n-tuples. An example of the latter is Pearson's correlation 35 , which is used when one aims at comparing pairs of events (x i , y i ), in order to assess whether they are correlated or not. These events often occur at two different locations, where they are repeatedly registered. One then constructs n-tuples (x 1 ,x 2 , …, x n ) and (y 1 ,y 2 , …, y n ) and defines the correlation which can be written in terms of unit-normalized n-tuples as It is a matter of convention to define C P ∈ [−1, 1], as it has been defined in Eq. (12). It is indeed up to us to decide whether some given metric is useful or not. The same holds true for correlations such as 〈AB〉 Bell and 〈AB〉 QM , cf. Eqs (1) and (2). For the sake of comparing quantum and classical correlations, we recall next some quantum correlations that are relevant to Bell tests.
Quantum correlations that are relevant to Bell tests. As already remarked, the quantum correlation 〈AB〉 QM , see Eq. (2), stems from Born's rule: Tr(Πρ), where Π refers here to a projector and ρ to the density matrix representing the state that is subjected to measurement. In a standard Bell test, one deals with projective measurements performed by two parties. The mathematics we use in this case does not encode a unique physical picture. This is because (quantum) correlations reproducing our measurements only refer to two observables. We may imagine them as being related to two distant parties, or else we can relate these two observables to one and the same physical object, e.g., a classical light beam. In such cases, the appropriate projectors are of the form, say, − , and so on, while the states being considered are of the form ρ = |Φ〉〈Φ|, with As already said, in most Bell tests unit vectors â and b specify directions on the Bloch or on the Poincaré sphere. These directions are in turn fixed by the experimental arrangement that performs the projective measurements. Let us denote by P ( , ) a b ,ˆα β the probability to obtain α = ±1 and β = ±1 as a result of measuring qubit A and qubit B along directions â and b , respectively. Born's rule states that e can then obtain the quantum correlation 〈AB〉 QM , see Eq.
(2), as: Our next task is to check whether it is possible to reproduce quantum predictions of the above type within a local-realistic framework. To this end, we first make precise what these quantum predictions are in the case of Bell states.

Bell violations
For the sake of concreteness, we shall refer to an optical CHSH test being performed with horizontally (H) and vertically (V) polarized, classical light beams. The same test can be performed with horizontally and vertically polarized photons. Bell states are given by |Φ ± 〉 = (|H〉|H〉 ± |V〉|V〉)/ 2 and |Ψ ± 〉 = (|H〉|V〉 ± |V〉|H〉)/ 2 . The fact that we use Dirac notation does not mean that we are attaching any quantum feature to these states. They can be thought of as spinors or as Jones vectors 24 . The quantum expressions for the relevant correlations readâ ur goal is to construct a local-realistic model that reproduces quantum expressions by starting from the following, classical correlations: ,ˆˆˆ.
Our model must be such that these marginals vanish, so that The basic building blocks of our model will be operators of the form, e.g., |ψ〉〈H|, which transforms a horizontally polarized state into a conveniently chosen Jones vector |ψ〉. Consider for example the Jones matrix i.e., the first and second columns, respectively, of the above matrix T A . One can implement T A and similar transformations with the help of optical elements, such as polarizing beam splitters and wave plates. The label A in T A refers to Alice's measurements, as explained below. As for Bob's measurements, these will be related to the transformation Our model prescribes that whenever a source produces a Bell state, the states received by Alice and Bob are those given in Table 1, up to normalization. These states contain, besides their polarization degrees of freedom, two additional ones. These are deterministic "hidden variables" that are associated to states |X〉, |Y〉, with 〈X|Y〉 = 0. Polarization measurements are insensitive to these degrees of freedom. That is, when performing Prepared state Alice's input Bob's input polarization measurements, one effectively traces out these deterministic, binary hidden variables. Furthermore, states |λ ± 〉, with 〈λ − |λ + 〉 = 0, play the role of a stochastic hidden-variable, which takes on values λ + or λ − according to some given distribution. We will conveniently assume that each of them has a 50% chance to be produced. We further prescribe that Alice and Bob's measurements can be described by the following transformations: . "Up" and "down" correspond to the antiparallel directions that are associated to Jones vectors |ψ A1 〉 and ψ | 〉 ⊥ A1 , respectively, i.e., to antipodal points on the Poincaré sphere. Thus, the marginal = a b M ( , ) 0 Aˆˆ, in accordance with the quantum prediction. In the same way one can see that a b M ( , ) 0 Bˆˆ= on Bob's side. Following the above prescriptions with all Bell states, the output polarization measurements of Alice and Bob read as given in Table 2.
The Stokes vector â that corresponds to Alice's output Jones vector |ψ A 〉 is given by , and similarly for Bob's Stokes vectors b. For example, for the Jones vectors on the first row in Table 2, i.e., the one belonging to |Φ + 〉, we getˆâ a (cos sin , sin sin , cos ), We want to calculate the probability P ( , ) ,ˆα β of Alice getting α = ±1 and Bob β = ±1, when their respective measurement devices are set to detect up/down outputs with respect to directions â and b, respectively. At this point, we may invoke Gudder's theorem and set Here, the normalization has been chosen so that . Moreover, we see that the stochastic hidden variables λ ± A B / -which determine whether the output is "up" or "down" -are in one-to-one correspondence with α and β, according to 1 Indeed, by calculating the Stokes vectors that correspond to the Jones vectors of the case |Φ + 〉, see Table 2, we obtain On replacing (29) into (31), we reproduce the quantum prediction for the Bell state |Φ + 〉, see Eqs (17) and (18a). One can similarly show that the quantum predictions for the other three Bell states, Eqs. (18b, 18c, 18d), are also reproduced by means of the present model. Thus, our model predicts correlations ˆâ b C ( , ) cl , see Eq. (19), that coincide with the quantum ones, that fix the orientations of the measuring devices.

Discussion
Bell violations prove wrong a conjunction that consists of three assumptions: realism, locality and Bell-type correlations. By rejecting last assumption and assuming correlations that are not of the Bell type, it becomes possible to construct a local-realistic model that leads to Bell violations. Bell's theorem shows that quantum correlations cannot be of the Bell type. If realism and locality would imply Bell-type correlations, then Bell violations would prove wrong the conjunction consisting of realism and locality. However, as we have seen, realism and locality are compatible with correlations that lie outside the class of Bell-type correlations. They are inner-product-type correlations, having thus the same mathematical structure as the well known Pearson correlations of classical statistics. Quantum correlations stem from Born's rule: Tr(ρ φ ρ ψ ), which is formally nothing but an Euclidean inner-product in disguise. As we have seen, under quite general assumptions, Gudder's theorem leads to a signed-measure that is also an Euclidean inner product. By conveniently restricting the range of the function entering Gudder's theorem, this function can be used as a probability measure. We can recover in this way Born's rule, thereby showing that inner-product-type correlations are not exclusively related to quantum phenomena. We are entitled to use this type of correlations in the classical context, as much as we are entitled to use Born's rule in the quantum context.
The model we have presented to exhibit Bell violations in a local-realistic context resorts to inner-product-type correlations, which are mathematically equivalent to Born's rule. It is thus no surprise that we can obtain Bell violations. However, our model includes a prescription that is absent in the quantum formulation. This prescription refers to the action of the measuring device upon the system being measured. In our model, such an action is described by means of operators that act on Alice and Bob's sites, see Eqs. (24,25). In the context of Bell's theorem, one postulates particular expressions for the correlations, 〈AB〉 Bell and 〈AB〉 QM , see Eqs. (1,2). These expressions do not derive from any physical model of the measuring process, but from considerations regarding probabilities alone, be they classical or quantal. Furthermore, inner-product-type correlations may involve vectors at two distant locations. This type of non-local expressions is not in conflict with local-realism and is not new, neither in physics nor in statistics, as exemplified by the Coulomb and Newtonian potentials on one side, and Pearson correlations on the other side.
Though in order to exhibit Bell violations we could have dealt only with the correlations entering Bell inequalities, we provided an ad-hoc model that reproduces all of Alice and Bob's recordings in a Bell test. It has certainly not been our goal to replace the quantum description by a classical one, but to explore where the quantum-classical border lies. In order to claim that -in their very essence -all physical phenomena are quantum phenomena, we need a precise definition of what "quantum" means. Otherwise, such a claim seems to owe more to a doctrine than to science -or else to be, at the very least, meaningless.
Appendix: Non-quantum entanglement and the inner-product probability measure. The quantum model used in Bell tests is based on two main assumptions: (1) Correlations are given by Born's rule.
(2) Physical systems can be produced in entangled states. Here we illustrate how these assumptions fit into a local-realistic description. To this end, let us consider the quantum correlation 〈AB〉 QM for the Bell state |Φ + 〉 that we addressed before, see Eq. (18a). Last equation can be written in the form We notice that the right-hand side of the above equation can be straightforwardly obtained by writing and using Trσ i = 0 together with the Pauli algebra: σ i σ j = δ ij + iε ijk σ k , where i, j, k ∈ {1, 2, 3} and ε ijk means the completely antisymmetric Levi-Civita symbol. Eq. (A2) suggests the following approach. We address two-level systems in the framework of a 4D vector space V 4 with elements r r r r : ( , , , Within the classical framework, we prescribe that the entangled state delivered by the source is represented by φ ∈ + V AB AB , and that correlations between measurements performed by Alice and Bob along directions â and b, respectively, are given by the inner product  φ 〈 ⊗ 〉 + A , AB . This last prescription is, up to normalization, just an application of Gudder's theorem to the case of the tensor-product space V AB . From the definition of the inner product in V AB , it follows that All the above vectors fit the definition of "entangled states", in the sense that they cannot be written in the form ˆv w

A B
⊗ . This definition of entanglement applies whenever we deal with tensor-product spaces and is not restricted to the quantum formalism alone 10,11 . We should stress that any non-local feature that we may ascribe to quantum Bell states can also be ascribed to classical, tensor-product states of the above type. Having reproduced quantum predictions with two models, one containing entangled states and the other not, we have shown that the inner-product probability measure is the primary ingredient leading to Bell violations. This ingredient may be consistently used within both a quantum description and a local-realistic description. The latter certainly includes classical optics. Here, fundamental features like coherence and polarization can be exhibited by means of different correlations, a prominent example of which is the spectral degree of coherence, η ω ω ω = 〈 ⋅ 〉 e e P P P P ( , , ) ( , ) ( , i.e., an inner-product probability measure 24 . The so-called, analytic signal ˆω e P ( , ) j represents an electric field vector of frequency ω at location P j = 1,2 . This vector has been unit-normalized with respect to ensemble average, which is the type of average that the angular brackets denote. Thus, for a transverse optical beam field propagating along the z-direction, we have, dropping explicit reference to the fixed frequency ω, The probability density functions entering the above definition, e.g., p(e 1,x , e 2,x |P 1 , P 2 ), refer to different values of field components that are conditioned to be taken at two given locations, P 1 and P 2 . Thus, η(P 1 , P 2 , ω) engages two degrees of freedom, field polarization and spatial location, while keeping fixed a third one: ω (alternatively, its Fourier-conjugate: time). Such a procedure can be variously used to exhibit different sorts of so-called cross-sector coherences, some of which might be initially hidden 3,7,[12][13][14][15][16]37 .
Finally, notice that the spectral degree of coherence, η(P 1 , P 2 ), is a quantity that can be seen, similarly to the quantum case, as involving two vectors, ê P ( ) 1 and ê P ( ) 2 , which enter an expression that is not factorable with respect to, say, position: ⁎ ⁎ e P e P e P e P f P g P ( ) ( ) ( ) ( ) ( ) ( ) x x y y 1 2 1 2 1 2 〈 + 〉 ≠ 〈 〉 . Therefore, according to the general definition, η(P 1 , P 2 ) represents an entangled observable. This observable, being given by Eq. (A8), has not the form of a Bell-type correlation: 〈AB〉 Bell = ∫A(λ)B(λ)ρ(λ)dλ. Hence, η(P 1 , P 2 ) lies beyond the scope of Bell's theorem and for this reason it may lead to Bell violations, in spite of being a full classical quantity.