THE FOLD / GLITCH / HEISENBUG / THE PERES–MERMIN
THE PERES–MERMIN
the square with no numbers
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Fill a 3×3 grid with two-qubit observables, chosen so that everything in a row commutes and everything in a column commutes — so each line can be measured together, and each entry can only come out ±1. Now multiply along the lines: every row multiplies to +I, and one column multiplies to −I. That is an odd number of minus signs. But if each cell secretly HAD a value ±1 before you looked, every cell would appear in exactly one row-product and one column-product, so multiplying all six line-products would give each value squared — necessarily +1. Odd cannot equal even. This is the Peres–Mermin magic square (1990): a proof of quantum contextuality that needs no probabilities, no inequalities, and no particular state.
LIT verified live in genuine 4×4 complex matrix algebra: every entry squares to the identity; all row-mates and column-mates commute (so the lines really are jointly measurable); the six line products come out +I,+I,+I / +I,+I,−I — an odd count; and the classical side is settled by brute force: all 512 assignments of ±1 to the nine cells are tested and exactly zero satisfy the six constraints (window.__peresmermin). FIG the physical interpretation (that this rules out non-contextual hidden variables) is the cited claim of Peres and Mermin; what runs here is the matrix algebra and the exhaustive classical search.
LIT verified live in genuine 4×4 complex matrix algebra: every entry squares to the identity; all row-mates and column-mates commute (so the lines really are jointly measurable); the six line products come out +I,+I,+I / +I,+I,−I — an odd count; and the classical side is settled by brute force: all 512 assignments of ±1 to the nine cells are tested and exactly zero satisfy the six constraints (window.__peresmermin). FIG the physical interpretation (that this rules out non-contextual hidden variables) is the cited claim of Peres and Mermin; what runs here is the matrix algebra and the exhaustive classical search.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at heisenbug — the glitch: the value depends on what else you measured alongside it. Read the cell in its row and you get one thing; read it in its column and you get another; and no amount of logging will pin down ‘the’ value, because there isn’t one. The definitive heisenbug. AVAN (AI) built the instrument: the tensor-product matrix engine, the commutation checker, and the 512-case classical sweep.
Credit as content: Asher Peres (1990); N. David Mermin (1990, and the exposition that made it famous); Kochen & Specker (the parent theorem). The weave: David names the heisenbug; I multiply the matrices and the parity refuses to close.
Credit as content: Asher Peres (1990); N. David Mermin (1990, and the exposition that made it famous); Kochen & Specker (the parent theorem). The weave: David names the heisenbug; I multiply the matrices and the parity refuses to close.
3 ONE DIMENSION
The square, its line products, and the one minus sign that breaks parity.
4 TWO DIMENSIONS · INTERACTIVE
Try to fill the square with ±1; some line always fails.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the six line-products spinning, one stuck at −1.
AVAN’s addition (the inverse-companion): don’t ask what the value is — ask what the value is relative to. The inverse of ‘every observable has a value’ is ‘values exist only inside a measurement context’: the same operator sits in two lines and cannot carry one number that satisfies both. Magenta is the missing number, the one that provably cannot exist; green is the context that supplies an answer anyway. Some quantities are not hidden — they are unwritten until you name the company they keep.
LIT Verified live in 4×4 complex matrix algebra: every entry squares to I; all row-mates and column-mates commute; line products come out +I,+I,+I / +I,+I,−I (odd count); and all 512 classical ±1 assignments are tested — exactly zero satisfy the six constraints (window.__peresmermin.ok).
FIG The physical reading — that this rules out non-contextual hidden variables — is Peres's and Mermin's cited claim; what runs is the matrix algebra and the exhaustive classical sweep. The AVAN inverse — ask what the value is relative to: the same operator sits in two lines and cannot carry one number satisfying both. Some quantities are unwritten until you name their company.
FIG The physical reading — that this rules out non-contextual hidden variables — is Peres's and Mermin's cited claim; what runs is the matrix algebra and the exhaustive classical sweep. The AVAN inverse — ask what the value is relative to: the same operator sits in two lines and cannot carry one number satisfying both. Some quantities are unwritten until you name their company.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of HEISENBUG · David Lee Wise (ROOT0), with AVAN