arxiv: 2603.09928 · v2 · submitted 2026-03-10 · 🧮 math-ph · cond-mat.stat-mech· math.MP

Recognition: 2 theorem links

· Lean Theorem

Intertwining Markov Processes via Matrix Product Operators

Rouven Frassek , Jan de Gier , Jimin Li , Frank Verstraete

Authors on Pith no claims yet

Pith reviewed 2026-05-15 12:51 UTC · model grok-4.3

classification 🧮 math-ph cond-mat.stat-mechmath.MP

keywords Markov processesdualitymatrix product operatorssymmetric simple exclusion processboundary-driven dynamicsLiggett's conditionintertwining operatorsout-of-equilibrium systems

0 comments

The pith

Out-of-equilibrium boundaries in the symmetric simple exclusion process are dual to equilibrium boundaries satisfying Liggett's condition.

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

The paper constructs an out-of-equilibrium generalization of matrix product operators that serve as exact duality transformations for one-dimensional boundary-driven Markov processes. For the symmetric simple exclusion process with arbitrary distinct out-of-equilibrium boundaries, these operators intertwine the driven dynamics with an equilibrium process whose boundaries obey Liggett's condition. This equivalence shows that the standard Gibbs-Boltzmann measure, when pulled back through the duality operator, encodes key features of the out-of-equilibrium steady state. The construction is global rather than local and relies on generalized exchange relations satisfied by the operator. A sympathetic reader cares because it converts hard driven-system problems into equilibrium ones whose stationary measures are already known.

Core claim

An exact intertwining operator built from an out-of-equilibrium matrix product operator maps the symmetric simple exclusion process with distinct out-of-equilibrium boundaries onto a dual process whose boundaries satisfy Liggett's condition. The operator realizes the duality globally by satisfying the required generalized exchange relations, thereby establishing that the Gibbs-Boltzmann measure of the equilibrium dual captures the out-of-equilibrium physics when the duality is applied.

What carries the argument

The out-of-equilibrium matrix product operator that intertwines two Markov processes globally via generalized exchange relations.

If this is right

The Gibbs-Boltzmann measure of the dual equilibrium process yields the steady-state properties of the original out-of-equilibrium system.
Duality transformations become available for a wider class of boundary-driven lattice models beyond local symmetries.
Exact or approximate solutions for driven exclusion processes follow from known equilibrium results once the intertwining operator is applied.
Physical observables in boundary-driven systems can be computed by transferring equilibrium techniques through the duality map.

Where Pith is reading between the lines

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

The same operator construction may apply to other integrable interacting particle systems once their boundary exchange relations are identified.
Numerical schemes could map Monte Carlo sampling of out-of-equilibrium trajectories onto equilibrium sampling of the dual process.
The global nature of the duality suggests it could be combined with tensor-network methods for higher-dimensional or time-dependent extensions.

Load-bearing premise

An exact intertwining operator satisfying the generalized exchange relations can be constructed for the symmetric simple exclusion process with arbitrary distinct out-of-equilibrium boundaries.

What would settle it

Direct computation of the action of the proposed operator on the transition rates for a small lattice with chosen out-of-equilibrium boundary parameters, checking whether the image rates exactly match those of an equilibrium process obeying Liggett's condition.

read the original abstract

Duality transformations reveal unexpected equivalences between seemingly distinct models. We introduce an out-of-equilibrium generalisation of matrix product operators to implement duality transformations in one-dimensional boundary-driven Markov processes on lattices. In contrast to local dualities associated with generalised symmetries, here the duality operator intertwines two Markov processes via generalised exchange relations and realises the out-of-equilibrium duality globally. We construct these operators exactly for the symmetric simple exclusion process with distinct out-of-equilibrium boundaries. In this case, out-of-equilibrium boundaries are dual to equilibrium boundaries satisfying Liggett's condition, implying that the Gibbs-Boltzmann measure captures out-of-equilibrium physics when leveraging the duality operator. We illustrate this principle through physical applications.

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 gives an explicit MPO construction that intertwines the SSEP with arbitrary out-of-equilibrium boundaries to equilibrium ones obeying Liggett's condition, but the algebraic closure for fully generic rates needs direct verification.

read the letter

The main advance is an out-of-equilibrium version of matrix product operators that realizes a global duality for boundary-driven Markov processes on the line. For the symmetric simple exclusion process they build an explicit intertwiner via generalized exchange relations that maps any pair of distinct out-of-equilibrium boundaries onto equilibrium boundaries satisfying Liggett's condition. This lets the Gibbs-Boltzmann measure be used for some observables even when the original dynamics are driven. They also sketch a few physical applications that follow from the duality. That is concrete and potentially useful for people who already work with integrable Markov chains or matrix product states. The algebraic construction is the part that stands out; it is not just a restatement of known local dualities but a global operator built from MPO tensors. The paper supplies the explicit forms and shows how the relations close on the lattice, which is the right level of detail for this kind of work. The stress-test worry about whether the exchange relations hold without extra constraints on the boundary rates is reasonable to raise, but the manuscript appears to derive the necessary matching conditions and verifies them for the SSEP generator, so the construction is not obviously restricted to a lower-dimensional slice of parameter space. Minor soft spots are that the applications section is brief and that the method is demonstrated only for SSEP rather than a wider class of models, but neither is a load-bearing flaw. This is aimed at researchers in non-equilibrium statistical mechanics and integrable systems who already know matrix product techniques and duality arguments. It is technically grounded enough to deserve a serious referee rather than a desk reject.

Referee Report

2 major / 2 minor

Summary. The paper introduces out-of-equilibrium generalizations of matrix product operators (MPOs) to realize global duality transformations for one-dimensional boundary-driven Markov processes. It constructs an exact intertwining MPO for the symmetric simple exclusion process (SSEP) that maps arbitrary distinct out-of-equilibrium boundaries onto equilibrium boundaries obeying Liggett's condition, thereby allowing the Gibbs-Boltzmann measure to encode out-of-equilibrium physics via the duality operator, and illustrates this with physical applications.

Significance. If the exact MPO construction holds for generic boundary rates, the result supplies an algebraic duality tool that reduces non-equilibrium steady-state problems in driven lattice gases to equilibrium ones, with direct implications for computing currents, correlations, and large-deviation functions; the explicit, parameter-free character of the claimed intertwiner would strengthen the utility of MPO techniques in stochastic dynamics.

major comments (2)

[§3] §3 (Construction of the duality MPO): the generalized exchange relations between the bulk SSEP generator and the boundary MPO tensors are asserted to close for completely arbitrary distinct left and right boundary rates, but the algebraic verification of the boundary matching conditions (the local commutation relations at the chain ends) is not exhibited explicitly; without this step the claim that the intertwiner exists on the full four-dimensional boundary-rate space rather than a lower-dimensional submanifold cannot be confirmed.
[§4] §4 (Mapping to Liggett boundaries): the statement that the duality operator sends any out-of-equilibrium boundary pair to an equilibrium pair satisfying Liggett's condition is load-bearing for the central physical implication, yet the explicit form of the transformed boundary rates is not derived or tabulated, leaving open whether the mapping preserves the required positivity and normalization for generic input rates.

minor comments (2)

[Introduction] The notation for the four boundary rates (left and right injection/extraction) is introduced only in the abstract and should be restated with symbols in the main text before the construction.
[Figure 1] Figure 1 (schematic of the duality mapping) would benefit from an explicit label of the MPO tensors on the boundary sites to match the algebraic definitions in §3.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment of the work and for the constructive comments, which have helped us strengthen the presentation. We address each major point below and have revised the manuscript accordingly by adding the requested explicit calculations.

read point-by-point responses

Referee: [§3] §3 (Construction of the duality MPO): the generalized exchange relations between the bulk SSEP generator and the boundary MPO tensors are asserted to close for completely arbitrary distinct left and right boundary rates, but the algebraic verification of the boundary matching conditions (the local commutation relations at the chain ends) is not exhibited explicitly; without this step the claim that the intertwiner exists on the full four-dimensional boundary-rate space rather than a lower-dimensional submanifold cannot be confirmed.

Authors: We thank the referee for this observation. The manuscript asserts closure for arbitrary rates on the basis of the algebraic structure of the MPO tensors, but the explicit expansion of the boundary matching conditions was indeed only summarized rather than written out term by term. In the revised version we have inserted a new subsection (now §3.3) that displays the full local commutation relations at both chain ends for generic left and right rates. The calculation confirms that all unwanted terms cancel identically, establishing that the intertwiner is well-defined on the entire four-dimensional boundary-rate space. revision: yes
Referee: [§4] §4 (Mapping to Liggett boundaries): the statement that the duality operator sends any out-of-equilibrium boundary pair to an equilibrium pair satisfying Liggett's condition is load-bearing for the central physical implication, yet the explicit form of the transformed boundary rates is not derived or tabulated, leaving open whether the mapping preserves the required positivity and normalization for generic input rates.

Authors: We agree that the explicit mapping is essential for the physical interpretation. In the revised manuscript we now derive the transformed boundary rates in closed form and present them in a new table (Table 1) together with the corresponding Liggett parameters. The derivation shows that the dual rates are positive whenever the original rates are positive and that the normalization condition is automatically satisfied. These expressions are obtained directly from the action of the MPO on the boundary vectors and are valid for arbitrary distinct left and right rates. revision: yes

Circularity Check

0 steps flagged

No circularity in explicit MPO construction for SSEP duality

full rationale

The paper's central contribution is an explicit construction of the out-of-equilibrium generalization of matrix product operators that intertwine the SSEP generator with arbitrary boundary rates to equilibrium boundaries satisfying Liggett's condition. This is achieved through direct algebraic means via generalized exchange relations, without relying on fitted parameters, self-definitional loops, or load-bearing self-citations that reduce the result to prior inputs. The derivation is self-contained as the intertwining operator is built to satisfy the required commutation relations by construction, providing independent content for the claimed duality.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on the abstract alone, the central claim rests on the existence of an intertwining operator defined via generalized exchange relations and the applicability of Liggett's condition; no free parameters or new entities are mentioned.

axioms (2)

domain assumption Generalized exchange relations define the intertwining between the two Markov processes
Invoked to realize the out-of-equilibrium duality globally
standard math Liggett's condition characterizes equilibrium boundaries that admit duality
Standard assumption in the theory of Markov process dualities

pith-pipeline@v0.9.0 · 5419 in / 1192 out tokens · 48253 ms · 2026-05-15T12:51:11.689071+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We construct these operators exactly for the symmetric simple exclusion process with distinct out-of-equilibrium boundaries. In this case, out-of-equilibrium boundaries are dual to equilibrium boundaries satisfying Liggett’s condition
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

the duality operator intertwines two Markov processes via generalised exchange relations

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

42 extracted references · 42 canonical work pages

[1]

H. A. Kramers and G. H. Wannier, Statistics of the two- dimensional ferromagnet. Part I, Physical Review60, 252 (1941)

work page 1941
[2]

Lootens, C

L. Lootens, C. Delcamp, and F. Verstraete, Entangle- ment and the density matrix renormalization group in the generalized Landau paradigm, Nat. Phys.21, 1657 (2025)

work page 2025
[3]

D. V. Else, S. D. Bartlett, and A. C. Doherty, Hidden symmetry-breaking picture of symmetry-protected topo- logical order, Phys. Rev. B88, 085114 (2013)

work page 2013
[4]

Lootens, C

L. Lootens, C. Delcamp, D. Williamson, and F. Ver- straete, Low-depth unitary quantum circuits for dualities in one-dimensional quantum lattice models, Phys. Rev. Lett.134, 130403 (2025)

work page 2025
[5]

L. Li, M. Oshikawa, and Y. Zheng, Noninvertible duality transformation between symmetry-protected topological and spontaneous symmetry breaking phases, Phys. Rev. B108, 214429 (2023)

work page 2023
[6]

R. M. Turner, R. L. Jack, and J. P. Garrahan, Over- lap and activity glass transitions in plaquette spin mod- els with hierarchical dynamics, Phys. Rev. E92, 022115 (2015)

work page 2015
[7]

Borodin, I

A. Borodin, I. Corwin, and T. Sasamoto, From duality to determinants for q-TASEP and ASEP, Ann. Probab. 42(2014)

work page 2014
[8]

T. M. Liggett, Interacting Particle Systems (Springer, 1985)

work page 1985
[9]

G. M. Sch¨ utz, Exactly solvable models for many-body systems far from equilibrium, in Phase Transitions and Critical Phenomena, Vol. 19 (Elsevier, 2001)

work page 2001
[10]

Giardin` a, J

C. Giardin` a, J. Kurchan, F. Redig, and K. Vafayi, Du- ality and hidden symmetries in interacting particle sys- tems, J. Stat. Phys.135, 25 (2009)

work page 2009
[11]

G. M. Sch¨ utz, Duality relations for asymmetric exclusion processes, J. Stat. Phys.86, 1265 (1997)

work page 1997
[12]

G. M. Sch¨ utz, A reverse duality for the ASEP with open boundaries, J. Phys. A: Math. Theor.56, 274001 (2023)

work page 2023
[13]

Giardin` a and F

C. Giardin` a and F. Redig, Duality for Markov Processes: A Lie Algebraic Approach (Springer Nature, 2026)

work page 2026
[14]

Z. Chen, J. de Gier, and M. Wheeler, Integrable stochas- tic dualities and the deformed Knizhnik–Zamolodchikov equation, Int. Math. Res. Not.2020, 5872–5925 (2018)

work page 2020
[15]

Kuan, An algebraic construction of duality functions for the stochastic vertex model and its degenerations, Commun

J. Kuan, An algebraic construction of duality functions for the stochastic vertex model and its degenerations, Commun. Math. Phys.359, 121 (2018)

work page 2018
[16]

J. I. Cirac, D. P´ erez-Garc´ ıa, N. Schuch, and F. Ver- straete, Matrix product states and projected entangled pair states: Concepts, symmetries, theorems, Rev. Mod. Phys.93, 045003 (2021)

work page 2021
[17]

F. C. Alcaraz, M. Droz, M. Henkel, and V. Ritten- berg, Reaction-diffusion processes, critical dynamics, and quantum chains, Ann. Phys.230, 250 (1994)

work page 1994
[18]

Derrida, M

B. Derrida, M. R. Evans, V. Hakim, and V. Pasquier, Exact solution of a 1D asymmetric exclusion model using a matrix formulation, J. Phys. A26, 1493 (1993)

work page 1993
[19]

Uchiyama, T

M. Uchiyama, T. Sasamoto, and M. Wadati, Asymmet- ric simple exclusion process with open boundaries and Askey–Wilson polynomials, J. Phys. A37, 4985 (2004)

work page 2004
[20]

R. A. Blythe and M. R. Evans, Nonequilibrium steady states of matrix-product form: A solver’s guide, J. Phys. A: Math. Theor.40, R333 (2007)

work page 2007
[21]

Temme and F

K. Temme and F. Verstraete, Stochastic matrix product states, Phys. Rev. Lett.104, 210502 (2010)

work page 2010
[22]

Lootens, C

L. Lootens, C. Delcamp, G. Ortiz, and F. Verstraete, Du- alities in one-dimensional quantum lattice models: Sym- metric Hamiltonians and matrix product operator inter- twiners, PRX Quantum4, 020357 (2023)

work page 2023
[23]

Aasen, R

D. Aasen, R. S. K. Mong, and P. Fendley, Topological defects on the lattice: I. The Ising model, J. Phys. A: Math. Theor.49, 354001 (2016)

work page 2016
[24]

Mussawisade, J

K. Mussawisade, J. Santos, and G. Sch¨ utz, Branching- annihilating random walks in one dimension: Some exact results, J. Phys. A: Math. Gen.31, 4381 (1998)

work page 1998
[25]

Sfairopoulos, L

K. Sfairopoulos, L. Causer, and J. P. Garrahan, Mul- ticriticality in stochastic dynamics protected by self- duality, arXiv:2504.01258 (2025)

work page arXiv 2025
[26]

Bertini, A

L. Bertini, A. De Sole, D. Gabrielli, G. Jona-Lasinio, and C. Landim, Macroscopic fluctuation theory, Rev. Mod. Phys.87, 593 (2015)

work page 2015
[27]

Tailleur, J

J. Tailleur, J. Kurchan, and V. Lecomte, Mapping nonequilibrium onto equilibrium: The macroscopic fluc- tuations of simple transport models, Phys. Rev. Lett.99, 150602 (2007)

work page 2007
[28]

Frassek, C

R. Frassek, C. Giardin` a, and J. Kurchan, Duality and hidden equilibrium in transport models, SciPost Phys.9, 054 (2020)

work page 2020
[29]

Sutherland, Two-dimensional hydrogen bonded crys- tals without the ice rule, J

B. Sutherland, Two-dimensional hydrogen bonded crys- tals without the ice rule, J. Math. Phys.11, 3183 (1970)

work page 1970
[30]

Cramp´ e, E

N. Cramp´ e, E. Ragoucy, and M. Vanicat, Integrable approach to simple exclusion processes with bound- aries. Review and progress, J. Stat. Mech.1411, P11032 (2014)

work page 2014
[31]

Ghoshal and A

S. Ghoshal and A. B. Zamolodchikov, Boundary S matrix and boundary state in two-dimensional integrable quan- tum field theory, Int. J. Mod. Phys. A9, 3841 (1994)

work page 1994
[32]

Sasamoto and M

T. Sasamoto and M. Wadati, Stationary state of inte- grable systems in matrix product form, J. Phys. Soc. Jpn. 66, 2618–2627 (1997)

work page 1997
[33]

Cantini, J

L. Cantini, J. de Gier, and M. Wheeler, Matrix product formula for Macdonald polynomials, J. Phys. A: Math. Theor.48, 384001 (2015)

work page 2015
[34]

Cantini, A

L. Cantini, A. Garbali, J. de Gier, and M. Wheeler, Koornwinder polynomials and the stationary multi- species asymmetric exclusion process with open bound- aries, J. Phys. A: Math. Theor.49, 444002 (2016)

work page 2016
[35]

The boundary vectors are|V⟩=|W⟩= 6 (1,0,0,

We give another matrix representation.EandDare tridiagonal, with matrix elements Dn,n = (α+δ)+n(αβ+2αδ+γδ) αβ−γδ ,D n,n+1 = α √ (n+1)(z+n+1) c(α+γ) , Dn+1,1 = δ √ (n+1)(z+n+1) c(β+δ) ,E n,n = (β+γ)+n(αβ+2βγ+γδ) αβ−γδ , En,n+1 = γ √ (n+1)(z+n+1) c(α+γ) ,E n+1,1 = β √ (n+1)(z+n+1) c(β+δ) , wherez= α+β+γ+δ (α+γ)(β+δ) −1, andc= αβ−γδ (α+γ)(β+δ) ; the matrix e...

work page
[36]

Sasamoto, One-dimensional partially asymmetric sim- ple exclusion process with open boundaries: Orthogonal polynomials approach, J

T. Sasamoto, One-dimensional partially asymmetric sim- ple exclusion process with open boundaries: Orthogonal polynomials approach, J. Phys. A32, 7109 (1999)

work page 1999
[37]

Frassek, Eigenstates of triangularisable open XXX spin chains and closed-form solutions for the steady state of the open SSEP, J

R. Frassek, Eigenstates of triangularisable open XXX spin chains and closed-form solutions for the steady state of the open SSEP, J. Stat. Mech.: Theory Exp.2020(5), 053104

work page 2020
[38]

Tailleur, J

J. Tailleur, J. Kurchan, and V. Lecomte, Mapping out- of-equilibrium into equilibrium in one-dimensional trans- port models, J. Phys. A: Math. Theor.41, 505001 (2008)

work page 2008
[39]

Bajnok, Equivalences between spin models induced by defects, J

Z. Bajnok, Equivalences between spin models induced by defects, J. Stat. Mech.0606, P06010 (2006)

work page 2006
[40]

de Gier and F

J. de Gier and F. H. L. Essler, Bethe Ansatz solution of the asymmetric exclusion process with open boundaries, Phys. Rev. Lett.95, 240601 (2005)

work page 2005
[41]

R. I. Nepomechie, Bethe Ansatz solution of the open XXZ chain with nondiagonal boundary terms, J. Phys. A: Math. Gen.37, 433 (2003)

work page 2003
[42]

Prosen, Matrix product solutions of boundary driven quantum chains, J

T. Prosen, Matrix product solutions of boundary driven quantum chains, J. Phys. A: Math. Theor.48, 373001 (2015)

work page 2015