A Locally Deterministic, Detector-Based Model of Quantum Measurement

Brian R. La Cour

doi:10.1007/s10701-014-9829-6

Download PDF

Foundations of Physics

October 2014, Volume 44, Issue 10, pp 1059–1084 | Cite as

A Locally Deterministic, Detector-Based Model of Quantum Measurement

Authors
Authors and affiliations

Brian R. La CourEmail author

Open Access

Article

First Online: 03 September 2014

Received: 06 February 2014

Accepted: 31 July 2014

Abstract

This paper describes a simple, causally deterministic model of quantum measurement based on an amplitude threshold detection scheme. Surprisingly, it is found to reproduce many phenomena normally thought to be uniquely quantum in nature. To model an $N$-dimensional pure state, the model uses $N$ complex random variables given by a scaled version of the wave vector with additive complex noise. Measurements are defined by threshold crossings of the individual components, conditioned on single-component threshold crossings. The resulting detection probabilities match or approximate those predicted by quantum mechanics according to the Born rule. Nevertheless, quantum phenomena such as entanglement, contextuality, and violations of Bell’s inequality under local measurements are all shown to be exhibited by the model, thereby demonstrating that such phenomena are not without classical analogs.

Keywords

Hidden variables Contextuality Entanglement Quantum nonlocality

Download fulltext PDF

1 Introduction

Quantum mechanics exhibits many peculiar and surprising phenomena. Indeterminism, wave/particle duality, entanglement, contextuality, and nonlocality are just a few of the more salient examples. Past attempts to provide a realistic local and deterministic interpretation of quantum phenomena have been frustrated by the many “no go” theorems ruling out various classes of hidden variable theories [1, 2]. Most notable among these are the Kochen–Specker theorem [3], which rules out non-contextual hidden variable models, and Bell’s theorem [4], which addresses local hidden variable models. This paper offers a simple mathematical model that exhibits many of these distinctly quantum phenomena, thereby demonstrating that they are not uniquely quantum in nature. Indeed, many apparently quantum phenomena have found analogs in classical mechanics and even social science [5, 6]. Although rather simple in its present form, it is hoped that this model may form the basis of a more sophisticated physical theory. Such a model may also help to elucidate whether an epistemic or ontic interpretation of the quantum state is more appropriate [7, 8].

The proposed model can be described succinctly as a complex random vector $\varvec{a}$ for which measurements consist of threshold crossings of component magnitudes. The specific form is that of a fixed “classical” signal plus a random “quantum” noise term, defined as follows. Suppose we wish to model a given “design” state vector $\left| \psi \right\rangle $ in an $N$-dimensional Hilbert space. The components in some standard basis are given by $\alpha _n := \left\langle n\left| \psi \right. \right\rangle $ for $n = 1, \ldots , N$. The aforementioned random vector $\varvec{a}$ is then defined to be

$$\begin{aligned} \varvec{a} := s\varvec{\alpha } + \varvec{{w}} \; , \end{aligned}$$

(1)

where $\varvec{\alpha } = [\alpha _1, \ldots , \alpha _N]^\mathsf {T} \in \mathbb {C}^N$ is the normalized signal and $s \ge 0$ is the signal amplitude. Normalization is in the usual sense that

$$\begin{aligned} \Vert \varvec{\alpha }\Vert ^2 := \sum _{n=1}^{N} |\alpha _n|^2 = 1 \; . \end{aligned}$$

(2)

The term $\varvec{{w}} = [{w}_1, \ldots , {w}_N]^\mathsf {T}$ is defined as a complex random noise vector whose joint distribution will be specified later. Either $\varvec{{w}}$ or $\varvec{a}$ may be construed as the “hidden variable” whose specific realization determines the outcome of a measurement.

The physical motivation for this model stems from early work in stochastic electrodynamics (SED) [9]. In SED, quantum phenomena are hypothesized to arise from classical interactions of matter with a real, albeit stochastic, background electromagnetic field corresponding to the (virtual) vacuum field of quantum electrodynamics. Stochastic optics (SO), a natural extension of SED, attempts to use this same hypothesis to explain phenomena in quantum optics [10]. In the view of SO, the underlying reality corresponding to a quantum state $\left| \psi \right\rangle $ is a real (as opposed to virtual) electromagnetic field (e.g., a plane wave of a particular mode), what one might call the “signal” that the experimenter prepares, plus a stochastic background component corresponding to what one might call the “noise” of the vacuum field. From this viewpoint, one may interpret $\varvec{a}$ as giving the amplitudes and phases of the $N$ modes of a classical electromagnetic field.

While providing an intuitively appealing and qualitatively accurate description of many quantum optical phenomena, SO has also made predictions at variance with experiment [11, 12]. More relevant this paper, however, is its lack of deterministic outcomes. In SO, detector probabilities are determined semiclassically as a function of mode intensity. Given a particular realization, only the probability of a detection is specified, not the outcome. In the model proposed here, we shall recover determinism by defining detections as amplitude threshold crossings. Thus, given a threshold $\gamma \ge 0$, we shall say that a measurement in the standard basis results in outcome $n$ if and only if $|a_n| > \gamma $ and $|a_{n'}| \le \gamma $ for all $n' \ne n$. Instances of $\varvec{a}$ for which there are no threshold crossings are rejected as “non-detections.” Likewise, instances of more then one threshold crossing are rejected through post-selection.

The restriction to single-detection events may seem artificial, but it corresponds to what is commonly done in the laboratory. In quantum optics, for example, single photon production rates can be quite small [13]. Multiple detections are even rarer, and dark counts may occur even when there is no signal (corresponding to $s = 0$ in the present model). In such experiments, one often works in the so-called “coincidence basis,” in which a detected and heralding photon are coincidently observed. This corresponds operationally to the aforementioned post-selection procedure. As will be shown later, this conditioning is key to reproducing many important quantum phenomena [14].

A final point to be defined in the model regards unitary transformations and measurements in other bases. In the proposed model, a unitary operator $U$ which transforms $\left| \psi \right\rangle $ to $U\left| \psi \right\rangle $ similarly transforms $\varvec{a}$ to $U\varvec{a}$ for a given realization of $\varvec{a}$. Thus, if we measure an observable for which $U$ is a diagonalizing unitary matrix of eigenvectors, then $U^\dagger \varvec{a}$ is used in place of $\varvec{a}$ to determine the measurement outcome. Since one may, in this manner, unambiguously determine the outcome that would have been obtained had a different observable been chosen, it follows that the model is not only deterministic but counterfactually definite [15]. As we shall see, this property plays a key role in understanding contextuality and quantum nonlocality.

Interestingly, a similar threshold-based quantum measurement scheme has recently been developed by Khrennikov [16], who uses a model of a complex, vector-valued stochastic process $\{\varvec{\phi }(t):t\in \mathbb {R}\}$. This process is assumed to be zero-mean and have a covariance of $E[\phi _i(s)^*\phi _j(t)] = B_{ij}\sqrt{|st|}\,\delta (s-t)$. Detections are made when the amplitude of the process, suitably time averaged, falls above some threshold $\mathcal {E}_d$. The average time between such threshold crossings (or “clicks”) for component $i$ is found to be $\bar{\tau }_i = B_{ii}/\mathcal {E}_d$. Thus, the fraction of all clicks that are from component $i$ is $B_{ii}/\mathrm {Tr}(B)$, which is interpreted as a probability. This choice of normalization is equivalent to conditioning on single-detection events. Incorporating a background field and properly calibrating the threshold even allows violations of Bell’s inequality [17]. Since classical fields are used, the model is manifestly local. It is, however, nonobjective: the values of observables cannot be assigned in advance.

The outline of the paper is as follows. A mathematical description of the detection probabilities, with some simple examples, is given in Sect. 2. This description is extended in Sect. 3 to the case of probabilities conditioned on single-detection events, wherein the Born rule is recovered under certain limiting conditions. The measurement model description is completed in Sect. 4 with a discusion of unitary transformations. A key result there is that, for certain choices of noise models, the Born rule is preserved under unitary transformations. Using this result, it is shown that certain quantum states can be deduced empirically using quantum state tomography. Quantum contextuality is studied in Sect. 5 using the example of the Mermin–Peres magic square. There, it is shown that, by conditioning on single-detection events, one is able to reproduce all quantum phenomena yet remain deterministic. The question of entanglement is taken up in Sect. 6. It is shown that the proposed model is empirically equivalent to a Bell state, as may be inferred through quantum state tomography. Furthermore, it is shown that, by conditioning on single-detection events, this model is capable of producing violations of Bell’s inequality in both simultaneous and space-like separated measurements.

2 Detection Probabilities

Given a vector $\varvec{\alpha }$ corresponding to a design state $\left| \psi \right\rangle $, let $P_n(\varvec{\alpha }, \gamma )$ denote the probability (given by the distribution of $\varvec{{w}}$, the signal amplitude $s$, and the threshold $\gamma $) that a single threshold crossing of component $n$ occurs. Similarly, let $P_0(\varvec{\alpha }, \gamma )$ denote the probability that no threshold crossing occurs. Specifically,

$$\begin{aligned} P_n(\varvec{\alpha }, \gamma ) := \Pr \Bigl [|a_n| > \gamma , \; |a_{n'}| \le \gamma \;\; \forall n' \ne n\Bigr ] \end{aligned}$$

(3)

and

$$\begin{aligned} P_0(\varvec{\alpha }, \gamma ) := \Pr \Bigl [|a_1| \le \gamma , \; \ldots , \; |a_N| \le \gamma \Bigr ] \; . \end{aligned}$$

(4)

The probability of obtaining more than one detection will be denoted $P_{\infty }(\varvec{\alpha }, \gamma )$; thus,

$$\begin{aligned} P_{\infty }(\varvec{\alpha }, \gamma ) := 1 - P_0(\varvec{\alpha }, \gamma ) - \sum _{n=1}^{N} P_n(\varvec{\alpha }, \gamma ) \; . \end{aligned}$$

(5)

The condition of having at most one detection, i.e. $P_{\infty }(\varvec{\alpha }, \gamma ) = 0$, can be achieved asymptotically by choosing a sufficiently large threshold, since the probability of multiple detections will tend to zero in such a limit. It is possible, however, and may be of some utility, to achieve this condition explicitly. This may be done quite easily by normalizing the noise vector to some fixed value. Specifically, we have the following theorem.

Theorem 1

Suppose the noise is bounded ($\Vert \varvec{{w}}\Vert \le \sigma $ almost surely for some $\sigma \ge 0$), the detection threshold is sufficiently high ($\gamma \ge \sigma $), and the signal strength is sufficiently low ($s \le (\sqrt{2}-1)\sigma $). Then a detection occurs for at most one value of $n$.

Proof

Suppose $|a_n| > \gamma $ and $|a_{n'}| > \gamma $ for some $n \ne n'$. Then $\Vert \varvec{a}\Vert ^2 \ge |a_n|^2 + |a_{n'}|^2 > 2\gamma ^2 \ge 2\sigma ^2$, so $\Vert \varvec{a}\Vert > \sqrt{2}\sigma $. But, by the triangle inequality, $\Vert s\varvec{\alpha } + \varvec{{w}}\Vert \le s\Vert \varvec{\alpha }\Vert + \Vert \varvec{{w}}\Vert \le (\sqrt{2}-1)\sigma + \sigma $, so $\Vert \varvec{a}\Vert \le \sqrt{2}\sigma $. We thus arrive at a contradiction and conclude that two or more detections cannot occur. $\square $

2.1 Simple Two-Dimensional Example

Suppose $N = 2$ and $\left| \psi \right\rangle = \left| 1\right\rangle $, so that $\varvec{\alpha } = [1, \, 0]^\mathsf {T}$. Let $\varvec{{w}} = \sigma e^{i\theta } [0 \; 1]^\mathsf {T}$, where $\theta $ is uniformly distributed on the interval $[0,2\pi )$. Thus, we have the random complex amplitude vector

$$\begin{aligned} \varvec{a} = \begin{pmatrix} s \\ \sigma e^{i\theta } \end{pmatrix} \; . \end{aligned}$$

(6)

Now note that, for $\gamma = \sigma $ and $s > \sigma $, we have $P_0(\varvec{\alpha }, \gamma ) = 0, P_1(\varvec{\alpha }, \gamma ) = 1$, $P_2(\varvec{\alpha }, \gamma ) = 0$, and $P_{\infty }(\varvec{\alpha }, \gamma ) = 0$. This mimics the behavior of a single photon in a definite state (polarization and wave vector mode).

Suppose instead that the design quantum state is given by $\left| \psi \right\rangle = \frac{1}{\sqrt{2}} [ \left| 1\right\rangle + \left| 2\right\rangle ]$ and let $\varvec{{w}} = (\sigma /\sqrt{2}) e^{i\theta } [1, \, -1]^\mathsf {T}$, where again $\theta $ is uniformly distributed on the interval $[0,2\pi )$. We now have

$$\begin{aligned} \varvec{a} = \frac{1}{\sqrt{2}} \begin{pmatrix} s + \sigma e^{i\theta } \\ s - \sigma e^{i\theta } \end{pmatrix} \; . \end{aligned}$$

(7)

Note that $|a_1|^2 = \frac{1}{2}|s + \sigma e^{i\theta }|^2 = \frac{1}{2} (s^2 + \sigma ^2 + 2s\sigma \cos \theta )$ while $|a_2|^2 = \frac{1}{2} (s^2 + \sigma ^2 - 2s\sigma \cos \theta )$. Because the noise terms are correlated via the common variable $\theta $, we see that $|a_1|$ is large when $|a_2|$ is small and vice versa. In particular, as $s$ approaches $\sigma $ from above, we see that $P_0(\varvec{\alpha }, \gamma ) = 0$, $P_1(\varvec{\alpha }, \gamma ) \rightarrow \frac{1}{2}$, $P_2(\varvec{\alpha }, \gamma ) \rightarrow \frac{1}{2}$, and $P_{\infty }(\varvec{\alpha }, \gamma ) \rightarrow 0$.

The probability of two simultaneous detections goes to zero in this case. Instead, a single detection occurs for either component with equal probability. This mimics the “particle-like” behavior observed in single-photon experiments. Note that Eqs. (6) and (7) are related to one another via a Hadamard transform, representing the action of a beamsplitter. This provides a physical picture relating Eqs. (6) and (7). That noise may contribute to (or, indeed, be necessary for) signal detection is a phenomenon similar to stochastic resonance [18].

Although this is a two-dimensional model, one may consider it to be four-dimensional by taking $[a_1, a_2, a_3, a_4] = [a_1, \, s+\sigma e^{i\theta }, \, s-\sigma e^{i\theta }, \, a_4]^\mathsf {T}/\sqrt{2}$ and $|a_1| = |a_4| \le \sigma $. This may be construed as an entangled state of, say, a single photon with the vacuum state. Thus, even in this very simple example, we find evidence of quantum entanglement in what may be considered a classical model.

2.2 Another Two-Dimensional Example

Suppose again that $N = 2$ and $\left| \psi \right\rangle = \left| 1\right\rangle $, so $\varvec{\alpha } = [1, \, 0]^\mathsf {T}$. Now, however, let $\varvec{{w}} = \sigma [e^{i\phi _1}\cos \theta , \, e^{i\phi _2}\sin \theta ]^\mathsf {T}$, where $\phi _1, \phi _2$ are uniformly distributed on the interval $[0,2\pi )$ and $\theta $ has the probability density function $\sin (2\theta )$ over the interval $[0, \frac{\pi }{2}]$. This corresponds to a uniform distribution over the Bloch sphere. Adding the signal, we have the random complex amplitude vector

$$\begin{aligned} \varvec{a} = \begin{pmatrix} s + \sigma e^{i\phi _1}\cos \theta \\ \sigma e^{i\phi _2}\sin \theta \end{pmatrix} \; . \end{aligned}$$

(8)

Note that, for $\gamma = \sigma $ and $s = (\sqrt{2}-1)\sigma $, we have $P_1(\varvec{\alpha }, \gamma ) > 0$, $P_2(\varvec{\alpha }, \gamma ) = 0$ and, by Theorem 1, $P_{\infty }(\varvec{\alpha }, \gamma ) = 0$. Conditioned on there being a detection, then, the outcome will always be $n = 1$, but there is a nonzero probability of missed detections.

Suppose now the design quantum state is given by $\left| \psi \right\rangle = \frac{1}{\sqrt{2}} [ \left| 1\right\rangle + \left| 2\right\rangle ]$ and let $\varvec{{w}}$ be as before. We now have

$$\begin{aligned} \varvec{a} = \begin{pmatrix} s/\sqrt{2} + \sigma e^{i\phi _1}\cos \theta \\ s/\sqrt{2} + \sigma e^{i\phi _2}\sin \theta \end{pmatrix} \; . \end{aligned}$$

(9)

Since $\cos \theta $ and $\sin \theta $ have the same distribution, $P_1(\varvec{\alpha }, \gamma ) = P_2(\varvec{\alpha }, \gamma ) > 0$. Conditioned on there being a detection, then, it is equally likely to be $n=1$ or $n=2$. Furthermore, since $P_{\infty }(\varvec{\alpha }, \gamma ) = 0$, by Theorem 1, simultaneous detections cannot occur, although the possibility remains of there being no detections at all.

Although it is not obvious, the stochastic models of Eqs. (8) and (9) are related by a Hadamard transform as well. Furthermore, it can be shown that $\varvec{{w}}$ has the same distribution as $\sigma \varvec{z}/\left\| \varvec{z}\right\| $, where $\varvec{z}$ is a standard complex Gaussian random vector (i.e., with mean vector $\mathrm {E}[\varvec{z}] = 0$ and covariance matrix $\mathrm {E}[\varvec{z}\varvec{z}^\dagger ] = I$, where $I$ is the identity and $\mathrm {E}[\cdot ]$ represents an expectation). Indeed, from this very fact one can show that the two equations are so related.

This example was first introduced by Marshall and Santos [19] in the context of SO to explain certain quantum optics effects, such as the wave/particle duality of light, photon antibunching, and experimental tests of Bell’s inequality. In their interpretation, $\varvec{a}$ is the transverse electric field of a classical plane wave and $\varvec{{w}}$ represents the component of that field due the zeropoint vacuum. The present model differs from that of Ref. [19] in that they assumed a detection probability of the form $P_n(\varvec{\alpha }, \gamma ) \propto \mathrm {max}(0, 2\mathrm {E}[|a_n|^2]-\gamma )$. Here, we assume only that the detection probabilities are determined by the frequency of threshold-crossing events.

3 Conditional Detections

Theorem 1 shows that, under suitable conditions, $P_{\infty }(\varvec{\alpha }, \gamma ) = 0$ for all $\varvec{\alpha }$. A similar result may effectively be obtained by simply increasing the threshold. This has the reciprocal effect of reducing the number of single detections, of course, but we may then condition (or post-select) on just these events. Let us, then, define the conditional probability $p_n(\varvec{\alpha }, \gamma )$ that a single detection of $n$ occurs as follows:

$$\begin{aligned} p_n(\varvec{\alpha }, \gamma ) := \frac{P_n(\varvec{\alpha }, \gamma )}{P_1(\varvec{\alpha }, \gamma ) + \cdots + P_N(\varvec{\alpha }, \gamma )} \end{aligned}$$

(10)

A key result is the following theorem.

Theorem 2

If $\varvec{\alpha }$ is such that all nonzero components are equal in magnitude, then $p_n(\varvec{\alpha },\gamma ) \rightarrow |\alpha _n|^2$ as $\gamma \rightarrow \infty $ for all $n = 1, \ldots , N$ (i.e., the Born rule holds asymptotically), provided that the statistical distribution of $\varvec{{w}}$ has the following properties:

1.
The components of $\varvec{{w}}$ are identically distributed.
2.
$P_n(\varvec{\alpha }, \gamma ) > 0$ for all $\varvec{\alpha }$, $\gamma $, and $n = 1, \ldots , N$.
3.
Whenever $s > 0$ and $|\alpha _m| < |\alpha _k|$, the ratio $P_m(\varvec{\alpha },\gamma )/P_k(\varvec{\alpha },\gamma )$ tends to zero as $\gamma \rightarrow \infty $.

Proof

Without loss of generality, suppose $\alpha _k \ne 0$ for $k = 1, \ldots , K$, where $1 \le K \le N$. Since the components are equal in magnitude, $\alpha _k = e^{i\theta _k}/\sqrt{K}$ for some $\theta _k \in [0,2\pi )$. For $k, k' \le K$, we see that $P_k(\varvec{\alpha }, \gamma ) = P_{k'}(\varvec{\alpha }, \gamma )$, by symmetry, since $|a_k|$ has the same distribution as $|1/\sqrt{K}-{w}_k|$ and ${w}_k$ has the same distribution as ${w}_{k'}$. (Note that independence is not needed, only identicality.) Similarly, $P_m(\varvec{\alpha }, \gamma ) = P_{m'}(\varvec{\alpha }, \gamma )$ for $m,m' > K$. Now consider the conditional probability $p_k(\varvec{\alpha }, \gamma )$, which may be written

$$\begin{aligned} p_k(\varvec{\alpha }, \gamma )&= \frac{P_k(\varvec{\alpha }, \gamma )}{K P_k(\varvec{\alpha }, \gamma ) + (N-K) P_m(\varvec{\alpha }, \gamma )} \nonumber \\&= \frac{1}{K + (N-K) P_m(\varvec{\alpha }, \gamma )/P_k(\varvec{\alpha }, \gamma )} \; . \end{aligned}$$

(11)

As $\gamma \rightarrow \infty $, we see that $p_k(\varvec{\alpha }, \gamma ) \rightarrow 1/K$ and, similarly, $p_m(\varvec{\alpha }, \gamma ) \rightarrow 0$, in accordance with the Born rule. $\square $

The class of possible distributions for $\varvec{{w}}$ satisfying Theorem 2 is quite general. In particular, it includes the case of independent and identically distributed Gaussian noise (i.e., $\varvec{{w}} = \sigma \varvec{z}$). A proof is given in the appendix.

The theorem may be modified to apply to cases in which the noise is bounded. In particular, we have the following.

Theorem 3

If $\varvec{\alpha }$ is such that all nonzero components have an equal magnitude of $1/\sqrt{K}$ for some $K > 0$, then, provided $\gamma < \sqrt{s^2/K + \sigma ^2}$, we have $p_n(\varvec{\alpha },\gamma ) = |\alpha _n|^2$ for all $n = 1, \ldots , N$ (i.e., the Born rule holds exactly), provided that the statistical distribution of $\varvec{{w}}$ has the following properties:

1.
The components of $\varvec{{w}}$ are identically distributed.
2.
$P_n(\varvec{\alpha }, \gamma ) > 0$ if $\gamma < \sqrt{|s\alpha _n|^2 + \sigma ^2}$.
3.
$P_n(\varvec{\alpha }, \gamma ) = 0$ if $\gamma \ge \sqrt{|s\alpha _n|^2 + \sigma ^2}$.

Proof

The proof proceeds initially as for Theorem 2, with $P_k(\varvec{\alpha }, \gamma ) > 0$ and $P_m(\varvec{\alpha }, \gamma ) = 0$, provided $\sigma \le \gamma < \sqrt{s^2/K + \sigma ^2}$. It is then clear that $p_k(\varvec{\alpha }, \gamma ) = 1/K$, while $p_m(\varvec{\alpha }, \gamma ) = 0$. $\square $

Property 3 of Theorem 3 is satisfied by any $\varvec{{w}}$ such that $\left\| \varvec{{w}}\right\| \le \sigma $. Properties 1 and 2 would be satisfied, for example, by $\varvec{{w}} = \sigma \varvec{z}/\left\| \varvec{z}\right\| $ with $\gamma = \sigma $ and $s = (\sqrt{2}-1)\sigma $.

Although limited in scope with respect to the applicable values of $\varvec{\alpha }$, Theorems 2 and 3 cover a broad range of interesting quantum states, including the standard basis states and several maximally entangled states, such as the Bell states, to be discussed later, and Greenberger–Horne–Zeilinger (GHZ) states [20]. Furthermore, even under conditions that do not satisfy the theorem assumptions, approximate quantitative agreement with the Born rule is nevertheless achieved. In the following sections, it will be shown that this allows us to reproduce many interesting phenomena that are otherwise thought to have no classical interpretation.

4 Unitary Transformations

A quantum state $\left| \psi \right\rangle $ is transformed to the state $U\left| \psi \right\rangle $ via a unitary operator $U$ representing the dynamics of the system, say, or an act of measurement in a particular basis. Representing the state by the complex amplitude vector $\varvec{a}$, we may perform a similar transform to the vector $U\varvec{a}$. The question at hand now is whether $U\varvec{a}$ is a faithful statistical representation of $U\left| \psi \right\rangle $. To begin to answer that question, we consider the following.

Lemma 1

If $\varvec{{w}} = \sigma \varvec{z}$ is a complex Gaussian random vector with mean $\varvec{0}$ and covariance $\sigma ^2I$ and $U$ is a unitary matrix, then $U \varvec{{w}}$ has the same distribution as $\varvec{{w}}$.

Proof

Since $U \varvec{{w}}$ is a linear transformation of $\varvec{{w}}$, it is also a complex Gaussian random vector, defined uniquely by its mean and covariance. By linearity, the mean is $\mathrm {E}[U\varvec{{w}}] = U\mathrm {E}[\varvec{{w}}] = \varvec{0}$ and the covariance is $\mathrm {E}[U\varvec{{w}}(U\varvec{{w}})^\dagger ] = U\mathrm {E}[\varvec{{w}}\varvec{{w}}^\dagger ]U^\dagger = \sigma ^2 I$. $\square $

Corollary 1

If $\varvec{{w}} = \sigma \varvec{z}/\left\| \varvec{z}\right\| $ and $U$ is a unitary matrix, then $U\varvec{{w}}$ has the same distribution as $\varvec{{w}}$.

Proof

Note that $U\varvec{{w}} = \sigma U\varvec{z}/\left\| \varvec{z}\right\| = \sigma U\varvec{z}/\left\| U\varvec{z}\right\| $. Since $U\varvec{z}$ has the same distribution as $\varvec{z}$, the same is also true of $U\varvec{{w}}$ and $\varvec{{w}}$. $\square $

We are now ready to introduce the main result of this section, regarding the relationship between $U\varvec{a}$ and $U\left| \psi \right\rangle $.

Theorem 4

Let $U$ be any unitary matrix. If $\varvec{a} = s\varvec{\alpha } + \varvec{{w}}$ and either $\varvec{{w}} = \sigma \varvec{z}$ or $\varvec{{w}} = \sigma \varvec{z}/\left\| \varvec{z}\right\| $, then the detection probabilities for $U\varvec{a}$ are given by $P_n(U\varvec{\alpha }, \gamma )$ for $n \in \{0, 1, \ldots , N, \infty \}$.

Proof

The result follows directly from Lemma 1, Corollary 1, and the linearity of $U$. $\square $

An important consequence of Theorem 4 is that, if the Born rule holds for all $\varvec{\alpha }$ in the standard basis, then it holds for measurements in any basis, since they are related solely by a unitary transformation. In a more restrictive sense, if the Born rule holds for only a subset of all possible states and the unitary transform used to produce that particular measurement keeps the state within that subset, then the Born rule still applies for the new measurement basis.

To perform a measurement of an observable represented by a matrix $A$, we identify an associated unitary matrix $U$ such that $U^\dagger AU = \Lambda = \mathrm {diag}([\lambda _1, \ldots , \lambda _N])$ is diagonal. Let $A: \mathbb {C}^N \rightarrow \mathbb {R}$ be an associated random variable (i.e., measurable function) on the Borel subsets of $\mathbb {C}^N$ such that, given a complex amplitude vector $\varvec{a}$, the outcome of the measurement is $A(\varvec{a})$, which we define as follows [21]. Given $\varvec{a} \in \mathbb {C}^N$, if $|(U^\dagger \varvec{a})_n| > \gamma $ and $|(U^\dagger \varvec{a})_{n'}| \le \gamma $ for all $n' \ne n$, then we say that $A(\varvec{a}) = \lambda _n$; otherwise, $A(\varvec{a})$ is left undefined.

4.1 Example of Measurements in Orthogonal Bases

Using the example of Eq. (8), let us consider measurements of the Pauli spin operators $I$, $X$, $Y$, and $Z$, where

$$\begin{aligned} X = \begin{pmatrix}0&{}1\\ 1&{}0\end{pmatrix}, \; Y = \begin{pmatrix}0&{}-i\\ i&{}0\end{pmatrix}, \; Z = \begin{pmatrix}1&{}0\\ 0&{}-1\end{pmatrix} \; . \end{aligned}$$

(12)

A corresponding set of unitary matrices for diagonalizing $X$, $Y$, $Z$ are $H$, $V$, $I$, respectively, where

$$\begin{aligned} H = \frac{1}{\sqrt{2}}\begin{pmatrix}1&{}1\\ 1&{}-1\end{pmatrix}, \quad V = \frac{1}{\sqrt{2}}\begin{pmatrix}1&{}1\\ i&{}-i\end{pmatrix} \; . \end{aligned}$$

(13)

Note that $H$ is the Hadamard matrix, representing the action of a beamsplitter. The matrix $V$ may be interpreted similarly, albeit with a different phase convention.

For definiteness, suppose $\gamma = \sigma = 1$, $s = \sqrt{2}-1$, and $\varvec{w}$ is drawn from $\varvec{z}/\left\| \varvec{z}\right\| $. Specifically, supposed $\varvec{{w}} = [0.2197-0.7169i, \, -0.5290+0.3974i]^\mathsf {T}$ is a particular realization. This choice of values allows us to use Theorem 1, so that we are guaranteed that at most one threshold-crossing event occurs. To measure $Z$, say, we (trivially) apply $I$ to $\varvec{a}$ and examine the component magnitudes. In this case, $|a_1| = 0.9570$ and $|a_2| = 0.6616$, so, as it turns out, there is no detection and, hence, no measurement outcome. In other words, $Z(\varvec{a})$ is, in this case, undefined.

Now suppose instead that we have $\varvec{{w}} = [0.5186 + 0.3818i, \, -0.6876 + 0.3354i]^\mathsf {T}$. In this case, $|a_1| = 1.0079$ and $|a_2| = 0.7650$, so there is a single detection indicating that $Z(\varvec{a}) = +1$. (Indeed, this is the only possible outcome, given that there is a detection.) If a measurement of $X$ had been performed, we would have applied the unitary transformation $H^\dagger = H$ to $\varvec{a}$ to obtain $H\varvec{a} = [0.1734 + 0.5072i, \, 1.1458 + 0.0328i]$, so $|(H\varvec{a})_1| = 0.5360$, $|(H\varvec{a})_2| = 1.1463$, and the outcome $X(\varvec{a}) = -1$ would have been obtained. To measure $Y$, we would apply $V^\dagger $ to $\varvec{a}$ and obtain $V^\dagger \varvec{a} = [0.8968 + 0.7561i, \, 0.4224 - 0.2162i]^\mathsf {T}$. Thus, $|(V^\dagger \varvec{a})_1| = 1.1730$ and $|(V^\dagger \varvec{a})_2| = 0.4745$, so $Y(\varvec{a}) = +1$. In each case the measurement outcome is uniquely and counterfactually determined by $\varvec{a}$.

4.2 Quantum State Inference

Now consider computing the expectation values of $X$, $Y$, and $Z$, conditioned on a single detection, when $\varvec{\alpha }$ is one of $[1, \, 0]^\mathsf {T}$, $[0, \, 1]^\mathsf {T}$, or $\frac{1}{\sqrt{2}}[1, \, 1]^\mathsf {T}$. Note that the application of the corresponding unitary transformations $H$, $V^\dagger $, and $I$ will transform $\varvec{\alpha }$ into a vector such that, again, each component is either zero or of the same magnitude. For example, if $\varvec{\alpha } = [0, \, 1]^\mathsf {T}$, then $V^\dagger \varvec{\alpha } = \frac{1}{\sqrt{2}}[-i, \, +i]^\mathsf {T}$. Provided that $\varvec{{w}} = \sigma \varvec{z}/\Vert \varvec{z}\Vert $ and $\sigma \le \gamma < \sqrt{s^2/2 + \sigma ^2}$, the results of Theorem 3 will then hold and the conditional probabilities will match those of the Born rule. Consequently, the observed expectation values will be $\mathrm {E}[X] = \left\langle \psi \right| X\left| \psi \right\rangle $, $\mathrm {E}[Y] = \left\langle \psi \right| Y\left| \psi \right\rangle $, and $\mathrm {E}[Z] = \left\langle \psi \right| Z\left| \psi \right\rangle $.

Now, any two-dimensional operator can be written as a linear combination of $I$, $X$, $Y$, and $Z$. In particular, the quantum state operator $\rho $ may be written as

$$\begin{aligned} \rho = \frac{ I + \mathrm {Tr}(\rho X)X + \mathrm {Tr}(\rho Y)Y + \mathrm {Tr}(\rho Z)Z }{2} \; . \end{aligned}$$

(14)

Any quantum state, pure or mixed, may be written in this manner. For a pure state $\rho = \left| \psi \right\rangle \left\langle \psi \right| $, so $\mathrm {Tr}(\rho A) = \left\langle \psi \right| A\left| \psi \right\rangle $. Statistically, this corresponds to the expectation value $\mathrm {E}[A]$. Let us therefore define the inferred quantum state operator

$$\begin{aligned} \tilde{\rho } = \frac{ I + \mathrm {E}[X]X + \mathrm {E}[Y]Y + \mathrm {E}[Z]Z }{2} \; . \end{aligned}$$

(15)

By using sample means to estimate the expectation values, the above expression allows a method for empirically deducing the quantum state from measurement, a process known as quantum state tomography (QST) [22, 23]. As might be inferred from QST, then, the classical random vector $\varvec{a}$ is statistically equivalent to the quantum state $\left| \psi \right\rangle $, since $\tilde{\rho } = \rho $ for these three choices of $\varvec{\alpha }$.

QST is not the whole story, though. It has been noted that QST is inadequate to uniquely identify the underlying quantum state [24], and this example illustrates that fact. Consider a measurement of the operators $B_{\pm } = \mp (X\pm Z)/\sqrt{2}$, which are diagonalized by

$$\begin{aligned} W_{\pm } = \begin{pmatrix} \frac{\sqrt{2}\pm 1}{\sqrt{4\pm \sqrt{8}}} &{} -\frac{\sqrt{2}\mp 1}{\sqrt{4\mp \sqrt{8}}} \\ \,\frac{1}{\sqrt{4\pm \sqrt{8}}} &{} \,\frac{1}{\sqrt{4\mp \sqrt{8}}} \end{pmatrix} \; , \end{aligned}$$

(16)

so that $W_\pm ^\dagger B_\pm W_\pm = \mathrm {diag}([-1,+1])$. In this case, we find that for $\varvec{\alpha } = [1, \, 0]^\mathsf {T}$, say, $p_1(\varvec{\alpha }, \gamma ) \approx 0.7048$ and $p_2(\varvec{\alpha }, \gamma ) \approx 0.2952$. So, $\mathrm {E}(B_\pm ) \approx -0.4096$, but $\mathrm {Tr}(\rho B_\pm ) = -1/\sqrt{2} \approx -0.7071$. Thus, even though the inferred quantum state is correct, the model does not predict exactly the right statistics for all observables. This example underscores the difficulty in verifying, empirically, that a given quantum state has, indeed, been correctly prepared.

4.3 Projective Subspace Measurements

If the observable to be measured is not resolvable into a nondegenerate eigenvector basis, then we must define its measurement more generally as a set of projections onto two or more subspaces within the larger Hilbert space. Let $\Pi _1, \ldots , \Pi _M$ be such a set of projections, where $M \le N$ and $\Pi _1 + \cdots + \Pi _M = I$ is the identity. To perform a measurement, we project the vector $\varvec{a}$, representing a particular realization, onto this set. A detection of projection $m$ is said to occur if $\left\| \Pi _m\varvec{a}\right\| > \gamma $ while $\left\| \Pi _{n}\varvec{a}\right\| \le \gamma $ for all $n \ne m$. If $\Pi _m = \left| m\right\rangle \left\langle m\right| $, this reduces to the previous definition of measurement.

For example, suppose $\alpha = [0, 1, 1, 0]^\mathsf {T}/\sqrt{2}$ represents an entangled state. Let $\Pi _1 = \left| 1\right\rangle \left\langle 1\right| + \left| 2\right\rangle \left\langle 2\right| $ and $\Pi _2 = \left| 3\right\rangle \left\langle 3\right| + \left| 4\right\rangle \left\langle 4\right| $ be the two projections. We then find that $\left\| \Pi _1\varvec{a}\right\| ^2 = |{w}_1|^2 + |(s/\sqrt{2})+{w}_2|^2$ and $\left\| \Pi _2\varvec{a}\right\| ^2 = |(s/\sqrt{2})+{w}_3|^2 + |{w}_4|^2$. By symmetry, we see that the probability $\Pr [\left\| \Pi _1\varvec{a}\right\| > \gamma , \, \left\| \Pi _2\varvec{a}\right\| \le \gamma ]$ equals $\Pr [\left\| \Pi _2\varvec{a}\right\| > \gamma , \, \left\| \Pi _1\varvec{a}\right\| \le \gamma ]$; thus, a single detection is equally likely for either event. Conditioned on the actual occurrence of a single detection, we find that the two outcomes are perfectly anticorrelated, with each outcome having a probability of one-half.

Projective subspace measurements may be used to describe spacially separated measurements. Given $\Pi _1$, $\Pi _2$, and $\varvec{a}$ as defined above, let $\Pi _1\varvec{a}$ be the portion associated with particle 1 and $\Pi _2\varvec{a}$ that of particle 2. We may measure an observable $X$, say, on particle 1 by applying $H$ to the projected state $\Pi _1\varvec{a}$ and observing if one of the two resulting component amplitudes exceeds the detection threshold. A similar procedure may be applied to particle 2, independent of particle 1. This approach will later be used in Sect. 6.2 to provide a classical analog to experimental tests of quantum nonlocality.

5 Quantum Contextuality

Quantum contextuality refers to the apparent dependence of measurement outcomes on what other, compatible, measurements one happens to choose to perform. It is closely connected to quantum nonlocality [25] and is believed to be important in the efficacy of certain quantum computing algorithms [26]. Recently, it has also been the subject of several experimental tests [27, 28, 29]. The concept is perhaps best understood in terms of the following example.

Suppose we have a set of nine operators, arranged in a square as follows:

$$\begin{aligned} \;X\otimes I\, \quad&I\otimes X \quad&X\otimes X \\ I\otimes Y \quad&Y\otimes I\,\, \quad&\,Y\otimes Y \\ X\otimes Y \quad&Y\otimes X\, \quad&Z\,\otimes Z\, \end{aligned}$$

These operators constitute the famous Mermin–Peres “magic square” [30]. Using the fact that the Pauli matrices are involutions and that $XY = iZ$, it is readily verified that the product of the three operators in each row as well as that in the first two columns, is $I\otimes I$. For the third column, however, we note that $(X\otimes X)(Y\otimes Y)(Z\otimes Z) = -I\otimes I$.

According to the Kochen–Specker theorem, it is impossible to replace each of the nine observables with a definite value of either $+1$ or $-1$ (their two eigenvalues) in a consistent manner such that these same product relations hold. (This is readily proven or can be verified directly by simply trying all $2^9$ possible assignments.) From the perspective of quantum mechanics, this may seem odd: Since the three operators in each row and column are mutually commuting, they may be measured simultaneously. From the aforementioned product relations, the product of outcomes for each row measurement, and for the first two column measures, will always be $+1$, while that of the third column will always be $-1$. So, measurement reveals definite values that are consistent with the product relations, but no consistent assignment can be made across the square. Furthermore, this result holds independently of the prepared quantum state, or even of whether it is pure or mixed.

As pointed out in [31], the resolution of this paradox lies in the fact that, according to quantum mechanics, different probability measures apply to the six different choices of measurement bases. From a deterministic or hidden-variable perspective, one interpretation of this fact would be that the physical process of measurement induces a dynamical change in the hidden variable state such that the resulting post-measurement distribution is changed.

An alternate, and perhaps simpler, interpretation is possible if one considers measurement to be the threshold detection process considered here. In that case, the six post-measurement probability distributions are just the conditional probabilities, given that a single detection (for each observable) has occurred. It remains, then, to verify that this scheme does, in fact, work. To that end, it may be insightful to illustrate these properties explicitly via numerical simulations.

5.1 Monte Carlo Verification

A Monte Carlo scheme was devised to verify numerically that the detector model satisfies the properties of the magic square. For each Monte Carlo run, a random quantum state of the form $\varvec{\alpha } = \varvec{z}/\left\| \varvec{z}\right\| $, with $N = 4$, was drawn. Next, a random realization of $M = 2^{20} = 1\,048\,576$ independent noise vectors of the form $\varvec{{w}} = \sigma \varvec{z}/\left\| \varvec{z}\right\| $, with $\sigma = 1$, was drawn. From this, a set of $M$ complex amplitude vectors of the form $\varvec{a} = s\varvec{\alpha } + \varvec{{w}}$, with $s = (\sqrt{2}-1)\sigma $, was created.

For each of the $M$ realizations of $\varvec{a}$, six measurements were performed, corresponding to the three rows and three columns of the magic square. For each of the six measurements, a common unitary matrix $U$ was constructed that diagonalizes all three observables. The quantity $\varvec{a}' = U^\dagger \varvec{a}$ was then computed. For example, in the case of Row 1, it suffices to use $U_{R1} = H\otimes H$, while for Row 2 $U_{R2} = V\otimes V$ diagonalizes the observables. For Columns 1 and 2 we may use $U_{C1} = H\otimes V$ and $U_{C2} = V\otimes H$, respectively.

In the case of Column 3, where the three observables are $X\otimes X$, $Y\otimes Y$, and $Z\otimes Z$, the construction of $U_{C3}$ is not as straightforward. Each is diagonalized by $U = H\otimes H$, $V\otimes V$, and $I\otimes I$, respectively; however, none of these will diagonalize all three. Rearranging the columns of $U$ to produce $U' = [U(:,4) \, U(:,1) \, U(:,2) \, U(:,3)]$, where $U(:,n)$ is the $n^\mathrm {th}$ column, produces an alternate unitary matrix which also diagonalizes $X\otimes X$. Finally, applying a second transformation yields $U_{C3} = U' (I\otimes H)$, which diagonalizes with respect to $Y\otimes Y$ and $Z\otimes Z$ as well. A similar procedure is required for Row 3.

In summary, the following unitary matrices were used for the rows

$$\begin{aligned} U_{R1}&= H\otimes H \end{aligned}$$

(17a)

$$\begin{aligned} U_{R2}&= V\otimes V \end{aligned}$$

(17b)

$$\begin{aligned} U_{R3}&= \frac{1}{\sqrt{2}} \begin{pmatrix} 1 &{} 0 &{} 1 &{} 0 \\ 0 &{} -i &{} 0 &{} -i \\ 0 &{} -1 &{} 0 &{} 1 \\ i &{} 0 &{} -i &{} 0 \end{pmatrix} \end{aligned}$$

(17c)

and columns

$$\begin{aligned} U_{C1}&= H\otimes V \end{aligned}$$

(18a)

$$\begin{aligned} U_{C2}&= V\otimes H \end{aligned}$$

(18b)

$$\begin{aligned} U_{C3}&= \frac{1}{\sqrt{2}} \begin{pmatrix} 1 &{} 0 &{} 1 &{} 0 \\ 0 &{} -1 &{} 0 &{} -1 \\ 0 &{} -1 &{} 0 &{} 1 \\ 1 &{} 0 &{} -1 &{} 0 \end{pmatrix} \end{aligned}$$

(18c)

If exactly one component of $\varvec{a}'$ fell above the threshold $\gamma = \sigma $, then a detection was deemed to have occurred and the observable was assigned the value of the corresponding eigenvalue (either $+1$ or $-1$). If there was no detection, then no measurement was reported. By Theorem 3, we do not expect more than one component of $\varvec{a}'$ to fall above the threshold. Thus, for each of the six sets of observables, there were $K \le M$ reported triple values $[g_1(m_k), \, g_2(m_k), \, g_3(m_k)]$, for $k = 1, \ldots , K$, and an index (of length $K$) of which of the $M$ realizations resulted in a detection. These indices will be denoted $R_1, R_2, R_3$ for the three rows and $C_1, C_2, C_3$ for the three columns.

According to the Kochen–Specker theorem, we expect

$$\begin{aligned} (R_1 \cap R_2 \cap R_3) \cap (C_1 \cap C_2 \cap C_3) = \varnothing \; . \end{aligned}$$

(19)

Furthermore, we expect that, say, for all $m \in C_3$ (i.e., for all detections when Column 3 is measured)

$$\begin{aligned} g_1(m) \, g_2(m) \, g_3(m) = -1 \; , \end{aligned}$$

(20)

while for all $m \in R_1$

$$\begin{aligned} g_1(m) \, g_2(m) \, g_3(m) = +1 \; . \end{aligned}$$

(21)

We expect the latter result to hold for $R_2$, $R_3$, $C_1$, and $C_2$ as well. A total of $2^{16} = 65\,536$ Monte Carlo runs were performed, each with a different random quantum state, and the above properties were examined. In all, cases, the required conditions were satisfied exactly.

As a specific example, consider the realization $\varvec{a} = [-0.3151 + 0.5498i, \, -0.9092 + 0.1208i, \, -0.0581 - 0.5120i, \, 0.4560 - 0.3460i]^\mathsf {T}$. For this case, a measurement of Row 1 yields $(-1,1,-1)$, Row 2 $(1,1,1)$, Row 3 $(-1,1,-1)$, Column 1 $(-1,1,-1)$, and Column 2 $(1,1,1)$. For Column 3, however, there are no detections, as $\varvec{a}' = U_{C3}^\dagger \varvec{a} = [0.0996 + 0.1441i, \, 0.6840 + 0.2766i, \, -0.5453 + 0.6334i, \, 0.6018 - 0.4475i]^\mathsf {T}$, and, hence, no measurement outcome. So, $\varvec{a}$ is contained in all index sets except $C_3$, in accordance with the Kochen–Specker theorem.

5.2 Understanding the Magic Square

Let us consider these results more deeply. Each of the six unitary transformations diagonalizes the three observables in the corresponding row or column. For Row 3, this means

$$\begin{aligned} U_{R3}^\dagger (X\otimes Y) U_{R3}&= \mathrm {diag}([+1, \, +1,\, -1, \, -1]) \end{aligned}$$

(22a)

$$\begin{aligned} U_{R3}^\dagger (Y\otimes X) U_{R3}&= \mathrm {diag}([+1, \, -1,\, -1, \, +1]) \end{aligned}$$

(22b)

$$\begin{aligned} U_{R3}^\dagger (Z\otimes Z) U_{R3}&= \mathrm {diag}([+1, \, -1,\, +1, \, -1]) \end{aligned}$$

(22c)

while, for Column 3, we have

$$\begin{aligned} U_{C3}^\dagger (X\otimes X) U_{C3}&= \mathrm {diag}([+1, \, +1,\, -1, \, -1]) \end{aligned}$$

(23a)

$$\begin{aligned} U_{C3}^\dagger (Y\otimes Y) U_{C3}&= \mathrm {diag}([-1, \, +1,\, +1, \, -1]) \end{aligned}$$

(23b)

$$\begin{aligned} U_{C3}^\dagger (Z\otimes Z) U_{C3}&= \mathrm {diag}([+1, \, -1,\, +1, \, -1]) \end{aligned}$$

(23c)

Suppose we measure Row 3 and obtain an outcome of $+1$ for $Z\otimes Z$. Since measurement outcomes are based on amplitude threshold crossings, and we have conditioned on single-detection events, we know that, for $\varvec{a}' = U_{R3}^\dagger \varvec{a}$, either $|a'_1| > \gamma $ or $|a'_3| > \gamma $. The outcomes for the other two observables, $X\otimes Y$ and $Y\otimes X$, could then be either $+1, +1$ (if $|a'_1| > \gamma $) or $-1,-1$ (if $|a'_3| > \gamma $), respectively. The outcome of, say, $X\otimes Y$ therefore uniquely determines the outcome of the other, and the product of all three is thereby guaranteed to be $+1$. Had we instead measured $-1$ for $Z\otimes Z$, a similar outcome would have been obtained.

Now suppose, using the same value of $\varvec{a}$, we had measured Column 3 instead. It is possible that there are no detections, but we may suppose that there is one. Let us suppose further that the outcome of measuring $Z\otimes Z$ is +1 as well. This means that, for $\varvec{a}'' = U_{C3}^\dagger \varvec{a}$, either $|a''_1| > \gamma $ or $|a''_3| > \gamma $. For the other two observables, $X\otimes X$ and $Y\otimes Y$, the possible outcomes are $+1,-1$ (if $|a''_1| > \gamma $) and $-1,+1$ (if $|a''_3| > \gamma $), respectively. Again, the outcome of one observable, either $X\otimes X$ or $Y\otimes Y$, uniquely determines the outcome of the other, and, in either case, the product of all three is $-1$. Measuring $-1$ for $Z\otimes Z$ would, of course, have led to a similar outcome.

6 Entanglement

A quantum state $\left| \psi \right\rangle \in \mathcal {H} = \mathcal {H}_1 \otimes \mathcal {H}_2$, where $\mathcal {H}_1$ and $\mathcal {H}_2$ are Hilbert spaces and $\mathcal {H}$ is their tensor product space, is said to be entangled (with respect to $\mathcal {H}_1$ and $\mathcal {H}_2$) if there do not exist substates $\left| \psi _1\right\rangle \in \mathcal {H}_1$ and $\left| \psi _2\right\rangle \in \mathcal {H}_2$ such that $\left| \psi \right\rangle = \left| \psi _1\right\rangle \otimes \left| \psi _2\right\rangle $. A state which is not entangled is said to be separable.

This is a mathematical definition concerning properties of vector spaces which, taken at face value, suggests that there are plenty of classical systems that are entangled. For example, the acoustic field of a general, coupled mode solution to sound propagation in the ocean is, in this sense, an entangled state (though perhaps non-separable would be a more accurate description). The term classical entanglement has been suggested to describe certain (classical) coherent optical states that exhibit properties similar to that of entangled quantum systems [32, 33, 34], though the lack of actual statistical outcomes makes this association somewhat dubious. Classical entanglement, as it is construed in these works, refers only to nonseparability. In the context of quantum mechanics, and in keeping with its original use by E. Schrödinger, entanglement connotes statistical correlations [35].

In what follows, we will consider statistical manifestations of entanglement arising from the proposed detector-based model. Given an entangled (i.e., non-separable) design state $\left| \psi \right\rangle $ and corresponding random vector $\varvec{a}$, we would like to know whether the latter is entangled, and in what sense. Rather than appeal to vector space properties, we look instead to an equivalence of statistical predictions. In particular, we will examine the statistics of “detector clicks” for various observables.

A bit of notation may help. Let $\left| \uparrow \right\rangle = [1, 0]^\mathsf {T}$ and $\left| \downarrow \right\rangle = [0, 1]^\mathsf {T}$ denote the eigenvectors of $Z$, with eigenvalues $+1$ and $-1$, respectively. These may be interpreted as orthogonal polarizations of a single photon. The states $\left| \uparrow \right\rangle $ and $\left| \downarrow \right\rangle $ may also be viewed as the qubit states $\left| 0\right\rangle $ and $\left| 1\right\rangle $, respectively, in the computational basis [36]. If $\mathcal {H}_1 = \mathcal {H}_2 = \mathrm {span}\{\left| \uparrow \right\rangle , \left| \downarrow \right\rangle \}$, then $\mathcal {H} = \mathcal {H}_1 \otimes \mathcal {H}_2$ is spanned by the following (separable) orthonormal basis states

$$\begin{aligned} \left| 1\right\rangle&= \left| \uparrow \right\rangle \otimes \left| \uparrow \right\rangle = \left| \uparrow \uparrow \right\rangle , \quad \left| 2\right\rangle = \left| \uparrow \right\rangle \otimes \left| \downarrow \right\rangle = \left| \uparrow \downarrow \right\rangle \\ \left| 3\right\rangle&= \left| \downarrow \right\rangle \otimes \left| \uparrow \right\rangle = \left| \downarrow \uparrow \right\rangle , \quad \left| 4\right\rangle = \left| \downarrow \right\rangle \otimes \left| \downarrow \right\rangle = \left| \downarrow \downarrow \right\rangle \end{aligned}$$

This four-dimensional (i.e., two-qubit) space is the one we will investigate.

6.1 Bell States

The Bell states are a set of four maximally entangled states that also form an orthonormal basis for our four-dimensional Hilbert space, $\mathcal {H}$. They are given by

$$\begin{aligned} \left| \phi _1\right\rangle&= \frac{1}{\sqrt{2}} \left[ \left| \uparrow \uparrow \right\rangle + \left| \downarrow \downarrow \right\rangle \right] , \quad \left| \phi _2\right\rangle = \frac{1}{\sqrt{2}} \left[ \left| \uparrow \downarrow \right\rangle + \left| \downarrow \uparrow \right\rangle \right] \\ \left| \phi _3\right\rangle&= \frac{1}{\sqrt{2}} \left[ \left| \uparrow \uparrow \right\rangle - \left| \downarrow \downarrow \right\rangle \right] , \quad \left| \phi _4\right\rangle = \frac{1}{\sqrt{2}} \left[ \left| \uparrow \downarrow \right\rangle - \left| \downarrow \uparrow \right\rangle \right] \end{aligned}$$

Suppose $\left| \psi \right\rangle = \left| \phi _2\right\rangle $, so the component vector in the standard basis is $\varvec{\alpha } = [0,1,1,0]^\mathsf {T}/\sqrt{2}$. Now consider the 16 Hermitian matrices composed of pair-wise tensor products of the four Pauli matrices $I$, $X$, $Y$, and $Z$; i.e., $I\otimes I, I\otimes X, \ldots , Z\otimes Z$. It is readily verified that the Hilbert-Schmidt inner product between any two different pairs is zero, as this property holds for the Pauli matrices themselves. Between themselves, they take on the value $4$. Hence these operators, when suitably normalized, form a tomographically complete quorum set, which may be used to deduce the quantum state from their expectation values using QST.

Going further, one finds that the application of each member of the quorum on $\varvec{\alpha }$ results in a vector that, like $\varvec{\alpha }$, has components that are either zero or of equal magnitude. With suitable choices of $s$, $\gamma $, and $\varvec{{w}}$, then, Theorem 1 or 3 holds, depending upon the choice of distribution for $\varvec{{w}}$, and the distribution of detected outcomes follows the Born rule. Consequently, the expectation values of the random variables corresponding to each observable match the quantum predictions exactly (in the case of Theorem 3) or asymptotically (in the case of Theorem 1). Tomographically, then, the random vector $\varvec{a} = s\varvec{\alpha } + \varvec{{w}}$ is equivalent to the entangled state $\left| \psi \right\rangle $. It is straightforward to show that a similar result holds for the other three Bell states.

For example, let $s = (\sqrt{2}-1)\sigma $, $\gamma = \sigma > 0$, and $\varvec{{w}} = \sigma \varvec{z}/\left\| \varvec{z}\right\| $. Now suppose we measure $Z$ on both the first (left) particle and second (right) particle.. For the first particle, we will obtain either a projection onto the subspace $\mathrm {Span}\{\left| \uparrow \uparrow \right\rangle , \left| \uparrow \downarrow \right\rangle \}$, if the result is $+1$, or $\mathrm {Span}\{\left| \downarrow \uparrow \right\rangle , \left| \downarrow \downarrow \right\rangle \}$, if the result is $-1$. On the other hand, for the second particle we will obtain a projection onto either the subspace $\mathrm {Span}\{\left| \uparrow \uparrow \right\rangle , \left| \downarrow \uparrow \right\rangle \}$, if one measures $+1$, or $\mathrm {Span}\{\left| \uparrow \downarrow \right\rangle , \left| \downarrow \downarrow \right\rangle \}$, if one measures $-1$. Of course, it is also possible that neither measurement yields a detection, but let us suppose that they both do. Since the random amplitudes of outcomes $\left| \uparrow \uparrow \right\rangle $ and $\left| \downarrow \downarrow \right\rangle $ are $|a_1| \le \sigma $ and $|a_4| \le \sigma $, respectively, these outcomes will never occur. Furthermore, since $\mathrm {E}[|a_2|] = \mathrm {E}[|a_3|]$, the outcomes $\left| \uparrow \downarrow \right\rangle $ and $\left| \downarrow \uparrow \right\rangle $ will be equally likely. Since, by Theorem 3, no more than one detection is possible, we conclude that, if we obtain $\left| \uparrow \right\rangle $ (i.e., $+1$) for particle 1, then we must obtain $\left| \downarrow \right\rangle $ (i.e., $-1$) for particle 2, and vice versa. The detected outcomes are thus perfectly anti-correlated, as one might expect for an entangled pair.

Of course, this doesn’t work for every observable. Consider the Hermitian matrix $I\otimes B_+$, which is diagonalized by the unitary matrix $I\otimes W_+$. For $\left| \psi \right\rangle = \left| \phi _2\right\rangle $, the quantum probabilities $|\left\langle n\right| (I\otimes W_+)\left| \psi \right\rangle |^2$, for $n = 1, \ldots , 4$, are approximately $0.0732, \, 0.4268, \, 0.4268, \, 0.0732$. The conditional detection probabilities are found numerically to be approximately $0.0364, \, 0.4608, \, 0.4641, \, 0.0388$, with an uncertainty of about $0.004$. Though similar, these values are only an approximation to the quantum predictions.

6.2 Violations of Bell’s Inequality

Another hallmark of entanglement is the possibility of violating Bell’s inequality. More precisely, the CHSH inequality is given by [37]

$$\begin{aligned} S_\mathrm{B} = \bigl | \mathrm {E}[AB] + \mathrm {E}[AB'] \bigr | + \bigl | \mathrm {E}[A'B] - \mathrm {E}[A'B'] \bigr | \le 2 \; , \end{aligned}$$

(24)

where $A$, $A'$, $B$, $B'$ are random variables bounded by unity and $\mathrm {E}[\,\cdot \,]$ is the expectation with respect to some probability measure $P$. It is important to note that, in order for this inequality to hold, the same probability measure $P$ is used for all four expectation values. Thus,

$$\begin{aligned} \mathrm {E}[AB]&= \int A(\varvec{a}) B(\varvec{a}) dP(\varvec{a}) \end{aligned}$$

(25a)

$$\begin{aligned} \mathrm {E}[AB']&= \int A(\varvec{a}) B'(\varvec{a}) dP(\varvec{a}) \end{aligned}$$

(25b)

$$\begin{aligned} \mathrm {E}[A'B]&= \int A'(\varvec{a}) B(\varvec{a}) dP(\varvec{a}) \end{aligned}$$

(25c)

$$\begin{aligned} \mathrm {E}[A'B']&= \int A'(\varvec{a}) B'(\varvec{a}) dP(\varvec{a}) \end{aligned}$$

(25d)

The analogous expressions for quantum mechanics replace $\mathrm {E}[AB]$, say, with $\langle AB\rangle = \left\langle \psi \right| AB\left| \psi \right\rangle $ for a fixed quantum state $\left| \psi \right\rangle $. In particular, if $\left| \psi \right\rangle $ is the Bell state $\left| \phi _2\right\rangle $, and the four observables are

$$\begin{aligned} A = Z\otimes I, \quad B&= -I\otimes (X+Z)/\sqrt{2} \\ A' = X\otimes I, \quad B'&= +I\otimes (X-Z)/\sqrt{2} \end{aligned}$$

then

$$\begin{aligned} S_\mathrm{Q} = \left| \left\langle AB\right\rangle + \left\langle AB'\right\rangle \right| + \left| \left\langle A'B\right\rangle - \left\langle A'B'\right\rangle \right| = 2\sqrt{2} \; . \end{aligned}$$

(26)

How can we reconcile this result with the CHSH inequality? As we have noted, the theorem applies to expectations that are with respect to the same probability measure. If the probability measures differ for each pair of observables, then the inequality need no longer hold. Now, in the model proposed here, expectations are with respect to conditional probability distributions, conditioned, that is, on single detections. Let these be denoted $\mathrm {E}_1[AB]$, $\mathrm {E}_2[AB']$, $\mathrm {E}_3[A'B]$, and $\mathrm {E}_4[A'B']$. This means that Bell’s theorem does not apply and violations of the inequality are possible. It remains to ask whether

$$\begin{aligned} S_\mathrm{D} = \bigl | \mathrm {E}_1[AB] + \mathrm {E}_2[AB'] \bigr | + \bigl | \mathrm {E}_3[A'B] - \mathrm {E}_4[A'B'] \bigr | \end{aligned}$$

(27)

can ever be greater than 2.

A numerical study was performed to investigate this possibility. As before, a random realization of $M = 2^{20}$ independent noise vectors of the form $\varvec{{w}} = \sigma \varvec{z}/\left\| \varvec{z}\right\| $, with $\sigma = 1$, was drawn. Using $\varvec{\alpha } = [0, \, 1, \, 1, \, 0]^\mathrm {T}$, a set of $M$ complex-valued vectors of the form $\varvec{a} = s\varvec{\alpha } + \varvec{{w}}$, with $s = (\sqrt{2}-1)\sigma $, was created. A detection threshold of $\gamma = \sigma $ was used.

To this set the Hermitian conjugates of the unitary matrices $U_1 = I\otimes W_+$, $U_2 = I\otimes W_-$, $U_3 = H\otimes W_+$, and $U_4 = H\otimes W_-$ were applied separately to $\varvec{a}$ for the observables $AB$, $AB'$, $A'B$, and $A'B'$, respectively. For each of the four measurements, the diagonalized matrix of eigenvalues is

$$\begin{aligned} U_1^\dagger (AB) U_1&= \mathrm {diag}([-1, \, +1, \, +1, \, -1]) \end{aligned}$$

(28a)

$$\begin{aligned} U_2^\dagger (AB') U_2&= \mathrm {diag}([+1, \, -1, \, -1, \, +1]) \end{aligned}$$

(28b)

$$\begin{aligned} U_3^\dagger (A'B) U_3&= \mathrm {diag}([-1, \, +1, \, +1, \, -1]) \end{aligned}$$

(28c)

$$\begin{aligned} U_4^\dagger (A'B') U_4&= \mathrm {diag}([+1, \, -1, \, -1, \, +1]) \end{aligned}$$

(28d)

Of the $M$ realizations of $\varvec{a}$, typically only about 5 % resulted in a detection, though it was a different 5 % for each of the four observables. (This should not be confused with the detector efficiency, which is a measure of coincidence rates and no meaning in this context.) Let $I_1$ denote the set of values of $\varvec{a}$, a subset of all $M$ realizations, that resulted in a detection for the observable $AB$. Define $I_2$, $I_3$, and $I_4$ similarly for $AB'$, $A'B$, and $A'B'$, respectively. Furthermore, let $I_{ij}$ denote the subset of $I_i$ for which the $j^\mathrm {th}$ component exceeded the threshold. Note that $I_{i1}$, $I_{i2}$, $I_{i3}$, and $I_{i4}$ are mutually exclusive, and their union is $I_i$. Finally, let $n_{ij}$ denote the cardinality of $I_{ij}$ and $n_i$ the cardinality of $I_i$.

The results of the numerical simulation are summarized in Table 1. From these results we deduce mean values of $\mathrm {E}_1[AB] = 0.8497$, $\mathrm {E}_2[AB'] = 0.8440$, $\mathrm {E}_3[A'B] = -0.8486$, and $\mathrm {E}_4[A'B'] = 0.8481$, each with an uncertainty of about $0.004$, computed as $1/\sqrt{n_i}$. Combining these results, we find

$$\begin{aligned} S_\mathrm{D} = 3.39 \pm 0.016 \; , \end{aligned}$$

(29)

where the uncertainties of the four correlations were added to arrive at the final uncertainty in $S_\mathrm{D}$. This is clearly greater than $2$ and, in fact, greater than the Tsirelson bound of $2\sqrt{2} = 2.8284$, which is an upper bound on quantum violations of the CHSH inequality.

Table 1

Results of a numerical simulation to test violations of Bell’s inequality using $\varvec{{w}} = \sigma \varvec{z} / \left\| \varvec{z}\right\| $

Observable	$n_{i1}$	$n_{i2}$	$n_{i3}$	$n_{i4}$	$n_i$	Mean
$AB$	2,166	27,439	27,633	2,308	59,546	0.8497
$AB'$	27,311	2,358	2,272	27,435	59,376	0.8440
$A'B$	27,236	2,239	2,232	27,357	59,064	$-0.8486$
$A'B'$	27,415	2,241	2,252	27,252	59,160	0.8481

About 5 % of the $M = 2^{20}$ realizations resulted in a single detection

A similar numerical study was performed using $\varvec{{w}} = \sigma \varvec{z}$, with $\sigma = 1$, $s = \sigma $, and $\gamma = 3\sigma $. The results of this study are summarized in Table 2, from which we deduce the following mean values: $\mathrm {E}_1[AB] = 0.6403$, $\mathrm {E}_2[AB'] = 0.6484$, $\mathrm {E}_3[A'B] = -0.6695$, and $\mathrm {E}_4[A'B'] = 0.6733$, each with an uncertainty of about $0.02$. Combining these results, we find

$$\begin{aligned} S_\mathrm{D} = 2.63 \pm 0.08 \; . \end{aligned}$$

(30)

Although the correlations are not as strong, we do find again that Bell’s inequality is violated.

Table 2

Results of a numerical simulation to test violations of Bell’s inequality using $\varvec{{w}} = \sigma \varvec{z}$. About 0.25 % of the $M = 2^{20}$ realizations resulted in a single detection

Observable	$n_{i1}$	$n_{i2}$	$n_{i3}$	$n_{i4}$	$n_i$	Mean
$AB$	250	1,075	1,091	225	2,641	0.6403
$AB'$	1,062	246	216	1,104	2,628	0.6484
$A'B$	1,036	228	193	1,091	2,548	$-0.6695$
$A'B'$	1,079	202	222	1,093	2,596	0.6733

These results demonstrate that a (classical) deterministic model can violate Bell’s inequality. Such violations are made possible by the fact that the model is contextual, and this contextuality is, in turn, a consequence of our conditioning on single-detection events. In some cases, these violations can be larger than those predicted by quantum mechanics. This is so despite the fact that the Born rule is not perfectly reproduced for all observables concerned.

6.3 Local Realism

The notion that quantum mechanics is at odds with local realism first arose in the context of the Einstein–Podolsky–Rosen (EPR) paradox [38] and later by Bohm in terms of discrete states [39]. This paradox was recast by Bell [4] into an inequality that, he concluded, no local realistic theory could violate. A variation of this inequality was first tested by Clauser[40] and, in a later landmark experiment, by Aspect [41], with results in agreement with quantum predictions. This is generally regarded as conclusive evidence that quantum mechanics, and hence nature, is fundamentally nonlocal, despite the fact that it has been known for some time that violations of Bell’s inequality are possible under the so-called detection loophole [42, 43, 44]. The analysis of the previous section reconfirms this through a specific example, but it did not address local realism, as the two observables were effectively measured as one. Although recent experiments, with detector efficiencies over 70 %, claim to have closed the detection loophole for photons, these results do not address violations of Bell’s inequality but, rather, a little-known inequality due to Eberhard used to test local realism while accounting for detector inefficiencies [45, 46, 47].

Let us, then, consider an alternate scheme whereby the two observables are measured separately and independently. This corresponds to the usual sense of local realism in the context of Bell’s inequality, namely, that the choice of $A$ or $A'$ and its outcome are not influenced by (nor do they influence) the choice of $B$ or $B'$ and its outcome. As is common in such discussions, we will describe this situation in terms of two familiar actors.

Suppose Alice and Bob, who live in different cities, both receive a letter upon which is written a particular realization, say, $s\varvec{\alpha }+\varvec{{w}} = [-0.165+0.2046i, \, 0.8316+0.6696i, \, 0.5690-0.2230i, \, 0.2321-0.1111i]^\mathsf {T}$, of the Bell state $\varvec{\alpha } = [0, 1, 1, 0]^\mathsf {T}/\sqrt{2}$ with $s = (\sqrt{2}-1)\sigma $, $\varvec{{w}} = \sigma \varvec{z}/\left\| \varvec{z}\right\| $, and $\sigma = 1$. At a previously agreed upon time they each select a measurement to perform on it. Alice chooses either $A = Z\otimes I$ or $A' = X\otimes I$, while Bob chooses either $B = -I\otimes (X+Z)/\sqrt{2}$ or $B' = I\otimes (X-Z)/\sqrt{2}$. The choice and outcome are written down but not shared until later.

These measurements are performed, not by a device, but by simple pencil-and-paper calculations whereby Alice multiplies $s\varvec{\alpha }+\varvec{{w}}$ by either $(I\otimes I)^\dagger $, to measure $A$, or $(H\otimes I)^\dagger $, to measure $A'$, thereby obtaining the result $\varvec{a}$ or $\varvec{a}'$, respectively. Using a detection threshold $\gamma = \sigma $, she determines the result of the measurement for, say, $A$ by noting if either $|a_1|^2 + |a_2|^2 > \gamma ^2$, in which case she writes “$+1$”, or $|a_3|^2 + |a_4|^2 > \gamma ^2$, in which case she writes “$-1$”. This is so because

$$\begin{aligned} (I\otimes I)^\dagger A (I\otimes I) = \mathrm {diag}([+1, +1, -1, -1]) \; . \end{aligned}$$

(31)

If neither is the case, or if both are true, she simply writes “NaN” (Not a Number). The same procedure is followed when measuring $A'$, since

$$\begin{aligned} (H\otimes I)^\dagger A' (H\otimes I) = \mathrm {diag}([+1, +1, -1, -1]) \; . \end{aligned}$$

(32)

Bob proceeds in much the same manner as Alice, multiplying $s\varvec{\alpha }+\varvec{{w}}$ by either $(I\otimes W_+)^\dagger $, to measure $B$, or $(I\otimes W_-)^\dagger $, to measure $B'$ and denoting the respective results $\varvec{b}$ and $\varvec{b}'$. To determine the outcome of measuring, say, $B$, Bob examines whether $|b_2|^2 + |b_4|^2 > \gamma ^2$, in which case he writes “$+1$”, or $|b_1|^2 + |b_3|^2 > \gamma ^2$, in which case he writes “$-1$”. This is so because

$$\begin{aligned} (I\otimes W_+)^\dagger B (I\otimes W_+) = \mathrm {diag}([-1, +1, -1, +1]) \; . \end{aligned}$$

(33)

To measure $B'$, Bob examines whether $|b'_1|^2 + |b'_3|^2 > \gamma ^2$, in which case he writes “$+1$”, or $|b'_2|^2 + |b'_4|^2 > \gamma ^2$, in which case he writes “$-1$”, since

$$\begin{aligned} (I\otimes W_-)^\dagger B' (I\otimes W_-) = \mathrm {diag}([+1, -1, +1, -1]) \; . \end{aligned}$$

(34)

Like Alice, if there are no threshold crossings, or two threshold crossings, he simply writes “NaN” for the outcome.

Suppose Alice chooses to measure $A$. In this case, $\varvec{a} = s\varvec{\alpha }+\varvec{{w}}$ and she finds that $|a_1|^2 + |a_2|^2 = 1.209 > \gamma ^2$ while $|a_3|^2 + |a_4|^2 = 0.4397 \le \gamma ^2$, so she writes down “$+1$.” Suppose further that Bob independently chooses to measure $B$ and thereby computes $\varvec{b} = [0.1658+0.4453i, \, 0.8314+0.5403i, \, 0.6145-0.2485i, \, -0.0033-0.0173i]^\mathsf {T}$. Since $|b_2|^2 + |b_4|^2 = 0.9836 \le \gamma ^2$ and $|b_1|^2 + |b_3|^2 = 0.6651 \le \gamma ^2$, he records “NaN” — no valid outcome was obtained. Had Bob chosen to measure $B'$ instead, he would have found $\varvec{b}' = [0.7052 + 0.6969i, \, 0.4707 + 0.0672i, \, 0.4322 - 0.1880i, \, -0.4369 + 0.1635i]^\mathsf {T}$. In that case, since $|b'_2|^2 + |b'_4|^2 = 0.4436 <= \gamma ^2$ and $|b'_1|^2 + |b'_3|^2 = 1.2051 > \gamma ^2$, he would have recorded “$+1$” instead of “NaN” for the outcome.

Now suppose Alice and Bob play this game many, many times. For each instance of $s\varvec{\alpha }+\varvec{w}$ they record which measurement they performed and whether they obtained “$+1$,” “$-1$,” or “NaN” as an outcome. When the game is over, they compare notes. All items on the list in which either Alice or Bob recorded “NaN” are struck out. Next, the results are grouped into four categories, corresponding to the four measurement combinations. Finally, the correlation is computed for each group.

A numerical study was performed along these lines, with $M = 2^{20}$ realizations of $s\varvec{\alpha }+\varvec{{w}}$ for each of the four measurement choices. In each case, about 30 % of the $M$ realizations resulted in a single detection for either Alice or Bob, and about 10 % of the $M$ realizations resulted in a single coincidence detection. This corresponded to a detector efficiency of about $\eta = 0.33$ (the ratio of coincident to single detections), which is comparable to that of a good quantum optics experiment.

Table 3 summarizes the results of this study. For example, the number of times Alice obtained $\uparrow (+1)$ and Bob obtained $\downarrow (-1)$ when she measured $A$ and he measured $B$ was 12069. The total number of coincidences for this pair of observables was $118251$, resulting in a mean correlation of $\mathrm {E}_1[AB] = 0.5833$. Computing these four mean correlations allows us to compute $S_\mathrm{D}$, which was found to be

$$\begin{aligned} S_\mathrm{D} = 2.3405 \pm 0.004 \; . \end{aligned}$$

(35)

This result is, of course, larger than 2 and, so, violates Bell’s inequality. As before, this was made possible by the fact that not all measurements resulted in a single coincidence detection for both Alice and Bob. This example, however, shows that local measurements made within a fully deterministic (i.e., classical) model can still violate Bell’s inequality.

Table 3

Results of a numerical simulation to test violations of Bell’s inequality under the local measurements

Alice	Bob	$\;\,\uparrow \uparrow \,$	$\;\,\uparrow \downarrow \,$	$\;\,\downarrow \uparrow \,$	$\;\,\downarrow \downarrow \,$	Total	Mean
$A$	$B$	46,523	12,069	12,402	46,924	118,251	0.5833
$A$	$B'$	46,633	12,171	12,372	46,819	118,196	0.5830
$A'$	$B$	12,226	46,674	46,795	12,119	117,935	$-0.5861$
$A'$	$B'$	46,622	12,129	12,091	46,738	117,580	0.5880

About 10 % of the $M = 2^{20}$ realizations resulted in a single coincidence detection

Interestingly, the violation is not as large as was found in Sect. 6.2. It seems, therefore that separated measurements have weaker correlations than joint measurements. Furthermore, if one uses $\varvec{{w}} = \varvec{z}$ instead of $\varvec{{w}} = \varvec{z}/\Vert \varvec{z}\Vert $, as was done above, no violation is observed. Introducing correlations in the initial noise term therefore seems to have the effect of strengthening the correlations in the measured outcomes. This suggests that a different choice of noise distribution could lead to a higher efficiency and an even larger violation.

7 Conclusion

This paper introduces a simple deterministic model of quantum systems and quantum measurement that is capable of reproducing many phenomena typically regarded as having no classical analogue. The model associates a give pure quantum state $\left| \psi \right\rangle $ with a complex random vector $\varvec{a}$ that is composed of a scaled version of the state’s complex components, $s\varvec{\alpha }$, and an additive complex noise term $\varvec{{w}}$. Although not addressed here, mixed states may be modeled similarly using an ensemble of pure states.

A measurement is taken to be a single-threshold-crossing event ($|a_n| > \gamma $, $|a_{n'}| \le \gamma $ for all $n' \ne n$); all other events are ignored. Taking the noise to be either a vector of independent complex Gaussians ($\varvec{{w}} = \sigma \varvec{z}$) or its normalized counterpart ($\varvec{{w}} = \sigma \varvec{z} / \left\| \varvec{z}\right\| $), it was shown that, for suitable choices of $s$ and $\gamma $ relative to $\sigma $, the Born rule is recovered for states that are such that the components are either zero or equal in magnitude.

Measurements in other bases are performed by applying the corresponding unitary transformation to the vector $\varvec{a}$. Using these properties, one can use quantum state tomography to deduce the equivalent quantum state from the statistics of single-detection events. Partial measurements over a complete set of projection operators are defined similarly, with the amplitude of the projection onto each subspace being used for threshold detection. In the case that the projections are formed from a complete orthonormal basis, this reduces to the above prescription for full measurements.

This model has been shown to be capable of reproducing several aspects of quantum contextuality and entanglement, including local violations of Bell’s inequality. Common among these varied phenomena is the dependence of the underlying statistics on different, noncommuting sets of observables. This dependence has previously been known to give rise to contextuality. Here, this contextuality arises from the fact that we have conditioned on single-threshold-crossing events for our definition of measurement.

Although this model does exhibit many of the more interesting features of quantum phenomena, it is by no means complete. The Born rule is reproduced exactly in only a limited set of quantum states and is elsewhere only an approximation. Bounded Gaussian noise models appear to work better that unbounded ones, although both are capable of reproducing quantum phenomena.

While something of a mathematical contrivance, it is hoped that this model may form the basis of a more physical theory of quantum measurement. Further extensions of this work would include improving the noise model and associating the random complex vector to a particular physical model of some classical system, such as a stochastic electromagnetic field varying over space and time. Similarly, the artifice of a threshold detector is but a crude representation of light-matter interactions, which should be modeled in greater detail for a full physical theory. Proceeding in this manner, one might hope that better agreement over a broader set of quantum phenomena may be achieved.

Notes

Acknowledgments

This work was supported by an Internal Research and Development grant from Applied Research Laboratories, The University of Texas at Austin. The author would like to thank Dr. M. Thrasher for his review of the manuscript and many helpful suggestions. The author would also like to thank the reviewers for their comments and recommended references, both of which have contributed to the quality of the final manuscript.

Appendix

Theorem 5

Suppose the components of $\varvec{{w}} = \sigma \varvec{z}$ are independent and identically distributed complex Gaussian random variables with zero mean and variance $\sigma ^2 > 0$. Then $|s\alpha _m| < |s\alpha _k|$ implies

$$\begin{aligned} \lim _{\gamma \rightarrow \infty } \frac{P_m(\varvec{\alpha }, \gamma )}{P_k(\varvec{\alpha }, \gamma )} = 0 \; . \end{aligned}$$

(36)

Proof

From the assumed distribution of $\varvec{{w}}$, it follows that $|a_1/\sigma |^2, \ldots , |a_N/\sigma |^2$ are independent, non-central $\chi ^2$-distributed random variables, each with two degrees of freedom and noncentrality parameter $\lambda _i = |s\alpha _i/\sigma |^2$ for $i = 1, \ldots , N$.

Let $F_i(\gamma ) = \Pr [|a_i| \le \gamma ] = \Pr [|a_i/\sigma |^2 \le (\gamma /\sigma )^2]$ denote the cumulative distribution function for the $i^\mathrm {th}$ component and note that

$$\begin{aligned} F_i(\gamma ) = 1 - Q_1(\sqrt{\lambda _i}, \, \gamma /\sigma ) \; , \end{aligned}$$

(37)

where $Q_1(a,b)$ is the Marcum Q-function [48],

$$\begin{aligned} Q_1(a,b) = \int _{b}^{\infty } x \, e^{-(x^2+a^2)/2} I_0(ax) \, dx \; , \end{aligned}$$

(38)

and $I_0$ is the modified Bessel function of order $0$. Note that $Q_1(a,0) = 1$ and $Q_1(a,b) < 1$ for $b > 0$.

In the special case $a = 0$, corresponding to $s\alpha _i = 0$, we note that

$$\begin{aligned} Q_1(0,b) = e^{-b^2/2} \; . \end{aligned}$$

(39)

Thus, for $s\alpha _i = 0$,

$$\begin{aligned} F_i(\gamma ) = 1 - e^{-\gamma ^2/(2\sigma ^2)} \; . \end{aligned}$$

(40)

For $s\alpha _i \ne 0$ there is no closed-form solution for $F_i$. As we are interested in the large-$\gamma $ limit, however, we may consider the behavior of $Q_1(a,b)$ for large $b$. In this regime, and for $a \ne 0$, the modified Bessel function in the integrand may be approximated as [49]

$$\begin{aligned} I_0(ax) \approx \frac{e^{ax}}{\sqrt{2\pi ax}} \; . \end{aligned}$$

(41)

In this approximation, the Marcum Q-function becomes

$$\begin{aligned} Q_1(a,b) \approx \frac{1}{\sqrt{2\pi a}} \int _{b}^{\infty } \sqrt{x} \, e^{-(x-a)^2/2} dx \; . \end{aligned}$$

(42)

This still does not admit a closed-form solution, but it may be bounded. Define the lower and upper bounding functions

$$\begin{aligned} Q_1^{L}(a,b)&:= \frac{1}{\sqrt{2\pi a}} \int _{b}^{\infty } e^{-(x-a)^2/2} dx \end{aligned}$$

(43)

$$\begin{aligned} Q_1^{U}(a,b)&:= \frac{1}{\sqrt{2\pi a}} \int _{b}^{\infty } x \, e^{-(x-a)^2/2} dx \end{aligned}$$

(44)

and note that, for $b$ sufficiently large,

$$\begin{aligned} Q_1^{L}(a,b) \le Q_1(a,b) \le Q_1^{U}(a,b) \; . \end{aligned}$$

(45)

These two integrals do admit closed-form solutions, which are of the form

$$\begin{aligned} Q_1^{L}(a,b)&= {\frac{1}{\sqrt{4a}}}\,{\mathrm {erfc}}\left( {\frac{b-a}{\sqrt{2}}}\right) \end{aligned}$$

(46)

$$\begin{aligned} Q_1^{U}(a,b)&= {\frac{e^{-(b-a)^2/2}}{\sqrt{2\pi a}}} + {\sqrt{\frac{a}{4}}}\,{\mathrm {erfc}}\left( {\frac{b-a}{\sqrt{2}}}\right) \end{aligned}$$

(47)

where $\mathrm {erfc}$ is the complementary error function. The function $\mathrm {erfc}$ itself has the following asymptotic form:

$$\begin{aligned} \mathrm {erfc}(x) \sim \frac{e^{-x^2}}{x\sqrt{\pi }} \quad \text {for large}\,x\; . \end{aligned}$$

(48)

Thus,

$$\begin{aligned} Q_1^{L}(a,b)&\approx \frac{e^{-(b-a)^2/2}}{\sqrt{2\pi a}(b-a)} \end{aligned}$$

(49)

$$\begin{aligned} Q_1^{U}(a,b)&\approx \frac{e^{-(b-a)^2/2}}{\sqrt{2\pi a}} + {\sqrt{\frac{a}{2\pi }}} \, \frac{e^{-(b-a)^2/2}}{b-a} \end{aligned}$$

(50)

From this result, we can see that $Q_1(a,b) \sim e^{-(b-a)^2/2}$ for large $b$. Thus, for large $\gamma $,

$$\begin{aligned} F_i(\gamma ) \sim 1 - \exp \left[ -\left( \gamma /\sigma -\sqrt{\lambda _i}\right) ^2/2\right] \; . \end{aligned}$$

(51)

Now consider $P_n(\varvec{\alpha }, \gamma )$, the probability that $|a_n| > \gamma $ is the only threshold crossing. Since the random variables $a_1, \ldots , a_N$ are independent, it may be written in terms of $F_i(\gamma )$ as simply

$$\begin{aligned} P_n(\varvec{\alpha }, \gamma ) = [1-F_n(\gamma )] \prod _{i \ne n} F_i(\gamma ) \; . \end{aligned}$$

(52)

Now suppose $|s\alpha _m| < |s\alpha _k|$ and consider the ratio $P_m(\gamma )/P_k(\gamma )$ for $\gamma > 0$. This will be given by

$$\begin{aligned} \frac{P_m(\varvec{\alpha }, \gamma )}{P_k(\varvec{\alpha }, \gamma )} = \frac{1-F_m(\gamma )}{1-F_k(\gamma )} \frac{F_k(\gamma )}{F_m(\gamma )} \; . \end{aligned}$$

(53)

For large $\gamma $, the ratio $F_k(\gamma )/F_m(\gamma )$ is approximately unity and may be ignored. The remaining factors may be written in terms of Eq. (51), so that

$$\begin{aligned} \frac{P_m(\varvec{\alpha }, \gamma )}{P_k(\varvec{\alpha }, \gamma )}&\approx \frac{\exp \left[ -\left( \gamma /\sigma -\sqrt{\lambda _m}\right) ^2/2\right] }{\exp \left[ -\left( \gamma /\sigma -\sqrt{\lambda _k}\right) ^2/2\right] } \nonumber \\&= \exp [-(\sqrt{\lambda _k}-\sqrt{\lambda _m})\gamma /\sigma ] \, e^{\lambda _k-\lambda _m} \; , \end{aligned}$$

(54)

which tends to zero as $\gamma \rightarrow \infty $, since $\lambda _k = |s\alpha _k|^2 > |s\alpha _m|^2 = \lambda _m$. $\square $

References

1.
Bell, J.S.: On the problem of hidden variables in quantum mechanics. Rev. Mod. Phys. 38, 447–452 (1966)CrossRefMATHADSGoogle Scholar
2.
Genovese, M.: Research on hidden variable theories: a review of recent progress. Phys. Rep. 413, 319–396 (2005)CrossRefADSMathSciNetGoogle Scholar
3.
Kochen, S., Specker, E.P.: The problem of hidden variables in quantum mechanics. J. Math. Mech. 17, 59–87 (1967)MATHMathSciNetGoogle Scholar
4.
Bell, J.S.: On the Einstein Podolsky Rosen paradox. Physics 1, 195–200 (1964)Google Scholar
5.
Dragoman, D., Dragoman, M.: Quantum-Classical Analogies. Springer, Berlin (2004)Google Scholar
6.
Khrennikov, A.: Ubiquitous Quantum Structure: From Psychology to Finance. Springer, Berlin (2010)CrossRefGoogle Scholar
7.
Spekkens, R.W.: Evidence for the epistemic view of quantum states: a toy theory. Phys. Rev. A 75, 032110 (2007)CrossRefADSGoogle Scholar
8.
Pusey, M.F., Barrett, J., Rudolph, T.: On the reality of the quantum state. Nat. Phys. 8, 475–478 (2012)CrossRefGoogle Scholar
9.
de la Peña, L., Cetto, A.M.: The Quantum Dice: An Introduction to Stochastic Electrodynamics. Springer, Berlin (1995)Google Scholar
10.
Marshall, T., Santos, E.: Stochastic optics: a reaffirmation of the wave nature of light. Found. Phys. 18(2), 185–223 (1988)CrossRefADSGoogle Scholar
11.
Brida, G., Genovese, M., Gramegna, M., Novero, C., Predazzi, E.: A first test of Wigner function local realistic model. Phys. Lett. A 299, 121–124 (2002)CrossRefMATHADSMathSciNetGoogle Scholar
12.
Brida, G., Genovese, M., Gramegna, M., Novero, C.: Experimental limit on spontaneous parametric up conversion. J. Mod. Opt. 50(11), 1757–1762 (2003)CrossRefADSGoogle Scholar
13.
Scully, M.: Quantum Optics, 1st edn. Cambridge University Press, Cambridge (1997)CrossRefGoogle Scholar
14.
Garola, C.: A proposal for embodying quantum mechanics in a noncontextual framework by reinterpreting quantum probablilites. Foundations of Probability and Physics-5. AIP, vol. 1101, pp. 42–50 (2008)Google Scholar
15.
Skyrms, B.: Counterfactual definiteness and local causation. Philos. Sci. 49, 43–50 (1982)CrossRefMathSciNetGoogle Scholar
16.
Khrennikov, A.: Quantum probabilities and violation of CHSH-inequality from classical random signals and threshold type detection scheme. Prog. Theor. Phys. 128, 31–58 (July 2012)Google Scholar
17.
Bell, J.: Speakable and Unspeakable in Quantum Mechanics. Cambridge University Press, Cambridge (1987)MATHGoogle Scholar
18.
Gammaitoni, L., Hanggi, P., Jung, P., Marchesoni, F.: Stochastic resonance. Rev. Mod. Phys. 70(1), 223–287 (1998)CrossRefADSGoogle Scholar
19.
Marshall, T.W., Santos, E.: Stochastic optics: a local realist analysis of optical tests of the Bell inequalities. Phys. Rev. A 39, 6271–6283 (1989)CrossRefADSMathSciNetGoogle Scholar
20.
Greenberger, D.M., Horne, M.A., Zeilinger, A.: Bell’s Theorem, Quantum Theory, and Conceptions of the Universe, pp. 73–76. Kluwer Academics, Dordrecht (1989)Google Scholar
21.
Dudley, R.M.: Real Analysis and Probability, 1st edn. Chapman & Hall, New York (1989)MATHGoogle Scholar
22.
Fano, U.: Description of states in quantum mechanics by density matrix and operator techniques. Rev. Mod. Phys. 29, 74–93 (1957)CrossRefMATHADSMathSciNetGoogle Scholar
23.
Ježek, M., Fiurášek, J., Hradil, Z.: Quantum inference of states and processes. Phys. Rev. A 68, 012305 (2003)CrossRefADSMathSciNetGoogle Scholar
24.
Bužek, V., Drobný, G., Derka, R., Adam, G., Wiedemann, H.: Quantum state reconstruction from incomplete data. Chaos Solitons Fractals 10, 981–1074 (1999)CrossRefMATHMathSciNetGoogle Scholar
25.
Cabello, A.: Proposal for revealing quantum nonlocality via local contextuality. Phys. Rev. Lett. 104, 220401 (2010)CrossRefADSMathSciNetGoogle Scholar
26.
Howard M., Wallman, J., Veitch, V., Emerson, J.: Contextuality supplies the magic for quantum computation. arXiv:1401.4174v1 (2014)
27.
Huang, Y.-F., Li, C.-F., Zhang, Y.-S., Pan, J.-W., Guo, G.-C.: Experimental test of the Kochen–Specker theorem with single photons. Phys. Rev. Lett. 90, 250401 (2003)CrossRefADSGoogle Scholar
28.
Hasegawa, Y., Loidl, R., Badurek, G., Baron, M., Rauch, H.: Quantum contextuality in a single-neutron optical experiment. Phys. Rev. Lett. 97, 230401 (2006)CrossRefADSGoogle Scholar
29.
Kirchmair, G., Zähringer, F., Gerritsma, R., Kleinmann, M., Gühne, O., Cabello, A., Blatt, R., Roos, C.: State-independent experimental test of quantum contextuality. Nature 460, 494–497 (2009)CrossRefADSGoogle Scholar
30.
Mermin, D.: Hidden variables and the two theorems of John Bell. Rev. Mod. Phys. 65, 803–815 (1993)CrossRefADSMathSciNetGoogle Scholar
31.
La Cour, B.R.: Quantum contextuality in the Mermin–Peres square: a hidden variable perspective. Phys. Rev. A 79, 012102 (2009)CrossRefADSMathSciNetGoogle Scholar
32.
Spreeuw, R.J.C.: A classical analogy of entanglement. Found. Phys. 28(3), 361–374 (1998)CrossRefMathSciNetGoogle Scholar
33.
Chowdhury, P., Majumdar, A.S., Agarwal, G.S.: Nonlocal continuous-variable correlations and violation of Bell’s inequality for light beams with topological singularities. Phys. Rev. A 88, 013830 (2013)CrossRefADSGoogle Scholar
34.
Ghose, P., Mukherjee, A.: Novel states of classical light and noncontextuality. Advanced Science, Engineering and Medicine 6(2), 246–251 (2014)CrossRefGoogle Scholar
35.
Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K.: Quantum entanglement. Rev. Mod. Phys. 81(2), 865–942 (2009)CrossRefMATHADSMathSciNetGoogle Scholar
36.
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)MATHGoogle Scholar
37.
Clauser, J.F., Horne, M.A., Shimony, A., Holt, R.A.: Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett. 23, 880–884 (1969)CrossRefADSGoogle Scholar
38.
Einstein, A., Podolsky, B., Rosen, N.: Can the quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47, 777–780 (1935)CrossRefMATHADSGoogle Scholar
39.
Bohm, D.: Quantum Theory. Prentice Hall, New York (1951)Google Scholar
40.
Clauser, J.F., Horne, M.A.: Experimental consequences of objective local theories. Phys. Rev. D 10, 526–535 (1974)CrossRefADSGoogle Scholar
41.
Aspect, A., Grangier, P., Roger, G.: Experimental realization of Einstein–Podolsky–Rosen–Bohm Gedanken experiment: a new violation of Bell’s inequalities. Phys. Rev. Lett. 49(2), 91–94 (1982)CrossRefADSGoogle Scholar
42.
Pearle, P.M.: Hidden-variable example based upon data rejection. Phys. Rev. D 2(8), 1418–1425 (1970)CrossRefADSMathSciNetGoogle Scholar
43.
Clauser, J.F., Horne, M.A.: Experimental consequences of objective local theories. Phys. Rev. D 10(2), 526–535 (1974)CrossRefADSGoogle Scholar
44.
Brunner, N., Cavalcanti, D., Pironio, S., Scarani, V., Wehner, S.: Bell nonlocality. Rev. Mod. Phys. 86, 419–478 (2014)CrossRefADSGoogle Scholar
45.
Giustina, M., et al.: Bell violation using entangled photons without the fair-sampling assumption. Nature 497, 227–230 (2013)CrossRefADSGoogle Scholar
46.
Christensen, B.G., et al.: Detection-loophole-free test of quantum nonlocality, and applications. Phys. Rev. Lett. 111, 130406 (2013)CrossRefADSGoogle Scholar
47.
Eberhard, P.H.: Background level and counter efficiencies required for a loophole-free Einstein–Podolsky–Rosen experiment. Phys. Rev. A 47, 747–750 (1993)CrossRefADSGoogle Scholar
48.
Marcum, J.I.: Table of Q functions, Technical report, RAND Corporation, Santa Monica (1950) U.S. AirForce RAND Research Memorandum M-339Google Scholar
49.
Abramowitz, M., Stegun, I.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover Publications, New York (1964)MATHGoogle Scholar

Copyright information

Open AccessThis article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

Authors and Affiliations

Brian R. La Cour
- 1
Email author

1.Applied Research LaboratoriesThe University of Texas at AustinAustinUSA

A Locally Deterministic, Detector-Based Model of Quantum Measurement

Abstract

Keywords

1 Introduction

2 Detection Probabilities

Theorem 1

Proof

2.1 Simple Two-Dimensional Example

2.2 Another Two-Dimensional Example

3 Conditional Detections

Theorem 2

Proof

Theorem 3

Proof

4 Unitary Transformations

Lemma 1

Proof

Corollary 1

Proof

Theorem 4

Proof

4.1 Example of Measurements in Orthogonal Bases

4.2 Quantum State Inference

4.3 Projective Subspace Measurements

5 Quantum Contextuality

5.1 Monte Carlo Verification

5.2 Understanding the Magic Square

6 Entanglement

6.1 Bell States

6.2 Violations of Bell’s Inequality

6.3 Local Realism

7 Conclusion

Notes

Acknowledgments

References

Copyright information

Authors and Affiliations

Personalised recommendations

Cite article

Cookies

Observable	\(n_{i1}\)	\(n_{i2}\)	\(n_{i3}\)	\(n_{i4}\)	\(n_i\)	Mean
\(AB\)	2,166	27,439	27,633	2,308	59,546	0.8497
\(AB'\)	27,311	2,358	2,272	27,435	59,376	0.8440
\(A'B\)	27,236	2,239	2,232	27,357	59,064	\(-0.8486\)
\(A'B'\)	27,415	2,241	2,252	27,252	59,160	0.8481

Alice	Bob	\(\;\,\uparrow \uparrow \,\)	\(\;\,\uparrow \downarrow \,\)	\(\;\,\downarrow \uparrow \,\)	\(\;\,\downarrow \downarrow \,\)	Total	Mean
\(A\)	\(B\)	46,523	12,069	12,402	46,924	118,251	0.5833
\(A\)	\(B'\)	46,633	12,171	12,372	46,819	118,196	0.5830
\(A'\)	\(B\)	12,226	46,674	46,795	12,119	117,935	\(-0.5861\)
\(A'\)	\(B'\)	46,622	12,129	12,091	46,738	117,580	0.5880