Nonrationality and Principal permutation classes: the remaining case
arXiv:2203.11916
Abstract
We complete the proof of the fact that all principal permutation classes generated by a pattern longer than two have a nonrational generating function.
The proof of one crucial result needs extra work