THE FOLD / GRIND / THE MAINFRAME / THE GOLOMB RULER
THE GOLOMB RULER
marks whose every pairwise distance is distinct
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
A Golomb ruler is a ruler whose marks are placed so that no two pairs of marks are the same distance apart — every pairwise distance is unique. The four-mark ruler {0, 1, 4, 6} measures the distances 1, 2, 3, 4, 5, 6, each exactly once.
Finding the shortest ruler with a given number of marks — the Optimal Golomb Ruler — is genuinely hard: there is no formula, and the record searches run for years on distributed computers. Rulers of four marks or fewer are “perfect,” measuring every length up to their end exactly once; from five marks on, perfection becomes impossible. The distinct-distance property is exactly what you want when no two measurements may collide: placing radio-telescope antennas so no baseline repeats, assigning conference-call frequencies to dodge interference, X-ray crystallography, and error-correcting codes.
LIT verified live: the known optimal rulers up to 8 marks have all pairwise distances distinct and match their record lengths (6, 11, 17, 25, 34…), the ≤4-mark rulers are perfect while the 5-mark is not, and a non-Golomb set is correctly rejected (window.__golombruler). FIG no framing; distinctness, the optimal lengths, and the perfection cutoff are exact.
Finding the shortest ruler with a given number of marks — the Optimal Golomb Ruler — is genuinely hard: there is no formula, and the record searches run for years on distributed computers. Rulers of four marks or fewer are “perfect,” measuring every length up to their end exactly once; from five marks on, perfection becomes impossible. The distinct-distance property is exactly what you want when no two measurements may collide: placing radio-telescope antennas so no baseline repeats, assigning conference-call frequencies to dodge interference, X-ray crystallography, and error-correcting codes.
LIT verified live: the known optimal rulers up to 8 marks have all pairwise distances distinct and match their record lengths (6, 11, 17, 25, 34…), the ≤4-mark rulers are perfect while the 5-mark is not, and a non-Golomb set is correctly rejected (window.__golombruler). FIG no framing; distinctness, the optimal lengths, and the perfection cutoff are exact.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this in THE MAINFRAME — the grind domain of squeezing the most out of scarce, shared resource. A Golomb ruler is exactly that: pack the marks so every distance does double duty for none — maximal information, zero redundancy. AVAN (AI) built the instrument: the distance arcs, the collision-detecting difference grid, the turnpike inverse.
The weave: David names the seat (no wasted capacity); I make every distance measured once and show a collision the moment a mark slips — the ruler in 1D, the difference grid in 2D, the reconstruction inverse in 3D. The sphere is the seam. Credit: Solomon W. Golomb; optimal rulers verified by the distributed OGR search project.
The weave: David names the seat (no wasted capacity); I make every distance measured once and show a collision the moment a mark slips — the ruler in 1D, the difference grid in 2D, the reconstruction inverse in 3D. The sphere is the seam. Credit: Solomon W. Golomb; optimal rulers verified by the distributed OGR search project.
3 ONE DIMENSION
The ruler itself: a few marks on a line, and an arc for every pair. Each arc is a different length — the distances never repeat, so a short ruler measures a surprising number of lengths with a handful of marks.
4 TWO DIMENSIONS · INTERACTIVE
Choose an order and see its optimal ruler with the full difference grid — every pairwise distance in a table, all distinct. Nudge a mark off its optimal spot and watch two distances collide and flash red: proof that the exact placement is what makes it a Golomb ruler.
5 THREE DIMENSIONS + AVAN’S INVERSE
The ruler’s marks turning on a track, with the green forward step drawing every pairwise distance — marks in, the full set of distinct distances out.
AVAN’s addition (the inverse-companion): the magenta is the inverse problem — given only the set of distances, rebuild the marks. Going forward (marks → distances) is instant. Going backward (distances → marks) is the turnpike problem, and it is genuinely hard: many mark-sets can produce the same distance multiset, and reconstructing positions from pairwise distances is the same puzzle that DNA restriction mapping and X-ray phase retrieval must solve. The magenta reconstruction has to branch and backtrack where the green measurement just reads off. So a Golomb ruler is easy to use and hard to invert: its distinct distances are a fingerprint that hides how they were laid down. Green measures every gap once; magenta tries to recover the ruler from the gaps alone, and finds the road runs only one way cheaply.
LIT Genuine Golomb rulers (Solomon Golomb; optimal rulers verified by the distributed OGR project). Verified live: the known optimal rulers up to 8 marks ({0,1,4,6}, {0,1,4,9,11}, {0,1,4,10,12,17}, {0,1,4,10,18,23,25}, {0,1,4,9,15,22,32,34}) have all pairwise distances distinct and match their record lengths (6,11,17,25,34), the <=4-mark rulers are perfect while the 5-mark is not, and a non-Golomb set {0,1,2,4} is correctly rejected (window.__golombruler). Distinctness, optimal lengths, and the perfection cutoff are exact.
FIG No framing: the distinct-distance property, the optimal-ruler lengths, and the order-4-perfect / order-5-imperfect cutoff are real and checked exhaustively. The hardness of the inverse (reconstructing marks from the distance set = the turnpike problem, also faced in DNA restriction mapping) is the genuine asymmetry, stated as fact — the forward direction is checked, the inverse difficulty is a known result not re-proven here.
FIG No framing: the distinct-distance property, the optimal-ruler lengths, and the order-4-perfect / order-5-imperfect cutoff are real and checked exhaustively. The hardness of the inverse (reconstructing marks from the distance set = the turnpike problem, also faced in DNA restriction mapping) is the genuine asymmetry, stated as fact — the forward direction is checked, the inverse difficulty is a known result not re-proven here.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE MAINFRAME · David Lee Wise (ROOT0), with AVAN