Skip to main content

Interacting particle systems and Jacobi style identities

Abstract

We consider the family of nearest neighbour interacting particle systems on \(\mathbb {Z}\) allowing 0, 1 or 2 particles at a site. We parametrise a wide subfamily of processes exhibiting product blocking measure and show how this family can be “stood up” in the sense of Balázs and Bowen (Ann Inst H Poincaré Probab Stat 54(1):514–528, 2018). By comparing measures, we prove new three variable Jacobi style identities, related to counting certain generalised Frobenius partitions with a 2-repetition condition. By specialising to specific processes, we produce two variable identities that are shown to relate to Jacobi triple product and various other identities of combinatorial significance. The family of k-exclusion processes for arbitrary k are also considered and are shown to give similar Jacobi style identities relating to counting generalised Frobenius partitions with a k-repetition condition.

Introduction

The Jacobi triple product is a two variable identity relating an infinite sum with an infinite product:

$$\begin{aligned}\sum _{k\in \mathbb {Z}}q^{k^2}z^{k} = \prod _{i=1}^{\infty }(1-q^{2i})(1+q^{2i-1}z)(1+q^{2i-1}z^{-1}).\end{aligned}$$

It is a foundational identity that has many applications in combinatorics and number theory, e.g. the theory of partitions and the theory of modular forms (Jacobi forms).

While the Jacobi triple product is a classical identity and can be proved using elementary ad hoc methods, one finds that most modern proofs exhibit it as an equality of traces of operators acting on certain infinite-dimensional vector spaces. For example, algebraically it is well known that the identity manifests itself in the characters of certain infinite-dimensional representations of affine Lie algebras (e.g. it is the denominator identity for \(\mathfrak {sl}_2^{(1)}\)). In physics, it is well known as a consequence of the Boson–Fermion correspondence; both sides of the identity represent the same partition function, calculated in two ways by cataloguing fermionic and bosonic states by their energy and charge relative to a ground state (eigenvalues of operators acting on the two infinite-dimensional Fock spaces of states).

In [3], Balázs and Bowen found a probabilistic proof of the Jacobi Triple Product by interpreting it as an equality between the ASEP blocking measure (product Bernoulli) and the corresponding “stood up” AZRP measure (product geometric). The infinite sum arises via normalisation of the ASEP measure. The \(\text {ASEP}\)-\(\text {AZRP}\) correspondence can be seen as the probabilistic analogue of the Boson–Fermion correspondence (with the conserved quantity of a state relative to the zero site being the analogue of charge relative to a ground state).

The advantage of the algebraic/physical interpretations of the identity is that they can be vastly generalised, e.g. by considering other representations, other Lie algebras, other Fock spaces. Each approach provides more Jacobi style identities, e.g. the Macdonald identities and the the Rogers–Ramanujan identities. These lead to other interesting connections with partitions and modular forms. Given this, it is natural to ask which other interacting particle systems provide Jacobi style identities.

Of course not all processes will work, there are restrictions. For example, in order to get Jacobi style identities it seems necessary to find processes on \(\mathbb {Z}\) that can be stood up and have interesting blocking measures (product or near product). The only such example for 0-1 processes is ASEP (as seen in [3]).

In this paper, we parametrise a family of (non-degenerate) 0-1-2 systems on \(\mathbb {Z}\) with product blocking measure, purely in terms of conditions on the rates. We then show that they are a valid family to consider in the above sense, giving precise details of stationary blocking measures and stood up processes. The corresponding measures then depend on three parameters \(\tilde{q},t\) and c, and viewing these as variable over the family we prove the following three variable Jacobi style identities (letting \(z = \tilde{q}^{-c}\)):

Theorem 1.1

For \(0<\tilde{q}<1\), \(t\ge 1\) and \(z> 0\)

$$\begin{aligned} 2\sum _{\ell \in \mathbb {Z}} S_{\text {even}}(\tilde{q},t) \tilde{q}^{\ell (\ell +1)} z^{2\ell }&= \prod _{i\ge 1}(1+tz\tilde{q}^i+z^2\tilde{q}^{2i})(1+tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}) \\&\quad + \prod _{i\ge 1}(1-tz\tilde{q}^i+z^2\tilde{q}^{2i})(1-tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}) \\ 2t\sum _{\ell \in \mathbb {Z}} S_{\text {odd}}(\tilde{q},t) \tilde{q}^{(\ell +1)^2} z^{2\ell +1}&= \prod _{i\ge 1}(1+tz\tilde{q}^i+z^2\tilde{q}^{2i})(1+tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}) \\&\quad - \prod _{i\ge 1}(1-tz\tilde{q}^i+z^2\tilde{q}^{2i})(1-tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}), \end{aligned}$$

The functions \(S_{\text {even}}(\tilde{q},t)\) and \(S_{\text {odd}}(\tilde{q},t)\) are normalising factors for measures on the two irreducible components of the stood up process:

$$\begin{aligned} S_{\text {even}}(\tilde{q},t)&= \sum \limits _{\underline{\omega }\in \mathcal {H}^e}\tilde{q}^{\sum \limits _{\text { }i \text { odd}}i\omega _{-i}+\sum \limits _{i \text { even}} i(\omega _{-i}-1)}t^{2\left( \sum \limits _{i \text { odd}}\mathbb {I}\{\omega _{-i}\ge 1\}-\sum \limits _{i \text { even}}\mathbb {I}\{\omega _{-i}=0 \}\right) }, \\ S_{\text {odd}}(\tilde{q},t)&= \sum \limits _{\underline{\omega }\in \mathcal {H}^o}\tilde{q}^{\sum \limits _{\text { }i \text { even}}i\omega _{-i}+\sum \limits _{i \text { odd}} i(\omega _{-i}-1)}t^{2\left( \sum \limits _{i \text { even}}\mathbb {I}\{\omega _{-i}\ge 1\}-\sum \limits _{i \text { odd}}\mathbb {I}\{\omega _{-i}=0 \}\right) } \end{aligned}$$

Here the state space \(\mathcal {H}^e\) is the set of sequences \((\omega _{-i})_{i\ge 1}\) of non-negative integers with no two consecutive zeroes and agreeing with the sequence \((0,1,0,1,\ldots ,)\) far enough to the right. The state space \(\mathcal {H}^o\) is similar but agrees with \((1,0,1,0,\ldots )\) for enough to the right.

The normalising factors \(S_{\text {even}}(\tilde{q},t)\) and \(S_{\text {odd}}(\tilde{q},t)\) as written above might look unappealing (even though they do count explicit combinatorial objects). The form presented here has direct motivation from the standing up procedure of the 0-1-2 state particle systems. In its proof, we demonstrate how this form came to life via such probabilistic ideas. We thank an anonymous referee for pointing out that a purely combinatorial proof is also possible, without the use of probability. We thought it is worth seeing the probability connection while proving Theorem 1.1, hence opted to keep our original argument.

We also thank the anonymous referee for the challenge of finding natural alternative forms for \(S_{\text {even}}\) and \(S_{\text {odd}}\). We spent considerable effort finding a closed form of these expressions. While we were not successful, an alternative probabilistic interpretation, giving rather different but still not closed formulas, is subject of a forthcoming paper. Nevertheless, numerical computation to high accuracy has led us to conjecture the following equalities:

Conjecture 1.2

$$\begin{aligned} S_{\text {even}}(\tilde{q},t)&= \frac{1}{\prod _{m\ge 1}(1-\tilde{q}^{2m})} + \frac{\sum _{i\ge 1}\sum _{n\ge i}(-1)^{n-i}\left( {\begin{array}{c}n+i-1\\ 2i-1\end{array}}\right) \frac{n}{i}\tilde{q}^{n^2}t^{2i}}{\prod _{m\ge 1}(1-\tilde{q}^m)^2}\\ \\ S_{\text {odd}}(\tilde{q},t)&= \frac{\prod _{m\ge 1}(1-\tilde{q}^{2m})^3}{\prod _{m\ge 1}(1-\tilde{q}^m)^2} + \frac{\sum _{i\ge 1}\sum _{n\ge i}(-1)^{n-i}\left( {\begin{array}{c}n+i\\ 2i\end{array}}\right) \frac{2n+1}{2i+1}\tilde{q}^{n(n+1)}t^{2i}}{\prod _{m\ge 1}(1-\tilde{q}^m)^2}. \end{aligned}$$

The identities in Theorem 1.1 are shown to have combinatorial significance. By adapting the “General Principle” found in Andrews’ book ( [1]), we find that the RHS of these identities relate to generating functions for generalised Frobenius partitions (GFP’s) satisfying a 2-repetition condition on the rows and a condition on the number of non-repeated entries. The content of these identities is then that the normalising factors \(S_{\text {even}}(\tilde{q},t)\) and \(S_{\text {odd}}(\tilde{q},t)\) are really formal generating functions for such GFP’s. This is not clear from their explicit definitions, and we explain this in detail in Sect. 3.3.

In Sect. 4, we specialise to specific 0-1-2 systems and recover various two variable identities, also of combinatorial significance. The ASEP(q, 1) process of Redig et al. (found in [4]) is an extension of classical ASEP to allow two particles. It gives identities relating directly to Jacobi triple product. A (3-state) asymmetric particle-antiparticle exclusion process is considered and gives identities relating directly to the square of Jacobi triple product (which is also seen to have a combinatorial interpretation in terms of 2-coloured GFP’s). The 2-exclusion process gives identities relating to GFP’s with only a 2-repetition condition on the rows.

Finally, in Sect. 5 we generalise the last example to the entire family of k-exclusion processes on \(\mathbb {Z}\). These are not 0-1-2 systems and so we have to adapt our techniques further. However, they are sufficiently nicely behaved to allow product blocking measure and have stood up processes, which we describe in detail. The identities we recover are as follows.

Theorem 1.3

For \(0<q<1\), \(z\ne 0\) and \(m\in \{0,1,\ldots ,k-1\}\)

$$\begin{aligned}&k\sum \limits _{\ell \in \mathbb {Z}}S_{-m}^{(k)}(q) q^{\frac{k\ell (\ell +1)}{2}-m\ell }z^{k\ell -m}\\&\quad =\sum _{r=0}^{k-1}\zeta _k^{-rm}\left( \prod _{i\ge 1}\left( \sum _{\alpha =0}^k \zeta _k^{-\alpha r}q^{\alpha i}z^{\alpha }\right) \left( \sum _{\alpha =0}^k \zeta _k^{\alpha r}q^{\alpha (i-1)}z^{-\alpha }\right) \right) .\end{aligned}$$

The functions \(S^{(k)}_{-m}(q)\) for \(m\in \{0,1,\ldots ,k-1\}\) are normalising factors for measures on the k irreducible components of the stood up process:

$$\begin{aligned}S_{-m}^{(k)}(q)=\sum \limits _{\underline{\omega }\in \mathcal {H}^{-m}}q^{\sum \limits _{i \notin k \mathbb {Z}+m}i\omega _{-i}+\sum \limits _{i \in k \mathbb {Z}+m}i(\omega _{-i}-1)}.\end{aligned}$$

Here the state space \(\mathcal {H}^{-m}\) is the set of sequences \((\omega _{-i})_{i\ge 1}\) of non-negative integers that have no k consecutive zeroes and satisfy \(\omega _{-i} = \mathbb {I}\{i\equiv m \bmod k\}\) for large enough i (in analogy with \(\mathcal {H}^e\) and \(\mathcal {H}^o\)). The “General Principle” once again explains the combinatorial nature of these identities. The content is that the normalising factors \(S_{-m}^{(k)}(q)\) are formal generating functions for GFP’s with k-repetition condition in the rows (functions studied in detail in Andrews’ book [1]).

Throughout the paper, we discuss all of the above in both probabilistic and combinatorial detail, giving full justification where possible and otherwise outlining the mysteries implied by one approach to the other.

Interacting particle systems with product blocking measure

We recall the family of particle systems with product blocking measure introduced by Balázs and Bowen in [3]. For possibly infinite integers, \(-\infty \le \ell \le 0\le \mathfrak {r}\le \infty \), we define \(\Lambda :=\{i : \ell -1<i<\mathfrak {r}+1\} \subseteq \mathbb {Z}\), and for two other possibly infinite integers \(-\infty \le \omega ^\text {min} \le 0 < \omega ^\text {max}\le \infty \), we define \(I:=\{z:\omega ^\text {min}-1<z<\omega ^\text {max}+1\}\subseteq \mathbb {Z}\). We consider interacting particle systems on the state space \(\Omega =\{\underline{\eta } \in I^\Lambda : (\ell >-\infty \text { or } N_{p}(\underline{\eta })< \infty )\text { and }(\mathfrak {r}<\infty \text { or } N_h(\underline{\eta })<\infty )\}\), where \(N_p,N_h:I^\Lambda \rightarrow \mathbb {Z}_{\ge 0}\cup \{\infty \}\) are defined by

$$\begin{aligned} N_p(\underline{\eta })= \sum \limits _{i=\ell }^0 (\eta _i-\omega ^\text {min}) \text { and } N_h(\underline{\eta })=\sum \limits _{i=1}^\mathfrak {r}(\omega ^\text {max}-\eta _i) \end{aligned}$$

(when \(\omega ^\text {min}=0\) and \(\omega ^{\text {max}}<\infty \) this is just the number of particles to the left and holes to right of \(\frac{1}{2}\)). Given a state \(\underline{\eta }\in \Omega \), the state \(\underline{\eta }^{(i,j)}\in \Omega \) obtained by a particle jumping from site i to j is given by

$$\begin{aligned} \left( \underline{\eta }^{(i,j)}\right) _k={\left\{ \begin{array}{ll} \eta _k &{}\text {if } k \ne i,j,\\ \eta _i-1 &{}\text {if } k=i, \\ \eta _j+1 &{}\text {if }k=j. \end{array}\right. } \end{aligned}$$

We will only consider processes with nearest neighbour interactions, i.e. the only states we can reach from \(\underline{\eta }\) are \(\underline{\eta }^{(i,i+1)}\) or \(\underline{\eta }^{(i+1,i)}\). The system then evolves according to Markov generators; in the ‘bulk’, i.e. \(\ell \le i\le \mathfrak {r}-1\) the generator has the form

$$\begin{aligned} \left( L^\text {bulk}\varphi \right) (\underline{\eta })= \sum \limits _{i=\ell }^{\mathfrak {r}-1}\left\{ p(\eta _i,\eta _{i+1}) \left( \varphi (\underline{\eta }^{(i,i+1)})-\varphi (\underline{\eta })\right) +q(\eta _i,\eta _{i+1}) \left( \varphi (\underline{\eta }^{(i+1,i)})-\varphi (\underline{\eta })\right) \right\} \end{aligned}$$

for some cylinder function \(\varphi :\Omega \rightarrow \mathbb {R}\) and functions \(p,q:I^2\rightarrow [0,\infty )\) (the right and left jump rates, respectively). If \(\ell >-\infty \), we consider an open left boundary with boundary jump rates \(p_\ell ,q_\ell :I \rightarrow [0,\infty )\). We introduce the notation \(\underline{\eta }^{(\ell -1,\ell )}\) to denote the state reached from \(\underline{\eta }\) by a particle entering the system through the left boundary and similarly \(\underline{\eta }^{(\ell ,\ell -1)}\) to be the state where a particle has left through the boundary. So the left boundary generator is of the form

$$\begin{aligned} \left( L^\ell \varphi \right) (\underline{\eta })=p_\ell (\eta _\ell )\left( \varphi (\underline{\eta }^{(\ell -1,\ell )})-\varphi (\underline{\eta })\right) +q_\ell (\eta _\ell )\left( \varphi (\underline{\eta }^{(\ell ,\ell -1)})-\varphi (\underline{\eta })\right) . \end{aligned}$$

Similarly if \(\mathfrak {r}<\infty \), we consider an open right boundary with boundary jump rates \(p_\mathfrak {r}, q_\mathfrak {r}:I \rightarrow [0,\infty )\). We let \(\underline{\eta }^{(\mathfrak {r}+1,\mathfrak {r})}\) denote the state reached from \(\underline{\eta }\) when a particle enters the system through the right boundary and similarly \(\underline{\eta }^{(\mathfrak {r},\mathfrak {r}+1)}\) the state where a particle has left through the boundary. So the right boundary generator is of the form

$$\begin{aligned} \left( L^\mathfrak {r} \varphi \right) (\underline{\eta })=p_\mathfrak {r}(\eta _\mathfrak {r})\left( \varphi (\underline{\eta }^{(\mathfrak {r},\mathfrak {r}+1)})-\varphi (\underline{\eta })\right) +q_\mathfrak {r}(\eta _\mathfrak {r})\left( \varphi (\underline{\eta }^{(\mathfrak {r}+1,\mathfrak {r})})-\varphi (\underline{\eta })\right) . \end{aligned}$$

In order to be a member of the blocking family, the jump rates of the system must obey the following conditions:

  1. (B1)

    For \(-\infty<\omega ^{\text {min}}< \omega ^{\text {max}}<\infty \) we have that

    $$\begin{aligned} p(\omega ^{\text {min}}, \cdot )=p(\cdot , \omega ^{\text {max}})=q(\omega ^{\text {max}}, \cdot )=q(\cdot , \omega ^{\text {min}})=0. \end{aligned}$$

    If \(\ell >-\infty \),

    $$\begin{aligned} q_\ell (\omega ^\text {min})=p_\ell (\omega ^\text {max})=0 \end{aligned}$$

    and if \(\mathfrak {r}<\infty \),

    $$\begin{aligned} q_\mathfrak {r}(\omega ^\text {max})=p_\mathfrak {r}(\omega ^\text {min})=0. \end{aligned}$$
  2. (B2)

    The system is attractive, that is, \(p(\cdot ,\cdot )\) is non-decreasing in the first variable and non-increasing in the second whilst \(q(\cdot ,\cdot )\) is non-increasing in the first variable and non-decreasing in the second. If \(\ell >-\infty \), \(p_\ell \) is non-increasing and \(q_\ell \) non-decreasing. If \(\mathfrak {r}<\infty \), \(p_\mathfrak {r}\) is non-decreasing and \(q_\mathfrak {r}\) non-increasing.

  3. (B3)

    There exist \(p_{\text {asym}},q_{\text {asym}}\in \mathbb {R}\) satisfying \(\frac{1}{2}<p_{\text {asym}}=1-q_{\text {asym}} \le 1\), and functions \(f: I \rightarrow [0,\infty )\) and \(s: I \times I \rightarrow [0,\infty )\) such that

    $$\begin{aligned} p(y,z)=p_{\text {asym}}\cdot s(y,z+1)\cdot f(y) \text { and } q(y,z)=q_{\text {asym}}\cdot s(y+1,z)\cdot f(z). \end{aligned}$$

    If \(\omega ^\text {min}\) is finite, then \(f(\omega ^\text {min})=0\), and if \(\omega ^\text {max}\) is finite, we extend the domain of s and require that \(s(\omega ^\text {max}+1,\cdot )=s(\cdot ,\omega ^\text {max}+1)=0\). (Note that attractivity implies that s is non-increasing in both of its variables and f is non-decreasing).

A priori the above definition allows many of the rates to be zero. However, in this paper we will assume that all rates, except those in (B1), are non-zero. Roughly speaking this allows us to ignore degenerate processes and assume that \(f(z)>0\) if \(z>\omega ^{\text {min}}\) (which we will do from now on).

In general, there are many stationary distributions for systems satisfying the above. In this paper, we will be interested in the following one-parameter family of product stationary blocking measures, written explicitly in terms of \(p_\text {asym}\), \(q_\text {asym}\) and f.

Theorem 2.1

([3], Theorem 3.1)

For each \(c\in \mathbb {R}\), there is a product stationary blocking measure \(\underline{\mu }^c\) on \(\Omega \), given by the marginals

$$\begin{aligned} \mu _i^c(z)=\frac{1}{Z_i^c}\frac{\left( \frac{p_\text {asym}}{q_\text {asym}}\right) ^{(i-c)z}}{f(z)!} \text { for } i\in \Lambda \text { and } z \in I, \end{aligned}$$

where \(Z_i^c\) is the normalising factor and \(f(z)!:={\left\{ \begin{array}{ll} \prod \limits _{y=1}^zf(y) &{}\text {for } z>0 \\ 1 &{}\text {for } z=0 \\ \frac{1}{\prod \limits _{y=z+1}^{0}f(y)} &{}\text {for } z<0. \end{array}\right. }\)

Remark

It is clear that if f and s satisfy (B3), then so do \(\alpha f\) and \(\alpha ^{-1} s\) for any \(\alpha >0\). This scaling simply shifts the value of c in the blocking measure

$$\begin{aligned} \mu _i^c(z)=\frac{1}{Z_i}\frac{\left( \frac{p_\text {asym}}{q_\text {asym}}\right) ^{(i-c)z}}{\alpha ^zf(z)!}=\frac{1}{Z_i}\frac{\left( \frac{p_\text {asym}}{q_\text {asym}}\right) ^{(i-\tilde{c})z}}{f(z)!}=\mu _i^{\tilde{c}}(z). \end{aligned}$$

So without loss of generality we can assume that \(\prod \limits _{y=\omega ^\text {min}+1}^{\omega ^\text {max}}f(y)=1\) when \(\omega ^{\text {min}}\) and \(\omega ^{\text {max}}\) are finite.

As expected, being a member of the blocking family imposes strict constraints on the jump rates. In particular, for each \(y,z \in I \setminus \{\omega ^\text {min}\}\) we can use (B3) to write

$$\begin{aligned} \frac{f(z)}{f(y)}=\frac{p_\text {asym}}{q_\text {asym}}\frac{q(y-1,z)}{p(y,z-1)}. \end{aligned}$$

Setting \(y=z\) and recalling that \(p_{\text {asym}} = 1- q_{\text {asym}}\) gives

$$\begin{aligned} p_\text {asym}=\frac{p(y,y-1)}{q(y-1,y)+p(y,y-1)} \text {and} q_\text {asym}=\frac{q(y-1,y)}{q(y-1,y)+p(y,y-1)}. \end{aligned}$$

Note that \(p_{\text {asym}}>q_{\text {asym}}\) implies that \(p(y,y-1)>q(y-1,y)\) for all \(y \in I\setminus \{\omega ^\text {min}\}\). This, along with (B2), shows the condition

$$\begin{aligned} (\text {a})\quad p(y,z)>q(z,y) \text {for all } y\in I\setminus \{\omega ^{\text {min}}\} \text { and } z\in I\setminus \{\omega ^{\text {max}}\} \end{aligned}$$

(i.e. the process is asymmetric with right drift).

Also by assumption \(\frac{1}{2} < p_{\text {asym}}\) is a constant (as is \(q_{\text {asym}}<\frac{1}{2}\)) and so we must have the condition that

$$\begin{aligned} (\text {b})\quad \frac{p(y,y-1)}{q(y-1,y)}=\text {constant}>1 \text {for all } y \in I\setminus \{\omega ^\text {min}\}. \end{aligned}$$

We then see that for \(y,z\in I\setminus \{\omega ^{\text {min}}\}\)

$$\begin{aligned} \frac{f(z)}{f(y)}=\frac{p(z,z-1)}{q(z-1,z)}\frac{q(y-1,z)}{p(y,z-1)}. \end{aligned}$$

Since \(\frac{f(y)}{f(z)}\cdot \frac{f(z)}{f(y)} = 1\), this gives the condition

$$\begin{aligned} (\text {c})\quad \frac{p(z,z-1)p(y,y-1)q(y-1,z)q(z-1,y)}{q(z-1,z)q(y-1,y)p(y,z-1)p(z,y-1)}=1 \text {for all } y,z\in I\setminus \{\omega ^{\text {min}}\}. \end{aligned}$$

It is then clear that the function s is uniquely determined as follows, for \(y,z \in I\setminus \{\omega ^\text {min}\}\)

$$\begin{aligned} s(y,z)=\frac{p(y,z-1)\left( q(y-1,y)+p(y,y-1)\right) }{f(y)p(y,y-1)}=\frac{q(y-1,z)\left( q(y-1,y)+p(y,y-1)\right) }{f(z)q(y-1,y)}. \end{aligned}$$

To summarise, conditions (a), (b) and (c) are necessary conditions on the rates that are implied by being a member of the blocking family. However, in general a process with rates only satisfying (B1), (B2) and these three conditions is not expected to be a member of the blocking family (the quantities \(p_{\text {asym}}\) and \(q_{\text {asym}}\) as written above are well defined and satisfy \(\frac{1}{2}<p_{\text {asym}}=1-q_{\text {asym}} \le 1\), but it is not clear that the functions f and s should exist purely from these conditions).

General 0-1-2 systems on \(\mathbb {Z}\) with blocking measure

For the choices \(I = \{0,1\} \text { and }\Lambda ={\mathbb {Z}}\), the only member of the blocking family is ASEP, handled in [3]. In this section, we will consider the case of \(I= \{0,1,2\} \text { and } \Lambda =\mathbb {Z}\). In this case, the conditions (B1), (B2), (B3) translate into the following conditions on the rates (using the assumptions and discussions in Sect. 2):

  1. (B1)
    $$\begin{aligned} p(0, \cdot )=p(\cdot , 2)=q(2, \cdot )=q(\cdot , 0)=0, \end{aligned}$$
  2. (B2)
    $$\begin{aligned} p(2,\cdot )&\ge p(1,\cdot )> 0,\\ p(\cdot ,0)&\ge p(\cdot ,1)> 0,\\ q(0,\cdot )&\ge q(1,\cdot )> 0,\\ q(\cdot ,2)&\ge q(\cdot ,1) > 0, \end{aligned}$$
  3. (B3)

    For all \(y,z\in \{0,1,2\}\), we have

    $$\begin{aligned} p(y,z)=p_{\text {asym}}\cdot s(y,z+1)\cdot f(y) \text { and } q(y,z)=q_{\text {asym}}\cdot s(y+1,z)\cdot f(z) \end{aligned}$$

    with \(p_{\text {asym}},q_{\text {asym}}\) given by

    $$\begin{aligned} p_\text {asym}=\frac{p(1,0)}{q(0,1)+p(1,0)} >\frac{1}{2} q_\text {asym}=\frac{q(0,1)}{q(0,1)+p(1,0)}< \frac{1}{2} \end{aligned}$$

    and fs given by

    $$\begin{aligned} f(z):= {\left\{ \begin{array}{ll} 0 \text {if } z=0, \\ \\ t^{-1} \text {if } z=1, \\ \\ t \text {if } z=2, \end{array}\right. } \qquad s(y,z):= {\left\{ \begin{array}{ll} t\left( q(0,1)+p(1,0)\right) &{}\text {if } y=z=1, \\ \\ \frac{tp(1,1)\left( q(0,1)+p(1,0)\right) }{p(1,0)}&{}\text {if } y=1 \text { and } z=2, \\ \\ \frac{p(2,0)\left( q(0,1)+p(1,0)\right) }{p(1,0)t} &{}\text {if } y=2 \text { and } z=1, \\ \\ \frac{p(2,1)\left( q(0,1)+p(1,0)\right) }{p(1,0)t} &{}\text {if } y=z=2, \\ \\ 0 &{}\text {if } y=3 \text { or } z=3, \end{array}\right. } \end{aligned}$$

    for some \(t\ge 1\) (recall that we can assume \(f(1)f(2)=1\) without loss of generality).

Remark

Note that since \(\frac{f(2)}{f(1)} = t^2 = \frac{p(1,0)q(0,2)}{q(0,1)p(1,1)}\), we see that \(t=\left( \frac{p(1,0)q(0,2)}{q(0,1)p(1,1)}\right) ^{\frac{1}{2}}\ge 1\) is uniquely determined.

As previously mentioned, (B1), (B2) and (B3) imply the following necessary conditions for the rates:

  1. (a)

    \(p(y,z)>q(z,y)\) for all \(y\in \{1,2\}\) and \(z\in \{0,1\},\)

  2. (b)

    \(\frac{p(1,0)}{q(0,1)}=\frac{p(2,1)}{q(1,2)},\)

  3. (c)

    \(\frac{p(1,0)p(2,1)q(1,1)q(0,2)}{q(0,1)q(1,2)p(2,0)p(1,1)}=1.\)

Unlike the general case, these conditions are now also sufficient, in the sense that any process with \(I = \{0,1,2\}\) and \(\Lambda =\mathbb {Z}\) satisfying (B1), (B2) and conditions (a), (b) and (c) will automatically satisfy (B3) with \(p_{\text {asym}},q_{\text {asym}},f\) and s as given above (all well defined). Thus, we have fully parametrised the family of such blocking processes using only conditions on the rates.

By Theorem 2.1, for each such process there is a one parameter family of product stationary blocking measures \(\underline{\mu }^c\) given by the marginals

$$\begin{aligned} \mu _i^c(z)=\frac{t^{\mathbb {I}\{z=1\}}\tilde{q}^{-(i-c)z}}{Z_i^c(\tilde{q},t)} \text {for } z\in \{0,1,2\}. \end{aligned}$$

Here \(0<\tilde{q}=\frac{q_\text {asym}}{p_\text {asym}}=\frac{q(0,1)}{p(1,0)}<1\) and \(Z_i^c(\tilde{q},t):=1+t\tilde{q}^{-(i-c)}+\tilde{q}^{-2(i-c)}\) (the normalising factor).

Explicitly:

$$\begin{aligned} \underline{\mu }^c(\underline{\eta })=\prod \limits _{i=-\infty }^\infty \mu _i^c(\eta _i)=\prod \limits _{i=-\infty }^0 \frac{ t^{\mathbb {I}\{\eta _i=1\}}\tilde{q}^{-(i-c)\eta _i}}{Z_i^c(\tilde{q},t)}\prod \limits _{i=1}^\infty \frac{ t^{\mathbb {I}\{\eta _i=1\}}\tilde{q}^{(2-\eta _i)(i-c)}}{\tilde{q}^{2(i-c)}Z_i^c(\tilde{q},t)}. \end{aligned}$$

Remark

Note that these measures only depend on the parameter c and the quantities \(\tilde{q},t\) attached to the process. Roughly speaking this will be the reason for getting a three variable identity later; as we run through the whole family of such processes, these parameters will be variables. Specialising to particular subfamilies of processes, for example, fixing t or letting t and \(\tilde{q}\) be related will give two variable identities (c will still be a variable as will \(\tilde{q}\), since the rates will typically depend on an asymmetry parameter \(0<q<1\)).

By definition of the state space, each \(\underline{\eta }\in \Omega \) has \(\eta _i=0\) for all i small enough and \(\eta _i=2\) for all i big enough. We refer to these events as having a left most particle (LMP) and right most hole (RMH). By asymmetry, it then follows that the ground states of \(\Omega \) (i.e. the most probable states) are all shifts of the following “even” and “odd” ground states (as in Fig. 1):

$$\begin{aligned} \eta ^e_i= {\left\{ \begin{array}{ll} 2 &{}\text { if } i\ge 1, \\ 0 &{}\text {otherwise}, \end{array}\right. }&\qquad \eta ^o_i= {\left\{ \begin{array}{ll} 2 &{}\text { if } i\ge 1, \\ 1 &{}\text { if } i=0,\\ 0 &{}\text {otherwise.} \end{array}\right. } \end{aligned}$$
Fig. 1
figure 1

Two ground states, \(\underline{\eta }^e\) and \(\underline{\eta }^o\), of \(\Omega \)

Fig. 2
figure 2

An example of standing up

Fig. 3
figure 3

“Even” and “odd” states \(\underline{\omega }^e\) and \(\underline{\omega }^o\)

The reason for the terms “odd” and “even” will become clear in the next section.

Ergodic decomposition of \(\Omega \)

For any \(\underline{\eta }\in \Omega \), the quantity \(N(\underline{\eta }):=\sum \nolimits _{i=1}^\infty (2-\eta _i)-\sum \nolimits _{i=-\infty }^0 \eta _i\) (as defined in [3]) is finite and is conserved by the dynamics of the process. So we can decompose \(\Omega =\bigcup _{n \in \mathbb {Z}}\Omega ^n\), into irreducible components \(\Omega ^n:=\{\underline{\eta } \in \Omega : N(\underline{\eta })=n\}\). Note that the left shift operator \(\tau \), defined by \((\tau \underline{\eta })_i=\eta _{i+1}\), gives a bijection \(\Omega ^n \xrightarrow []{\tau } \Omega ^{n-2}\) (i.e. if \(\underline{\eta } \in \Omega ^n\), then \(N(\tau \underline{\eta })=n-2\)).

Remark

Since \(N(\underline{\eta }^e)=0\), the shifts of \(\underline{\eta }^e\) have even conserved quantity and give the ground states for the “even” part \(\bigcup _{n\in 2\mathbb {Z}}\Omega ^n\) of \(\Omega \). Similarly, \(N(\underline{\eta }^o)=-1\) and shifts provide the ground states for the “odd” part \(\bigcup _{n\in 2\mathbb {Z}+1}\Omega ^n\). This explains the labels \(\underline{\eta ^e}\) and \(\underline{\eta ^o}\).

We now calculate \(\underline{\nu }^{n,c}(\cdot ):=\underline{\mu }^c(\cdot |N(\cdot )=n)\), the unique stationary distribution on \(\Omega ^n\).

Lemma 3.1

The following relation holds

$$\begin{aligned} \underline{\mu }^c(\tau \underline{\eta })=\tilde{q}^{2c-N(\underline{\eta })}\underline{\mu }^c( \underline{\eta }). \end{aligned}$$

This gives the recursion

$$\begin{aligned} \underline{\mu }^c(\{N=n\})=\tilde{q}^{n-2c}\underline{\mu }^c(\{N=n-2\}). \end{aligned}$$

Proof

(These are special cases of Lemma 6.1 and Corollary 6.2 in [3].)

$$\begin{aligned} \underline{\mu }^c(\tau \underline{\eta })&=\prod \limits _{i=-\infty }^0\frac{ t^{\mathbb {I}\{\eta _{i+1}=1\}}\tilde{q}^{-(i-c)\eta _{i+1}}}{Z_i^c(\tilde{q},t)}\prod \limits _{i=1}^\infty \frac{ t^{\mathbb {I}\{\eta _{i+1}=1\}}\tilde{q}^{(2-\eta _{i+1})(i-c)}}{\tilde{q}^{2(i-c)}Z_i^c(\tilde{q},t)}\\&=\tilde{q}^{2c}\frac{\prod \limits _{j=-\infty }^0 t^{\mathbb {I}\{\eta _j=1\}}\tilde{q}^{-(j-1-c)\eta _j}}{\prod \limits _{i=-\infty }^0Z_i^c(\tilde{q},t)}\frac{\prod \limits _{j=1}^\infty t^{\mathbb {I}\{\eta _j=1\}}\tilde{q}^{(2-\eta _j)(j-1-c)}}{\prod \limits _{i=1}^\infty \tilde{q}^{2(i-c)}Z_i^c(\tilde{q},t)}\\&=\tilde{q}^{2c+\sum \limits _{j=-\infty }^0\eta _j-\sum \limits _{j=1}^\infty (2-\eta _j)}\frac{\prod \limits _{j=-\infty }^0 t^{\mathbb {I}\{\eta _j=1\}}\tilde{q}^{-(j-c)\eta _j}}{\prod \limits _{i=-\infty }^0Z_i^c(\tilde{q},t)}\frac{\prod \limits _{j=1}^\infty t^{\mathbb {I}\{\eta _j=1\}}\tilde{q}^{(2-\eta _j)(j-c)}}{\prod \limits _{i=1}^\infty \tilde{q}^{2(i-c)}Z_i^c(\tilde{q},t)}\\&= \tilde{q}^{2c-N(\underline{\eta })}\underline{\mu }^c( \underline{\eta }). \end{aligned}$$

Since \(N(\tau \underline{\eta })=N(\underline{\eta })-2\), we have that

$$\begin{aligned} \underline{\mu }^c(\{N=n-2\})&= \sum _{\underline{\eta }:N(\underline{\eta })=n-2}\underline{\mu }^c(\underline{\eta }) \\&= \sum _{\hat{\underline{\eta }}:N(\tau \hat{\underline{\eta }})=n-2}\underline{\mu }^c(\tau \hat{\underline{\eta }})\\&=\sum _{\hat{\underline{\eta }}:N(\hat{\underline{\eta }})=n}\tilde{q}^{2c -N(\hat{\underline{\eta }})}\underline{\mu }^c(\hat{\underline{\eta }})\\&= \tilde{q}^{2c-n}\underline{\mu }^c(\{N=n\}). \end{aligned}$$

\(\square \)

The general solution to the recursion above is

$$\begin{aligned} \underline{\mu }^c(\{N=n\})={\left\{ \begin{array}{ll} \tilde{q}^{\frac{n(n+2)}{4}-nc}\underline{\mu }^c(\{N=0\}) &{}\text { if } n \in 2\mathbb {Z},\\ \tilde{q}^{\frac{(n+1)^2}{4}-(n+1)c}\underline{\mu }^c(\{N=-1\}) &{}\text { if } n \in 2\mathbb {Z}+1. \end{array}\right. } \end{aligned}$$

Since there is a dependence on parity, we will need to calculate the probability \(\underline{\mu }^c(\{N(\underline{\eta }) \in 2 \mathbb {Z}+1\})\) in order to finish our calculation of \(\underline{\nu }^{n,c}\).

Lemma 3.2

$$\begin{aligned} \underline{\mu }^c(\{N(\underline{\eta }) \in 2\mathbb {Z}+1\})=\frac{1-\prod \limits _{i=-\infty }^\infty \left( 1-2\mu _i^c(1)\right) }{2}. \end{aligned}$$

Proof

(We adapt the proof of [5], Proposition 1).

Define the partial conserved quantity

$$\begin{aligned} N_a(\underline{\eta })=\sum \limits _{i=1}^a(2-\eta _i)-\sum \limits _{i=-a}^0\eta _i \text {for } a\ge 1 \end{aligned}$$

and note that \(N_a(\underline{\eta })\rightarrow N(\underline{\eta })\) as \(a \rightarrow \infty \). For each \(a\ge 1\), we define the random variables

$$\begin{aligned} Y_a:=(-1)^{\sum \limits _{i=-a}^a \eta _i}=(-1)^{N_a(\underline{\eta })}. \end{aligned}$$

Since \(\eta _i \rightarrow 0\) as \(i\rightarrow -\infty \) and \(\eta _i \rightarrow 2\) as \(i\rightarrow \infty \), we have that \(Y_a\rightarrow Y\) as \(a \rightarrow \infty \), where

$$\begin{aligned} Y:=(-1)^{N(\underline{\eta })}={\left\{ \begin{array}{ll} 1 \text {if } N(\underline{\eta }) \text { is even},\\ -1 \text {if } N(\underline{\eta }) \text { is odd.} \end{array}\right. } \end{aligned}$$

Since \(|Y_a|=1\) for all \(a\ge 1\), dominated convergence applies, and by the product structure of \(\underline{\mu }^c\) we have that

$$\begin{aligned} \mathbb {E}^c[Y]=\lim \limits _{a\rightarrow \infty }\mathbb {E}^c[Y_a]=\prod \limits _{i=-\infty }^\infty \big (1\cdot \mu _i^c(0,2)+(-1)\cdot \mu _i^c(1)\big )=\prod \limits _{i=-\infty }^\infty \big (1-2\mu _i^c(1)\big ), \end{aligned}$$

where \(\mathbb {E}^c\) denotes the expectation taken w.r.t. \(\underline{\mu }^c\). On the other hand, we have

$$\begin{aligned} \mathbb {E}^c[Y]= & {} 1\cdot \underline{\mu }^c\left( \{N(\underline{\eta }) \in 2\mathbb {Z}\}\right) +(-1)\cdot \underline{\mu }^c\left( \{N(\underline{\eta }) \in 2\mathbb {Z}+1\}\right) \\= & {} 1-2\underline{\mu }^c\left( \{N(\underline{\eta }) \in 2\mathbb {Z}+1\}\right) . \end{aligned}$$

Thus,

$$\begin{aligned} \underline{\mu }^c(\{N(\underline{\eta }) \in 2\mathbb {Z}+1\})= \frac{1-\prod \limits _{i=-\infty }^\infty \big (1-2\mu _i^c(1)\big )}{2} \end{aligned}$$

and also

$$\begin{aligned} \underline{\mu }^c(\{N(\underline{\eta }) \in 2\mathbb {Z}\})=1-\underline{\mu }^c(\{N(\underline{\eta }) \in 2 \mathbb {Z}+1\})=\frac{1+\prod \limits _{i=-\infty }^\infty \big (1-2\mu _i^c(1)\big )}{2}. \end{aligned}$$

\(\square \)

Now by combining Lemma 3.1 and Lemma 3.2, we get the unique stationary distribution \(\underline{\nu }^{n,c}\) on \(\Omega ^n\).

Proposition 3.3

For \(n \in 2\mathbb {Z}\), the unique stationary distribution on \(\Omega ^n\) is given by

$$\begin{aligned} \underline{\nu }^{n,c}(\underline{\eta })=\frac{2\sum \limits _{\ell =-\infty }^\infty \tilde{q}^{\ell (\ell +1)-2\ell c}\underline{\mu }^c(\underline{\eta })\mathbb {I}\{N(\underline{\eta })=n\}}{\tilde{q}^{\frac{n(n+2)}{4}-nc}\left( 1+\prod \limits _{i=-\infty }^\infty \left( 1-2\mu _i^c(1)\right) \right) }. \end{aligned}$$

For \(n \in 2\mathbb {Z}+1\), it is given by

$$\begin{aligned} \underline{\nu }^{n,c}(\underline{\eta })=\frac{2\sum \limits _{\ell =-\infty }^\infty \tilde{q}^{(\ell +1)^2-2(\ell +1) c} \underline{\mu }^c(\underline{\eta })\mathbb {I}\{N(\underline{\eta })=n\}}{\tilde{q}^{\frac{(n+1)^2}{4}-(n+1)c}\left( 1-\prod \limits _{i=-\infty }^\infty \left( 1-2\mu _i^c(1)\right) \right) }. \end{aligned}$$

Notice that \((1-2\mu _i^c(1))=\frac{1-t\tilde{q}^{-(i-c)}+\tilde{q}^{-2(i-c)}}{Z_i^c(\tilde{q},t)}\), and so if we let \(W_i^c(\tilde{q},t):=1-t\tilde{q}^{-(i-c)}+\tilde{q}^{-2(i-c)}\), we can write \(\underline{\nu }^{n,c}\) as

$$\begin{aligned} \underline{\nu }^{n,c}(\underline{\eta })= & {} \frac{2\sum \limits _{\ell =-\infty }^\infty \tilde{q}^{\ell (\ell +1)-2\ell c} \prod \limits _{i=-\infty }^0t^{\mathbb {I}\{\eta _i=1\}}\tilde{q}^{-\eta _i(i-c)}\prod \limits _{i=1}^\infty t^{\mathbb {I}\{\eta _i=1\}}\tilde{q}^{(2-\eta _i)(i-c)}}{\tilde{q}^{\frac{n(n+2)}{4}-nc}\left( \prod \limits _{i=1}^\infty \tilde{q}^{2(i-c)}Z^c_i(\tilde{q},t)Z^c_{-i+1}(\tilde{q},t)+\prod \limits _{i=1}^\infty \tilde{q}^{2(i-c)}W^c_i(\tilde{q},t)W^c_{-i+1}(\tilde{q},t)\right) }\\&\qquad \mathbb {I}\{N(\underline{\eta })=n\} \end{aligned}$$

when n is even and

$$\begin{aligned} \underline{\nu }^{n,c}(\underline{\eta })= & {} \frac{2\sum \limits _{\ell =-\infty }^\infty \tilde{q}^{(\ell +1)^2-2(\ell +1) c} \prod \limits _{i=-\infty }^0t^{\mathbb {I}\{\eta _i=1\}}\tilde{q}^{-\eta _i(i-c)}\prod \limits _{i=1}^\infty t^{\mathbb {I}\{\eta _i=1\}}\tilde{q}^{(2-\eta _i)(i-c)}}{\tilde{q}^{\frac{(n+1)^2}{4}-(n+1)c}\left( \prod \limits _{i=1}^\infty \tilde{q}^{2(i-c)}Z^c_i(\tilde{q},t)Z^c_{-i+1}(\tilde{q},t)-\prod \limits _{i=1}^\infty \tilde{q}^{2(i-c)}W^c_i(\tilde{q},t)W^c_{-i+1}(\tilde{q},t)\right) }\\&\qquad \mathbb {I}\{N(\underline{\eta })=n\} \end{aligned}$$

when n is odd.

Remark

These distributions are independent of c, as discussed in [3]. However, later we will need to stress the dependence of both the numerator and denominator on c and so we will keep c in our notation.

Standing up/laying down

In this section, we transfer the dynamics on \(\Omega ^n\) to that of a restricted particle system on \(\mathbb {Z}_{\ge 0}^{\mathbb {Z}_{< 0}}\), in direct analogy with the “standing up/laying down” method of [3]. By doing this, we obtain an alternative characterisation of the stationary distributions given in Proposition 3.3.

Definition 3.4

Given \(\underline{\eta } \in \Omega ^n\), let \(S_r\) be the site of the \(r^\text {th}\) particle when reading left to right, bottom to top. The corresponding stood up state is then \(T^n(\underline{\eta })=\underline{\omega }\in \mathbb {Z}_{\ge 0}^{\mathbb {Z}_{< 0}}\), with \(\omega _{-r}=S_{r+1}-S_r\).See Fig. 2 for example.

Remark

We can extend this method to stand up blocking processes with \(I=\{0,1,2,\ldots ,k\}\) and \(\Lambda =\mathbb {Z}\) for any \(k \in \mathbb {N}\). However, the corresponding particle systems are not always guaranteed to have product stationary blocking measures (this is dependent on the jump rates of the original system).

A priori the “standing up” map \(T^n\) is an injection into \(\mathbb {Z}_{\ge 0}^{\mathbb {Z}_{<0}}\). However, since \(\eta _i\le 2\) for all i, the image of \(T^n\) lies in the restricted state space

$$\begin{aligned} \mathcal {H}':=\{\underline{\omega } \in \mathbb {Z}_{\ge 0}^{\mathbb {Z}_{< 0}}: \omega _{-i}=0 \Rightarrow \omega _{-i-1} \ne 0, \forall i>0\}. \end{aligned}$$

Since \(\eta _i=2\) for i large \(\underline{\omega }\) must coincide far to the left with one of the following “even” or “odd” states (dependent on the parity of n); \(\underline{\omega }^e\) and \(\underline{\omega }^o\) such that \(\omega ^e_{-i}=\mathbb {I}\{i \in 2\mathbb {Z}_{\ge 1}\}\) and \(\omega ^o_{-i}=\mathbb {I}\{i \in 2\mathbb {Z}_{\ge 0}+1\}\) (see Fig. 3).

Remark

Note that all shifts of the “even” ground state \(\underline{\eta }^e\in \Omega ^0\) stand up to give \(\underline{\omega }^e\). Similarly all shifts of \(\underline{\eta }^o \in \Omega ^{-1}\) give \(\underline{\omega }^o\). This is further justification for the notation.

We now see that the image of \(T^n\) lies in \(\mathcal {H}:=\mathcal {H}^e \cup \mathcal {H}^o\), where the disjoint sets \(\mathcal {H}^e\) and \(\mathcal {H}^o\) are defined as

$$\begin{aligned} \mathcal {H}^e&=\{\underline{\omega } \in \mathcal {H}' : \exists N> 0 \text { s.t } \omega _{-i}=\omega _{-i}^e \forall i \ge N\}, \\ \mathcal {H}^o&=\{\underline{\omega } \in \mathcal {H}' : \exists N > 0 \text { s.t } \omega _{-i}=\omega _{-i}^o \forall i \ge N\}. \end{aligned}$$

For \(\underline{\omega }\in \mathcal {H}\), the minimum value of N satisfying the above will be denoted by \(E(\underline{\omega })\) or \(O(\underline{\omega })\), dependent on whether \(\underline{\omega }\in \mathcal {H}^e\) or \(\underline{\omega }\in \mathcal {H}^o\).

Lemma 3.5

\(T^n(\Omega ^n)={\left\{ \begin{array}{ll} \mathcal {H}^e &{}\text { if } n \in 2\mathbb {Z},\\ \mathcal {H}^o &{}\text { if } n \in 2\mathbb {Z}+1. \end{array}\right. }\)

Proof

It suffices to show surjectivity of \(T^n\) for each n.

If \(n \in 2\mathbb {Z}\) and \(\underline{\omega } \in \mathcal {H}^e\), then we construct the state \(\underline{\eta }\in \Omega ^n\) having leftmost particle at the site \(S_1=\frac{n+E(\underline{\omega })+\mathbb {I}\{E(\underline{\omega })\in 2\mathbb {Z}+1\}}{2}-\sum \limits _{i = 1}^{E(\underline{\omega })-1}\omega _{-i}\) and \(r^\text {th}\) particle at site \(S_r=S_{r-1}+\omega _{1-r}\) for each \(r\ge 2\).

Similarly for \(n \in 2\mathbb {Z}+1\) and \(\underline{\omega }\in \mathcal {H}^o\) construct the state \(\underline{\eta }\in \Omega ^n\) with left most particle at site \(S_1=\frac{n+O(\underline{\omega })+\mathbb {I}\{O(\underline{\omega }) \in 2 \mathbb {Z}\}}{2}-\sum \limits _{i = 1}^{O(\underline{\omega })-1} \omega _{-i}\) and \(r^\text {th}\) particle at site \(S_r=S_{r-1}+\omega _{1-r}\) for each \(r\ge 2\).

It is clear that in either case \(T^n(\underline{\eta })=\underline{\omega }\) and hence \(T^n\) is surjective. \(\square \)

The inverse maps described in the above proof are referred to as the “laying down” maps.

Using the “standing up” maps we define a particle system on \(\mathcal {H}\) whose dynamics are inherited from those on \(\Omega \). In particular right jumps in \(\underline{\eta }\) correspond to right jumps in \(\underline{\omega }\) and similarly for left jumps. The explicit right/left jump rates are given in Table 1 for \(r \ge 2\).

Table 1 Jump rates \(p_\omega (\omega _{-r}, \omega _{-r+1})\) and \(q_\omega (\omega _{-r},\omega _{-r+1})\), respectively, of the stood up process

Note that the jump rates \(p_\omega (1,\cdot )\) and \(q_\omega (\cdot ,1)\) can be 0, due to the no consecutive zeroes condition, a jump that would cause \(\omega _{-r}=\omega _{-r+1}=0\) for some \(r \ge 2\) is blocked.

Since the “stood up ” process is only defined on the negative half integer line we must consider what happens at the boundary site. We consider an open infinite type boundary, that is a reservoir of particles at “site 0” at which particles can enter or leave the system with the rates given in Table 2.

Table 2 Boundary jump rates for the stood up process

We note that the dynamics at the boundary in \(\underline{\omega }\) correspond exactly to that of the LMP in \(\left( T^n\right) ^{-1}(\underline{\omega })\).

To find the stationary distribution for the “stood up” process we first consider the unrestricted process \(\underline{\omega }^* \in \mathbb {Z}_{\ge 0}^{\mathbb {Z}_{<0}}\), i.e. the process described by the same jump rates as \(\underline{\omega }\) but where the number of consecutive zeros is not restricted. It is clear to see that the unrestricted process is a member of the blocking family; (B1) and (B2) follow directly from the fact that the rates of the original process satisfy these conditions and similarly condition (B3) is satisfied by the constants

$$\begin{aligned} p^*_{\text {asym}}=\frac{p(1,0)}{q(0,1)+p(1,0)} > \frac{1}{2} \text { and } q^*_{\text {asym}}=\frac{q(0,1)}{q(0,1)+p(1,0)}< \frac{1}{2} \end{aligned}$$

and the functions

$$\begin{aligned} f^*(z):= {\left\{ \begin{array}{ll} 0 \text {if } z=0, \\ \\ t^{-1} \text {if } z=1, \\ \\ t \text {if } z\ge 2, \end{array}\right. } \qquad s^*(y,z):= {\left\{ \begin{array}{ll} \frac{tp(2,1)\left( q(0,1)+p(1,0)\right) }{p(1,0)} &{}\text {if } y=z=1, \\ \\ \frac{tp(1,1)\left( q(0,1)+p(1,0)\right) }{p(1,0)}&{}\text {if } y=1 \text { and } z\ge 2, \\ \\ \frac{p(2,0)\left( q(0,1)+p(1,0)\right) }{p(1,0)t} &{}\text {if } y\ge 2 \text { and } z=1 ,\\ \\ \frac{q(0,1)+p(1,0)}{t} &{}\text {if } y,z\ge 2, \end{array}\right. } \end{aligned}$$

with \(t=\left( \frac{q(0,1)p(2,0)}{p(1,0)q(1,1)}\right) ^{\frac{1}{2}}>1\).

By Theorem 2.1 we can find a one parameter family of product stationary blocking measures \(\underline{\pi }^{*,\hat{c}}\) on \(\mathbb {Z}_{\ge 0}^{\mathbb {Z}_{<0}}\) with marginals given by

$$\begin{aligned} \pi _{-i}^{*,\hat{c}}(z)=\frac{t^{(2-z)\mathbb {I}\{z \ge 1\}}\tilde{q}^{(i+\hat{c})z}}{Z_{-i}^{*,\hat{c}}(\tilde{q},t)} \text {for } z\ge 0 \text { and } i\ge 1 \end{aligned}$$

(here \(Z_{-i}^{*,\hat{c}}(\tilde{q},t)\) is the normalising factor).

We fix the value of \(\hat{c}\) by considering reversibility over the boundary edge \((-1,0)\). Suppose that \(\underline{\pi }^{*,\hat{c}}\) satisfies detailed balance over this boundary edge:

$$\begin{aligned} \pi _{-1}^{*,\hat{c}}(y)\cdot \text {``rate into the boundary''}=\pi _{-1}^{*,\hat{c}}(y-1)\,\cdot \,\text {``rate out of the boundary''} \, \text {for all } y\ge 1. \end{aligned}$$

We consider the following two cases

  1. (1)

    If \(y=1\), then this gives

    $$\begin{aligned}&\pi ^{*,\hat{c}}_{-1}(1)p(1,1)=\pi ^{*,\hat{c}}_{_1}(0)q(0,2) \\ \Leftrightarrow \text { }&\frac{\pi ^{*,\hat{c}}_{-1}(1)}{\pi _{-1}^{*,\hat{c}}(0)}=\frac{q(0,2)}{p(1,1)}=\frac{p(2,0)q(0,1)^2}{p(1,0)^2q(1,1)}\quad \text { by condition } (B3) (c)\\ \Leftrightarrow \text { }&t\tilde{q}^{1+\hat{c}}=t^2\tilde{q}\\ \Leftrightarrow \text { }&\tilde{q}^{\hat{c}}=t. \end{aligned}$$
  2. (2)

    If \(y \ge 2\), then this gives

    $$\begin{aligned}&\pi ^{*,\hat{c}}_{-1}(y)p(1,0)=\pi ^{*,\hat{c}}_{_1}(y-1)q(0,1) \\ \Leftrightarrow \text { }&\frac{\pi ^{*,\hat{c}}_{-1}(y)}{\pi _{-1}^{*,\hat{c}}(y-1)}=\frac{q(0,1)}{p(1,0)}=\tilde{q}\\ \Leftrightarrow \text { }&t^{-1}\tilde{q}^{1+\hat{c}}=\tilde{q}\\ \Leftrightarrow \text { }&\tilde{q}^{\hat{c}}=t. \end{aligned}$$

Thus, we should choose \(\hat{c}\) so that \(\tilde{q}^{\hat{c}}=t\). The marginals now become (dropping \(\hat{c}\) from the notation)

$$\begin{aligned} \pi _{-i}^*(z)=\frac{\tilde{q}^{iz}t^{2\mathbb {I}\{z \ge 1\}}}{Z_{-i}^*(\tilde{q},t)} \text {for } z\ge 0 \text { and } i\ge 1. \end{aligned}$$

Now that we have the stationary distribution for the unrestricted process we consider the restriction to \(\mathcal {H}\) and find the stationary measure. Recall that \(\mathcal {H}=\mathcal {H}^e\cup \mathcal {H}^o\), and note that \(\mathcal {H}^e\) is the irreducible component of the “even” ground state \(\underline{\omega }^e\) and similarly \(\mathcal {H}^o\) for the “odd” ground state \(\underline{\omega }^o\). We define stationary measures on these irreducible components in terms of \(\underline{\pi }^*\), getting \(\underline{\pi }^e\) on \(\mathcal {H}^e\) and \(\underline{\pi }^o\) on \(\mathcal {H}^o\). It seems natural to define these measures as \(\underline{\pi }^e(\cdot )=\underline{\pi }^*(\cdot |\cdot \in \mathcal {H}^e)\) and \(\underline{\pi }^o(\cdot )=\underline{\pi }^*(\cdot |\cdot \in \mathcal {H}^o)\). However, w.r.t \(\underline{\pi }^*\) the probability of being in either irreducible component is zero and so these quantities are undefined. To rectify this, we use the following formal reasoning,

$$\begin{aligned} \underline{\pi }^e(\underline{\omega })&=\underline{\pi }^*(\underline{\omega }|\underline{\omega } \in \mathcal {H}^e)\\&=\frac{\prod \limits _{i\ge 1}\pi _{-i}^*(\omega _{-i}) \mathbb {I}\{\underline{\omega }\in \mathcal {H}^e\}}{\sum \limits _{\underline{\omega }' \in \mathcal {H}^e}\prod \limits _{i\ge 1}\pi _{-i}^*(\omega _{-i}')} \\&=\frac{\prod \limits _{i\ge 1}\frac{\pi _{-i}^*(\omega _{-i})}{\pi _{-i}^*(\omega _{-i}^e)} \mathbb {I}\{\underline{\omega }\in \mathcal {H}^e\}}{\sum \limits _{\underline{\omega }' \in \mathcal {H}^e}\prod \limits _{i\ge 1} \frac{\pi _{-i}^*(\omega _{-i}')}{\pi _{-i}^*(\omega _{-i}^e)}}. \end{aligned}$$

This is now a well defined distribution since far to the left any configuration \(\underline{\omega } \in \mathcal {H}^e\) agrees with \(\underline{\omega }^e\), forcing the products to be finite and the denominator to no longer be 0. We apply a similar reasoning for \(\underline{\pi }^o\). We then have

$$\begin{aligned} \underline{\pi }^e(\underline{\omega })=\frac{\prod \limits _{i\ge 1}\phi _{-i}^e(\omega _{-i})\mathbb {I}\{\underline{\omega }\in \mathcal {H}^e\}}{\sum \limits _{\underline{\omega }'\in \mathcal {H}^e}\prod \limits _{i\ge 1}\phi _{-i}^e(\omega '_{-i})} \text {and} \underline{\pi }^o(\underline{\omega })=\frac{\prod \limits _{i\ge 1}\phi _{-i}^o(\omega _{-i})\mathbb {I}\{\underline{\omega }\in \mathcal {H}^o\}}{\sum \limits _{\underline{\omega }' \in \mathcal {H}^o}\prod \limits _{i\ge 1}\phi _{-i}^o(\omega '_{-i})}, \end{aligned}$$

where \(\phi _{-i}^e(\omega _{-i}) = \frac{\pi _{-i}^*(\omega _{-i})}{\pi _{-i}^*(\omega _{-i}^e)}\) and \(\phi _{-i}^o(\omega _{-i}) = \frac{\pi _{-i}^*(\omega _{-i})}{\pi _{-i}^*(\omega _{-i}^o)}\), given explicitly as follows:

$$\begin{aligned} \phi _{-i}^e(\omega _{-i})&{:=}&{\left\{ \begin{array}{ll} \tilde{q}^{i\omega _{-i}}t^{2\mathbb {I}\{\omega _{-i}\ge 1\}} &{} i\in 2\mathbb {Z}+1, \\ \\ \tilde{q}^{i(\omega _{-i}-1)}t^{-2\mathbb {I}\{\omega _{-i}=0\}}&{} i\in 2\mathbb {Z}, \end{array}\right. }\\ \phi _{-i}^o(\omega _{-i})&{:=}&{\left\{ \begin{array}{ll} \tilde{q}^{i(\omega _{-i}-1)}t^{-2\mathbb {I}\{\omega _{-i}=0\}}&{} i\in 2\mathbb {Z}+1,\\ \\ \tilde{q}^{i\omega _{-i}}t^{2\mathbb {I}\{\omega _{-i}\ge 1\}} &{} i \in 2\mathbb {Z} \end{array}\right. } \end{aligned}$$

and so we get the following explicit formulae for \(\pi ^e(\omega )\) and \(\pi ^o(\omega )\).

Proposition 3.6

The unique stationary measures on \(\mathcal {H}^e\) and \(\mathcal {H}^o\) are given by

$$\begin{aligned} \underline{\pi }^e(\underline{\omega })&=\frac{\tilde{q}^{\sum \limits _{\text { }i \text { odd}}i\omega _{-i}+\sum \limits _{i \text { even}} i(\omega _{-i}-1)}t^{2\left( \sum \limits _{i \text { odd}}\mathbb {I}\{\omega _{-i}\ge 1\}-\sum \limits _{i \text { even}}\mathbb {I}\{\omega _{-i}=0 \}\right) }}{S_{\text {even}}(\tilde{q},t)},\\ \underline{\pi }^o(\underline{\omega })&=\frac{\tilde{q}^{\sum \limits _{\text { }i \text { even}}i\omega _{-i}+\sum \limits _{i \text { odd}} i(\omega _{-i}-1)}t^{2\left( \sum \limits _{i \text { even}}\mathbb {I}\{\omega _{-i}\ge 1\}-\sum \limits _{i \text { odd}}\mathbb {I}\{\omega _{-i}=0 \}\right) }}{S_{\text {odd}}(\tilde{q},t)}.\end{aligned}$$

Here \(S_{\text {even}}(\tilde{q},t)\) and \(S_{\text {odd}}(\tilde{q},t)\) are normalising factors with respect to \(\mathcal {H}^e\) and \(\mathcal {H}^o\):

$$\begin{aligned} S_{\text {even}}(\tilde{q},t)&= \sum \limits _{\underline{\omega }'\in \mathcal {H}^e}\tilde{q}^{\sum \limits _{\text { }i \text { odd}}i\omega _{-i}'+\sum \limits _{i \text { even}} i(\omega _{-i}'-1)}t^{2\left( \sum \limits _{i \text { odd}}\mathbb {I}\{\omega _{-i}'\ge 1\}-\sum \limits _{i \text { even}}\mathbb {I}\{\omega _{-i}'=0 \}\right) }, \\ S_{\text {odd}}(\tilde{q},t)&= \sum \limits _{\underline{\omega }'\in \mathcal {H}^o}\tilde{q}^{\sum \limits _{\text { }i \text { even}}i\omega _{-i}'+\sum \limits _{i \text { odd}} i(\omega _{-i}'-1)}t^{2\left( \sum \limits _{i \text { even}}\mathbb {I}\{\omega _{-i}'\ge 1\}-\sum \limits _{i \text { odd}}\mathbb {I}\{\omega _{-i}'=0 \}\right) }. \end{aligned}$$

Proof

It is well known that the restriction of a reversible stationary measure on a continuous time Markov process is also reversible stationary (see Proposition 5.10 of [6]). The result follows since \(\underline{\pi }^o\) and \(\underline{\pi }^e\) are restrictions of \(\underline{\pi }^*\). \(\square \)

It would be interesting to know whether the normalising factors \(S_{\textit{even}}(\tilde{q},t)\) and \(S_{\textit{odd}}(\tilde{q},t)\) can be written as infinite products. We will see later that when specialising to certain processes (i.e. choosing certain values for \(\tilde{q}\) and t) the specialised normalising factors appear to be products with combinatorial significance. We should compare the situation with that of [3], in which the authors stand up ASEP to get AZRP and get the partition function \(\prod _{i\ge 1}(1-q^{2i})^{-1}\) as normalising factor (one of the components of the product side of the Jacobi triple product). However, the fact that they naturally get a product seems to be a direct consequence of the choice of “standing up” map. Indeed it is possible to stand up ASEP in a different way, giving a normalising factor that has a similar form to the two given above (i.e. not naturally given as a product) but is then recognised as the above partition function. Unfortunately we do not see an obvious way to recognise the normalising factors \(S_{\textit{even}}(\tilde{q},t)\) and \(S_{\textit{odd}}(\tilde{q},t)\) as products.

Identities

By Lemma 3.5, the standing up transformation \(T^n\) describes a bijection between \(\Omega ^n\) and one of the state spaces \(\mathcal {H}^e\) or \(\mathcal {H}^o\), depending on the parity of n. Since \(T^n\) preserves the dynamics of the corresponding processes, we get an equality of measures, \(\underline{\nu }^{n,c}(\underline{\eta }) = \underline{\pi }^e(T^n(\underline{\eta }))\), when \(n \in 2\mathbb {Z}\) and \(\underline{\nu }^{n,c}(\underline{\eta }) = \underline{\pi }^o(T^n(\underline{\eta }))\), when \(n \in 2\mathbb {Z}+1\) (for all values of c). We will now see that evaluating these equalities at ground states leads to interesting combinatorial identities.

Recall that a process on \(\Omega \) with blocking measure has two ground states up to shift, \(\underline{\eta }^e\in \Omega ^0\) and \(\underline{\eta }^o\in \Omega ^{-1}\), satisfying \(T^0(\underline{\eta }^e) = \underline{\omega }^e\) and \(T^{-1}(\underline{\eta }^o) = \underline{\omega }^o\). Thus, \(\underline{\nu }^{0,c}(\underline{\eta }^e) = \underline{\pi }^e(\underline{\omega }^e)\) and \(\underline{\nu }^{-1,c}(\underline{\eta }^o) = \underline{\pi }^o(\underline{\omega }^o)\), and by Proposition 3.3 and Proposition 3.6 we get the following two identities (after rearrangement):

$$\begin{aligned} 2\sum \limits _{\ell =-\infty }^\infty S_{\textit{even}}(\tilde{q},t)\,\tilde{q}^{\ell (\ell +1)-2\ell c}&= \prod \limits _{i\ge 1} \tilde{q}^{2(i-c)}Z^c_i(\tilde{q},t)Z^c_{-i+1}(\tilde{q},t)\\&\quad +\prod \limits _{i\ge 1} \tilde{q}^{2(i-c)}W^c_i(\tilde{q},t)W^c_{-i+1}(\tilde{q},t), \\ 2t\sum \limits _{\ell =-\infty }^\infty S_{\textit{odd}}(\tilde{q},t)\,\tilde{q}^{(\ell +1)^2-(2\ell +1) c}&= \prod \limits _{i\ge 1} \tilde{q}^{2(i-c)}Z^c_i(\tilde{q},t)Z^c_{-i+1}(\tilde{q},t)\\&\quad -\prod \limits _{i\ge 1} \tilde{q}^{2(i-c)}W^c_i(\tilde{q},t)W^c_{-i+1}(\tilde{q},t). \end{aligned}$$

Writing \(Z_i^c(\tilde{q},t)\) and \(W_i^c(\tilde{q},t)\) explicitly and letting \(z = \tilde{q}^{-c}\) prove the following identities.

Theorem 1.1

For \(0<\tilde{q}<1\), \(t\ge 1\) and \(z> 0\)

$$\begin{aligned} 2\sum _{\ell \in \mathbb {Z}} S_{\text {even}}(\tilde{q},t) \tilde{q}^{\ell (\ell +1)} z^{2\ell }&= \prod _{i\ge 1}(1+tz\tilde{q}^i+z^2\tilde{q}^{2i})(1+tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}) \\&\quad + \prod _{i\ge 1}(1-tz\tilde{q}^i+z^2\tilde{q}^{2i})(1-tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}) \\ 2t\sum _{\ell \in \mathbb {Z}} S_{\text {odd}}(\tilde{q},t) \tilde{q}^{(\ell +1)^2} z^{2\ell +1}&= \prod _{i\ge 1}(1+tz\tilde{q}^i+z^2\tilde{q}^{2i})(1+tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}) \\&\quad - \prod _{i\ge 1}(1-tz\tilde{q}^i+z^2\tilde{q}^{2i})(1-tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}), \end{aligned}$$

We were unable to find these three variable Jacobi style identities explicitly written down in the literature, and we believe that they are new. It is interesting to note that the above proof of these identities is purely probabilistic and makes no assumption of other classical identities; for example, Jacobi triple product (although we will see later that specialising to the ASEP(q, 1) process gives the odd/even parts of Jacobi triple product).

We will now discuss the combinatorial nature of these identities. As is well known, the product \(\prod _{i\ge 1}(1+\tilde{q}^i)\) is the generating function for partitions of n with distinct parts. In a similar vein the product \(\prod _{i\ge 1}(1+\tilde{q}^i + \tilde{q}^{2i})\) is the generating function for partitions of n with each part appearing at most twice. It is then clear that the two variable product \(\prod _{i\ge 1}(1+t\tilde{q}^i+\tilde{q}^{2i}) = \sum _{n,m}a_{n,m}\tilde{q}^nt^m\) is the generating function for such partitions of n with exactly m distinct parts. For example \(a_{5,1}=3\) and \(a_{5,2}=2\) count the partitions \([5,3+1+1,2+2+1]\) and \([4+1,3+2]\), respectively (the partitions \(2+1+1+1\) and \(1+1+1+1+1\) are not counted since 1 appears more than twice). Going one step further the three variable product \(\prod _{i\ge 1}(1+tz\tilde{q}^i+z^2\tilde{q}^{2i}) = \sum _{n,m,k}a_{n,m,k}\tilde{q}^n t^m z^k\) is the generating function for such partitions of n which have exactly k parts in total. For example \(a_{5,1,1}=1, a_{5,1,3}=2\) and \(a_{5,2,2}=2\) count the partitions \([5], [3+1+1,2+2+1]\) and \([4+1,3+2]\), respectively. The meaning of the product \(\prod _{i\ge 1}(1+tz\tilde{q}^i+z^2\tilde{q}^{2i})(1+tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)})\) is more subtle and relates to generalised Frobenius partitions.

A generalised Frobenius partition (GFP) of n is a two row array of integers

$$\begin{aligned}\left( \begin{array}{cccc}a_1 &{} a_2 &{} \ldots &{} a_s\\ b_1 &{} b_2 &{} \ldots &{} b_s\end{array}\right) \end{aligned}$$

such that \(a_1\ge a_2\ge \cdots \ge a_s \ge 0\), \(b_1\ge b_2\ge \cdots \ge b_s\ge 0\) and \(s+\sum _{1\le i\le s}(a_i+b_i) = n\). Given an ordinary partition of n we can produce a GFP of n by letting s be the length of the leading diagonal in the Young diagram, the \(a_i\) be the lengths of rows to the right of the diagonal and the \(b_i\) be the lengths of the columns under the diagonal (see Fig. 4). This map gives a bijection between ordinary partitions of n and GFP’s of n with each row having distinct entries (note that GFP’s in general allow repeats in the rows). Taking the conjugate of a partition becomes the natural operation of swapping rows in the corresponding GFP. This convenience was the classical motivation, but GFP’s are now studied as combinatorial objects in their own right.

Fig. 4
figure 4

Conjugate partitions \(30=8+8+7+3+2+1+1\) and \(30=7+5+4+3+3+3+3+2\) with their corresponding GFP’s

Naturally, we wish to count certain families of GFP’s. A “General Principle” due to Andrews, given in [1], provides a way to do this. Suppose \(f_{A}(\tilde{q},z) = \sum _{n,k}a_{n,k}\tilde{q}^nz^k\) and \(f_{B}(\tilde{q},z) = \sum _{n,k}b_{n,k}\tilde{q}^nz^k\) are generating functions for ordinary partitions of n with k parts and satisfying some conditions A and B, respectively. Then, the “General Principle” states that the formal series \(f_{A}(\tilde{q},\tilde{q}z)f_{B}(\tilde{q},z^{-1}) = \sum _{k} f_{A,B,k}(\tilde{q})z^k\) has constant term \(f_{A,B,0}(\tilde{q})\) equal to the generating function for GFP’s of n with first row satisfying condition A and second row satisfying condition B. The set of such GFP’s will be denoted \(\text {GFP}_{A,B}(n)\). We can actually give a uniform interpretation of all of the formal series \(f_{A,B,k}(\tilde{q})\) if we generalise further to allow GFP’s having rows of unequal length, i.e. two row arrays of integers

$$\begin{aligned}\left( \begin{array}{cccc}a_1 &{} a_2 &{} \ldots &{} a_{s_1}\\ b_1 &{} b_2 &{} \ldots &{} b_{s_2}\end{array}\right) \end{aligned}$$

such that \(a_1 \ge a_2 \ge \cdots \ge a_{s_1} \ge 0, b_1\ge b_2\ge \cdots \ge b_{s_2} \ge 0\) and \(s_1 + \sum _{1\le i\le s_1}a_i + \sum _{1\le i \le s_2}b_i = n\). We will refer to these as GFP’s with offset \(s_1-s_2\) (so that GFP’s with offset 0 are classical GFP’s). The \(|s_1-s_2|\) “empty” entries in the shorter row will be labelled to the left with a dash (this will be important later). The full power of the “General Principle” is then that the formal series \(f_{A,B,k}(\tilde{q})\) is the generating function for the sets \(\text {GFP}_{A,B,k}(n)\), defined as above but for (possibly non-zero) offset k. A popular choice of condition on the rows is \(A=B=D_r\), the condition that each part appears at most r times.

One can use the “General Principle” to give a combinatorial interpretation of the famous Jacobi Triple Product identity (written here in an equivalent form to the one given in the introduction):

$$\begin{aligned} \prod _{i\ge 1}(1-\tilde{q}^i)(1+\tilde{q}^i z)(1+\tilde{q}^{i-1}z^{-1}) = \sum _{k\in \mathbb {Z}}\tilde{q}^{\frac{k(k+1)}{2}}z^k.\end{aligned}$$

Indeed, rearranging gives:

$$\begin{aligned} \prod _{i\ge 1}(1+\tilde{q}^i z)(1+\tilde{q}^{i-1}z^{-1}) = \sum _{k\in \mathbb {Z}}\frac{1}{\prod _{i\ge 1}(1-\tilde{q}^i)}\tilde{q}^{\frac{k(k+1)}{2}}z^k\end{aligned}$$

and so by applying the “General Principle” to the LHS we see that this identity is equivalent to the equalities \(f_{D_1,D_1,k}(\tilde{q}) = \frac{1}{\prod _{i\ge 1}(1-\tilde{q}^i)}\tilde{q}^{\frac{k(k+1)}{2}}\) for all \(k\in \mathbb {Z}\). This is true for the base case \(k=0\) since we have already seen that \(\text {GFP}_{D_1,D_1,0}(n)\) is in bijection with ordinary partitions of n. For other values of k the corresponding equality follows from the equivalence of generating functions \(f_{D_1,D_1,k}(\tilde{q}) = f_{D_1,D_1,0}(\tilde{q})\tilde{q}^{\frac{k(k+1)}{2}}\), proved by the following bijection \(\phi _k:\text {GFP}_{D_1,D_1,0}(n) \rightarrow \text {GFP}_{D_1,D_1,k}\left( n+\frac{k(k+1)}{2}\right) \) often attributed to Wright. Given an element of \(\text {GFP}_{D_1,D_1,0}(n)\) we have a corresponding ordinary partition of n. Adjoin a right angled triangle of size \(\frac{|k|(|k|+1)}{2}\) to either the left or top edge of its Young diagram, depending on whether \(k\ge 0\) or \(k<0\), respectively (see Fig. 5). Then, use the new leading diagonal implied by the triangle to read off an element of \(\text {GFP}_{D_1,D_1,k}\left( n+\frac{k(k+1)}{2}\right) \) by letting \(s_1\) be the length of the diagonal if \(k\ge 0\) (\(s_2\) if \(k<0\)), the \(a_i\) be the sizes of rows to the right of the diagonal and the \(b_i\) be the sizes of columns under the diagonal (the |k| empty rows/columns coming from the triangle supply the required |k| “empty” entries in the corresponding GFP of offset k).

Fig. 5
figure 5

Wright bijections \(\phi _4\) and \(\phi _{-4}\) (cont)

In comparison, we can now give a combinatorial interpretation of the identities in Theorem 1.1. By a three variable adaptation of the “General Principle” the formal series:

$$\begin{aligned}\prod _{i\ge 1}(1+tz\tilde{q}^i+z^2\tilde{q}^{2i})(1+tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}) = \sum _{k\in \mathbb {Z}}f_{D_2,D_2,k}(\tilde{q},t)z^k\end{aligned}$$

has coefficients \(f_{D_2,D_2,k}(\tilde{q},t) = \sum _{n,m}c_{n,m,k}\tilde{q}^nt^m\) that are two variable generating functions for the sets \(\text {GFP}_{D_2,D_2,k,m}(n)\subseteq \text {GFP}_{D_2,D_2,k}(n)\), consisting of such GFP’s having a total of m distinct parts (each row treated separately). The identities of Theorem 1.1 are then equivalent to the equalities:

$$\begin{aligned}f_{D_2,D_2,k}(\tilde{q},t) = {\left\{ \begin{array}{ll}S_{\text {even}}(\tilde{q},t)\tilde{q}^{\ell (\ell +1)} &{} \text {if } k=2\ell ,\\ tS_{\text {odd}}(\tilde{q},t)\tilde{q}^{(\ell +1)^2} &{} \text {if } k=2\ell +1. \end{array}\right. }\end{aligned}$$

(The reason for various sign changes in the two identities is merely to separate the cases of even and odd offset, since these behave differently.) We have of course proved these equalities probabilistically, but it is not explicitly clear that the normalising factors are related to counting GFP’s with the 2-repetition condition. However, we are able to give combinatorial proofs of these equalities, similar to the case of Jacobi triple product.

Fig. 6
figure 6

Generalised Young diagrams corresponding to two GFP’s of 15 with offset 0 and \(-1\)

We start with the base cases \(k=0\) and \(-1\), i.e. that

$$\begin{aligned}S_{\text {even}}(\tilde{q},t)&= f_{D_2,D_2,0}(\tilde{q},t)\\ tS_{\text {odd}}(\tilde{q},t)&= f_{D_2,D_2,-1}(\tilde{q},t). \end{aligned}$$

Using MAGMA, we were able to compute that the first few coefficients of the normalising factors are given by:

$$\begin{aligned}S_{\text {even}}(\tilde{q},t)&= 1 + \tilde{q}t^2 + \tilde{q}^2(1+2t^2) + 5\tilde{q}^3 t^2 + \tilde{q}^4(2+6t^2+t^4) + \tilde{q}^5(12t^2+2t^4) \\&\quad + \tilde{q}^6(3+16t^2+5t^4) + \tilde{q}^7(25t^2+10t^4) + \tilde{q}^8(5+30t^2+20t^4) + \cdots \\ S_{\text {odd}}(\tilde{q},t)&= 1 + 2\tilde{q} + \tilde{q}^2(2+t^2) + \tilde{q}^3(4+2t^2) + \tilde{q}^4(5+5t^2) + \tilde{q}^5(6+10t^2)\\&\quad +\tilde{q}^6(10+15t^2+t^4) + \tilde{q}^7(12+26t^2+2t^4)+\tilde{q}^8(15+40t^2+5t^4)+\cdots \end{aligned}$$

(see Appendix for the lists of GFP’s of offset 0 and \(-1\) that are counted by these coefficients.) Note that in both cases the exponents of t are even. This is expected since \(\text {GFP}_{D_2,D_2,k,m}(n)\) is empty when \(m\not \equiv k\bmod 2\) (this justifies the extra t in the odd case). These expansions will be useful later when specialising to particular processes. In order to prove these base cases we seek analogues of the Frobenius bijection between ordinary partitions of n and elements of \(\text {GFP}_{D_1,D_1,0}(n)\). However, to describe these we must first generalise the notion of Young diagram to allow GFP’s with the 2-repetition condition.

Fig. 7
figure 7

Bijections \(\psi ^e_{19,4}\) and \(\psi _{19,4}^o\)

Fig. 8
figure 8

Bijections \(\phi _{2,15}^e\) and \(\phi _{1,15}^o\)

Elements of \(\text {GFP}_{D_2,D_2,0}(n)\) do not correspond to ordinary partitions and so do not naturally give rise to Young diagrams. However, they do naturally give rise to certain finite subsets of \(C_e=\{(n_1,n_2)\in \mathbb {Z}^2\,:\, n_1+n_2 \equiv 0 \bmod 2\}\). The subset corresponding to such a GFP with s columns consists of the s leading diagonal points \((1,-1),\ldots ,(s,-s)\), the first \(a_i\) points of \(C_e\) to the right of \((i,-i)\) and the first \(b_i\) points of \(C_e\) under \((i,-i)\). Similarly, elements of \(\text {GFP}_{D_2,D_2,-1}(n)\) will give well defined finite subsets of \(C_o=\{(n_1,n_2)\in \mathbb {Z}^2\,:\, n_1+n_2 \equiv 1 \bmod 2\}\). The subset corresponding to such a GFP with \(s_1\) entries on the top row contains the \(s_1\) leading diagonal points \((2,-1),\ldots ,(s_1+1,-s_1)\), the first \(a_i\) points of \(C_o\) to the right of \((i+1,-i)\) and the first \(b_i\) points of \(C_o\) under \((i,-i+1)\) (the point (1, 0) is not included). See Fig. 6 for an example of each kind of generalised Young diagram (points are labelled by black squares; the white squares are included only for aesthetics).

We can now return to proving the base cases. By comparing coefficients of \(\tilde{q}^nt^m\) on both sides it suffices to find bijections:

$$\begin{aligned}\psi ^e_{n,m}: \left\{ \underline{\omega }\in \mathcal {H}^e\,:\,\begin{array}{c}\sum _{i \text { odd}}i\omega _{-i} + \sum _{i \text { even}}i(\omega _{-i}-1) = n\\ 2\left( \sum _{i \text { odd}}\mathbb {I}\{\omega _{-i}\ge 1\}-\sum _{i \text { even}}\mathbb {I}\{\omega _{-i}=0\}\right) =m\end{array}\right\}&\rightarrow \text {GFP}_{D_2,D_2,0,m}(n),\\ \psi ^o_{n,m}: \left\{ \underline{\omega }\in \mathcal {H}^o\,:\,\begin{array}{c}\sum _{i \text { even}}i\omega _{-i} + \sum _{i \text { odd}}i(\omega _{-i}-1) = n\\ 2\left( \sum _{i \text { even}}\mathbb {I}\{\omega _{-i}\ge 1\}-\sum _{i \text { odd}}\mathbb {I}\{\omega _{-i}=0\}\right) =m\end{array}\right\}&\rightarrow \text {GFP}_{D_2,D_2,-1,m+1}(n).\end{aligned}$$

These maps can be constructed as restrictions of bijections:

$$\begin{aligned}\psi ^e_{n}: \left\{ \underline{\omega }\in \mathcal {H}^e\,:\,\sum _{i \text { odd}}i\omega _{-i} + \sum _{i \text { even}}i(\omega _{-i}-1) = n\right\}&\rightarrow \text {GFP}_{D_2,D_2,0}(n)\\ \psi ^o_{n}: \left\{ \underline{\omega }\in \mathcal {H}^o\,:\,\sum _{i \text { even}}i\omega _{-i} + \sum _{i \text { odd}}i(\omega _{-i}-1) = n\right\}&\rightarrow \text {GFP}_{D_2,D_2,-1}(n).\end{aligned}$$

In the following, we use the notation \(r_e\) to stand for a zigzag of length r on \(C_e\), a shift of the points of \(C_e\) enclosed in the rectangle with opposite corners \((1,-1)\) and \((r,-2)\) and the notation \(r_o\) for a zigzag of length r on \(C_o\), a shift of the points enclosed within the same rectangle on \(C_o\). Given \(\underline{\omega }\in \mathcal {H}^e\), the map \(\psi ^e_{n}\) stacks \((\omega _{-i} - \mathbb {I}\{i \text { even}\})\) copies of the zigzag \(i_e\) (whenever this is non-negative) vertically in increasing order and then removes a point from the bottom of each of the columns \(1,2,\ldots ,i\), for each even i such that \(\omega _{-i}=0\) (giving the generalised Young diagram of an element of \(\text {GFP}_{D_2,D_2,0}(n)\)). Given \(\underline{\omega }\in \mathcal {H}^o\), the map \(\psi ^o_{n}\) stacks \((\omega _{-i} - \mathbb {I}\{i \text { odd}\})\) copies of the zigzag \(i_o\) (whenever this is non-negative) vertically in increasing order and then removes a point from the bottom of each of the columns \(1,2,\ldots ,i\), for each odd i such that \(\omega _{-i}=0\) (giving the generalised Young diagram of an element of \(\text {GFP}_{D_2,D_2,-1}(n)\)). See Fig. 7 for examples of these maps. It is possible, but tedious, to verify that these maps provide the necessary bijections. We leave this to the reader.

We now consider the other values of the offset k. To tackle these cases it suffices, as in the Jacobi triple product case, to prove the following equivalences of generating functions:

$$\begin{aligned}f_{D_2,D_2,k}(\tilde{q},t) = {\left\{ \begin{array}{ll}f_{D_2,D_2,0}(\tilde{q},t)\tilde{q}^{\ell (\ell +1)} &{} \text {if } k=2\ell ,\\ f_{D_2,D_2,-1}(\tilde{q},t)\tilde{q}^{(\ell +1)^2} &{} \text {if } k=2\ell +1. \end{array}\right. }\end{aligned}$$

These follow naturally from a generalisation of Wright’s bijection \(\phi _k\), i.e. bijections

$$\begin{aligned}\phi ^e_{\ell ,n}: \text {GFP}_{D_2,D_2,0}(n)&\rightarrow \text {GFP}_{D_2,D_2,2\ell }(n+\ell (\ell +1)),\\ \phi ^o_{\ell ,n}: \text {GFP}_{D_2,D_2,-1}(n)&\rightarrow \text {GFP}_{D_2,D_2,2\ell +1}(n+(\ell +1)^2)\end{aligned}$$

defined for each \(n\ge 0\) and \(\ell \in \mathbb {Z}\) as follows. Given an element of \(\text {GFP}_{D_2,D_2,0}(n)\), the map \(\phi ^e_{\ell ,n}\) adds the points inside the right angled triangle of size \(\frac{|2\ell |(|2\ell |+1)}{2}\) to either the left or top edge of its generalised Young diagram, depending on whether \(\ell \ge 0\) or \(\ell <0\), respectively. It then uses the new leading diagonal implied by the triangle to read off an element of \(\text {GFP}_{D_2,D_2,2\ell }(n+\ell (\ell +1))\). Given an element of \(\text {GFP}_{D_2,D_2,-1}(n)\), the map \(\phi ^o_{\ell ,n}\) adds the points inside the right-angled triangle of size \(\frac{|2\ell +1|(|2\ell +1|+1)}{2}\) to either the left or top edge of its generalised Young diagram, depending on whether \(\ell \ge 0\) or \(\ell <0\), respectively. It then uses the new leading diagonal implied by the triangle to read off an element of \(\text {GFP}_{D_2,D_2,2\ell +1}(n+(\ell +1)^2)\). In both cases, the offset is supplied by the empty rows/columns coming from the triangle (in a similar fashion to Wright’s bijection). See Fig. 8 for examples of \(\phi ^e_\ell \) and \(\phi ^o_\ell \). Note also that in both cases the number m of distinct parts is clearly preserved and so the above maps restrict to give well defined bijections

$$\begin{aligned}\phi ^e_{\ell ,n,m}: \text {GFP}_{D_2,D_2,0,m}(n)&\rightarrow \text {GFP}_{D_2,D_2,2\ell ,m}(n+\ell (\ell +1))\\ \phi ^o_{\ell ,n,m}: \text {GFP}_{D_2,D_2,-1,m}(n)&\rightarrow \text {GFP}_{D_2,D_2,2\ell +1,m}(n+(\ell +1)^2)\end{aligned}$$

for each \(n,m\ge 0\) and \(\ell \in \mathbb {Z}\). This proves the required equivalences of generating functions and hence completes the combinatorial justification of the identities in Theorem 1.1.

Specialising to certain models

In this section, we specialise the work of Sect. 3 to the ASEP(q, 1), 2-exclusion and 3-state models. For each of these models, the three variable identities in Theorem 1.1 will specialise to give two variable identities related to other known Jacobi style identities of combinatorial significance.

ASEP(q, 1)

We will consider first the asymmetric simple exclusion process ASEP(q, 1) on \(\Omega \), as described by Redig et al. in [4]. This has asymmetry parameter \(0<q< 1\) and jump rates given by

$$\begin{aligned}&p(\eta _i,\eta _{i+1})=q^{\eta _i-\eta _{i+1}-3}[\eta _i]_q[2-\eta _{i+1}]_q \text {and}\\&\quad q(\eta _i,\eta _{i+1})=q^{\eta _i-\eta _{i+1}+3}[2-\eta _i]_q[\eta _{i+1}]_q. \end{aligned}$$

Here \([n]_q:=\frac{q^n-q^{-n}}{q-q^{-1}}\), a q-deformation of n (we have that \([n]_q\rightarrow n\) as \(q\rightarrow 1\) ).

The above rates might look strange at first sight, but they are carefully constructed in order to equip the corresponding process with “\(\mathcal {U}_q(\mathfrak {gl}_2)\)-symmetry” (here \(\mathcal {U}_q(\mathfrak {gl}_2)\) is the quantum group associated with the Lie algebra \(\mathfrak {gl}_2\)). The original motivation for constructing processes with “\(\mathcal {U}_q(\mathfrak {g})\)-symmetry” (for certain Lie algebras \(\mathfrak {g}\)) was the realisation that such processes have many explicit self-duality functions. The Markov generators for such processes are built by applying ground state transformations to quantum Hamiltonians associated with certain tensor products of representations of \(\mathcal {U}_q(\mathfrak {g})\). Roughly speaking the dimension of the representation relates to the number of particles allowed at a site, the dimension of \(\mathfrak {g}\) relates to the number of species of particle and tensors let us describe multi-site states. The Quantum Hamiltonian determines the jump rates. In the case of \(\mathfrak {g}=\mathfrak {gl}_2\), the representations are the spin 2j representations for \(j\in \frac{1}{2}\mathbb {Z}\) (up to twist) and so one gets a family ASEP(qj) of processes, each allowing up to 2j particles at a site. When \(j=\frac{1}{2}\), we recover classical ASEP and when \(j=1\) we get the process described above.

We show that ASEP(q, 1) is a member of the blocking family. Conditions (B1) and (B2) clearly hold and the jump rates satisfy:

  1. (a)

    \(p(y,z)>q(z,y)\) for all \(y\in \{1,2\}\) and \(z\in \{0,1\},\)

  2. (b)

    \(\frac{p(1,0)}{q(0,1)}=q^{-4}=\frac{p(2,1)}{q(1,2)},\)

  3. (c)

    \(\frac{p(1,0)p(2,1)q(1,1)q(0,2)}{q(0,1)q(1,2)p(2,0)p(1,1)}=q^{-8}\cdot \frac{q^4[2]_q^2}{ q^{-4}[2]_q^2}=1\).

Thus, (B3) is satisfied with the constants

$$\begin{aligned} p_{\text {asym}}=\frac{q^{-2}[2]_q}{[2]_q\left( q^{-2}+q^2\right) }=\frac{q^{-4}}{1+q^{-4}} \quad \text { and }\quad q_{\text {asym}}=\frac{q^2[2]_q}{[2]_q\left( q^{-2}+q^2\right) }=\frac{1}{1+q^{-4}} \end{aligned}$$

and the functions

$$\begin{aligned} f(z)= \frac{[z]_q}{[3-z]_q} s(y,z) = \frac{q^{y-z-2}(1+q^{-4})[3-y]_q[3-z]_q}{q^{-4}}. \end{aligned}$$

In this case, \(\tilde{q}=q^4,t=[2]_q\) and we have a one parameter family of product blocking measures of the form

$$\begin{aligned} \underline{\mu }^c(\underline{\eta })=\prod \limits _{i=-\infty }^0\frac{[2]_q^{\eta _i(2-\eta _i)}q^{-4\eta _i(i-c)}}{(1+[2]_q q^{-4(i-c)}+q^{-8(i-c)})}\prod \limits _{i=1}^\infty \frac{[2]_q^{\eta _i(2-\eta _i)}q^{4(2-\eta _i)(i-c)}}{(1+[2]_qq^{4(i-c)}+q^{8(i-c)})}. \end{aligned}$$

Substituting the values of \(\tilde{q}\) and t into Theorem 1.1 gives

$$\begin{aligned} 2\sum \limits _{\ell \in \mathbb {Z}} S_\text {even}(q^4,[2]_q)q^{4\ell (\ell +1)}z^{2\ell }= & {} \prod \limits _{i\ge 1}(1+[2]_qq^{4i}z+q^{8i}z^2)\\&\times (1+[2]_qq^{4(i-1)}z^{-1}+q^{8(i-1)}z^{-2})\\&+\prod \limits _{i\ge 1}(1-[2]_qq^{4i}z+q^{8i}z^2)\\&\times (1-[2]_qq^{4(i-1)}z^{-1}+q^{8(i-1)}z^{-2}))\\ \\ 2[2]_q\sum \limits _{\ell \in \mathbb {Z}} S_\text {odd}(q^4,[2]_q)q^{4(\ell +1)^2}z^{2\ell +1}= & {} \prod \limits _{i\ge 1}(1+[2]_qq^{4i}z+q^{8i}z^2)\\&\times (1+[2]_qq^{4(i-1)}z^{-1}+q^{8(i-1)}z^{-2})\\&-\prod \limits _{i\ge 1}(1-[2]_qq^{4i}z+q^{8i}z^2)\\&\times (1-[2]_qq^{4(i-1)}z^{-1}+q^{8(i-1)}z^{-2})). \end{aligned}$$

Since \([2]_q = q+q^{-1}\), the quadratic terms on the RHS all factor and the products collapse as follows:

$$\begin{aligned}&\prod \limits _{i\ge 1}(1+q^{4i-1}z)(1+q^{4i+1}z)(1+q^{4i-5}z^{-1})(1+q^{4i-3}z^{-1})\\&\qquad \pm \prod \limits _{i\ge 1}(1-q^{4i-1}z)(1-q^{4i+1}z)(1-q^{4i-5}z^{-1})(1-q^{4i-3}z^{-1})\\&\quad =\frac{1+q^{-1}z^{-1}}{1+qz}\prod \limits _{i\ge 1}(1+q^{2i-1}z)(1+q^{2i-1}z^{-1})\\&\qquad \pm \frac{1-q^{-1}z^{-1}}{1-qz}\prod \limits _{i\ge 1}(1-q^{2i-1}z)(1-q^{2i-1}z^{-1})\\&\quad =\frac{1}{qz}\left( \prod \limits _{i\ge 1}(1+q^{2i-1}z)(1+q^{2i-1}z^{-1}) \mp \prod \limits _{i\ge 1}(1-q^{2i-1}z)(1-q^{2i-1}z^{-1}) \right) . \end{aligned}$$

We have therefore proved the following identities.

Theorem 4.1

$$\begin{aligned} 2\sum \limits _{\ell \in \mathbb {Z}}S_{\text {even}}(q^4,[2]_q)q^{(2\ell +1)^2}z^{2\ell +1}&=\prod \limits _{i\ge 1}(1+q^{2i-1}z)(1+q^{2i-1}z^{-1})\\&\quad -\prod \limits _{i\ge 1}(1-q^{2i-1}z)(1-q^{2i-1}z^{-1}) \\ \\ 2(1+q^2)\sum \limits _{\ell \in \mathbb {Z}}S_{\text {odd}}(q^4,[2]_q)q^{(2\ell )^2}z^{2\ell }&=\prod \limits _{i\ge 1}(1+q^{2i-1}z)(1+q^{2i-1}z^{-1})\\&\quad +\prod \limits _{i\ge 1}(1-q^{2i-1}z)(1-q^{2i-1}z^{-1}). \end{aligned}$$

The RHS of these identities should look familiar. The first term is part of the product side of the Jacobi triple product, as seen in introduction (an alternative form is given in Sect. 3.3). Indeed, these two identities are isolating the odd/even terms, respectively (as mentioned in Sect. 3.3, this is the only reason for the sign changes on the RHS).

We can now proceed in two ways. If we assume the Jacobi triple product, then Theorem 4.1 proves the following closed forms for the specialised normalising factors:

$$\begin{aligned} S_{\text {even}}(q^4,[2]_q)&= \frac{1}{\prod _{j\ge 1}(1-q^{2j})} \quad (= f_{D_1,D_1,0}(q^2)),\\ \\ S_{\text {odd}}(q^4,[2]_q)&= \frac{1}{(1+q^2)\prod _{j\ge 1}(1-q^{2j})} \quad \left( = \frac{1}{(1+q^2)}f_{D_1,D_1,0}(q^2)\right) . \end{aligned}$$

On the other hand, if we were able to find probabilistic explanations for these two equalities, then this would give a new probabilistic proof of the Jacobi triple product. However, the authors were unable to find such an explanation. To elaborate further, ASEP(q, 1) is a particular 0–1–2 system with blocking measure. However, the above equalities suggest that this blocking measure (and the one for its stood up process) should be intimately related to that of the 0-1 system ASEP\((q,\frac{1}{2})\) (i.e. classical ASEP) and its stood up process AZRP (which together prove the Jacobi triple product). Given the strange nature of the rates of ASEP(q, 1) it is not clear, at least to the authors, why this relationship should be expected.

We can give explicit combinatorial explanations for these equalities. Let us look at the even case first. We have already seen that \(S_{\text {even}}(\tilde{q},t) = f_{D_2,D_2,0}(\tilde{q},t)\). Note that setting \(\tilde{q}=q^4\) and \(t=q+q^{-1}\) sends \(\tilde{q}^nt^m\) to \(q^{4n}(q+q^{-1})^m = q^{4n+m}+\left( {\begin{array}{c}m\\ 1\end{array}}\right) q^{4n+(m-2)}+\cdots +\left( {\begin{array}{c}m\\ m-1\end{array}}\right) q^{4n-(m-2)}+q^{4n-m}\) and so in order to prove the equality it suffices to show how elements of \(\text {GFP}_{D_2,D_2,0,m}(n)\) can be used to construct \(\left( {\begin{array}{c}m\\ i\end{array}}\right) \) unique ordinary partitions of \(4n-(m-2i)\) into even parts for each \(0\le i\le m\). Equivalently we must show how to obtain \(\left( {\begin{array}{c}m\\ i\end{array}}\right) \) unique ordinary partitions of \(2n-\frac{m-2i}{2}\). In order to do this, we take the generalised Young diagram corresponding to such a GFP, and for each square on the diagonal we colour in all intermediate white squares to the right and below. This almost creates a valid Young diagram but repeats in the rows of the GFP cause a problem, since the first entry in a repeat gives a row/column that is too short. To fix this, we add an extra black square to the end of such rows/columns, creating a valid Young diagram for a partition of \(2n-\frac{m}{2}\). The other required partitions are obtained by adding more dots to this Young diagram. The only rows/columns that we are guaranteed to add dots to and still get a valid Young diagram are those corresponding to distinct entries in the rows of the GFP. For each of the \(\left( {\begin{array}{c}m\\ i\end{array}}\right) \) choices of i such entries, we can add a dot onto the corresponding rows/columns, giving unique partitions of \(2n-\frac{m-2i}{2}\) (for each \(0\le i\le m\)). See Fig. 9 for an example of the above construction (the colour grey is used to emphasise the squares that have been coloured black).

Fig. 9
figure 9

Partitions of 27, 28 and 29 coming from an element of \(\text {GFP}_{D_2,D_2,0,2}(14)\)

The odd offset case is similar. We have already seen that \(tS_{\text {odd}}(\tilde{q},t)=f_{D_2,D_2,-1}(\tilde{q},t)\). Setting \(\tilde{q}=q^4\) and \(t=q+q^{-1}\) sends \(\tilde{q}^nt^m\) to \(q^{4n+m}+\left( {\begin{array}{c}m\\ 1\end{array}}\right) q^{4n+(m-2)}+\cdots +\left( {\begin{array}{c}m\\ m-1\end{array}}\right) q^{4n-(m-2)}+q^{4n-m}\) as before. Multiplying by an extra q (to make the factor \((1+q^2)\) on the LHS) gives \(q^{4n+(m+1)}+\left( {\begin{array}{c}m\\ 1\end{array}}\right) q^{4n+(m-1)}+\cdots +\left( {\begin{array}{c}m\\ m-1\end{array}}\right) q^{4n-(m-3)}+q^{4n-(m-1)}\). In order to prove the equality, it suffices to show how elements of \(\text {GFP}_{D_2,D_2,0,-1}(n)\) can be used to construct \(\left( {\begin{array}{c}m\\ i\end{array}}\right) \) unique ordinary partitions of \(4n-(m-1-2i)\) into even parts for each \(0\le i\le m\). Equivalently we must show how to obtain \(\left( {\begin{array}{c}m\\ i\end{array}}\right) \) unique ordinary partitions of \(2n-\frac{m-1-2i}{2}\). We do this in the same way as the even case, but being careful to also colour the intermediate squares in the first column and add a dot to the first column of the Young diagram if \(b_1\) is not a distinct entry in row 2 of the GFP (the first column doesn’t correspond to a diagonal square). See Fig. 10 for an example.

Fig. 10
figure 10

Partitions of 31, 32, 33 and 34 coming from an element of \(\text {GFP}_{D_2,D_2,-1,3}(16)\)

Asymmetric particle-antiparticle exclusion process (3-state model)

We now consider the asymmetric particle-antiparticle process with \(I=\{-1,0,1\}, \Lambda =\mathbb {Z}\), asymmetry parameter \(0<q<1\), annihilation parameters \(a,a'>0\), creation parameters \(\gamma ,\gamma ' >0\) and jump rates as follows:

  • Particles (\(\eta _i=1\)) jump left with rate q or right with rate 1 to empty sites,

  • Antiparticles (\(\eta _i=-1\)) jump left with rate 1 or right with rate q to empty sites,

  • A particle–antiparticle neighbouring pair can be annihilated with rate a if \(\eta _i=1\) and \(\eta _{i+1}=-1\) or rate \(a'q\) if \(\eta _i=-1\) and \(\eta _{i+1}=1\),

  • A particle-antiparticle pair can be created at two neighbouring empty sites with rate \(\gamma \) if \(\eta _i^{(i,i+1)}=-1\) and \(\eta _{i+1}^{(i,i+1)}=1\) or rate \(\gamma 'q\) if \(\eta _i^{(i,i+1)}=1\) and \(\eta _{i+1}^{(i,i+1)}=-1\).

Remark

This process has been studied in the literature (see [2], for example), and it is known that the system can only have an i.i.d stationary distribution when the annihilation rate is twice the jump rate of a particle, i.e. when \(a=a'=2\). We will consider this case from now on.

We can view the 3-state model as a process on \(\Omega \), with annihilation being a jump from a two particle site to an empty site and creation a jump from a one particle site to another one particle site. When thought of in this way, the jump rates are as given in Table 3.

Table 3 Jump rates \(p(\eta _i,\eta _{i+1})\) and \(q(\eta _i,\eta _{i+1})\), respectively, of the 3-state model

In order to be a member of the blocking family, we see that (B1) gives no constraints, (B2) is satisfied if and only if \(0< \gamma ,\gamma ' \le 1\), and the following must be satisfied:

  1. (a)

    \(p(y,z)>q(z,y)\) for all \(y\in \{1,2\}\) and \(z\in \{0,1\}\),

  2. (b)

    \(\frac{p(1,0)}{q(0,1)}=q^{-1}=\frac{p(2,1)}{q(1,2)}\),

  3. (c)

    \(1=\frac{p(1,0)p(2,1)q(1,1)q(0,2)}{q(0,1)q(1,2)p(2,0)p(1,1)}=\frac{\gamma '}{\gamma },\) i.e. \(0<\gamma = \gamma '\le 1\).

Under this assumption, (B3) is then satisfied with the constants

$$\begin{aligned} p_\text {asym}=\frac{1}{1+q} \text {and} q_\text {asym}=\frac{q}{1+q} \end{aligned}$$

and the functions

$$\begin{aligned} f(z):= {\left\{ \begin{array}{ll} 0 &{}\text {if } z=0, \\ \\ \sqrt{\frac{\gamma }{2}} &{}\text {if } z=1 , \\ \\ \sqrt{\frac{2}{\gamma }} &{}\text {if } z=2, \end{array}\right. } \qquad s(y,z):= {\left\{ \begin{array}{ll} \sqrt{\frac{2}{\gamma }}(1+q) &{}\text {if } y=z=1 , \\ \\ \sqrt{2\gamma }(1+q) &{}\text {if } y=1 \text { and } z=2, \\ \\ \sqrt{2\gamma }(1+q) &{}\text {if } y=2 \text { and } z=1, \\ \\ \sqrt{\frac{\gamma }{2}}(1+q) &{}\text {if } y=z=2, \\ \\ 0 &{}\text {if } y=3 \text { or } z=3. \end{array}\right. } \end{aligned}$$

In this case, \(\tilde{q}=q\) and \(t=\sqrt{\frac{2}{\gamma }}\) and we have a one-parameter family of blocking measures of the form

$$\begin{aligned} \underline{\mu }^c(\underline{\eta })=\prod \limits _{i=-\infty }^0 \frac{\left( \frac{2}{\gamma }\right) ^{\frac{1}{2}\mathbb {I}\{\eta _i=1\}}q^{-(i-c)\eta _i}}{1+\sqrt{\frac{2}{\gamma }}q^{-(i-c)}+q^{-2(i-c)}}\prod \limits _{i=1}^\infty \frac{\left( \frac{2}{\gamma }\right) ^{\frac{1}{2}\mathbb {I}\{\eta _i=1\}}q^{(2-\eta _i)(i-c)}}{1+\sqrt{\frac{2}{\gamma }}q^{(i-c)}+q^{2(i-c)}}. \end{aligned}$$

Since \(\gamma \) can be almost freely chosen (there is only the constraint that \(0< \gamma \le 1\)), applying Theorem 1.1 to this subfamily will not tell us anything new (we will get the same three variable identity but with domain restricted to \(t\ge \sqrt{2}\)). However, certain members of this subfamily can give interesting two variable identities. As an example, we will choose the creation parameter to be \(\gamma =\frac{1}{2}\) (the inverse of the annihilation parameter \(a=2\)). For this process, we then have \(\tilde{q}=q\) and \(t=2\).

Substituting these values of \(\tilde{q}\) and t into Theorem 1.1 gives

$$\begin{aligned} 2\sum \limits _{\ell \in \mathbb {Z}} S_\text {even}(q,2)q^{\ell (\ell +1)}z^{2\ell }&= \prod \limits _{i\ge 1}(1+2q^{i}z+q^{2i}z^2)(1+2q^{i-1}z^{-1}+q^{2(i-1)}z^{-2})\\&\quad +\prod \limits _{i\ge 1}(1-2q^{i}z+q^{2i}z^2)(1-2q^{i-1}z^{-1}+q^{2(i-1)}z^{-2})),\\ \\ 4\sum \limits _{\ell \in \mathbb {Z}} S_\text {odd}(q,2)q^{(\ell +1)^2}z^{2\ell +1}&= \prod \limits _{i\ge 1}(1+2q^{i}z+q^{2i}z^2)(1+2q^{i-1}z^{-1}+q^{2(i-1)}z^{-2})\\&\quad -\prod \limits _{i\ge 1}(1-2q^{i}z+q^{2i}z^2)(1-2q^{i-1}z^{-1}+q^{2(i-1)}z^{-2})). \end{aligned}$$

Once again the quadratic terms on the RHS all factor and so we have proved the following identities

Theorem 4.2

$$\begin{aligned} 2\sum _{\ell \in \mathbb {Z}}S_{\text {even}}(q,2)q^{\ell (\ell +1)}z^{2\ell }&= \prod _{i\ge 1}((1+q^{i}z)(1+q^{i-1}z^{-1}))^2\\&\quad +\prod _{i\ge 1} ((1-q^{i}z)(1-q^{i-1}z^{-1}))^2\\ 4\sum _{\ell \in \mathbb {Z}}S_{\text {odd}}(q,2)q^{(\ell +1)^2}z^{2\ell +1}&=\prod _{i\ge 1}((1+q^{i}z)(1+q^{i-1}z^{-1}))^2\\&\quad -\prod _{i\ge 1}((1-q^{i}z)(1-q^{i-1}z^{-1}))^2. \end{aligned}$$

Again the first term on the RHS looks familiar and is part of the square of the product side of the Jacobi triple product. Indeed, if we assume Jacobi triple product, then we find that

$$\begin{aligned}\prod _{i\ge 1}((1+q^{i}z)(1+q^{i-1}z^{-1}))^2&= \left( \sum _{k\in \mathbb {Z}}\frac{1}{\prod _{i\ge 1}(1-q^{i})}q^{\frac{k(k+1)}{2}}z^k\right) ^2\\&=\sum _{k\in \mathbb {Z}}\left( \frac{1}{\prod _{i\ge 1}(1-q^{i})^2}\sum _{k'\in \mathbb {Z}}q^{\frac{k'(k'+1)}{2} + \frac{(k-k')(k-k'+1)}{2}}\right) z^k.\end{aligned}$$

The term corresponding to \(k=2\ell \) can be written as (using Jacobi triple product in the second equality, written as in the introduction but setting \(z=1\))

$$\begin{aligned}&\left( \frac{1}{\prod _{i\ge 1}(1-q^{i})^2}\sum _{k'\in \mathbb {Z}}q^{\frac{k'(k'+1)}{2} + \frac{(2\ell -k')(2\ell -k'+1)}{2}}\right) z^{2\ell }\\&\quad =\left( \frac{1}{\prod _{i\ge 1}(1-q^{i})^2}\sum _{k'\in \mathbb {Z}}q^{(k'-\ell )^2}\right) q^{\ell (\ell +1)}z^{2\ell }\\&\quad = \left( \prod _{i\ge 1}\frac{(1+q^{2i-1})^2(1-q^{2i})}{(1-q^{i})^2}\right) q^{\ell (\ell +1)}z^{2\ell }\\&\quad = \left( \prod _{i\ge 1}\frac{(1+q^{2i-1})^2(1+q^{i})}{(1-q^{i})}\right) q^{\ell (\ell +1)}z^{2\ell }.\end{aligned}$$

Similarly the term corresponding to \(k=2\ell +1\) can be written as (using Jacobi triple product in the second equality, written as in Sect. 3.3 but setting \(z=1\))

$$\begin{aligned}&\left( \frac{1}{\prod _{i\ge 1}(1-q^{i})^2}\sum _{k'\in \mathbb {Z}}q^{\frac{k'(k'+1)}{2} + \frac{(2\ell -k'+1)(2\ell -k'+2)}{2}}\right) z^{2\ell +1}\\&\quad =\left( \frac{1}{\prod _{i\ge 1}(1-q^{i})^2}\sum _{k'\in \mathbb {Z}}q^{(k'-\ell )(k'-\ell -1)}\right) q^{(\ell +1)^2}z^{2\ell +1}\\&\quad = 2\left( \prod _{i\ge 1}\frac{(1+q^{2i})^2(1-q^{2i})}{(1-q^{i})^2}\right) q^{(\ell +1)^2}z^{2\ell +1}\\&\quad = 2\left( \prod _{i\ge 1}\frac{(1+q^{2i})^2(1+q^{i})}{(1-q^{i})}\right) q^{(\ell +1)^2}z^{2\ell +1}.\end{aligned}$$

Thus, we see that, assuming Jacobi triple product, the identities are equivalent to the equalities

$$\begin{aligned}S_{\text {even}}(q,2)&= \prod _{i\ge 1}\frac{(1+q^{2i-1})^2(1+q^{i})}{(1-q^{i})},\\ S_{\text {odd}}(q,2)&= \prod _{i\ge 1}\frac{(1+q^{2i})^2(1+q^{i})}{(1-q^{i})}. \end{aligned}$$

As in the previous section, it would be interesting to find purely probabilistic proofs of these product forms. The more complicated nature of the products suggests that this is non-trivial.

Alternatively one could have not assumed Jacobi triple product in the above, but instead assumed Theorem 4.1. The identities would then give (non-trivial) relations between the four specialised normalising factors \(S_{\text {even}}(q,2), S_{\text {odd}}(q,2), S_{\text {even}}(q^4,[2]_q)\) and \(S_{\text {odd}}(q^4,[2]_q)\) that we would have proved probabilistically without additional assumptions.

While the identities in Theorem 4.2 might seem unnatural, they do have a combinatorial interpretation in terms of 2-coloured GFP’s. The product \(\prod _{i\ge 1}(1+q^i)^2\) is the generating function for coloured partitions of n into red/blue parts where each red/blue part appears at most once (for example we allow \(5={2}+{2}+{1}\) but not \(5={2}+{2}+{1}\)). The pair of 2-coloured partitions \({2}+{2}+{1}\) and \({2}+{2}+{1}\) are counted as the same in the above product, and so to avoid overcounting we favour a particular colour when listing repeats.

By the “General Principle” of Andrews, we have that:

$$\begin{aligned}\prod _{i\ge 1}((1+q^{i}z)(1+q^{i-1}z^{-1}))^2 = \sum _{k\in \mathbb {Z}}f_{C_2,C_2,k}(q)z^k,\end{aligned}$$

where \(f_{C_2,C_2,k}(q)\) is the generating function for the sets \(\text {GFP}_{C_2,C_2,k}(n)\) of GFP’s of n with offset k and each row being a 2-coloured partition.

The content of the above identities is then that

$$\begin{aligned}f_{C_2,C_2,k}(q) = {\left\{ \begin{array}{ll}S_{\text {even}}(q,2)q^{\ell (\ell +1)} &{} \text {if } k=2\ell ,\\ 2S_{\text {odd}}(q,2)q^{(\ell +1)^2} &{}\text {if } k=2\ell +1.\end{array}\right. }\end{aligned}$$

Thus, the two specialised normalising factors satisfy \(f_{C_2,C_2,-1}(q) = 2S_{\text {odd}}(q,2)\) and \(f_{C_2,C_2,0}(q) = S_{\text {even}}(q,2)\) and so have a natural combinatorial interpretation. These two base cases are both explicitly clear since we know from Sect. 3.3 that \(S_{\text {even}}(\tilde{q},t) = f_{D_2,D_2,0}(\tilde{q},t)\) and \(tS_{\text {odd}}(\tilde{q},t) = f_{D_2,D_2,-1}(\tilde{q},t)\), and each element of \(\text {GFP}_{D_2,D_2,0,m}(n)\) and \(\text {GFP}_{D_2,D_2,-1,m}(n)\) can be 2-coloured in \(2^m\) ways (exactly what is counted when setting \(t=2\)). The other offset cases can be proved in the usual fashion, by the equalities of generating functions:

$$\begin{aligned}f_{C_2,C_2,k}(q) = {\left\{ \begin{array}{ll}f_{C_2,C_2,0}(q)q^{\ell (\ell +1)} &{} \text {if } k=2\ell ,\\ f_{C_2,C_2,-1}(q)q^{(\ell +1)^2} &{}\text {if } k=2\ell +1.\end{array}\right. }\end{aligned}$$

(The proof follows from the maps \(\phi ^e_{\ell ,n}, \phi ^o_{\ell ,n}\) of Sect. 3.3, but by using coloured generalised Young diagrams).

The function \(f_{C_2,C_2,0}(q)\) is the function \(C\Phi _2(q)\) defined by Andrews on p.7 of [1]. Indeed, the specialised normalising factor is:

$$\begin{aligned}S_{\text {even}}(q,2) = 1+4q+9q^2+20q^3+42q^4+80q^5+147q^6+260q^7+445q^8+\cdots \end{aligned}$$

which agrees with the expansion of \(C\Phi _2(q)\) found on p.8 of the same book. In Corollary 5.2 of this book, Andrews uses Jacobi triple product to prove a product formula for \(C\Phi _2(q)\), which is equivalent to the product formula we found above for \(S_{\text {even}}(q,2)\). Andrews’ book only considers GFP’s with offset 0 and so does not give a similar analysis of the function \(f_{C_2,C_2,-1}(q)\). However, using MAGMA we were able to compute that

$$\begin{aligned}f_{C_2,C_2,-1}(q) = 2+4q+12q^2+24q^3+50q^4+92q^5+172q^6+296q^7+510q^8+\cdots \end{aligned}$$

which agrees with \(2S_{\text {odd}}(q,2)\), as expected, and appears to have the same coefficients as twice OEIS sequence A137829 [7], implying the product form we derived above.

The function \(C\Phi _2(q)\) is one of a family of functions \(C\Phi _k(q)\), counting GFP’s of offset 0 with rows having a similar condition to the above but with k colours. The whole family of functions is studied in Andrews’ book. In general they are not given by products but can be shown to be sums of products. It would be interesting to know whether there exists a k-state model for each k, whose stood up process and stationary blocking measures provide normalising factors relating to these functions (and their corresponding non-zero offset analogues).

Asymmetric 2-exclusion

Now we consider the asymmetric 2-exclusion process on \(\Omega \) with asymmetry parameter \(0<q<1\). The nonzero left/right jump rates are

$$\begin{aligned} p(\eta _i,\eta _{i+1})=\mathbb {I}\{\eta _i\ne 0\}\mathbb {I}\{\eta _{i+1}\ne 2\} \text {and} q(\eta _i,\eta _{i+1})=q\mathbb {I}\{\eta _{i+1}\ne 0\}\mathbb {I}\{\eta _{i}\ne 2\}. \end{aligned}$$

We show that this is a member of the blocking family. Conditions (B1) and (B2) clearly hold and the jump rates satisfy:

  1. (a)

    \(p(y,z)>q(z,y)\) for all \(y\in \{1,2\}\) and \(z\in \{0,1\},\)

  2. (b)

    \(\frac{p(1,0)}{q(0,1)}=q^{-1}=\frac{p(2,1)}{q(1,2)},\)

  3. (c)

    \(\frac{p(1,0)p(2,1)q(1,1)q(0,2)}{q(0,1)q(1,2)p(2,0)p(1,1)}=1.\)

Thus, (B3) is satisfied with the constants

$$\begin{aligned} p_\text {asym}=\frac{1}{1+q} \text {and} q_\text {asym}=\frac{q}{1+q}, \end{aligned}$$

and the functions,

$$\begin{aligned} f(z)=\mathbb {I}\{z \ne 0\}, s(y,z)= {\left\{ \begin{array}{ll} (1+q) &{}\text {for } y,z \in \{1,2\}, \\ 0 &{}\text {if } y=3 \text { or } z=3. \end{array}\right. } \end{aligned}$$

In this case, \(\tilde{q}=q\), \(t=1\) and we have a one-parameter family of product stationary blocking measures of the form

$$\begin{aligned} \underline{\mu }^c(\underline{\eta })=\prod \limits _{i \le 0}\frac{q^{-\eta _i(i-c)}}{(1+q^{-(i-c)}+q^{-2(i-c)})}\prod \limits _{i \ge 1}\frac{q^{(2-\eta _i)(i-c)}}{(1+q^{(i-c)}+q^{2(i-c)})}. \end{aligned}$$

Substituting the values of \(\tilde{q}\) and t into Theorem 1.1 gives

Theorem 4.3

$$\begin{aligned} 2\sum \limits _{\ell \in \mathbb {Z}} S_\text {even}(q,1)q^{\ell (\ell +1)}z^{2\ell }&= \prod \limits _{i\ge 1} \left( 1+q^{i}z+q^{2i}z^2\right) \left( 1+q^{i-1}z^{-1}+q^{2(i-1)}z^{-2}\right) \\&\quad +\prod \limits _{i\ge 1} \left( 1-q^{i}z+q^{2i}z^2\right) \left( 1-q^{i-1}z^{-1}+q^{2(i-1)}z^{-2}\right) \\ \\ 2 \sum \limits _{\ell \in \mathbb {Z}} S_\text {odd}(q,1)q^{(\ell +1)^2}z^{2\ell +1}&= \prod \limits _{i=1}^\infty \left( 1+q^{i}z+q^{2i}z^2\right) \left( 1+q^{i-1}z^{-1}+q^{2(i-1)}z^{-2}\right) \\ {}&\quad -\prod \limits _{i=1}^\infty \left( 1-q^{i}z+q^{2i}z^2\right) \left( 1-q^{i-1}z^{-1}+q^{2(i-1)}z^{-2}\right) . \end{aligned}$$

It is clear that this specialisation has a natural combinatorial meaning. Recall that in Sect. 3.3 we used the “General Principle” to expand

$$\begin{aligned}\prod _{i\ge 1}(1+tz\tilde{q}^i+z^2\tilde{q}^{2i})(1+tz^{-1}\tilde{q}^{i-1}+z^{-2}\tilde{q}^{2(i-1)}) = \sum _{k\in \mathbb {Z}}f_{D_2,D_2,k}(\tilde{q},t)z^k\end{aligned}$$

with \(f_{D_2,D_2,k}(\tilde{q},t)\) being the two variable generating function for the sets \(\text {GFP}_{D_2,D_2,k,m}(n)\) defined earlier. Setting \(t=1\) is naturally interpreted as not distinguishing GFP’s by their number of distinct parts per row, i.e. \(f_{D_2,D_2,k}(\tilde{q},1) = f_{D_2,D_2,k}(\tilde{q})\), the one variable generating function for the sets GFP\(_{D_2,D_2,k}(n)\). The content of the above identities is then that

$$\begin{aligned}f_{D_2,D_2,k}(q) = {\left\{ \begin{array}{ll}S_{\text {even}}(q,1)q^{\ell (\ell +1)} &{} \text {if } k=2\ell ,\\ S_{\text {odd}}(q,1)q^{(\ell +1)^2} &{} \text {if } k=2\ell +1. \end{array}\right. }\end{aligned}$$

The maps \(\psi ^e_{n}, \psi ^o_{n},\phi ^e_{\ell ,n}\) and \(\phi ^o_{\ell ,n}\) of Sect. 3.3 give explicit proofs for all of these equalities, as expected.

Let’s consider the two base cases in more detail. The function \(f_{D_2,D_2,0}(q)\) is the function \(\Phi _2(q)\) defined by Andrews on p.6 of [1]. The specialised even normalising factor is:

$$\begin{aligned}S_{\text {even}}(q,1) = 1+q+3q^2+5q^3+9q^4+14q^5+24q^6+35q^7+55q^8+\cdots \end{aligned}$$

which agrees with the expansion of \(\Phi _2(q)\) on p.7 of the same book, as expected. An interesting result in this book is Corollary 5.1, which uses the Jacobi triple product and other results to prove that

$$\begin{aligned}\Phi _2(q) = \frac{1}{\prod _{i\ge 1}(1-q^i)(1-q^{12i-10})(1-q^{12i-9})(1-q^{12i-3})(1-q^{12i-2})}.\end{aligned}$$

So the specialised even normalising factor can be expressed as the above product.

Andrews’ book only considers GFP’s with offset 0 and so does not give a similar analysis of the function \(f_{D_2,D_2,-1}(q)\). However, using MAGMA we were able to compute that

$$\begin{aligned}f_{D_2,D_2,-1}(q) = 1+2q+3q^2+6q^3+10q^4+16q^5+26q^6+40q^7+60q^8+\cdots \end{aligned}$$

which agrees with \(S_\text {odd}(q,1)\) and appears to have the same coefficients as OEIS sequence A201077 [8], implying that

$$\begin{aligned}&S_\text {odd}(q,1)=f_{D_2,D_2,-1}(q) \\&\quad = \frac{1}{\prod _{i\ge 1}(1-q^{2i-1})^2(1-q^{12i-8})(1-q^{12i-6})(1-q^{12i-4})(1-q^{12i})}.\end{aligned}$$

This discussion raises two interesting questions. Firstly, is there a probabilistic explanation for the above product forms? These products are quite complicated and it is not clear a priori that we should expect such a factorisation. It could be possible that there is an alternative way to stand up the 2-exclusion process, giving a more natural normalising factor. Secondly, in this case, the ASEP(q, 1) case and the 3-state model case the specialised normalising factors appear to be products. Could it be that the unspecialised normalising factors \(S_{\text {even}}(\tilde{q},t)\) and \(S_{\text {odd}}(\tilde{q},t)\) are products?

Asymmetric k-exclusion

It is natural to ask whether we can generalise the results of this paper to higher order particle systems with blocking measure. Unfortunately, as remarked in Sect. 3.2 the “stood up” process in general is not guaranteed to have a product stationary blocking measure. However, we will now see that the asymmetric k-exclusion processes for \(k\ge 1\) are sufficiently well behaved and lead to an interesting family of combinatorial identities, generalising the ones found in the 2-exclusion section.

The asymmetric k-exclusion process is the particle system with \(I=\{0,1,\ldots ,k\}, \Lambda =\mathbb {Z}\), asymmetry parameter \(0<q<1\) and jump rates

$$\begin{aligned} p(\eta _i,\eta _{i+1})=\mathbb {I}\{\eta _i\ne 0\}\mathbb {I}\{\eta _{i+1}\ne k\} \text {and} q(\eta _i,\eta _{i+1})=q\mathbb {I}\{\eta _{i+1}\ne 0\}\mathbb {I}\{\eta _{i}\ne k\}. \end{aligned}$$

We now show that this is member of the blocking family. Conditions (B1) and (B2) clearly hold so it suffices to check (B3). We see that the jump rates are described by the constants

$$\begin{aligned} p_\text {asym}=\frac{1}{1+q} q_\text {asym}=\frac{q}{1+q} \end{aligned}$$

and functions

$$\begin{aligned} f(z)=\mathbb {I}\{z\ne 0\} \text {and} s(y,z)= {\left\{ \begin{array}{ll} (1+q) &{} \text {for } y,z \in \{1,2,\ldots ,k\}, \\ 0 &{} \text {if } y=k+1 \text { or } z=k+1. \end{array}\right. } \end{aligned}$$

Thus, k-exclusion is a member of the blocking family and by Theorem 2.1 has one parameter family of product stationary blocking measures

$$\begin{aligned} \underline{\mu }^c(\underline{\eta })=\prod \limits _{i=-\infty }^0\frac{q^{-(i-c)\eta _i}}{Z_i^c(q)}\prod \limits _{i=1}^\infty \frac{q^{(k-\eta _i)(i-c)}}{q^{k(i-c)}Z_i^c(q)}, \end{aligned}$$

where \(Z_i^c(q)=\sum \limits _{y=0}^k q^{-(i-c)y}\) is the normalising factor.

By definition of the state space, every \(\underline{\eta }\in \Omega \) has a left most particle and a right most hole, i.e. \(\eta _i=0\) for small enough i and \(\eta _i=k\) for big enough i. By asymmetry, it then follows that the ground states of \(\Omega \) are all shifts of the following k ground states \(\underline{\eta }^{-m}\), for \(m \in \{0,1,\ldots ,k-1\}\) with

$$\begin{aligned} \eta _i^{-m}= {\left\{ \begin{array}{ll} 0 &{}\text { if } i<0, \\ m &{}\text { if } i=0, \\ k &{}\text { if } i>0. \end{array}\right. } \end{aligned}$$

See Fig. 11 for example when \(k=4\).

Fig. 11
figure 11

Four ground states of 4-exclusion

Ergodic decomposition of \(\Omega \)

The quantity \(N(\underline{\eta }):=\sum \limits _{i=1}^\infty (k-\eta _i)-\sum \limits _{i=-\infty }^0 \eta _i\) is finite and is conserved by the dynamics of the system. Thus, just as in Sect. 3.1 we can decompose \(\Omega =\bigcup _{n \in \mathbb {Z}}\Omega ^n\), into irreducible components \(\Omega ^n:=\{\underline{\eta } \in \Omega : N(\underline{\eta })=n\}\). Note now that the left shift operator \(\tau \) gives a bijection \(\Omega ^n \xrightarrow []{\tau } \Omega ^{n-k}\) (i.e. if \(\underline{\eta } \in \Omega ^n\) then, \(N(\tau \underline{\eta })=n-k\)).

Remark

Since \(N(\underline{\eta }^{-m})=-m\) for each \(m \in \{0,1,\ldots ,k-1\}\), the shifts of \(\underline{\eta }^{-m}\) have conserved quantity in \(k\mathbb {Z}-m \) and give the ground states for the \((-m \bmod k)\) part \(\bigcup _{n\in k\mathbb {Z}-m}\Omega ^n\) of \(\Omega \).

We now calculate \(\underline{\nu }^{n,c}(\cdot ):=\underline{\mu }^c(\cdot |N(\cdot )=n)\), the unique stationary distribution on \(\Omega ^n\).

Lemma 5.1

The following relation holds

$$\begin{aligned} \underline{\mu }^c(\tau \underline{\eta })=q^{kc-N(\underline{\eta })}\underline{\mu }^c( \underline{\eta }). \end{aligned}$$

This gives the recursion

$$\begin{aligned} \underline{\mu }^c(\{N=n\})=q^{n-kc}\underline{\mu }^c(\{N=n-k\}). \end{aligned}$$

The proof is similar to that of Lemma 3.1 (both claims are special cases of Lemma 6.1 and Corollary 6.2 in [3]).

The general solution of this recursion is

$$\begin{aligned} \underline{\mu }^c(\{N=n\})= & {} q^{\frac{(n+m)(n+k-m)}{2k}-(n+m)c}\underline{\mu }^c(\{N=-m\})\\&\quad \text { if } n \in k\mathbb {Z}-m \text { with } m \in \{0,1,\ldots ,k-1\}. \end{aligned}$$

Since there is a dependence on the class of n modulo k we will need to calculate the probabilities \(\underline{\mu }^c(\{N(\underline{\eta }) \equiv -m \bmod k\})\) for \(m \in \{0,1,\ldots ,k-1\}\) in order to finish our calculation of \(\underline{\nu }^{n,c}\).

Lemma 5.2

$$\begin{aligned} \underline{\mu }^c(\{N\equiv -m \bmod k\})=\frac{1}{k}\left( 1+\sum _{r=1}^{k-1}\zeta _k^{-rm}\left( \prod _{i=-\infty }^{\infty }\left( 1+\sum _{j=1}^{k-1}(\zeta _{k}^{rj}-1)\mu _i^c(j)\right) \right) \right) , \end{aligned}$$

where \(\zeta _k\) is a primitive \(k^\text {th}\) root of unity.

Proof

Define the partial conserved quantity

$$\begin{aligned} N_a(\underline{\eta })=\sum \limits _{i=1}^a(k-\eta _i)-\sum \limits _{i=-a}^0\eta _i \text {for } a\ge 1 \end{aligned}$$

and note that \(N_a(\underline{\eta })\rightarrow N(\underline{\eta })\) as \(a \rightarrow \infty \). Consider the character group

$$\begin{aligned} \widehat{\mathbb {Z}/k\mathbb {Z}}:=\text {Hom}\big (\mathbb {Z}/k\mathbb {Z}, \mathbb {C}^\times \big )=\{\chi _0,\chi _1,\ldots ,\chi _{k-1}\}, \end{aligned}$$

where \(\chi _i(1)=\zeta _k^i\) for \(i \in \{0,1,\ldots ,k-1\}\) and \(\zeta _k\) a primitive k-th root of unity. Note that \(\chi _i= \chi _1^i\).

For each \(a\ge 1\) we define the random variables

$$\begin{aligned} Y_a:=\chi _1(-N_a(\underline{\eta }))=\chi _1\big (\sum \limits _{i=-a}^a \eta _i\big )=\prod \limits _{i=-a}^a\chi _1(\eta _i). \end{aligned}$$

Since \(\eta _i \rightarrow 0\) as \(i\rightarrow -\infty \) and \(\eta _i \rightarrow k\) as \(i\rightarrow \infty \) we have that \(Y_a\rightarrow Y\) as \(a \rightarrow \infty \), where

$$\begin{aligned} Y:=\chi _1(-N(\underline{\eta }))=\chi _1(\sum \limits _{i=-\infty }^\infty \eta _i)=\prod \limits _{i=-\infty }^\infty \chi _1(\eta _i). \end{aligned}$$

We now compute the moments \(\mathbb {E}^c[Y^r]\) for \(r \in \{0,1,\ldots ,k-1\}\) (the expectation being with respect to \(\underline{\mu }^c\)). Since \(|Y_a|=1\) for all \(a\ge 1\), dominated convergence applies and by the product structure of \(\underline{\mu }^c\) we have that

$$\begin{aligned} \mathbb {E}^c[Y^r]=\lim \limits _{a\rightarrow \infty }\mathbb {E}^c[Y_a^r]=\prod \limits _{i=-\infty }^\infty \Big (\sum \limits _{j=0}^k\chi _1(j)^r\mu _i^c(j)\Big )=\prod \limits _{i=-\infty }^\infty \Big (\sum \limits _{j=0}^k\chi _r(j)\mu _i^c(j)\Big ). \end{aligned}$$

On the other hand, we have that

$$\begin{aligned} \mathbb {E}^c[Y^r]&=\sum \limits _{m=0}^{k-1}\chi _1(m)^r \underline{\mu }^c\big (-N(\underline{\eta }) \equiv m \bmod k\big )\\&=\sum \limits _{m=0}^{k-1}\chi _r(m)\underline{\mu }^c\big (N(\underline{\eta }) \equiv -m \bmod k\big ). \end{aligned}$$

Hence, we have the linear system of equations

$$\begin{aligned} \prod \limits _{i=-\infty }^\infty \Big (\sum \limits _{j=0}^k\chi _r(j)\mu _i^c(j)\Big )=\sum \limits _{m=0}^{k-1}\chi _r(m)\underline{\mu }^c\big (N(\underline{\eta }) \equiv -m \bmod k\big ). \end{aligned}$$

By orthogonality of characters, we get

$$\begin{aligned} \underline{\mu }^c(N(\underline{\eta })\equiv - m \bmod k)&=\frac{1}{k}\sum \limits _{r=0}^{k-1}\overline{\chi _r(m)}\Bigg (\prod \limits _{i=-\infty }^\infty \Big (\sum \limits _{j=0}^k\chi _r(j)\mu _i^c(j)\Big )\Bigg )\\&=\frac{1}{k}\sum \limits _{r=0}^{k-1}\chi _r(-m)\Bigg (\prod \limits _{i=-\infty }^\infty \Big (\sum \limits _{j=0}^k\chi _r(j)\mu _i^c(j)\Big )\Bigg )\\&= \frac{1}{k}\sum _{r=0}^{k-1}\zeta _k^{-rm}\left( \prod _{i=-\infty }^{\infty }\left( \sum _{j=0}^{k}\zeta _k^{rj}\mu _i^c(j)\right) \right) \\&=\frac{1}{k}\left( 1+\sum _{r=1}^{k-1}\zeta _k^{-rm}\left( \prod _{i=-\infty }^{\infty }\left( 1+\sum _{j=1}^{k-1}(\zeta _{k}^{rj}-1)\mu _i^c(j)\right) \right) \right) . \end{aligned}$$

\(\square \)

Remark

A priori this appears to be complex-valued. However, it is in fact real valued since it is fixed by complex conjugation. When \(k=2\) this is clearly real valued and agrees with Lemma 3.2 (recalling that \(t=1\) for 2-exclusion).

If we combine Lemma 5.1 and Lemma 5.2, we find the form of the unique stationary distribution \(\underline{\nu }^{n,c}\) on \(\Omega ^n\).

Proposition 5.3

For \(n \in k\mathbb {Z}-m\) with \(m \in \{0,1,\ldots ,k-1\}\), the stationary distribution on \(\Omega ^n\) is given by

$$\begin{aligned} \underline{\nu }^{n,c}(\underline{\eta })=\frac{k\sum \limits _{\ell \in \mathbb {Z}} q^{\frac{k\ell (\ell +1)}{2}-m\ell -k\ell c} \prod \limits _{i=-\infty }^0\frac{q^{-(i-c)\eta _i}}{Z_i^c(q)}\prod \limits _{i=1}^\infty \frac{q^{(k-\eta _i)(i-c)}}{q^{k(i-c)}Z_i^c(q)} \mathbb {I}\{N(\underline{\eta })=n\}}{q^{\frac{(n+m)(n+k-m)}{2k}-(n+m)c}\left( 1+\sum _{r=1}^{k-1}\zeta _k^{-rm}\left( \prod _{i=-\infty }^{\infty }\left( 1+\sum _{j=1}^{k-1}(\zeta _{k}^{rj}-1)\mu _i^c(j)\right) \right) \right) }. \end{aligned}$$

Remark

As in Sect. 3.1, these distributions are independent of c but we will need to stress the dependence of both the numerator and denominator on c.

Notice that \(1+\sum _{j=1}^{k-1}(\zeta _k^{rj}-1)\mu _i^c(j) = \frac{\sum _{j=0}^{k}\zeta _k^{rj}q^{-j(i-c)}}{Z_i^c(q)}\) for each \(r\in \{1,\ldots ,k-1\}\). Defining \(W_{i,r}^c(q) := \sum _{j=0}^{k}\zeta _k^{rj}q^{-j(i-c)}\) for each such r we can write \(\underline{\nu }^{n,c}\) as

$$\begin{aligned}&\underline{\nu }^{n,c}(\underline{\eta })\\&=\frac{k\sum \limits _{\ell \in \mathbb {Z}} q^{\frac{k\ell (\ell +1)}{2}-m\ell -k\ell c} \prod \limits _{i=-\infty }^0 q^{-(i-c)\eta _i}\prod \limits _{i=1}^\infty q^{(k-\eta _i)(i-c)}\mathbb {I}\{N(\underline{\eta })=n\}}{q^{\frac{(n+m)(n+k-m)}{2k}-(n+m)c}\left( \prod _{i\ge 1}q^{k(i-c)}Z_{-i+1}^c(q)Z_i^c(q)+\sum _{r=1}^{k-1}\zeta _k^{-rm}\left( \prod _{i\ge 1}q^{k(i-c)}W_{-i+1,r}^c(q)W_{i,r}^c(q)\right) \right) }. \end{aligned}$$

when \(n\in k\mathbb {Z}-m\) with \(m\in \{0,1,\ldots ,k-1\}\).

Remark

When \(k=2\), there is only the possibility \(r=1\) and \(W_{i,1}^c(q) = W_i^c(q,1)\), as expected (here \(W_i^c(q,t)\) is the function defined in Sect. 3.1). The corresponding stationary distributions then agree with the ones for 2-exclusion given by Proposition 3.3 (after setting \(t=1\)).

Standing up/laying down

In this section, we transfer the dynamics on \(\Omega ^n\) to that of a restricted particle system on \(\mathbb {Z}_{\ge 0}^{\mathbb {Z}_{< 0}}\) by using the same “standing up” method as described in Sect. 3.2. By doing this we obtain an alternative characterisation of the stationary distributions given in Proposition 5.3.

We recall the standing up map. Given \(\underline{\eta } \in \Omega ^n\) let \(S_r\) being the site of the \(r^\text {th}\) particle when reading left to right, bottom to top. The corresponding stood up state is then \(T^n(\underline{\eta })=\underline{\omega }\in \mathbb {Z}_{\ge 0}^{\mathbb {Z}_{< 0}}\), with \(\omega _{-r}=S_{r+1}-S_r\). See Fig. 12 for an example with \(k=4\).

Fig. 12
figure 12

Standing up map on 4-exclusion

A priori the “standing up” map \(T^n\) is an injection into \(\mathbb {Z}_{\ge 0}^{\mathbb {Z}_{<0}}\). However, since \(\eta _i\le k\) for all i, the image of \(T^n\) lies in the restricted state space

$$\begin{aligned} \mathcal {H}':=\{\underline{\omega } \in \mathbb {Z}_{\ge 0}^{\mathbb {Z}_{< 0}}: \omega _{-i}=\omega _{-i-1}=\cdots =\omega _{-i-(k-2)}=0 \Rightarrow \omega _{-i-(k-1)} \ne 0, \forall i>0\}. \end{aligned}$$

Since \(\eta _i=k\) for i large \(\underline{\omega }\) must coincide far to the left with one of the following states \(\underline{\omega }^{-m}\), for \(m \in \{0,1,\ldots ,k-1\}\), defined by \(\omega ^{-m}_{-i}=\mathbb {I}\{i \in k\mathbb {Z}+m\}\) (Fig. 13). More precisely, m is uniquely determined by \(n\in k\mathbb {Z}-m\).

Fig. 13
figure 13

Four ground states of stood up 4-exclusion

Remark

Note that all shifts of the ground state \(\underline{\eta }^{-m}\in \Omega ^{-m}\) stand up to give \(\underline{\omega }^{-m}\) for each \(m \in \{0,1,\ldots ,k-1\}\). This is in direct analogy with the 2-exclusion case.

We now see that the image of \(T^n\) lies in \(\mathcal {H}:=\bigcup \limits _{m =0}^{k-1}\mathcal {H}^{-m}\), where the disjoint sets \(\mathcal {H}^{-m}\) are defined as

$$\begin{aligned} \mathcal {H}^{-m} := \{\underline{\omega } \in \mathcal {H}' : \exists N > 0 \text { s.t } \omega _{-i}=\omega _{-i}^{-m} \forall i \ge N\}. \end{aligned}$$

Given \(\underline{\omega } \in \mathcal {H}^{-m}\) we let \(D_{-m}(\underline{\omega })\) be the minimum such N in the above.

Lemma 5.4

For \(n\in k\mathbb {Z}-m\) with \(m\in \{0,1,\ldots ,k-1\}\), we have \(T^n(\Omega ^n) = \mathcal {H}^{-m}\).

Proof

It suffices to show surjectivity of \(T^n\) for each n.

Take \(n\in k\mathbb {Z}-m\) and \(\omega \in \mathcal {H}^{-m}\), then construct the state \(\eta \in \Omega ^n\) having LMP at site

$$\begin{aligned} S_1=\frac{n+D_{-m}(\underline{\omega })-\mathbb {I}\{D_{-m}(\underline{\omega })\notin k\mathbb {Z}-m\}}{k}+1-\sum \limits _{i=1}^{D_{-m}(\underline{\omega })}\omega _{-i} \end{aligned}$$

and \(r^\text {th}\) particle at site \(S_r=S_{r-1}+\omega _{1-r}\). It is clear that \(T^n(\underline{\eta })=\underline{\omega }\) and hence \(T^n\) is surjective. \(\square \)

Just as before we call these inverse maps the “laying down“ maps.

Using the “standing up” maps we define a particle system on \(\mathcal {H}\) whose dynamics are inherited from those on \(\Omega \). In particular right jumps in \(\underline{\eta }\) correspond to right jumps in \(\underline{\omega }\) and similarly for left jumps. The explicit right/left jump rates are given in Table 4 for \(r \ge 2\).

Table 4 Jump rates \(p_\omega (\omega _{-r}, \omega _{-r+1})\) and \(q_\omega (\omega _{-r},\omega _{-r+1})\), respectively

Since the “stood up ” process is only defined on the negative half integer line, we must consider what happens at the boundary site. As in Sect. 3.2, we will consider an open infinite type boundary (Table 5).

Table 5 Boundary jump rates for the stood up process, \(\underline{\omega }\)

To find the stationary distribution for the “stood up” process, we first consider the unrestricted process \(\underline{\omega }^* \in \mathbb {Z}_{\ge 0}^{\mathbb {Z}_{<0}}\), i.e. the process described by the same jump rates as \(\underline{\omega }\) but where the number of consecutive zeros is not restricted. It is clear that the unrestricted process is simply the zero-range process which is a member of the blocking family [3], with one parameter family of blocking measures given by the marginals

$$\begin{aligned} \pi _{-i}^{*,\hat{c}}(z)=q^{(i+\hat{c})z}(1-q^{(i+\hat{c})}). \end{aligned}$$

By considering dynamics at the boundary, we can fix the value of \(\hat{c}\) and so have a single product blocking measure. We suppose that \(\underline{\pi }^{*,\hat{c}}\) satisfies detailed balance over this boundary edge, i.e.

$$\begin{aligned} \pi _{-1}^{*,\hat{c}}(y)\cdot \text {``rate into the boundary''}=\pi _{-1}^{*,\hat{c}}(y-1)\cdot \text {`` rate out of the boundary''} \quad \text {for all } y\ge 1. \end{aligned}$$

Thus, for all \(y \ge 1\) we have

$$\begin{aligned} q^{(1+\hat{c})y}(1-q^{(i-c)})=q^{(1+\hat{c})(y-1)}(1-q^{(i-c)})q \end{aligned}$$

and hence \(\hat{c} = 0\), giving the stationary blocking measure

$$\begin{aligned} \underline{\pi }^*(\underline{\omega }^*)=\prod \limits _{i \ge 1}q^{i\omega ^*_{-i}}(1-q^{i}). \end{aligned}$$

Now that we have the stationary distribution for the unrestricted process we consider the restriction to \(\mathcal {H}\) and find the stationary measure. Recall that \(\mathcal {H}=\bigcup \limits _{m=0}^{k-1}\mathcal {H}^{-m}\), and note that for each \(\mathcal {H}^{-m}\) is the irreducible component of the ground state \(\underline{\omega }^{-m}\). We define stationary measures \(\underline{\pi }^{-m}\) on these irreducible components in terms of \(\underline{\pi }^*\). It seems natural to define these measures as \(\underline{\pi }^{-m}(\cdot )=\underline{\pi }^*(\cdot |\cdot \in \mathcal {H}^{-m})\). However, w.r.t \(\underline{\pi }^*\) the probability of being in any irreducible component is zero and so these quantities are undefined. To rectify this, we use a similar formal reasoning as we did in Sect. 3.2 in order to give the stationary distributions in the following form:

$$\begin{aligned} \underline{\pi }^{-m}(\underline{\omega })=\frac{\prod \limits _{i\ge 1}\phi _{-i}^{-m}(\omega _{-i})\mathbb {I}\{\underline{\omega }\in \mathcal {H}^{-m}\}}{\sum \limits _{\underline{\omega }'\in \mathcal {H}^{-m}}\prod \limits _{i\ge 1}\phi _{-i}^{-m}(\omega '_{-i})}, \end{aligned}$$

where

$$\begin{aligned} \phi _{-i}^{-m}(\omega _{-i}) = \frac{\pi _{-i}^*(\omega _{-i})}{\pi _{-i}^*(\omega _{-i}^{-m})}= {\left\{ \begin{array}{ll} q^{i(\omega _{-i}-1)} &{}\text {if } i \in k\mathbb {Z}+m ,\\ q^{i\omega _{-i}} &{}\text {otherwise}. \end{array}\right. } \end{aligned}$$

These are given explicitly in the following proposition.

Proposition 5.5

For each \(m\in \{0,1,\ldots ,k-1\}\) the unique stationary measure on \(\mathcal {H}^{-m}\) is

$$\begin{aligned} \underline{\pi }^{-m}(\underline{\omega })=\frac{q^{\sum \limits _{i \notin k \mathbb {Z}+m}i\omega _{-i}+\sum \limits _{i \in k \mathbb {Z}+m}i(\omega _{-i}-1)}}{S_{-m}^{(k)}(q)}, \end{aligned}$$

where \(S_{-m}^{(k)}(q)=\sum \limits _{\underline{\omega }'\in \mathcal {H}^{-m}}q^{\sum \limits _{i \notin k \mathbb {Z}+m}i\omega _{-i}'+\sum \limits _{i \in k \mathbb {Z}+m}i(\omega _{-i}'-1)}\) is the normalising factor with respect to \(\mathcal {H}^{-m}\).

Proof

The result once again follows from Proposition 5.10 of [6] since each \(\underline{\pi }^{-m}\) is a restriction of \(\underline{\pi }^*\). \(\square \)

Identities

By Lemma 5.4, the standing up transformation \(T^n\) describes a bijection between \(\Omega ^n\) and \(\mathcal {H}^{-m}\), for the unique value \(m\in \{0,1,\ldots ,k-1\}\) such that \(n\in k\mathbb {Z}-m\). Since \(T^n\) preserves the dynamics of the corresponding processes, we get an equality of measures, \(\underline{\nu }^{n,c}(\underline{\eta }) = \underline{\pi }^{-m}(T^n(\underline{\eta }))\) for this value of m.

Recall that k-exclusion has k ground states up to shift; \(\underline{\eta }^{-m}\in \Omega ^{-m}\) for \(m \in \{0,1,\ldots ,k-1\}\), satisfying \(T^{-m}(\underline{\eta }^{-m}) = \underline{\omega }^{-m}\). Thus, \(\underline{\nu }^{-m,c}(\underline{\eta }^{-m}) = \underline{\pi }^{-m}(\underline{\omega }^{-m})\) and so by Proposition 5.3 and Proposition 5.5 we have the following identities for \(m\in \{0,1,\ldots ,k-1\}\) (after rearrangement):

$$\begin{aligned}k\sum \limits _{\ell \in \mathbb {Z}}S_{-m}^{(k)}(q) q^{\frac{k\ell (\ell +1)}{2}-m\ell -(k\ell -m)c}&=\prod _{i\ge 1}q^{k(i-c)}Z_{-i+1}^c(q)Z_i^c(q)\\&\quad + \sum _{r=1}^{k-1}\zeta _k^{-rm}\left( \prod _{i\ge 1}q^{k(i-c)}W_{-i+1,r}^c(q)W_{i,r}^c(q)\right) .\end{aligned}$$

Writing \(Z_{i}^c(q)\) and \(W_{i,r}^c(q)\) explicitly and letting \(z=q^{-c}\) proves the following identities.

Theorem 1.3

For \(0<q<1\), \(z\ne 0\) and \(m\in \{0,1,\ldots ,k-1\}\)

$$\begin{aligned}&k\sum \limits _{\ell \in \mathbb {Z}}S_{-m}^{(k)}(q) q^{\frac{k\ell (\ell +1)}{2}-m\ell }z^{k\ell -m}\\&\quad = \sum _{r=0}^{k-1}\zeta _k^{-rm}\left( \prod _{i\ge 1}\left( \sum _{\alpha =0}^k \zeta _k^{-\alpha r}q^{\alpha i}z^{\alpha }\right) \left( \sum _{\alpha =0}^k \zeta _k^{\alpha r}q^{\alpha (i-1)}z^{-\alpha }\right) \right) .\end{aligned}$$

Remark

When \(k=2\), these agree with the two identities coming from 2-exclusion in Theorem 4.3.

We now discuss the combinatorial significance of these identities. Note first that \(\prod _{i\ge 1}(1+q^i+q^{2i}+\cdots q^{k})\) is the generating function for ordinary partitions of n with each part appearing at most k times. By the “General Principle” of Andrews, we can then interpret the first term on the RHS as:

$$\begin{aligned}&\prod _{i\ge 1}(1+q^{i}z+q^{2i}z^2+\cdots +q^{ki}z^k)(1+q^{i-1}z^{-1}+q^{2(i-1)}z^{-2}+\cdots +q^{k(i-1)}z^{-k})\\&\quad = \sum _{k'\in \mathbb {Z}}f_{D_k,D_k,k'}(q)z^{k'} \end{aligned}$$

where \(f_{D_k,D_k,k'}(q)\) is the generating function for \(\text {GFP}_{D_k,D_k,k'}(n)\). The function \(f_{D_k,D_k,0}(q)\) is the function \(\Phi _k(q)\) defined by Andrews on p.6 of [1] (the special case \(k=2\) appeared earlier when considering 2-exclusion). The case of nonzero offset is not considered in the book.

Fig. 14
figure 14figure 14

Bijections \(\psi ^{(0)}_{29}\), \(\psi ^{(1)}_{25}\) and \(\psi _{19}^{(2)}\) (cont.)

The other terms on the RHS might look unwieldy at first glance but are in fact the above but with change of variables \(z \mapsto \zeta _k^{-r}z\). We saw this in all previous examples; \(\zeta _2 = -1\) and this was providing the sign changes in the identities, the purpose of which were to isolate odd/even terms of another identity. Here we have the same behaviour, but now we are using kth roots of unity to isolate the \(z^{k'}\) terms where \(k'\) lies in a fixed class mod k. To justify this we expand the whole RHS; for \(m\in \{0,1,\ldots ,k-1\}\), we have

$$\begin{aligned}&\sum _{r=0}^{k-1}\zeta _k^{-rm}\left( \prod _{i\ge 1}\left( \sum _{\alpha =0}^k \zeta _k^{-\alpha r}q^{\alpha i}z^{\alpha }\right) \left( \sum _{\alpha =0}^k \zeta _k^{\alpha r}q^{\alpha (i-1)}z^{-\alpha }\right) \right) \\&\quad = \sum _{r=0}^{k-1}\zeta _k^{-rm}\left( \sum _{k'\in \mathbb {Z}}\zeta _k^{-rk'}f_{D_k,D_k,k'}(q)z^{k'}\right) \\&\quad = \sum _{k'\in \mathbb {Z}}\left( \sum _{r=0}^{k-1}\zeta _k^{-r(m+k')}\right) f_{D_k,D_k,k'}(q)z^{k'}\\&\quad = k\sum _{k'\equiv -m \bmod k}f_{D_k,D_k,k'}(q)z^{k'}.\end{aligned}$$

Given the above, we now see that our identities are equivalent to the equalities

$$\begin{aligned}f_{D_k,D_k,k'}(q) =S_{-m}^{(k)}(q)q^{\frac{k\ell (\ell +1)}{2}-m\ell }\quad \text { if } k'=k\ell -m \text { with } m\in \{0,1,\ldots k-1\}.\end{aligned}$$

Once again, we have proved this probabilistically but are also interested in explicit combinatorial explanations. In a similar vein to 2-exclusion, we find that there are k base cases, \(f_{D_k,D_k,-m}(q) = S_{-m}^{(k)}(q)\) for \(m\in \{0,1,\ldots ,k-1\}\). These can be proved by adapting the maps \(\psi ^e_{n}, \psi ^o_{n}\) of Sect. 3.3 to give maps:

$$\begin{aligned}\psi ^{(m)}_{n} : \left\{ \underline{\omega }\in \mathcal {H}^{-m}\,:\,\sum _{i\notin k\mathbb {Z}+m}i\omega _{-i} + \sum _{i \in k\mathbb {Z}+m}i(\omega _{-i}-1) = n\right\} \rightarrow \text {GFP}_{D_k,D_k,-m}(n),\end{aligned}$$

for \(n\ge 0\) and \(m\in \{0,1,\ldots ,k-1\}\).

We must first describe the process of assigning generalised Young diagrams to GFP’s with the k-repetition condition. An element of \(\text {GFP}_{D_k,D_k,-m}(n)\) with \(m\in \{0,1,\ldots ,k-1\}\) can be assigned a generalised Young diagram on the set of points \(C_{m}=\{(n_1,n_2)\in \mathbb {Z}^2\,|\, n_1+n_2\equiv m \bmod k\}\) as follows. The subset corresponding to such an element with \(s_1\) entries on the top row consists of the \(s_1\) leading diagonal points \((m+1,-1),(m+2,-2),\ldots ,(m+s_1,-s_1)\), the first \(a_i\) points of \(C_{m}\) to the right of \((m+i,-i)\) and the first \(b_i\) points of \(C_{m}\) under \((i,m-i)\). Note that the points \((i,m-i)\) for \(1\le i \le m\) are not included.

The maps \(\psi ^{(m)}_n\) are then defined in a similar fashion to \(\psi ^{e}_n, \psi ^{o}_n\). In the following, we use the notation \(r_{(m)}\) to stand for a wave of length r on \(C_m\), a shift of the points of \(C_m\) enclosed in the rectangle with opposite corners \((1,-1),(r,-k)\). Given \(\underline{\omega }\in \mathcal {H}^{-m}\), the map \(\psi ^{(m)}_n\) stacks \((\omega _{-i}-\mathbb {I}\{i\equiv m \bmod k\})\) copies of the wave \(i_{(m)}\) (whenever this is non-negative) vertically in increasing order and then removes a point from the bottom of each of the columns \(1,2,\ldots ,i\) for each \(i\equiv m \bmod k\) such that \(\omega _{-i} = 0\) (giving the generalised Young diagram of an element of \(\text {GFP}_{D_k,D_k,-m}(n)\)). See Fig. 14 for an example when \(k=3\) (as earlier, points are labelled as black squares). It is possible to check that these maps are bijections, but as before this is tedious and is left to the reader.

The cases for other offset can be proved in the usual fashion, by proving the equalities of generating functions:

$$\begin{aligned}f_{D_k,D_k,k'}(q) = f_{D_k,D_k,-m}(q)q^{\frac{k\ell (\ell +1)}{2}-m\ell }\quad \text { if } k'=k\ell -m \text { with } m\in \{0,1,\ldots k-1\}.\end{aligned}$$

These follow naturally from a generalisation of Wright’s bijection and the bijections \(\phi ^e_{\ell ,n}, \phi ^o_{\ell ,n}\) of Sect. 3.3, i.e. bijections

$$\begin{aligned}\phi _{\ell ,n}^{(m)}:\text {GFP}_{D_k,D_k,-m}(n)\rightarrow \text {GFP}_{D_k,D_k,k\ell -m}\left( n+\frac{k\ell (\ell +1)}{2}-m\ell \right) \end{aligned}$$

for each \(\ell \in \mathbb {Z}\) and \(m\in \{1,2,\ldots ,k-1\}\) as follows. Given an element \(\text {GFP}_{D_k,D_k,-m}(n)\), the map \(\phi ^{(m)}_{\ell ,n}\) adds the points inside the right angled triangle of size \(\frac{|k\ell -m|(|k\ell -m|+1)}{2}\) attached to either the left or top edge of its generalised Young diagram, depending on whether \(\ell \ge 0\) or \(\ell <0\), respectively. It then uses the new leading diagonal implied by the triangle to read off an element of \(\text {GFP}_{D_k,D_k,k\ell -m}\left( n+\frac{k\ell (\ell +1)}{2}-m\ell \right) \). See Fig. 15 for examples when \(k=3\).

Fig. 15
figure 15

Bijections \(\phi _{2,23}^{(0)}\), \(\phi _{1,23}^{(1)}\) and \(\phi _{1,23}^{(2)}\)

In general not much is known about the functions \(f_{D_k,D_k,k'}(q)\) for arbitrary k and \(k'\). As mentioned earlier, the functions \(\Phi _k(q) (=f_{D_k,D_k,0}(q))\) are studied in Andrews’ book [1], and we saw that \(\Phi _1(q)\) and \(\Phi _2(q)\) have product expansions (which gave us product expansions for the specialised normalising factors). It turns out that \(\Phi _3(q)\) also has a product expansion (proved in Corollary 5.1 of [1], assuming Jacobi triple product) and so \(S_0^{(3)}(q)\) can be written as:

$$\begin{aligned}&S_0^{(3)}(q)=\Phi _3(q)\\&\quad = 1+q+3q^2+6q^3+11q^4+18q^5+31q^6+49q^7+78q^8+\cdots \\&\quad =\prod _{i\ge 1}\frac{(1-q^{12i-6})}{(1-q^{6i-5})(1-q^{6i-4})^2(1-q^{6i-3})^3(1-q^{6i-2})^2(1-q^{6i-1})(1-q^{12i})}.\end{aligned}$$

As in the 2-exclusion case, it would be interesting to know if this could be proved using purely probabilistic methods. It would also be interesting to know whether the other functions \(f_{D_3,D_3,-1}(q)\) and \(f_{D_3,D_3,-2}(q)\) are products, as this would imply that the normalising factors \(S_{-1}^{(3)}(q)\) and \(S_{-2}^{(3)}(q)\) are products.

For \(k\ge 4\), the functions \(\Phi _k(q)\) are not expected to be products, but can be shown to be sums of products. However, the formulae are very tedious to write down and probably not too illuminating.

We finish with another natural question. We have seen that the family of (non-degenerate) nearest neighbour interacting 0-1-2 systems on \(\mathbb {Z}\) satisfying the blocking measure axioms can be stood up in a uniform way, leading to three variable Jacobi style identities. By specialising to the case of 2-exclusion, we then get two variable identities that are a special case of Theorem 1.3 (setting \(k=2\)). Is there a family of 0-1-\(\cdots \)-k processes for each k that is nicely behaved (i.e. has blocking measure and can be uniformly stood up) giving a multivariable identity that explains all cases of Theorem 1.3? In general we cannot expect the whole family of 0-1...-k systems on \(\mathbb {Z}\) to be this well behaved (the stood up processes no longer have nearest neighbour interactions). However, there could be a low-dimensional subfamily of processes for each k that works.

References

  1. Andrews, G.: Generalized Frobenius partitions. Am. Math. Soc. 49(301), 66 (1984)

    MathSciNet  MATH  Google Scholar 

  2. Balázs, M.: Growth fluctuations in a class of deposition models. Ann. Inst. H. Poincaré Probab. Stat. 39(4), 639–685 (2003)

    MathSciNet  Article  Google Scholar 

  3. Balázs, M., Bowen, R.: Product blocking measures and a particle system proof of the Jacobi triple product. Ann. Inst. H. Poincaré Probab. Stat. 54(1), 514–528 (2018)

    MathSciNet  Article  Google Scholar 

  4. Carinci, G., Giardiná, C., Redig, F., Sasamoto, T.: A generalized asymmetric exclusion process with \(U_q(\mathfrak{sl}_2)\) stochastic duality. Probab. Theory Relat. Fields 166, 887–933 (2016)

    Article  Google Scholar 

  5. Engländer, J., Volkov, S.: Turning a coin over instead of tossing it. J. Theor. Probab. 31(2), 1097–1118 (2018)

    MathSciNet  Article  Google Scholar 

  6. Liggett, T.: Interacting Particle Systems. Classics in Mathematics, Sprigner, Berlin (2005)

    Book  Google Scholar 

  7. Online Encyclopedia of Integer Sequences (A\(137829\)). https://oeis.org/A137829

  8. Online Encyclopedia of Integer Sequences (A\(201077\)). https://oeis.org/A201077

Download references

Acknowledgements

The authors are grateful for discussions with János Engländer regarding the parity of the sum of Bernoulli random variables and for suggestions of an anonymous referee regarding the combinatorial background of our identities. M. Balázs was partially supported by the EPSRC EP/R021449/1 Standard Grant of the UK. On behalf of all authors, the corresponding author states that there is no conflict of interest and that there are no associated data for this manuscript.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jessica Jay.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix A

Appendix A

The following are the non-empty sets \(\text {GFP}_{D_2,D_2,0,m}(n)\) for \(0\le n\le 8\), whose sizes agree with the coefficients in the expansion of \(S_{\text {even}}(\tilde{q},t)\) given in Sect. 3.3.

$$\begin{aligned} \text {GFP}_{D_2,D_2,0,0}(0)= & {} \left\{ \left( {\begin{array}{c}-\\ -\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,2}(1)= & {} \left\{ \left( {\begin{array}{c}0\\ 0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,0}(2)= & {} \left\{ \left( {\begin{array}{c}0\,0\\ 0\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,2}(2)= & {} \left\{ \left( {\begin{array}{c}1\\ 0\end{array}}\right) , \left( {\begin{array}{c}0\\ 1\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,2}(3)= & {} \left\{ \left( {\begin{array}{c}2\\ 0\end{array}}\right) , \left( {\begin{array}{c}1\\ 1\end{array}}\right) , \left( {\begin{array}{c}0\\ 2\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 1\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,0}(4)= & {} \left\{ \left( {\begin{array}{c}1\,1\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 1\,1\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,2}(4)= & {} \left\{ \left( {\begin{array}{c}3\\ 0\end{array}}\right) , \left( {\begin{array}{c}2\\ 1\end{array}}\right) , \left( {\begin{array}{c}1\\ 2\end{array}}\right) , \left( {\begin{array}{c}0\\ 3\end{array}}\right) , \left( {\begin{array}{c}2\,0\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 2\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,4}(4)= & {} \left\{ \left( {\begin{array}{c}1\,0\\ 1\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,2}(5)= & {} \left\{ \left( {\begin{array}{c}4\\ 0\end{array}}\right) , \left( {\begin{array}{c}3\\ 1\end{array}}\right) , \left( {\begin{array}{c}2\\ 2\end{array}}\right) , \left( {\begin{array}{c}1\\ 3\end{array}}\right) , \left( {\begin{array}{c}0\\ 4\end{array}}\right) , \left( {\begin{array}{c}3\,0\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}2\,1\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}1\,1\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 1\,1\end{array}}\right) ,\left( {\begin{array}{c}0\,0\\ 2\,1\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 3\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 1\,0\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,4}(5)= & {} \left\{ \left( {\begin{array}{c}2\,0\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 2\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,0}(6)= & {} \left\{ \left( {\begin{array}{c}2\,2\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}1\,1\\ 1\,1\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 2\,2\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,2}(6)= & {} \bigg \{\left( {\begin{array}{c}5\\ 0\end{array}}\right) , \left( {\begin{array}{c}4\\ 1\end{array}}\right) , \left( {\begin{array}{c}3\\ 2\end{array}}\right) , \left( {\begin{array}{c}2\\ 3\end{array}}\right) , \left( {\begin{array}{c}1\\ 4\end{array}}\right) , \left( {\begin{array}{c}0\\ 5\end{array}}\right) , \left( {\begin{array}{c}4\,0\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}3\,1\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}2\,0\\ 1\,1\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}1\,1\\ 2\,0\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 3\,1\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 4\,0\end{array}}\right) , \left( {\begin{array}{c}2\,0\,0\\ 1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}1\,1\,0\\ 1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 1\,1\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 2\,0\,0\end{array}}\right) \bigg \}, \\ \text {GFP}_{D_2,D_2,0,4}(6)= & {} \left\{ \left( {\begin{array}{c}3\,0\\ 1\,0\end{array}}\right) ,\left( {\begin{array}{c}2\,1\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}2\,0\\ 2\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 2\,1\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 3\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,2}(7)= & {} \bigg \{\left( {\begin{array}{c}6\\ 0\end{array}}\right) ,\left( {\begin{array}{c}5\\ 1\end{array}}\right) , \left( {\begin{array}{c}4\\ 2\end{array}}\right) , \left( {\begin{array}{c}3\\ 3\end{array}}\right) , \left( {\begin{array}{c}2\\ 4\end{array}}\right) , \left( {\begin{array}{c}1\\ 5\end{array}}\right) , \left( {\begin{array}{c}0\\ 6\end{array}}\right) , \left( {\begin{array}{c}5\,0\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}4\,1\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}3\,2\\ 0\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}2\,2\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}3\,0\\ 1\,1\end{array}}\right) , \left( {\begin{array}{c}2\,1\\ 1\,1\end{array}}\right) ,\left( {\begin{array}{c}1\,1\\ 2\,1\end{array}}\right) ,\left( {\begin{array}{c}1\,1\\ 3\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 2\,2\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 3\,2\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 4\,1\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}0\,0\\ 5\,0\end{array}}\right) , \left( {\begin{array}{c}3\,0\,0\\ 1\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}2\,0\,0\\ 2\,0\,0\end{array}}\right) , \left( {\begin{array}{c}2\,0\,0\\ 1\,1\,0\end{array}}\right) , \left( {\begin{array}{c}1\,1\,0\\ 2\,0\,0\end{array}}\right) , \left( {\begin{array}{c}1\,1\,0\\ 1\,1\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 3\,0\,0\end{array}}\right) \bigg \},\\ \text {GFP}_{D_2,D_2,0,4}(7)= & {} \left\{ \left( {\begin{array}{c}4\,0\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}3\,1\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}3\,0\\ 2\,0\end{array}}\right) , \left( {\begin{array}{c}2\,1\\ 2\,0\end{array}}\right) , \left( {\begin{array}{c}2\,0\\ 2\,1\end{array}}\right) , \left( {\begin{array}{c}2\,0\\ 3\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 3\,1\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 4\,0\end{array}}\right) , \left( {\begin{array}{c}2\,1\,0\\ 1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 2\,1\,0\end{array}}\right) \right\} , \\ \text {GFP}_{D_2,D_2,0,0}(8)= & {} \left\{ \left( {\begin{array}{c}3\,3\\ 0\,0\end{array}}\right) ,\left( {\begin{array}{c}2\,2\\ 1\,1\end{array}}\right) , \left( {\begin{array}{c}1\,1\\ 2\,2\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 3\,3\end{array}}\right) , \left( {\begin{array}{c}1\,1\,0\,0\\ 1\,1\,0\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,0,2}(8)= & {} \bigg \{\left( {\begin{array}{c}7\\ 0\end{array}}\right) , \left( {\begin{array}{c}6\\ 1\end{array}}\right) , \left( {\begin{array}{c}5\\ 2\end{array}}\right) ,\left( {\begin{array}{c}4\\ 3\end{array}}\right) , \left( {\begin{array}{c}3\\ 4\end{array}}\right) , \left( {\begin{array}{c}2\\ 5\end{array}}\right) , \left( {\begin{array}{c}1\\ 6\end{array}}\right) , \left( {\begin{array}{c}0\\ 7\end{array}}\right) , \left( {\begin{array}{c}6\,0\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}5\,1\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}4\,2\\ 0\,0\end{array}}\right) , \left( {\begin{array}{c}4\,0\\ 1\,1\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}3\,1\\ 1\,1\end{array}}\right) , \left( {\begin{array}{c}2\,2\\ 2\,0\end{array}}\right) , \left( {\begin{array}{c}2\,0\\ 2\,2\end{array}}\right) , \left( {\begin{array}{c}1\,1\\ 3\,1\end{array}}\right) , \left( {\begin{array}{c}1\,1\\ 4\,0\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 4\,2\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 5\,1\end{array}}\right) , \left( {\begin{array}{c}0\,0\\ 6\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 4\,0\,0\end{array}}\right) , \left( {\begin{array}{c}2\,2\,0\\ 1\,0\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}2\,1\,1\\ 1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 2\,1\,1\end{array}}\right) , \left( {\begin{array}{c}3\,0\,0\\ 2\,0\,0\end{array}}\right) , \left( {\begin{array}{c}2\,0\,0\\ 3\,0\,0\end{array}}\right) , \left( {\begin{array}{c}3\,0\,0\\ 1\,1\,0\end{array}}\right) , \left( {\begin{array}{c}1\,1\,0\\ 3\,0\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 2\,2\,0\end{array}}\right) , \left( {\begin{array}{c}4\,0\,0\\ 1\,0\,0\end{array}}\right) \bigg \},\\ \text {GFP}_{D_2,D_2,0,4}(8)= & {} \bigg \{\left( {\begin{array}{c}5\,0\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}4\,1\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}3\,2\\ 1\,0\end{array}}\right) , \left( {\begin{array}{c}4\,0\\ 2\,0\end{array}}\right) , \left( {\begin{array}{c}3\,1\\ 2\,0\end{array}}\right) , \left( {\begin{array}{c}3\,0\\ 3\,0\end{array}}\right) , \left( {\begin{array}{c}2\,1\\ 3\,0\end{array}}\right) , \left( {\begin{array}{c}2\,1\\ 2\,1\end{array}}\right) , \left( {\begin{array}{c}3\,0\\ 2\,1\end{array}}\right) \left( {\begin{array}{c}2\,0\\ 3\,1\end{array}}\right) , \left( {\begin{array}{c}2\,0\\ 4\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}1\,0\\ 3\,2\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 4\,1\end{array}}\right) , \left( {\begin{array}{c}1\,0\\ 5\,0\end{array}}\right) , \left( {\begin{array}{c}3\,1\,0\\ 1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}2\,1\,0\\ 2\,0\,0\end{array}}\right) , \left( {\begin{array}{c}2\,1\,0\\ 1\,1\,0\end{array}}\right) , \left( {\begin{array}{c}1\,1\,0\\ 2\,1\,0\end{array}}\right) , \left( {\begin{array}{c}2\,0\,0\\ 2\,1\,0\end{array}}\right) , \left( {\begin{array}{c}1\,0\,0\\ 3\,1\,0\end{array}}\right) \bigg \}. \end{aligned}$$

The following are the non-empty sets \(\text {GFP}_{D_2,D_2,-1,m}(n)\) for \(0\le n\le 8\), whose sizes agree with the coefficients in the expansion of \(S_{\text {odd}}(\tilde{q},t)\) given in Sect. 3.3.

$$\begin{aligned} \text {GFP}_{D_2,D_2,-1,1}(0)= & {} \left\{ \left( {\begin{array}{c}-\\ 0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,1}(1)= & {} \left\{ \left( {\begin{array}{c}-\\ 1\end{array}}\right) ,\left( {\begin{array}{c}-\,0\\ 0\,\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,1}(2)= & {} \left\{ \left( {\begin{array}{c}-\\ 2\end{array}}\right) , \left( {\begin{array}{c}-\,1\\ 0\,\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,3}(2)= & {} \left\{ \left( {\begin{array}{c}-\,0\\ 1\,\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,1}(3)= & {} \left\{ \left( {\begin{array}{c}-\\ 3\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 0\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 1\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 1\,\,0\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,3}(3)= & {} \left\{ \left( {\begin{array}{c}-\,1\\ 1\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 2\,\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,1}(4)= & {} \left\{ \left( {\begin{array}{c}-\\ 4\end{array}}\right) , \left( {\begin{array}{c}-\,3\\ 0\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\\ 1\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 2\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 1\,\,1\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,3}(4)= & {} \left\{ \left( {\begin{array}{c}-\,2\\ 1\,\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\\ 2\,\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\\ 2\,\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,0\\ 3\,\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 1\,\,0\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,1}(5)= & {} \left\{ \left( {\begin{array}{c}-\\ 5\end{array}}\right) , \left( {\begin{array}{c}-\,4\\ 0\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 1\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 2\,\,2\end{array}}\right) , \left( {\begin{array}{c}-\,1\,1\\ 1\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 3\,\,0\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,3}(5)= & {} \bigg \{\left( {\begin{array}{c}-\,3\\ 1\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 2\,\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\\ 2\,\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,1\\ 3\,\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\\ 3\,\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,0\\ 4\,\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}-\,2\,0\\ 1\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 1\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 2\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\,0\\ 2\,\,1\,0\end{array}}\right) \bigg \},\\ \text {GFP}_{D_2,D_2,-1,1}(6)= & {} \bigg \{\left( {\begin{array}{c}-\\ 6\end{array}}\right) , \left( {\begin{array}{c}-\,5\\ 0\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,3\\ 1\,\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,1\\ 2\,\,2\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,1\\ 1\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,1\\ 2\,\,0\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}-\,0\,0\\ 2\,\,1\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,0\,0\\ 2\,\,2\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\,0\\ 4\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\,0\\ 1\,\,1\,0\,0\end{array}}\right) \bigg \},\\ \text {GFP}_{D_2,D_2,-1,3}(6)= & {} \bigg \{\left( {\begin{array}{c}-\,4\\ 1\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,3\\ 2\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 2\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 3\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\\ 3\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,1\\ 4\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 3\,\,2\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 4\,\,1\end{array}}\right) , \\&\quad \left( {\begin{array}{c}-\,0\\ 5\,\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,3\,0\\ 1\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\,1\\ 1\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\,0\\ 1\,\,1\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\,0\\ 2\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\,0\\ 3\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 3\,\,1\,0\end{array}}\right) \bigg \},\\ \text {GFP}_{D_2,D_2,-1,5}(6)= & {} \left\{ \left( {\begin{array}{c}-\,1\,0\\ 2\,\,1\,0\end{array}}\right) \right\} ,\\ \text {GFP}_{D_2,D_2,-1,1}(7)= & {} \bigg \{\left( {\begin{array}{c}-\\ 7\end{array}}\right) ,\left( {\begin{array}{c}-\,6\\ 0\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,4\\ 1\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 2\,\,2\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 3\,\,3\end{array}}\right) , \left( {\begin{array}{c}-\,2\,2\\ 1\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\,1\\ 3\,\,0\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}-\,0\,0\\ 2\,\,2\,1\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 3\,\,1\,1\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 5\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,0\,0\\ 1\,\,1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\,1\,0\\ 1\,\,1\,0\,0\end{array}}\right) \bigg \},\\ \text {GFP}_{D_2,D_2,-1,3}(7)= & {} \bigg \{\left( {\begin{array}{c}-\,5\\ 1\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,4\\ 2\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,3\\ 2\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,3\\ 3\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 3\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 4\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\\ 3\,\,2\end{array}}\right) , \left( {\begin{array}{c}-\,1\\ 4\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,1\\ 5\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 4\,\,2\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}-\,0\\ 5\,\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,0\\ 6\,\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,4\,0\\ 1\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,3\,1\\ 1\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,3\,0\\ 1\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,3\,0\\ 2\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,1\\ 1\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,1\\ 2\,\,0\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}-\,2\,0\\ 3\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,1\\ 2\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 2\,\,1\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 2\,\,2\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 4\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\,0\\ 3\,\,2\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\,0\\ 4\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\,0\\ 2\,\,1\,0\,0\end{array}}\right) \bigg \},\\ \text {GFP}_{D_2,D_2,-1,5}(7)= & {} \left\{ \left( {\begin{array}{c}-\,1\,0\\ 3\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,0\\ 2\,\,1\,0\end{array}}\right) , \right\} ,\\ \text {GFP}_{D_2,D_2,-1,1}(8)= & {} \bigg \{\left( {\begin{array}{c}-\\ 8\end{array}}\right) , \left( {\begin{array}{c}-\,7\\ 0\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,5\\ 1\,\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,3\\ 2\,\,2\end{array}}\right) , \left( {\begin{array}{c}-\,1\\ 3\,\,3\end{array}}\right) , \left( {\begin{array}{c}-\,2\,2\\ 1\,\,1\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\,2\\ 2\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\,1\\ 2\,\,1\,1\end{array}}\right) , \\&\quad \left( {\begin{array}{c}-\,1\,1\\ 2\,\,2\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\,1\\ 4\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 3\,\,3\,0\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 4\,\,1\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,0\,0\\ 6\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,3\,0\,0\\ 1\,\,1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\,0\,0\\ 2\,\,2\,0\,0\end{array}}\right) \bigg \},\\ \text {GFP}_{D_2,D_2,-1,3}(8)= & {} \bigg \{\left( {\begin{array}{c}-\,6\\ 1\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,5\\ 2\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,4\\ 2\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,4\\ 3\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,3\\ 3\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,3\\ 4\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 3\,\,2\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 4\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,2\\ 5\,\,0\end{array}}\right) \left( {\begin{array}{c}-\,1\\ 4\,\,2\end{array}}\right) , \\&\quad \left( {\begin{array}{c}-\,1\\ 5\,\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,1\\ 6\,\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\\ 4\,\,3\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 5\,\,2\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 6\,\,1\end{array}}\right) , \left( {\begin{array}{c}-\,0\\ 7\,\,0\end{array}}\right) , \left( {\begin{array}{c}-\,5\,0\\ 1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,4\,1\\ 1\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,3\,2\\ 1\,\,0\,0\end{array}}\right) , \\&\quad \left( {\begin{array}{c}-\,4\,0\\ 1\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,4\,0\\ 2\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,3\,1\\ 1\,\,1\,0\end{array}}\right) , \left( {\begin{array}{c}-\,3\,1\\ 2\,\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,3\,0\\ 3\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,1\\ 3\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,0\\ 2\,\,1\,1\end{array}}\right) , \left( {\begin{array}{c}-\,2\,0\\ 2\,\,2\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}-\,2\,0\\ 4\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,1\\ 3\,\,1\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\,0\\ 2\,\,2\,1\end{array}}\right) , \left( {\begin{array}{c}-\,1\,0\\ 3\,\,1\,1\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 5\,\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\,0\\ 3\,\,2\,1\end{array}}\right) , \left( {\begin{array}{c}-\,0\,0\\ 4\,\,2\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,0\,0\\ 5\,\,1\,0\end{array}}\right) ,\\&\quad \left( {\begin{array}{c}-\,2\,1\,0\\ 1\,\,1\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,0\,0\\ 2\,\,1\,0\,0\end{array}}\right) , \left( {\begin{array}{c}-\,1\,1\,0\\ 2\,\,1\,0\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\,0\\ 2\,\,1\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\,0\\ 3\,\,1\,0\,0\end{array}}\right) \bigg \}.\\&\text {GFP}_{D_2,D_2,-1,5}(8) = \left\{ \left( {\begin{array}{c}-\,3\,0\\ 2\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,1\\ 2\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,2\,0\\ 3\,\,1\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 3\,\,2\,0\end{array}}\right) ,\left( {\begin{array}{c}-\,1\,0\\ 4\,\,1\,0\end{array}}\right) \right\} . \end{aligned}$$

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Balázs, M., Fretwell, D. & Jay, J. Interacting particle systems and Jacobi style identities. Res Math Sci 9, 48 (2022). https://doi.org/10.1007/s40687-022-00342-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s40687-022-00342-2