arXiv++ Combinatorics

Derangements are permutations without fixed points, and are in bijection with desarrangements: permutations whose first non-descent is even, or equivalently, permutations without ``pixed points''. Bsila, Cox, Hugo, Styron, and Zhuang recently proved a theorem characterizing all $Π\subseteq\mathfrak{S}_{3}$, such that $1\leq\left|Π\right|\leq3$, for which the number of derangements avoiding all patterns in $Π$ is equal to the number of desarrangements avoiding all patterns in $Π$. They left finding a bijective proof of this theorem as an open problem, and posed a related conjecture concerning the distributions of fixed points and pixed points over pattern avoidance classes. In this paper, we give bijective proofs of this theorem and conjecture.

Jacobi permutations, introduced by Viennot in the context of Jacobi elliptic functions, are counted by the Euler numbers $E_{n}$ appearing in the series expansion $\sec x+\tan x=\sum_{n=0}^{\infty}E_{n}x^{n}/n!$. We conduct a systematic study of pattern avoidance in Jacobi permutations, achieving a complete enumeration of Jacobi permutations avoiding a prescribed set of length 3 patterns. In the case of a single pattern restriction, we obtain refined enumerations with respect to several permutation statistics: the number of ascents (or descents), the number of left-to-right minima, and the last letter. Bijections involving certain subfamilies of binary trees and Dyck paths, as well as generating function techniques, play important roles in our proofs.