Preparation-Dependent Loophole in Quantum Experiments

• Preparation-dependent loophole is an exploitable deviation from the ideal preparation of quantum states, affecting operational and statistical guarantees in experiments.
• It manifests in tests of macrorealism, Bell inequalities, and device-independent protocols, where state preparation drift can mimic or exceed quantum predictions.
• Mitigation requires stringent controls such as heralding, randomization, and real-time tomographic verification to maintain the integrity of quantum protocols.

A preparation-dependent loophole is any exploitable departure from the idealized assumption that each experimental or cryptographic run is initialized with a system prepared in a well-defined, precisely specified quantum state, independent of external settings, previous rounds, or hidden context. Such deviations may invalidate the operational and statistical guarantees underlying quantum information protocols, nonclassicality tests, or the assignment of ontological status to quantum states. Preparation-dependent loopholes are well-characterized in foundational, cryptographic, and device-certification contexts, where they can undermine claims of violation of macrorealist, Bell, or noncontextuality inequalities, compromise randomness and key generation, and invalidate security or certification claims. Experimental protocols and device-independent arguments must implement stringent controls and quantitative verification to exclude or bound preparation-dependence below thresholds compatible with the desired conclusions.

1. Conceptual Definition and Operational Scenarios

In its broadest form, the preparation-dependent loophole arises whenever the experimentally realized ensemble of quantum states (or their associated ontic or hidden-variable distributions) deviates from the intended or assumed ensemble in a context-dependent, setting-dependent, or time-dependent manner. This encompasses cases where unidentified sources, calibration drift, block-wise scheduling, device bias, or remote steering influence the initial state, so that operational statistics reflect unknown mixtures

$$P_\mathrm{meas} = (1-\epsilon) P_\mathrm{signal} + \epsilon P_\mathrm{background}$$

with $\epsilon$ quantifying "wrong" or stray-state contamination (Joarder et al., 2021).

Preparation dependence directly impacts:

• Leggett–Garg and Wigner–Leggett–Garg tests of macrorealism, where unidentified background or non-stationary preparation can spuriously violate inequalities (Joarder et al., 2021).
• Bell and CHSH experiments, where context-dependent or temporally drifting source parameters can relax classical bounds on correlators, mimicking or exceeding quantum predictions in violation of the locality assumption (Bierhorst, 2013, Pal et al., 13 Jan 2026).
• Semi-device-independent (SDI) and device-independent randomness or key generation, where undiagnosed state-dependence in source preparation or detection efficiency constitutes an undetectable side-channel (Mironowicz et al., 2014, Makarov et al., 2023).
• Nonlinear extensions of quantum theory and ontological status arguments, where remote and local preparation methods must be unambiguously distinguished to prevent superluminal signalling and logical paradoxes (Cavalcanti et al., 2012, Mansfield, 2014).

2. Mathematical Frameworks and Characterization

The preparation-dependent loophole admits several precise mathematical formulations depending on context:

• Ensemble divergence (Bell/CHSH): In sequential or blockwise experiments subject to slow drift or block scheduling, each setting $(a, b)$ may sample a distinct hidden-variable ensemble $\pi_{ab}(\lambda)$ with ensemble-divergence

$$\delta_\mathrm{ens} = \max_{(a,b),(a',b')} d_\mathrm{TV}(\pi_{ab}, \pi_{a'b'})$$

and operational witnesses such as

$$\delta_\mathrm{op}^\mathrm{global} = \max_{(a,b)} \max_{i < j} d_\mathrm{TV}\left(p_{ab}^{(i)}, p_{ab}^{(j)}\right)$$

for temporally binned outcome statistics (Pal et al., 13 Jan 2026).

• Preparation-independence (ontological models, PBR): Factorization assumptions such as

$$h(\lambda_1, \lambda_2 \mid p_1, p_2) = h(\lambda_1 \mid p_1) h(\lambda_2 \mid p_2)$$

(preparation independence, PI) or the weaker

$$h(\lambda_1 \mid p_1, p_2) = h(\lambda_1 \mid p_1) \quad \forall p_2$$

(no-preparation-signalling, NPS) delineate the class of allowed joint ontic distributions (Mansfield, 2014).

• Preparation noncontextuality (contextuality scenarios): When operational equivalence at the statistical level,

$$\sum_i p_i P(k \mid P_i, M_j) = \sum_i q_i P(k \mid P_i, M_j) \quad \forall k, j$$

does not lift to equivalence at the ontic level,

$$\sum_i p_i \mu_i(\lambda) \stackrel{?}{=} \sum_i q_i \mu_i(\lambda) \quad \forall \lambda,$$

preparation contextuality is exposed (Pusey, 2015).

• Nonlinear quantum extensions: When nonlinear maps act differently on locally prepared versus remotely prepared states (via entanglement), operationally indistinguishable ensembles in standard quantum theory are no longer equivalent, creating ambiguity or inconsistency absent further structural refinement (Cavalcanti et al., 2012).

3. Manifestations in Experimental and Theoretical Contexts

The impact of preparation-dependent loopholes is significant across a range of experimental and foundational scenarios:

• Macrorealism and negative-result measurements: Spurious violations of LGI and NSIT inequalities can be manufactured if a nonzero fraction $\epsilon$ of background or stray photon events contaminates the postselected sample. Joarder et al. implement strict heralding, time-tagged coincidence windowing, and background subtraction to bound $\epsilon \lesssim 10^{-3}$, orders of magnitude below the observed violations (Joarder et al., 2021).
• Bell/CHSH tests and block measurement: Execution of settings in fixed blocks allows the hidden-variable distribution $\rho_k(\lambda)$ to depend on the presently or previously chosen measurement configuration; this invalidates binomial/Hoeffding-based bounds and increases the maximal attainable violation by local hidden-variable models (Bierhorst, 2013). Supermartingale-based tests or per-trial randomization are required to close the loophole.
• Ensemble nonstationarity in superconducting qubits: Temporal drift of preparation gates creates context-dependent effective ensembles, relaxing the Bell bound as $|S| \leq 2 + 6\delta_\mathrm{ens}$. Operational witnesses $\delta_\mathrm{op}$, based on drift over temporal bins, empirically verify nonstationarity at the $0.06$–$0.15$ level even after full two-qubit readout mitigation (Pal et al., 13 Jan 2026).
• Device-independent cryptography and randomness generation: State-dependent detection efficiency, adversarially modulated by the preparation procedure, can fake quantum-certified randomness unless randomized postselection (via a "blocker") eliminates synchrony and ensures that the detected ensemble is uncorrelated with detector efficiency (Mironowicz et al., 2014).
• Commercial QKD system (QRate) certification: Preparation-dependent loopholes arise from electrical drift, photorefraction, intersymbol cross-talk, or Trojan-horse light, yielding ensembles $\{\rho'_k\}$ that deviate from the security proof assumptions. Hardware modifications and real-time tomographic certification are implemented such that key rate corrections remain below $1\%$; acceptance thresholds are specified for state-fidelity, intensity, phase deviations, and crosstalk (Makarov et al., 2023).

4. Experimental Controls and Loophole-Closer Protocols

Mitigation and closure of preparation-dependent loopholes require a combination of hardware protocols, postselection, system monitoring, and statistical methods. Key examples include:

• Heralding and coincidence windowing: In single-photon macrorealism tests, only events tightly correlated in time with heralding (heralded pairs from SPDC) and within narrow coincidence windows are admitted; side-band background counts directly bound residual $\epsilon$ (Joarder et al., 2021).
• Per-trial randomization: For Bell tests, choosing measurement settings at each trial suppresses the ability of the source to tailor the hidden-variable ensemble to the future setting, restoring the statistical independence required for standard bounds (Bierhorst, 2013).
• Operational drift witnesses and drift-aware scheduling: On superconducting platforms, interleaving all four CHSH settings within each short time window (round-robin scheduling) and continually monitoring $\delta_\mathrm{op}$ on fixed measurement channels allows real-time certification and operational bounding of ensemble divergence (Pal et al., 13 Jan 2026).
• Random blocker in SDI-QRNGs: Randomly blocking the transmission eliminates deterministic synchrony between source and measurement devices, ensuring that adversarial detection-efficiency modulation cannot correlate with the preparation, guaranteeing positive min-entropy provided observed certificates exceed classical bounds—even at low detector efficiency (Mironowicz et al., 2014).
• Laboratory certification of QKD preparation: Applying high-speed tomography, wide-band spectroscopy, programmable pattern-testing, and stringent power-reflection measurements tightly bounds deviations in intensity, phase, and intersymbol correlations within specified acceptance criteria, closing the preparation-dependent loophole for commercial systems (Makarov et al., 2023).
• Preparation noncontextuality inequalities: Direct computation of eight nonlinear determinant inequalities provides a robust, data-driven, preparation-independent test immune to small deviations from ideal operational equivalence in contextuality scenarios (Pusey, 2015).

5. Foundational Implications and Theoretical Ramifications

Preparation-dependent loopholes expose crucial limits in foundational assumptions:

• Ontic/epistemic status of the wavefunction: The PBR theorem's onticity conclusion can be evaded by relaxing preparation independence (PI) to no-preparation-signalling (NPS), allowing global correlations in the ontic state while precluding superluminal signalling. Thus, under NPS alone, distributions that evade the PBR contradiction exist, and the inference that $\psi$ is ontic is not forced (Mansfield, 2014).
• Nonlinear extensions of quantum mechanics: For operationally consistent and non-signalling nonlinear theories, local and remote preparations of the same density operator must be recognized as distinct. Without explicit subclassification and operational rules for assigning preparation procedures, such theories are either inconsistent (enable signalling) or incomplete (ambiguous state-evolution), undermining potential claims of unconditional cryptographic breaks or super-Turing computation (Cavalcanti et al., 2012).
• Comparison to measurement-dependence loopholes: Preparation nonstationarity can relax the Bell bound comparably to explicit measurement-dependence models: for instance, $\delta_\mathrm{ens}\approx0.14$ suffices for local models to reach quantum-optimal violations, showing that preparation-dependent effects alone can invalidate device-independent claims if not excluded or bounded (Pal et al., 13 Jan 2026).

6. Practical Protocol Design and Certification Strategy

Robust experimental and cryptographic protocols must integrate and verify preparation-independence to ensure the validity of nonclassicality, randomness, or security claims:

• Certification laboratories should implement multidimensional characterization of the source, with acceptance criteria for state-fidelity, intensity and phase deviation, crosstalk, Trojan-horse rejection, and photorefractive sensitivity, using calibrated high-speed and wide-band equipment and test protocols (Makarov et al., 2023).
• Experimental scheduling and monitoring must be drift-aware, leveraging round-robin interleaving, frequent recalibration, and direct tomographic or operational witness measurement to maintain or certify ensemble stationarity (Pal et al., 13 Jan 2026).
• Statistical analysis should employ witnesses and hypothesis testing protocols that are robust to non-i.i.d. and preparation-dependent data, such as martingale or supermartingale tests, block-discarding, or noncontextuality inequalities exploiting convexity and continuous dependence on observable statistics (Bierhorst, 2013, Pusey, 2015).
• Randomization and blocking in SDI device architectures must ensure decoupling between any adversarially controlled preparation side-channels and the measurement, operationally precluding state-dependent attacks (Mironowicz et al., 2014).

Collectively, these approaches delimit any residual preparation-dependence to an experimentally verified, negligibly small regime, compatible with high-confidence device-independent or assumption-light conclusions.