Martin Hildebrand,Bruce E. Sagan,Vincent Vatter
Abstract: We bound several quantities related to the packing density of the patterns 1(L+1)L...2. These bounds sharpen results of Bóna, Sagan, and Vatter and give a new proof of the packing density of these patterns, originally computed by Stromquist in the case L=2 and by Price for larger L. We end with comments and conjectures.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the problem of the bounds of several quantities regarding the permutation density of the pattern \(1(\ell + 1)\ell\ldots2\). Specifically, the authors aim to:
1. **Give more precise bounds for several quantities related to the permutation density of the pattern \(1(\ell + 1)\ell\ldots2\)**: These new bounds improve the previous results of Bóna, Sagan and Vatter.
2. **Provide new proofs for the permutation densities of these patterns**: Stromquist was the first to calculate the permutation density of the pattern \(132\), and Price calculated it for larger values of \(\ell\). This paper re - proves these results by providing more precise bounds.
### Background and Definitions
- **Permutation type**: Two sequences \(p\) and \(q\) of length \(n\) are said to be of the same type if for all \(i, j\in[n]\), \(p(i)<p(j)\) if and only if \(q(i)<q(j)\).
- **Pattern inclusion**: For an \(n\)-permutation \(p\) and an \(\ell\)-permutation \(q\), let \(c_q(p)\) denote the number of subsequences of type \(q\) in \(p\). For example, the permutation \(41523\) contains two \(132\) patterns, namely \(152\) and \(153\), so \(c_{132}(41523) = 2\).
- **Optimal permutation**: If an \(n\)-permutation \(p\) contains more \(q\) patterns than any other \(n\)-permutation, then \(p\) is said to be \(q\)-optimal. Let \(M_{n,q}=c_q(p)\) for \(q\)-optimal \(p\).
- **Permutation density**: It is defined as
\[
\delta(q)=\lim_{n\rightarrow\infty}\frac{M_{n,q}}{\binom{n}{|q|}}
\]
where \(\binom{n}{|q|}\) represents the total number of \(\ell\)-subsequences in an \(n\)-permutation.
### Main Results
1. **Theorem 1.2**: The permutation density of the pattern \(q_\ell = 1(\ell + 1)\ell\ldots2\) is
\[
\beta=\ell\alpha(1 - \alpha)^{\ell - 1}
\]
where \(\alpha\) is the unique root of the equation
\[
f_\ell(x)=\ell x^{\ell + 1}-(\ell + 1)x + 1 = 0
\]
in the interval \((0,1)\) and satisfies
\[
\frac{1}{\ell + 1}<\alpha<\frac{1}{\ell}.
\]
2. **Theorem 1.3**: For all \(n\geq\ell\geq2\),
\[
\beta\frac{(n-\ell)^{\ell + 1}}{(\ell + 1)!}\leq M_n\leq\beta\frac{(n+\delta_{2,\ell})^{\ell + 1}}{(\ell + 1)!}
\]
where \(\delta_{2,\ell}\) is the Kronecker delta (not to be confused with the permutation density \(\beta=\delta(q_\ell)\)).
Through these results, the authors not only provide more precise bounds, but also provide new proof methods for the calculation of permutation density.