pith. sign in

arxiv: 2305.16769 · v3 · submitted 2023-05-26 · 🧮 math.PR · math.CO· math.NT

Second Class Particle Behaviour in Blocking ASEP

Daniel Adams , M\'arton Bal\'azs , Jessica Jay This is my paper

Pith reviewed 2026-05-24 09:19 UTC · model grok-4.3

classification 🧮 math.PR math.COmath.NT
keywords asymmetric simple exclusion processsecond class particlesblocking measurejoint distributionDurfee rectangle identityEuler identityq-binomial theoremprobabilistic proof
0
0 comments X

The pith

The joint distribution of positions of any fixed number of second class particles is determined under the blocking measure for ASEP.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives the joint distribution of the positions of d second class particles in the asymmetric simple exclusion process under the blocking measure, constructed via basic coupling of two ASEPs. It also provides the probability that a given site contains a second class particle. These distributions are obtained using known results on the number of particles in half-infinite and finite intervals. The work additionally yields probabilistic proofs of the Durfee rectangles identity, Euler's identity, and the q-binomial theorem.

Core claim

We consider any fixed d number of second class particles in ASEP via basic coupling and give their joint position distribution and the site occupancy probability under the natural blocking measure, deriving them from particle count distributions in intervals and thereby obtaining probabilistic proofs of the Durfee rectangle identity, Euler's identity, and the q-binomial theorem.

What carries the argument

The blocking measure on ASEP configurations together with the basic coupling that defines the second class particles.

If this is right

  • The joint law of the second class particle positions is explicitly available from the interval particle count distributions.
  • The probability of a second class particle occupying any particular site follows from the same count distributions.
  • The Durfee rectangles identity has a probabilistic proof based on second class particle positions.
  • Euler's identity and the q-binomial theorem also admit probabilistic proofs via the ASEP blocking measure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit distributions could be used to calculate statistics such as the variance of particle positions or correlations between multiple second class particles.
  • Analogous arguments might apply to other stationary measures or to related models like the totally asymmetric exclusion process.
  • The probabilistic proofs suggest that combinatorial identities arise naturally from the stationary behavior of particle systems.

Load-bearing premise

The distributions of particle numbers in half-infinite and finite intervals under the blocking measure are available and correct.

What would settle it

For d equals 1, the formula for the probability that the second class particle occupies a particular site can be checked against direct computation on a small finite system under the blocking measure.

Figures

Figures reproduced from arXiv: 2305.16769 by Daniel Adams, Jessica Jay, M\'arton Bal\'azs.

Figure 1
Figure 1. Figure 1: An example of the Durfee square for an integer partition, λ, of 30 [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: An example of the Durfee rectangle for an integer partition, λ, of 30 when n = 2 and n = −3. We now demonstrate that two other well-known combinatorial identities (Euler’s identity and the q-Binomial Theorem) arise as consequences of Theorem 1.4 and Lemma 3.2. Theorem 1.2. Euler’s Identity (for example see equation E1 in Andrews [1]) For q ∈ (0, 1) and z ∈ R, X∞ k=0 q k(k−1) 2 z k (1 − q)(1 − q 2)...(1 − q… view at source ↗
Figure 3
Figure 3. Figure 3: An example of the pair (ξ(t), x(t)) when d = 5. We will be interested in where the second class particles are at time t. As discussed the red particles in the above figure for example will eventually be the second class particles. We denote the positions of the particles in ξ(t) corresponding to the label process x(t) by, X(t) = (X1(t), ..., Xd(t)), i.e. Xj (t) is the position of the particle with label xj… view at source ↗
Figure 4
Figure 4. Figure 4: An example of constructing η(t) from the pair (ξ(t), x(t)) (when d = 5). Lemma 4.1. The process {η(t)}t∈R≥0 is an ASEP and the pair {η(t), ξ(t)}t∈R≥0 is a basic coupling of two asymmetric simple exclusion processes which only differ at d many sites at any time. Proof. First we confirm that {η(t)}t∈R≥0 is an asymmetric simple exclusion process. Since ξ(t) takes values in the state space Ω = {z ∈ {0, 1} Z : … view at source ↗
read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript considers a fixed number d > 0 of second-class particles in the ASEP, constructed via basic coupling of two ASEPs. It claims to derive the joint distribution of the positions of these particles and the probability that a given site is occupied by a second-class particle, under the blocking measure. The derivations rely on existing formulas for the number of particles in half-infinite and finite intervals. The work also supplies probabilistic proofs of the Durfee rectangles identity, Euler's identity, and the q-Binomial Theorem.

Significance. If the central derivations hold, the explicit joint laws for second-class particle positions under the blocking measure would be a useful addition to the literature on stationary measures and fluctuations in integrable particle systems. The probabilistic proofs of the cited combinatorial identities constitute an independent contribution that links the coupling construction to classical q-series results.

major comments (1)
  1. [Abstract] The abstract states that the joint distributions are obtained by combining the basic coupling with 'results about the number of particles in half-infinite and finite site ranges of ASEP' applied directly to the blocking measure. No explicit verification is indicated that the cited range-count marginals remain valid when the invariant measure is replaced by the blocking measure (whose density and left-right asymmetry at infinity may differ from the measures under which the range-count formulas were originally derived). This applicability is load-bearing for all subsequent algebraic steps that produce the claimed joint laws and site-occupancy probabilities.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to confirm applicability of the range-count marginals under the blocking measure. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] The abstract states that the joint distributions are obtained by combining the basic coupling with 'results about the number of particles in half-infinite and finite site ranges of ASEP' applied directly to the blocking measure. No explicit verification is indicated that the cited range-count marginals remain valid when the invariant measure is replaced by the blocking measure (whose density and left-right asymmetry at infinity may differ from the measures under which the range-count formulas were originally derived). This applicability is load-bearing for all subsequent algebraic steps that produce the claimed joint laws and site-occupancy probabilities.

    Authors: The blocking measure is a stationary measure for the ASEP (in fact, the unique stationary measure with the indicated left and right densities). The cited range-count results rely only on stationarity of the underlying process together with the existence of well-defined asymptotic densities at ±∞; both properties hold for the blocking measure. The basic coupling construction preserves these properties, so the marginal formulas apply directly. Nevertheless, we agree that an explicit sentence confirming the hypotheses is useful for the reader. We will insert a short clarifying paragraph immediately after the statement of the range-count theorems in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses external prior range-count results

full rationale

The paper states that joint distributions of second-class particle positions are obtained by combining the basic coupling with existing formulas for particle counts in half-infinite and finite intervals under the blocking measure. No quoted step shows a self-definitional loop, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose validity is assumed without external support. The combinatorial identities are derived as consequences rather than presupposed inputs. The chain therefore remains dependent on independent prior results rather than reducing to its own definitions or fits by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the work is described as relying on prior results about particle counts in intervals, but those are not detailed here.

pith-pipeline@v0.9.0 · 5638 in / 1127 out tokens · 20183 ms · 2026-05-24T09:19:46.539273+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    G.E. Andrews. A simple proof of Jacobi’s triple product i dentity. Proc. Amer. Math. Soc. , 16:333–334, 1965

    work page 1965

  2. [2]

    G.E. Andrews. q-Series: Their Development and Application in Analysis, Nu mber Theory, Combinatorics, Physics, and Computer Algebra . Amer. Math. Soc., 1986

    work page 1986

  3. [3]

    Andrews and K

    G.E. Andrews and K. Eriksson. Integer Partitions . Cambridge University Press, 2004

    work page 2004

  4. [4]

    O. Angel. The stationary measure of a 2-type totally asym metric exclusion process. J. Combin. Theory Ser. A , 113(4):625–635, 2006

    work page 2006

  5. [5]

    Bal´ azs and R

    M. Bal´ azs and R. Bowen. Product blocking measures and a p article system proof of the jacobi triple product. Ann. Inst. H. Poincar´ e Prob. Stat., 54(1):514–528, 02 2018

    work page 2018

  6. [6]

    Bal´ azs, D

    M. Bal´ azs, D. Fretwell, and J. Jay. Interacting particle systems and jacobi style identities. Research in the Mathematical Sciences, 9:48, 2022

    work page 2022

  7. [7]

    Bal´ azs and T

    M. Bal´ azs and T. Sepp¨ al¨ ainen. Fluctuation bounds forthe asymmetric simple exclusion process. ALEA, 6:1–24, 2009

    work page 2009

  8. [8]

    Bal´ azs and T

    M. Bal´ azs and T. Sepp¨ al¨ ainen. Order of current variance and diffusivity in the asymmetric simple exclusion proces s. Ann. Math. , 171(2):1237–1265, 2010

    work page 2010

  9. [9]

    Chakraborty and D

    S. Chakraborty and D. Chakravarty. A new discrete probab ility distribution with integer support on ( −∞, ∞). Com- munications in Statistics - Theory and Methods , 45(2):492–505, 2016

    work page 2016

  10. [10]

    Cimpoea¸ s

    M. Cimpoea¸ s. A note on the number of partitions of n into k parts. U.P.B. Sci. Bull., Series A , 84:131–138, 2022

    work page 2022

  11. [11]

    Fan and T

    W. Fan and T. Sepp¨ al¨ ainen. Joint distribution of buse mann functions in the exactly solvable corner growth model. Probability and Mathematical Physics , 1(1):55 – 100, 2020

    work page 2020

  12. [12]

    Ferrari, C

    P.A. Ferrari, C. Kipnis, and E. Saada. Microscopic stru cture of travelling waves in the asymmetric simple exclusio n process. Ann. Prob., 19(1):226–244, 1991

    work page 1991

  13. [13]

    Ferrari and J

    P.A. Ferrari and J. Martin. Stationary distributions o f multi-type totally asymmetric exclusion processes. Ann. Probab., 35(3):807–832, 2007

    work page 2007

  14. [14]

    I. M. Gessel. Some generalized durfee square identitie s. Discrete Mathematics , 49(1):41–44, 1984

    work page 1984

  15. [15]

    E. Heine. Untersuchungen ¨ uber die reihe. J. reine angew. Math. , 1847(34):285–328, 1847

    work page

  16. [16]

    T.M. Liggett. Coupling the simple exclusion process. Ann. Probab., 4:339–356, 1976

    work page 1976

  17. [17]

    T.M. Liggett. Interacting particle systems , volume 276 of Grundlehren der Mathematischen Wissenschaften [Funda- mental Principles of Mathematical Sciences] . Springer-Verlag, New York, 1985

    work page 1985

  18. [18]

    F. Spitzer. Interaction of Markov processes. Advances in Math. , 5:246–290 (1970), 1970

    work page 1970

  19. [19]

    C. A. Tracy and H. Widom. On the distribution of a second- class particle in the asymmetric simple exclusion process. J. Phys. A , 42(42):425002, 6, 2009. Department of Mathematics, Heriot W att University, Edinburg h, EH14 4AS, UK Email address : d.adams@hw.ac.uk School of Mathematics, Fry Building, University of Bristol, Woodland Road, Bristol, BS8 1UG,...

    work page 2009