Questions tagged [kraus-representation]

For questions relating to the Kraus decomposition of quantum channels.

Filter by
Sorted by
Tagged with
8
votes
2answers
627 views

Is the Kraus representation of a quantum channel equivalent to a unitary evolution in an enlarged space?

I understand that there are two ways to think about 'general quantum operators'. Way 1 We can think of them as trace-preserving completely positive operators. These can be written in the form $$\...
7
votes
1answer
488 views

What is the rank of a quantum channel?

I read the following sentence in a paper: We consider a quantum channel $\mathcal{E}_{\omega}(\rho)=\sum_{i=1}^{r} K_{i} \rho K_{i}^{\dagger}$ where $r$ is the rank of the channel. I didn't find the ...
7
votes
2answers
1k views

Deduce the Kraus operators of the dephasing channel using the Choi

I'm trying to deduce the Kraus representation of the dephasing channel using the Choi operator (I know the Kraus operators can be guessed in this case, I want to understand the general case). The ...
7
votes
0answers
171 views

How does the invertibility of a quantum map reflect on its Kraus operators?

Consider a quantum map $\Phi\in\mathrm T(\mathcal X)$, that is, a linear operator $\Phi:\mathrm{Lin}(\mathcal X)\to\mathrm{Lin}(\mathcal X)$ for some finite-dimensional complex vector spaces $\mathcal ...
6
votes
1answer
784 views

How does the vectorization map relate to the Choi and Kraus representations of a channel?

I know that the Choi operator is a useful tool to construct the Kraus representation of a given map, and that the vectorization map plays an important role in such construction. How exactly does the ...
6
votes
1answer
512 views

Can the Kraus decomposition always be chosen to be a statistical mixture of unitary evolutions?

If $\mathcal{E}$ is a CPTP map between hermitian operators on two Hilbert spaces, then we can find a set of operators $\{K_j\}_j$ such that $$\mathcal{E}(\rho)=\sum_j K_j\rho K_j^\dagger $$ in the ...
5
votes
3answers
229 views

Why does a quantum operation being trace-preserving imply that $\sum_k E_k^\dagger E_k=I$?

I am reading Nielsen Chuang Chapter 8. They say that if a quantum operation is trace-preserving, then \begin{equation} Tr\left(\sum_k E_k^{\dagger}E_k \rho\right) = 1 \end{equation} which I understand....
5
votes
2answers
2k views

How to find the operator sum representation of the depolarizing channel?

In Nielsen and Chuang (page:379), it is shown that the operator sum representation of a depolarizing channel $\mathcal{E}(\rho) = \frac{pI}{2} + (1-p)\rho$ is easily seen by substituting the identity ...
5
votes
2answers
285 views

How does the spectral decomposition of the Choi operator relate to Kraus operators?

In Nielsen and Chuang's QCQI, there is a proof states that Theorem 8.1: The map $\mathcal{E}$ satisfies axioms A1, A2 and A3 if and only if $$ \mathcal{E}(\rho)=\sum_{i} E_{i} \rho E_{i}^{\dagger} $$...
5
votes
2answers
320 views

Find the quantum operation corresponding to a given unitary evolution and projective measurement

I'm trying to (understand and) solve this problem from Nielsen and Chuang's Quantum Computation and Quantum Information. I know the definition of Operation Elements: $\sum_{k} E_k \rho E_k^†$ with $...
5
votes
3answers
568 views

How is the partial trace related to the operator sum representation? [duplicate]

In Quantum Computation and Quantum Information by Nielsen and Chuang, the authors introduce operator sum representation in Section 8.2.3. They denote the evolution of a density matrix, when given an ...
5
votes
2answers
345 views

How does $\mathcal E(\rho)=\mathrm{Tr}_{env}[U(\rho\otimes\rho_{env})U^\dagger]$ turn into $P_0\rho P_0+P_1\rho P_1$?

In the Quantum Operations section in Nielsen and Chuang, (page 358 in the 2002 edition), they have the following equation: $$\mathcal E(\rho) = \mathrm{Tr}_{env} [U(\rho \otimes \rho_{env})U^\dagger]$$...
5
votes
1answer
112 views

How to use the Kraus operators to represent the total density matrix instead of the reduced one?

In Nielsen's book, the Kraus operator can be attained by trace out the enviroment: $$\operatorname{Tr}_{\rm env}[\hat{U}(|\psi\rangle\otimes|0\rangle)(\langle\psi|\otimes\langle 0|)\hat{U}^\dagger]. $$...
5
votes
1answer
212 views

Quantum capacity for serial composition of quantum channels

Recently, I have been working with quantum channel capacity for quantum-quantum channels and I was wondering if there exist some results for channel compositions. Specifically, I have been looking for ...
4
votes
1answer
215 views

What does it mean "less than identity" in the operator sum representation?

In Quantum Computation and Quantum Information by Isaac Chuang and Michael Nielsen, section 8.2.3, $\mathcal{E}=\sum_{k}E_k\rho E_k^{\dagger}$ gives the operator-sum representation. In general, it ...
4
votes
2answers
134 views

What properties do Kraus operators of Markovian processes have?

It is well-known that the Kraus operator can describe more kinds of processes than master equations. For example, the master equation cannot describe non-markovian processes while the Kraus operator ...
4
votes
2answers
223 views

Determining whether there exists an equivalent set of unitary Kraus operators

I have a CPTP quantum channel $\mathcal{E}$ that I've characterized by an operator sum representation $\{E_i\}$ for $i=1, \dots, m$ which acts on an input state like $$ \mathcal{E}(\rho) = \sum_{i=1}^...
4
votes
2answers
722 views

Do the Kraus operators of a CPTP channel need to be orthogonal?

Let $\Phi\in\mathrm T(\mathcal X,\mathcal Y)$ be a CPTP map. Any such channel admits a Kraus decomposition of the form $$\Phi(X)=\sum_a A_a X A_a^\dagger,$$ for a set of operators $A_a\in\mathrm{Lin}(\...
4
votes
1answer
224 views

What is the root of the non-trace-preserving bit-flip map

I have a quantum channel defined by the Kraus operators: $$ U_1 = \begin{bmatrix} p & 0 \\ 0 & p \end{bmatrix},\quad U_2 = \begin{bmatrix} 0 & p \\ p & 0 \end{bmatrix} $$ i.e. $$ U_1\...
4
votes
2answers
179 views

Can Kraus operators change a mixed state into a pure state?

It seems that Kraus operators cannot change a pure state into a mixed one (wrong). For any pure state can be written as $|\psi\rangle\langle\psi|$, so after the Kraus operators. It becomes $$\sum_l\...
4
votes
1answer
192 views

How to find the unitary operation of a depolarizing channel?

Suppose we have a depolarizing channel operation $$E(\rho)=\frac{p}{2}\textbf{1}+(1-p)\rho$$ acting on a Spin$\frac{1}{2}$ density matrix of the form $\rho=\frac{1}{2}(\textbf{1}+\textbf{s}\cdot\...
4
votes
1answer
118 views

Is the composition of two extremal channels also extremal?

In this question, I follow the terminology and notation of the book of Watrous, most notably chapter two. Extremal channels An extremal channel $\Phi(X) \in C(\mathcal{X},\mathcal{Y})$ is a channel ...
4
votes
1answer
95 views

What do commuting quantum channels look like?

Consider two channels, $\Phi,\Psi\in\mathrm C(\mathcal X)$ acting on some space $\mathcal X$, and suppose they commute, that is, $$\Phi(\Psi(\rho))=\Psi(\Phi(\rho))$$ for all states $\rho$. Can ...
4
votes
1answer
129 views

Is a quantum channel reversible if all Kraus operators are proportional to unitaries?

In preskill's online lecture p.13, he stated that if a channel is reversible, i.e., $\varepsilon^{-1}\circ\varepsilon(\rho)=\rho$ for any $\rho$, then the kraus operator of the quantum channel must be ...
4
votes
1answer
84 views

Unitary over bipartite states that can turn a non-product state into a product state

Consider a bipartite quantum state $\rho_{AB}$ over a product of finite-dimensional Hilbert spaces $\mathcal{H}_A \otimes \mathcal{H}_B$. Does there exists a unitary $U$ over $\mathcal{H}_A \otimes \...
4
votes
1answer
401 views

Tensor product properties used to obtain Kraus operator decomposition of a channel

I work on a Quantum Information Science II: Quantum states, noise and error correction MOOC by Prof. Aram Harrow, and I do not understand which property of tensor products is used in one of the ...
4
votes
0answers
115 views

What's a "natural" way to show that, for unital channels, $\Phi(X)=X$ iff $[X,A_a]=0$ for all Kraus operators $A_a$?

This is a statement proved in Watrous, Theorem 4.25, page 229 of the online version. Let $\Phi\in\mathrm C(\mathcal X)$ be a unital channel with Kraus representation $\Phi(X)=\sum_a A_a X A_a^\dagger$....
3
votes
4answers
259 views

Is there an upper-bound on the operator norm (max-singular value) of the matrix representation of a quantum channel?

Suppose $\Phi$ is a CPTP map with Kraus operators $\phi_n$, so that $\hat{\Phi} := Σ_n (\phi_n ⊗ \phi_n^*)$ is the matrix representation (here $*$ being entry-wise complex conjugate). Is there an ...
3
votes
1answer
981 views

What is the "complementary map" of a channel with given Kraus decomposition?

I have a quantum map described by the following Kraus operators $$A_0 = c_0 \begin{pmatrix} 1 & 0\\ 0 & 1 \end{pmatrix}, \qquad A_1 = c_1 \begin{pmatrix} ...
3
votes
1answer
122 views

Can any channel be written as $\Phi(X)=\operatorname{Tr}_{\mathcal Z}[U(X\otimes \sigma)U^\dagger]$ for any state $\sigma$?

We know that every CPTP map $\Phi:\mathcal X\to\mathcal Y$ can be represented via an isometry $U:\mathcal X\otimes\mathcal Z\to\mathcal Y\otimes\mathcal Z$, as $$\Phi(X) = \operatorname{Tr}_{\mathcal ...
3
votes
1answer
62 views

Implication of SWAP being not positive in terms of quantum channel

I am going over chapter 3 of Preskill's lecture notes regarding complete positivity. Specifically, on page 19, it is mentioned that since SWAP has eigenstates with eigenvalue -1, it is not positive, ...
3
votes
1answer
208 views

Direct derivation of the Kraus representation from the natural representation, using SVD

$\newcommand{\Y}{\mathcal{Y}}\newcommand{\X}{\mathcal{X}}\newcommand{\rmL}{\mathrm{L}}$As explained for example in Watrous' book (chapter 2, p. 79), given an arbitrary linear map $\Phi\in\rmL(\rmL( \X)...
3
votes
1answer
143 views

What are examples of Kraus operators describing the process of control error?

Noise, such as photon loss or dephasing, is often described with Kraus operators. Are there examples of Kraus operators describing the process of control error?
3
votes
1answer
58 views

Kraus representation of a convex combination of CPT maps

Let $\Phi_1,\Phi_2$ be CPT maps with Kraus decomposition \begin{equation} \Phi_1=\sum_{k=1}^{d_1}M_k\rho M_k^\dagger, \quad \Phi_2=\sum_{k=1}^{d_2} N_k\rho N_k^\dagger, \quad \text{s.t.} \quad \sum_{k=...
3
votes
1answer
42 views

Special properties of a channel whose Kraus decomposition contains Identity

I would like to know if there are any special properties of channels that permit a Kraus representation that includes an identity? That is, if I am given a Kraus representation of a CPTP map $\Phi$ ...
3
votes
1answer
91 views

Equivalent statement of the unitary freedom of Kraus operator?

There is a well-known form of the unitary freedom of Kraus operators, which can be found in Nielsen's book, stating that two sets of Kraus operators describe the same physical process of the system(...
3
votes
1answer
73 views

Implementing sum on Boolean with Grover algorithm

We are trying to implement a "sum over 4 booleans = k" in the spirit of Grover search. First, we have 4 qubits, one for each boolean q00, q01, q02, q03,; then 4 ...
3
votes
0answers
82 views

How to compute the capacity of a quantum channel from its Kraus operators?

Is there a working rule to compute the capacity of a quantum channel described by a set of Kraus operators $\{K_i\}$?
2
votes
3answers
187 views

What is the Kraus representation of the quantum channel with Choi $\lambda |\phi^+\rangle \langle\phi^+| + (1-\lambda )|\phi^-\rangle \langle\phi^-|$?

This matrix $$c_{\lambda} = \lambda |\phi^+\rangle \langle\phi^+| + (1-\lambda )|\phi^-\rangle \langle\phi^-|$$ is the Choi–Jamiołkowski matrix of a quantum channel for any $\lambda \in [0,1]$. The ...
2
votes
4answers
209 views

Can a Kraus representation act as the identity on any operator?

In the textbook “Quantum Computation and Quantum Information” by Nielsen and Chuang, it is stated that there exists a set of unitaries $U_i$ and a probability distribution $p_i$ for any matrix A, $$\...
2
votes
2answers
281 views

Find the Kraus operators of a combined amplitude and phase damping channel

I am going through the paper Surface code with decoherence: An analysis of three superconducting architectures and I have a doubt about how the authors get what they refer to as the combined channel ...
2
votes
2answers
399 views

Prove that the depolarizing channel is completely positive

In two dimensions, for a density operator $\rho$ and probability $\lambda$, a depolarizing channel can be written as: $$\mathcal{E}(\rho) = (1-\lambda) \frac{\mathbb{I}}{2} + \lambda\rho$$ In ...
2
votes
1answer
35 views

Can every unitary on $\mathcal{H}\otimes \mathcal{K}$ be modelled by quantum operations on $\mathcal{H}$?

In section 8.2.3 of Nielsen and Chuang, they discuss how unitary dynamics of a system and environment arise from quantum operations (i.e. Kraus operators $E_k$ such that $\sum_k E_k^*E_k=I$). ...
2
votes
1answer
147 views

How does the Kraus decomposition imply the Stinespring representation?

To show that the Kraus decomposition $\Phi(\rho)=\sum_{k=1}^D M_k\rho_S M_k^\dagger$ implies the Stinespring form $$\Phi(\rho)=\text{tr}_E[U_{SE}(\rho_S\otimes|0\rangle\langle 0|_E)U_{SE}^\dagger]$$ ...
2
votes
1answer
69 views

Why does $\sum_n \langle n|M_m\rho M_m^\dagger|n\rangle$ simplify to $\langle \psi|M_m^\dagger M_m|\psi\rangle$?

I was trying to derive the formula for $p(m)$ in exercise 8.2 on page 357 in Nielsen & Chuang. But I am wondering what rule I can apply to simplify this $$\mathrm{tr}(\mathcal{E}_m(\rho) )= \...
2
votes
1answer
137 views

Finding Kraus operators from the output density matrix

I have a question regarding Kraus operators. Any quantum channel can be written in terms of Kraus operators as $E(\rho)= \sum_{i=0}^n K_i \rho K_i^{\dagger}$ where $\rho$ is the initial density ...
2
votes
1answer
99 views

Finding the irreducible representation of Kraus operators of a dephasing channel

I would like to understand an example of finding a noiseless subsystem of a quantum channel from the irreducible representation of its Kraus operators. Assume we have $2$ dephasing channels acting on ...
1
vote
2answers
121 views

How do I derive Stinespring and Kraus representations of a map such that $\Lambda(\rho)=|0\rangle\langle0|$ for all $\rho$?

Can't find any info on Stinespring dilation so I thought I could post here. If I have a qubit complete positive map $\Lambda$, that maps all inputs to the output $|0\rangle$, $\Lambda(\rho)=|0\rangle\...
1
vote
1answer
117 views

Choi matrix in QETLAB

I am using QETLAB, a package for working with quantum information theory in Matlab and I have some doubts. I am trying to calculate diamond norms using such for some quantum channels. However, when ...
1
vote
1answer
57 views

Kraus decomposition for non trace preserving operation: shouldn't we have $0 \leq \sum_k E_k^{\dagger} E_k \leq I$

In N&Chuang, on page 368 is written the following theorem: The map $\mathcal{E}$ satisfies axioms A1,A2,A3 if and only if $$\mathcal{E}(\rho)=\sum_k E_k \rho E_k^{\dagger}$$ Where $\sum_k ...