Indexed metadata

Universal Shift Congruences for Weighted Permutation Sequences

Ahaan Kallat

Source record

Source: arXiv

Published: Oct 11, 2026

arXiv: 2610.15849

Open original source ↗

Source abstract

The involution numbers 1,1,2,4,10,26,…1,1,2,4,10,26,\ldots repeat modulo 33, 55 and 77. We explain this, and many similar patterns, by one rule. Many sequences count permutations in which every cycle of length mm carries a weight wmw_m (involutions, derangements, "sets of lists", and many others in the OEIS). Writing A(n)A(n) for such a count, the rule is A(n+k)≡A(n)A(k)A(n+k)\equiv A(n)A(k) modulo lcm(n,k)\mathrm{lcm}(n,k). It generalizes our earlier proof of the case modulo kk for one such sequence, but now it holds for all weights at once, as a coefficientwise congruence between universal polynomials, and we find the largest modulus that works for the universal polynomials, nk/rad(gcd⁡(n,k))nk/\mathrm{rad}(\gcd(n,k)), and show that nothing larger does. We then show that passing from kk to pkpk behaves like raising to the pp-th power modulo a high power of pp, with a sharp exponent for the polynomials, which gives A(pr)≡(w1+(p−1)wp)pr−1A(p^r)\equiv(w_1+(p-1)w_p)^{p^{r-1}} modulo prp^r for odd pp, and explains why the prime 22 is special. A family of sequences defined by Lagrange inversion fits the same framework, which proves Bala's conjecture for the whole family (the single sequence A278070 had been proved earlier by an automated system) and the divisibility observed in the entries A251568 and A251569. As further applications we prove OEIS conjectures of Richman, Hanna, van Hoeij and Bala (A227937), and the theorems apply to 101 OEIS sequences, whose congruences are recorded in a supplementary catalogue. Higher-order versions of the content formula are treated in a separate paper.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.