Lewis's even-length alternating-pattern enumeration conjecture

About 14 years old · traced to

Let An(σ)A_n(\sigma) be the set of permutations of [n][n] that avoid the pattern σ\sigma and are alternating. Lewis's conjecture. For n≥1n\geq 1 and σ∈{1243,2134,1432,3214,2341,4123,3421,4312}\sigma \in \{1243,2134,1432,3214,2341,4123,3421,4312\}, we have

∣A2n(σ)∣=∣A2n(1234)∣=∣A2n(2143)∣.|A_{2n}(\sigma)|=|A_{2n}(1234)|=|A_{2n}(2143)|.

These equalities concern the enumeration of even-length alternating permutations avoiding patterns of length four; the common value for the two reference patterns is the 33-dimensional Catalan number 2(3n)!n!(n+1)!(n+2)!\frac{2(3n)!}{n!(n+1)!(n+2)!}. The statement was posed by Lewis and its resolution is not specified in the supplied text.

References

Primary source

Joanna N. Chen, William Y. C. Chen and Robin D. P. Zhou, “On Pattern Avoiding Alternating Permutations”, arXiv:1212.2697 (2012).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.