# Questions tagged [mathematics]

Use this tag for questions about mathematics relevant to quantum computing and/or quantum information theory. DO NOT use this tag for general mathematics questions.

101 questions
Filter by
Sorted by
Tagged with
18 views

### Finding a global phase that transform the Hadamard gate to an element of $SU(2)$ and propose an evoultion operator which implents the operation

I was looking back over an old assignment and I came across a question I wasn't quite sure how to do the problem statement is as follows: The Hadamard rotation is an element of the group $U(2)$. (i)...
104 views

78 views

### Angular Error associated with Quantum Search Algorithm

Chapter 6.3 of "Quantum Computation and Quantum Information 10th Anniversary Edition" textbook by Nielsen and Chuang talks about using the Quantum Counting Algorithm to find the number of solutions to ...
80 views

### What is the HOG test and how would it help proving quantum supremacy?

Proposed experiments in achieving quantum supremacy, such as with BosonSampling or using random circuits, have been described as using a (not necessarily Turing complete) quantum computer to perform ...
20 views

72 views

### Homeomorphism or stereographic projection corresponding to the set of mixed states within the Bloch sphere

The Bloch sphere is homeomorphic to the Riemann sphere, and there exists a stereographic projection $\Bbb S^2\to \Bbb C_\infty$. But this only holds for pure states. To quote Wikipedia: Quantum ...
82 views

### Purity of mixed states as a function of radial distance from origin of Bloch ball

@AHusain mentions here that the purity of a qubit state can be expressed as a function of the radius from the center of a Bloch sphere. The state corresponding to the origin is maximally mixed whereas ...
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 ...
112 views

59 views

### Writing the transformation matrix for the following in terms of Kronecker products of elementary 2-qubit gates

I have a set of transformations that transforms $|11001\rangle\to |10101\rangle$ which is basically keeping the leftmost qubit as it is and then it is just the CNOT between the successive qubits, I ...
469 views

### Automatic compilation of quantum circuits

A recent question here asked how to compile the 4-qubit gate CCCZ (controlled-controlled-controlled-Z) into simple 1-qubit and 2-qubit gates, and the only answer given so far requires 63 gates! The ...
199 views

### Square root of CNOT and spectral decomposition of the Hadamard gate

I'm trying to compute the spectral decomposition of the Hadamard gate but I'm making a mistake somewhere. Note: I believe (though I may be wrong so correct me if I am) that spectral decomposition is ...
77 views

### Encoding bosonic degrees of freedom

A well-known way of encoding $N$ levels of a harmonic (bosonic) oscillator is as follows: \begin{equation} |n\rangle = |1\rangle^{\otimes n} \otimes |0\rangle^{\otimes N-n+1} \quad,\qquad ...
469 views

### How to show a density matrix is in a pure/mixed state?

Say we have a single qubit with some density matrix, for example lets say we have the density matrix $\rho=\begin{pmatrix}3/4&1/2\\1/2&1/2\end{pmatrix}$. I would like to know what is the ...
55 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 ...
55 views

89 views

188 views

### How to understand the operators for watermarking schemes?

Note: Cross-posted on Physics SE. I am reading a research article based on quantum image watermarking (PDF here). The authors have defined some unitary transforms for the watermarking schemes, which ...
79 views

### Reason for evaluating $a^x \bmod N$ from $x = 0$ to $N^2$

As per the Shor's algorithm, we need to evaluate $a^x \bmod N$ from $x = 0$ to $N^2$. What is the reason for this? Why can't we just evaluate for $N$, $2N$ or something like that?
240 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 ...
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 ...