Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2410.07384 · Physical Review A

Bootstrapping the stationary state of bosonic open quantum systems

Gustave Robichon, Antoine Tilloy

Published May 8, 2026• 1 citation
arXivHTMLPDF

Abstract

We propose a method to compute expectation values of observables in the stationary state of a (Markovian) bosonic open quantum system. Using a hierarchy of semi-definite relaxations, we obtain finer and finer upper and lower bounds to any expectation value of interest. The bounds are rigorous, robust to stationary state degeneracies, and numerically improve as the occupation number increases on the examples we considered. This makes it adapted to the simulation of stationary states of bosonic qubits and in particular dissipatively stabilized cat qubits.

DOI
10.1103/5db2-q49l

Related papers

Quantum Many-body Bootstrap

Xizhi Han

A numerical bootstrap method is proposed to provide rigorous and nontrivial bounds in general quantum many-body systems with locality. In particular, lower bounds on ground state energies of local lattice systems are obtained by imposing positivity constraints on certain operator expectation values. Complemented with variational upper bounds, ground state observables are constrained to be within a narrow range. The method is demonstrated with the Hubbard model in one and two dimensions, and bounds on ground state double occupancy and magnetization are discussed.

arXiv:2006.06002•Jun 10, 2020•6 citations

Convergence of numerical approximations to non-Markovian bosonic gaussian environments

Rahul Trivedi, Daniel Malz, J. I. Cirac

Non-Markovian effects are important in modeling the behavior of open quantum systems arising in solid-state physics, quantum optics as well as in study of biological and chemical systems. A common approach to the analysis of such systems is to approximate the non-Markovian environment by discrete bosonic modes thus mapping it to a Lindbladian or Hamiltonian simulation problem. While systematic constructions of such modes have been proposed in previous works [D. Tamascelli et al, PRL (2012), A. W. Chin et al, J. of Math. Phys (2010)], the resulting approximation lacks rigorous convergence guarantees. In this paper, we initiate a rigorous study of the convergence properties of these methods. We show that under some physically motivated assumptions on the system-environment interaction, the finite-time dynamics of the non-Markovian open quantum system computed with a sufficiently large number of modes is guaranteed to converge to the true result. Furthermore, we show that, for most physically interesting models of non-Markovian environments, the approximation error falls off polynomially with the number of modes. Our results lend rigor to numerical methods used for approximating non-Markovian quantum dynamics and allow for a quantitative assessment of classical as well as quantum algorithms in simulating non-Markovian quantum systems.

•Jul 15, 2021•1 citation

Approximation of reachable sets for coherently controlled open quantum systems: Application to quantum state engineering

Jun Li, Dawei Lu, Zhihuang Luo +3 more

Precisely characterizing and controlling realistic quantum systems under noises is a challenging frontier in quantum sciences and technologies. In developing reliable controls for open quantum systems, one is often confronted with the problem of the lack of knowledge on the system controllability. The purpose of this paper is to give a numerical approach to this problem, that is, to approximately compute the reachable set of states for coherently controlled quantum Markovian systems. The approximation consists of setting both upper and lower bounds for system's reachable region of states. Furthermore, we apply our reachability analysis to the control of the relaxation dynamics of a two-qubit nuclear magnetic resonance spin system. We implement some experimental tasks of quantum state engineering in this open system at a near optimal performance in view of purity: e.g., increasing polarization and preparing pseudopure states. These results demonstrate the usefulness of our theory and show interesting and promising applications of environment-assisted quantum dynamics.

arXiv:1412.4146•Physical Review A•Jul 7, 2016•18 citations

Certifying steady-state properties of open quantum systems

Luke Mortimer, Donato Farina, G. Di Bello +4 more

Estimating the steady-state properties of open many-body quantum systems is a fundamental challenge in quantum science and technologies. In this work, we present a scalable approach based on semidefinite programming to derive certified bounds on the expectation value of an arbitrary observable in the steady state of Lindbladian dynamics. We illustrate our method on a series of many-body systems, including paradigmatic spin-1/2 chains and two-dimensional ladders, considering both equilibrium and nonequilibrium steady states. We benchmark our method with state-of-the-art tensor-network approaches that, unlike our method, are only able to provide estimates, with no guarantee, on steady-state quantities. For the tested models, only modest computational effort is needed to obtain certified nontrivial bounds for system sizes intractable by exact methods. Our method introduces the first general numerical tool for bounding steady-state properties of open quantum dynamics, opening an avenue in the understanding of stable configurations in many-body systems.

arXiv:2410.13646•Physical Review Research•Aug 16, 2025•9 citations

Dynamics of open bosonic quantum systems in coherent state representation

Diego A. R. Dalvit, G. P. Berman, M. M. Vishik

We consider the problem of decoherence and relaxation of open bosonic quantum systems from a perspective alternative to the standard master equation or quantum trajectories approaches. Our method is based on the dynamics of expectation values of observables evaluated in a coherent state representation. We examine a model of a quantum nonlinear oscillator with a density-density interaction with a collection of environmental oscillators at finite temperature. We derive the exact solution for dynamics of observables and demonstrate a consistent perturbation approach.

arXiv:quant-ph/0601063•Physical Review A•Jan 4, 2006•7 citations

Certified algorithms for equilibrium states of local quantum Hamiltonians

Hamza Fawzi, Omar Fawzi, Samuel O. Scalet

Predicting observables in equilibrium states is a central yet notoriously hard question in quantum many-body systems. In the physically relevant thermodynamic limit, certain mathematical formulations of this task have even been shown to result in undecidable problems. Using a finite-size scaling of algorithms devised for finite systems often fails due to the lack of certified convergence bounds for this limit. In this work, we design certified algorithms for computing expectation values of observables in the equilibrium states of local quantum Hamiltonians, both at zero and positive temperature. Importantly, our algorithms output rigorous lower and upper bounds on these values. This allows us to show that expectation values of local observables can be approximated in finite time, contrasting related undecidability results. When the Hamiltonian is commuting on a 2-dimensional lattice, we prove fast convergence of the hierarchy at high temperature and as a result for a desired precision $\varepsilon$, local observables can be approximated by a convex optimization program of quasi-polynomial size in $1/\varepsilon$.

arXiv:2311.18706•Nov 30, 2023•2 citations
We propose a method to compute expectation values of observables in the stationary state of a (Markovian) bosonic open quantum system. Using a hierarchy of semi-definite relaxations, we obtain finer and finer upper and lower bounds to any expectation value of interest. The bounds are rigorous, robust to stationary state degeneracies, and numerically improve as the occupation number increases on the examples we considered. This makes it adapted to the simulation of stationary states of bosonic qubits and in particular dissipatively stabilized cat qubits.
A numerical bootstrap method is proposed to provide rigorous and nontrivial bounds in general quantum many-body systems with locality. In particular, lower bounds on ground state energies of local lattice systems are obtained by imposing positivity constraints on certain operator expectation values. Complemented with variational upper bounds, ground state observables are constrained to be within a narrow range. The method is demonstrated with the Hubbard model in one and two dimensions, and bounds on ground state double occupancy and magnetization are discussed.
Non-Markovian effects are important in modeling the behavior of open quantum systems arising in solid-state physics, quantum optics as well as in study of biological and chemical systems. A common approach to the analysis of such systems is to approximate the non-Markovian environment by discrete bosonic modes thus mapping it to a Lindbladian or Hamiltonian simulation problem. While systematic constructions of such modes have been proposed in previous works [D. Tamascelli et al, PRL (2012), A. W. Chin et al, J. of Math. Phys (2010)], the resulting approximation lacks rigorous convergence guarantees. In this paper, we initiate a rigorous study of the convergence properties of these methods. We show that under some physically motivated assumptions on the system-environment interaction, the finite-time dynamics of the non-Markovian open quantum system computed with a sufficiently large number of modes is guaranteed to converge to the true result. Furthermore, we show that, for most physically interesting models of non-Markovian environments, the approximation error falls off polynomially with the number of modes. Our results lend rigor to numerical methods used for approximating non-Markovian quantum dynamics and allow for a quantitative assessment of classical as well as quantum algorithms in simulating non-Markovian quantum systems.
Precisely characterizing and controlling realistic quantum systems under noises is a challenging frontier in quantum sciences and technologies. In developing reliable controls for open quantum systems, one is often confronted with the problem of the lack of knowledge on the system controllability. The purpose of this paper is to give a numerical approach to this problem, that is, to approximately compute the reachable set of states for coherently controlled quantum Markovian systems. The approximation consists of setting both upper and lower bounds for system's reachable region of states. Furthermore, we apply our reachability analysis to the control of the relaxation dynamics of a two-qubit nuclear magnetic resonance spin system. We implement some experimental tasks of quantum state engineering in this open system at a near optimal performance in view of purity: e.g., increasing polarization and preparing pseudopure states. These results demonstrate the usefulness of our theory and show interesting and promising applications of environment-assisted quantum dynamics.
Estimating the steady-state properties of open many-body quantum systems is a fundamental challenge in quantum science and technologies. In this work, we present a scalable approach based on semidefinite programming to derive certified bounds on the expectation value of an arbitrary observable in the steady state of Lindbladian dynamics. We illustrate our method on a series of many-body systems, including paradigmatic spin-1/2 chains and two-dimensional ladders, considering both equilibrium and nonequilibrium steady states. We benchmark our method with state-of-the-art tensor-network approaches that, unlike our method, are only able to provide estimates, with no guarantee, on steady-state quantities. For the tested models, only modest computational effort is needed to obtain certified nontrivial bounds for system sizes intractable by exact methods. Our method introduces the first general numerical tool for bounding steady-state properties of open quantum dynamics, opening an avenue in the understanding of stable configurations in many-body systems.
We consider the problem of decoherence and relaxation of open bosonic quantum systems from a perspective alternative to the standard master equation or quantum trajectories approaches. Our method is based on the dynamics of expectation values of observables evaluated in a coherent state representation. We examine a model of a quantum nonlinear oscillator with a density-density interaction with a collection of environmental oscillators at finite temperature. We derive the exact solution for dynamics of observables and demonstrate a consistent perturbation approach.
Predicting observables in equilibrium states is a central yet notoriously hard question in quantum many-body systems. In the physically relevant thermodynamic limit, certain mathematical formulations of this task have even been shown to result in undecidable problems. Using a finite-size scaling of algorithms devised for finite systems often fails due to the lack of certified convergence bounds for this limit. In this work, we design certified algorithms for computing expectation values of observables in the equilibrium states of local quantum Hamiltonians, both at zero and positive temperature. Importantly, our algorithms output rigorous lower and upper bounds on these values. This allows us to show that expectation values of local observables can be approximated in finite time, contrasting related undecidability results. When the Hamiltonian is commuting on a 2-dimensional lattice, we prove fast convergence of the hierarchy at high temperature and as a result for a desired precision ε\varepsilonε, local observables can be approximated by a convex optimization program of quasi-polynomial size in 1/ε1/\varepsilon1/ε.