arXiv++ Combinatorics

At the end of the 1960s, Knuth characterised the permutations that can be sorted using a stack in terms of forbidden patterns. He also showed that they are in bijection with Dyck paths and thus counted by the Catalan numbers. Subsequently, Even \& Itai, Pratt and Tarjan studied permutations that can be sorted using two stacks in parallel. This problem is significantly harder. In particular, a sortable permutation can now be sorted by several distinct sequences of stack operations. Moreover, in order to be sortable, a permutation must avoid infinitely many patterns. The associated counting question has remained open for 40 years. We solve it by giving a pair of functional equations that characterise the generating function of permutations that can be sorted with two parallel stacks. The first component of this system describes the generating function Q(a,u) of square lattice loops confined to the positive quadrant, counted by the length and the number of North-West and East-South factors. Our analysis of the asymptotic number of sortable permutations relies at the moment on two intriguing conjectures dealing with the series Q(a,u). We prove that they hold for loops confined to the upper half plane, or not confined at all. They remain open for quarter plane loops. Given the recent activity on walks confined to cones, we believe them to be attractive per se.

Isomorphisms p between pattern classes A and B are considered. It is shown that, if p is not a symmetry of the entire set of permutations, then, to within symmetry, A is a subset of one a small set of pattern classes whose structure, including their enumeration, is determined.

When a set of permutations comprising a pattern class C is submitted as input to a priority queue the resulting output is again a pattern class C'. The basis of C' is determined for pattern classes C whose basis elements have length 3, and is finite in these cases. An example is given of a class C with basis 2431 for which C is not finitely based.

We enumerate the pattern class Av(2143,4231) and completely describe its permutations. The main tools are simple permutations and monotone grid classes.

We characterise those classes of permutations having the property that for every tableau shape either every permutation of that shape or no permutation of that shape belongs to the class. The characterisation is in terms of the dominance order for partitions (and their conjugates) and shows that for any such class there is a constant k such that no permutation in the class can contain both an increasing and a decreasing sequence of length k.