Prepared source model
This is an assumed three-photon preparation, not an optical generation simulation. Accidentals add a separate uniform outcome component.
THREE ANALYZERS / FOUR SETTINGS / EVERY TRIGGER
Acquire three-station outcomes with arrival times, missed clicks and a declared coincidence gate. Build eight-outcome histograms and four parity correlations from retained triggers, then compare conditional and all-trigger Mermin statistics.
An abstract prepared-source module supplies three outgoing modes and an ideal trigger. Each station has an equatorial analyzer and two output detectors. Paths and travel times are schematic; this does not simulate a historical SPDC source or spacelike separation. Inspect a retained trigger below the scene.
SYNTHETIC OBSERVATIONS / REPRODUCIBLE RECORDS
Ready to acquire synthetic records.
Each ideal trigger randomly selects one of four joint bases. A missing detector click is zero; its time is empty. A coincidence requires three clicks and an arrival-time span within the chosen gate. Station timing offsets are fixed at zero, plus 0.4 and minus 0.3 nanoseconds. No accidental subtraction or efficiency correction is applied.
RETAINED DATA
Eight sign triples run from all positive to all negative using binary index zero through seven. Green bars count accepted triples; zero bins remain visible. Gray outlines show the saved run at the same basis index; its recorded analyzer angles can differ. The CSV also retains every unaccepted trigger.
ESTIMATES FROM RECORDS
Conditional Mermin statistic
All-trigger statistic · missed clicks zero, no time gate
Conditional shot-noise standard error
Recorded three-station gate acceptance
Retained station outcomes · zero means no click
Accepted / triggered in inspected basis
A complete run and at least fifty accepted events in every basis are required for the headline statistic. Error is a binomial shot-noise approximation, not a p-value. These four equatorial settings cannot separately determine visibility and phase or certify a density matrix.
DATA REDUCTION
Green: accepted sample. Brown: all triggers, missing clicks zero, without time selection. Gray: saved conditional correlations with their saved angles and time gate. The local Mermin bound applies to an unconditional protocol with declared assumptions; applying it to a selected sample additionally requires fair acceptance.
Three-click records among the first 240 triggers. Green: inside the coincidence gate; brown: outside. The horizontal line marks the declared gate. Missing-click triggers remain in CSV, with no invented arrival time.
Columns: trigger, basis index, three outcomes, accepted flag. Export includes all station angles and arrival times in nanoseconds.
| Trigger | Basis | A | B | C | Accepted |
|---|
Assumed ideal trigger and prepared three-qubit GHZ state with white noise, independent detector loss, Gaussian timing and incoherent accidental triples. Source preparation is abstract, not a reconstructed SPDC optical source. Equatorial analyzers only; no full tomography, fidelity or genuine-tripartite certification, spacelike timing, loophole closure or historical-data reconstruction. Conditional sampling requires an explicit fair-acceptance assumption.
Prepared source model
This is an assumed three-photon preparation, not an optical generation simulation. Accidentals add a separate uniform outcome component.
Equatorial analyzers
Each outcome is plus or minus one. All one-station and two-station marginals are uniform before loss; the triple parity carries coherence.
Four parity settings
The local bound follows by enumerating the 64 deterministic assignments of two outcomes at each of three stations. The ideal value assumes aligned analyzers and phase zero.
Keep every trigger
The accepted set requires three clicks and a time span within the gate. The all-trigger statistic ignores the time gate; each missing local click is zero. A conditional bound comparison assumes fair acceptance. Neither statistic certifies a real loophole-free experiment.
Physics tutorial
BackgroundAcquire three-station outcomes with arrival times, missed clicks and a declared coincidence gate. Build eight-outcome histograms and four parity correlations from retained triggers, then compare conditional and all-trigger Mermin statistics.
Why it mattersA protocol connects a prepared quantum system to retained detector observations.
Start with the essentials
This is an assumed three-photon preparation, not an optical generation simulation. Accidentals add a separate uniform outcome component.
Each outcome is plus or minus one. All one-station and two-station marginals are uniform before loss; the triple parity carries coherence.
The local bound follows by enumerating the 64 deterministic assignments of two outcomes at each of three stations. The ideal value assumes aligned analyzers and phase zero.
The accepted set requires three clicks and a time span within the gate. The all-trigger statistic ignores the time gate; each missing local click is zero. A conditional bound comparison assumes fair acceptance. Neither statistic certifies a real loophole-free experiment.
Typical misconceptionRecovering a source parameter independently confirms the law.
Better mental modelThese synthetic records test a measurement and inference workflow. They are not historical observations, a parameter confidence interval, or external scientific certification.
Acquire triggers with randomly selected bases, then inspect every outcome bin.
What to observe: The eight bins include zeros. The CSV retains missed clicks and rejected coincidence times.Save a comparison, reverse the source phase, then use the incoherent preset.
What to observe: The signs reverse with phase; incoherence removes triple parity while the single-station records remain random.Reduce detection efficiency or narrow the time gate.
What to observe: Conditional and all-trigger statistics differ. No missed clicks or rejected triggers are silently removed from the exported dataset.