The multi-away multiline-queue enumeration conjecture

About 11 years old · traced to

Let N≥nN\ge n, let k=(k1≥⋯≥kr≥1)\mathbf{k}=(k_1\ge\cdots\ge k_r\ge 1) be a partition, and let k′\mathbf{k}' be its conjugate. For S⊆[r]S\subseteq [r], let k(S)\mathbf{k}(S) be the partition consisting of the parts kik_i with i∈Si\in S, and let k(S)′\mathbf{k}(S)' be its conjugate. Define ASA_S to have entries

(bi+j−1−kn+1−i(S)′j−1−kn+1−i(S)′).\binom{b_i+j-1-k_{n+1-i}(S)'}{j-1-k_{n+1-i}(S)'}.

Here ki(S)′=0k_i(S)'=0 if i>kmin⁡Si>k_{\min S}. Assume n>k1>k2+1>k3+2>⋯>kr+r−1>r−1n>k_1>k_2+1>k_3+2>\dots>k_r+r-1>r-1 and 0≤b1<⋯<bn≤N−10\le b_1<\dots<b_n\le N-1. The multi-away MLQ enumeration conjecture. The number of multiline queues is

Gsk1…skrw0(b1,…,bn;N)=∑S⊆[r](−1)∣S∣∏i∈S(Nki)det⁡AS.G_{s_{k_1}\dots s_{k_r}w_0}(b_1,\dots,b_n;N)=\sum_{S\subseteq [r]}(-1)^{|S|}\prod_{i\in S}\binom{N}{k_i}\det A_S.

This generalizes the one-away formula to commuting simple reflections. The case r=1r=1 specializes to the one-away conjecture, and the paper does not provide a proof of the general statement.

References

Primary source

Erik Aas and Svante Linusson, “Continuous Multi-line Queues and TASEP”, arXiv:1501.04417 (2017).

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.