arXiv++ Combinatorics

Let $a(n,k)$ be the number of $1324$-avoiding permutations of length $n$ with $k$ inversions. Claesson, Jelinek and Steingrimsson conjectured that $a(n,k)\le a(n+1,k)$, which would bound the growth rate of the class by $13.002$; Linusson and Verkama proved this for $k\le2n-7$ using an injection $f\sqcup g$ defined on decomposable and almost decomposable permutations. We study the residuals $\mathcal{R}_{δ,n}$, the indecomposable non-almost-decomposable avoiders at defect $δ=k-2n+7\ge1$, and prove the identity $a(n+1,k)-a(n,k)=|\mathrm{Av}^k_{n+1}(1324)\setminus\mathrm{im}(f\sqcup g)|-|\mathcal{R}_{δ,n}|$. Classifying the residuals at defect one and two gives $|\mathcal{R}_{1,n}|=8(n-7)$ and $|\mathcal{R}_{2,n}|=32n-214$, an exact formula for the difference at $k=2n-6$, and the inequality for all $k\le2n-5$. Beyond that we prove a skeleton reduction: membership in $\mathcal{R}_{δ,n}$ amounts to one quadratic equation in the block sizes of an inflation together with a nonsingleton condition read off the skeleton alone. Every skeleton occurring at defect $δ$ has length at most $8δ+25$; the proof rests on two facts about inversion graphs of $1324$-avoiders that seem to be new. Consequently $|\mathcal{R}_{δ,n}|$ agrees, for large $n$, with a polynomial of degree at most two, given explicitly as a sum of binomial coefficients. Four lemmas on cut vertices and on entries of inversion degree two then show that every residual of length at least $23$ admits an admissible deletion; this determines $\mathcal{R}_{δ,n}$ for all $n$ at every $δ\le10$ and yields $a(n,k)\le a(n+1,k)$ for all $k\le2n+3$, ten steps past the Linusson-Verkama line. The conjecture in its full form, for all $n$ and $k$, remains open.