1324-avoiders with a fixed number of inversions
Is the number of 1324-avoiding permutations of length n with exactly k inversions non-decreasing in n? A yes would bound the growth rate of Av(1324) by about 13.002.
Counting permutations that avoid a pattern such as 1324, growth rates of permutation classes, and the enumeration sequences behind them. Terms of a sequence can be computed and checked independently.
Is the number of 1324-avoiding permutations of length n with exactly k inversions non-decreasing in n? A yes would bound the growth rate of Av(1324) by about 13.002.
Conjecture: for every pattern β, the numbers of β-avoiding permutations form a Stieltjes moment sequence. One failing pattern would refute it; Hankel determinants give a direct test.
Conjecture (Brignall): every finitely based permutation class with growth rate less than 4 has a rational generating function.
Conjecture (Bevan–Troyka): for every nonempty α, a uniformly random large permutation avoiding α ⊖ 1 looks like the diagonal (identity) permuton.
Classes such as Av(1243, 1324, 1432) are believed to have non-D-finite generating functions. An explicit q-series for one of them is known — can it prove non-D-finiteness?
If a pattern π properly contains ρ, is the growth rate of Av(π) strictly larger than that of Av(ρ)? A first test case: gr(Av(π)) < gr(Av(π⊕1, 1⊕π)) < gr(Av(1⊕π)).
Av(132456), Av(124356) and Av(123546) share a growth rate, and A and C even share counting sequences — but A and B do not. How different are the sequences of A and B?
Does every sufficiently long permutation contain a run of consecutive entries that splits into k copies of the same pattern? Known thresholds: n0(2) = 6, n0(3) = 12.