The Wang--Sun Sum over Affine Derangements
Abstract
Let n be even, let ζ be a primitive n-th root of unity, and let Δn be the set of derangements in the affine group overrightarrowGL(ℤ/nℤ). We evaluate the Wang--Sun type sum Sn=∑π∈Δnsign(π) ∏x∈ℤ/nℤ (1+ζx−π(x))/(1−ζx−π(x)). The main step is an arithmetic grouping: for an affine map π(x)=vx+u, the product depends only on σ=gcd(1−v,n) and on the residue class of u modulo σ. After summing the translation signs, the full sum becomes a sum over even divisors with explicit local multiplicities. The only remaining analytic blocks are alternating even cotangent power sums; a recent formula of Liu and Xin then gives a closed expression in Bernoulli polynomials and universal coefficients. Moreover, using results by Cvijović and Klinowski we can evaluate the cotangent power sums using exclusively rational arithmetic. This supplies a general formula for the full affine sum whose initial values were computed using the definition only in an earlier work. The formula also lets us prove some general patterns of the sum: it has integral value for powers of $2$, prime denominator for 2p for primes p>3 and it has alternating signs.
Related
- Fusion rules and rigidity for weight modules over the simple admissible affine sl(2) and N=2 superconformal vertex operator superalgebras
- Splitting of projective modules over some affine algebras
- Flexibility of affine cones over blow-ups of weighted projective planes
- Rational Points on Affine Varieties over Finite Fields and Polygonal Number Sequences
- Bivariate Affine q-Krawtchouk Polynomials and Association Schemes over Galois Rings
BibTeX
@misc{aquino2026wangsun,
title = {{The Wang--Sun Sum over Affine Derangements}},
author = {Octavio A. Agust\'ın Aquino},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.02806},
eprint = {2610.02806},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.02806},
note = {CC0},
}
RIS
TY - UNPB
TI - The Wang--Sun Sum over Affine Derangements
AU - Octavio A. Agust\'ın Aquino
PY - 2026
DA - 2026/10/02
PB - arXiv
DO - 10.48550/arxiv.2610.02806
UR - https://arxiv.org/abs/2610.02806
AB - Let n be even, let ζ be a primitive n-th root of unity, and let Δ_n be the set of derangements in the affine group overrightarrowGL(ℤ/nℤ). We evaluate the Wang--Sun type sum S_n=∑_π∈Δ_nsign(π) ∏_x∈ℤ/nℤ (1+ζ^x−π(x))/(1−ζ^x−π(x)). The main step is an arithmetic grouping: for an affine map π(x)=vx+u, the product depends only on σ=gcd(1−v,n) and on the residue class of u modulo σ. After summing the translation signs, the full sum becomes a sum over even divisors with explicit local multiplicities. The only remaining analytic blocks are alternating even cotangent power sums; a recent formula of Liu and Xin then gives a closed expression in Bernoulli polynomials and universal coefficients. Moreover, using results by Cvijović and Klinowski we can evaluate the cotangent power sums using exclusively rational arithmetic. This supplies a general formula for the full affine sum whose initial values were computed using the definition only in an earlier work. The formula also lets us prove some general patterns of the sum: it has integral value for powers of $2$, prime denominator for 2p for primes p>3 and it has alternating signs.
ER -