All Questions
Tagged with textbook-and-exercises kraus-representation
28
questions
0
votes
1
answer
56
views
How does measuring a density matrix give Kraus operators?
I am trying to complete this exercise regarding noisy channels. I need to measure a density matrix to get the Kraus operators. However, if I measure, I only get scalars. Can someone please explain how ...
1
vote
1
answer
334
views
Can a unital channel not be mixed unitary?
How to prove that for a multi-qubit system a unital channel is not necessarily mixed unitary? This is Problem 8.3 in Nielsen and Chuang. Here's a snippet of the text:
Shall I need to take two ...
3
votes
1
answer
132
views
How to extract probabilities from Kraus representation?
Consider a quantum operation described by Kraus operators $K_1, ..., K_n$. As I understand the effect of this operation on a density matrix $\rho$ can be described as $ \mathcal{E}(\rho)= \sum_{i}p(i)\...
2
votes
1
answer
116
views
What is the meaning of $\langle e_k|U|e_0\rangle$ when $U$ acts on a larger Hilbert space than that in which $|e_0\rangle$ and $|e_k\rangle$ live?
In Nielsen and Chuang, 10th Anniversary Edition, there is a definition of the operator sum representation of a quantum operation: $\mathcal{E}(\rho)=\sum_{k}\langle e_k|U[\rho\otimes|e_0\rangle\langle ...
1
vote
2
answers
251
views
Why is dual-rail encoding called an error-detecting code for amplitude damping?
Exercise 8.23 : Suppose that a single qubit state is represented by using two qubits, as $|\psi\rangle=a|01\rangle+b|10\rangle$. Show that $\mathcal{E}_{AD}\otimes\mathcal{E}_{AD}$ applied to this ...
4
votes
1
answer
343
views
Show that $E_k=(I\otimes\langle e_k|)U(I\otimes|e_0\rangle)$ implies $U=\begin{bmatrix}[E_1]&\cdots\\ [E_2]&\cdots\\\vdots&\ddots\end{bmatrix}$
In Page 365, Operator-sum representation, Chapter 8, Quantum Computation and Quantum Information by Nielsen and Chuang, it is given that
Given a trace-preserving quantum operation expressed in the ...
1
vote
1
answer
136
views
Show the linearity of $(\langle a_m|\otimes I_B\otimes I_C\otimes \langle d_q|) U(I_{A}\otimes I_B\otimes |0_{C}\rangle\otimes |0_{D}\rangle)$
Suppose a composite system $AB$ initially in an unknown quantum state $\rho$ is brought into contact with a composite system $CD$ initially in some standard state $|0\rangle$, and the two systems ...
2
votes
2
answers
245
views
Find an operator-sum representation for a depolarizing channel acting on 2qubit [duplicate]
In Nielsen and Chuang (page:379), it shows how to represent a 1 qubit depolarizing channel in operator-sum representation.
$$
\mathcal{E}_1(\rho)=pI/2+(1-p)\rho
=(1-3p/4)\rho+p/4(X\rho X+Y\...
0
votes
1
answer
405
views
How to write the Kraus representation for many-qubit states?
The most general formula of Kraus operator on density matrix is:
$$\rho\to \sum_k A_k^\dagger\rho A_k.$$
If I want to write this equation for one qubit, the most general way will be:
$\rho_f = (a^*I+b^...
3
votes
1
answer
410
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, ...
8
votes
3
answers
1k
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}
$$...
4
votes
1
answer
431
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 ...
5
votes
1
answer
222
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].
$$...
3
votes
3
answers
556
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
1
answer
126
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) )= \...