The fixed-point-free involution bumping conjecture

About 7 years old · traced to

Let IZFPFI^{\mathsf{FPF}}_\mathbb{Z} denote the set of fixed-point-free involutions in the infinite symmetric group, let w=w1w2⋯wnw=w_1w_2\cdots w_n be an fpf-involution word, and let fbπ\mathfrak{fb}_\pi be the fixed-point-free involution bumping operator. Suppose

fbπ(w)=w~1w~2⋯w~n.\mathfrak{fb}_\pi(w)=\tilde w_1\tilde w_2\cdots\tilde w_n.

Fixed-point-free involution bumping conjecture. For every i∈[n]i\in[n], one has w~i−wi∈{0,1,2}\tilde w_i-w_i\in\{0,1,2\}.

This is described as a weaker version of the preceding conjecture for the fbπ\mathfrak{fb}_\pi operators. The source notes that it does not yield a simple proof of the corresponding theorem because letters may be incremented twice, and presents the claim as open.

References

Primary source

Eric Marberg, “Bumping operators and insertion algorithms for queer supercrystals”, arXiv:1910.02261 (2021).

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.