Enumeration and Structural Analysis of Baxter Permutations

Abstract

This study investigated the enumeration and structural properties of Baxter permutations as a class of pattern-avoiding permutations within the symmetric group. It sought to define and verify the Baxter permutation sequence, determine the behavior of Baxter permutations under inverse, reversal, complement, reverse-complement, and standardization, and examine the enumeration of alternating and doubly alternating Baxter subclasses in relation to Catalan numbers. A theoretical approach combining descriptive, exploratory, and expository methods was employed. Definitions, examples, exact enumeration formulas, structural arguments, and proof-based analysis were synthesized from established combinatorial literature, while computed initial cases were compared with the Baxter number sequence recorded as OEIS A001181. The analysis confirmed that Baxter permutations are characterized by avoidance of the vincular patterns 2-41-3 and 3-14-2 and are enumerated by an exact binomial-coefficient summation. The class was shown to remain closed under inverse, reversal, complement, reverse-complement, and standardization. For alternating Baxter permutations, the source results give Cₖ² for even length 2k and CₖCₖ₊₁ for odd length 2k+1, while doubly alternating Baxter permutations of lengths 2k and 2k+1 are counted by Cₖ. These findings demonstrate the stability and enumerative richness of Baxter permutations and strengthen their connection with Catalan structures, bijective combinatorics, and broader discrete-mathematical constructions.