The fixed-point-free involution bumping conjecture

Let IZFPFI^{\mathsf{FPF}}_\mathbb{Z} denote the set of fixed-point-free involutions in the infinite symmetric group, let w=w1w2wnw=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~2w~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~iwi{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.

Sources & referencesView supporting material

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.