The Growing ClockHonors mathematics · Bonus lesson 12← Bonus 11Lesson 01 ↺
Bonus lesson 12 · Symmetry · 65–80 minutes

The Hidden Symmetry Group

Lesson 08 found a mirror in the list of readings. Here we look for symmetries of the dial itself: ways to relabel the marks, by stretching and turning, that send the reachable marks onto the reachable marks. Lesson 03's square test, 8x + 1, turns out to explain all of them. You will find every such symmetry, see how they sort the reachable marks into orbits, and count both from the factorization of the dial.

Where this lesson is headed
A(x) = ux + c   (mod m) is a symmetry when it sends Reach(m) onto Reach(m)

In words: stretch the dial by u and turn it by c; if every reachable mark lands on a reachable mark, that relabeling is a symmetry. On an odd prime dial p ≥ 5 there are exactly (p − 1)/2 of them, one for each nonzero square u, with c chosen so that 8x + 1 is simply multiplied by u. Setup as in Lessons 03 to 07: the clock with starting circumference m and growth 1 on an m-mark dial, so the readings are T(k) mod m.

u: the stretch, sharing no factor with m (so it can be undone)

c: the turn

m: number of dial marks

Reach(m): the marks T(k) ever reaches (two blocks, k = 0 to 2m − 1); its size is F(m) from Lesson 07

D(x) = 8x + 1: Lesson 03's square test

Orbit: marks that some symmetry can move onto each other

01. Stretch and turn the dial

Start with the 5-mark dial, where the reachable marks are 0, 1 and 3. The map A(x) = 4x + 1 sends 0 to 1, 1 to 0, and 3 to 13, which reads 3. Every reachable mark lands on a reachable mark, so this relabeling is a symmetry. A symmetry does not have to leave marks in place; it only has to keep the reachable set as a whole. Try other stretches and turns.

The m-mark dial

Reachable marks
Chosen x → A(x)
A symmetry?

Guided experiments

Do these in order. "Set this up" picks the dial and the map.

    The orbits

    Two reachable marks are in the same orbit if some symmetry moves one onto the other. Each box is one orbit of the current dial.

    Look for: on a prime dial p ≥ 5, one mark always sits alone in its own orbit. Which one? Compute 8x + 1 for it.
    Symmetries come in a neat number, and one mark never moves. Stage 02 explains both with Lesson 03's square test.