Abstract:Egge and Mansour have recently studied permutations which avoid 1243 and 2143 regarding the occurrence of certain additional patterns. Some of the open questions related to their work can easily be answered by using permutation diagrams. Like for 132-avoiding permutations the diagram approach gives insights into the structure of {1243,2143}-avoiding permutations that yield simple proofs for some enumerative results concerning forbidden patterns in such permutations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the research on pattern - avoiding permutations, especially permutations that simultaneously avoid the 1243 and 2143 patterns. Such permutations are called Schröder permutations because their number is related to the Schröder numbers.
Specifically, the author attempts to study and explain the following problems by using permutation diagrams:
1. **Structural properties**: Understand the structural properties of {1243, 2143}-avoiding permutations and make an analogy with 132 - avoiding permutations.
2. **Combinatorial enumeration**: Provide simple proofs for some combinatorial results involving forbidden patterns, for example, the number of these permutations can be expressed by Schröder numbers.
3. **Pattern - avoidance problems**: Explore the behavior when adding or removing certain subsequence patterns in Schröder permutations, such as the occurrence of increasing and decreasing subsequences.
4. **Bijective relations**: Establish bijective relations between Schröder permutations and other types of permutations (such as 132 - avoiding permutations), thereby simplifying the proofs of certain combinatorial problems.
5. **Open problems**: Solve some open problems proposed by Egge and Mansour, especially the Wilf - equivalence problems regarding pattern - avoiding permutations.
### Main contributions of the paper
- **Application of permutation diagrams**: By using the method of permutation diagrams, the author can more intuitively understand and prove the structure and properties of Schröder permutations.
- **Bijective construction**: Through permutation diagrams, the author constructs a bijection from Schröder permutations to 132 - avoiding permutations, which helps to simplify the proofs of certain combinatorial problems.
- **Combinatorial results of pattern - avoidance**: Provide combinatorial enumeration results regarding specific pattern - avoiding permutations and solve some open problems proposed by Egge and Mansour.
### Formula summary
The Schröder number \(r_n\) is defined as follows:
\[r_0 = 1, \quad r_n=r_{n - 1}+\sum_{i = 0}^{n - 1}r_i r_{n - 1 - i}\quad\text{for }n\geq1\]
For Schröder permutations, their number is given by the Schröder number \(r_{n - 1}\).
In addition, the paper also involves some properties of permutation diagrams and combinatorial enumeration formulas, such as:
- The relationship between left - to - right minima in permutation diagrams and the descent positions of permutations.
- The relationship between the corners of permutation diagrams and the combinatorial properties of their corresponding permutations.
Through these methods, the author not only solves some problems proposed by Egge and Mansour, but also provides new tools and perspectives for further research on pattern - avoiding permutations.