The Collision Transform

The Collision Transform
Many primes, one function. Each prime maps to a point on the finite group. The transform reads the pattern in their aggregate.

Everything before this was about one prime at a time. This paper looks across all of them.

The transform

The collision invariant $S(a)$ is a function on the finite group $(\mathbb{Z}/b2\mathbb{Z})*$. Each prime $p$ contributes a value at its residue class $a = p \bmod b^2$. The Fourier transform over this group decomposes $S$ into components indexed by Dirichlet characters modulo $b^2$.

The transform is:

$$\hat{S}(\chi) = \frac{1}{\phi(m)} \sum_a S(a) \bar\chi(a)$$
Odd characters carry the signal. Even characters vanish (antisymmetry). The centered transform removes the principal character's contribution. What remains is the collision spectrum.

Convergence

The centered sum $F^\circ(s) = \sum_p S^\circ(p) / p^s$ converges at $s = 1$. The Mertens-rate divergence of the raw sum cancels exactly after centering. No principal-character term survives.

This is the collision analogue of the prime number theorem's error term. The main term (the class mean) is removed. The residual (the centered deviation) converges. The convergence is not conditional. It holds for every base and every lag.

Finite determination

The collision invariant at lag $\ell$ depends only on $p \bmod b^{\ell+1}$. The prime $p$ contributes to the transform through its residue class, not through $p$ itself. The infinite population of primes is compressed into a function on a finite group.

This is why the transform works: the characters are defined on the finite group, and every prime maps to a point in that group. The sum over primes becomes a weighted sum over residue classes.

What the transform sees

The odd characters carry the collision spectrum. The spectrum encodes how the digit function's collision structure distributes across the multiplicative group. The next paper will show that this distribution factors into L-function special values.

Try it yourself

./nfield 7               # S at p=7 in base 10
./nfield 97              # S at p=97
./nfield align 12        # alignment (related to S)

Code: github.com/alexspetty/nfield


Alexander S. Petty
February 2025
.:.