# A Locally Deterministic, Detector-Based Model of Quantum Measurement

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s10701-014-9829-6

- Cite this article as:
- La Cour, B.R. Found Phys (2014) 44: 1059. doi:10.1007/s10701-014-9829-6

- 4 Citations
- 1.2k Downloads

## 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 variablesContextualityEntanglementQuantum nonlocality## 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 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

**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

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

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 2**

- 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*

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**

- 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

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 \).

### 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–29]. The concept is perhaps best understood in terms of the following example.

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.

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.

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

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–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.

### 6.1 Bell States

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

*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

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.

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\).

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 |

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–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–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.

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.

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 |

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.

## 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.

## Copyright information

**Open Access**This 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.