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.

Filter by
Sorted by
Tagged with
2
votes
1answer
33 views

Knill-Laflamme condition derivation in Nielsen&Chuang: issue to understand a part of the proof

I have some trouble to understand the proof in Nielsen&Chuang about Knill-Laflamme conditions. The conditions: Let $C$ be a quantum code and $P$ the projector onto $C$. Suppose $\mathcal{E}$ is a ...
1
vote
2answers
74 views

Show when $a_k$ and $b_k$ are correlated when measuring in different bases, in the BB84 protocol

I'm trying to answer the following question about the BB84 protocol from Nielsen and Chuang's Introduction to Quantum Information. As I understand it, the string $b$ is determining whether we are ...
3
votes
2answers
69 views

In quantum process tomography, how does $\chi$ characterize a quantum process?

I'm working through Nielsen and Chuang and I'm pretty confused by the discussion of quantum process tomography. I'm trying to work through an example of 1-qubit state tomography given by N&C (box ...
2
votes
2answers
35 views

Can we write the density operator as a sum of mixed states?

In every resource I find (like Nielsen and Chuang or online courses), the density operator is defined as follows: we consider a sequence of pure states $\left|\psi_i\right\rangle$ with associated ...
0
votes
2answers
68 views

Exercise 4.6 in Quantum Computing and Quantum Information Nielsen and Chuang

Question 4.6: One reason why the $R_\hat{n}(θ)$ operators are referred to as rotation operators is the following fact, which you are to prove. Suppose a single qubit has a state represented by the ...
2
votes
1answer
33 views

Question about the phase kickback in the phase estimation algorithm

I have an issue with the quantum phase estimation algorithm as explained Nielsen and Chuang. There was a question very similar to mine asked about this 2 years ago, but my question is different... ...
1
vote
0answers
42 views

Question regarding bloch vector solutions for master equation on page 388 of N&C

On page 388 of N&C, you are asked to find the solution to a differential equation for a two-level atom coupled to a vacuum. However, I have no experience with differential equations, so I am ...
0
votes
0answers
45 views

Deutsch-Jozsa - Why $|0^n\rangle$ instead of $|1^n\rangle$?

I'm working through the Nielsen and Chuang book and am trying to understand the Deutsch-Jozsa algorithm. I think I understand it as it's presented, however I'm curious what would happen if we used $|1^...
4
votes
1answer
59 views

Quantum indistinguishability using density operators

There is something that bugs me concerning the use of density matrices. For instance, to argue that quantum teleportation does not spread an information faster than light, Nielsen and Chuang state the ...
3
votes
1answer
94 views

How would I theorise a quantum query algorithm in O(1)?

I am currently attempting to solve a problem from Nielsen-Chuang, and I can't seem to figure out how I would do this; I'm trying to implement Grover's algorithm to solve the problem of differentiating ...
0
votes
1answer
51 views

On what basis can we write a positive operator as $A=\sum_k\lambda_k|k\rangle\langle k|$?

In Nielsen & Chuang's book equation 2.172 says $$A=\sum_{i}|\widetilde{\psi_i}\rangle \langle \widetilde{\psi_i}| = \sum_j |\widetilde{\phi_j}\rangle \langle \widetilde{\phi_j}|.$$ Then it makes ...
2
votes
1answer
46 views

Why is the subscript like this in the equation $\sum_i |\psi_i\rangle \langle\psi_i| = \sum_{ijk} u_{ij} u_{ik}^{*}|\phi_j\rangle \langle\phi_k|$?

In Nielsen's book when proving "Unitary freedom in the ensemble for density matrices"(Theorem 2.6): $$\text{Suppose }|\widetilde{\psi_i}\rangle = \sum\limits_{j}u_{ij} |\widetilde{\phi_j}\...
3
votes
1answer
78 views

How does a general rotation $R_\hat{n}(\theta)$ related to $U_3$ gate?

From eqn. $(4.8)$ in Nielsen and Chuang, a general rotation by $\theta$ about the $\hat n$ axis is given by $$ R_\hat{n}(\theta)\equiv \exp(-i\theta\hat n\cdot\vec\sigma/2) = \cos(\theta/2)I-i\sin(\...
2
votes
1answer
52 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
39 views

How would I compute a density matrix of a complex qubit mixed state?

I am currently reading Nielsen & Chuang, and one of the questions asks to calculate a density matrix with the following mixed state, $$ \frac{1}{9}\begin{bmatrix} 5 & 1 & −i \\ 1 & 2 &...
2
votes
1answer
46 views

How would I compute a density matrix of a 2 qubit mixed state?

I am currently reading Nielsen & Chuang, and one of the questions asks to calculate a density matrix with the following mixed states, how would I do this? $$ |00> \;with \;probability \; 2/4 \\ ...
0
votes
1answer
72 views

Derivation of Equation $8.7$ in Nielsen Chuang [duplicate]

Equation \eqref{eq:sp1} represents the reduced state of the system after tracing over environment.(Page number 358) $$\mathcal{E}(\rho) = \mathrm{tr}_{env}(\lbrack U(\rho \otimes \rho_{env} )U^{\...
2
votes
4answers
59 views

In Bell's inequalities, what is the meaning of assuming that the physical properties $P_Q,P_R,P_S,P_T$ have definite values?

Two assumptions behind Bell inequalities (Page 117 Nielsen Chuang) (1) The assumption that the physical properties $P_{Q}$, $P_{R}$, $P_{S}$, $P_{T}$ have definite values $Q$,$R$, $S$, $T$ which exist ...
4
votes
1answer
57 views

How do we find the stabilizer generators for the three-qubit bit-flip code spanned by $|000\rangle$ and $|111\rangle$?

In Nielsen & Chuang's book "Quantum Computation and Quantum Information" section 10.5.6, page 467 there is the following statement Consider the familiar three-qubit bit-flip code ...
8
votes
2answers
393 views

What's the 'physical consistency' in the partial trace scenario?

I'm reading 'Why the partial trace' section on page 107 in Nielsen and Chuang textbook. Here's part of their explanations that I don't quite understand: Physical consistency requires that any ...
2
votes
0answers
32 views

What are Sideband Pulses

I see sideband pulses used all over the place when looking up implementation techniques especially in Trapped Ion QC. Is there a layman's explanation of what they actually are? I understand what they ...
4
votes
1answer
80 views

What's the difference between $p(i|m)$ and $p(m|i)$ in measurement?

Suppose we perform a measurement described by measurement operators $M_m$. If the initial state is $|{\psi_i}\rangle$, then the probability of getting result $m$ is $$ \begin{align} p(m|i)=\| M_m|\...
6
votes
1answer
186 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
votes
2answers
107 views

Output of Quantum Phase Estimation Algorithm

In section 5.2.1 of Nielsen Chuang, Performance and Requirements, there is an idea, that what happens if we can't prepare eigen state $|u\rangle$ and instead have a state $|\psi\rangle$ which is ...
3
votes
1answer
177 views

Application of QFT to Order-finding

In the Nielsen & Chuang book, section 5.3.1 page 226, there is a statement which goes like this:- (statement-1) The quantum algorithm for order-finding is just the phase estimation algorithm ...
2
votes
1answer
77 views

EPR Experiment: What does it mean for Alice to measure $\vec{v} \cdot \vec{\sigma}$ on her qubit?

I am trying to understand Box 2.7 on page 113 of Quantum Computation and Quantum Information book by Nielsen and Chuang. They start out with following wave function: \begin{equation} \psi = \frac{|01\...
4
votes
0answers
54 views

Complexity of controlled operations in a two-level unitary operation

In Neilsen and Chuang, chapter 4.5.2 (~p.193), why did the authors come to the conclusion that complexity of operations $C^n(X)$ and $C^n(\tilde{U})$ is $O(n)$? Did they assume using work qubits? If ...
1
vote
0answers
50 views

Standard form Shor's code

I'm trying to solve exercise 10.57 in Nielsen-Chuang, where you have to obtain the standard form check matrix of Shor's code. I followed the procedure laid out in the earlier chapter but then realised ...
1
vote
1answer
49 views

How do get from $|0\rangle=\alpha|a\rangle+\beta|b\rangle$, $|1\rangle=\gamma|a\rangle+\delta|b\rangle$ to an expression for $|01\rangle-|10\rangle$?

My question is linked to the Nielsen Chuang book. Particularly equation 2.216 on basis change from $|0\rangle$, $|1\rangle$ to orthonormal $|a\rangle$ and $|b\rangle$. How do we get the equation from ...
5
votes
1answer
127 views

In Nielsen and Chuang, how can $\frac{1}{2(e-1)}$ result from $\frac12\int_{e-1}^{2^{t-1}-1}dl\frac{1}{l^2}$?

From Nielsen and Chuang's book: $\textit{Quantum computation and quantum information}$, how can (5.34) equal (5.33)? I.e. $$\dfrac{1}{2} \int_{e-1}^{2^{t-1}-1} dl \dfrac{1}{l^2} = \dfrac{1}{2(e-1)}.$$...
2
votes
1answer
58 views

In Uhlmann's theorem, should the polar decomposition be written as $A=|A|V$ or $A=V|A|$?

In the proof of Uhlmann's theorem, the book writes the polar decomposition: $A = |A|V$, with $|A| = \sqrt{A^\dagger A}$. Shouldn't it be $V|A|$ instead? The former case is $A^\dagger A = V^\dagger|A||...
2
votes
1answer
82 views

CSS Code and Fault-tolerant Problem in Nielsen and Isaac Chuang‘s book

Could someone help me with $Problem-10.52$ in Nielsen and Isaac Chuang‘s book? The screenshot is shown below. I have no idea about that. Hope someone can give me some suggestions. By the way, if I ...
0
votes
1answer
65 views

Pauli Matrix tolerant and encoding

I'm stumped by these questions in Chuang's book. If I have a state $|ψ\rangle=1/2\sqrt2(1+M_0)(1+M_1)(1+M_2)|0\rangle_7$, where $$M_0=X_0X_4X_5X_6; M_1=X_1X_3X_5X_6; M_2=X_2X_3X_4X_6$$ I rewrite its ...
3
votes
1answer
73 views

Nielsen & Chuang Exercise 6.13: Standard deviation of classical counting algorithm

$\newcommand{\expectation}[1]{\mathop{\mathbb{E}} \left[ #1 \right] } \newcommand{\Var}{\mathrm{Var}}$ From Nielsen & Chuang 10th edition page 261: Consider a classical algorithm for the counting ...
2
votes
1answer
78 views

von Neumann entropy in a limiting case

I am stuck with a question from the book Quantum theory by Asher Peres. Excercise (9.11): Three different preparation procedures of a spin 1/2 particle are represented by the vectors $\begin{pmatrix} ...
5
votes
3answers
349 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 ...
2
votes
1answer
87 views

Does composition of two single qubit rotations yield a single rotation around a unit vector?

$ \newcommand{\coefcos}[0]{c_1 c_2 - s_1 s_2 \hat{n}_1 \cdot \hat{n}_2} \newcommand{\coefsin}[0]{s_1 c_2 \hat{n}_1 + c_1 s_2 \hat{n}_2 - s_1 s_2 \hat{n}_2 \times \hat{n}_1}$This question relates to ...
3
votes
1answer
64 views

Show that for any measurement operator $M_m$ there exists unitary $U_m$ such that $M_m=U_m\sqrt{E_m}$ with $E_m$ POVM

Exercise 2.63 of Nielsen & Chuang asks one to show that if a measurement is described by measurement operators $M_m$, there exists unitary $U_m$ such that $M_m = U_m \sqrt{E_m}$ where $E_m$ are ...
0
votes
1answer
35 views

Where do errors occur during error syndrome and recovery?

I'm studying quantum error correction on Nielsen's Quantum Computation and Quantum Information, but I don't understand how it identifies the number of places where an error may occur. It uses ...
1
vote
0answers
43 views

Deformation of the Bloch sphere and contraction of its planes under the action of channels

On pg 376-377 of N&C, it gives 3 different diagrams showing how the various axis of the Bloch sphere will be contracted under the action of the channels, limiting the possible states after it's ...
3
votes
1answer
156 views

Nielsen & Chuang Exercise 2.55: Prove that $\exp \left[ -\frac{iH(t_2 - t_1)}{\hbar} \right]$ is unitary

$\newcommand{\expterm}[0]{\frac{-iH(t_2 - t_1)}{\hbar}} \newcommand{\exptermp}[0]{\frac{iH(t_2 - t_1)}{\hbar}}$Nielsen & Chuang (10th edition, page 82) states that $H$ is a fixed Hermitian ...
5
votes
1answer
235 views

Is there any 'official' list of errata for Nielsen & Chuang?

The book Quantum Computing and Quantum Information by Nielsen and Chuang is a well-known and celebrated text book that can act as a resource in a wide variety of topics. Of course, in such a vast ...
1
vote
1answer
95 views

Nielsen & Chuang Exercise 2.32: Show that the tensor product of two projectors is a projector

$\newcommand{\bra}[1]{\left<#1\right|} \newcommand{\ket}[1]{\left|#1\right>}$Here is what I tried: Given that we have two projectors: $$ A = \sum_i \ket{i} \bra{i}, \hspace{2em} B = \sum_j \ket{...
2
votes
1answer
78 views

Nielsen & Chuang Theorem 2.6 Proof

I got a problem in understanding the proof of the Theorem 2.6 (Unitary freedom in the ensenble for density matrices), 2.168 and 2.169 in the Nielsen and Chuang book Equation 2.168 Suppose $|{\tilde\...
3
votes
1answer
84 views

Deriving $\left( A | v \rangle \right)^\dagger = \langle v | A^\dagger$ without using $A^\dagger=\left(A^* \right)^T$

From Nielsen & Chuang (10th edition), page 69: Suppose $A$ is any linear operator on a Hilbert space, $V$. It turns out that there exists a unique linear operator $A^\dagger$ on $V$ such that for ...
1
vote
1answer
58 views

Proof of quantum data processing inequality in N&C on pg 566

On page 566, it states that using $S(\rho^{'})-S(\rho,\varepsilon) \ge S(\rho)$ and combining this with $S(\rho) \ge S(\rho^{'})-S(\rho,\varepsilon))$, we get $S(\rho^{'})=S(\rho)-S(\rho,\varepsilon)$....
1
vote
1answer
53 views

Confused regarding explanation of Schumachers compression in N&C

On page 547 of N&C, for $|\psi_{0}\rangle=|0\rangle$ and $|\psi_{1}\rangle=(|0\rangle+|1\rangle)/\sqrt{2}$ and for $|\tilde{0}\rangle=\cos(\pi/8)|0\rangle+\sin(\pi/8)|1\rangle$ and $|\tilde{1}\...
-1
votes
2answers
117 views

Nielsen and Chuang: Demonstration of equation 2.12 [duplicate]

Reproduced from Nielsen & Chuang's Quantum Computation and Quantum Information (10th Anniversary Edition) in page 64: We've seen that matrices can be regarded as linear operators. [...] Suppose $...
0
votes
1answer
43 views

Question regarding part of the proof for the typical subspace theorem

Part three (going by N&C page 544) states that $$tr(S(n)\rho^{\otimes n})=tr(S(n)\rho^{\otimes n}P(n,\epsilon))+tr(S(n)\rho^{\otimes n}(I-P(n,\epsilon))).$$ Now I understand how the term on the ...
0
votes
2answers
172 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 ...