Pith. sign in

REVIEW 3 minor 1 cited by

Markov models from Lyubashenko set-theoretical R-matrices are exactly twisted symmetric exclusion processes, whose stationary states the paper fully classifies.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 21:59 UTC pith:6Z3SEIWE

load-bearing objection The paper is correct as far as I can check; the one flagged issue—the §6.2 sector count—is actually right, and the twisted-SSEP classification is a genuine contribution.

arxiv 2602.18204 v2 pith:6Z3SEIWE submitted 2026-02-20 math-ph cond-mat.stat-mechmath.MPmath.QAnlin.SI

Twisted symmetric exclusion processes and set-theoretical R-matrices

Mathieu Dabrowski , Lo\"ic Poulain d'Andecy , Eric Ragoucy This is my paper
classification math-ph cond-mat.stat-mechmath.MPmath.QAnlin.SI MSC 82C2216T2560J27
keywords integrable Markov processesset-theoretical Yang-Baxter equationLyubashenko solutionstwisted symmetric simple exclusion processstationary statessectorsexclusion processesBaxterization
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper builds a bridge between an algebraic construction and a concrete stochastic process. It shows that Markov models defined by Lyubashenko solutions of the Yang-Baxter equation—simple permutation-based rules built from a bijection g on N species—are mathematically the same as twisted symmetric simple exclusion processes (SSEP), where a twist f = g^L is placed on one bond of a periodic ring. The equivalence is explicit: the two Markov matrices are conjugate by a site-by-site relabeling of configurations. This unlocks a complete description of long-time behavior: the process decomposes into irreducible sectors, each with a unique uniform stationary state, and sectors are labeled by the species profile and the total charge modulo the gcd of relevant cycle lengths. The paper derives closed formulas for the number and size of sectors, analyzes how stationary states recombine when the twist is changed (spreading, splitting, oscillation), and gives an example of a more general set-theoretical solution whose model is provably not equivalent to any twisted SSEP.

Core claim

The central claim, Proposition 3.2, is that the Markov matrix M̃_g built from the Lyubashenko solution of a bijection g is conjugate to the Markov matrix M_f of a twisted periodic SSEP with twist f = g^L, through the configuration bijection V(τ1,...,τL) = (τ1, g(τ2), ..., g^{L-1}(τL)). Because V is a separable relabeling of local variables, every property of one model transfers to the other. The paper then characterizes the twisted SSEP's stationary states: the Markov matrix is symmetric, sectors are undirected connected components, each sector has a unique stationary state uniform on that sector, and two configurations lie in the same sector exactly when they have the same species profile a

What carries the argument

The load-bearing identity is the conjugacy M̃_g = V^{-1} M_{g^L} V, where V is a bijection of the configuration space acting independently on each site: site i is relabeled by g^{i-1}. This reduces the Lyubashenko process, where every adjacent swap changes both particles' species, to the twisted SSEP, where all swaps are plain exchanges except across the last bond, where species are changed by the twist f = g^L. The paper combines this with two further devices: Baxterization (writing the Markov matrix as the logarithmic derivative of a commuting transfer matrix, proving integrability), and the sector labeling by the pair (profile, total charge), which reduces the long-time analysis to a coun

Load-bearing premise

The Markov matrices are symmetric (reversible), which is what makes each sector's stationary state uniform and identifies sectors with undirected connected components; if the R-matrix were not involutive, or the twist not a bijection, the sector-counting picture would need reworking.

What would settle it

Take N=2, L=2, and g the transposition (0 1); write down the 4-by-4 Markov matrices from the Lyubashenko rule and from M_f with f = g^2 = Id, conjugate by V(τ1,τ2) = (τ1, g(τ2)); if M̃_g = V^{-1} M_f V fails, the paper's central equivalence is wrong. For the non-equivalence claim, compute the number of sectors of the N=3, L=3 example in Section 6.2: it must be 7, not 10, 5, or 3, for the claimed non-equivalence to hold.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Every Lyubashenko-based integrable Markov matrix is exactly a twisted SSEP with twist g^L, so all sector and stationary-state results apply to both families.
  • Stationary states of twisted SSEP are uniform on sectors; sectors are labeled by species profile and total charge modulo the gcd of relevant cycle lengths, with closed formulas for their number and size.
  • Changing the twist acts like a quench: branching probabilities are simply the overlap of sector sizes, and turning a twist on and off lets one steer the system among stationary states of the untwisted SSEP.
  • Non-Lyubashenko set-theoretical solutions can produce Markov models with sector structures impossible for any twisted SSEP, so they define genuinely new integrable processes.
  • The full-cycle twist minimizes the number of sectors (exactly N), while the untwisted SSEP maximizes it, giving a tunable knob on the number of absorbing basins.

Where Pith is reading between the lines

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

  • Editorial: The sector-count formula suggests a way to engineer the number of stationary basins: choosing a twist with large cycle gcds merges many SSEP sectors, so integrable models with few stationary states can be designed at will.
  • Editorial: Because the equivalence is via site-dependent relabelings, any observable of one model can be translated to the other; the rolling-polygon or colored-box pictures are useful for intuition, but the twisted-bond picture is the minimal one.
  • Editorial: The paper's symmetry assumption is what makes stationary states uniform; dropping it (e.g., an asymmetric version of the local jump) should produce non-uniform stationary distributions and macroscopic currents, connecting to out-of-equilibrium exclusion processes.
  • Editorial: The non-equivalence example suggests a classification programme: determine which set-theoretical solutions yield twisted SSEPs, and characterize the sector structures of the rest.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The paper constructs integrable Markov processes on a periodic lattice from set-theoretical solutions of the Yang–Baxter equation. For Lyubashenko solutions, it proves that the resulting Markov matrix is conjugate to a twisted multi-species SSEP via an explicit site-dependent bijection (Proposition 3.2). The bulk of the paper then classifies the sectors and stationary states of the twisted SSEP, showing that a sector is labelled by a profile and a total charge, and gives closed formulas for the number and cardinality of sectors. It also studies the effect of changing the twist (spreading, splitting, and oscillation of sectors) and derives exact branching probabilities. Finally, it constructs a non-Lyubashenko set-theoretical solution and argues that for L=3 its Markov model has 7 sectors, hence is not equivalent to any twisted SSEP.

Significance. The paper is a solid contribution to the interface of integrable Markov processes and set-theoretical Yang–Baxter solutions. The central equivalence (Prop. 3.2) is explicit and independently checkable, and the sector-counting formulas (Props. 4.9, 4.10, 4.14) are clean and exact. The branching-probability formalism of Section 5 is a useful addition. I specifically verified the finite computation in Section 6.2: the Markov model built from the displayed 9x9 matrix has 7 sectors (component sizes 4,4,6,6,3,3,1), so the non-equivalence claim is correct, contrary to the stress-test concern. The paper has no fitted parameters and the derivations are transparent. The main weaknesses are local and expository.

minor comments (3)
  1. [Remark 4.13, Eqs. (4.10)-(4.11)] The rewriting of Eq. (4.7) omits the |X|=2 terms. The sum over X should run over |X| ≥ 2, not |X| > 2. As printed, the identity is false already for a two-cycle twist: for f=(12)(3), L=3, Eq. (4.7) gives 5 sectors, while Eq. (4.10) with |X|>2 gives 3. The conclusion that the full cycle minimizes |S| remains true after the correction.
  2. [Section 6.2] The proof of non-equivalence relies on the asserted sector count 7, but the computation is only stated as 'by considering the action...'. I verified the count, but the manuscript should include the explicit enumeration or a short invariant argument so the load-bearing claim is self-contained.
  3. [Section 5.4, Eq. (5.11)] The phrase 'without loss of generality p2 ≠ 0' needs unpacking. If the sector has p2=0, the representative (5.10) and hence the condition (5.11) are not valid as written; one must either relabel the cycles so that a present species is called 2, or give the modified condition. The final probability formula is correct by symmetry, but the presentation should say this explicitly.

Circularity Check

0 steps flagged

No significant circularity: the derivation is self-contained and does not reduce to fitted inputs or self-citations.

full rationale

The paper's central derivation chain is self-contained. Proposition 3.2 establishes the equivalence between Lyubashenko-based models and twisted SSEP by an explicit conjugation V in Eq. (3.11), verified through Eqs. (3.13)-(3.17) from the definitions of ř, P, m, M_f and the choice f = g^L. No parameter is fitted and the claimed result is not assumed in the construction. The sector and stationary-state results (Propositions 4.4, 4.9, 4.10, 4.14) are combinatorial consequences of the transition rules and of symmetry of the Markov matrix; the branching probabilities in Proposition 5.2 are direct overlap computations from the explicit uniform stationary states. The only close-to-home citation, [39] (a LAPTh thesis), is used for the standard twisted transfer-matrix formula (3.7) and does not inject the paper's conclusions; [11] and [14] are external published results used for standard conjugacy and induction statements. The §6.2 non-equivalence example may contain a sector-counting error, as noted in the skeptic's check, but an arithmetic/combinatorial error is a correctness issue, not circularity: the argument is still an attempted external verification, not a reduction of the conclusion to its own inputs. No self-referential or load-bearing self-citation circularity is present.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The twist bijection f (or g) is an input defining the model, not a fitted parameter; no numbers are tuned to match data. The central formulas hold for arbitrary f.

axioms (5)
  • standard math Lyubashenko solutions are conjugated to the permutation operator
    Used in Prop 3.2; cited to [11].
  • standard math Baxterization: for an involutive R-matrix, R(z) = (z r + Id)/(z+1) satisfies Yang-Baxter with spectral parameter
    Section 2.3.
  • standard math Finite Markov chain with symmetric generator has a unique stationary state per recurrent class, uniform on the class
    Section 4.1, citing [31].
  • standard math Twisted transfer matrix commutativity: a constant twist T satisfying (3.6) gives commuting transfer matrices
    Section 3.3, citing [39].
  • standard math Bezout identity
    Used in the proof of Prop 4.9 to adjust charges by the gcd.

pith-pipeline@v1.3.0-alltime-deepseek · 20264 in / 26521 out tokens · 210537 ms · 2026-08-02T21:59:14.927932+00:00 · methodology

0 comments
read the original abstract

We investigate periodic integrable Markov models, constructed from set-theoretical solutions of the Yang-Baxter equation. We first focus on the simplest class of solutions, called Lyubashenko solutions. We show that the resulting models are equivalent to some twisted Symmetric Simple Exclusion Process (SSEP), which are usual periodic SSEP models where a twist is added on a bond of the ring. We also provide various possible interpretations for these Markov models. Then, we study the long time dynamics of the twisted SSEP, characterising its different stationary states and counting them. Allowing the twist to vary, we examine the possible transitions between the different stationary states. Finally, we extend our construction of Markov models to set-theoretical solutions that are more general than Lyubashenko solutions and show that such models are not equivalent to a twisted SSEP in general.

Figures

Figures reproduced from arXiv: 2602.18204 by Eric Ragoucy, Lo\"ic Poulain d'Andecy, Mathieu Dabrowski.

Figure 1
Figure 1. Figure 1: Transitions for rolling triangles and squares. [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: generic transitions in the colored boxes interpretation. [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Overfilling (3.b) / emptying (3.c) boxes. [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Integrable multi-species SSEP with reactive particle species

    math-ph 2026-07 accept novelty 6.0

    A new integrable family of exclusion processes, the (p,q)-SSEP, adds reactive particle pairs that transform or evaporate/condensate, with exact stationary densities and currents for one class of open boundaries.

Reference graph

Works this paper leans on

40 extracted references · 21 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Alcaraz, M

    F. Alcaraz, M. Droz, M. Henkel and V. Rittenberg,Reaction-Diffusion Processes, Critical Dynamics, and Quantum Chains, Ann. Physics230, 250–302 (1994),arXiv:hep-th/9302112

    Pith/arXiv arXiv 1994

  2. [2]

    Bachiller,Solutions of the Yang–Baxter equation associated to skew left braces, with applications to racks, J

    D. Bachiller,Solutions of the Yang–Baxter equation associated to skew left braces, with applications to racks, J. Knot Theory Ramifications27, 1850055 (2016),arXiv:1611.08138

    Pith/arXiv arXiv 2016

  3. [3]

    Baxter,Exactly Solved Models in Statistical Mechanics, Academic Press (1982)

    R. Baxter,Exactly Solved Models in Statistical Mechanics, Academic Press (1982)

    1982

  4. [4]

    Batchelor, R

    M. Batchelor, R. Baxter, M. O’Rourke and C. Yung,Exact solution and interfacial tension of the six-vertex model with anti-periodic boundary conditions, J. Phys. A: Math. Gen.28, 2759 (1995),arXiv:hep-th/9502040

    Pith/arXiv arXiv 1995

  5. [5]

    J. Cao, W. Yang, K. Shi and Y. Wang,Off-Diagonal Bethe Ansatz and Exact Solution of a Topological Spin Ring, Phys. Rev. Lett.111, 137201 (2013),arXiv:1305.7328

    Pith/arXiv arXiv 2013

  6. [6]

    Caudrelier and Q

    V. Caudrelier and Q. Zhang,Yang-Baxter and reflection maps from vector solitons with a boundary, Nonlinearity27, 1081–1103 (2014),arXiv:1205.1133

    Pith/arXiv arXiv 2014

  7. [7]

    Caudrelier, N

    V. Caudrelier, N. Crampé, and Q. Zhang,Set-theoretical reflection equation: classification of reflection maps, J. Phys. A: Math. Theor.46, 095203 (2013),arXiv:1210.5107

    Pith/arXiv arXiv 2013

  8. [8]

    F. Cedó, E. Jespers and A. Rio,Involutive Yang-Baxter Groups, Trans. Amer. Math. Soc. 362(2010), 2541–2558,arXiv:0803.4054

    Pith/arXiv arXiv 2010

  9. [9]

    F. Cedó, E. Jespers and J. Okniński,Braces and the Yang–Baxter Equation, Comm. Math. Phys.327101–116 (2012)

    2012

  10. [10]

    Chouraqui,Garside Groups and Yang–Baxter Equation, Comm

    F. Chouraqui,Garside Groups and Yang–Baxter Equation, Comm. Algebra38, 4441–4460 (2010),arXiv:0912.4827

    Pith/arXiv arXiv 2010

  11. [11]

    Doikou,Set-theoretic Yang–Baxter equation, braces and Drinfeld twists, J

    A. Doikou,Set-theoretic Yang–Baxter equation, braces and Drinfeld twists, J. Phys. A: Math. Theor.54, 415201 (2021),arXiv:2102.13591

    Pith/arXiv arXiv 2021

  12. [12]

    Doikou and A

    A. Doikou and A. Smoktunowicz,Set-theoretic Yang–Baxter and reflection equations and quantum group symmetries, Lett. Math. Phys.111, 105 (2021),arXiv:2003.08317

    Pith/arXiv arXiv 2021

  13. [13]

    Drinfeld,On some unsolved problems in quantum group theory, Quantum Groups Lect

    V. Drinfeld,On some unsolved problems in quantum group theory, Quantum Groups Lect. Notes Math.1510, 1–8 (1992)

    1992

  14. [14]

    Etingof, T

    P. Etingof, T. Schedler and A. Soloviev,Set-theoretical solutions to the quantum Yang-Baxter equation, Duke Math. J.100(2), 169–209 (1999),arXiv:math/9801047

    arXiv 1999

  15. [15]

    Evans, D

    M. Evans, D. Foster, C. Godrèche and D. Mukamel,Asymmetric exclusion model with two species: Spontaneous symmetry breaking, J. Stat. Phys.80, 69–102 (1995)

    1995

  16. [16]

    Faddeev,How algebraic Bethe ansatz works for integrable model, Les Houches Lectures Quantum Symmetries de A

    L.D. Faddeev,How algebraic Bethe ansatz works for integrable model, Les Houches Lectures Quantum Symmetries de A. Connes et al. (Amsterdam: North-Holland, 1998) p. 149, arxiv:hep-th/9605187

    Pith/arXiv arXiv 1998

  17. [17]

    Faddeev, E.K

    L.D. Faddeev, E.K. Sklyanin and L.A. Takhtajan,Quantum inverse problem method. I, Theor. Math. Phys.40, 688–706 (1979)

    1979

  18. [18]

    Gateva-Ivanova and M

    T. Gateva-Ivanova and M. Van den Bergh,Semigroups of I-Type, J. Algebra206, 97–112 (1998),arXiv:math/0308071

    Pith/arXiv arXiv 1998

  19. [19]

    Gateva-Ivanova,A combinatorial approach to the set-theoretic solutions of the Yang–Baxter equation, J

    T. Gateva-Ivanova,A combinatorial approach to the set-theoretic solutions of the Yang–Baxter equation, J. Math. Phys.45, 3828–3858 (2004),arXiv:math/0404461. 23

    Pith/arXiv arXiv 2004

  20. [20]

    Gier and F

    J. Gier and F. Essler,Bethe Ansatz Solution of the Asymmetric Exclusion Process with Open Boundaries, Phys. Rev. Lett.95, 240601 (2005),cond-mat/0508707

    Pith/arXiv arXiv 2005

  21. [21]

    Golinelli and K

    O. Golinelli and K. Mallick,Bethe ansatz calculation of the spectral gap of the asymmetric exclusion process, J. Phys. A Math. Gen.37, 3321 (2004),arXiv:cond-mat/0312371

    Pith/arXiv arXiv 2004

  22. [22]

    Guarnieri and L

    L. Guarnieri and L. Vendramin,Skew braces and the Yang-Baxter equation, Math. Comput. 862519–2534 (2015),arXiv:1511.03171

    Pith/arXiv arXiv 2015

  23. [23]

    K. Hao, J. Cao, G. Li, W. Yang, K. Shi and Y. Wang,Exact solution of an su(n) spin torus, J. Stat. Mech.: Theory Exp.2016, 073104 (2016),arXiv:1601.04389

    Pith/arXiv arXiv 2016

  24. [24]

    Isaev,Quantum Groups and Yang–Baxter Equations, Max-Planck-Institut für Mathematik Preprint (2004)

    A. Isaev,Quantum Groups and Yang–Baxter Equations, Max-Planck-Institut für Mathematik Preprint (2004)

    2004

  25. [25]

    V. F. R. Jones,Baxterization, Int. J. Mod. Phys. B4, 701–713 (1990)

    1990

  26. [26]

    Karimipour,Multispecies asymmetric simple exclusion process and its relation to traffic flow, Phys

    V. Karimipour,Multispecies asymmetric simple exclusion process and its relation to traffic flow, Phys. Rev. E59, 205–212 (1999)

    1999

  27. [27]

    Kawasaki,Diffusion Constants near the Critical Point for Time-Dependent Ising Models

    K. Kawasaki,Diffusion Constants near the Critical Point for Time-Dependent Ising Models. I., Phys. Rev.145, 224–230 (1966)

    1966

  28. [28]

    Lee and C

    T. Lee and C. Yang,Statistical Theory of Equations of State and Phase Transitions. II. Lattice Gas and Ising Model, Phys. Rev.87, 410–419 (1952)

    1952

  29. [29]

    MacDonald, J

    C. MacDonald, J. Gibbs and A. Pipkin,Kinetics of biopolymerization on nucleic acid templates, Biopolymers6, 1–25 (1968)

    1968

  30. [30]

    Mallick,The exclusion process: A paradigm for non-equilibrium behaviour, Phys

    K. Mallick,The exclusion process: A paradigm for non-equilibrium behaviour, Phys. A: Stat. Mech. Appl.418, 17–48 (2015),arXiv:1412.6258

    Pith/arXiv arXiv 2015

  31. [31]

    Norris,Markov Chains, Cambridge University Press (2012)

    J. Norris,Markov Chains, Cambridge University Press (2012)

    2012

  32. [32]

    Pouyanne,On the Number of Permutations Admitting an m-th Root, Electron

    N. Pouyanne,On the Number of Permutations Admitting an m-th Root, Electron. J. Comb. 9(2002)

    2002

  33. [33]

    Rump,A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation, Adv

    W. Rump,A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation, Adv. Math.193, 40–55 (2005)

    2005

  34. [34]

    Rump,Braces, radical rings, and the quantum Yang–Baxter equation, J

    W. Rump,Braces, radical rings, and the quantum Yang–Baxter equation, J. Algebra307, 153–170 (2007)

    2007

  35. [35]

    Schütz,Exactly Solvable Models for Many-Body Systems Far from Equilibrium, Ph

    G. Schütz,Exactly Solvable Models for Many-Body Systems Far from Equilibrium, Ph. Transit. Crit. Phenom.19, 1 (2001)

    2001

  36. [36]

    Smoktunowicz and A

    A. Smoktunowicz and A. Smoktunowicz,Set-theoretic solutions of the Yang–Baxter equation and new classes of R-matrices, Linear Algebra Appl.546, 86–114 (2018),arXiv:1704.03558

    Pith/arXiv arXiv 2018

  37. [37]

    Smoktunowicz, L

    A. Smoktunowicz, L. Vendramin, and R. Weston,Combinatorial solutions to the reflection equation, J. Algebra549268–290 (2020),arXiv:1810.03341

    Pith/arXiv arXiv 2020

  38. [38]

    Spitzer,Interaction of Markov processes, Adv

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

    1970

  39. [39]

    Vanicat,An integrabilist approach of out-of-equilibrium statistical physics models, Phd thesis, Laboratoire d’Annecy-le-Vieux de Physique Théorique, 2017,arXiv:1708.02440

    M. Vanicat,An integrabilist approach of out-of-equilibrium statistical physics models, Phd thesis, Laboratoire d’Annecy-le-Vieux de Physique Théorique, 2017,arXiv:1708.02440

    Pith/arXiv arXiv 2017

  40. [40]

    Yang,Some Exact Results for the Many-Body Problem in one Dimension with Repulsive Delta-Function Interaction, Phys

    C. Yang,Some Exact Results for the Many-Body Problem in one Dimension with Repulsive Delta-Function Interaction, Phys. Rev. Lett.19, 1312–1315 (1967). 24

    1967