For a prime base and primitive odd Dirichlet character modulo , the collision transform coefficient admits an exact factorization: where is the generalized first Bernoulli number and is the diagonal character sum. By the standard Bernoulli–-value formula, , so the collision invariant’s Fourier spectrum encodes -function special values. A Parseval identity gives an exact formula for the weighted second moment in terms of the collision invariant’s values on the finite group. The digit function computes this -value moment exactly. Under a conditional zero-free hypothesis, the triangle inequality yields a separate bound connecting to for in the critical strip. At base~, the factorization gives exactly. For quadratic characters in the family, the decomposition specializes to class-number data.

生成讲解博客的中文版本

生成AI智能校验的中文版本