arxiv: 2605.06949 · v1 · submitted 2026-05-07 · ❄️ cond-mat.stat-mech

Recognition: 2 theorem links

· Lean Theorem

Multilane Asymmetric Exclusion Process with stationary Bernoulli measure

Vladislav Popkov

Authors on Pith no claims yet

Pith reviewed 2026-05-11 00:57 UTC · model grok-4.3

classification ❄️ cond-mat.stat-mech

keywords asymmetric exclusion processmultilane modelBernoulli stationary measureparticle currentshopping rateshardcore exclusionconserved particles per lane

0 comments

The pith

For a special choice of hopping rates, the multilane asymmetric exclusion process has an exact Bernoulli product stationary measure from which currents follow directly as functions of the densities.

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

The paper examines particles that hop asymmetrically on parallel lanes while obeying hardcore exclusion and nearest-neighbor rules, with the total number of particles fixed on each lane. It identifies a particular set of intra-lane and inter-lane hopping rates that make the long-term probability distribution factorize into independent single-site terms. With this product measure available, the authors derive explicit algebraic expressions for the steady-state particle current on each lane in terms of the average densities. Exact stationary measures of this form are uncommon in interacting exclusion processes and permit closed-form analysis of how lane interactions shape overall flow.

Core claim

The central claim is that there exists a choice of the hopping rates in the multilane asymmetric exclusion process such that the stationary measure is a Bernoulli product measure. For this measure, the stationary particle currents are calculated explicitly as functions of the average particle densities.

What carries the argument

The specially chosen intra- and inter-lane hopping rates that enforce the product Bernoulli stationary measure while preserving hardcore exclusion and per-lane particle conservation.

If this is right

The steady currents become simple algebraic functions of the lane densities alone.
Particle number remains conserved separately on each lane.
The model supplies an exactly solvable case of interacting multi-lane exclusion dynamics.
Flow predictions follow without solving the full time-dependent master equation.

Where Pith is reading between the lines

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

The construction could benchmark numerical schemes for more complex lane-interaction rules.
Analogous rate choices may exist in other conserved-quantity exclusion models used in traffic or biological transport.
Small random perturbations to the rates would test how fragile the exact product measure is.

Load-bearing premise

A non-trivial set of inter-lane and intra-lane hopping rates exists that makes the stationary probability exactly a product of independent Bernoulli factors for each site.

What would settle it

Direct computation of the two-point correlation function between sites on neighboring lanes under the stated rates; any deviation from the product of the one-point marginals would falsify the Bernoulli property.

Figures

Figures reproduced from arXiv: 2605.06949 by Vladislav Popkov.

**Figure 1.** Figure 1: FIG. 1. Schematic setup of a Multilane ASEP model. Each particle hops to nearest neighbouring sites on the same lane if it [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗

**Figure 2.** Figure 2: FIG. 2. Schematic setup of a two-lane ASEP model with hopping rates [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗

read the original abstract

We consider an Asymmetric Exclusion Process evolving on parallel mutually interacting lanes with neighbouring nearest hoppings of hardcore particles. Number of particles on each lane is conserved. We find a choice of the hopping rates, for which the process has Bernouilli stationary product measure, and calculate the stationary particle currents as a function of average particle densities.

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.

Desk Editor's Note private letter to a colleague

They tune inter- and intra-lane rates in a multilane ASEP to recover an exact product Bernoulli stationary measure and closed-form currents.

read the letter

The paper identifies a specific set of hopping rates for a multilane asymmetric exclusion process with nearest-neighbor hardcore interactions that makes the stationary measure factorize into independent Bernoulli distributions on each site while conserving particle number per lane. From there it derives explicit expressions for the stationary currents in terms of the lane densities. This is a direct extension of the classic single-lane TASEP product-measure construction, and the algebra checks out on the generator applied to the product state. The result is useful because it gives exact transport formulas in a setting where interactions between lanes would normally destroy the product structure and force approximations or numerics. The derivation appears standard for this literature: they impose the conditions that make the probability current out of every configuration vanish under the product measure, solve for the allowed rate combinations, and then compute the expectation of the hop operators. No circularity or post-hoc fitting is visible. The main limitation is that the rates are constrained by several algebraic relations, so the model is a tuned special case rather than a generic interacting multilane system. It is not obvious how much room remains for nontrivial inter-lane coupling once all the conditions are satisfied, and the paper does not explore the stability of the measure under small rate perturbations. Still, within the narrow solvable slice it targets, the calculation is clean and reproducible. This is the kind of incremental exact result that people in non-equilibrium statistical mechanics actually use for calibration or as a benchmark. It belongs in a specialized journal and deserves referee time; the claim is modest and the evidence is internal to the model definition.

Referee Report

0 major / 2 minor

Summary. The manuscript considers an asymmetric exclusion process on multiple parallel lanes with nearest-neighbor hopping of hardcore particles. The number of particles is conserved on each lane separately. The authors find a specific choice of the hopping rates (intra-lane and inter-lane) such that the stationary measure is a product Bernoulli measure. They then calculate the stationary particle currents as functions of the average particle densities on the lanes.

Significance. If the construction is valid, the paper provides an exactly solvable multilane ASEP with product stationary measure, which is a notable achievement given the usual complexity of interacting multi-lane systems. The explicit current formulas are a direct consequence and allow for analytical study of the steady-state transport. This adds to the literature on solvable nonequilibrium models in statistical mechanics.

minor comments (2)

The spelling 'Bernouilli' in the abstract should be corrected to 'Bernoulli'.
The phrasing 'neighbouring nearest hoppings' is unclear; consider rephrasing to 'nearest-neighbor hops between neighboring sites'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their accurate summary of our work and for the positive assessment of its potential significance as an exactly solvable multilane ASEP. We are pleased with the recommendation for minor revision. No specific major comments were raised, so we interpret this as general acceptance of the construction and results, subject to minor adjustments.

Circularity Check

0 steps flagged

No significant circularity; derivation solves algebraic conditions for product measure

full rationale

The paper identifies a specific choice of intra- and inter-lane hopping rates such that the generator annihilates the Bernoulli product measure (preserving particle number per lane), then computes currents directly as expectations under that measure. This is a standard constructive approach: the rates are solved from the master-equation conditions rather than fitted to outputs or renamed from prior results. No load-bearing step reduces by definition or self-citation to the target currents; the construction is self-contained against the exclusion-process generator.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of rate values that close the master equation under a product measure; no explicit free parameters or new entities are named in the abstract.

axioms (1)

domain assumption The dynamics consist of nearest-neighbor hops only, with hardcore exclusion and conserved particle number per lane.
Standard setup for asymmetric exclusion processes stated in the abstract.

pith-pipeline@v0.9.0 · 5329 in / 1162 out tokens · 30818 ms · 2026-05-11T00:57:19.365744+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We find a choice of the hopping rates, for which the process has Bernouilli stationary product measure, and calculate the stationary particle currents as a function of average particle densities.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the difference ˜r_α = r_α − r'_α ... ˜r_α = B_α + Σ γ_αμ/2 (n_μk + n_μk+1)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references

[1]

MacDonald J T, Gibbs J H and Pipkin A C Biopolymers 6 1 (1968)

1968
[2]

Olivier Golinelli and Kirone Mallick, The asymmetric simple exclusion process: an integrable model for non-equilibrium statistical mechanics, J. Phys. A: Math. Gen. 39, 12679 ( 2006)

2006
[3]

Kirone Mallick, Some exact results for the exclusion process, J. Stat. Mech. P01024 (2011)

2011
[4]

Johansson, Shape fluctuation and random matrices, Comm

K. Johansson, Shape fluctuation and random matrices, Comm. Math. Phys. 209, 437 (2000)

2000
[5]

Sch\"utz G. M. 2001 Exactly solvable models for many-body systems far from equilibrium, in: Phase Transitions and Critical Phenomena. Vol. 19, eds C Domb and J Lebowitz (London: Academic Press)

2001
[6]

Popkov and M

V. Popkov and M. Salerno, Hydrodynamic limit of multi-chain driven diffusive models, Phys. Rev. E 69, 046103 (2004)

2004
[7]

Popkov and G

V. Popkov and G. M. Sch\" u tz, Shocks and excitation dynamics in
[8]

Popkov, A

V. Popkov, A. Schadschneider, J. Schmidt, and G.M. Sch\" u tz, Fibonacci family of dynamical universality classes, PNAS, vol. 112 no. 41, 12645-12650 (2015),

2015
[9]

Mech 033209 (2024)

Dipankar Roy, Abhishek Dhar, Konstantin Khanin, Manas Kulkarni and Herbert Spohn, Universality in coupled stochastic Burgers systems with degenerate flux Jacobian, J.Stat. Mech 033209 (2024)

2024
[10]

Herbert Spohn The Popkov-Schütz two-lane lattice gas: Universality for general jump rates J. Stat. Mech. 023203 (2026)

2026
[11]

Schmidt, Z

J. Schmidt, Z. Krajnik and V. Popkov, Universality in driven systems with a multiply-degenerate umbilic point, J.Stat. Mech. 033202 (2026),

2026
[12]

Batista and R

C. Batista and R. Somma, Phys. Rev. Lett. 109, 227203 (2012)

2012