---
title: Kraus Rank in Quantum Channels
url: https://www.emergentmind.com/topics/kraus-rank
type: topic
---

# Kraus Rank in Quantum Channels

Kraus rank is the minimum number of Kraus operators needed to represent a completely positive trace-preserving map in operator-sum form,
\[
\mathcal N(X)=\sum_{i=1}^s K_i X K_i^\dagger,\qquad \sum_{i=1}^s K_i^\dagger K_i=\mathbb 1_A,
\]
with the minimum taken over all such decompositions [1711.00697]. In finite dimensions, this coincides with the rank of the Choi matrix \(J_{\mathcal E}=(\mathbb 1_d\otimes \mathcal E)\ket{\Omega}\bra{\Omega}\) [2410.14608]. In the infinite-dimensional setting treated constructively in [2301.05488], the Kraus family is indexed by a general set \(J\), which suggests viewing Kraus rank as the minimal cardinality of such an index set. Across quantum information, open-system dynamics, tomography, approximation, and learning, Kraus rank serves as a structural complexity parameter rather than merely a bookkeeping device [2208.00812], [2007.00935].

## 1. Definition and basic characterizations

For a quantum channel \(\mathcal E:B(\mathcal H)\to B(\mathcal H)\), the action on a density matrix is written as
\[
\mathcal E(\rho)=\sum_{r=0}^{R} K_r \rho K_r^\dagger.
\]
In the standard finite-dimensional usage, the Kraus rank is “the minimum number of Kraus operators needed to represent the channel action” [2410.14608]. The same quantity is called the Choi rank in process-tomography language: “The Choi rank \(r\) of a process is given by the minimum number of Kraus operators necessary to represent the process” [2208.00812].

The Choi formulation gives an equivalent characterization. With
\[
J_{\mathcal E}=(\mathbb 1_d\otimes \mathcal E)\ket{\Omega}\bra{\Omega},\qquad \ket{\Omega}=\frac{1}{\sqrt d}\sum_{i=0}^{d-1}\ket{i\,i},
\]
one has
\[
\operatorname{rank}(J_{\mathcal E})=\text{Kraus rank of }\mathcal E
\]
[2410.14608]. For a valid channel, \(J_{\mathcal E}\) is Hermitian, positive semidefinite, and satisfies \(\mathrm{Tr}_B(J_{\mathcal E})=\mathbb 1\) [2410.14608]. This makes Kraus rank simultaneously a statement about operator-sum representations and a matrix-rank invariant of the Choi state.

A concrete open-system example appears in the amplitude-damping derivation for a two-level atom interacting with the vacuum. The reduced dynamics is expressed by
\[
\hat{\rho}_{t}^{S}=\sum_{l}\hat{K}_{l}\hat{\rho}^{S}\hat{K}_{l}^{\dagger},
\]
with
\[
\hat K_0= \begin{bmatrix} 1 & 0\\ 0 & \sqrt{1-p} \end{bmatrix},\qquad
\hat K_1= \begin{bmatrix} 0 & \sqrt{p}\\ 0 & 0 \end{bmatrix},\qquad
\hat K_{l\ge2}=0
\]
[1510.09081]. In that representation the exhibited nonzero Kraus number is \(2\), illustrating the standard channel-theoretic notion in a microscopic derivation.

## 2. Nonuniqueness, minimality, and upper bounds

Kraus representations are not unique. If \(\{K_i\}_{i=1}^s\) and \(\{L_i\}_{i=1}^s\) are two \(s\)-term Kraus decompositions of the same channel, then there exists a unitary \(U\in U(s)\) such that
\[
L_i=\sum_{j=1}^s U_{ij}K_j
\]
[1711.00697]. In the system–environment picture this same freedom can be written as
\[
\hat{K}_{l}'=\sum_{n}V_{ln}\hat{K}_{n},\qquad \hat U'=(\mathbb I_S\otimes \hat V)\hat U
\]
[1510.09081]. The operator count in a displayed decomposition therefore need not equal the Kraus rank.

This distinction matters operationally. The paper on generalized Kraus operators for a one-qubit depolarizing channel explicitly presents four Kraus operators, but also notes that “four Kraus operators” does not automatically prove Kraus rank \(4\), because Kraus decompositions need not be minimal [1512.07843]. The same distinction underlies low-rank tomography, where the true rank \(r\) of the target process and the ansatz size \(k\) used in reconstruction are treated separately [2208.00812].

Finite-dimensional channels satisfy universal cardinality bounds. For a system of Hilbert-space dimension \(d_S\), one can always find a Kraus representation with at most \(d_S^2\) operators [1510.09081]. In the nonstandard GKSL derivation, any CP map on a \(d\)-dimensional Hilbert space is recalled to admit a Kraus representation with at most \(d^2\) Kraus operators, and the infinitesimal channel \(A_{\delta t}=\exp(\delta tL)\) is taken with \(d^2\) Kraus operators before redundancy is removed at the generator level [2406.03775]. These are existence bounds, not generic minimality statements.

## 3. Relations to Choi theory, dilations, and environment size

Kraus rank is closely tied to dilation theory. Starting from a Kraus family \((K_j)_{j\in J}\), the constructive Stinespring result of [2301.05488] realizes the channel by choosing
\[
\mathcal K=\ell^2(J)\otimes \mathbb C^2,\qquad \psi=e_{j_0}\otimes e_1,
\]
so that
\[
\Phi = \operatorname{tr}_{\mathcal K}\!\left( U\big((\cdot)\otimes |\psi\rangle\langle\psi|\big)U^* \right).
\]
The same work states that “the smallest auxiliary system one can get this way has dimension ‘Kraus rank’ times two,” while the original Hellwig–Kraus construction uses an auxiliary system of dimension “Kraus rank plus one” [2301.05488]. The extra factor \(2\) is catalytic in the construction: the qubit returns unchanged.

The operator-sum picture also arises directly from unitary system–environment dynamics. In the pedagogical derivation of [1510.09081], with initial product state \(\hat\rho=\hat\rho^S\otimes |E_0\rangle\langle E_0|\), Kraus operators are defined by matrix elements
\[
\langle S_k|\hat K_l|S_m\rangle=\langle S_kE_l|\hat U|S_mE_0\rangle.
\]
This identifies each Kraus operator with an environment branch relative to the chosen basis.

Beyond finite-dimensional channels with finite Kraus rank, the exact non-Markovian reservoir-damping construction of [1807.07325] gives a “Kraus map consisting of an infinite number of matrices.” The exact reduced dynamics is written as a sum over sectors \(q=0,1,2,\dots\), with continuously time-indexed multi-index Kraus matrices \(W_q\) [1807.07325]. This shows that operator-sum descriptions and finite Kraus rank are not synonymous.

## 4. Kraus rank as a structural complexity parameter

Several modern works use Kraus rank as an explicit complexity parameter. In channel compression, any quantum channel mapping states on some input Hilbert space \(\mathrm A\) to states on some output Hilbert space \(\mathrm B\) can be approximated by one with order \(d\log d\) Kraus operators, where \(d=\max(|\mathrm A|,|\mathrm B|)\); if the outputs are all very mixed, this improves to order \(d\) [1711.00697]. Here the exact Kraus rank of the original channel can be as large as \(|A||B|\), but approximation permits substantial reduction.

In quantum process tomography, the same quantity is a model-order hyperparameter. The gradient-descent QPT framework writes
\[
\mathcal E(\rho)=\sum_{l=1}^{k} K_l\rho K_l^\dagger,
\]
treats the true minimal rank as \(r\), and uses \(k\) as the chosen ansatz size [2208.00812]. The paper is explicit that \(r\) is a property of the target process, whereas \(k\) is a tunable rank parameter. Complete positivity is enforced by Kraus form, and trace preservation is enforced exactly through the stacked constraint \(\mathbb K^\dagger \mathbb K=\mathbb I\) on a Stiefel manifold [2208.00812].

In matrix-valued regression, low Kraus rank plays the same role for completely positive maps \(\Phi(X)=\sum_{j=1}^r A_j X A_j^\top\). The hypothesis class with fixed Kraus rank \(r\) satisfies
\[
Pdim(\tilde{\mathcal F}) \le pqr \log\!\left(\frac{8epq}{r}\right),
\]
and the paper interprets \(r\) as the regularization parameter controlling expressivity and statistical complexity [2007.00935]. The same source emphasizes that “low-rank” here means few Kraus operators, not low rank of the individual matrices \(A_j\), and not reduced-rank multivariate regression [2007.00935].

A more recent generalization appears in channel-based knowledge-graph embedding. There, each relation channel has Kraus rank \(\kappa(r)=\mathrm{rank}(C^{(r)})\), and any exact realization of a relation matrix \(M_r\) must satisfy
\[
\kappa(r)\ge \frac{\mathrm{rank}(M_r)}{d}
\]
[2605.10317]. This suggests a broader interpretation: Kraus rank measures the number of concurrent transformation pathways required by the task.

## 5. Identifiability, observability, and effective operator counts

Kraus rank is not always directly observable from restricted data. Under one fixed projective measurement basis, [2410.14608] shows that many different channels can yield identical output marginals for all inputs while having different Choi and Kraus ranks. Within such Type-II spoofing equivalence classes, a generic \(d\)-dimensional channel can be lowered “from \(d^2\) to the theoretical minimum of \(d\)” while preserving exactly the compatible projective marginals [2410.14608]. The same work formulates a Sinkhorn-like algorithm that searches the compatible Choi matrices for minimum admissible Kraus rank [2410.14608].

This measurement-relativity contrasts with exact dynamical constructions. In [1807.07325], the exact non-Markovian reduced dynamics requires an infinite Kraus family, while perturbative factorization produces a finite hierarchy of perturbative Kraus matrices \(W'_0,\dots,W'_{N-1}\) that still preserves positivity and probability order by order [1807.07325]. A plausible implication is that “effective Kraus rank” in approximations may reflect truncation strategy rather than a channel invariant.

A closely related caveat appears in the closed-form Kraus-map solution for GKSL dynamics under arbitrarily strong driving but linear order in the dissipator. That work derives one dominant operator \(K_0\) together with correction Kraus operators indexed by Riemann quadratures, but explicitly does not compute minimal Kraus rank, and the resulting linearized map is not exactly trace preserving [2603.11207]. The operator count in such constructions is therefore representation size, not necessarily Kraus rank in the strict minimal sense.

## 6. Constrained variants and common confusions

The standard channel-theoretic notion must be distinguished from constrained variants. In the resource theory of coherence, the relevant quantity is the smallest number of Kraus operators in a decomposition whose individual terms satisfy IO or SIO structural constraints. For qubit IO, every channel can be decomposed into four incoherent Kraus operators, improving the earlier bound of five; for qutrit IO the paper proves an upper bound of \(32\), improving \(39\); and for qutrit SIO it proves an upper bound of \(13\), improving \(15\) [2005.01083]. These are constrained Kraus-count questions, not ordinary unconstrained Kraus rank.

Several nearby notions are unrelated despite similar terminology. The “Kraus-Cirac number” of a two-qubit unitary counts the nonzero coefficients \(\alpha_x,\alpha_y,\alpha_z\) in the decomposition
\[
U=(u_A\otimes u_B)e^{i(\alpha_x X\otimes X+\alpha_y Y\otimes Y+\alpha_z Z\otimes Z)}(v_A\otimes v_B),
\]
and is explicitly “not about the standard Kraus rank of a quantum channel” [1404.2698]. Likewise, “Kruskal rank” concerns linear independence of subsets of rows or columns of a matrix and arises in sparse linear regression, tensor decomposition, and latent variable models; it is unrelated to channel Kraus operators [2503.04986].

A further source of confusion is low-rank state simulation. The Lindblad solver of [2409.08898] is built from Kraus-form timestep maps, but its “low-rank” method refers to low rank of the density matrix \(\rho\approx VV^\dagger\), not low Kraus rank of the channel. The paper explicitly does not define the term “Kraus rank” [2409.08898].

Kraus rank is therefore best understood as a minimal operator-sum cardinality for completely positive maps, equal in finite dimensions to Choi rank, but frequently reinterpreted as a structural complexity parameter whose operational meaning depends on the surrounding representation, constraints, and measurement model [2410.14608], [2208.00812].

Source: https://www.emergentmind.com/topics/kraus-rank