Kraus Rank Quantum Channel

• Kraus rank quantum channel is a completely positive trace-preserving map defined by the minimal set of Kraus operators, capturing its structural complexity.
• Its geometric and manifold representations provide key insights into quantum simulation, channel learning, and optimal circuit parameterization.
• Applications span quantum tomography, resource theory, and compression techniques, enabling reduced sample complexity and efficient experimental design.

A Kraus rank quantum channel is a completely positive trace-preserving linear map between matrix algebras whose quantitative and structural complexity is characterized by the minimal number of Kraus operators required in any operator-sum representation. The concept of Kraus rank is central to the geometry, modeling, simulation, and implementation of quantum dynamical processes, with deep implications for quantum information processing, learning, tomography, channel compression, and resource theory.

1. Foundational Definitions: Kraus and Choi Representations

Let $$\mathcal{E} : \mathcal{L}(\mathbb{C}^{n}) \to \mathcal{L}(\mathbb{C}^{D})$$ be a quantum channel, that is, a linear, completely positive, trace-preserving (CPTP) map. The Kraus representation theorem guarantees existence of a finite set of operators $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$ such that

$$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$

The minimal $r$ for which such a decomposition exists is called the Kraus rank or Choi rank. The Choi–Jamiołkowski isomorphism gives an alternative characterization: define $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$ where $$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$. Then

$$\operatorname{Kraus~rank}(\mathcal{E}) = \operatorname{rank}(J_{\mathcal{E}}).$$

The set of all such CPTP maps forms a convex set, with the Choi rank bounding the minimal degrees of freedom needed for any physical realization (Belov et al., 18 Jan 2026, Iten et al., 2016, Chen et al., 15 Dec 2025).

2. Manifold Structure and Parameterization of Fixed Kraus Rank Channels

The set of CPTP maps of fixed Kraus rank $r$ admits a smooth manifold structure with two explicit, equivalent models (Iten et al., 2016):

• Quotient of Stiefel Manifold: The set of $(rD)\times n$ isometries $V$ block-partitioned into $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$0 Kraus maps, modulo the unitary group $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$1 (non-uniqueness of Kraus representations). The manifold has real dimension $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$2.
• Submanifold of Rank-$\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$3 Choi Matrices: The set of PSD matrices $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$4 with $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$5 and $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$6.

Extreme points (those not decomposable as nontrivial convex combinations) correspond to channels for which the $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$7 products $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$8 are linearly independent. The locus of extreme channels is open in the manifold of fixed-rank channels and retains the same dimension. This geometric characterization yields tight lower bounds: any quantum circuit family that can realize all extreme Kraus rank $\{K_i\}_{i=1}^r \subset \mathbb{C}^{D \times n}$9 channels must have at least $$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$0 real parameters. For unitaries ($$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$1), this specializes to the well-known formula for the Stiefel manifold (Iten et al., 2016).

3. Kraus Rank Reduction, Local Consistency, and Resource Compression

When a collection of (possibly overlapping) local quantum channels or marginals is compatible with some global channel, there always exists a global channel with bounded Kraus rank. Specifically, for $$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$2 local maps between input/output subspaces $$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$3, any compatible collection admits an extension $$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$4 with

$$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$5

This result generalizes quantum marginal and local channel consistency problems, allowing for nontrivial polynomial bounds in the number of parties for fixed local dimension and locality. The construction exploits the Choi-state duality and iterative rank-reduction via perturbations preserving marginals (Chen et al., 2011).

4. Emergence and Utility of Low Kraus Rank in Quantum Channel Learning

In quantum channel learning and quantum process tomography tasks, solutions with surprisingly small Kraus rank (often orders of magnitude less than the maximal $$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$6) systematically arise when fitting experimental data via convex semidefinite programming (SDP). Given $$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$7 samples of input-output data, one solves for a Choi matrix $$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$8 maximizing data fidelity under CPTP constraints. The feasible set is a convex spectrahedron whose extreme points have rank $$\mathcal{E}(\rho) = \sum_{i=1}^r K_i \rho K_i^\dagger, \quad \sum_{i=1}^r K_i^\dagger K_i = I_n.$$9. Empirically, the rank of the SDP-recovered channel is frequently only a few percent of the maximal Choi rank, even for random data:

• For $r$0, observed ranks $r$1 out of $r$2 possible (1.3%)
• As $r$3 increases for fixed $r$4, rank drops further

This low-rank phenomenon results from geometric properties of the CPTP cone and is not an artifact of data regularity. It parallels dimensionality reduction in classical machine learning (e.g., PCA) but arises intrinsically from quantum convexity (Belov et al., 18 Jan 2026).

5. Analytical, Computational, and Operational Aspects

Approximation, Compression, and Simulation

Any quantum channel can be approximated (in trace or operator norm) to arbitrary precision by a channel of Kraus rank $r$5, with $r$6, and even $r$7 if all outputs are highly mixed. No universal compression below rank $r$8 is possible if the output range contains a full-rank state. These results underpin channel compression, resource-efficient simulation, data hiding, and decoupling (Lancien et al., 2017). Specifically, for Pauli and related channels, one can group Kraus operators to achieve the minimal admissible rank.

Kraus Rank under Measurement and Certification Constraints

When the discrimination of CPTP maps is restricted to projective (von Neumann) measurements, many channels become indistinguishable at the level of output marginals, even if their Kraus ranks differ. Given any $r$9-dimensional quantum channel, there always exists a projectively-indistinguishable channel with Kraus rank $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$0, the minimal value possible. Sinkhorn-like algorithms and analytic grouping for Pauli channels allow practical construction of such minimal-rank simulators. This has strong implications for quantum certification, simulation, and adversarial attacks, as well as the resource scaling of variational channel ansätze (Heightman et al., 2024).

Kraus Rank in Infinite-Dimensional (Gaussian) Channels

For bosonic Gaussian channels, Kraus decompositions may require an infinite or even uncountable index set. For example, the quantum-limited attenuator and amplifier channels necessitate countably infinite Kraus operators. In contrast, entanglement-breaking Gaussian channels admit rank-one (potentially continuum-indexed) decompositions. All quantum-limited Gaussian channels are extremal, with the set of $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$1 linearly independent, guaranteeing non-decomposability into convex mixtures. No finite set of Kraus operators can reproduce general photon-number shifts in these channels (Ivan et al., 2010).

6. Kraus Rank in Quantum Channel Estimation and Tomography

The sample complexity of quantum channel tomography scales directly with the Kraus rank. For a channel mapping $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$2 with rank $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$3, $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$4 queries suffice for diamond-norm precision $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$5. In the regime $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$6, the sample complexity improves to $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$7, which is the Heisenberg-limited scaling even for non-unitary channels. Methods based on local testers show that access to Stinespring dilations does not lower information-theoretic cost relative to direct queries to the CPTP map (Chen et al., 15 Dec 2025). Thus, rank-limited tomography enables significant reductions in the experimental burden for restricted dynamical classes.

7. Specialized Classes and Resource-Theoretic Constraints

Incoherent operations (IO) in the resource theory of coherence provide a concrete class for which the minimal number of incoherent Kraus operators equals four for qubit channels—attainable and optimal—although some channels admit ordinary Kraus decompositions with only three operators. This separation between general Kraus rank and resource-restricted (incoherent) Kraus rank persists, with explicit parametrizations and performances in resource conversion and optimization tasks (Rana et al., 2018). Mixed-unitary channels show another divergence: the minimal number $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$8 of unitaries in a convex combination can strictly exceed the Choi rank $$J_{\mathcal{E}} = (I_n \otimes \mathcal{E})(|\Phi^+\rangle\langle\Phi^+| )$$9 (with proven bounds $$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$0), and explicit examples exist where $$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$1, crucial for understanding classical simulability and channel synthesis (Girard et al., 2020).

---

Summary Table: Key Technical Aspects

Context / Problem	Minimal Kraus Rank	Relevant Bound or Construction
General CPTP (finite-dimensional)	$$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$2	Rank = Choi rank; convex geometry of spectrahedron (Belov et al., 18 Jan 2026)
Local-consistent extension	$$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$3	Explicit rank reduction for local constraints (Chen et al., 2011)
Approximate simulation/learning	$$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$4	Worst-case channel; $$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$5 for very mixed outputs (Lancien et al., 2017)
Channel indistinguishable by projectives	$$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$6	Generic reduction by Sinkhorn-like algorithm (Heightman et al., 2024)
Bosonic (Gaussian) quantum-limited	Countably infinite	No finite decomposition except for entanglement-breaking case (Ivan et al., 2010)
Qubit incoherent operation (IO)	$$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$7	Exact; cannot be realized with fewer in general (Rana et al., 2018)
Mixed-unitary channels	$$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$8	$$|\Phi^+\rangle = \frac{1}{\sqrt{n}}\sum_{j=0}^{n-1} |j\rangle\otimes|j\rangle$$9 can strictly exceed $$\operatorname{Kraus~rank}(\mathcal{E}) = \operatorname{rank}(J_{\mathcal{E}}).$$0 (Girard et al., 2020)

---

These results demonstrate that the Kraus rank is a fundamental, physically significant, and operationally impactful invariant for quantum channels, determining simulation feasibility, circuit complexity, learnability, and resource usage across a wide spectrum of quantum information science.