From geometry to generating functions: rectangulations and permutations

Andrei Asinowski,Cyril Banderier
2024-03-30
Abstract:We enumerate several classes of pattern-avoiding rectangulations. We establish new bijective links with pattern-avoiding permutations, prove that their generating functions are algebraic, and confirm several conjectures by Merino and Mütze. We also analyze a new class of rectangulations, called whirls, using a generating tree.
Discrete Mathematics,Computational Geometry,Formal Languages and Automata Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the counting problem regarding the rectangulations of specific types. Specifically, the authors focused on several types of pattern - avoiding rectangulations and established new bijective connections between these rectangulations and pattern - avoiding permutations. By proving that the generating functions of these permutations are algebraic, the authors confirmed some conjectures proposed by Merino and Mütze and analyzed a new type of rectangulation - whirls, using the spanning - tree method. ### Main research contents and objectives: 1. **Pattern - avoiding rectangulations**: - The paper studied several types of pattern - avoiding rectangulations, such as rectangulations avoiding certain specific patterns. - The authors proved that the generating functions of these rectangulations are algebraic and provided some specific forms of generating functions. 2. **Bijective relations**: - Established bijective relations between pattern - avoiding rectangulations and pattern - avoiding permutations. - Through these bijective relations, the authors were able to use the known permutation - counting results to derive the counting results of rectangulations. 3. **Analysis of whirls**: - Whirls are a special type of rectangulation. The authors used the spanning - tree method to conduct a detailed analysis of whirls. - Proved that the generating function of whirls is algebraic and gave a specific form of the generating function. ### Specific achievements: - **Algebraic generating functions**: The authors proved that the generating functions of all the studied types of rectangulations are algebraic, which provides a theoretical basis for further research on these structures. - **Specific forms of bijective relations**: Provided specific bijective relations between pattern - avoiding rectangulations and permutations, which are helpful for understanding the combinatorial properties of these structures. - **Generating function of whirls**: Through detailed analysis of whirls, obtained the generating function of whirls and verified the conjectures of Merino and Mütze. ### Significance: - **Theoretical contribution**: This research provides new insights into the relations between pattern - avoiding rectangulations and permutations, and extends the research on generating functions in combinatorial mathematics. - **Practical application**: Rectangulations have wide applications in fields such as architectural planning and integrated circuit design. Therefore, these research results have potential value for solving practical problems in these fields. ### Conclusion: This paper, by establishing bijective relations between pattern - avoiding rectangulations and permutations, proved that the generating functions of these structures are algebraic and analyzed a new type of rectangulation - whirls. These achievements not only enrich the theoretical system of combinatorial mathematics but also provide new tools and methods for practical applications in related fields.