The Countdown
The carry propagation in is not random. It's a countdown timer.
The v₂ countdown
For any odd number , define — the largest power of 2 dividing . This number has a magical property:
It decreases by exactly 1 at every non-dropping Syracuse step.
Watch it in action:
Step through the orbit and watch the counter. When (non-dropping step), the counter ticks down: . When it reaches 1, the orbit is forced into — Set₃ — and drops.
This is deterministic. Not statistical. Not "on average." The countdown WILL reach zero, and the orbit WILL drop.
Why does the countdown work?
Theorem. For : .
Proof. Write where is odd and . The Syracuse step gives . Then , so . ∎
Starting from : after exactly steps, , meaning . The orbit enters Set₃.
The two-bit countdown
Set₃ gives a "weak drop" — contraction by 3/4. Not very powerful. But there's a second countdown: tracks the approach to a deep drop.
At Set₃ encounters with : the drop depth is only 2 (weak). But with : the drop depth is (medium or strong, factor ).
The second countdown forces the orbit from weak drops to deep drops. It decreases by 2 per immediate weak drop. When it's exhausted: a deep drop is forced.
Drop depth = 2-adic distance from
Here's the deepest insight: the drop depth counts how many leading binary digits of match the pattern .
That pattern is in the 2-adic integers. The number (the alternating binary pattern).
Explore it: watch the binary digits of each orbit value alongside the pattern. Green highlights show matching digits.
Click the depth numbers above to step through the orbit. Deep drops (green) = more digits matching −1/3.
Deep drops happen when "accidentally" agrees with in many binary digits. The more digits match, the deeper the drop:
| Matching digits | Depth | Factor | Residue |
|---|---|---|---|
| 2 | 2 | 3/4 | |
| 3 | 3 | 3/8 | |
| 4 | 4 | 3/16 | |
| 5 | 5 | 3/32 | |
| 6 | 6 | 3/64 |
Each depth level has exactly one residue class. The deeper levels give more powerful contraction but occur less frequently (density ).
What we've proved
The countdown hierarchy:
- One-Bit Countdown (proved): decreases by 1 per step → forces Set₃
- Two-Bit Countdown (proved): decreases by 2 per immediate weak drop → forces deep drops
- Bounce regime: at , the orbit can oscillate before exiting → bounded by the Finite Propagation Theorem
The countdowns are deterministic — they work for EVERY orbit, not just typical ones. But they don't yet prove convergence: each deep drop contracts, but the orbit grows between drops. We need one more insight: the orbit's fuel runs out.