The exponential convergence to invariant subspaces of quantum Markov semigroups plays a crucial role in quantum information theory. One such example is in bosonic error correction schemes, where dissipation is used to drive states back to the code-space – an invariant subspace protected against certain types of errors. In this paper, we investigate perturbations of quantum dynamical semigroups that operate on continuous variable (CV) systems and admit an invariant subspace. First, we prove a generation theorem for quantum Markov semigroups on CV systems under the physical assumptions that (i) the generator is in GKSL form with corresponding jump operators defined as polynomials of annihilation and creation operators; and (ii) the (possibly unbounded) generator increases all moments in a controlled manner. Additionally, we show that the level sets of operators with bounded first moments are admissible subspaces of the evolution, providing the foundations for a perturbative analysis. Our results also extend to time-dependent semigroups and multi-mode systems. We apply our general framework to two settings of interest in continuous variable quantum information processing. First, we provide a new scheme for deriving continuity bounds on the energy-constrained capacities of Markovian perturbations of quantum dynamical semigroups. Second, we provide quantitative perturbation bounds for the steady state of the quantum Ornstein-Uhlenbeck semigroup and the invariant subspace of the photon dissipation used in bosonic error correction.
The exponential convergence to invariant subspaces of quantum Markov semigroups plays a crucial role in quantum information theory. One such example is in bosonic error correction schemes, where dissipation is used to drive states back to the code-space – an invariant subspace protected against certain types of errors. In this paper, we investigate perturbations of quantum dynamical semigroups that operate on continuous variable (CV) systems and admit an invariant subspace. First, we prove a generation theorem for quantum Markov semigroups on CV systems under the physical assumptions that (i) the generator is in GKSL form with corresponding jump operators defined as polynomials of annihilation and creation operators; and (ii) the (possibly unbounded) generator increases all moments in a controlled manner. Additionally, we show that the level sets of operators with bounded first moments are admissible subspaces of the evolution, providing the foundations for a perturbative analysis. Our results also extend to time-dependent semigroups and multi-mode systems. We apply our general framework to two settings of interest in continuous variable quantum information processing. First, we provide a new scheme for deriving continuity bounds on the energy-constrained capacities of Markovian perturbations of quantum dynamical semigroups. Second, we provide quantitative perturbation bounds for the steady state of the quantum Ornstein-Uhlenbeck semigroup and the invariant subspace of the photon dissipation used in bosonic error correction.
We investigate quantum Markov semigroups on bosonic Fock space and identify a broad class of infinite-dimensional dissipative evolutions that exhibit instantaneous Sobolev regularization. Motivated by stability problems in quantum computation, we show that for certain Lindblad operators that are polynomials of creation and annihilation operators, the resulting dynamics immediately transform any initial state into one with finite expectation in all powers of the number operator. A key application is in the bosonic cat code, where we obtain explicit estimates in the trace norm for the speed of convergence. These estimates sharpen existing perturbative bounds at both short and long times, offering new analytic tools for assessing stability and error suppression in bosonic quantum information processing. For example, we improve the strong exponential convergence of the (shifted) 2-photon dissipation to its asymptotic channel to the uniform topology. For multi-mode systems, a generation theorem in concentrated single-sandwich norms supplies the domain properties required for the regularization argument.
Semigroups describing the time evolution of open quantum systems in finite-dimensional spaces have generators of a special form, known as Lindblad generators. These generators and the corresponding processes of time evolution are analyzed and characterized as decay, dissipation and dephasing. In relation to these processes the Hilbert space of the system is equipped with a special structure, a decomposition into a sum of mutually orthogonal subspaces. The complete set of all the stationary states and the asymptotic behavior of the evolutions are presented in detail. Some unusual special facts about invariant operators and symmetries are studied and examples are demonstrated. Perturbation theory for the structure and for the stationary states is discussed and performed in case studies.
In recent years, digraph induced generators of quantum dynamical semigroups have been introduced and studied, particularly in the context of unique relaxation and invariance. We define the class of pair block diagonal generators, which allows for additional interaction coefficients but preserves the main structural properties. Namely, when the basis of the underlying Hilbert space is given by the eigenbasis of the Hamiltonian (for example the generic semigroups), then the action of the semigroup leaves invariant the diagonal and off-diagonal matrix spaces. In this case, we explicitly compute all invariant states of the semigroup. In order to define this class we provide a characterization of when the Gorini- Kossakowski-Sudarshan-Lindblad (GKSL) equation defines a proper generator when arbitrary Lindblad operators are allowed (in particular, they do not need to be trace- less as demanded by the GKSL Theorem). Moreover, we consider the converse con- struction to show that every generator naturally gives rise to a digraph, and that under certain assumptions the properties of this digraph can be exploited to gain knowledge of both the number and the structure of the invariant states of the corre- sponding semigroup. We also consider more general constructions on the von Neumann algebra of all bounded linear operators on a Hilbert space, perhaps infinite dimensional. In partic- ular, we prove that for every semigroup of Schwarz maps on such an algebra which has a subinvariant faithful normal state there exists an associated semigroup of con- tractions on the space of Hilbert-Schmidt operators of the Hilbert space. Moreover, we show that if the original semigroup is weak∗ continuous then the associated semigroup is strongly continuous. We introduce the notion of the extended generator of a semigroup on the bounded operators of a Hilbert space with respect to an or- thonormal basis of the Hilbert space. We describe this form of the generator of a quantum Markov semigroup on the von Neumann algebra of all bounded linear op- erators on a Hilbert space which has an invariant faithful normal state under the assumption that the generator of the associated semigroup has compact resolvent, or under the assumption that the minimal unitary dilation of the associated semigroup of contractions is compact.
Discrete and continuous variables oftentimes require different treatments in many learning tasks. Identifying the Hamiltonian governing the evolution of a quantum system is a fundamental task in quantum learning theory. While previous works mostly focused on quantum spin systems, where quantum states can be seen as superpositions of discrete bit-strings, relatively little is known about Hamiltonian learning for continuous-variable quantum systems. In this work we focus on learning the Hamiltonian of a bosonic quantum system, a common type of continuous-variable quantum system. This learning task involves an infinite-dimensional Hilbert space and unbounded operators, making mathematically rigorous treatments challenging. We introduce an analytic framework to study the effects of strong dissipation in such systems, enabling a rigorous analysis of cat qubit stabilization via engineered dissipation. This framework also supports the development of Heisenberg-limited algorithms for learning general bosonic Hamiltonians with higher-order terms of the creation and annihilation operators. Notably, our scheme requires a total Hamiltonian evolution time that scales only logarithmically with the number of modes and inversely with the precision of the reconstructed coefficients. On a theoretical level, we derive a new quantitative adiabatic approximation estimate for general Lindbladian evolutions with unbounded generators. Finally, we discuss possible experimental implementations.
We provide a self‑contained mathematical analysis of the quantum Zeno limit for a dissipative quantum Markov semigroup with a GKSL generator. Frequent projective measurements modelled by a projection PP lead to an effective generator GG on the invariant subspace PHPH. The generator splits into a natural GKSL part and a leakage term −12∑kγk{Dk†Dk,ρ}−21∑kγk{Dk†Dk,ρ} with Dk=P⊥LkPDk=P⊥LkP. Perfect confinement (trace preservation) holds iff P⊥LkP=0P⊥LkP=0 for all kk. Two contrasting examples are worked out: a two‑qubit system with internal relaxation and state‑dependent leakage, and a free particle with a translation jump giving spatially structured leakage. For unbounded Hamiltonians we prove an unconditional Zeno limit under the sole hypothesis that the unitary Zeno limit defines a self‑adjoint Zeno Hamiltonian (a condition known to be broadly satisfied, e.g.\ for Dirichlet obstacles), using the Exner–Ichinose strong convergence, a standard core property of derivation generators, and a Duhamel perturbation argument; this removes any additional Banach‑space core condition. The trace of the limit state decays according to the leakage term, and the limit semigroup is a strongly continuous contraction semigroup. Beyond the qualitative limit, we establish three further quantitative results. First, for bounded generators we prove an explicit O(1/n)O(1/n) Zeno convergence rate ∥Vn(t)−etG∥≤t2κ2etκ/n∥Vn(t)−etG∥≤t2κ2etκ/n, with κκ the operator norm of the GKSL generator, sharp in its order. Second, writing Γ=∑kγkDk†DkΓ=∑kγkDk†Dk for the leakage operator, we prove a two‑sided exponential sandwich e^{-\gamma_{\max}t}\tr\rho\le\tr(e^{tG}\rho)\le e^{-\gamma_{\min}t}\tr\rho governed by spec(Γ)spec(Γ), together with a matching numerical‑range localization of the eigenvalues of the associated effective non‑Hermitian Hamiltonian. Third, we show that iterated confinement through a family of pairwise commuting projections is order‑independent and agrees exactly with direct confinement through their product, exhibiting P↦GPP↦GP as a meet‑homomorphism on the associated Boolean algebra of Zeno subspaces. We also present a new algebraic identity linking the leakage operator to the projected jump intensity, yielding a compact form of the confined generator and a Gram‑matrix reduction for the leakage norm. Applications to quantum error correction, quantum thermodynamics, and the emergence of Markovian dissipation as a Zeno effect on the environment are discussed. We close with a set of genuinely open problems and a cautionary de Sitter example showing the limits of a naive horizon‑leakage analogy.
The Trotter product formula and the quantum Zeno effect are both indispensable tools for constructing time-evolutions using experimentally feasible building blocks. In this work, we discuss assumptions under which quantitative bounds can be proven in the strong operator topology on Banach spaces and provide natural bosonic examples. Specially, we assume the existence of a continuously embedded Banach space, which relatively bounds the involved generators and creates an invariant subspace of the limiting semigroup with a stable restriction. The slightly stronger assumption of admissible subspaces is well-recognized in the realm of hyperbolic evolution systems (time-dependent semigroups), to which the results are extended. By assuming access to a hierarchy of continuously embedded Banach spaces, Suzuki-higher-order bounds can be demonstrated. In bosonic applications, these embedded Banach spaces naturally arise through the number operator, leading to a diverse set of examples encompassing notable instances such as the Ornstein-Uhlenbeck semigroup and multi-photon driven dissipation used in bosonic error correction.