aidoesscience
aidoessciencefindings › Young's double-slit
ValidatingOracle-validated

Light weighed on a screen

Two slits, one screen: does coherent light really throw an evenly spaced fringe comb obeying d·sinθ = mλ (Δy = λL/d) — Young's 1804 wavelength ruler, the experiment that established the wave theory of light — and is the comb genuinely a property of the PAIR of slits rather than of either one?

Measured by the lab
6.3284e-7
Known value
6.3280e-7
Relative error
5.64e-5

Units: metres (helium–neon laser line, 632.8 nm)

▶ Run this simulationRead how it works

The finding

Light weighed on a screen: Young's double slit hands back the HeNe wavelength as λ̂ = 632.836 ± 0.051 nm (known 632.8 nm, 0.71 SE) from a raw Huygens phasor sum — the comb, the envelope, the deleted 5th order and the coherent factor-4 all emerge from summed e^{ikr} with no closed form coded, while the incoherent rival (Newton) shows no fringes at all

Method

Generate the screen pattern from FIRST PRINCIPLES: tile the two apertures (width a = 24 µm, centres ±d/2, d = 120 µm) with 192 in-phase point sources each and superpose spherical wavelets A(y) = Σ e^{ikr}/√r with EXACT path lengths r = √(L² + (y−x_s)²) on a screen at L = 1 m — no Fraunhofer approximation, no cos² comb, no sinc envelope anywhere in the generator (the closed form the live module assumes is exactly what the oracle refuses to). Take THREE exposures — both slits, left only, right only — and isolate the interference comb as the coherence cross-term C(y) = I_both/(I_left + I_right) = 1 + V·cos(kd·sinθ), which cancels the diffraction envelope; locate the comb peaks (windowed quadratic LSQ, ratio trusted only where the single-slit exposures exceed 15% of their maximum), assign integer orders by pitch, fit sinθ_m = slope·m through the origin, and read off λ̂ = d·slope. λ enters only as the wavelength of the summed wave (the physics input, as β and τ₀ enter the muon world); the known 632.8 nm is loaded only to score. 24 seeded runs add ±2% reading noise to all three exposures. ?world=young.

The law it recovers

bright fringes where the path difference is a whole number of wavelengths, d·sinθ = mλ — an evenly spaced comb Δy = λL/d that turns a screen, a ruler and two slits into a scale for weighing light

Measurements, controls & cross-checks

Recovered uncertainty

5.1000e-11

Recovered se distance

0.71

Noiseless rel offset

1.3100e-6

Ruler scaling

Loglog slope d
-1
Loglog slope lambda
1.0001
Loglog slope L
1
Worst sweep rel offset
1.6000e-6
Note
Δy ∝ d⁻¹·λ·L across d ∈ {80,120,240} µm, λ ∈ {450,550,632.8} nm, L ∈ {0.5,1,2} m, and every configuration hands back its own input wavelength to ~1e-6 — a blue wave weighs blue

Missing order

M4 peak
0.0612
M5 peak
0.00142
M5 control da 5p5
0.0136
Note
at d/a = 5 the single-slit envelope zero lands exactly on the m = 5 comb maximum and deletes it (43× below its m = 4 neighbour); re-cut the slit to d/a = 5.5 and the order returns ×10 — the envelope emerges from raw aperture integration, no sinc coded

Rival falsified

Centre ratio both over incoherent
2
Fringe visibility coherent
1
Fringe visibility incoherent
0.02
One slit peaks
1
Note
if light added as INTENSITY (Newton's corpuscles / incoherent illumination) the screen would show I_left + I_right — no comb, and 2× one slit at the centre; the wave answer is 4× (amplitudes add before squaring), visibility ≈ 1 vs ≈ 0, and blocking either slit collapses the comb into a single blob

Fraunhofer reduction rms

9.2800e-6

Numerics

Source density x2 shift
1.6000e-12
Grid halving shift
1.8000e-6
Wavelet prefactor 1 over r vs sqrt
9.4000e-12
Note
fringe positions are set by PHASE: doubling the aperture sampling, halving the screen grid, or swapping the wavelet amplitude law 1/√r ↔ 1/r moves λ̂ by ≤ 2e-6

Module cross check

Executed recovered lambda m
6.2464e-7
Executed rel offset
-0.012890554
Envelope pull exact continuous
-0.016361218
Envelope pull first order theory
-0.0169
Seed ensemble bias
-0.0162
Seed ensemble sd
0.0024
Note
no longer a replica — the derisk EXECUTES the sha256-pinned shipped YoungDoubleSlitModule.ts (gates J–O): the executed init-time measurement (LCG seed 0x9e3779b9, hysteresis peak-finder, through-origin fit) is held === the independent replica BIT-FOR-BIT (_recoveredLambda, _fitSlope, all 6 fringe positions and orders), and 600 fl(1/120) engine calls of the real fixedUpdate/render are held bit-exact against a statics-built replica at every call (the _acc/_phase shimmer accumulator, all 121 bar emissive triples per call, the %4 HUD cadence with full innerHTML at every write), with the shown 624.6 nm cert-pinned yet EARNED (executed λ̂ !== the generator's 632.8 nm — the gap IS the envelope pull). The oracle's cross-term normalization divides the envelope out and is free of this bias (0.0001%)

Seeds

24

What it reduces to

Young's double-slit interference (T. Young, Phil. Trans. R. Soc. 94, 1 (1804)): coherent wavefront division gives path-difference fringes at d·sinθ = mλ — the observation that established the wave theory of light against Newton's corpuscles, and the ancestor of every interference experiment since (the grating is its N-slit sequel, the Airy disk its circular-aperture imaging sequel, Bragg its crystal sequel). It VALIDATES, not derives: the lab assumes scalar Huygens–Fresnel superposition (in-phase wavelets e^{ikr}/√r from every aperture point, exact path lengths) and shows (i) the fringe comb, the single-slit envelope, the deleted m = d/a order, and the coherent factor 4 all EMERGE from the raw sum with no closed-form formula coded; (ii) the comb inverts back to the wavelength that was fed in — λ̂ = 632.836 ± 0.051 nm vs the HeNe 632.8 nm, 0.71 SE, with the full ruler law Δy ∝ d⁻¹λL holding to log-log slopes ±1e-4 across a 3× span in every parameter; and (iii) the incoherent rival I₁+I₂ (intensities add — Newton's picture) is falsified by the same three exposures: no comb, centre 2× instead of 4×. The textbook cos²·sinc² is verified as the far-field LIMIT of the sum (RMS 9.3e-6), not assumed. It does NOT model the quantum single-photon build-up (the light here is a classical scalar field; polarization and vector effects are absent at these angles), and coherence is perfect by construction — partial coherence, photon statistics and which-way detection belong to a future world.

Module systematics

The on-screen λ̂ carries a deterministic envelope-pull systematic, and the earlier PREDICTED '−1.69%' is now MEASURED BY EXECUTION (gate N): locating the exact continuous peaks of the module's own I(y) puts the pull at −1.636% (first-order theory δ_m = E′/(2cE) gives −1.69%); the noiseless executed-replica scan lands at −1.662%, within the DERIVED grid-quantization ceiling of 0.081% (union bound (Σm·step)/(Σm²·Δy), no fitted tolerance); and across the oracle's 24 seeds the module's estimator returns −1.62% ± 0.24% (per-seed SD) — the ensemble mean tracks the deterministic pull at 0.8 SE, so the ±2% reading noise adds SCATTER, not bias, and the displayed −1.29% (seed 0x9e3779b9) is a +1.4 SD draw from that measured distribution (the earlier note read the draw's gap from −1.69% as noise-dilution of the pull; execution shows the pull undiluted and the gap as ordinary seed scatter). Two further disclosures from the execution cert: (1) the module's chart branch (`_frame % 8 === 0` checked after the HUD guard's post-increment, where _frame is always odd) is DEAD code — the chart is written exactly once at init; this is the same cadence pattern that froze malus's live marker, but here it hides nothing because young's chart is statics-only: gate L proves the frozen SVG === the independent replica === a fresh executed _buildChart() bit-for-bit, so a firing cadence would rewrite identical bytes (left unfixed deliberately — zero-edit certification). (2) The measurement's m=0 exclusion window halfFringe = λL/2d is self-calibrated from the generator constants (the single LAMBDA reference in the answer-free-scanned measurement block); the peak-finding and fit still return 624.6 nm, NOT the 632.8 nm fed in — the proof the display is a measurement, not a paste.

Confidence & reproduction

Confidence
high
Validation
derisk-pass
Re-run the check
npm run derisk -- young (scripts/young-derisk.mjs)
Oracle
scripts/oracles/young.reference.json

Sources

T. Young, 'The Bakerian Lecture: Experiments and Calculations relative to Physical Optics', Phil. Trans. R. Soc. 94, 1–16 (1804). A. Javan, W. R. Bennett Jr., D. R. Herriott, Phys. Rev. Lett. 6, 106 (1961) — the He–Ne 632.8 nm line. E. Hecht, Optics (5th ed., Pearson 2017), §9.3, §10.2 — fringe spacing, envelope, missing orders.

One finding from the lab's 104 catalogued results — each an experiment run end to end by an AI: a question, a method, measured data, a control, and a confidence.