Compact Semigroup of Contractions

• Compact semigroup of contractions is a framework in operator theory defined by induced C₀ semigroups from Schwarz maps on von Neumann algebras, ensuring contractivity via subinvariant faithful states.
• It employs strong continuity and compact resolvent conditions to achieve a discrete spectral decomposition and rank-one approximations that facilitate analysis in noncommutative dynamics.
• This concept underpins the GKSL representation in quantum Markov semigroups, highlighting its importance in rigorous spectral analysis and the study of operator 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 (Androulakis et al., 2019).

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 [(Androulakis et al., 2019), 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 [(Androulakis et al., 2019), 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 [(Androulakis et al., 2019), 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 [(Androulakis et al., 2019), 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 (Androulakis et al., 2019).

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 [(Androulakis et al., 2019), 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.