Labelled Well-Quasi-Order in Juxtapositions of Permutation Classes

Abstract

The juxtaposition of permutation classes $\mathcal{C}$ and $\mathcal{D}$ is the class of all permutations formed by concatenations $\sigma\tau$, such that $\sigma$ is order isomorphic to a permutation in $\mathcal{C}$, and $\tau$ to a permutation in $\mathcal{D}$.

We give simple necessary and sufficient conditions on the classes $\mathcal{C}$ and $\mathcal{D}$ for their juxtaposition to be labelled well-quasi-ordered (lwqo): namely that both $\mathcal{C}$ and $\mathcal{D}$ must themselves be lwqo, and at most one of $\mathcal{C}$ or $\mathcal{D}$ can contain arbitrarily long zigzag permutations. We also show that every class without long zigzag permutations has a growth rate which must be integral.