Weyl-Diagonal Channels

• Weyl-diagonal channels are completely positive, trace-preserving quantum channels that act diagonally in the Weyl operator basis, providing a structured framework for analyzing quantum noise.
• They are characterized by Kraus decompositions and Fourier analysis, linking their operational features to channel capacity, entanglement properties, and error correction strategies.
• These channels underpin practical applications such as qudit stabilizer codes, depolarizing and phase-damping models, and the study of non-Markovian dynamics in quantum systems.

A Weyl-diagonal channel, also known as a Weyl-covariant channel or generalized Pauli channel, is a completely positive, trace-preserving (CPTP) quantum channel that acts diagonally in the basis of Weyl (Heisenberg–Weyl) operators. These channels play a foundational role in the structural analysis of quantum noise, information transmission, error correction, and compatibility in both finite- and infinite-dimensional settings. The mathematical characterization and operational features of Weyl-diagonal channels are intimately connected to the representation and Fourier analysis on abelian phase space groups.

1. Definition and Algebraic Structure

Let $\mathcal{H} \cong \mathbb{C}^d$ with computational basis $\{|j\rangle\}_{j=0}^{d-1}$. The basic Weyl operators are parameterized by phase-space indices $(k, l) \in \mathbb{Z}_d^2$ and defined as

$$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$

where $Z(k)$ and $X(l)$ are the phase and shift operators, respectively. The $\{W_{k,l}\}$ form an orthonormal unitary operator basis for $\mathcal{L}(\mathbb{C}^d)$, satisfying group-like composition and trace orthogonality:

$$W_{k_1,l_1} W_{k_2,l_2} = \omega^{l_1 k_2} W_{k_1 + k_2,\, l_1 + l_2}, \quad \operatorname{Tr}\left[W_{k,l} W_{r,s}^\dagger\right] = d\, \delta_{k,r}\delta_{l,s}$$

A channel $\Phi$ is Weyl-diagonal if $\{|j\rangle\}_{j=0}^{d-1}$0 for all $\{|j\rangle\}_{j=0}^{d-1}$1 and some function $\{|j\rangle\}_{j=0}^{d-1}$2. Equivalently, $\{|j\rangle\}_{j=0}^{d-1}$3 is covariant with respect to the adjoint action of all Weyl operators:

$\{|j\rangle\}_{j=0}^{d-1}$4

This implies the diagonalization property: the Weyl operators are eigenoperators for $\{|j\rangle\}_{j=0}^{d-1}$5 (Haapasalo, 2019, Siudzińska et al., 2017, Popp et al., 2023).

2. General Form and Complete Positivity

The Weyl-diagonal quantum channel admits a Kraus decomposition using Weyl operators as:

$\{|j\rangle\}_{j=0}^{d-1}$6

where the $\{|j\rangle\}_{j=0}^{d-1}$7 encode the action of $\{|j\rangle\}_{j=0}^{d-1}$8 as a random unitary map. The Choi matrix of $\{|j\rangle\}_{j=0}^{d-1}$9 is diagonal in the maximally entangled (Bell) basis:

$(k, l) \in \mathbb{Z}_d^2$0

with $(k, l) \in \mathbb{Z}_d^2$1 and $(k, l) \in \mathbb{Z}_d^2$2.

Complete positivity and trace-preservation are characterized by

• $(k, l) \in \mathbb{Z}_d^2$3,
• $(k, l) \in \mathbb{Z}_d^2$4,
• $(k, l) \in \mathbb{Z}_d^2$5,
• and the positive-definiteness of the matrix $(k, l) \in \mathbb{Z}_d^2$6 for all finite index sets (Haapasalo, 2019, Amosov, 2020, Siudzińska et al., 2017, Basile et al., 2023).

3. Fourier Analysis and Classification

A critical structural result is the characterization of Weyl-diagonal channels via the symplectic Fourier transform. For a probability measure $(k, l) \in \mathbb{Z}_d^2$7 on the phase space group $(k, l) \in \mathbb{Z}_d^2$8,

$(k, l) \in \mathbb{Z}_d^2$9

where $$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$0 is the symplectic form and $$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$1 is a function of positive type ($$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$2 and $$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$3). There is a one-to-one correspondence between Weyl-diagonal channels and continuous positive-type functions $$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$4 with $$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$5 (Holevo–Werner theorem). The set of all such channels forms a convex simplex, with extremal points corresponding to unitary maps (characters of $$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$6) (Haapasalo, 2019, Basile et al., 2023).

In multipartite and higher-dimensional systems, the structure generalizes via product Weyl operators and higher-dimensional abelian groups. The complete positivity (CP) condition is then recast in terms of the non-negativity of the Fourier-transformed coefficients (Basile et al., 2023).

4. Channel Capacities and Information-Theoretic Properties

Weyl-diagonal channels are covariant channels, for which the Holevo–Schumacher–Westmoreland theorem yields that the classical (product-state) capacity is governed by the minimal output entropy:

$$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$7

where $$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$8. For a broad class of Weyl-diagonal channels, $$W_{k,l} = Z(k)X(l) = \sum_{j=0}^{d-1} \omega^{j k} |j\rangle\langle j + l|,\quad \omega = \exp(2\pi i/d)$$9 is additive and achieved on pure computational basis inputs. Explicitly, for a refinement via deformed $Z(k)$0-classical channels,

$Z(k)$1

Bounds and exact expressions for the Holevo capacity can be obtained by reducing the optimization to classical symmetric channels associated with the eigenbases of Weyl operators. If the lower and upper bounds (derived from entropy majorization and group-theoretical constraints) coincide, the capacity is given by the single-letter formula above (Amosov, 2020, Rehman et al., 2020).

5. Entanglement Structure and Bell-Diagonal States

A key operational aspect is the relationship between Weyl-diagonal channels and Bell-diagonal states. The Choi–Jamiołkowski isomorphism establishes a one-to-one correspondence between Weyl-diagonal channels (coefficients $Z(k)$2) and diagonal states in the standard Bell basis. In particular,

$Z(k)$3

This identifies Weyl-diagonal channels as projectors onto the magic simplex of Bell-diagonal states. The group structure of the standard Weyl–Heisenberg construction is essential for symmetry under finite twirling, error correction, and entanglement purification. The channel geometry encodes not only separability but also nontrivial PPT-entangled (bound entangled) regions, with explicit analytic and numerical characterizations available for low-dimensional systems (notably qutrits) (Popp et al., 2023).

Deviations from the Weyl–Heisenberg basis break the group symmetries, alter the geometry of PPT-entanglement, and impact quantum error correction protocols, reflecting the central role of the Weyl group structure.

6. Applications, Extensions, and Dynamics

Weyl-diagonal channels model independent random phase/shift errors and serve as the natural noise basis for qudit stabilizer codes and quantum error correction. In the study of open quantum systems, time-dependent Weyl-diagonal maps (with evolving Kraus weights) arise as phase damping and dephasing dynamics, with direct implications for non-Markovianity diagnostics.

Non-Markovianity of Weyl-diagonal channels is characterized by the spectrum of the Choi matrix of the intermediate map and the behavior of time-local decoherence rates. Explicit measures, such as CP-divisibility (RHP), negative-rate (HCLA), and trace-distance backflow (BLP), can be formulated analytically using the channel's time-dependent weights. For instance, for a special class with only $Z(k)$4 nonzero Kraus coefficients, the change in sign or level crossing of the decoherence rate signals non-Markovianity onset. Quantitative measures can be expressed directly in terms of the channel parameters, especially in prime-dimensional systems (Xu et al., 13 Mar 2025).

In multipartite systems, the algebraic structure of Weyl-diagonal channels is governed by subgroups and characters of the product phase space group. The class of Weyl component erasing (WCE) channels is characterized by support on additive subgroups and corresponds to idempotent projections onto Weyl subalgebras, with a fully algorithmic construction based on subgroup enumeration (Basile et al., 2023).

7. Prominent Examples and Special Cases

Weyl-diagonal channels include the following important subclasses:

• Depolarizing channel: $Z(k)$5, leading to $Z(k)$6.
• Phase-damping channel: Non-uniform $Z(k)$7 supported on $Z(k)$8 shifts.
• Generalized Pauli channel (qubit/qutrit): When $Z(k)$9, recovers the standard Pauli channel; for $X(l)$0, yields a five-parameter family respecting inversion symmetry (Siudzińska et al., 2017, Rehman et al., 2020).

These channels are random unitary and implementable via random phase-space displacements sampled from the associated probability distributions, with direct correspondences in quantum optics.

---

References:

• (Haapasalo, 2019) Compatibility of covariant quantum channels with emphasis on Weyl symmetry
• (Amosov, 2020) On classical capacity of Weyl channels
• (Popp et al., 2023) Special features of the Weyl-Heisenberg Bell basis imply unusual entanglement structure of Bell-diagonal states
• (Siudzińska et al., 2017) Quantum channels irreducibly covariant with respect to the finite group generated by the Weyl operators
• (Rehman et al., 2020) Holevo Capacity of Discrete Weyl Channels
• (Basile et al., 2023) Weyl channels for multipartite systems
• (Xu et al., 13 Mar 2025) The quantum non-Markovianity for a special class of generalized Weyl channel