Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper enumerates families of involutions avoiding the classical patterns 4321 and another pattern of length four, leveraging Biane's bijection to Motzkin paths for structural analysis. It provides exact bivariate generating functions and structural descriptions for most families, with a functional equation and continued fraction representation for the remaining case. The work highlights the unique combinatorial challenges of pattern-avoiding involutions compared to general permutations.
The combinatorial landscape of pattern-avoiding involutions is significantly clarified, revealing exact enumerative formulas for families avoiding 4321 and a specific length-four pattern.
We enumerate all families of involutions avoiding a classical pattern of length four together with 4321. While the enumeration of permutations avoiding two classical patterns is by now well understood, the case of pattern-avoiding involutions presents additional structural constraints that require dedicated techniques. In particular our main enumerative tool is Biane's bijection between involutions and labelled Motzkin paths. The paper provides exact bivariate generating functions (taking into account length and number of descents), and structural descriptions for all except one family. In the remaining case we provide a functional equation for the generating function and express it as an explicit continued fraction. We make extensive use of experimental and software-supported methods.