2036 — Double-Slit Complementarity and Gaussian Impurity Share a Rank-Two Exterior-Square Law
Question
Nima observed that the double-slit identity
and the Gaussian identity
have the same labelled two-vertex shape. Are they merely analogous, or do they descend from one finite algebraic mechanism?
Double-slit side
Let be normalized path-record states and
Their Gram matrix is
For equal pure path amplitudes,
But
Hence
The distinguishability port is literally the second exterior-power norm of the labelled record pair.
Gaussian side
For the pure resolved two-mode covariance
global Gaussian purity is
In the symmetric one-mode block, the identity
reduces the purity equation to
Therefore
Again, the local and relational ports are complementary second exterior-power components constrained by global purity.
Common finite diagram
Both examples instantiate
Combinatorially:
local port at 0 ===== labelled relational minor ===== local port at 1
\________________ global purity ________________/
For double slit, the relational minor is . For the Gaussian pair, it is .
What is and is not unified
Established:
Not established:
- equality of visibility and Gaussian covariance invariants;
- a universal formula for higher Schmidt or multimode rank;
- a new Carrier coherence cell;
- a claim that decoherence is always only occurrence-forgetting.
The shared object is the finite algebraic architecture, while each sector supplies its own coefficient type, normalization, and physical readout.
Consequence for the double-slit explanation
Which-path recording does not destroy the global pure object. It moves the operationally available information from the overlap coefficient into the independent-area coefficient
Ignoring the record forgets the labelled relational port. Quantum erasure changes the readout basis and conditionally exposes overlap information again; it does not recreate a destroyed global coherence.
Verification
The exact checker verifies five rational double-slit Gram identities and five rational Gaussian symplectic identities:
research/benincasa/checkers/two_occurrence_purity_dictionary.py
research/benincasa/checkers/results/two-occurrence-purity-dictionary.json
Next falsifier
Test the first higher-rank case. For three labelled alternatives, compare:
with the corresponding multimode Gaussian symplectic minors. Determine whether one purity ideal on the labelled exterior algebra generates both complementarity packets, or whether the rank-two unification fails immediately at .
Provenance
- Entries 2028, 2029, 2031;
- Nima's double-slit QND/path-record packet and message motivating the comparison;
- allocator claim
seqclaim-5f1341dcfc111427883c3a77.
Epistemic graph event: ev-000000002775-191ee975-d401-4ba8-b146-72d03cf6a158.