pith. sign in

arxiv: 2605.28052 · v1 · pith:HMCLUXJ2new · submitted 2026-05-27 · 🧮 math-ph · math.MP· math.PR· nlin.CG

Stationary Measures and Mean Flux Depending on Multiple Conserved Quantities in a Stochastic Cellular Automaton

Kazushige Endo , Shinsuke Iwao , Hidetomo Nagai , Yushi Nakano This is my paper

Pith reviewed 2026-06-29 10:07 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.PRnlin.CG
keywords stochastic cellular automatonstationary distributionconserved quantitiesmean fluxeigenvalue problemzero-noise limitlocal patternsMarkov chain
0
0 comments X

The pith

Stationary distribution weights in a stochastic cellular automaton are given by counts of two local patterns, determining mean flux from conserved quantities.

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

The paper examines a stochastic 5-neighbor cellular automaton that conserves several quantities including particle density. By solving the eigenvalue problem for the transition matrix on each irreducible component, it finds that the stationary probability of a configuration depends on how often two particular local patterns appear in it. This explicit form then yields a formula for the average flux as a function of the conserved quantities. Taking the limit of zero noise recovers the known deterministic mean flux.

Core claim

By examining the eigenvalue problem of the associated transition matrix, we derive an explicit formula for the stationary distribution on each irreducible component, in which the weight of each configuration is expressed in terms of the numbers of occurrences of two specific local patterns. This analysis further allows us to theoretically derive the dependence of the mean flux on the conserved quantities. In particular, we recover the mean flux formula in the deterministic case by taking the zero-noise limit of the system.

What carries the argument

the eigenvalue problem of the transition matrix, which produces stationary weights expressed via counts of two local patterns

If this is right

  • The mean flux depends explicitly on the conserved quantities through the stationary distribution.
  • The zero-noise limit of the stochastic model recovers the known deterministic mean flux formula.
  • The stationary measure on each irreducible component is fully determined by the occurrence numbers of the two specific local patterns.

Where Pith is reading between the lines

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

  • The pattern-count representation of the weights may permit closed-form expressions for other observables such as spatial correlations if they can be expressed in terms of the same patterns.
  • Similar eigenvalue techniques could be tested on other stochastic cellular automata that conserve multiple quantities to see whether explicit stationary formulas emerge.
  • The approach suggests checking whether the two-pattern dependence persists when the rule is varied slightly while keeping the conservation laws intact.

Load-bearing premise

The conserved quantities including particle density fully determine the irreducible components of the Markov chain, and the transition matrix for this 5-neighbor rule admits an explicit eigenvalue solution that produces the claimed stationary weights.

What would settle it

Compute the stationary distribution numerically for a small system by running the Markov chain and check whether the empirical probabilities of configurations with different counts of the two patterns but identical conserved quantities match the explicit formula derived from the eigenvalues.

Figures

Figures reproduced from arXiv: 2605.28052 by Hidetomo Nagai, Kazushige Endo, Shinsuke Iwao, Yushi Nakano.

Figure 1
Figure 1. Figure 1: Example of time evolution of (1). Black squares [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: depicts the three-dimensional ‘fundamental diagram’ obtained by (4). The domain (ρ1, ρ110) is constrained by 2ρ110 ≤ ρ1 ≤ 1 − ρ110, reflecting the relationship between #1 and #110. Typically, the fundamental diagram is described by the relationship between mean flux and density. However, since the mean flux of this system depends on two independent quantities ρ1 and ρ110, the diagram naturally extends to t… view at source ↗
Figure 2
Figure 2. Figure 2 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Example of time evolution of (5) for α = 0.5. 1 0 1 1 3 ρ110 ρ1 Qu [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Numerical results of fundamental diagram of (5) for [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Example of fundamental diagram of (5) for [PITH_FULL_IMAGE:figures/full_fig_p006_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Example of time evolution of (8) for α = 0.5 [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Example of fundamental diagram of (5) for [PITH_FULL_IMAGE:figures/full_fig_p013_7.png] view at source ↗
read the original abstract

We analyze a stochastic 5-neighbor cellular automaton with several conserved quantities, including the particle density. By examining the eigenvalue problem of the associated transition matrix, we derive an explicit formula for the stationary distribution on each irreducible component, in which the weight of each configuration is expressed in terms of the numbers of occurrences of two specific local patterns. This analysis further allows us to theoretically derive the dependence of the mean flux on the conserved quantities. In particular, we recover the mean flux formula in the deterministic case by taking the zero-noise limit of the system.

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

0 major / 3 minor

Summary. The paper analyzes a stochastic 5-neighbor cellular automaton possessing multiple conserved quantities (including particle density). By directly solving the eigenvalue problem for the transition matrix on each irreducible component, it obtains an explicit stationary distribution whose weights depend only on the occurrence counts of two specific local patterns. The same analysis yields an exact expression for the mean flux as a function of the conserved quantities; the zero-noise limit of this expression recovers the known deterministic flux formula.

Significance. If the derivation is correct, the result supplies a closed-form stationary measure for a non-trivial stochastic CA with several independent conservations—an uncommon achievement that permits exact computation of fluxes without simulation or approximation. The explicit zero-noise recovery provides a useful consistency check with the deterministic case. The work therefore strengthens the catalog of exactly solvable Markov chains on lattice configurations.

minor comments (3)
  1. [Abstract] The abstract states that weights depend on 'two specific local patterns' but does not name or define them. The introduction or §2 should identify these patterns (e.g., by their binary strings or diagrams) so that the formula can be read without reference to later sections.
  2. [§2] The conserved quantities beyond particle density are mentioned only generically. A short paragraph or table in §2 listing the full set of conserved quantities and verifying that they label the irreducible components would improve readability.
  3. [§2] The transition rule itself is not written out explicitly in the provided abstract. Adding the five-neighbor stochastic update rule (including the noise parameter) in §2 or as an equation would make the model self-contained.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its significance in providing an explicit stationary measure for a stochastic cellular automaton with multiple conserved quantities, and the recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained Markov chain analysis

full rationale

The paper derives the stationary distribution by directly solving the eigenvalue problem of the transition matrix for this specific 5-neighbor stochastic CA rule, expressing weights via counts of two local patterns. This is a standard, non-circular construction for irreducible Markov chains on configurations labeled by conserved quantities. The mean-flux formula follows from the same stationary measure, and the zero-noise limit is a consistency check against the deterministic case rather than a definitional reduction. No self-citations, fitted parameters renamed as predictions, or ansatz smuggling are indicated in the abstract or reader's summary; the solvability step is an explicit computation, not an imported uniqueness theorem or self-referential definition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no visible free parameters, invented entities, or ad-hoc axioms beyond standard Markov-chain properties; the eigenvalue analysis is presented as following directly from the model definition.

axioms (1)
  • domain assumption The dynamics form a Markov chain whose transition matrix possesses an eigenvalue structure permitting explicit stationary measures on irreducible components defined by the conserved quantities.
    Invoked when the authors state that examining the eigenvalue problem yields the stationary distribution formula.

pith-pipeline@v0.9.1-grok · 5637 in / 1250 out tokens · 39204 ms · 2026-06-29T10:07:44.705300+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

11 extracted references

  1. [1]

    An exact so lution of a one-dimensional asymmetric exclusion model with open boundaries

    Bernard Derrida, Eytan Domany, and David Mukamel. An exact so lution of a one-dimensional asymmetric exclusion model with open boundaries . Journal of statistical physics , 69:667–687, 1992

    1992

  2. [2]

    Ex- act solution of a 1d asymmetric exclusion model using a matrix formula tion

    Bernard Derrida, Martin R Evans, Vincent Hakim, and Vincent Pas quier. Ex- act solution of a 1d asymmetric exclusion model using a matrix formula tion. Journal of Physics A: Mathematical and General , 26(7):1493, 1993

    1993

  3. [3]

    New approach to evaluate the asymptotic distr ibution of particle systems expressed by probabilistic cellular automata

    Kazushige Endo. New approach to evaluate the asymptotic distr ibution of particle systems expressed by probabilistic cellular automata. Japan Journal of Industrial and Applied Mathematics , 37(2):461–484, 2020

    2020

  4. [4]

    Three-dimensional fund amental dia- gram of particle system of 5 neighbors with two conserved densities

    Kazushige Endo and Daisuke Takahashi. Three-dimensional fund amental dia- gram of particle system of 5 neighbors with two conserved densities . JSIAM Letters, 14:80–83, 2022. 22

    2022

  5. [5]

    Critical behaviour of number-conserving cellular automata with nonlinear fundamental diagrams

    Henryk Fuk´ s. Critical behaviour of number-conserving cellular automata with nonlinear fundamental diagrams. Journal of Statistical Mechanics: Theory and Experiment, 2004(07):P07005, 2004

    2004

  6. [6]

    Markov chains and mixing times , volume 107

    David A Levin and Yuval Peres. Markov chains and mixing times , volume 107. American Mathematical Soc., 2017

    2017

  7. [7]

    A cellular automaton mod el for freeway traffic

    Kai Nagel and Michael Schreckenberg. A cellular automaton mod el for freeway traffic. Journal de physique I , 2(12):2221–2229, 1992

    1992

  8. [8]

    Analytical propertie s of ultradis- crete burgers equation and rule-184 cellular automaton

    Katsuhiro Nishinari and Daisuke Takahashi. Analytical propertie s of ultradis- crete burgers equation and rule-184 cellular automaton. Journal of Physics A: Mathematical and General , 31(24):5439, 1998

    1998

  9. [9]

    One-dimensional partially asymmetric simple e xclusion process with open boundaries: orthogonal polynomials approach

    Tomohiro Sasamoto. One-dimensional partially asymmetric simple e xclusion process with open boundaries: orthogonal polynomials approach. Journal of Physics A: Mathematical and General , 32(41):7109, 1999

    1999

  10. [10]

    Discr ete stochastic models for traffic flow

    M Schreckenberg, A Schadschneider, K Nagel, and N Ito. Discr ete stochastic models for traffic flow. Phys. Rev. E , 51(1):99

  11. [11]

    Interaction of markov processes

    Frank Spitzer. Interaction of markov processes. In Random Walks, Brownian Motion, and Interacting Particle Systems: A Festschrift in Honor of Frank Spitzer, pages 66–110. Springer, 1991. 23

    1991