Questions tagged [textbook-and-exercises]
Applies to questions of primarily educational value - styled in the format similar to that found in textbook exercises. This tag should be applied to questions that are (1) stated in the form of an exercise and (2) at the level of basic quantum information textbooks.
675
questions
0
votes
1
answer
23
views
Quantum Cryptography without Bell's Theorem -- Brassard - Bennett - Mermin
It is an old paper but I'm trying to understand one of their argument. They say that if
$$U|u\rangle |a\rangle = |u\rangle |a^\prime\rangle \ \ \ \mathrm{and} \ \ \ U|v\rangle |a\rangle = |v\rangle |a^...
3
votes
1
answer
330
views
Wong's "Introduction to Classical and Quantum Computing" Exercise 7.23
I am currently working my way through "Introduction to Classical and Quantum Computing" by Thomas Wong. I am trying to solve the following problem:
Exercise 7.23. Answer the following ...
1
vote
3
answers
59
views
Intro book on classical and quantum computing by Thomas G Wong
Looking at his book, and am obviously new to studying this. Could someone help explain to me how the truth table is valid here?
To my understanding, when $C=0$, the circuit behaves like a reversible ...
2
votes
1
answer
163
views
Wong's "Introduction to Classical and Quantum Computing" Exercise 7.20
I am currently working my way through "Introduction to Classical and Quantum Computing" by Thomas Wong. I am trying to solve the following problem on Simon's Algorithm:
Exercise 7.20. You ...
0
votes
0
answers
57
views
How I can preform a unitary operation on the third qubit of the GHZ state [closed]
So I create the GHZ state already as the photo below
$$
|\Delta\rangle=\frac1{\sqrt2}(|000\rangle+|111\rangle)
$$
and also I preform a CNOT on the first qubit (as the target qubit), and the second ...
1
vote
2
answers
157
views
If eigenvalues of two matrices are equal then the matrices are equal?
Suppose $k_i$ and $f_i$ are eigenvalues of two density matrices A and B,
If $k_i=f_i$ then A=B?
If the answer is no, under which conditions the statement holds?
2
votes
2
answers
84
views
Show that transformation $U_f: \left| x, y \right\rangle \to \left| x, y \oplus f(x) \right\rangle$ is unitary [duplicate]
I am reading Quantum Computation and Quantum Information by Chuang and Nielsen and they claim that it is easy to show that transformation $U_f: \left| x, y \right\rangle \to \left| x, y \oplus f(x) \...
-1
votes
1
answer
106
views
Hong Ou Mandel interference and bell basis measurment
It is well known that using Hong Ou Mandel interference in polarization one can only detect 2 out of the 4 bell states($|\psi^+\rangle$ and $|\psi^-\rangle$ can be detected but $|\phi^+\rangle$ and $|\...
0
votes
0
answers
34
views
How to represent a general 3-qubit state as a symmetric ZX-diagram with 14 parameters?
A general pure 1-qubit state can be written as a ZX-diagram like this:
Correspondingly, for a general pure 2-qubit state:
How can a general pure 3-qubit state be written as a ZX-diagram?
Two things ...
1
vote
1
answer
67
views
Clarification about the Alberti's Theorem proof given by Watrous in his condensed lecture notes
In the John Watrous condensed TQI lecture notes, an alternative proof of the Alberti's Theorem is given. He use an auxiliary lemma that states;
Lemma 4.9. Let $P \in Pos(X)$. It holds that $${inf}_{R\...
5
votes
2
answers
403
views
Represent Hadamard gate in terms of rotations and reflections in Bloch sphere
I read in a book that any single qubit operation can be decomposed as
$$
\bf{U} =e^{i\gamma}\begin{pmatrix}e^{-i\phi/2}&0\\ 0&e^{i\phi/2}\end{pmatrix}\begin{pmatrix}\cos{\theta/2}&-\sin{\...
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 ...
4
votes
2
answers
82
views
Why do minimal ensemble decompositions for $\rho$ contain $|\psi⟩\in{\rm supp}(\rho)$ with probability $1/\langle\psi|\rho^{-1}|\psi⟩?$
I came across the following exercise (2.73) in Nielsen & Chuang and am trying to understand it intuitively.
Here is my reasoning of what is going on:
The purpose of this exercise:
Let’s say we are ...
1
vote
2
answers
56
views
What is meant with "different ensembles can give rise to the same density matrix?"
I am reading the Nielsen & Chuang section on density matrices and I don't understand the example given to demonstrate a concept. Here is what I am reading:
First, they said these two different ...
1
vote
1
answer
53
views
Finding the effect of conjugate transpose on a state $|b\rangle$
Say that I have a unitary gate $U$ such that $U|b\rangle=|b+1$ mod $N\rangle$. How would I go about finding $U^\dagger|b\rangle$?
2
votes
1
answer
73
views
What's the Schmidt decomposition of $|\psi\rangle = 1/ \sqrt{3}( |0\rangle| 0\rangle + |0\rangle |1\rangle + |1\rangle |1\rangle)$?
$|\psi\rangle = 1/ \sqrt{3}( |0\rangle| 0\rangle + |0\rangle |1\rangle + |1\rangle |1\rangle) $
I absolutely cannot figure out the Schmidt decomposition of this state. I have looked at a ton of ...
1
vote
2
answers
59
views
In the QECC condition $\langle\psi|E_a^\dagger E_b|\phi\rangle=C_{ab}\langle\psi|\phi\rangle$, what is $C_{ab}$?
In this book, Theorem 2.7 has the QECC conditions. I attach a snippet here
Theorem 2.7 (QECC Conditions). $(Q, \mathcal{E})$ is a $Q E C C$ iff $\forall|\psi\rangle,|\phi\rangle \in Q, \forall E_a, ...
0
votes
0
answers
119
views
An Introduction to Quantum Computing Exercise 7.1.6
This question is from An Introduction to Quantum Computing Kaye et al. I'm having a difficult time coming up with a solution for this question. It is in relation to period finding however I cannot ...
0
votes
1
answer
28
views
Can any separable $\rho=\sum_i p_i\sigma_i\otimes\tau_i$ be written as $\rho=(I\otimes T)(\sum_ip_i\sigma_i\otimes|i⟩\!⟨i|)$ for some channel $T$?
I am struggling with the following exercise, and was wondering if anybody had any good tips on how to attack the problem/where to begin:
Given a separable quantum state
$$\rho_{AB'}=\sum_{i=1}^{k}p_{i}...
3
votes
1
answer
56
views
How large does the isometry in Naimark's theorem need to be for a 3-outcome POVM?
I am interested in the POVM example Nielsen and Chuang give in the discussion about indistinguishability. They define the POVM
$E_1 = \frac{\sqrt{2}}{1+\sqrt{2}} |1\rangle \langle 1|$,
$E_2 = \frac{\...
1
vote
0
answers
65
views
How to express a traceless matrix in Pauli basis
This question is probably too obvious, so sorry beforehand.
We know that the generalized Pauli elements $P\in \mathcal{P}_d \setminus {\mathrm{Id}_d}$ in Sylvesters representation, hence not Hermitian,...
2
votes
2
answers
161
views
Exercise 11.7 in Nielsen & Chuang and basic properties of Shannon entropy
I apologize in advance if this question is trivial, I'm aware I'm a total beginner in this field. This is the exercise I would like to solve:
As to the first point, what I get is that one should ...
4
votes
1
answer
68
views
Bound on success Probability for Regev's factoring algorithm
Theorem 4.1 in Regev's paper talks about a theorem due to Pomerance as follows:
Theorem 4.1: Suppose G is a finite abelian group with minimal number of generators $r$. Then, when choosing elements ...
1
vote
1
answer
45
views
Why can't the eigenvalues of a unitary matrix have the form $e^{i\theta}$?
The textbook says that since $U$ is a unitary matrix, its eigenvalue should be of the form $e^{2 \pi i \theta}$. The thing I don't understand is why it's not $e^{i \theta}$ because it also lies on the ...
1
vote
1
answer
68
views
Can any isometry $V$ be written as $U(I\otimes |\psi\rangle)=V$ for some unitary $U$ and vector $|\psi\rangle$?
I have the following exercise:
Let $V : H_A → H_A ⊗ H_E$ denote an isometry and $|ψ_E⟩ ∈ H_E$ a normalized
vector. Show that there exists a unitary $U : H_A ⊗ H_E → H_A ⊗ H_E$ such
that
$$U(1_{H_A} ⊗ |...
0
votes
2
answers
115
views
An Introduction to Quantum Computing - Exercise 6.4.1
The Exercise 6.4.1 from Kaye et al. is as follows
Prove that $$\bigg({|0\rangle +(-1)^{x_1}|1\rangle
\over\sqrt{2}}\bigg)\cdot\bigg({|0\rangle +(-1)^{x_2}|1\rangle
\over\sqrt{2}}\bigg)\cdots\...
0
votes
2
answers
73
views
Help finding mistake when modifying $T$ injection protocols
I am a little confused about where I am going wrong when computing the action of the following circuit:
My understanding is that the CNOT gate acts on the second qubit as a control and the first ...
1
vote
0
answers
68
views
How does Chernoff's bound help to solve Exercise 6.4.2 in Kaye et al.'s textbook? [duplicate]
I was wondering if anyone could help me with this question, I'm kind of new to quantum computing in general. I understand the Deutsch Josza Algorithm, but I'm not really sure where to even begin with ...
2
votes
3
answers
157
views
Is $|A\rangle = \frac{1}{\sqrt2} |00\rangle + \frac{1}{\sqrt2} |01\rangle$ a valid quantum state?
Is $|A\rangle = \frac{1}{\sqrt2} |00\rangle + \frac{1}{\sqrt2} |01\rangle$ a valid quantum state? Or does a quantum state need to be a superposition of the entire basis, i.e.,
$$ |A\rangle = \frac{1}{...
-1
votes
1
answer
154
views
How to calculate a density matrix of a given circuit?
I want to find the density matrix of the following quantum circuit, is it correct:
[[0.12499999+0.j 0.12499999+0.j 0.12499999+0.j 0.12499999+0.j
0.12499999+0.j 0.12499999+0.j 0.12499999+0.j 0....