---
title: Compact Semigroup of Contractions
url: https://www.emergentmind.com/topics/compact-semigroup-of-contractions
type: topic
---

# Compact Semigroup of Contractions

A compact semigroup of contractions is a mathematical structure arising in the theory of operator semigroups, particularly in the analysis of noncommutative dynamics on operator algebras. When such a semigroup is induced from a family of Schwarz maps (positive unital maps satisfying a variant of the Schwarz inequality) on the von Neumann algebra of bounded linear operators $\mathcal{B}(\mathcal{H})$ for a separable Hilbert space $\mathcal{H}$, and when a subinvariant faithful normal state exists, this leads to a rigorously defined, strongly continuous ("$C_0$") semigroup of contractions on the Hilbert-Schmidt class $\mathcal{C}_2(\mathcal{H})$. If the generator of this induced semigroup has compact resolvent, the semigroup is compact for all positive time, with deep implications for the spectral structure and decomposition of the generator, including connections to quantum Markov dynamics via the Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) form [1906.05905].

## 1. Induction from Schwarz Maps to Contractive Semigroups on $\mathcal{C}_2(\mathcal{H})$

Given a one-parameter semigroup $(T_t)_{t \ge 0}$ of unital Schwarz maps on $\mathcal{B}(\mathcal{H})$, the presence of a *subinvariant faithful normal state* $\omega_\rho$, defined by $\omega_\rho(x) = \operatorname{Tr}(\rho x)$ for a strictly positive trace-class density $\rho$, allows the following construction. The symmetrized embedding
\[
i_\rho(x) = \rho^{1/4} x \rho^{1/4} : \mathcal{B}(\mathcal{H}) \to \mathcal{C}_2(\mathcal{H})
\]
is used to define the induced maps
\[
\widetilde{T}_t\bigl(\rho^{1/4} x \rho^{1/4}\bigr) = \rho^{1/4} T_t(x) \rho^{1/4},
\]
which, due to the Schwarz inequality and $\omega_\rho$-subinvariance, yield contractive operators on the dense subspace $i_\rho(\mathcal{B}(\mathcal{H})) \subset \mathcal{C}_2(\mathcal{H})$. These extend uniquely to contractions on all of $\mathcal{C}_2(\mathcal{H})$. When $(T_t)$ is weak$^*$-continuous, the induced $(\widetilde{T}_t)$ is strongly continuous, thus forming a $C_0$-semigroup of contractions on the Hilbert-Schmidt class [1906.05905, Prop. 3.3 and Thm. 4.4].

## 2. Role of Subinvariant and Invariant Faithful Normal States

A faithful normal state $\omega_\rho$ is called *subinvariant* for a positive map $T$ if $\omega_\rho(T(a)) \leq \omega_\rho(a)$ for all $a \ge 0$. It is *invariant* if equality holds. Invariance implies predual preservation: $T^\dagger(\rho) = \rho$ for the dual map. In the context of quantum Markov semigroups (completely positive unital maps), subinvariance already implies invariance due to trace preservation. Subinvariance is the minimal hypothesis ensuring that the induced map $\widetilde{T}_t$ is contractive on $\mathcal{C}_2(\mathcal{H})$, and, paired with weak$^*$-continuity, guarantees strong continuity of the induced semigroup via classical semigroup theory techniques [1906.05905, Section 3.1].

## 3. Extended Generators for Noncommutative Semigroups

Given a weak$^*$-continuous semigroup $(T_t)$ on $\mathcal{B}(\mathcal{H})$, the generator $L$ is defined on the set
\[
D(L) = \{ x \mid w^*\text{–}\lim_{t \to 0} (T_t(x) - x)/t \text{ exists in } \mathcal{B}(\mathcal{H}) \}.
\]
The *extended generator* $L_{(h_n)}$ relative to an orthonormal basis $(h_n)$ of $\mathcal{H}$ is defined by pointwise matrix limits:
\[
[L_{(h_n)}(x)]_{n,m} = \lim_{t \to 0} \langle h_n, (T_t(x) - x)/t\, h_m \rangle, \qquad \text{for all } n, m.
\]
This includes the original generator and recovers finite-dimensional compressions when restricted to finite subspaces, thus offering a robust framework for studying the infinitesimal structure of the semigroup at both finite and infinite levels [1906.05905, Def. 4.1 and Remarks 4.2–4.4].

## 4. Compact Resolvent Theorem and GKSL Structure

Assume $(T_t)$ is a quantum Markov semigroup with an invariant faithful normal state, and let the induced generator $\widetilde{L}$ on $\mathcal{C}_2(\mathcal{H})$ have *compact resolvent*, i.e., $(\lambda - \widetilde{L})^{-1}$ is compact for some (hence all) sufficiently large $\lambda$. Under these conditions, $\widetilde{L}$ admits a canonical "rank-one" decomposition:
\[
\widetilde{L} = I + \sum_{n=1}^\infty \lambda_n |a_n\rangle \langle b_n|,
\]
where $\{a_n\}$ and $\{b_n\}$ are orthonormal sequences in $\mathcal{C}_2(\mathcal{H})$, each $a_n$, $b_n$ self-adjoint, and $\lambda_n \to \infty$. The pullback to $\mathcal{B}(\mathcal{H})$ via $i_\rho$ and its Moore–Penrose inverse provides
\[
L_{(h_n)} = I + \sum_{n=1}^\infty \lambda_n |i_{\rho^{(-1)}}(a_n)\rangle \langle i_\rho(b_n)|,
\]
exhibiting the generator as a strong operator topology sum of rank-one operators. In finite dimensions, or when positivity of the terms can be ensured, this representation recovers the Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) form:
\[
L(X) = \sum_j \bigl( L_j^* X L_j - \tfrac{1}{2}\{ L_j^*L_j, X \} \bigr) + i[H, X],
\]
where $\{L_j\}$ and $H$ (self-adjoint) are determined, up to unitary rotations, by the spectral data of $\widetilde{L}$, with convergence in the strong operator topology [1906.05905, Section 5.2, Thm. 5.7, Remark 5.10].

## 5. Compactness, Spectral Theory, and Discrete Decomposition

If the induced generator $\widetilde{L}$ has compact resolvent, every operator $\widetilde{T}_t$ for $t > 0$ is compact, demonstrated via the Dunford–Taylor integral formula for the semigroup:
\[
\widetilde{T}_t = \frac{1}{2\pi i} \int_\Gamma e^{t z} (z - \widetilde{L})^{-1} dz,
\]
where each resolvent increment is compact, thus yielding compact approximants. Spectrally, the compactness of the resolvent ensures the spectrum of $-\widetilde{L}$ consists only of point spectrum (eigenvalues) of finite multiplicity accumulating at $+\infty$. Consequently, $(\widetilde{L} - I)$ possesses a pure-point orthonormal basis of eigenvectors in $\mathcal{C}_2(\mathcal{H})$. This discrete structure underpins the possibility for rank-one and ultimately GKSL-type decompositions [1906.05905].

## 6. Failure of Compactness: Limitations and Counterexamples

The outlined structure does not persist without the twin assumptions of a subinvariant faithful normal state and compact resolvent for the induced generator. If $(\lambda-\widetilde{L})^{-1}$ fails to be compact—such as in cases where $\widetilde{L}$ possesses continuous spectrum (multiplication operators on $\ell^2$, heat equation semigroups on $L^2(\mathbb{R}^d)$)—operators $\widetilde{T}_t$ need not be compact, eliminating the possibility of a discrete eigenbasis and precluding rank-one expansions. Furthermore, if the subinvariance condition is dropped, even contractivity of $\widetilde{T}_t$ on $\mathcal{C}_2(\mathcal{H})$ can fail, as seen via explicit counterexamples involving trace-class states [1906.05905, Section 6]. Both the existence of a subinvariant faithful normal state and compactness of the generator’s resolvent are thus indispensable for the emergence of compact contraction semigroups and the associated discrete spectral decompositions.

Source: https://www.emergentmind.com/topics/compact-semigroup-of-contractions