Bell Loopholes

A Bell loophole is a way the implemented experiment can fail to justify an assumption used in its Bell-local null model. It is not a logical defect in the inequality. A useful assessment asks whether all relevant assumptions hold in the same experiment and statistical protocol, rather than collecting separate demonstrations from different runs.

Detection and selected samples

If only detected pairs are kept, a hidden-variable model may arrange detection probabilities to depend on the setting and hidden state. The retained sample can then have correlations unavailable to the original local ensemble. Fair sampling is an extra premise unless losses are included in the outcome model or the protocol otherwise closes the gap.

An explicit toy example exposes the danger. Let a shared hidden label choose one of four setting pairs uniformly. Each party returns a detected answer only when its local input matches its component of that label. Both detect with probability $1/4$ for each actual input pair. Pre-agree answers that win the CHSH game for the selected pair. The postselected coincidences win every time, although every detection and answer depends only on local input and shared data.

The underlying strategy is local; conditioning on both detections changes the sampled hidden-variable distribution with the input pair. Counting no-click outcomes restores the need for a valid loss-aware bound.

Locality and setting independence

Space-like separation can exclude ordinary subluminal communication from a setting choice to a remote outcome during the relevant interval. The separation must refer to the actual events where settings become available and outcomes become fixed, with timing uncertainty included. Detector-station distance alone is insufficient.

Measurement independence concerns the relationship between setting choices and the hidden variables relevant to the tested model. Fast independent random generators and causal separation support a declared independence assumption; no finite experiment disproves every conceivable common-cause or retrocausal alternative. What Bell Does and Does Not Prove explains the interpretive boundary.

Trials, coincidences and heralds

The rule defining a trial should be specified independently of favorable outcomes. Choosing coincidence windows after looking at detection records can admit setting-dependent selection. Event-ready tests instead use an appropriate herald to announce a trial before the later setting choices; herald inefficiency then affects rate rather than automatically biasing the tested outcomes. The herald’s causal ordering and selection rule still need justification.

A loophole addressed by one design may reappear through another analysis decision. The important object is the whole protocol: preparation, herald, questions, outcomes, inclusion rule and stopping rule.

Memory and finite statistics

An inequality bounds model expectations; finite samples fluctuate. A test must account for input bias, dependence between trials and any adaptive stopping. Treating all events as independent identical samples can be unjustified if devices have memory. Valid martingale, prediction-ratio or other sequential methods can handle broader null classes when their conditions are stated.

A p-value bounds the probability of a test statistic at least as extreme under the null class and protocol. It is not the posterior probability of local realism or a chosen interpretation. Different experimental analyses can report different statistics without contradicting the same mathematical theorem.

Exercise: why equal efficiency is insufficient

In the toy selection model above, each side detects with probability $1/2$ for either setting, and coincidences occur with probability $1/4$ for every pair. Does this symmetric efficiency prove fair sampling?

Solution

No. Although marginal efficiencies are equal, conditioning on a coincidence selects the hidden label matching the actual pair of inputs. The hidden-variable ensemble of retained trials therefore depends on the settings. Equal observed efficiencies do not establish independence of detection from the relevant hidden variables.

References

• Larsson, Jan-Åke, “Loopholes in Bell inequality tests of local realism,” Journal of Physics A: Mathematical and Theoretical 47, 424003 (2014), doi:10.1088/1751-8113/47/42/424003.
• Zhang, Yanbao, Scott Glancy, and Emanuel Knill, “Asymptotically optimal data analysis for rejecting local realism,” Physical Review A 84, 062118 (2011), doi:10.1103/PhysRevA.84.062118 — statistical null testing.