Table of Contents
Fetching ...

Spectral Analysis for Gaussian Quantum Markov Semigroups

Franco Fagnola, Zheng Li

TL;DR

The paper analyzes the spectrum of the induced generator $L^{(s)}$ of a Gaussian quantum Markov semigroup on the Hilbert–Schmidt space, under a faithful invariant state and without assuming detailed balance. It shows that all eigenvalues are governed by the drift matrix $\boldsymbol{Z}$, with base eigenvalues from $\boldsymbol{Z}$ and all eigenvalues expressible as $n\lambda+m\mu$, where $\lambda,\mu$ are drift-eigenvalues; the adjoint $L^{(s)*}$ shares the same spectral pattern. A quasi-derivation property is leveraged to generate higher-order eigenvalues from the base ones, and two natural embeddings (KMS with $s=1/2$ and GNS with $s=0$) are treated to relate the spectra of $L^{(s)}$ and $L^{(s)*}$. The authors prove that if $L^{(s)}$ has a spectral gap, then both $L^{(s)}$ and $L^{(s)*}$ have compact resolvents and their spectra consist entirely of the identified eigenvalues, with the KMS gap dominating the GNS gap in the diagonal invariant-state case. The work extends classical Ornstein–Uhlenbeck spectral insights to the quantum, unbounded-setting and clarifies the role of the invariant state in spectral properties of Gaussian QMSs.

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 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.

Spectral Analysis for Gaussian Quantum Markov Semigroups

TL;DR

The paper analyzes the spectrum of the induced generator of a Gaussian quantum Markov semigroup on the Hilbert–Schmidt space, under a faithful invariant state and without assuming detailed balance. It shows that all eigenvalues are governed by the drift matrix , with base eigenvalues from and all eigenvalues expressible as , where are drift-eigenvalues; the adjoint shares the same spectral pattern. A quasi-derivation property is leveraged to generate higher-order eigenvalues from the base ones, and two natural embeddings (KMS with and GNS with ) are treated to relate the spectra of and . The authors prove that if has a spectral gap, then both and have compact resolvents and their spectra consist entirely of the identified eigenvalues, with the KMS gap dominating the GNS gap in the diagonal invariant-state case. The work extends classical Ornstein–Uhlenbeck spectral insights to the quantum, unbounded-setting and clarifies the role of the invariant state in spectral properties of Gaussian QMSs.

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 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.

Paper Structure

This paper contains 14 sections, 55 theorems, 196 equations, 1 figure.

Key Result

Theorem 2.3

A normal invariant state $\rho$ for $(\mathcal{T}_t)_{t \ge 0}$ exists if and only if where $\Omega$ and $\kappa$ are as in eq-Hamiltonian-with-parameters and $\gamma$ is defined as in eq-definition-gamma. Moreover, $\rho$ is a Gaussian state and it is the unique invariant state of $(\mathcal{T}_t)_{t \ge 0}$.

Figures (1)

  • Figure 1: Spectrum of $L^{(s)}$ with complex conjugate base eigenvalues

Theorems & Definitions (104)

  • Definition 2.1
  • Definition 2.2
  • Theorem 2.3
  • Theorem 2.4
  • Remark 2.5
  • Lemma 2.6
  • proof
  • Theorem 2.7
  • proof
  • Theorem 3.1
  • ...and 94 more