Showing 1–12 of 12 results for author: Fagnola, F

Spectral Analysis for Gaussian Quantum Markov Semigroups

Authors: Franco Fagnola, Zheng Li

Abstract: We investigate the spectrum of the generator induced on the space of Hilbert-Schmidt operators by a Gaussian quantum Markov semigroup with a faithful normal invariant state in the general case, without any symmetry or quantum detailed balance assumptions. We prove that the eigenvalues are entirely determined by those of the drift matrix, similarly to classical Ornstein-Uhlenbeck semigroups. This r… ▽ More We investigate the spectrum of the generator induced on the space of Hilbert-Schmidt operators by a Gaussian quantum Markov semigroup with a faithful normal invariant state in the general case, without any symmetry or quantum detailed balance assumptions. We prove that the eigenvalues are entirely determined by those of the drift matrix, similarly to classical Ornstein-Uhlenbeck semigroups. This result is established using a quasi-derivation property of the generator. Moreover, the same spectral property holds for the adjoint of the induced generator. Finally, we show that these eigenvalues constitute the entire spectrum when the induced generator has a spectral gap. △ Less

Submitted 16 April, 2025; originally announced April 2025.

Comments: 46 pages, 1 figure

MSC Class: 46L53; 46L55; 81S22

The Spectral Gap of a Gaussian Quantum Markovian Generator

Authors: Franco Fagnola, Damiano Poletti, Emanuela Sasso, Veronica Umanità

Abstract: Gaussian quantum Markov semigroups are the natural non-commutative extension of classical Ornstein-Uhlenbeck semigroups. They arise in open quantum systems of bosons where canonical non-commuting random variables of positions and momenta come into play. If there exits a faithful invariant density we explicitly compute the optimal exponential convergence rate, namely the spectral gap of the generat… ▽ More Gaussian quantum Markov semigroups are the natural non-commutative extension of classical Ornstein-Uhlenbeck semigroups. They arise in open quantum systems of bosons where canonical non-commuting random variables of positions and momenta come into play. If there exits a faithful invariant density we explicitly compute the optimal exponential convergence rate, namely the spectral gap of the generator, in non-commutative $L^2$ spaces determined by the invariant density showing that the exact value is the lowest eigenvalue of a certain matrix determined by the diffusion and drift matrices. The spectral gap turns out to depend on the non-commutative $L^2$ space considered, whether the one determined by the so-called GNS or KMS multiplication by the square root of the invariant density. In the first case, it is strictly positive if and only if there is the maximum number of linearly independent noises. While, we exhibit explicit examples in which it is strictly positive only with KMS multiplication. We do not assume any symmetry or quantum detailed balance condition with respect to the invariant density. △ Less

Submitted 8 May, 2024; originally announced May 2024.

MSC Class: 46L53; 46L55; 81S22

Basic properties of a mean field laser equation

Authors: Franco Fagnola, Carlos M. Mora

Abstract: We study the non-linear quantum master equation describing a laser under the mean field approximation. The quantum system is formed by a single mode optical cavity and two level atoms, which interact with reservoirs. Namely, we establish the existence and uniqueness of the regular solution to the non-linear operator equation under consideration, as well as we get a probabilistic representation for… ▽ More We study the non-linear quantum master equation describing a laser under the mean field approximation. The quantum system is formed by a single mode optical cavity and two level atoms, which interact with reservoirs. Namely, we establish the existence and uniqueness of the regular solution to the non-linear operator equation under consideration, as well as we get a probabilistic representation for this solution in terms of a mean field stochastic Schröndiger equation. To this end, we find a regular solution for the non-autonomous linear quantum master equation in Gorini-Kossakowski-Sudarshan-Lindblad form, and we prove the uniqueness of the solution to the non-autonomous linear adjoint quantum master equation in Gorini-Kossakowski-Sudarshan-Lindblad form. Moreover, we obtain rigorously the Maxwell-Bloch equations from the mean field laser equation. △ Less

Submitted 19 June, 2020; originally announced June 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1803.00875

MSC Class: 81S22; 47D06; 47N50; 60H30; 60H15

Journal ref: Open Systems & Information DynamicsVol. 26, No. 03, 1950015 (2019)

Supercritical Poincaré-Andronov-Hopf bifurcation in a mean field quantum laser equation

Authors: F. Fagnola, C. M. Mora

Abstract: We deal with the dynamical system properties of a Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation with mean-field Hamiltonian that models a simple laser by applying a mean field approximation to a quantum system describing a single-mode optical cavity and a set of two level atoms, each coupled to a reservoir. We prove that the mean field quantum master equation has a unique regular stationar… ▽ More We deal with the dynamical system properties of a Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation with mean-field Hamiltonian that models a simple laser by applying a mean field approximation to a quantum system describing a single-mode optical cavity and a set of two level atoms, each coupled to a reservoir. We prove that the mean field quantum master equation has a unique regular stationary solution. In case a relevant parameter $C_\mathfrak{b} $, i.e., the cavity cooperative parameter, is less than $1$, we prove that any regular solution converges exponentially fast to the equilibrium, and so the regular stationary state is a globally asymptotically stable equilibrium solution. We obtain that a locally exponential stable limit cycle is born at the regular stationary state as $C_\mathfrak{b} $ passes through the critical value $1$. Then, the mean-field laser equation has a Poincaré-Andronov-Hopf bifurcation at $C_\mathfrak{b} =1 $ of supercritical-like type. Namely, we derive rigorously, at the level of density matrices --for the first time--, the transition from a global attractor quantum state, where the light is not emitted, to a locally stable set of coherent quantum states producing coherent light. Moreover, we establish the local exponential stability of the limit cycle in case a relevant parameter is between the first and second laser thresholds appearing in the semiclassical laser theory. Thus, we get that the coherent laser light persists over time under this condition. In order to prove the exponential convergence of the quantum state, we develop a new technique for proving the exponential convergence in open quantum systems that is based in a new variation of constant formula. Applying our main results we find the long-time behavior of the von Neumann entropy, the photon-number statistics, and the quantum variance of the quadratures. △ Less

Submitted 22 September, 2020; v1 submitted 2 March, 2018; originally announced March 2018.

MSC Class: 37L10; 37L05; 37L15; 37A60; 47A55; 60H30; 81S22; 82C10

Relationships between the decoherence-free algebra and the set of fixed points

Authors: F. Fagnola, E. Sasso, V. Umanita'

Abstract: We show that, for a Quantum Markov Semigroup (QMS) with a faithful normal invariant state, the atomicity of the decoherence-free subalgebra and environmental decoherence are equivalent. Moreover, we characterize the set of reversible states and explicitly describe the relationship between the decoherence-free subalgebra and the fixed point subalgebra for QMSs with the above equivalent properties. We show that, for a Quantum Markov Semigroup (QMS) with a faithful normal invariant state, the atomicity of the decoherence-free subalgebra and environmental decoherence are equivalent. Moreover, we characterize the set of reversible states and explicitly describe the relationship between the decoherence-free subalgebra and the fixed point subalgebra for QMSs with the above equivalent properties. △ Less

Submitted 2 December, 2017; originally announced December 2017.

On the relationship between a quantum Markov semigroup and its representation via linear stochastic Schroedinger equations

Authors: Franco Fagnola, Carlos Mora

Abstract: A quantum Markov semigroup can be represented via classical diffusion processes solving a stochastic Schrödinger equation. In this paper we first prove that a quantum Markov semigroup is irreducible if and only if classical diffusion processes are total in the Hilbert space of the system. Then we study the relationship between irreducibility of a quantum Markov semigroup and properties of these di… ▽ More A quantum Markov semigroup can be represented via classical diffusion processes solving a stochastic Schrödinger equation. In this paper we first prove that a quantum Markov semigroup is irreducible if and only if classical diffusion processes are total in the Hilbert space of the system. Then we study the relationship between irreducibility of a quantum Markov semigroup and properties of these diffusions such as accessibility, the Lie algebra rank condition, and irreducibility. We prove that all these properties are, in general, weaker than irreducibility of the quantum Markov semigroup, nevertheless, they are equivalent for some important classes of semigroups. △ Less

Submitted 2 October, 2014; v1 submitted 25 May, 2014; originally announced May 2014.

Comments: 16 pages

MSC Class: 60H15; 46L55; 60H30; 81S22

Journal ref: Indian J. Pure Appl. Math., 46(4): 399-414, August 2015

Entropy Production for Quantum Markov Semigroups

Authors: Franco Fagnola, Rolando Rebolledo

Abstract: An invariant state of a quantum Markov semigroup is an equilibrium state if it satisfies a quantum detailed balance condition. In this paper, we introduce a notion of entropy production for faithful normal invariant states of a quantum Markov semigroup on B(h) as a numerical index measuring "how much far" they are from equilibrium. The entropy production is defined as the derivative of the relativ… ▽ More An invariant state of a quantum Markov semigroup is an equilibrium state if it satisfies a quantum detailed balance condition. In this paper, we introduce a notion of entropy production for faithful normal invariant states of a quantum Markov semigroup on B(h) as a numerical index measuring "how much far" they are from equilibrium. The entropy production is defined as the derivative of the relative entropy of the one-step forward and backward evolution in analogy with the classical probabilistic concept. We prove an explicit trace formula expressing the entropy production in terms of the completely positive part of the generator of a norm continuous quantum Markov semigroup showing that it turns out to be zero if and only if a standard quantum detailed balance condition holds. △ Less

Submitted 6 December, 2012; originally announced December 2012.

Journal ref: Communications in Mathematical Physics, vol. 335, 547-570 (2015)

Stochastic Schroedinger equations and applications to Ehrenfest-type theorems

Authors: Franco Fagnola, Carlos M. Mora

Abstract: We study stochastic evolution equations describing the dynamics of open quantum systems. First, using resolvent approximations, we obtain a sufficient condition for regularity of solutions to linear stochastic Schroedinger equations driven by cylindrical Brownian motions applying to many physical systems. Then, we establish well-posedness and norm conservation property of a wide class of open quan… ▽ More We study stochastic evolution equations describing the dynamics of open quantum systems. First, using resolvent approximations, we obtain a sufficient condition for regularity of solutions to linear stochastic Schroedinger equations driven by cylindrical Brownian motions applying to many physical systems. Then, we establish well-posedness and norm conservation property of a wide class of open quantum systems described in position representation. Moreover, we prove Ehrenfest-type theorems that describe the evolution of the mean value of quantum observables in open systems. Finally, we give a new criterion for existence and uniqueness of weak solutions to non-linear stochastic Schroedinger equations. We apply our results to physical systems such as fluctuating ion traps and quantum measurement processes of position. △ Less

Submitted 19 March, 2013; v1 submitted 12 July, 2012; originally announced July 2012.

MSC Class: 60H15; 60H30; 81C20; 46L55

Journal ref: ALEA, Lat. Am. J. Probab. Math. Stat. 10 (1), 191--223 (2013)

Quantum Fokker-Planck models: the Lindblad and Wigner approaches

Authors: Anton Arnold, Franco Fagnola, Lukas Neumann

Abstract: In this article we try to bridge the gap between the quantum dynamical semigroup and Wigner function approaches to quantum open systems. In particular we study stationary states and the long time asymptotics for the quantum Fokker-Planck equation. Our new results apply to open quantum systems in a harmonic confinement potential, perturbed by a (large) sub-quadratic term. In this article we try to bridge the gap between the quantum dynamical semigroup and Wigner function approaches to quantum open systems. In particular we study stationary states and the long time asymptotics for the quantum Fokker-Planck equation. Our new results apply to open quantum systems in a harmonic confinement potential, perturbed by a (large) sub-quadratic term. △ Less

Submitted 22 October, 2008; v1 submitted 18 June, 2008; originally announced June 2008.

Comments: 19 pages, corrected typos and quoted Theorem 6 more precisely

MSC Class: 82C31; 81S25; 81S30

Maximal Commutative Subalgebras Invariant for CP-Maps: (Counter-)Examples

Authors: B. V. Rajarama Bhat, Franco Fagnola, Michael Skeide

Abstract: We solve, mainly by counterexamples, many natural questions regarding maximal commutative subalgebras invariant under CP-maps or semigroups of CP-maps on a von Neumann algebra. In particular, we discuss the structure of the generators of norm continuous semigroups on B(G) leaving a maximal commutative subalgebra invariant and show that there exists Markov CP-semigroups on M_d without invariant m… ▽ More We solve, mainly by counterexamples, many natural questions regarding maximal commutative subalgebras invariant under CP-maps or semigroups of CP-maps on a von Neumann algebra. In particular, we discuss the structure of the generators of norm continuous semigroups on B(G) leaving a maximal commutative subalgebra invariant and show that there exists Markov CP-semigroups on M_d without invariant maximal commutative subalgebras for any d>2. △ Less

Submitted 19 October, 2008; v1 submitted 11 April, 2008; originally announced April 2008.

Comments: After the elemenitation in Version 2 of a false class of examples in Version 1, we now provide also correct examples for unital CP-maps and Markov semigroups on M_d for d>2 without invariant masas

MSC Class: 46L55; 46L53; 60J25; 81S25

Journal ref: Infin Dimens Anal Quantum Prob and RelatTop, 11 (2) 2008 523-539

Restrictions of CP-Semigroups to Maximal Commutative Subalgebras

Authors: Franco Fagnola, Michael Skeide

Abstract: We give a necessary and sufficient criterion when a normal CP-map on a von Neumann algebra admits a restriction to a maximal commutative subalgebra. We apply this result to give a far reaching generalization of Rebolledo's sufficient criterion for the Lindblad generator of a Markov semigroup on B(G). We give a necessary and sufficient criterion when a normal CP-map on a von Neumann algebra admits a restriction to a maximal commutative subalgebra. We apply this result to give a far reaching generalization of Rebolledo's sufficient criterion for the Lindblad generator of a Markov semigroup on B(G). △ Less

Submitted 28 February, 2007; originally announced March 2007.

MSC Class: 46L53; 46L55; 46L08; 60J25; 81S25

Journal ref: Banach Center Publications 78 (121-132) 2007

Sufficient Conditions for Conservativity of Minimal Quantum Dynamical Semigroups

Authors: Alexander Chebotarev, Franco Fagnola

Abstract: The conservativity of a minimal quantum dynamical semigroup is proved whenever there exists a ``reference'' subharmonic operator bounded from below by the dissipative part of the infinitesimal generator. We discuss applications of this criteria in mathematical physics and quantum probability. The conservativity of a minimal quantum dynamical semigroup is proved whenever there exists a ``reference'' subharmonic operator bounded from below by the dissipative part of the infinitesimal generator. We discuss applications of this criteria in mathematical physics and quantum probability. △ Less

Submitted 25 November, 1997; originally announced November 1997.

Comments: 22 pages, TeX