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.

A graph G with q edges and p vertices is edge-graceful if some bijection f from E(G) onto {1,...,q} makes the induced vertex sums f^+(v), the sum of f(e) over the edges e incident to v, distinct modulo p. Lee conjectured in 1989 that every tree of odd order is edge-graceful; the broadest general result we have located, due in equivalent form to Kaplan, Lev and Roditty, covers trees of odd order with at most one vertex of degree two. We prove that every tree of odd order with at most two vertices of degree two is edge-graceful. The proof combines zero-sum block partitions of Z_n with perfect and hooked Langford sequences; the residual case analysis is verified symbolically for all odd n <= 5001 and holds uniformly beyond, and the construction was executed and independently re-checked on all 2,245,070 trees of odd order at most 25 with exactly two vertices of degree two. Since an edge-graceful graph is antimagic, the theorem also enlarges the family of trees known to be antimagic.