Search arXivSearch

arXiv · 2604.00047

The Collision Transform

Abstract

For a prime p and base b, the collision invariant $S_{\ell}(p)$, introduced in the companion paper, is a function of $p \bmod b^{\ell+1}$ and therefore lives on the finite group $(\mathbb{Z}/b^{\ell+1}\mathbb{Z})^{\times}$. Its Fourier expansion over Dirichlet characters modulo $b^{\ell+1}$ is the collision transform. The reflection identity forces all even-character coefficients of the centered invariant to vanish: only odd characters contribute. The centered prime harmonic sum $F^{\circ}(s) = \sum_p S^{\circ}_p / p^s$ is therefore a finite linear combination of non-trivial odd character sums $\sum_p χ(p)/p^s$, with no principal-character term. At $s = 1$, each sum converges by Mertens' theorem for arithmetic progressions. Convergence below $s = 1$ is conditional on the absence of $L$-function zeros above a given depth. Computation indicates convergence persists to at least $s = 0.6$ in base 10 and to $s = 0.5$ in base 3. The real parts of the products $\hat{S}^{\circ}(χ) \cdot P(s, χ)$ have mixed signs, so convergence is a collective constraint on the joint zero distribution, not a test of each $L$-function individually. Aggregating the collision deviation across bases with a fixed convergent weighting produces the base sum, a function on primes that reveals mod-3 structure. For bases with $3 \nmid b$, the reflection $a \mapsto m - a$ fixes a unique residue class modulo 3, and the mean of $S$ over units in that class equals the grand mean $-1/2$ (the neutrality theorem). Removing the mod-3 component introduces a principal-character term that is absent from $F^{\circ}$. The base-summed harmonic sum is negligible: the collision invariant's structural content is base-specific.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexander S. Petty. 2026-03-30. The Collision Transform. https://arxiv.org/abs/2604.00047

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM