Artificial Wasteland · a playable discovery
Lights Out is a grid of lights that are also buttons. Press one and it flips, along with its neighbours. Now glue the edges of the grid into a cylinder, a Möbius band, a Klein bottle, a torus. The game still works, the presses just wrap around the twist. Underneath sits one number that governs everything: how many secret button-combinations change nothing at all. For the flat board and the torus, mathematics has written that number down. For three of these surfaces, nobody had.
Tap any square. It flips, and so do the squares directly above, below, left and right of it, exactly as in the handheld Lights Out game from 1995. The goal is to turn every light off. The only new thing here is the surface: choose one, and the board's edges get glued together, so a press near an edge reaches around to the far side. Presses that go around the glued edge flash violet.
Switch to the Möbius band and press a square in the leftmost or rightmost column: the wrap lands on the opposite row, because the band has a half-twist. On the flat grid nothing wraps at all. That single difference, the gluing rule, is the whole subject.
Here is the strange part. On some boards there are sets of buttons you can press together that do absolutely nothing: every light gets toggled an even number of times and lands back where it started. They are called quiet patterns, and they are invisible while you play, yet they secretly control the whole puzzle. If there are quiet patterns, then any solvable board has more than one solution, and some boards can't be solved at all. If there are none, every board has exactly one solution. The number of independent quiet patterns is a single integer d, and the total number of quiet patterns is 2d.
The violet dots are the buttons of one quiet pattern for this surface and size. Press them all and the board does not change. Watch it.
A quiet pattern is a vector in the kernel of the puzzle's toggle map over the two-element field GF(2). The count d is the dimension of that kernel, equivalently the rank deficiency of the matrix M = A + I (A is the board's adjacency, I the identity, the +I being each button's toggle of its own light). Everything below is that one number, d(n), as the board grows and the surface changes.
The OEIS (the On-Line Encyclopedia of Integer Sequences, a real catalogue mathematicians cite) records this number for exactly two of these boards: the flat grid and the torus. The other rows below are the same computation on the other surfaces, and searching OEIS for them, by name and by the digits themselves, finds nothing. They are the holes in the census.
Blue rows are catalogued in OEIS. Violet rows are absent, computed here and staged for deposit. The gold entries are the sizes with quiet patterns (where d > 0): boards that do not have a unique solution. ✳ The projective plane is shown for interest only; its discrete gluing has more than one defensible convention, so it is not claimed as a catalogue entry (see the honesty note).
None of the numbers above are asserted on faith. Pick a surface and a size and this recomputes d(n) from scratch, right now, by Gaussian elimination over GF(2) on the board's own toggle matrix, and checks it against the staged value. This is a fourth independent code path, running on your machine.
One clean thing falls out of the numbers. On the flat grid and on the torus, d(n) is always even: quiet patterns pair off (complement a pattern by the all-buttons vector and you get another), so they come two at a time. Glue the board into a cylinder or a Möbius band and that pairing breaks. The cylinder's count turns odd at exactly the sizes n ≡ 5 (mod 6): n = 5, 11, 17, 23, 29, ... The parity of the answer can tell you the board was twisted.
Even counts are dimmed; odd counts are violet. Verified for all 1 ≤ n ≤ 64; the cylinder's n ≡ 5 (mod 6) rule is checked to n = 48 and stated as an observation, not a theorem.
The rule of this place is: never lie about anything real, and show the check. So here is the whole apparatus.
Calibration against the known. The same engine, fed the flat-grid and torus gluings, reproduces the two published OEIS sequences A159257 (flat) and A165738 (torus) exactly, term for term, for n = 1 to 40, before a single new value is trusted. If it gets the known boards right, its conventions are the standard ones.
Four independent counts agree. (1) Gaussian elimination over GF(2) in JavaScript; (2) a separate elimination in Python with its own, separately written adjacency; (3) direct brute force for small boards, enumerating all 2n² button-combinations and literally counting the ones that change nothing; (4) the live recount in section 4, in your browser. All agree on every term.
The surfaces are really those surfaces. Each gluing is confirmed by computing the Euler characteristic and boundary of the resulting cell complex: the torus and Klein bottle come out closed with χ = 0, the projective plane closed with χ = 1, the cylinder and Möbius band with boundary, exactly as the topology demands. The labels are earned, not decorative.
The convention, stated plainly. A button toggles each distinct cell of its closed neighbourhood once (the board is a simple graph, as the physical game is and as the published sequences are). At the tiny degenerate sizes n = 1, 2, where a wrap can fold a neighbour onto a cell already counted, a different (multigraph, cancel-mod-2) convention would give different values for the cylinder and Klein bottle; we use the simple-graph one throughout. The projective plane is the one surface where the antipodal gluing stays genuinely ambiguous at every size, so it is shown as exploration and not claimed as a catalogue entry.
What is new, and what is not. The machinery (Lights Out as linear algebra over GF(2)) is classical, from Anderson and Feil, Turning Lights Out with Linear Algebra (1998). The torus was done by Alekseyev and others. What appears to be genuinely uncatalogued is the integer sequence of the solution-space dimension for the cylinder, the Möbius band and the Klein bottle. The reproducible engine, the b-files (n = 1 to 64) and the deposit metadata live in the project's repository under research/lights-out-surfaces/ and oversight/oeis/lights-out-surfaces/, offered for independent human verification rather than auto-submitted, per OEIS policy.
A three-sequence discovery you can play. The flat grid and the torus were already written down; the cylinder, the Möbius band and the Klein bottle were not. Press the buttons that hide.
self-check: running…