experimentalTests
plain-language theorem explainer
A curated list of four loophole-free Bell experiments confirms both nonlocal correlations from entanglement and the preservation of no-signaling conditions. Quantum foundations researchers cite these results to ground ledger-consistency accounts of the EPR paradox. The definition assembles the list by direct string enumeration of the cited papers and their reported outcomes.
Claim. The experimental tests confirming nonlocality without signaling are the list consisting of the strings ``Hensen et al. 2015: Loophole-free at 1.3 km'', ``Giustina et al. 2015: High-efficiency detectors'', ``Shalm et al. 2015: Randomized settings'', and ``All confirm Bell violation + no signaling''.
background
The module sets QF-006 by resolving the apparent tension between nonlocal Bell correlations and local causality through ledger consistency: entangled particles share ledger entries while local access leaves distant statistics unchanged. The ledger functions as a global accounting system whose local readings enforce causality without transmitting information. Upstream results on simplicial ledgers supply edge-length definitions that model these shared entries as consistent global structures.
proof idea
The definition is assembled by direct list literal containing the four experiment descriptions and their key outcomes. No lemmas from the depends_on list are applied; the body performs a static enumeration.
why it matters
This definition supplies the empirical anchor for the nonlocality-without-signaling claim and is referenced by the experimentalTests definitions in the ThreeGenerations, EntanglementEntropy, and StrongCP modules. It fills the QF-006 step linking ledger consistency to observable Bell tests while preserving the no-signaling condition. The list touches the open question of how ledger access rules derive from the underlying phi-ladder structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.