USR-2026-0032 · Quantum

A time-dependent Schrödinger double-slit simulation reproduces two effects: fringe visibility falls from 0.883 to 0.000 as the which-path marker overlap goes to zero, and complementary-basis sub-ensembles recover anti-phased fringes that sum back to the flat pattern, with closure verified to 1×10⁻⁶.

PROVISIONAL visibility 0.883 → 0.000 with the marker; eraser closure to 1e-6 reproduced ≠ discovered re-run & confirmed 2026-07-09 (R0 — founder CI; independence pending)

CORRECTED 2026-07-26: the registered 'V² + D² = 1 verified to 0.018' is a code self-consistency check, not a numerical verification of the Englert–Greenberger–Yasin relation. The screen pattern is constructed as I = I_A + I_B + γ·cross, distinguishability is imposed analytically as √(1 − γ²) rather than measured from the marker, and the visibility sweep is rescaled by its own γ = 1 value — so the relation cannot fail here by more than a fringe-asymmetry residual.

Falsify-box — how to kill this claim

SURVIVED Kill test for the RESTATED claim, adjudicated entirely by rerunning sims/02_which_path_decoherence.py. DEAD if any of: (a) ERASER CLOSURE - max|I_plus + I_minus - I_total| > 1e-6, the np.allclose check at line 190; (b) CIRCULARITY - deleting the normalization at line 133 (Vmeas = np.array(Vmeas)/max(Vmeas[-1],1e-9)) still leaves max|V^2 + D^2 - 1| <= 0.02, because then the quoted 0.018 would not be an artifact of that normalization; (c) NOT CONVERGED - the post-normalization deviation is stable to within plus/minus 0.004 of 0.018 across a refinement to n = 1024, dt = 5e-4, steps = 2800 (steps MUST double so the propagated time stays T = 1.4; at 1400 steps the packet never reaches the screen column), because a resolution-stable number would be a physical result rather than an extractor residual; (d) ALGEBRAIC IDENTITY - the printed deviation departs by more than 1e-6 from the closed form max over g of |Vn(g)^2 + (1 - g^2) - 1| with Vn(g) = [g(cmax - cmin)/(2 + g(cmax + cmin))] / [(cmax - cmin)/(2 + cmax + cmin)], where cmax and cmin are the extremes of cross/(IA + IB) on the window. Branch (d) is the proof of the restatement: it shows the printed number depends on the wavefunction ONLY through those two scalars.

Verification record — every quoted number, re-run 2026-07-09

quantitymeasuredverdict
which-path destroys fringes visibility 0.883 → 0.000 MATCH
eraser closure sub-ensembles sum back to flat, verified to 1e-6 MATCH
V² + D² = 1 check a code self-consistency check — D is imposed analytically, V is rescaled by its own γ = 1 value MATCH

Provenance

script: sims/02_which_path_decoherence.py
script status: PRESENT
datasets: TDSE double-slit simulation · claim-scripts (downloadable from /data — run it yourself)
re-run: 2026-07-09

Edges

REPRODUCES → Textbook wave-particle duality (Englert-Greenberger-Yasin relation), verified numerically

Status, honestly

CORRECTED 2026-07-26 by the kill-test sweep; the audit flag it carried is resolved. Status here is computed from evidence — the author cannot set it, and neither can we. Independent reproduction would move it; nothing else will.

§ Figures 2 from sims/02_which_path_decoherence.py

What this claim's own script draws. These are the founder's committed outputs — the same plots the script regenerates on any machine that runs it.

02_quantum_eraser.png 104.3 KB download
02_visibility_vs_pathinfo.png 127.9 KB download
§ Reproduction 02_which_path_decoherence.py

The founder's own run of this script, captured verbatim. A match proves the result is reproducible; it is still R0 on this registry's independence rings — same code, so it cannot move a status. Only an outside run does that.

sha256 5e0f624cae0e34de57eebf25… size 8541 B exit 1 runtime 0.5s env python 3.12.2 · numpy 1.26.4
Not captured on this environment. Recorded rather than omitted — a script that will not run as-shipped is exactly what an outside reproducer needs to know.
Traceback (most recent call last):
  File "/private/tmp/claim_scripts_pack/02_which_path_decoherence.py", line 42, in <module>
    from lib_qm import Grid2D, gaussian_packet, absorbing_mask, SplitStepPropagator
ModuleNotFoundError: No module named 'lib_qm'
Share this claim X Bluesky LinkedIn Reddit HN Email