Structure and statistical organization of the stationary state of the Oslo model

Valentin Lallemant; Vincent Rossetto

arxiv: 2508.06315 · v2 · pith:BA7F46Z6new · submitted 2025-08-08 · ❄️ cond-mat.stat-mech

Structure and statistical organization of the stationary state of the Oslo model

Valentin Lallemant , Vincent Rossetto This is my paper

Pith reviewed 2026-05-22 13:28 UTC · model grok-4.3

classification ❄️ cond-mat.stat-mech

keywords Oslo modelstationary statesandpile modelsequivalence classescolored diagramsinvariantsprobability measuredriven-dissipative systems

0 comments

The pith

The stationary state of the Oslo sandpile model consists of configurations grouped into a small number of equivalence classes whose probabilities equal the number of valid colored diagrams.

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

The paper establishes that the Oslo model's critical stationary state can be described exactly by switching between different representations of system configurations to uncover invariants. These invariants partition all reachable states into a few equivalence classes. For any given configuration the stationary probability is found by adding the weights of every dynamical path that reaches it while respecting the invariants, and this sum equals the count of colored diagrams obeying a short list of rules. A reader would care because this supplies an explicit, microscopic probability measure for a driven-dissipative system whose emergent power-law avalanches and hyperuniformity have previously lacked such a direct account.

Core claim

By moving between representations of the configurations and the update process, invariant quantities are identified for each state. Summing the contributions of all paths that lead to a given configuration under the constraints imposed by these invariants produces the exact stationary probability. The resulting measure shows that configurations fall into a small number of equivalence classes and that the weight of each class is given by the enumeration of colored diagrams that satisfy a compact set of combinatorial rules.

What carries the argument

Equivalence classes of configurations defined by the invariant quantities discovered through multiple dynamical representations; these classes convert the stationary measure into a counting problem over colored diagrams.

If this is right

The stationary probability of every configuration is given exactly by a diagram-counting formula.
All avalanche statistics can in principle be computed from the class structure and the diagram rules.
Hyperuniformity and other spatial correlations follow directly from the partition into equivalence classes.
The same path-summing procedure under invariants applies to other driven-dissipative sandpile variants.

Where Pith is reading between the lines

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

The diagram-counting description may yield closed-form expressions for the avalanche-size distribution that are currently unavailable.
Similar invariant-based reductions could be attempted in related models such as the BTW sandpile where exact stationary measures are still missing.
The equivalence classes might correspond to hidden symmetries that survive the addition of noise or boundary changes.

Load-bearing premise

Summing the contributions of all paths to a configuration under the identified invariants produces the exact stationary probability measure.

What would settle it

A direct enumeration or long-time simulation that finds a configuration whose observed frequency differs from the number of colored diagrams allowed by the invariants.

read the original abstract

In most driven-dissipative sandpile models, the dynamics of the system reaches a critical stationary state. This state displays organization features such as a power-law avalanche spectrum and hyperuniformity, but these features often emerge without a clear path from the microscopic evolution rules. Only in a few cases is there an available description of the stationary state, in other sandpile models the question is open. In this article, we present our result on the stationary state of the Oslo model, a driven-dissipative sandpile model with intrinsic randomness. In order to do so, we use different representations of the system configurations and of the dynamical process. Moving back and forth between these representations allows to identify invariant quantities for each configurations. Moreover, we obtain the detailed statistical description of the stationary state by considering all paths leading to a given configuration at once, and by summing their contributions under the constraint specified by the invariants. As a result, we find that the configurations of the stationary state are structured into a small number of equivalence classes, and that their statistical weights are related to the counting of colored diagrams respecting a small set of rules.

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

The paper maps Oslo model configurations to equivalence classes whose stationary weights come from counting colored diagrams under a short list of rules, but the claim that this construction solves the master equation exactly is the part that still needs direct checking.

read the letter

The new element here is the explicit combinatorial structure for the stationary state of the Oslo model. Configurations fall into a small number of equivalence classes, and their probabilities are given by counting colored diagrams that obey a few rules extracted from the invariants. This moves the description past simulation phenomenology toward something countable, which is useful for a model that has mostly been studied numerically until now. The approach of switching between representations to find invariants and then summing path contributions under those constraints is systematic and produces a concrete result rather than another set of scaling exponents. If the diagram rules turn out to be simple and the classes few, this could help explain how the dynamics organizes the measure without fitting parameters. The soft spot is whether the resulting weights are exactly stationary. The construction assumes that summing the allowed paths automatically satisfies global balance, but the abstract does not show an explicit verification that the diagram counts are preserved by the Oslo update rules or that net currents vanish. If the full paper contains a direct check—such as confirming the measure on small lattices or proving invariance under the dynamics—that would close the gap. Without it, the counting formula risks being a plausible ansatz rather than a proven solution. This is for people working on exact results in sandpile models and self-organized criticality. A reader who wants a structural picture instead of averages from long runs would get value from the equivalence classes and the diagram rules. It deserves a serious referee because the claim is specific enough to be tested against simulations or small-system calculations, even if revisions are needed on the stationary verification.

Referee Report

1 major / 2 minor

Summary. The paper claims that switching between multiple representations of configurations and dynamics in the Oslo model reveals invariant quantities for each configuration. By summing contributions over all paths to a given configuration subject to these invariants, the authors obtain an exact statistical description of the stationary state in which configurations fall into a small number of equivalence classes whose weights are given by the enumeration of colored diagrams obeying a short list of rules.

Significance. An exact combinatorial characterization of the stationary measure in a driven-dissipative sandpile model with intrinsic randomness would be a significant advance, as such closed-form descriptions remain rare. If the diagram-counting construction is shown to solve the master equation, the result would permit analytic computation of avalanche statistics, correlation functions, and hyperuniformity properties without simulation, and the equivalence-class structure could serve as a template for other models in the class.

major comments (1)

Paragraph on statistical description: the central claim that the path-sum construction under the identified invariants produces the exact stationary probability measure is not accompanied by an explicit verification that the resulting weights satisfy the global balance equations of the Markov chain. The manuscript must demonstrate either that the net probability current into each configuration vanishes or that the diagram-counting expression is invariant under the Oslo update rules; without this step the equality to the stationary measure remains an assertion rather than a derivation.

minor comments (2)

The precise rules governing the colored diagrams (colors, allowed moves, boundary conditions) are stated only at a high level; an explicit enumeration or generating-function definition should be supplied so that the counting procedure can be reproduced independently.
The mapping between the original lattice configurations and the equivalence classes is described qualitatively; a concrete algorithm or table illustrating the classification for small system sizes would strengthen the presentation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of the potential significance of our results and for the constructive comment on the statistical description. We address the concern point by point below.

read point-by-point responses

Referee: Paragraph on statistical description: the central claim that the path-sum construction under the identified invariants produces the exact stationary probability measure is not accompanied by an explicit verification that the resulting weights satisfy the global balance equations of the Markov chain. The manuscript must demonstrate either that the net probability current into each configuration vanishes or that the diagram-counting expression is invariant under the Oslo update rules; without this step the equality to the stationary measure remains an assertion rather than a derivation.

Authors: We agree that an explicit verification is required to rigorously establish that the diagram-counting weights constitute the stationary measure. Although the construction via path summation under the invariants is intended to ensure consistency with the dynamics, the manuscript would be strengthened by a direct check. In the revised version we will add a dedicated subsection that demonstrates invariance of the weights under the Oslo update rules. Specifically, we will show that for any configuration the weighted sum of incoming transition probabilities equals the weighted sum of outgoing probabilities, confirming that the net probability current vanishes. This verification will be carried out both for representative configurations in each equivalence class and in general by exploiting the rules obeyed by the colored diagrams. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained from dynamics

full rationale

The paper extracts invariants directly from the Oslo dynamics via representation switching, then constructs the stationary measure by summing all path contributions that respect those invariants. This sum is shown to equal the count of colored diagrams obeying a short rule set, yielding equivalence classes and statistical weights. No step reduces by construction to a fitted parameter, a self-citation chain, or a redefinition of the target quantity. The path-sum construction is presented as following from the Markov process once invariants are identified, without the measure being presupposed or the diagram count being imposed by ansatz. The derivation therefore remains independent of its final combinatorial expression.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The result rests on the existence of invariants that are preserved by the dynamics and on the assumption that the stationary measure can be obtained by summing path weights under those constraints. No free parameters or new particles are introduced in the abstract.

axioms (1)

domain assumption The Oslo dynamics reach a unique stationary probability measure.
Implicit in any discussion of the stationary state; stated in the opening sentence of the abstract.

invented entities (2)

equivalence classes of configurations no independent evidence
purpose: Group configurations that share the same invariants and therefore the same statistical weight.
Introduced to organize the stationary state; no independent falsifiable prediction given in abstract.
colored diagrams no independent evidence
purpose: Combinatorial objects whose enumeration gives the statistical weights.
New counting device whose rules are not detailed in the abstract.

pith-pipeline@v0.9.0 · 5728 in / 1131 out tokens · 24736 ms · 2026-05-22T13:28:46.713834+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/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

the configurations of the stationary state are structured into a small number of equivalence classes, and that their statistical weights are related to the counting of colored diagrams respecting a small set of rules

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.