Petty's Notebook
ArticlesPapersnfieldAbout
Get notified when new posts are published. No spam, just math.
Alexander S. Petty  |  ©2009-2026
← Back
essay

The Structure That Survives

April 15, 20265 min read
Companion paper: The Structure That Survives →
Blue and gold branching traces converge around a bright vertical axis against a black background.
Blue and gold branching traces converge around a bright vertical axis against a black background.

People ask about the name.

Why collision invariant? Why use a phrase that already lives in physics?

Yes. The echo is intentional. But the name was not chosen for ornament. The mathematics pushed me there.

Long division takes a remainder and gives back the next digit. In base ten, multiplying the remainder by ten moves the calculation forward one place. Some remainders produce the same digit before and after that move. Those are the collisions.

Count them as the prime denominator changes. The counts fluctuate. But fix the base and the number of places between the two digits, then subtract the baseline count, and a finite table determines the answer. An unbounded list of primes keeps returning to a fixed set of residue classes.

Base ten, one-place lag. These forty unit classes carry the collision table; primes dividing ten are handled separately.
Base ten, one-place lag. These forty unit classes carry the collision table; primes dividing ten are handled separately.

This changed what I thought I was counting. A prime was still a prime in the classical sense. But long division was leaving behind a finite arithmetic shape that I had not expected from the digit rule.

The reflection identity made that shape especially clear. For unit classes in the table, with modulus mmm, the raw labels satisfy

T(a)+T(m−a)=−1.T(a)+T(m-a)=-1.T(a)+T(m−a)=−1.

Their deviations from −1/2-1/2−1/2 are exact opposites. The labels vary, but their relation does not.

Twenty complementary pairs, reflected about negative one half. Adding one half to every label makes the table exactly odd.
Twenty complementary pairs, reflected about negative one half. Adding one half to every label makes the table exactly odd.

In kinetic theory, a collision invariant is a quantity whose sum over two particles is unchanged by their collision. Momentum and kinetic energy are examples. Those local equalities give the conservation laws of the gas.

The arithmetic identity is different. Primes are not particles, reflection is not momentum conservation, and number theory does not reduce to fluid mechanics. The connection I mean is a question shared by both settings. When the individual contributions change, which relations remain exact?

That is what the name points to.

Even the repetitions matter. Several residue classes can carry the same label. A longer prime list changes how often each label occurs; it does not create an unlimited supply of new labels. The mathematical study of that finite structure belongs in The Structure That Survives. Here I am trying to explain why I kept following it.

Exact populations of the twelve labels among the first 300 primes. The zero column includes 2 and 5.
Exact populations of the twelve labels among the first 300 primes. The zero column includes 2 and 5.

Long division led to collisions. Collisions led to a finite signed table. The table led to reflection. Reflection led to the transform. The transform led to the spectrum. I did not build that chain backward from the Riemann Hypothesis. I followed it forward from a smaller question. If the local arithmetic looks chaotic, what survives?

The phrase collision invariant also names the research impulse behind the program. I keep returning to the point where a small finite mechanism stops looking accidental and starts looking structural. I am interested in the part that remains when everything else has been allowed to move.

That pattern is not the whole content of the collision program. But it is one of the deepest reasons the program exists.

Companion paper: The Structure That Survives →
Share

Discussion

Sign in to join the discussion.

← All articlesRead the paper →
← Previous: The Collision Spectrum
Next: Carry Boundaries and Bernoulli Spectra →