pith. sign in

arxiv: 2605.17018 · v1 · pith:2URL3G3Gnew · submitted 2026-05-16 · 🪐 quant-ph · cond-mat.stat-mech· math-ph· math.MP

Exact nonequilibrium steady states of boundary driven circuit with XYZ gates

Xin Zhang , Tomaz Prosen , Vladislav Popkov This is my paper

Pith reviewed 2026-05-19 20:16 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.stat-mechmath-phmath.MP
keywords boundary-driven quantum circuitsnonequilibrium steady statesmatrix product ansatzXXZ modelchiral statesexact solutionsquantum gates
0
0 comments X

The pith

Boundary-driven XXZ quantum circuits have exact many-body density operators via a spatially inhomogeneous matrix product ansatz with infinite bond dimension.

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

This paper derives the exact many-body density operator for a boundary-driven XXZ quantum circuit. It uses a spatially inhomogeneous matrix product Ansatz with formally infinite bond dimension that generalizes an earlier construction for XXZ interactions. Reset quantum channels project the boundary qubits toward arbitrary pure target states. The authors identify a family of separable chiral nonequilibrium steady states that function as elliptic analogs of spin helices and show relative robustness from an experimental viewpoint.

Core claim

The exact many-body density operator of the boundary-driven XXZ quantum circuit is obtained via a spatially inhomogeneous matrix product Ansatz with formally infinite bond-dimension. This yields a family of relatively robust separable chiral nonequilibrium steady states, which are elliptic analogs of spin helices for the circuit.

What carries the argument

Spatially inhomogeneous matrix product Ansatz with formally infinite bond dimension, which exactly represents the nonequilibrium steady state for arbitrary pure boundary target states under XYZ-gate interactions.

Load-bearing premise

The spatially inhomogeneous matrix product ansatz with formally infinite bond dimension exactly represents the nonequilibrium steady state for arbitrary pure target states at the boundaries and for the XYZ-gate interactions.

What would settle it

A direct check for small qubit numbers that the proposed density operator fails to satisfy the steady-state master equation for chosen boundary targets and gate parameters would disprove the exact representation.

Figures

Figures reproduced from arXiv: 2605.17018 by Tomaz Prosen, Vladislav Popkov, Xin Zhang.

Figure 1
Figure 1. Figure 1: 2-step reset driven XYZ circuit in folded notation. [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Two-step reset driven periodic XYZ circuit in folded [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Average local magnetizations profiles for elliptic [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Average local magnetizations profiles for ellip [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Helix indicators −f1 (solid blue curve) and f2(η) (solid black curve), given by (54) and (55) respectively and measured in the NESS, plotted versus the rescaled anisotropy for a system of N = 7 sites. Top Panel: u = 0.185i, τ = 0.65i, αL = 0.165 + 0.13i, αR = αL + u. Bottom Panel: u = 0.185, τ = 0.65i, αL = 0, αR = u = 0.185. Zeros of the in￾dicators coincide with the pure helix condition (N + 1)η = 0 (mod… view at source ↗
read the original abstract

We obtain the exact many-body density operator of a boundary-driven XXZ quantum circuit via a spatially inhomogeneous matrix product Ansatz. The Ansatz has formally infinite bond-dimension and generalizes authors' previous construction \cite{2025XXZcircuit} for the XXZ interactions. The boundary qubits are coupled to reset quantum channels that project them toward arbitrary pure target states. We find and describe a family of relatively robust separable chiral nonequilibrium steady states (NESS), which are elliptic analogs of spin helices for the circuit, and which are particularly attractive from an experimental perspective.

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

2 major / 2 minor

Summary. The manuscript claims to obtain the exact many-body density operator for a boundary-driven quantum circuit with XYZ gates via a spatially inhomogeneous matrix product ansatz of formally infinite bond dimension. This generalizes the authors' prior construction for XXZ interactions. Boundary qubits are coupled to reset channels projecting onto arbitrary pure target states. The work identifies and describes a family of separable chiral nonequilibrium steady states that are elliptic analogs of spin helices and are presented as relatively robust and experimentally attractive.

Significance. If the ansatz is shown to be exactly invariant under the XYZ circuit map for arbitrary parameters and targets, the result would constitute a rare exact NESS solution in a non-integrable, non-U(1)-symmetric open quantum circuit. The construction of chiral separable states could inform nonequilibrium many-body physics and guide circuit-based experiments.

major comments (2)
  1. [§3.2, Eq. (9)] §3.2, Eq. (9): the tensor equations obtained by requiring invariance of the inhomogeneous MPS under the XYZ gate are stated to close for general couplings, yet the absence of the U(1) symmetry that closed the XXZ case makes it unclear whether solutions exist without additional parameter constraints or restrictions on the boundary targets; this is load-bearing for the exactness claim.
  2. [§4.1] §4.1: the family of chiral NESS is asserted to be exact and robust, but the range of XYZ parameters and target-state choices for which the ansatz remains an exact steady state is not bounded explicitly, weakening the generality statement.
minor comments (2)
  1. The introduction would benefit from a short paragraph contrasting the XYZ construction with the cited XXZ result to highlight what is new.
  2. [Figure 2] Figure 2 caption: the bond-dimension truncation used for numerical checks should be stated explicitly.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for noting the potential significance of our exact NESS construction for the XYZ circuit. We address each major comment below and have revised the manuscript to improve clarity on the scope and explicitness of our results.

read point-by-point responses

  1. Referee: [§3.2, Eq. (9)]: the tensor equations obtained by requiring invariance of the inhomogeneous MPS under the XYZ gate are stated to close for general couplings, yet the absence of the U(1) symmetry that closed the XXZ case makes it unclear whether solutions exist without additional parameter constraints or restrictions on the boundary targets; this is load-bearing for the exactness claim.

    Authors: We appreciate the referee highlighting this point. Although the U(1) symmetry is absent, the tensor equations for the inhomogeneous matrices close for arbitrary XYZ couplings and arbitrary pure boundary targets. The solution takes an explicit inhomogeneous form that satisfies the invariance condition identically, generalizing the XXZ construction without imposing extra constraints. We have added a new appendix deriving the explicit solution to these tensor equations to demonstrate this closure directly. revision: yes

  2. Referee: [§4.1]: the family of chiral NESS is asserted to be exact and robust, but the range of XYZ parameters and target-state choices for which the ansatz remains an exact steady state is not bounded explicitly, weakening the generality statement.

    Authors: We agree that an explicit statement of the parameter range improves the presentation. The construction yields exact chiral separable NESS for all real XYZ couplings and any choice of pure target states. We have revised §4.1 to state this range explicitly and to note that the separability and elliptic helix structure persist throughout the full parameter space. revision: yes

Circularity Check

0 steps flagged

No significant circularity in ansatz generalization or NESS derivation

full rationale

The paper claims an exact many-body density operator for the boundary-driven XYZ circuit obtained via a spatially inhomogeneous matrix product ansatz of formally infinite bond dimension, presented as a generalization of the authors' prior XXZ construction. The central content consists of deriving and describing a family of separable chiral nonequilibrium steady states as elliptic analogs of spin helices. No quoted equations or steps reduce any prediction or exactness claim to a fitted parameter, self-definition, or unverified self-citation chain by construction; the ansatz is introduced as a method whose invariance and boundary satisfaction are asserted for the new XYZ case, with independent results on the resulting states. This is a standard theoretical construction in quantum circuits and remains self-contained without the prohibited circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the validity of the inhomogeneous matrix-product ansatz for the driven circuit; no explicit free parameters or new physical entities are introduced in the abstract.

axioms (1)
  • domain assumption The spatially inhomogeneous matrix product ansatz with infinite bond dimension exactly captures the steady-state density operator under the given boundary reset channels and XYZ interactions.
    This is the structural premise invoked to obtain the exact many-body operator.

pith-pipeline@v0.9.0 · 5628 in / 1278 out tokens · 41466 ms · 2026-05-19T20:16:11.102198+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

29 extracted references · 29 canonical work pages · 1 internal anchor

  1. [1]

    easy-plane-like

    = 1 2 − b2 2 −2aa ∗,(54) f2(x) = 1 2tr|ρ1 −ρ(α L +x)|= 1 2 2X j=1 |λj|2,(55) ρ(x) = 1 |θ1(x)|2 +|θ 4(x)|2 θ1(x) θ4(x) (θ1(x∗), θ 4(x∗)). (56) The indicatorf 1 simply measures a purity of a qubit state. The indicatorf2(η)is a trace distance between the actual state of the first qubitρ1 andρ(α L +η), which is the state of the first qubit in the helix (33). ...

    work page

  2. [2]

    Popkov and T

    V. Popkov and T. Prosen, Exact Nonequilibrium Steady State ofXXZCircuits Boundary Driven with Arbitrary Resets or Fields, Phys. Rev. Lett.135, 070401 (2025)

    work page 2025

  3. [3]

    Breuer and F

    H.-P. Breuer and F. Petruccione,The theory of open quantum systems(Oxford University Press, 2002)

    work page 2002

  4. [4]

    M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information(Cambridge University press, 2010)

    work page 2010

  5. [5]

    Gardiner and P

    C. Gardiner and P. Zoller,Quantum noise: a handbook of Markovian and non-Markovian quantum stochastic meth- ods with applications to quantum optics(Springer Science & Business Media, 2004)

    work page 2004

  6. [6]

    Foxen, C

    B. Foxen, C. Neill,et al., Demonstrating a continuous set of two-qubit gates for near-term quantum algorithms, Phys. Rev. Lett.125, 120504 (2020)

    work page 2020

  7. [7]

    Morvan, T

    A. Morvan, T. Andersen,et al., Formation of robust bound states of interacting microwave photons, Nature 612, 240 (2022)

    work page 2022

  8. [8]

    X. Mi, A. Michailidis,et al., Stable quantum-correlated many-body states through engineered dissipation, Sci- ence383, 1332 (2024)

    work page 2024

  9. [9]

    Rosenberg, T

    E. Rosenberg, T. Andersen,et al., Dynamics of magneti- zation at infinite temperature in a heisenberg spin chain, Science384, 48 (2024)

    work page 2024

  10. [10]

    Vanicat, L

    M. Vanicat, L. Zadnik, and T. Prosen, Integrable trotter- ization: Local conservation laws and boundary driving, Phys. Rev. Lett.121, 030606 (2018)

    work page 2018

  11. [11]

    Prosen, OpenXXZSpin Chain: Nonequilibrium Steady State and a Strict Bound on Ballistic Transport, Phys

    T. Prosen, OpenXXZSpin Chain: Nonequilibrium Steady State and a Strict Bound on Ballistic Transport, Phys. Rev. Lett.106, 217206 (2011)

    work page 2011

  12. [12]

    Ljubotina, L

    M. Ljubotina, L. Zadnik, and T. Prosen, Ballistic Spin Transport in a Periodically Driven Integrable Quantum System, Phys. Rev. Lett.122, 150605 (2019)

    work page 2019

  13. [13]

    Benenti, G

    G. Benenti, G. Casati, T. Prosen, D. Rossini, and M. Žnidarič, Charge and spin transport in strongly corre- lated one-dimensional quantum systems driven far from equilibrium, Phys. Rev. B80, 035110 (2009)

    work page 2009

  14. [14]

    Prosen, Exact nonequilibrium steady state of a strongly driven openxxzchain, Phys

    T. Prosen, Exact nonequilibrium steady state of a strongly driven openxxzchain, Phys. Rev. Lett.107, 137201 (2011)

    work page 2011

  15. [15]

    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

  16. [16]

    Popkov, J

    V. Popkov, J. Schmidt, and C. Presilla, Spin-helix states in the xxz spin chain with strong boundary dissipation, J. Phys. A: Math. Theor.50, 435302 (2017)

    work page 2017

  17. [17]

    Tripathi, F

    A. Tripathi, F. Gerken, P. Schmitteckert, M. Thorwart, M. Trif, and T. Posske, Generalized josephson effect with arbitrary periodicity in quantum magnets, Phys. Rev. Res.7, 013272 (2025)

    work page 2025

  18. [18]

    E. S. Ma, K. L. Zhang, and Z. Song, Steady helix states in a resonant xxz heisenberg model with dzyaloshinskii- moriya interaction, Phys. Rev. B106, 245122 (2022)

    work page 2022

  19. [19]

    Zhang, A

    X. Zhang, A. Klümper, and V. Popkov, Phantom Bethe roots in the integrable open spin- 1 2 XXZ chain, Phys. Rev. B103, 115435 (2021)

    work page 2021

  20. [20]

    Y. I. Granovskii and A. Zhedanov, Coherent structures in a heisenberg anisotropic array, JETP Letters41, 312 (1985)

    work page 1985

  21. [21]

    Y. I. Granovskii and A. Zhedanov, Periodic structures on a quantum spin chain, Zh. Eksp. Teor. Fiz89, 2156 (1985)

    work page 1985

  22. [22]

    Bhowmick and W

    D. Bhowmick and W. W. Ho, Granovskii-Zhedanov Scar of XYZ Spin-chain: Modern Algebraic Perspectives and Realization in Higher Dimensional Lattices, (2025), arXiv:2507.14895 [quant-ph]

    work page internal anchor Pith review arXiv 2025

  23. [23]

    Zheng, C

    M. Zheng, C. Liang, S. Chen, and X. Zhang, Exact spin helix eigenstates in the anisotropic spin-sHeisen- berg model with arbitrary dimensions, Phys. Rev. B112, 165102 (2025)

    work page 2025

  24. [24]

    P. N. Jepsen, Y. K. â. Lee, H. Lin, I. Dimitrova, Y. Mar- galit, W. W. Ho, and W. Ketterle, Long-lived phan- tom helix states in heisenberg quantum magnets, Nature Physics18, 899 (2022)

    work page 2022

  25. [25]

    P. N. Jepsen, W. W. Ho, J. Amato-Grill, I. Dimitrova, E. Demler, and W. Ketterle, Transverse spin dynamics in the anisotropic heisenberg model realized with ultracold atoms, Phys. Rev. X11, 041054 (2021)

    work page 2021

  26. [26]

    R. J. Baxter,Exactly Solved Models in Statistical Me- chanics(Academic Press, 1982)

    work page 1982

  27. [27]

    E. T. Whittaker and G. N. Watson,A course of modern analysis(Cambridge University Press, 1950)

    work page 1950

  28. [28]

    L. A. Takhtajan and L. D. Faddeev, The Quantum method of the inverse problem and the Heisenberg XYZ model, Russ. Math. Surveys34, 11 (1979)

    work page 1979

  29. [29]

    Slavnov, A

    N. Slavnov, A. Zabrodin, and A. Zotov, Scalar products of Bethe vectors in the 8-vertex model, JHEP06(2020), 123. 9 Appendix A: Theta functions We introduce the following Jacobi theta functionsϑα(u, q)[26] ϑ1(u, q) = 2 ∞X n=0 (−1)nq(n+ 1 2 )2 sin[(2n+ 1)u], ϑ2(u, q) = 2 ∞X n=0 q(n+ 1 2 )2 cos[(2n+ 1)u], ϑ3(u, q) = 1 + 2 ∞X n=1 qn2 cos(2nu), ϑ4(u, q) = 1 +...

    work page 2020