Canonical Arithmetic Defects for Polynomial Congruence Roots: Higher Tuples, Frobenius Filters, and Resultant-Sharp Finite States
Abstract
We develop a higher-order extension of canonical bounded defects for periodic root-counting systems. If a period contains $r$ marked residue classes and $A(X)$ counts marked integers up to $X$, then the dyadic $k$-tuple functional $$C(A(2X), k) - 2^k C(A(X), k)$$ has a unique anchored polynomial counterterm removing all complete-period dependence. The resulting local defect is uniformly bounded, has a finite universal alphabet, and vanishes identically for $k > 2r$. More generally, for a counting polynomial $P$ of degree $m \ge 2$, the normalization $2^m$ is the unique scalar for which the canonical counterterm drops in quotient degree from $m$ to $m - 1$. For polynomial congruence roots, the local root number at an unramified prime is the fixed-point count of Frobenius on the roots, turning tuple order into a Frobenius fixed-point filter and yielding a group-theoretic threshold isolating the completely split class. In the cubic $S_3$ case, the triple defect has the abstract alphabet $\{-7, -4, 0, 1, 2, 4, 10, 12\}$, while a single completely split prime has one of only three six-state signatures. We prove a general diagonal $k = r$ chamber theorem and show that, for a fixed irreducible polynomial, outside a finite set of primes determined by explicit affine resultants, the chamber signature is automatically sharp uniformly for all prime powers. We also give exact higher-$\gcd$ valuation carriers and an explicit multiplicative quotient realizing the canonical triple defect. Finally, for depressed $S_3$ cubics we compute chamber volumes $1/4$, $1/4$, and $1/2$; these become prime densities conditional on Kitaoka's ordered-root equidistribution conjectures. No higher-degree prime-root equidistribution theorem is assumed or claimed.
// Source
Authors: Tao Lin