Universal Shift Congruences for Weighted Permutation Sequences
Ahaan Kallat
Abstract
The involution numbers 1,1,2,4,10,26,… repeat modulo 3, 5 and 7. We explain this, and many similar patterns, by one rule. Many sequences count permutations in which every cycle of length m carries a weight wm (involutions, derangements, "sets of lists", and many others in the OEIS). Writing A(n) for such a count, the rule is A(n+k) A(n)A(k) modulo lcm(n,k). It generalizes our earlier proof of the case modulo k 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((n,k)), and show that nothing larger does. We then show that passing from k to pk behaves like raising to the p-th power modulo a high power of p, with a sharp exponent for the polynomials, which gives A(pr)(w1+(p-1)wp)pr-1 modulo pr for odd p, and explains why the prime 2 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.
Create a lesson
Related papers
2-large sets are sets of nil-Bohr recurrence
Ryan Alweiss, Sohail Farhangi
New tools for sparse graph embeddings: Hybrid expanders and application to nested cycles
Nemanja Draganić
Edge and spectral conditions for rainbow bipancyclicity in bipartite graph collections
Lihua You, Xiaoxue Zhang, Xinghui Zhao
The rich-neighbor chromatic index is linear in the maximum degree
Masaki Kashima, Mirko Petruševski, Jelena Sedlar et al.
The (km,kn)-square paths theorem
Dun Qiu, Minhao Zhang
Towards a Sum-of-Squares Proof for the Nonexistence of Conway's 99-graph
Joseph Natal, Oleksiy Al-saadi