arxiv: 2604.19862 · v1 · submitted 2026-04-21 · 🪐 quant-ph · cond-mat.stat-mech· cond-mat.str-el· hep-th

Recognition: unknown

Bootstrapping Open Quantum Many-body Systems with Absorbing Phase Transitions

Minjae Cho , Colin Oscar Nancarrow , Petar Tadi\'c , Yuan Xin

Authors on Pith no claims yet

Pith reviewed 2026-05-10 02:43 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.stat-mechcond-mat.str-elhep-th

keywords bootstrap methodsopen quantum systemsLindblad master equationabsorbing phase transitionsquantum contact processdensity matrix positivitysteady-state conditionsquantum many-body systems

0 comments

The pith

Combining density matrix positivity with steady-state conditions produces a bootstrap hierarchy for bounding observables in open quantum many-body systems on infinite lattices.

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 requirement that a density matrix stay positive semidefinite while remaining invariant under Lindblad evolution generates an infinite tower of linear and semidefinite constraints. These constraints can be truncated at finite order to produce rigorous upper and lower bounds on expectation values, critical couplings, and spectral gaps for models that possess an absorbing phase transition. A reader would care because exact analytic control over infinite open quantum lattices is otherwise unavailable, and finite-size numerics suffer from uncontrolled boundary effects. The concrete demonstration is performed on the quantum contact process, where the method supplies bounds on several quantities in both the absorbing and active phases.

Core claim

The positivity of the density matrix together with the condition that its time derivative vanishes under the Lindblad generator yields a hierarchy of inequalities that can be systematically truncated to bound physical quantities in open quantum systems on infinite lattices that undergo absorbing phase transitions.

What carries the argument

The positivity-plus-steady-state hierarchy: the set of linear and semidefinite constraints obtained by requiring that the density matrix be positive semidefinite and that its commutator with the Liouvillian superoperator be zero.

If this is right

Bootstrap bounds are obtained on steady-state expectation values of the quantum contact process.
An estimate follows for the critical coupling that separates the absorbing and active phases.
Certain ratios of expectation values become bounded in the nontrivial steady state above criticality.
An upper bound is placed on the Liouvillian spectral gap in the subcritical phase.

Where Pith is reading between the lines

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

The same hierarchy could be applied to other Lindblad models that possess absorbing states to obtain comparable bounds.
Convergence rate of the bounds with truncation depth may indicate how rapidly the method captures infinite-lattice physics.
Direct comparison of the bootstrap intervals with tensor-network or Monte-Carlo data would test consistency on larger but finite lattices.

Load-bearing premise

A finite truncation of the positivity and steady-state hierarchy produces bounds that remain meaningful and tighten toward the exact infinite-lattice values.

What would settle it

If successively larger truncations of the hierarchy produce bounds that fail to enclose independently computed values or fail to tighten for the quantum contact process.

read the original abstract

We demonstrate that combining the positivity of density matrices with steady-state conditions yields a systematic bootstrap method for studying open quantum many-body systems governed by Lindblad master equations on infinite lattices, which exhibit absorbing phase transitions. As a concrete example, we apply this method to the quantum contact process with an absorbing state. We obtain bootstrap bounds on steady-state expectation values, the critical coupling, certain ratios of expectation values in the nontrivial steady state in the supercritical phase, and the Liouvillian spectral gap in the subcritical phase.

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 bootstrap for Lindblad absorbing transitions is a plausible extension but the truncation step lacks any convergence control, so the reported bounds stay provisional.

read the letter

The paper takes the standard positivity-plus-steady-state bootstrap and applies it to infinite-lattice Lindblad systems that have absorbing phase transitions. That combination is not routine, and the concrete example on the quantum contact process produces bounds on local expectations, the critical coupling, some ratios in the active phase, and the Liouvillian gap below criticality. Those are the actual new pieces; the rest follows from enforcing the Lindblad equation on a truncated operator hierarchy and solving the resulting semidefinite program. The construction itself is clean and starts from the correct axioms rather than fitting data. What is missing is any argument or numerical check that the bounds tighten or stabilize as the truncation order is raised. At an absorbing transition the correlation length diverges, so simply dropping higher correlators can shift the location of the critical point or the gap by an amount that does not go to zero. The abstract gives no monotonicity statement, no a-priori error estimate, and no table showing how the numbers change with N. Without that, the numerical values remain illustrative rather than rigorous. The method is aimed at people already working on dissipative quantum many-body systems who are looking for systematic bounds instead of direct simulation. It is coherent on its own terms and shows clear thinking about the steady-state conditions, so it is worth sending to a referee who can ask for the missing convergence data. I would not cite the numbers yet, but the overall approach is worth watching if they can close the truncation gap.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a bootstrap method for open quantum many-body systems governed by Lindblad master equations on infinite lattices that exhibit absorbing phase transitions. It combines positivity constraints on (reduced) density matrices with the steady-state condition obtained by setting the expectation value of the Lindblad superoperator applied to local operators to zero. The resulting semidefinite program is truncated at finite order and applied to the quantum contact process, producing bounds on steady-state expectation values, the location of the absorbing transition, certain ratios of observables in the active phase, and the Liouvillian gap in the absorbing phase.

Significance. If the truncation errors can be controlled, the approach supplies a new, parameter-light route to rigorous bounds on non-equilibrium steady states that avoids finite-size scaling artifacts. The explicit construction from positivity plus the Lindblad steady-state condition, together with the numerical demonstration on the quantum contact process, would constitute a useful addition to the toolbox for open quantum systems, especially near criticality where tensor-network or Monte-Carlo methods face severe challenges.

major comments (2)

[Method section (hierarchy truncation)] The truncation of the positivity-plus-steady-state hierarchy at finite order N (described in the method section) is introduced without an a-priori error estimate, monotonicity argument, or numerical convergence study showing that the SDP feasible set shrinks to the true infinite-lattice steady state as N increases. This is load-bearing for the central claim that the reported bounds on the critical coupling and the Liouvillian gap are systematic and meaningful for the infinite system, particularly when the correlation length diverges at the transition.
[Results on critical coupling and gap] The numerical bounds on the critical coupling and on the gap (presented in the results tables/figures) are obtained at a single truncation level; without evidence that these bounds are monotonic or that the discarded higher-order correlators cannot shift the location of the transition, it is unclear whether the quoted intervals are rigorous or contaminated by uncontrolled truncation bias.

minor comments (2)

[Abstract] The abstract states that bounds are obtained but does not indicate the truncation order used for the quoted numerical values; adding this information would improve reproducibility.
[Method section] Notation for the moment matrices or correlator hierarchy should be defined more explicitly (e.g., which operators are retained at each level) to allow readers to reproduce the SDP.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the careful and constructive report. The concerns about the truncation scheme and its implications for the rigor of the reported bounds are well taken. We address each major comment below and will revise the manuscript to incorporate additional numerical evidence of convergence.

read point-by-point responses

Referee: The truncation of the positivity-plus-steady-state hierarchy at finite order N (described in the method section) is introduced without an a-priori error estimate, monotonicity argument, or numerical convergence study showing that the SDP feasible set shrinks to the true infinite-lattice steady state as N increases. This is load-bearing for the central claim that the reported bounds on the critical coupling and the Liouvillian gap are systematic and meaningful for the infinite system, particularly when the correlation length diverges at the transition.

Authors: We agree that the manuscript would benefit from a more explicit discussion of the truncation. While a general a-priori error estimate for the N to infinity limit is not derived here, each finite truncation yields rigorous bounds because the included positivity and steady-state constraints are necessary conditions satisfied by any physical steady state. In the revision we will add a dedicated subsection with numerical results at successive orders (N=3 to N=6) that demonstrate stabilization of the bounds on the critical coupling and gap, together with observed monotonic tightening of the feasible intervals. A complete convergence proof remains an open theoretical question. revision: partial
Referee: The numerical bounds on the critical coupling and on the gap (presented in the results tables/figures) are obtained at a single truncation level; without evidence that these bounds are monotonic or that the discarded higher-order correlators cannot shift the location of the transition, it is unclear whether the quoted intervals are rigorous or contaminated by uncontrolled truncation bias.

Authors: The original submission emphasized the highest computationally feasible truncation. The revision will include a new table and accompanying figure that compare bounds across multiple truncation orders. These data will show that the location of the critical coupling remains stable and that the intervals tighten monotonically, indicating that higher-order correlators do not shift the transition outside the reported precision. The intervals at each finite N are rigorously valid outer bounds; the multi-order comparison will quantify the truncation uncertainty. revision: yes

standing simulated objections not resolved

A rigorous a-priori error estimate or mathematical proof of convergence of the finite-N hierarchy to the exact infinite-lattice steady state is not available and would require substantial further theoretical work.

Circularity Check

0 steps flagged

No circularity: derivation rests on standard positivity and Lindblad steady-state axioms

full rationale

The paper constructs its bootstrap by imposing positivity of finite-subsystem density matrices together with the steady-state condition obtained from the expectation value of the Lindblad superoperator. These are independent physical axioms, not defined in terms of the output bounds. The hierarchy is truncated at finite order to obtain an SDP; the resulting bounds are presented as consequences of the truncated constraints rather than as inputs that are renamed or fitted to themselves. No self-citation is invoked to justify uniqueness or to smuggle an ansatz, and no known empirical pattern is merely relabeled. The truncation is an approximation whose convergence is not proven in the excerpt, but that is a question of rigor, not circularity. The central claim therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The approach rests on two standard properties plus a practical truncation choice; no new particles or forces are introduced.

free parameters (1)

truncation level of the operator hierarchy
The finite cutoff at which the infinite set of positivity inequalities is stopped; this choice controls bound tightness but is not derived from first principles.

axioms (2)

standard math Density matrices are positive semi-definite
Used to generate the inequalities that close the bootstrap.
domain assumption The system possesses a steady state obeying the Lindblad master equation
Invoked to set the time derivative to zero and obtain algebraic relations among expectation values.

pith-pipeline@v0.9.0 · 5394 in / 1336 out tokens · 38686 ms · 2026-05-10T02:43:56.242067+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

47 extracted references · 40 canonical work pages · 1 internal anchor

[1]

Casteels, R

W. Casteels, R. Fazio and C. Ciuti,Critical dynamical properties of a first-order dissipative phase transition,Phys. Rev. A95(2017) 012128, [1608.00717]

work page arXiv 2017
[2]

Minganti, A

F. Minganti, A. Biella, N. Bartolo and C. Ciuti,Spectral theory of Liouvillians for dissipative phase transitions,Phys. Rev. A98(2018) 042118, [1804.11293]

work page arXiv 2018
[3]

Skinner, J

B. Skinner, J. Ruhman and A. Nahum,Measurement-Induced Phase Transitions in the Dynamics of Entanglement,Phys. Rev. X9(2019) 031009, [1808.05953]. 14

work page arXiv 2019
[4]

Y. Li, X. Chen and M. P. A. Fisher,Quantum Zeno effect and the many-body entanglement transition,Phys. Rev. B98(2018) 205136, [1808.06134]

work page arXiv 2018
[5]

J. Y. Lee, C.-M. Jian and C. Xu,Quantum Criticality Under Decoherence or Weak Measurement,PRX Quantum4(2023) 030317, [2301.05238]

work page arXiv 2023
[6]

Hinrichsen,Critical phenomena in nonequilibrium systems,Adv

H. Hinrichsen,Critical phenomena in nonequilibrium systems,Adv. Phys.49(2000) 815–958, [cond-mat/0001070]

work page arXiv 2000
[7]

Marcuzzi, M

M. Marcuzzi, M. Buchhold, S. Diehl and I. Lesanovsky,Absorbing State Phase Transition with Competing Quantum and Classical Fluctuations,”Phys. Rev. Lett.”116(June, 2016) 245701, [1601.07305]

work page arXiv 2016
[8]

Carollo, E

F. Carollo, E. Gillman, H. Weimer and I. Lesanovsky,Quantum contact process,Phys. Rev. Lett.123(2019) 100604, [1902.04515]

work page arXiv 2019
[9]

Gillman, F

E. Gillman, F. Carollo and I. Lesanovsky,Numerical Simulation of Critical Dissipative Non-Equilibrium Quantum Systems with an Absorbing State,1907.02433

work page arXiv 1907
[10]

M. Jo, J. Lee, K. Choi and B. Kahng,Absorbing phase transition with a continuously varying exponent in a quantum contact process: a neural network approach,Phys. Rev. Res.3(2021) 013238, [2004.02672]

work page arXiv 2021
[11]

Barthel and R

T. Barthel and R. H¨ ubener,Solving condensed-matter ground-state problems by semidefinite relaxations,Phys. Rev. Lett.108(2012) 200404, [1106.4966]

work page arXiv 2012
[12]

X. Han, S. A. Hartnoll and J. Kruthoff,Bootstrapping Matrix Quantum Mechanics,Phys. Rev. Lett.125(2020) 041601, [2004.10212]

work page arXiv 2020
[13]

C. O. Nancarrow and Y. Xin,Bootstrapping the gap in quantum spin systems,JHEP08(2023) 052, [2211.03819]

work page arXiv 2023
[14]

Fawzi, O

H. Fawzi, O. Fawzi and S. O. Scalet,Certified algorithms for equilibrium states of local quantum Hamiltonians,Nature Commun.15(2024) 7394, [2311.18706]

work page arXiv 2024
[15]

Q. Gao, R. A. Lanzetta, P. Ledwith, J. Wang and E. Khalaf,Bootstrapping the Quantum Hall Problem,Phys. Rev. X15(2025) 031034, [2409.10619]

work page arXiv 2025
[16]

M. Cho, B. Gabai, J. Sandor and X. Yin,Thermal bootstrap of matrix quantum mechanics, JHEP04(2025) 186, [2410.04262]

work page arXiv 2025
[17]

M. Cho, C. O. Nancarrow, P. Tadi´ c, Y. Xin and Z. Zheng,Coarse-grained bootstrap of quantum many-body systems,JHEP02(2026) 222, [2412.07837]

work page arXiv 2026
[18]

M. Cho, B. Gabai, H. W. Lin, J. Yeh and Z. Zheng,Bootstrapping Euclidean Two-point Correlators,2511.08560

work page internal anchor Pith review Pith/arXiv arXiv
[19]

Robichon and A

G. Robichon and A. Tilloy,Bootstrapping the stationary state of bosonic open quantum systems, 2410.07384

work page arXiv
[20]

Mortimer, D

L. Mortimer, D. Farina, G. Di Bello, D. Jansen, A. Leitherer, P. Mujal et al.,Certifying steady-state properties of open quantum systems,Phys. Rev. Res.7(2025) 033237, [2410.13646]

work page arXiv 2025
[21]

Cho,Nonequilibrium Phase Transitions in LargeNMatrix Quantum Mechanics, 2508.04764

M. Cho,Nonequilibrium phase transitions in Large N matrix quantum mechanics,JHEP03 (2026) 092, [2508.04764]. 15

work page arXiv 2026
[22]

P. D. Anderson and M. Kruczenski,Loop Equations and bootstrap methods in the lattice,Nucl. Phys. B921(2017) 702–726, [1612.08140]

work page arXiv 2017
[23]

Anderson and M

P. Anderson and M. Kruczenski,Loop equation in Lattice gauge theories and bootstrap methods, EPJ Web Conf.175(2018) 11011

2018
[24]

unsolvable

V. Kazakov and Z. Zheng,Analytic and numerical bootstrap for one-matrix model and “unsolvable” two-matrix model,JHEP06(2022) 030, [2108.04830]

work page arXiv 2022
[25]

Kazakov and Z

V. Kazakov and Z. Zheng,Bootstrap for lattice Yang-Mills theory,Phys. Rev. D107(2023) L051501, [2203.11360]

work page arXiv 2023
[26]

M. Cho, B. Gabai, Y.-H. Lin, V. A. Rodriguez, J. Sandor and X. Yin,Bootstrapping the Ising Model on the Lattice,2206.12538

work page arXiv
[27]

Cho and X

M. Cho and X. Sun,Bootstrap, Markov Chain Monte Carlo, and LP/SDP hierarchy for the lattice Ising model,JHEP11(2023) 047, [2309.01016]

work page arXiv 2023
[28]

Cho,Bootstrapping Nonequilibrium Stochastic Processes,SciPost Phys.19(2025) 124, [2505.13609]

M. Cho,Bootstrapping Nonequilibrium Stochastic Processes,SciPost Phys.19(2025) 124, [2505.13609]

work page arXiv 2025
[29]

D. A. Mazziotti,Contracted schr¨ odinger equation: Determining quantum energies and two-particle density matrices without wave functions,Phys. Rev. A57(Jun, 1998) 4219–4234

1998
[30]

Nakata, H

M. Nakata, H. Nakatsuji, M. Ehara, M. Fukuda, K. Nakata and K. Fujisawa,Variational calculations of fermion second-order reduced density matrices by semidefinite programming algorithm,The Journal of Chemical Physics114(05, 2001) 8282–8292

2001
[31]

Bounding scalar operator dimensions in 4D CFT

R. Rattazzi, V. S. Rychkov, E. Tonni and A. Vichi,Bounding scalar operator dimensions in 4D CFT,JHEP12(2008) 031, [0807.0004]

work page Pith review arXiv 2008
[32]

Rattazzi, S

R. Rattazzi, S. Rychkov and A. Vichi,Central Charge Bounds in 4D Conformal Field Theory, Phys.Rev.D83(2011) 046011, [1009.2725]

work page arXiv 2011
[33]

Rattazzi, S

R. Rattazzi, S. Rychkov and A. Vichi,Bounds in 4D Conformal Field Theories with Global Symmetry,J.Phys.A44(2011) 035402, [1009.5985]

work page arXiv 2011
[34]

Hern´ andez-Lerma and J

O. Hern´ andez-Lerma and J. Lasserre,Markov Chains and Invariant Probabilities. Progress in Mathematics. Birkh¨ auser Basel, 2012, https://doi.org/10.1007/978-3-0348-8024-4

work page doi:10.1007/978-3-0348-8024-4 2012
[35]

Fantuzzi, D

G. Fantuzzi, D. Goluskin, D. Huang and S. I. Chernyshenko,Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization,SIAM Journal on Applied Dynamical Systems15(2016) 1962–1988, [https://doi.org/10.1137/15M1053347]

work page doi:10.1137/15m1053347 2016
[36]

Tobasco, D

I. Tobasco, D. Goluskin and C. R. Doering,Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems,Physics Letters A382(Feb., 2018) 382–386, [1705.07096]

work page arXiv 2018
[37]

Korda, D

M. Korda, D. Henrion and I. Mezi´ c,Convex computation of extremal invariant measures of nonlinear dynamical systems and markov processes,Journal of Nonlinear Science31(2021) 14

2021
[38]

Lasserre, D

J.-B. Lasserre, D. Henrion, C. Prieur and E. Tr´ elat,Nonlinear optimal control via occupation measures and LMI-relaxations,arXiv Mathematics e-prints(Mar., 2007) math/0703377, [math/0703377]

work page arXiv 2007
[39]

Stochastic optimal control via local occupation measures,

F. Holtorf, A. Edelman and C. Rackauckas,Stochastic Optimal Control via Local Occupation Measures,arXiv e-prints(Nov., 2022) arXiv:2211.15652, [2211.15652]. 16

work page arXiv 2022
[40]

Lindblad,On the Generators of Quantum Dynamical Semigroups,Commun

G. Lindblad,On the Generators of Quantum Dynamical Semigroups,Commun. Math. Phys.48 (1976) 119

1976
[41]

Gorini, A

V. Gorini, A. Kossakowski and E. C. G. Sudarshan,Completely Positive Dynamical Semigroups of N Level Systems,J. Math. Phys.17(1976) 821

1976
[42]

Manzano,A short introduction to the Lindblad master equation,AIP Adv.10(2020) 025106, [1906.04478]

D. Manzano,A short introduction to the Lindblad master equation,AIP Adv.10(2020) 025106, [1906.04478]

work page arXiv 2020
[43]

T. E. Harris,Contact Interactions on a Lattice,The Annals of Probability2(1974) 969 – 988

1974
[44]

Liggett,Interacting Particle Systems

T. Liggett,Interacting Particle Systems. Classics in Mathematics. Springer Berlin, Heidelberg, 2004, https://doi.org/10.1007/978-1-4613-8542-4

work page doi:10.1007/978-1-4613-8542-4 2004
[45]

I. Kull, N. Schuch, B. Dive and M. Navascu´ es,Lower Bounds on Ground-State Energies of Local Hamiltonians through the Renormalization Group,Phys. Rev. X14(2024) 021008, [2212.03014]

work page arXiv 2024
[46]

O’Dea, A

N. O’Dea, A. Morningstar, S. Gopalakrishnan and V. Khemani,Entanglement and absorbing-state transitions in interactive quantum dynamics,Phys. Rev. B109(2024) L020304, [2211.12526]

work page arXiv 2024
[47]

Reehorst, S

M. Reehorst, S. Rychkov, D. Simmons-Duffin, B. Sirois, N. Su and B. van Rees,Navigator Function for the Conformal Bootstrap,SciPost Phys.11(2021) 072, [2104.09518]. 17

work page arXiv 2021