SearcharxivSearch

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 \chi(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}(\chi) \cdot P(s, \chi)$ 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

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM

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. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM