Skip to content

The Countdown

The carry propagation in 3n+13n+1 is not random. It's a countdown timer.

The v₂ countdown

For any odd number mm, define v2(m+1)v_2(m+1) — the largest power of 2 dividing m+1m+1. This number has a magical property:

It decreases by exactly 1 at every non-dropping Syracuse step.

Watch it in action:

m =31m≡3 mod 4
v₂(m+1)
5
Counts down → forces Set₃
v₂(m−1)
1
Counts down → forces deep drop
Drop depth
1
= v₂(3m+1) = bits matching -1/3
Stepv₂(m+1)Depth
0
5
1

Step through the orbit and watch the v2(m+1)v_2(m+1) counter. When m3(mod4)m \equiv 3 \pmod{4} (non-dropping step), the counter ticks down: v2v21v_2 \to v_2 - 1. When it reaches 1, the orbit is forced into m1(mod4)m \equiv 1 \pmod{4}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 m3(mod4)m \equiv 3 \pmod{4}: v2(S(m)+1)=v2(m+1)1v_2(S(m)+1) = v_2(m+1) - 1.

Proof. Write m=2vc1m = 2^v c - 1 where cc is odd and v=v2(m+1)v = v_2(m+1). The Syracuse step gives S(m)=(3m+1)/2=32v1c1S(m) = (3m+1)/2 = 3 \cdot 2^{v-1} c - 1. Then S(m)+1=32v1cS(m) + 1 = 3 \cdot 2^{v-1} c, so v2(S(m)+1)=v1v_2(S(m)+1) = v-1. ∎

Starting from vv: after exactly v1v-1 steps, v2=1v_2 = 1, meaning m1(mod4)m \equiv 1 \pmod{4}. 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: v2(m1)v_2(m-1) tracks the approach to a deep drop.

At Set₃ encounters with m1(mod8)m \equiv 1 \pmod{8}: the drop depth is only 2 (weak). But with m5(mod8)m \equiv 5 \pmod{8}: the drop depth is 3\geq 3 (medium or strong, factor 3/8\leq 3/8).

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 1/3-1/3

Here's the deepest insight: the drop depth v2(3m+1)v_2(3m+1) counts how many leading binary digits of mm match the pattern 010101\ldots 010101.

That pattern is 1/3-1/3 in the 2-adic integers. The number 1/3=010101012-1/3 = \ldots 01010101_2 (the alternating binary pattern).

v2(3m+1)km13(mod2k)v_2(3m+1) \geq k \quad \Longleftrightarrow \quad m \equiv -\tfrac{1}{3} \pmod{2^k}

Explore it: watch the binary digits of each orbit value alongside the 1/3-1/3 pattern. Green highlights show matching digits.

m =85
00000000000001010101
−1/3 =…010101
01010101010101010101
8matching digits (from LSB)
8drop depth = v₂(3m+1)
8

Click the depth numbers above to step through the orbit. Deep drops (green) = more digits matching −1/3.

Deep drops happen when mm "accidentally" agrees with 1/3-1/3 in many binary digits. The more digits match, the deeper the drop:

Matching digitsDepthFactorResidue
223/4m1(mod8)m \equiv 1 \pmod{8}
333/8m13(mod16)m \equiv 13 \pmod{16}
443/16m5(mod32)m \equiv 5 \pmod{32}
553/32m53(mod64)m \equiv 53 \pmod{64}
663/64m21(mod128)m \equiv 21 \pmod{128}

Each depth level has exactly one residue class. The deeper levels give more powerful contraction but occur less frequently (density 1/2k1/2^k).

What we've proved

The countdown hierarchy:

  1. One-Bit Countdown (proved): v2(m+1)v_2(m+1) decreases by 1 per step → forces Set₃
  2. Two-Bit Countdown (proved): v2(m1)v_2(m-1) decreases by 2 per immediate weak drop → forces deep drops
  3. Bounce regime: at v2(m1)=3v_2(m-1) = 3, 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.