Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

1
vote
1answer
35 views

Construction of Phase Shift Operation used in Quantum Search

In Chapter 6 of "Quantum Computation and Quantum Information" Textbook by Nielsen and Chuang, Box 6.1 gives a circuit example of Quantum Search Algorithm done on a two-bit sized search space. The ...
7
votes
2answers
80 views

Quantum channel representation of projective measurement

Let $P$ be a projector and $Q = I-P$ be its complement. How to find probability $p$ and unitaries $U_1, U_2$ such that for any $\rho$, $P\rho P + Q\rho Q = p U_1\rho U_1^\dagger + (1-p)U_2\rho U_2^\...
5
votes
1answer
30 views

Error syndromes and recovery procedure in bit flip code

This question relates to exercise 10.4 in Nielsen and Chuang. For syndrome diagnosis, the textbook provides an example where one has four projectors, by which, you can identify where a one qubit ...
2
votes
1answer
55 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)| $$ ...
5
votes
1answer
119 views

Nielsen and Chuang's proof for 'approximating arbitrary unitary gates is generically hard'

The following statement is found on the page 199 of Nielsen and Chuang's book (10th Anniversary Edition) in the proof for the fact that 'approximating arbitrary unitary gates is generically hard': ...
2
votes
1answer
53 views

Method to find $r$ in the case when $r'$ returned by the continued fractions procedure is a factor of $r$

In the Quantum Computation and Quantum Information (10th ed.) textbook by Nielsen and Chuang, section 5.3.1 (titled "Application: order-finding") describes how phase estimation can be used to find the ...
3
votes
2answers
48 views

Proof of joint entropy theorem

From section 11.3.2 of Nielsen & Chuang: (4) let $\lambda_i^j$ and $\left|e_i^j\right>$ be the eigenvalues and corresponding eigenvectors of $\rho_i$. Observe that $p_i\lambda_i^j$ and $\...
0
votes
1answer
74 views

Grover's algorithm and RSA from Nielsen

Nilsen states that one can define a function for the oracle in the Grover algorithm, which is constructed as follows. So there is a number $m$ that consists of $p$ and $q$ (both primes) $m = pq$. Now ...
2
votes
1answer
54 views

Eigenstate of unitary operator used for Order-Finding

In the "Quantum Computation and Quantum Information 10th Anniversary textbook by Nielsen and Chuang", chapter 5.3.1 introduces the concept of solving the Order-Finding Problem. (Eqn 5.36) states ...
3
votes
0answers
66 views

Quantum addressing scheme

Nielsen explains how a search algorithm can access a classic database. I have a few questions. I hope you can help me a bit :) I work with a few quotes from the book. The principle of operation is ...
3
votes
2answers
84 views

In what sense do repeated applications of Grover's operator rotate the state closer to the target?

I'm studying the quantum search algorithm on this book: M.A. Nielsen, I.L. Chuang, "Quantum Computation and Quantum Information", Cambridge Univ. Press (2000) [~p. 252]. To sum up we have a state: $...
5
votes
1answer
137 views

Proof of the optimality of Grover's algorithm

I am currently working on the proof of Grover's algorithm, which states that the runtime is optimal. In Nielsen they say, the idea is to check whether $D_k$ is restricted and does not grow faster ...
2
votes
0answers
45 views

N&C quantum circuit for Grover's algorithm

In the chapter about the Grover algorithm, it is suggested that the gate which executes the phase shift is given in the following form: Now I have looked at this gate in detail and come to the ...
5
votes
1answer
93 views

Phase estimation algorithm: probability bound of obtaining $m$

Note: Cross-posted on Physics SE. Hi, I'm studying the quantum phase estimation algorithm from this book: M.A. Nielsen, I.L. Chuang, "Quantum Computation and Quantum Information", Cambridge Univ. ...
2
votes
1answer
110 views

Clarification needed for the N&C proof that BQP ⊆ PSPACE

In QCQI by Chuang and Nielsen (page 201), they prove that $\mathsf{BQP} \subseteq \mathsf{PSPACE}$. I can't understand what they say. They write "Supposing the quantum circuit starts in the state $...
1
vote
2answers
92 views

Why isn't the circuit performing a measurement in the Bell basis?

Nielsen and Chuang (on page 188 exercise 4.33) says that the circuit including CNOT and Hadamard is performing a measurement in the Bell basis. But I can't see how. The matrix representing the ...
2
votes
1answer
89 views

If CNOTs and single qubit gates are universal then why do we need to prove that controlled U operations can be composed by them as well?

In the book by Chuang and Nielsen they prove that controlled U operations can be made out of CNOTs and single qubit gates. But then they go on to prove that they are universal by showing that every n ...
10
votes
2answers
161 views

Simulate hamiltonian evolution

I'm trying to figure out how to simulate the evolution of qubits under the interaction of Hamiltonians with terms written as a tensor product of Pauli matrices in a quantum computer. I have found the ...
0
votes
1answer
91 views

Why does $|P_U − P_V |$ equal $\langle \psi |U^{\dagger} M U|\psi\rangle −\langle \psi |V^{\dagger} M V |\psi\rangle$?

In QC and QI by Chuang and Nielsen, they state that the $P_U$ of operation $U$ acting on $\psi$ can be reached by $\langle \psi |U^{\dagger} M U |\psi\rangle$. Where $P_U$ (or $P_V$) is the ...
2
votes
0answers
32 views

Nielsen & Chuang Exercise 2.2 - Matrix representations in different input and output basis [duplicate]

This is a question in the Nielsen and Chuang textbook (Exercise 2.2). Suppose $V$ is a vector space with basis $|0\rangle$ and $|1\rangle$ and $A$ is a linear operator from $V \to V$ such that $...
1
vote
1answer
99 views

Measurement of a qubit and storage of the information on a bit

Suppose we have the quantum circuit below with a quantum register of 2 qubits and a classical register of 2 bits. The Hadamard gates and CNOT gate are not important for the question. When we measure a ...
3
votes
0answers
46 views

What do you specify when you physically apply a unitary?

In the Environment and Quantum Operations in Nielsen and Chuang, section 8.2.2, they say that when you apply a unitary on a state, you expect the output as the just the state transformed by the ...
2
votes
2answers
61 views

Phase shifter acting on double rail states

In Nielsen and Chuang, it is stated that the photonic phase shift gate acts on the single photon states as $P|0\rangle \ = \ |0\rangle$ and $P|1\rangle \ = \ e^{i\Delta}|1\rangle$, where $\Delta \ = \ ...
1
vote
1answer
127 views

FANOUT with Toffoli Gate

Figure 1.16: FANOUT with the Toffoli gate, with the second bit being the input to the FANOUT (and the other two bits standard ancilla states), and the output from the FANOUT appearing on the second ...
-1
votes
1answer
67 views

Default input states of qubits to quantum circuits [closed]

It is conventional to assume that the state input to the circuit is a computational basis state, usually the state consisting of all $|0\rangle$s. This rule is broken frequently in the literature ...
6
votes
2answers
360 views

Partial trace over a product of matrices - one factor is in tensor product form

$$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 ...
2
votes
1answer
110 views

Partial Trace over a complicated looking state

In the Quantum Operations section in Nielsen and Chuang, (page 358 in the 2002 edition), they have the following equation: $$\varepsilon(\rho) = tr_{env} [U(\rho \otimes \rho_{env})U^\dagger]$$ They ...
4
votes
1answer
136 views

Construction of ${R_n(\theta)}$ using only the Hadamard and ${\pi/8}$ gates

In the "Quantum Computation and Quantum Information 10th Anniversary textbook by Nielsen & Chuang", they claim that Eqn(4.75) is a rotation about the axis along the direction ( ${cos(\pi/8)}$, ${...
6
votes
1answer
143 views

How can we be sure that for every $A$, $A^\dagger A$ has a positive square root?

In the Polar Decomposition section in Nielsen and Chuang (page 78 in the 2002 edition), there is a claim that any matrix $A$ will have a decomposition $UJ$ where $J$ is positive and is equal to $\sqrt{...
5
votes
3answers
258 views

Intuitive role of the polar decomposition in proof of Uhlmann's theorem for fidelity

I have read the Wikipedia article which relates the polar decomposition to a complex number being split into its modulus and phase but this analogy isn't very intuitive to me. In Nielsen and Chuang, ...
13
votes
3answers
224 views

Connection between stabilizer generators and parity check matrices in the Steane code

I'm working through Mike and Ike (Nielsen and Chuang) for self-study, and I'm reading about stabilizer codes in Chapter 10. I'm an electrical engineer with somewhat of a background in classical ...
3
votes
0answers
120 views

Nielsen & Chuang Exercise 2.5 - Inner products of complex vectors [closed]

Reproduced from Exercise 2.5 of Nielsen & Chuang’s Quantum Computation and Quantum Information (10th Anniversary Edition): A function $(\cdot, \cdot)$ from $V × V$ to $C$ is an inner product if ...
2
votes
1answer
146 views

Nielsen & Chuang Exercise 2.4 - “Matrix representation for identity” [closed]

Reproduced from Exercise 2.4 of Nielsen & Chuang's Quantum Computation and Quantum Information (10th Anniversary Edition): Show that the identity operator on a vector space $V$ has a matrix ...
3
votes
1answer
222 views

Nielsen & Chuang Exercise 2.3 - “Matrix representation for operator products” [closed]

Reproduced from Exercise 2.3 of Nielsen & Chuang's Quantum Computation and Quantum Information (10th Anniversary Edition): Suppose $A$ is a linear operator from vector space $V$ to vector space ...
3
votes
1answer
383 views

Nielsen & Chuang Exercise 2.2 - “Matrix representations: example” [closed]

Reproduced from Exercise 2.2 of Nielsen & Chuang's Quantum Computation and Quantum Information (10th Anniversary Edition): Suppose $V$ is a vector space with basis vectors $|0\rangle$ and $|1\...
5
votes
1answer
364 views

Nielsen & Chuang Exercise 2.1 - “Linear dependence: example” [closed]

Reproduced from Exercise 2.1 of Nielsen & Chuang's Quantum Computation and Quantum Information (10th Anniversary Edition): Show that $(1, −1)$, $(1, 2)$ and $(2, 1)$ are linearly dependent. ...
11
votes
3answers
839 views

What is the difference between “code space”, “code word” and “stabilizer code”?

I keep reading (e.g. Nielsen and Chuang, 2010; pg. 456 and 465) the following three phases; "code space", "code word" and "stabilizer code" - but am having a difficult time finding definitions of them ...