# Questions tagged [nielsen-and-chuang]

For questions about exercises or passages from the popular quantum computing textbook *Quantum Computation and Quantum Information* by Michael Nielsen and Isaac Chuang.

63 questions
Filter by
Sorted by
Tagged with
871 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]$$...
• 1,631
3k views

### How to perform quantum state tomography on two qubits?

I would like to do a quantum tomography on two qubit states. Recently, I successfully did so for one qubit based on Nielsen-Chuang. They advise to use this formula for one qubit density operator ...
• 14.6k
4k 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 ...
• 3,085
1k views

### How to perform Quantum Process Tomography for three qubit gates?

I am trying to perform Quantum process tomography (QPT) on three qubit quantum gate. But I cannot find any relevant resource to follow and peform the experiment. I have checked Nielsen and Chuang's ...
3k views

### Partial trace over a product of matrices - prove that ${\rm Tr}(\rho^{AB}(\sigma^A\otimes I))={\rm Tr}(\rho^A\sigma^A)$

$$Tr(\rho^{AB} (\sigma^A \otimes I/d)) = Tr(\rho^A \sigma^A)$$ I came across the above, but I'm not sure how it's true. I figured they first partial traced out the B subsystem, and then trace A, but ...
• 1,631
2k views

• 603
641 views

• 165
205 views

### How to show $T(\rho,\sigma)≥\sum_i|r_i − s_i|$ with $r_i,s_i$ eigenvalues of $\rho,\sigma$?

The proof of the Fannes' inequality replies on the formula $T(ρ, σ)≥\sum_i|r_i − s_i|$, where $r_i,s_i$ are the eigenvalues of $\rho,\sigma$, in the descending order. In the proof given in Box 11.2, ...
• 831
830 views

### How to find the matrix representation of an operator from its action on a basis?

First, I apologize if something is poorly written but English is not my first language. I know that these exercises have been solved in this question. But I do not agree. Inner product and concrete ...
762 views

### Correct Formulation of N&C Exercise 4.11 and other textbooks misquoting

Inspired by the comments in this question How to approximate $Rx$, $Ry$ and $Rz$ gates?, there is the errata for question 4.11 pg 176 in N&C. The original form states that for any non parallel $m$ ...
• 969
1k views

### Partial Cyclic Permutation with only Toffoli and CNOT gates?

I have been trying to solve this puzzle of constructing this transformation from CNOT and Toffoli gates as mentioned in NC page 193 (Ex 4.27) Here is what I have done: First observation is it has 8 ...
• 975
471 views

### Question Regarding Quantum Period-Finding Fourier Transform Approximation

I am following the 5.4.1 Period-Finding Algorithm in Nielsen and Chuang as shown below: My confusion lies with the second expression of point 3 in the procedure. Why is the second expression an ...
• 529
189 views

### Given $n-k$ stabiliser generators, how can we find an additional $k$ commuting generators?

I am trying to understand "Stabilizer codes construction" in Nielsen & Chuang (page 465). Below, we're working in a Hilbert space of dimension $2^n$, and $G_n$ is the $n$-qubit Pauli group. A ...
• 1,766
2k views

### Nielsen&Chuang 5-qubit quantum error-correction encoding gate

$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$ In ...
• 668
262 views

### What does $M_m |\psi_i\rangle$ mean in the equation $p(m|i)=\langle\psi_i|M_m^\dagger M_m|\psi_i\rangle$?

I have trouble understanding two equations in the Nielsen & Chuang textbook. Suppose we perform a measurement described by the operator $M_m$. If the initial state is $|\psi_i\rangle$, then the ...
• 2,398
1k views

969 views

### No-cloning theorem and distinguishing between two non-orthogonal quantum states revisited

There are a couple of posts on this question, but I think they are not satisfactory. The question is Nielsen and Chuang's QCQI, Exercise 1.2, page 57, which asks "Explain how a device which, upon ...
• 701
341 views

### Why does the $\chi$ matrix have $d^4-d^2$ independent parameters?

In the section on Quantum process tomography, Page 391, Chapter 8, Quantum Computation and Quantum Information by Nielsen and Chuang. it is given that In general, $\chi$ will contain $d^4−d^2$ ...
• 831
342 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 ...
• 831
328 views

### Proving the inequality $|\mathrm{tr}(AU)|\le \mathrm{tr}|A|$ in Uhlmann's theorem

In Nielsen and Chuang, in the Fidelity section, (Lemma 9.5, page 410 in the 2002 edition), they prove the following. $$\mathrm{tr}(AU) = |\mathrm{tr}(|A|VU)| = |\mathrm{tr}(|A|^{1/2}|A|^{1/2}VU)|$$ ...
• 1,631
299 views

• 159
547 views

### Find the Kraus operators of the amplitude damping channel, partial tracing after evolution through a beamsplitter

To find operation elements for the Amplitude Damping channel, Nielsen and Chuang (in Section 8.3.5 of my copy) use the action of a beamsplitter on an initial state $\alpha |0\rangle + \beta |1\rangle$...
• 159