Pauli Component Erasing Maps

• Pauli Component Erasing Maps are Pauli-diagonal quantum channels that use binary eigenvalues to selectively preserve or erase state components in the Pauli-string basis.
• They exhibit a rich algebraic structure by establishing a bijection with GF(2) subspaces, forming a semigroup under composition and connecting to Lindbladian decoherence.
• These maps serve practical roles in quantum error correction and resource theories by modeling projective decoherence and classical noise projection in multi-qubit systems.

A Pauli Component Erasing (PCE) map is a special class of Pauli-diagonal quantum channels that act by preserving or completely erasing selected components of a state in the Pauli-string basis of a multi-qubit system. These channels are parameterized by binary eigenvalues that specify which Pauli components are retained (set to 1) and which are erased (set to 0). PCE maps provide a powerful algebraic framework for analyzing decoherence, subspace projections, and resource structure in quantum information theory. Their complete mathematical characterization, semigroup structure, implementation as subgroup twirls, and connections to Lindbladian decoherence and Markovian processes make them foundational objects in the study of quantum noise and open-system dynamics (Leon et al., 2022).

1. Mathematical Definition and Structure

Let $$\{\sigma_0 = I, \sigma_1 = X, \sigma_2 = Y, \sigma_3 = Z\}$$ denote the $N=1$ Pauli basis. For $N$ qubits, every Pauli-string is

$$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$

These form an orthonormal operator basis with the Hilbert–Schmidt inner product. Any density matrix $\rho$ can be written as

$$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$

A unital, Pauli-diagonal channel $\Phi$ acts as $\Phi(\sigma_\alpha) = c_\alpha \sigma_\alpha$, with real eigenvalues $c_\alpha$.

A Pauli Component Erasing map is defined by $c_\alpha \in\{0,1\}$ for every $N=1$0. This map projects $N=1$1 onto the subspace spanned by Pauli strings with $N=1$2: $N=1$3

The collection of indices $N=1$4 defines the preserved components. Complete positivity and trace-preservation require that $N=1$5 forms a linear subspace $N=1$6, with the correspondence arising from the group-theoretic structure of the Pauli group under multiplication (up to phase) (Leon et al., 2022).

2. Algebraic Properties and Classification

The defining feature of PCE maps is their bijection with vector subspaces of $N=1$7. Precisely,

• If $N=1$8 is closed under the addition operation corresponding to Pauli-string multiplication, then $N=1$9 is a linear subspace and $N$0 is CPTP.
• Conversely, each subspace $N$1 yields a unique PCE map by retaining only the components labeled by $N$2.

This property translates operationally into classical erasure in the Bloch-representation of $N$3, with only certain coherences and populations preserved according to the subspace structure (Leon et al., 2022).

For generalizations to qudits or higher dimensions, component-erasing channels are naturally described in the Weyl basis, where analogous subgroups and group characters classify the possible maps (Basile et al., 2023).

3. Semigroup Structure and Markovian Embedding

PCE maps are stable under composition: given two PCE maps $N$4 and $N$5 with eigenvalues $N$6 and $N$7, their composition $N$8 is a PCE map with eigenvalues $N$9.

This closure defines a semigroup (not a group, since inverses generally do not exist). The semigroup is noncommutative: the order of application can matter depending on which components are erased first.

Continuous-time Markovian evolution toward a PCE map is constructed by using Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) generators built from Pauli jump operators: $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$0 where $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$1 are Pauli strings. The semigroup generated by such $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$2 projects (in the infinite-time limit) onto the joint $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$3 eigenspace under conjugations by the $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$4. The dynamical action is to damp away Pauli components that anticommute with any $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$5 while preserving those that commute (Leon et al., 2022).

4. Kraus Operator Implementation and Physical Realizations

Every PCE map associated with a subspace $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$6 can be realized as a uniform twirl (random application) over the abelian subgroup $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$7:

$$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$8

The Kraus operators are $$\sigma_\alpha = \sigma_{\alpha_1} \otimes \sigma_{\alpha_2} \otimes \cdots \otimes \sigma_{\alpha_N}, \quad \alpha \in \{0,1,2,3\}^N.$$9; the channel is then written as

$\rho$0

Physical unitary-dilation is achieved by introducing an ancilla system of dimension $\rho$1, preparing it maximally mixed, performing a controlled-Pauli operator that coherently implements $\rho$2, and discarding the ancilla (Leon et al., 2022).

5. Geometry and Positivity: Qubit Case and Beyond

For $\rho$3 (single qubit), the full set of Pauli maps is parameterized by attenuation factors $\rho$4 on the Bloch vector: $\rho$5 with $\rho$6 for positivity. Complete positivity imposes the Fujiwara–Algoet inequalities: $\rho$7

Setting one or more $\rho$8 yields the erasing of corresponding Bloch components. For example, setting $\rho$9 erases the $$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$0 component and preserves the $$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$1 plane. The CP region for a one-component erasure is a diamond $$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$2 in the plane, with automatic entanglement breaking (Chruściński et al., 2024, Siudzińska, 2019).

The same algebraic formalism, generalized to Weyl operators, describes component-erasing maps for higher-dimensional systems. Here, the subgroup and character structure of the discrete phase space $$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$3 (for each subsystem) replaces the role of binary Pauli strings (Basile et al., 2023).

6. Examples: Explicit Channels and Their Action

Single Qubit ($$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$4):

• $$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$5 (dimension 0): Complete depolarization, only the identity survives.
• $$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$6: Z-dephasing channel, preserves $$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$7.
• $$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$8: Identity channel, all components preserved.

Two Qubits ($$\rho = 2^{-N} \sum_\alpha r_\alpha \sigma_\alpha, \qquad r_\alpha = \operatorname{Tr}[\rho \sigma_\alpha].$$9):

• $\Phi$0: Local $\Phi$1-dephasing on second qubit; only operators of the form $\Phi$2 remain.
• $\Phi$3: Double-axis dephasing on second qubit; projects onto full algebra on first qubit.

Three Qubits ($\Phi$4):

• $\Phi$5: Independent Z-dephasing on each qubit, which erases all off-diagonal coherences in the computational basis.

These constructions generalize to any vector subspace of $\Phi$6, with Kraus operators given by the elements of the corresponding subgroup (Leon et al., 2022).

7. Connections to Decoherence, Resource Theories, and Generalizations

PCE maps describe sharp, projective forms of decoherence, serving as the infinite-time limit of Lindblad evolution with suitable Pauli-jump operators. In this role, they are archetypes for models of classicalization, error correction, and resource distillation, particularly for analyzing subspace projections and protected codespaces.

Generalizations to higher-dimensional Hilbert spaces (e.g., qutrits or qudits) are constructed using Weyl operators. In this context, the subgroup and homomorphism classification fully determines the set of component-erasing channels, with explicit Kraus and random-unitary representations. Such maps reveal the algebraic and convex-geometry structure of quantum channels in the diagonal basis and provide algorithmic pathways for enumerating all possible component-erasing channels (Basile et al., 2023).

Summary Table: Core Structural Properties of PCE Maps

Property	PCE Map Characterization	Reference
Basis	Pauli strings $\Phi$7, $\Phi$8	(Leon et al., 2022)
Eigenvalues	$\Phi$9 for all $\Phi(\sigma_\alpha) = c_\alpha \sigma_\alpha$0	(Leon et al., 2022)
Preserved set	Vector subspace $\Phi(\sigma_\alpha) = c_\alpha \sigma_\alpha$1	(Leon et al., 2022)
Semigroup property	Closed under composition, noncommutative	(Leon et al., 2022)
Markovian embedding	GKSL generators with Pauli jumps, limit projects onto $\Phi(\sigma_\alpha) = c_\alpha \sigma_\alpha$2	(Leon et al., 2022)
Kraus form	$\Phi(\sigma_\alpha) = c_\alpha \sigma_\alpha$3, $\Phi(\sigma_\alpha) = c_\alpha \sigma_\alpha$4 abelian subgroup $\Phi(\sigma_\alpha) = c_\alpha \sigma_\alpha$5	(Leon et al., 2022)
Generalization	Weyl-diagonal, subgroup and character structure in $\Phi(\sigma_\alpha) = c_\alpha \sigma_\alpha$6	(Basile et al., 2023)

PCE maps represent the intersection of algebraic, geometric, and physical principles in quantum channel theory and continue to serve as canonical examples in the study of decoherence, channel semigroups, and symmetry-resolved resource theories (Leon et al., 2022, Basile et al., 2023, Chruściński et al., 2024, Siudzińska, 2019, Müller-Hermes, 2020).