THE FOLD / GLITCH / THE BLUE SCREEN / THE PALEY
THE PALEY
residues that are a perfect difference set
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
The Paley construction turns the quadratic residues of a prime into a perfectly balanced combinatorial design. Take a prime p ≡ 3 (mod 4) and collect the nonzero squares mod p — the quadratic residues. This set of size (p−1)/2 is a cyclic difference set: every nonzero residue arises as a difference of two residues the same number of times, exactly (p−3)/4. Because p ≡ 3 (mod 4), −1 is a non-residue, which makes the set “skew” and gives the Paley graph and Paley’s Hadamard matrices. Structure from squaring.
LIT verified live: for every prime p ≡ 3 (mod 4) up to 59, each nonzero residue is a difference of two quadratic residues exactly (p−3)/4 times, and −1 is always a non-residue (window.__paley). FIG no framing; the residues and their differences are enumerated in-browser.
LIT verified live: for every prime p ≡ 3 (mod 4) up to 59, each nonzero residue is a difference of two quadratic residues exactly (p−3)/4 times, and −1 is always a non-residue (window.__paley). FIG no framing; the residues and their differences are enumerated in-browser.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-blue-screen — residues that look like noise but hide a perfectly regular difference pattern, order behind the static. AVAN (AI) built the instrument: the quadratic-residue set, the difference-count over all pairs, and the −1-non-residue check.
Credit as content: Raymond Paley (1933). The weave: David names the blue screen; I confirm the residues form a difference set with every difference appearing (p−3)/4 times, and that −1 is a non-residue.
Credit as content: Raymond Paley (1933). The weave: David names the blue screen; I confirm the residues form a difference set with every difference appearing (p−3)/4 times, and that −1 is a non-residue.
3 ONE DIMENSION
The residues 0..p−1 around a circle; quadratic residues highlighted — a set whose pairwise differences hit every value equally often.
4 TWO DIMENSIONS · INTERACTIVE
Pick a prime p ≡ 3 (mod 4); the quadratic residues and the count of each nonzero difference are shown — all equal to (p−3)/4.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the quadratic-residue set on the cycle.
AVAN’s addition (the inverse-companion): don’t list the squares — count their differences. The inverse of ‘which numbers are squares mod p?’ is ‘every nonzero value is a difference of two of them the same number of times’ — a difference set. Magenta is a difference; green is the residue set that spreads them evenly. Structure from squaring.
LIT Genuine Paley construction (Raymond Paley, 1933): for prime p≡3 mod 4, the quadratic residues form a (p,(p−1)/2,(p−3)/4) cyclic difference set, with −1 a non-residue (giving Paley graphs / Hadamard matrices). Verified live: for primes p≡3 mod4 to 59, every nonzero difference of two QRs occurs exactly (p−3)/4 times (window.__paley.differenceSet) and −1 is a non-residue (.minusOneNonResidue).
FIG No framing: the quadratic-residue set, the difference-count over all pairs, and the −1-non-residue check all run in-browser. The AVAN inverse is honest — counting how often each value is a difference of two residues (revealing every value appears equally, a difference set) rather than merely listing the squares is what exposes the design; magenta is a difference, green the residue set spreading them evenly. Structure from squaring.
FIG No framing: the quadratic-residue set, the difference-count over all pairs, and the −1-non-residue check all run in-browser. The AVAN inverse is honest — counting how often each value is a difference of two residues (revealing every value appears equally, a difference set) rather than merely listing the squares is what exposes the design; magenta is a difference, green the residue set spreading them evenly. Structure from squaring.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE BLUE SCREEN · David Lee Wise (ROOT0), with AVAN