Pattern avoidance is not P-recursive
classification
🧮 math.CO
cs.CCcs.FL
keywords
conjecturep-recursivepermutationsavoidanceavoidingcomputabilitydenotedisprove
read the original abstract
Let $F \subset S_k$ be a finite set of permutations and let $C_n(F)$ denote the number of permutations $\sigma$ in $S_n$ avoiding the set of patterns $F$. The Noonan-Zeilberger conjecture states that the sequence ${C_n(F)}$ is P-recursive. We use Computability Theory to disprove this conjecture.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Uncountably many enumerations of well-quasi-ordered permutation classes
Constructs an uncountable family of well-quasi-ordered permutation classes with pairwise distinct enumeration sequences, disproving the conjecture that all such classes have algebraic generating functions.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.