Circulant Quantum Markov Semigroups

• Circulant quantum Markov semigroups are uniformly continuous dynamics on finite-dimensional C*-algebras, defined by group-theoretic translation symmetry.
• They enable explicit Fourier diagonalization, allowing precise analysis of spectral properties, convergence rates, and quantum entropy production.
• Their structure links classical cycle-based dynamics with quantum non-equilibrium behavior and detailed balance, offering insights for quantum information and NESS.

Circulant quantum Markov semigroups (QMS) are a class of uniformly continuous quantum dynamical semigroups on finite-dimensional $C^*$-algebras exhibiting group-theoretic translation symmetry. They arise as the quantum analogue of classical circulant Markov generators, closely connected to cyclic symmetry, random walks, and the representation theory of finite abelian groups. Circulant QMS allow for explicit construction and diagonalization, making them a rare class of exactly solvable non-equilibrium quantum dynamics with fully computable quantum entropy production and detailed structural insights into irreversibility, detailed balance, and quantum currents (Bolaños-Servín et al., 2012).

1. Definitions and Algebraic Framework

Let $C_n = \{0, 1, \ldots, n-1\}$ denote the finite cyclic group of order $n$; operations are mod $n$. The function algebra $A = C(C_n) \cong \mathbb{C}^n$ and the group $C^*$-algebra $C^*(C_n)$ (generated by a unitary $U$ with $U^n = 1$) are isomorphic. In this context, a quantum Markov semigroup $(T_t)_{t \geq 0}$ on $C_n = \{0, 1, \ldots, n-1\}$0 is defined as a norm-continuous family of unital, completely positive maps: $C_n = \{0, 1, \ldots, n-1\}$1 and $C_n = \{0, 1, \ldots, n-1\}$2.

A QMS is called circulant (or translation-invariant) if its evolution commutes with group translation, i.e.,

$C_n = \{0, 1, \ldots, n-1\}$3

for some probability vector $C_n = \{0, 1, \ldots, n-1\}$4. In the group algebra picture,

$C_n = \{0, 1, \ldots, n-1\}$5

which ensures compatibility with the coproduct $C_n = \{0, 1, \ldots, n-1\}$6 (Cipriani et al., 2012).

2. Lévy Processes and Generator Structure

Translation-invariant QMS on $C_n = \{0, 1, \ldots, n-1\}$7 correspond to convolution semigroups of states $C_n = \{0, 1, \ldots, n-1\}$8 on the associated Hopf $C_n = \{0, 1, \ldots, n-1\}$9-algebra $n$0, with $n$1, counit $n$2, and antipode $n$3.

The semigroup generator is a linear functional $n$4 with

$n$5

where $n$6's comprise the "jump rates" of the process. For a translation-invariant QMS,

$n$7

3. Diagonalization and Spectral Theory

The generator $n$8 of a circulant semigroup is

$n$9

By Fourier diagonalization, define the orthonormal Fourier basis $n$0, $n$1, for $n$2. Then

$n$3

so $n$4 is diagonal in the dual basis with eigenvalues $n$5. This explicit spectrum enables tractable analysis of convergence and mixing properties (Cipriani et al., 2012).

4. Cycle Decomposition, Block-Circulant Maps, and Quantum Entropy Production

For state spaces modeled on finite abelian groups $n$6, the most general circulant completely positive (CP) map has the block-circulant structure

$n$7

where $n$8 and $n$9 are canonical left-shift permutation matrices.

The corresponding Lindblad generator is $A = C(C_n) \cong \mathbb{C}^n$0. The semigroup's invariant state is the maximally mixed state $A = C(C_n) \cong \mathbb{C}^n$1. The $A = C(C_n) \cong \mathbb{C}^n$2-adjoint $A = C(C_n) \cong \mathbb{C}^n$3 is given by reversing the indices: $A = C(C_n) \cong \mathbb{C}^n$4. Weighted detailed balance holds with weights $A = C(C_n) \cong \mathbb{C}^n$5.

The cycle decomposition represents $A = C(C_n) \cong \mathbb{C}^n$6 as a sum over cycles in $A = C(C_n) \cong \mathbb{C}^n$7, each associated with a passage matrix, and the quantum entropy production rate (QEPR) quantifies irreversibility:

$A = C(C_n) \cong \mathbb{C}^n$8

Quantum detailed balance holds if and only if QEPR is zero, i.e., $A = C(C_n) \cong \mathbb{C}^n$9 for all $C^*$0 (Bolaños-Servín et al., 2012).

5. Symmetry Properties: GNS, KMS, and Detailed Balance

The GNS-symmetry (self-adjointness in the GNS Hilbert space for the Haar state) is characterized by the invariance under the antipode: $C^*$1, that is, $C^*$2, or equivalently, $C^*$3. On Kac-type algebras (e.g., $C^*$4), KMS-symmetry with respect to the tracial Haar state coincides with GNS-symmetry.

Detailed balance (in the Alicki–Frigerio–Gorini–Verri sense) is equivalent to the symmetric condition $C^*$5 for all $C^*$6 and thus to the vanishing of QEPR. Weighted detailed balance interpolates between strict balance and full irreversibility (Bolaños-Servín et al., 2012, Cipriani et al., 2012).

6. Potential Theory, Dirichlet Forms, and Derivation Structures

The potential theory associated with circulant QMS is encoded in the Dirichlet form

$C^*$7

which expands explicitly to

$C^*$8

The Schürmann triple $C^*$9 is constructed with $C^*(C_n)$0 and $C^*(C_n)$1 by pointwise multiplication, leading to a derivation $C^*(C_n)$2 satisfying $C^*(C_n)$3. The associated Dirac operator on $C^*(C_n)$4 realizes a possibly degenerate spectral triple, providing concrete links to noncommutative geometry (Cipriani et al., 2012).

7. Examples and Non-Equilibrium Implications

A canonical example is the $C^*(C_n)$5-jump chain, $C^*(C_n)$6, $C^*(C_n)$7, $C^*(C_n)$8, generator

$C^*(C_n)$9

with QEPR strictly positive unless $U$0. For $U$1, different choices of $U$2 yield explicit deviation from detailed balance and quantified entropy production.

Circulant QMSs serve as fully explicit examples of non-equilibrium steady states (NESS) that are faithful but break detailed balance when $U$3. The abelian symmetry allows for complete diagonalization of both the dynamics and Choi–Jamiołkowski two-point states, a feature rare in quantum dynamical semigroups (Bolaños-Servín et al., 2012, Cipriani et al., 2012).

Circulant QMSs arise naturally in quantum information as random unitary channels invariant under cyclic shifts and in contexts requiring phase-space symmetry under the finite Weyl/Heisenberg group. These structures bridge classical cycle-based entropy production with quantum irreversibility and provide explicit laboratories for investigating NESS in open quantum systems.