---
title: Signed Multiline Queues in Interpolation Macdonald Theory
url: https://www.emergentmind.com/topics/signed-multiline-queues
type: topic
---

# Signed Multiline Queues in Interpolation Macdonald Theory

Signed multiline queues are a combinatorial enhancement of the classical multiline queue formalism, introduced to give a combinatorial formula for interpolation Macdonald polynomials \(P_\lambda^*(x;q,t)\) and their nonsymmetric and ASEP variants. In the literal sense used in current research, a signed multiline queue is the object defined for interpolation Macdonald theory in "A combinatorial formula for Interpolation Macdonald polynomials" [2510.02587]. Earlier multiline-queue models for multispecies TASEP, PASEP, ASEP, spectral weights, and twisted steady-state constructions use ordinary, linked, weighted, or twisted multiline queues, but not signed multiline queues in this formal sense [1206.0316].

## 1. Algebraic setting

The signed multiline queue model is attached to the interpolation Macdonald polynomial \(P_\lambda^*(x;q,t)\). For a composition \(\mu=(\mu_1,\dots,\mu_n)\), the relevant specialization data are
\[
k_i(\mu):=\#\{j:j<i \text{ and }\mu_j>\mu_i\}+\#\{j:j>i \text{ and }\mu_j\ge \mu_i\},
\]
and
\[
\widetilde{\mu}:=\left(q^{\mu_1}t^{-k_1(\mu)},\dots,q^{\mu_n}t^{-k_n(\mu)}\right).
\]
The interpolation Macdonald polynomial \(P_\lambda^*(x;q,t)\) is the unique symmetric polynomial with top homogeneous part \(P_\lambda\), vanishing conditions
\[
P_\lambda^*(\widetilde{\nu})=0 \qquad\text{for all partitions }\nu\neq \lambda,\ |\nu|\le |\lambda|,
\]
and normalization that the coefficient of \(m_\lambda\) is \(1\). The nonsymmetric interpolation Macdonald polynomial \(E_\mu^*\) is uniquely determined by
\[
[x^\mu]E_\mu^*=1,\qquad E_\mu^*(\widetilde{\nu})=0\ \text{for all }\nu\neq \mu,\ |\nu|\le |\mu|.
\]
Its top homogeneous component is the usual nonsymmetric Macdonald polynomial \(E_\mu\) [2510.02587].

The queue model is formulated not only for \(E_\mu^*\) but also for the interpolation ASEP polynomials. If \(\mu\in S_n(\lambda)\) and \(\sigma_\mu\) is the shortest permutation with \(\sigma_\mu(\lambda)=\mu\), then
\[
f_\mu^*:=T_{\sigma_\mu}\cdot E_\lambda^*.
\]
Its top homogeneous part is the usual ASEP polynomial \(f_\mu\), and the symmetric interpolation polynomial decomposes as
\[
P_\lambda^*=\sum_{\mu\in S_n(\lambda)} f_\mu^*.
\]

This algebraic setting explains why signs enter. Ordinary multiline queues already encode homogeneous Macdonald and ASEP polynomials. The signed refinement is designed to encode the inhomogeneous interpolation structure itself, including the extra shifts and cancellations that distinguish \(P_\lambda^*\) from \(P_\lambda\) [2510.02587].

## 2. Queue geometry and local rules

Fix a partition
\[
\lambda=\langle L^{m_L},\dots,1^{m_1},0^{m_0}\rangle, \qquad \sum_i m_i=n.
\]
A signed multiline queue has \(2L\) rows, labeled
\[
1,1',2,2',\dots,L,L'.
\]
The unprimed rows \(r\) carry regular balls labeled by positive integers \(1,\dots,L\), while the primed rows \(r'\) carry signed balls labeled by \(\pm 1,\dots,\pm L\). The bottom row of the queue is a composition \(\mu\in\{0,1,\dots,L\}^n\), and the queue type is \(\mu\) [2510.02587].

There are two kinds of adjacent-row pairings. In a classic layer, row \(r\) is paired with row \((r-1)'\), ignoring signs and using the same classic noncrossing and cylindrical rules as in ordinary multiline queues. In a signed layer, row \(r'\) is paired with row \(r\), and the rules depend on the sign of the upper ball.

In a signed layer, pairings are made from top to bottom, in decreasing order of absolute value, and within the same absolute value from right to left. A positive ball labeled \(+a\) in row \(r'\) must have a ball \(a'\) beneath it with \(a'\ge a\); if \(a'=a\), it must be trivially paired straight down. A negative ball labeled \(-a\) in row \(r'\) has either an empty spot below it or a ball \(a'\) beneath it with \(a'\le a\). Pairings in signed layers do not wrap around the cylinder; pairings in classic layers may wrap. The paper identifies this asymmetry as essential, since it is what produces the interpolation shift and the sign factors [2510.02587].

The local rules therefore combine two distinct mechanisms: the classical cylindrical queueing inherited from the Corteel–Mandelshtam–Williams multiline queue model, and a new signed-layer mechanism that enforces interpolation-specific admissibility constraints.

## 3. Weights and the role of signs

The weight of a signed multiline queue \(Q^\pm\) has two factors,
\[
\wt(Q^\pm)=\wt_{\mathrm{ball}}(Q^\pm)\,\wt_{\mathrm{pair}}(Q^\pm).
\]
The ball weight comes from occupied sites, and the pairing weight comes from nontrivial pairings [2510.02587].

For a signed row \(r'\), a positive ball in column \(i\) contributes \(x_i\). A negative ball in row \(r'\) contributes
\[
-\frac{q^{r-1}}{t^{n-1}}.
\]
Thus the sign is not an auxiliary decoration: it directly changes the monomial factor and inserts both a minus sign and a \(q\)- and \(t\)-shift depending on the row. For the whole queue,
\[
\wt_{\mathrm{ball}}(Q^\pm)=\prod_{r=1}^L \wt_{\mathrm{ball}}(r').
\]

The pairing weights distinguish classic and signed layers. In a classic layer, a nontrivial pairing has the same weight as in the Corteel–Mandelshtam–Williams model, with statistics \(\free(p)\) and \(\skipped(p)\), and with a \(q^{a-r+1}\) factor appearing exactly in the wrap-around case. In a signed layer, the weight is simpler:
\[
\wt_{\pair}(p)=
\begin{cases}
(1-t)t^{\skipped(p)+\emp(p)} & \text{if }p\text{ connects a positive ball to a regular ball},\\
-(1-t)t^{\skipped(p)+\emp(p)} & \text{if }p\text{ connects a negative ball to a regular ball}.
\end{cases}
\]
Here \(\emp(p)\) counts empty positions encountered in the relevant interval. The pairing weights depend only on the absolute values of labels, not on the signs, except for the overall sign in the negative case [2510.02587].

The paper gives a worked example of a signed multiline queue of type \((2,2,0,0,0,2,3,1)\), for which the total weight is
\[
-x_2^2x_5x_7\,\frac{q^5(1-t)^9}{t^{38}(1-qt^2)(1-qt^4)}.
\]
This example exhibits the characteristic mixture of monomial data, rational pairing factors, and sign contributions.

The signs are essential for three distinct reasons. They change the allowed configurations; they insert the interpolation shift through the factor \(-q^{r-1}/t^{n-1}\); and they produce the cancellation and inhomogeneity needed for interpolation Macdonald polynomials rather than homogeneous ones [2510.02587].

## 4. Generating functions and the main combinatorial formula

For a composition \(\mu\), the signed multiline queue generating function is
\[
F_\mu^*(x;q,t)=\sum_{Q^\pm\in \SMLQ(\mu)} \wt(Q^\pm).
\]
For a partition \(\lambda\), the signed combinatorial partition function is
\[
Z_\lambda^*(x;q,t)=\sum_{\mu\in S_n(\lambda)} F_\mu^*(x;q,t).
\]
The main theorem is
\[
f_\mu^*(x;q,t)=F_\mu^*(x;q,t)
\qquad\text{for every composition }\mu,
\]
and
\[
P_\lambda^*(x;q,t)=Z_\lambda^*(x;q,t)
\qquad\text{for every partition }\lambda.
\]
Thus the interpolation ASEP polynomial is the generating function of signed multiline queues of type \(\mu\), and the interpolation Macdonald polynomial is obtained by summing over all rearrangements of the parts of \(\lambda\) [2510.02587].

This is the direct signed analogue of the ordinary multiline queue formulas for \(f_\mu\) and \(P_\lambda\). The relation to the older theory is structural rather than merely terminological: if all balls are regular or positive, then the signed layer pairings become trivial, and the signed multiline queue reduces to an ordinary multiline queue. In that precise sense, the signed model generalizes the earlier homogeneous queue model.

The main theorem also shows that signed multiline queues are not merely an auxiliary bookkeeping device. They provide an exact positive-and-negative weighted combinatorial expansion of the interpolation objects themselves.

## 5. Recursive structure, signed two-line queues, and tableau reformulation

The proof proceeds by induction on the number of row pairs. For packed compositions \(\mu\) of type \((k,n)\), meaning
\[
\mu_i\neq 0\text{ for }i\le k,\qquad \mu_i=0\text{ for }i>k,
\]
the interpolation ASEP polynomial satisfies
\[
f_\mu^*(x_1,\dots,x_n) = \prod_{i=1}^k (x_i-t^{-n+1}) \sum_\nu a_\mu^\nu\, q^{|\nu^-|}\, f_{\nu^-}^*\!\left(\frac{x_1}{q},\dots,\frac{x_n}{q}\right).
\]
This is the interpolation analogue of the classical multiline queue recursion, but with the new factor \(\prod_{i=1}^k (x_i-t^{-n+1})\) and the \(q\)-rescaling [2510.02587].

To extend beyond packed compositions, the paper introduces coefficients \(b_\mu^\alpha\), supported only when \(\alpha\) is a signed permutation of \(\mu\), and then defines generalized signed two-line queues. If \(Q_0\) is such a two-line queue with bottom row \(\mu\) and top row a signed permutation \(\alpha\) of \(\mu\), its generating function is
\[
G_\mu^\alpha=\sum_{Q_0\in G_\mu^\alpha}\wt_{\pair}(Q_0).
\]
The key fact is that the \(G_\mu^\alpha\) satisfy exactly the same recursion as the \(b_\mu^\alpha\). A full signed multiline queue decomposes into the bottom signed two-line piece, a classical two-line piece, and an upper signed multiline queue with one fewer row pair; this matches the algebraic decomposition of \(f_\mu^*\) and completes the induction [2510.02587].

The same theory admits a tableau reformulation. A signed multiline queue \(Q^\pm\) is mapped to a signed queue tableau \(\phi\) by recording each strand as a column in a doubled diagram \(D_\lambda\). The tableau model involves a major index \(\maj(\phi)\), a coinversion count \(\coinv(\phi)\), a negative-cell count \(\negative(\phi)\), an \(\emp(\phi)\) statistic, and arm and leg statistics on unrestricted cells. The resulting formulas are
\[
f_\mu^*(x;q,t)=\sum_{\phi\in \mathcal T_\lambda^\mu}\wt(\phi)x^\phi,
\qquad
P_\lambda^*(x;q,t)=\sum_{\phi\in \mathcal T_\lambda}\wt(\phi)x^\phi.
\]
The paper further defines the integral form
\[
J_\lambda^*=\hook_\lambda P_\lambda^*,
\qquad
\hook_\lambda=\prod_{x\in D_\lambda^{\primed}}(1-q^{\leg(x)}t^{\arm(x)+1}),
\]
and derives integrality statements for the monomial expansion coefficients of \(J_\lambda^*\) and of \(\hook_\lambda f_\mu^*\). At \(q=1\), it proves the factorization
\[
P_\lambda^*(x_1,\dots,x_n;1,t) = \prod_{1\le i\le \lambda_1} e^*_{\lambda_i'}(x_1,\dots,x_n;t)
\]
using the same combinatorial machinery [2510.02587].

## 6. Relation to earlier multiline-queue models and terminological clarifications

The phrase *signed multiline queues* is easy to confuse with several older queue constructions. The literature represented in the cited works separates sharply into literal signed models and models that are weighted, linked, twisted, or only indirectly signed.

| Paper | Queue object | Sign status |
|---|---|---|
| [2510.02587] | signed multiline queues | literal signed balls and signed pairing weights |
| [1206.0316] | Ferrari–Martin multiline queues | positive monomial weights, no \(\pm1\) sign convention |
| [2304.13696] | linked multiline queues | \(q\)-weighted links, no signed queue model |
| [2401.17223] | Martin’s multiline queues | signed super fillings before compression, final queue model not signed |
| [1810.08157] | multiline queues with spectral parameters | monomial weights and alternating Möbius inversion, no signed MLQ model |
| [2410.21781] | twisted multiline queues | row-permuted fermionic or bosonic queues, not signed |

In "An Inhomogeneous Multispecies TASEP on a Ring" [1206.0316], the central objects are Ferrari–Martin multiline queues equipped with positive monomial weights and effective-rate arguments. The paper explicitly does not introduce a sign convention in the sense of \(\pm 1\) weights. Its closest analogue to a refined weighting is the conjectural stationary monomial
\[
w(\mathcal{Q}) = x_1^{V_1}x_2^{V_2}\cdots x_{n-2}^{V_{n-2}}
\prod_{1\le i<r\le n} \left(\frac{x_r}{x_i}\right)^{z_{r,i}(\mathcal{Q})},
\]
together with special cases such as the three-species weight \(w(\mathcal{Q})=x_1^{m_3-k}x_2^k\). These are weighted multiline queues, not signed ones.

In "Correlations in the multispecies PASEP on a ring" [2304.13696], the original Ferrari–Martin construction is replaced by linked multiline queues and a \(q\)-bully path algorithm. The new feature is that each admissible linking choice carries a \(q\)-dependent weight, and the total weight of all linked projections realizing a word gives its stationary probability. Again, the model is weighted rather than signed.

In "A compact formula for the symmetric Macdonald polynomials" [2401.17223], signs occur at the level of superized fillings, with a factor \((-1)^{m(\sigma)}\), but the final compact tableau formula and the alternative multiline queue formula for \(P_\lambda\) are not signed. The cancellations happen through compression and sorting, not through a separate signed multiline queue structure.

In "Multiline queues with spectral parameters" [1810.08157], the weight of a queue is \(\prod_{i\in q}x_i\), and the spectral weight is a positive generating function over multiline queues. The only sign phenomenon emphasized there is the alternating-sign Boolean Möbius inversion
\[
\sigma_S=\sum_{T\subseteq S}(-1)^{|S|-|T|}\psi(T),
\]
which is not an intrinsic signed MLQ model.

In "Twisted multiline queues for the steady states of TASEP and TAZRP" [2410.21781], twisted multiline queues are composition-shaped fermionic or bosonic multiline queues, with invariance under the symmetric group action generated by row swaps \(\sigma_i\). The twist is a row-order phenomenon, not a sign structure.

The literal notion of a signed multiline queue therefore belongs specifically to the interpolation Macdonald setting. A common misconception is to treat any weighted or refined multiline queue as “signed.” The papers above show that this is not the case: signs may appear in superization, in inclusion–exclusion, or in interpolation-specific local rules, but only [2510.02587] defines signed multiline queues as formal queue objects with signed balls, signed-layer constraints, and signed pairing weights.

Source: https://www.emergentmind.com/topics/signed-multiline-queues