arXiv++ Combinatorics

We consider any fixed $d\in\mathbb{Z}_{>0}$ number of second class particles in the asymmetric simple exclusion process (ASEP), constructed via a basic coupling of two ASEPs. We give the joint distribution of the positions of the second class particles and also the probability of there being a second class particle at a given site, under the natural blocking measure for ASEP. In order to find these distributions we use results about the number of particles in half-infinite and finite site ranges of ASEP. Our investigations also lead to probabilistic proofs of well-known combinatorial identities; the Durfee rectangles identity, Euler's identity, and the $q$-Binomial Theorem.

We consider the family of nearest neighbour interacting particle systems on $\mathbb{Z}$ allowing $0$, $1$ or $2$ particles at a site. We parametrize 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 (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.

We review product form blocking measures in the general framework of nearest neighbor asymmetric one dimensional misanthrope processes. This class includes exclusion, zero range, bricklayers, and many other models. We characterize the cases when such measures exist in infinite volume, and when finite boundaries need to be added. By looking at inter-particle distances, we extend the construction to some 0-1 valued particle systems e.g., q-ASEP and the Katz-Lebowitz-Spohn process, even outside the misanthrope class. Along the way we provide a full ergodic decomposition of the product blocking measure into components that are characterized by a non-trivial conserved quantity. Substituting in simple exclusion and zero range has an interesting consequence: a purely probabilistic proof of the Jacobi triple product, a famous identity that mostly occurs in number theory and the combinatorics of partitions. Surprisingly, here it follows very naturally from the exclusion - zero range correspondence.