Matrix-Algebra Formalisms for Interacting Particle Models

Definitions and mathematical statement

The source asks three related construction and identification questions for exponential bricklayers' processes and related interacting particle models with infinitely many local states. Their generators, parameters, state spaces, and initial or boundary conditions are not reproduced. Write $P_t$ for the intended particle-process semigroup and $\mu$ for a candidate stationary law, satisfying $\mu P_t=\mu$.

First, construct a matrix-product or quantum matrix-algebra description analogous to that for simple exclusion, and explain the relationship between the formalisms. A schematic finite-volume matrix-product law would have weights \[ \mu(\eta_1,\ldots,\eta_L)=Z_L^{-1}\langle W|X_{\eta_1}\cdots X_{\eta_L}|V\rangle. \] This notation is only a template: the algebraic relations, positivity, finite normalization, generator compatibility, and any infinite-volume consistency are part of what must be supplied, not assumptions established in the record.

Second, relate stationary measures and shock measures. A standard precise meaning of random-walk evolution of a shock family $(\nu_j)_{j\in{\mathbb{Z}}}$ is an identity \[ \nu_jP_t=\sum_{\ell\in{\mathbb{Z}}}p_t(j,\ell)\nu_\ell, \] where $p_t$ is the transition kernel of a random walk. The source does not identify the relevant shock family, densities, or random-walk rates.

Third, determine whether the proposed integrated law of a second-class particle is Markovian and how it relates to that shock evolution. For a specified second-class-particle position $Q_t$ and its own history $\mathcal F_t^Q=\sigma(Q_u:0\leq u\leq t)$, a time-homogeneous Markov assertion would be \[ \Pr(Q_{t+s}\in A\mid\mathcal F_t^Q)=p_s(Q_t,A) \quad\text{almost surely},\qquad s,t\geq0. \] The meaning of integrated law, the coupling defining the particle, and the relevant initial distribution are absent. Equality of one-time shock mixtures or particle marginals alone must not be identified with this pathwise conditional-distribution statement.

The supplied assessment checked 2026-08-21 reports exact shock and second-class-particle random-walk descriptions for ASEP, the exponential bricklayers process, and generalized zero-range models, but not settlement of the integrated-law and Markov question for the general class. It gives no parameter or initial-law restrictions for those results, so no theorem for every model in these families is asserted.

Short English statement

Develop matrix-algebra descriptions for locally infinite-state particle models, compare stationary and moving shock measures, and determine when the integrated second-class-particle law is genuinely Markovian. The model generators and the meaning of integrated law are missing from the record.

Sources

• Local UnsolvedMath registry, permanent ID 30000128, catalogue entry, Matrix-Algebra Formalisms for Interacting Particle Models.
• Large Scale Stochastic Dynamics (2005), Oberwolfach Reports, pp. 2229--2310, DOI https://doi.org/10.4171/owr/2004/43.
• Balázs--Farkas--Kovács--Rákos, supplied label "random-walk shocks": https://arxiv.org/abs/0909.3071; supplied published shock-measure theorem https://doi.org/10.1007/s10955-010-9933-8.
• Supplied literature triage checked 2026-08-21 and statement-verification claim of comparison with the official report; exact result hypotheses are not reproduced.