Skip to main content
Proceedings of the National Academy of Sciences of the United States of America logoLink to Proceedings of the National Academy of Sciences of the United States of America
. 2001 Nov 27;98(25):14228–14233. doi: 10.1073/pnas.251525098

Bell's theorem and the problem of decidability between the views of Einstein and Bohr

Karl Hess *,, Walter Philipp
PMCID: PMC64664  PMID: 11724942

Abstract

Einstein, Podolsky, and Rosen (EPR) have designed a gedanken experiment that suggested a theory that was more complete than quantum mechanics. The EPR design was later realized in various forms, with experimental results close to the quantum mechanical prediction. The experimental results by themselves have no bearing on the EPR claim that quantum mechanics must be incomplete nor on the existence of hidden parameters. However, the well known inequalities of Bell are based on the assumption that local hidden parameters exist and, when combined with conflicting experimental results, do appear to prove that local hidden parameters cannot exist. This fact leaves only instantaneous actions at a distance (called “spooky” by Einstein) to explain the experiments. The Bell inequalities are based on a mathematical model of the EPR experiments. They have no experimental confirmation, because they contradict the results of all EPR experiments. In addition to the assumption that hidden parameters exist, Bell tacitly makes a variety of other assumptions; for instance, he assumes that the hidden parameters are governed by a single probability measure independent of the analyzer settings. We argue that the mathematical model of Bell excludes a large set of local hidden variables and a large variety of probability densities. Our set of local hidden variables includes time-like correlated parameters and a generalized probability density. We prove that our extended space of local hidden variables does permit derivation of the quantum result and is consistent with all known experiments.


We address the question whether the quantum result for the spin pair correlation in Einstein, Podolsky, and Rosen (ERR)-type experiments can be obtained by a hidden parameter theory. We show that this goal can indeed be achieved in spite of the serious objections given in the work of Bell (1).

The work of Bell (1) attempts to show that a mathematical description of EPR-type experiments (2) by a statistical (hidden) parameter theory (3, 4) is not possible. In EPR experiments, two particles having their spins in a singlet state are emitted from a source and are sent to spin analyzers at two spatially separated stations, S1 and S2. The spin analyzers are described by Bell by using unit vectors a, b, etc., of three-dimensional Euclidean space and functions A = ±1 (operating at station S1) and B = ±1 (operating at station S2); furthermore, neither does A depend on the settings b of station S2 nor B on the settings a of station S1. Bell permits particles emitted from the source to carry arbitrary hidden parameters λ of a set Ω that fully characterize the spins and are “attached” to the particles with a probability density ρ (we denote the corresponding probability measure by μ) that does not depend on the settings at the stations. The parameters λ are not permitted to depend on settings a and b. The assumption that A is independent of b, B of a, and λ of both settings is derived from the experimental procedure. The settings are changed so rapidly that the finite velocity of light does not permit such a dependence. Bell then assumes that the values of functions A and B are determined by the spin analyzer settings and parameters such that:

graphic file with name M1.gif 1

Thus Aa(λ) and Bb(λ) can be considered as stochastic processes on Ω, indexed by the unit vectors a and b, respectively. Quantum theory and experiments show that, for a given time of measurement for which the settings are equal in both stations, we have for singlet state spins

graphic file with name M2.gif 2

with probability one. Bell further defines the spin pair expectation value P(a, b) by

graphic file with name M3.gif 3
graphic file with name M4.gif

From Eqs. 13, Bell derives his celebrated inequality (1)

graphic file with name M5.gif 4

and observes that this inequality is in contradiction with the result of quantum mechanics:

graphic file with name M6.gif 5

Here a⋅b is the scalar product of a and b.

The proof of Bell's inequality is based on the obvious fact that for x, y, z = ±1, we have |xzyz| = |xy| = 1 − xy. Substituting x = Ab(λ), y = Ac(λ), z = Aa(λ) and integrating with respect to the measure μ, one obtains Eq. 4 in view of Eq. 3. Thus, from the vantage point of mathematics, the Bell inequality is a straightforward consequence of the set of hypotheses and assumptions that are imposed. Note that, unlike other theorems used in physical arguments, the Bell inequality has no experimental basis and actually contradicts all known experiments. It stands on its correctness as a mathematical theorem alone. Extensive discussions of this fact have been given in the literature, mostly concluding that spooky action as a distance was a logical necessity (5, 6). However, very significant analysis suggests that avenues exist that can explain the above facts without recourse to action at a distance (7). We confirm this suggestion by a broad mathematical proof and show that the mathematical model of Bell is not general enough to cover all the physics that may be involved in EPR experiments.

The starting point of our analysis of these hypotheses and assumptions is an examination of the role of time in the characterization of the set of measured data that are represented by functions Aa and Bb in Eq. 1. In a complete EPR experiment, settings (a, b) are randomly changed. However, to evaluate P(a, b), etc., for the purpose of checking the Bell inequality, three settings a, b, c will have to be selected and considered fixed. The times at which the measurements are taken for the three relevant pairs (a, b), (a, c), and (b, c) will now have to be considered random. Thus, if a time dependence of the functions A and B exists, it is certainly reasonable to allow for an additional stochastic parameter ω related to time that drives the random processes taking place in the two stations. This parameter is not correlated to λ, which can, for example, derive its randomness from current and voltage fluctuations at the source. We would like to emphasize that Bell has introduced a number of assumptions on time dependencies, such as the use of Eq. 2, without regard to the time-disjoint measurements. He also introduced a significant asymmetry in describing the spin properties of the particles and the properties of the measurement equipment. The spins are described by arbitrarily large sets Λ of parameters. On the other hand the measurement apparatus is described by a vector of Euclidean space (the settings), true to Bohr's (4) postulate that the measurement must be classical. Yet, the measurement apparatus must itself in some form contain particles with spins that then, if one wants to be self consistent, also need to be described by large sets of parameters that are related to the settings a, b, c. …

Time-Like Correlated Parameters (TLCPs)

We state in advance what we believe to be the basis for obtaining the quantum result with the use of hidden parameters: the functions A and B and the densities ρ of hidden parameters may both relate to time. Time correlations, particularly setting-dependent ones, may exist in both stations with no suspicion or hint of spooky action. The introduction of these correlations through time leads, then, to a probability measure that can depend on the settings at both stations, although the functions A, B depend only on the settings of the respective stations, and the parameters, now considered as random variables, are independent when averages are taken over long time periods. A well known fact of probability theory is at the foundation of this assertion: random variables may be conditionally dependent (e.g., for certain time periods), whereas they are independent when no conditions are imposed.

Generalized Bell-type proofs (8) permit any number and form of parameters, so long as separate integrations can be performed over the respective densities, i.e., if the joint conditional densities equal the product of the individual conditional densities. The introduction of TLCPs also presents a critical problem for these proofs, because more than one parameter in the argument of the functions A and B may depend on time. Then, in general, the joint conditional density does not equal the product of individual conditional densities.

We propose the following definition: TLCPs are parameters that exhibit correlations because they are related to periodic processes. They may depend on the setting of the station in which the periodic process occurs. The correlations are caused not by any information transfer over distance but by the fact that the stations are subject to the same physical law.

The essence of our approach is the introduction of such setting- and station-specific time-like correlated parameters λ*a on one side and λ**b on the other, which codetermine the functions A, B in addition to the correlated source parameters λ. We show in detail below and in the next sections that TLCPs cannot be fully covered by Bell's or any of the generalized proofs. We also show that these parameters lead in a natural way to setting-dependent probability measures for the parameters without spooky action at a distance. Setting-dependent probability measures were not considered a possibility for three major reasons. First, a single product measure μ = μa × μb (where μa depends only on a, and μb depends only on b, which would guarantee Einstein separability of the stations) cannot lead to the quantum result of Eq. 5. Second, stochastic parameters λ*a acting in station S1 and λ**b in station S2, although investigated (9), were not included as integration variables in the probability measure because of Eq. 2. It seemed impossible to reconcile the fact

graphic file with name M7.gif 6

with that of setting-dependent parameter random variables in the spatially separated stations. The main reasoning was that the settings are changed rapidly between the measurements, and the parameters λ can therefore carry no information about the actual settings at the time period of measurement. Which information could then possibly lead to Eq. 6 without invoking spooky action at a distance between the stations? We show that time-like correlated parameters (derived from a global clock time for both stations) can provide this information. The third reason is the widely held (but mistaken; see ref. 10) belief that if A depends on a, λ and λ*a, then by enlarging the parameter space, one can rewrite A as a function of a and λ with an enlarged set of parameters λ, and similarly for B.

The following example is designed to show in a more pragmatic way what we understand by TLCPs. TLCPs may actually include space-like labels, such as the settings. However, with respect to their correlations, they are time-like, just as two clocks in two stations show time-like correlations even if some space like settings (e.g., the length of the pendulum) are adjusted separately in the stations. To be definite, assume that two stations have synchronized clocks with the pointer of each clock symbolized by a vector of Euclidean space and denoted by s1 in station S1 and by s2 in station S2. Adding the setting vectors in the respective stations, one obtains setting-dependent time-related and correlated parameters, i.e., TLCPs s1 + a in station S1 and s2 + b in station S2. One can find a natural implementation of this example by using gyroscopes in the two stations located on the rotating earth. If such parameters affect functions A and B, then integration over time cannot be factorized, and consequently time cannot be introduced in Bell-type proofs without difficulty. We note in passing that the rotation of the earth also poses the following problem. The quantum result for the spin-pair correlation P(a, b) = −a⋅b is invariant to (time-dependent) rotations, whereas the mathematical operations performed in the proof of Bell's theorem are not. Thus rotational symmetry is violated in Bell-type proofs through the factorization process without assessment of its consequences.

To demonstrate the existence of hidden parameters in principle, we may permit any parameter set that can be generated involving t and local setting-dependent operators OInline graphic in station S1 and OInline graphic in station S2. These local operators may act on any parameters (or information) in the respective stations to create new parameters. For example, if a particle that carries the parameter λ1 arrives from the source within a time period characterized by ω in station S1, then the time operator can transform this parameter into a new “mixed” parameter ΛInline graphic1, ω). Recall from the Introduction that the actual time of measurement that determines ω must be random, because the settings are randomly switched (8). We distinguish this random time period ω from the time index in the time operator, because that dependence on time may or may not be random. A more specific way of thinking about these operators is by imagining in the two stations two computers that have synchronized internal clocks. These computers can run any program to create new parameters out of the locally available input. Of equal importance, they can also be used to evaluate these parameters, i.e., assign them a value of ±1. Both processes, creation and evaluation, may depend on the respective setting and may be correlated in time.

In the following, we formalize the concepts of TLCPs. The starting point is a set of source parameters λ = (λ1, λ2) where the superscripts indicate information carried to stations S1 and S2, respectively. Random internal parameters λ*a operate at station S1 and λ**b at station S2. In other words, there is a layer of parameters below the mere settings that will affect the values of functions A, B. Although the observer might imagine that A, B depend on settings only, the values of functions A, B are determined by stochastic processes, indexed by unit vectors a and b, respectively. For given vectors a and b, we denote the joint distribution of the resulting random variables λ*a(·) and λ**b(·) by γ = γab, which we allow to depend on a and b to accommodate as broad a situation as possible. A reasonable, though not necessary, assumption on γ is the following continuity condition: for fixed a,

graphic file with name M11.gif 7
graphic file with name M12.gif

Intuitively speaking, Eq. 7 says that if the vector b at station S2 is parallel or close to parallel to the vector a characterizing the analyzer setting in station S1, then for an “overwhelming majority of cases ω,” the corresponding parameters λ* and λ** are equal, which then permits Eq. 6 to hold.

Our probability space Ω consists of all pairs (λ, ω), where λ is a source parameter and ω is the element of randomness related to time and driving the station parameters λ*a(·) and λ**b(·), respectively. Furthermore, we assume that the source parameters λ will interact with the station parameters λ*a(ω) and λ**b(ω) with built-in time t dependence to form the “mixed” parameters ΛInline graphic(λ, ω) and ΛInline graphic(λ, ω) (one could visualize this by some many-body interactions). These are not free parameters but rather stochastic processes, indexed by the pairs (a, t) and (b, t) at stations S1 and S2, respectively, and defined on Ω. The transition from (λ, ω) to ΛInline graphic(λ, ω) and ΛInline graphic(λ, ω) is thought to be defined by certain rules that can be represented by station-specific operators OInline graphic and OInline graphic that depend on the globally known time t, which is the same at the stations and at the source. Notice also that the time operations and mixing of parameters occur (in quantum mechanical terms) during the collapse of the wave function. The timing in left and right stations and the values of time involved in the measurement process are also quite flexible. It needs to be guaranteed only that one deals with the same correlated pair.

Thus the connection between the time operators O and the mixed parameters Λ is given by

graphic file with name M19.gif 8

Furthermore, the stochastic process Aa,t satisfies

graphic file with name M20.gif 9

Similar equations apply for station S2 and settings b, etc. If b = a, then in analogy to Eq. 2, we have with probability 1

graphic file with name M21.gif 10

This means that the time operations for equal settings need to be synchronized to lead to Eq. 10. The synchronization may be achieved by the selection of which settings are chosen to be equal in the two stations and by the fact that the stations are in the same inertial frame with identical clock time. (Time shifts and asymmetric station distances can easily be accommodated in our model.)

TLCPs in Proofs of Bell's Theorem

We first discuss Bell's proof (and the variation described on p 56 of ref. 8) and demonstrate why it cannot go forward when TLCPs are involved. Later, we shall pinpoint the locations where the argument breaks down in other Bell-type proofs. Bell (8) defines the following parameter sets that are in the backward light cone (as defined by relativity). He lets N denote the specification of all entities that are represented by parameters and belong to the overlap of the backward light cones of both space-like separated stations S1 and S2. In addition, he considers sets of parameters La (our notation) that are in the remainder of the backward light cone of S1 and Mb for S2, respectively. Bell denotes the conditional probability that the function Aa assumes a certain value with Aa = ±1 by {Aa|La, N} and similarly for Bb = ±1.

Then, to derive one of the celebrated “local inequalities,” Bell considers the expectation E of the product AaBb:

graphic file with name M22.gif 11

Here we have rewritten the summation or integration process of Eq. 3 in a form that illustrates in greater clarity the assumptions made by Bell and by using the language of relativity. Notice that Eq. 11 uses the assumption that Aa and Bb are conditionally independent given La, Mb, and N, whereas this is true only for the given instant of time. This fact shows the crux of the problem with Bell-type derivations of the locality inequalities. The parameter sets in the backward light cones are not constant but evolve and are, certainly in principle, different for all the different times at which each single measurement is taken. In addition, these parameters may be time-like correlated. Using a more precise notation, one must therefore label the sets of parameters with indices that represent time t (or time periods ω), e.g., by Nt, La,t, and Mb,t. Then it is obvious that the summations or integrations that are needed to derive Bell-type inequalities cannot be performed in a straightforward fashion. For example, as the Aas depend on the time of measurement, they can no longer be factored in equation 10 on p. 56 of Bell's book (8), because M and M′ are measurement sets involving different settings, and thus time must have elapsed while changing from M to M′. Similar arguments lead to a large variety of demonstrations that Bell-type proofs do not go forward when time is involved [K. Hess and W. Philipp, quant-ph, http://xxx.lanl.gov/abs/quant-ph/0103028, March 7 (2000)]. For example, Greenberger, Horne, Shimony, and Zeilinger (GHSZ) (10) have derived an “impossibility proof” obtaining a contradiction by using arguments for four correlated spins. However, just as in the case of Bell-type proofs for two correlated spins, time-like correlated parameters are not considered. If they are, the proof is invalidated. We refer the reader to equations 12a–d of GHSZ (10). These results cannot be measured at the same time, because they involve different settings. As a consequence, if time-like correlated parameters are invoked, the GHSZ function Aλ(φ) must be written Aλ(φ, t1) in equation 12b and Aλ(φ, t2) in equation 12c of GHSZ (10) with t1t2, and the chain of the argument in the proof fails right here (and at several other places as well).

Quantum Result Without Spooky Action

We shall show that a properly chosen sum of setting-dependent subspace product measures (SDSPMs) does not violate Einstein separability and does lead to the quantum result of Eq. 5, while still always fulfilling Eq. 2. By SDSPM, we mean the following. The probability space Ω is partitioned into a finite number M of subspaces Ωm

graphic file with name M23.gif 12

For given a and b, a product measure (μa × μb)m is defined on each subspace Ωm. This measure can be extended to the entire space Ω by setting

graphic file with name M24.gif 13

which we denote by the acronym SDSPM. The final measure μ is then defined on the entire space Ω by

graphic file with name M25.gif 14

First, we formulate a theorem that provides the stepping stone for this procedure. Note that our measure deviates from a probability measure by at most ɛ, which can be chosen arbitrarily small. We believe that this presents no physical limitation of the theory but include it for reasons of mathematical precision.

Theorem. Let 0 < ɛ < 1/2, and let a = (a1, a2, a3) and b = (b1, b2, b3) be unit vectors. Then there exists a finite measure space (Ω, F, μ = μa,b) and two measurable functions A and B defined on it with the following properties:

graphic file with name M26.gif 15

Ω is a compact set. Its elements are denoted by (u, v).

The measure μ depends only on a, b, and ɛ, satisfies

graphic file with name M27.gif 16

and has a density ρab with respect to Lebesgue measure.

The functions A and B assume the values

graphic file with name M28.gif 17

and A depends only on a and u, B only on b and v.

Further

graphic file with name M29.gif 18

and for each vector a, the following equation holds for all (u, v) ∈ Ω except on a set of μ-measure < ɛ:

graphic file with name M30.gif 19

The proof of the theorem requires the following fact, which follows from a basic theorem on B-splines (11). We state the fact here in form of a lemma.

Lemma. Let n ≥ 4 be an integer. Then there exist real-valued functions Ni(x), ψi(y), with 1 ≤ in depending only on real variables x and y, respectively, such that

graphic file with name M31.gif 20

and

graphic file with name M32.gif 21

Proof of Theorem: Choose an even integer n > 1/ɛ and for Ω the square Ω = [−3, 3n)2 with side of length 3 + 3n. We endow Ω with Lebesgue measurability, symbolized by the σ-field F, and define:

graphic file with name M33.gif 22

Thus A depends on a and u only. Here and throughout, we set sign(0) = 1. Similarly, we define

graphic file with name M34.gif 23

Thus, B depends on b and v only. Notice that on ∪Inline graphic[−k, −k + 1)2, Eq. 19 is satisfied for all values of (u, v).

Next, we define σa(u) and τb(v), respectively, by

graphic file with name M36.gif 24
graphic file with name M37.gif 25

The symbols I1I4 stand for: I1 = +3, +2, +1; I2 = 1, … , n; I3 = n + 1, …2n; I4 = 2n + 1, … , 3n, and 1{⋅} denotes the indicator function. Furthermore, let δjk = 1 if j = k, and zero otherwise, be the Kronecker symbol. We set

graphic file with name M38.gif 26

We finally define the density ρab by

graphic file with name M39.gif 27

and the measure μab by having density ρab with respect to Lebesgue measure. This definition, of course, entails that μab is a sum of setting-dependent subspace product measures. The integrals that we have to perform will then correspond to summations over integrals of such product measures.

From the above definitions, we obtain the following integrals for the spin-pair correlation functions:

graphic file with name M40.gif 28
graphic file with name M41.gif

Furthermore, the integral over the complement of the square [−3, 0)2 vanishes, i.e.,

graphic file with name M42.gif 29

which proves Eq. 18.

It remains to be shown that ρab defines a measure μ that is close, within ɛ, to a probability measure, i.e., fulfills Eq. 16. For this, we consider the mass distribution between the square [−3, 0)2 and its complement. The amount of mass M1 distributed over [−3, 0)2 is

graphic file with name M43.gif 30

The mass M2 of Ω∖[−3, 0)2 equals

graphic file with name M44.gif 31

Thus the total mass distributed equals in view of Eq. 21

graphic file with name M45.gif 32
graphic file with name M46.gif
graphic file with name M47.gif

where 0 ≤ θ < 1. For the case b = a, we have

graphic file with name M48.gif 33

As was observed right after the definitions of A and B, Eq. 19 holds for all (u, v) ∈ ∪Inline graphic[−k, −k + 1)2 and thus for all (u, v) ∈ Ω, except, perhaps, on a set of μ-measure < ɛ. This completes the proof of the theorem.

The proof clearly shows that for b = a, we can choose Ω to be a probability space, i.e., μ(Ω) = 1.

Suppose now that ΛInline graphic, ΛInline graphic are mixed parameters as defined above. Let f and g be real-valued bounded functions on the space of the ΛInline graphics and ΛInline graphics. We do not assume that these two λ-spaces are identical, nor is it necessary to specify them at this point. However, we need to assume that, for fixed a,b and time operators, the mappings fInline graphic) and gInline graphic) from Ω → R are measurable, so that they can be considered as random variables. Because f and g are assumed to be bounded, we may assume without loss of generality that the ranges of fInline graphic) and gInline graphic) equal the interval, [−3,3n]. A mathematical model for EPR experiments can now be obtained by an application of the theorem. For fixed time operators and source parameters λ, we define the joint density of fInline graphic) and gInline graphic) to equal ρab(u, v), as defined in Eq. 27. Then by Eq. 18 and by the standard transformation formula for integrals, we have for fixed λ and time operators OInline graphic, OInline graphic:

graphic file with name M62.gif 34

Here the expectation E operates on the space of ω, a subspace of Ω; the dummy variable ω of the integration is symbolized by (·).

This direct application does not address the key question whether the introduced probability measure is free of the suspicion of spooky action at a distance. To prove this claim, we need to ensure the following. If setting b at station S2 is changed into setting c, the probability distribution governing the parameters ΛInline graphic at station S1 must remain unchanged. This task can be achieved in the following way. Choose any of the (n + 1)2 squares Qjk with vertices at points (3j, 3k), (3(j + 1), 3k), (3(j + 1), 3(k + 1)), and (3j, 3(k + 1)) for j, k = −1, 0, 1, 2, … , n − 1. Now repeat the entire construction with Qjk replacing Q−1−1. Define A and B to be equal to sign(ai) or −sign(bi), respectively, on each of the three vertical and horizontal strips of Qjk with i = 1, 2, 3. On the vertical and horizontal strips not containing parts of Qjk, define A and B equal ±1 in an obvious modification of the above construction. Next assign mass M1 to Qjk and mass M2 to the complement Ω∖Qjk of Qjk. M2 will be distributed on 3n unit squares as follows: Qjk and the vertical and horizontal strips associated with them take a total of (3n + 3).3.2 − 9 = 18n + 9 unit squares. From the remaining 9n2 unit squares, we choose 3n and distribute the mass (1/2)Ni(|ak|)ψi(|bk|) on them (with 1 ≤ in and 1 ≤ k ≤ 3). For given Qjk, this yields N = (n + 1)2(Inline graphic) possible measures μm with 1 ≤ mN. For each of these measures, Eqs. 1519 hold. Label the corresponding functions A and B as A(m) and B(m) and consider the index (m) a function of the source parameter λ = (λ1, λ2) and the time operators OInline graphic, OInline graphic. Then the functions A(m) and B(m) can be considered as functions of a, λ, ΛInline graphic, and b, λ, ΛInline graphic, respectively. Finally, define a new measure μ on Ω by setting

graphic file with name M69.gif 35

At this point, we consider Ω as the union of N layers of the above type stacked up in three dimensions, reinterpreting A, B and μ accordingly.

The density ρab is now defined on the domain

graphic file with name M70.gif 36

For fixed u and v, the joint density governing the pair of parameters fInline graphic) and gInline graphic) is given by

graphic file with name M73.gif
graphic file with name M74.gif
graphic file with name M75.gif

with 0 ≤ θ < 1 in view of Eq. 32. This shows that the joint density of fInline graphic), gInline graphic) is uniform over the square [−3, 3n)2 and therefore fInline graphic) and gInline graphic) considered as random variables are stochastically independent, and themselves have uniform distribution over the appropriate intervals. Therefore, if the setting b gets changed to the setting c, the random variables fInline graphic), gInline graphic) are also independent, and there is no change in the distribution of fInline graphic) by changing from b to c.

Conclusion

We have presented a mathematical framework that can derive the quantum result for the spin-pair correlation in EPR-type experiments by use of hidden parameters. A key element of our approach is contained in the introduction of TLCPs and setting-dependent functions of them, leading in a natural way to a setting-dependent probability measure. The construction of this probability measure is complicated by the fact that spooky action must not be introduced indirectly. This is accomplished by letting the probability measure be a superposition of setting-dependent subspace product measures with two important properties: (i) the factors of the product measure depend only on parameters of the station that they describe, and (ii) the joint density of the pairs of setting-dependent parameters in the two stations is uniform. The mathematical basis for this factorization is the theory of B-splines.

Acknowledgments

Support of the Office of Naval Research (NOOO14-98-1-0604 and MURI) is gratefully acknowledged.

Abbreviations

EPR

Einstein, Podolsky, and Rosen

TLCPs

time-like correlated parameters

Footnotes

This paper was submitted directly (Track II) to the PNAS office.

References

  • 1.Bell J S. Physics. 1964;1:195–200. [Google Scholar]
  • 2.Aspect A, Dalibard J, Roger G. Phys Rev Lett. 1982;49:1804–1807. [Google Scholar]
  • 3.Einstein A, Podolsky B, Rosen N. Phys Rev. 1935;47:777–780. [Google Scholar]
  • 4.Bohr N. Phys Rev. 1935;48:696–702. [Google Scholar]
  • 5.Mermin N D. Phys Today. 1985;38:38–47. [Google Scholar]
  • 6.Leggett A J. The Problems of Physics. Oxford, U.K.: Oxford Univ. Press; 1987. [Google Scholar]
  • 7.Aharonov Y, Botero A, Scully M. Z Naturforsch. 2001;56a:5–15. [Google Scholar]
  • 8.Bell J S. Speakable and Unspeakable in Quantum Mechanics. Cambridge, U.K.: Cambridge Univ. Press; 1993. [Google Scholar]
  • 9.Ballentine L E, Jarrett J P. Am J Phys. 1987;55:696–701. [Google Scholar]
  • 10.Greenberger D M, Horne M A, Shimony A, Zeilinger A. Am J Phys. 1990;58:1131–1143. [Google Scholar]
  • 11.Schumaker L L. Spline Functions: Basic Theory. New York: Wiley; 1981. [Google Scholar]

Articles from Proceedings of the National Academy of Sciences of the United States of America are provided here courtesy of National Academy of Sciences

RESOURCES