Symmetry conjecture for generating functions of even and odd 3412-avoiding involutions

From papers

Let I(3412,[l1,,lm])I(3412,[l_1,\ldots,l_m]) denote the involutions under consideration, and let F[l1,,lm](x)F^-_{[l_1,\ldots,l_m]}(x) and F[l1,,lm]+(x)F^+_{[l_1,\ldots,l_m]}(x) be the generating functions for the odd and even involutions, respectively.

Symmetry conjecture. For all m1m \ge 1 and all l1,,lm1l_1, \ldots, l_m \ge 1, the generating functions for the even involutions in I(3412,[l1,,lm])I(3412, [l_1, \ldots, l_m]) and for the odd involutions in I(3412,[l1,,lm])I(3412, [l_1, \ldots, l_m]) are symmetric in l1,,lml_1, \ldots, l_m.

The conjecture combines the separately stated symmetry claims for F[l1,,lm](x)F^-_{[l_1,\ldots,l_m]}(x) and F[l1,,lm]+(x)F^+_{[l_1,\ldots,l_m]}(x). The negative case was verified computationally for m=3m=3 with li24l_i\le 24 and for m=4m=4 with li20l_i\le 20; the general statement remains open.

Progress summary

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

Sources & referencesView supporting material

Primary source

Eric Egge and Toufik Mansour, “Involutions Restricted by 3412, Continued Fractions, and Chebyshev Polynomials”, arXiv:math/0401217 (2004).

Additional references

2 papers in this index state this conjecture (2003–2004). The statement above is taken from the most recent of them; the others are arXiv:math/0307050.

Solutions 0

No solutions have been posted yet.