Lecture 14 · Mathematics
Every short word, exactly once
Video in production
This lecture is still face down. Its script is written; filming and animation are under way.
Meanwhile, read the outlineWhat you will learn
Define and verify a binary de Bruijn cycle, distinguish capacity from construction, and explain cyclic cuts and truncation failures.
Before this lecture
Ideas you will use
- Colour-address mechanism
In this lecture
An outline of the lecture, scene by scene, with the statements that appear on screen. It follows the draft script, so details may change in production.
Pose the packing problem with eight words
- 8 words of length 3
- 8 positions in a circle
- Overlap saves space—and imposes constraints
Read and verify one concrete cycle
- 00011101 cyclic
- Windows: 000,001,011,111,110,101,010,100
- Order is part of the observation
Prove capacity and clarify exact length
- 2×2×2=8
- Binary order k: 2ᵏ positions
- Counting is necessary; construction remains
Explain cut invariance using rotations
- Cut=rotation
- Same cyclic windows; different first position
- Decoder includes a direction
Show a verified truncation failure
- Delete 1 →0001110
- 000 occurs at starts 0 and 6
- Always inspect the new join
Separate object labels from observed bits
- Position address ≠card identity
- 32 reports cannot distinguish 52 starts
- Allowed states →observation →answer
Define exhaustive checking and meaningful companion feedback
- For each start: read 3 bits cyclically
- Duplicate →two explicit starts
- 8 distinct words →all 8 words
Give challenge and retrieve definition
- Build
- Diagnose
- Rotate without reversing
Companion interactive
Planned
Build and certify an eight-position binary cycle with all eight cyclic triples distinct.
The interactive for this lecture is being built and will appear here.
Notes
Written notes for this lecture will appear here.
Sources
- Magical Mathematics, pp. 18–25
- Mathematical Card Magic, pp. 252–256
How these sources were used
- Binary windows, count, cyclic distinction; truncation counterexample is a checked teaching example.
- Small-cycle examples and card adaptations; no unverified linear-feedback generalization used.