# 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
8k views

### How to derive the CNOT matrix for a 3-qubit system where the control & target qubits are not adjacent?

In a three-qubit system, it's easy to derive the CNOT operator when the control & target qubits are adjacent in significance - you just tensor the 2-bit CNOT operator with the identity matrix in ...
7k views

### Can arbitrary matrices be decomposed using the Pauli basis? [duplicate]

Is it possible to decompose a hermitian and unitrary matrix $A$ into the sum of the Pauli matrix Kronecker products? For example, I have a matrix 16x16 and want it to be decomposed into something ...
659 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]$$...
1k views

### How is Grover's operator represented as a rotation matrix?

I have seen that it is possible to represent the Grover iterator as a rotation matrix $G$. My question is, how can you do that exactly? So we say that $|\psi\rangle$ is a superposition of the states ... 913 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 ...
3k views

### Is the Pauli group for $n$-qubits a basis for $\mathbb{C}^{2^n\times 2^n}$?

The $n$-fold Pauli operator set is defined as $G_n=\{I,X,Y,Z \}^{\otimes n}$, that is as the set containing all the possible tensor products between $n$ Pauli matrices. It is clear that the Pauli ...
889 views

### How can you decompose Grover's diffusion operator into gates?

I know how Grover's diffusion operator works ($U_s = 2|s\rangle\langle s|-I$) with the inversion around the mean. However, I want to implement it in simpler gates, to use the algorithm. How can I do ...
461 views

308 views

### How does one create the unitary sending $|0\rangle$ into a target quantum state?

The Hadamard gate allows us to construct an equal superposition of states. If one wants to construct an arbitrary superposition e.g. $\alpha\vert 0\rangle + \beta\vert 1\rangle + ..$, how does one ...
2k views

### Grover algorithm for more than one element

I am currently working on the Grover algorithm again. In many lectures and documents, as well as books, I noticed that there is always talk of looking for a single element of $N$ elements. Now I read ... 736 views

3k views

### How can I calculate the inner product of two quantum registers of different sizes?

I found an algorithm that can compute the distance of two quantum states. It is based on a subroutine known as swap test (a fidelity estimator or inner product of two state, btw I don't understand ...
334 views

1 vote
114 views

### Two-qubit Bell measurement matrix where the two qubits are not contiguouis

In the answer here, it is explained that where the measurement operates on only a subset of the qubits of the system (for example qubits 2 and 3 out of five), the matrix can be constructed using the ...
1 vote
175 views

### What happens if $|\psi\rangle$ = $|0\rangle$ or $|\psi\rangle$ = $|1\rangle$ is passed as an input to two Hadamard gates in sequence?

I'm a computer science student and soon I will have a math exam. I'm really struggling with this preparation question. Also, includes the following: How does this demonstrate that we need the “ket” ...
5k views

### How to understand the Haar measure from a quantum information perspective?

I found it a little difficult to understand it using Wikipedia and some mathematical documents. How to understand the Haar measure from a quantum information theory perspective? Are there any ...
5k views

### Quantum states are unit vectors... with respect to which norm?

The most general definition of a quantum state I found is (rephrasing the definition from Wikipedia) Quantum states are represented by a ray in a finite- or infinite-dimensional Hilbert space over ...
1k views

### Rigorous security proof for Wiesner's quantum money

In his celebrated paper "Conjugate Coding" (written around 1970), Stephen Wiesner proposed a scheme for quantum money that is unconditionally impossible to counterfeit, assuming that the issuing bank ...
624 views

### What does it mean for a density matrix to "act on a Hilbert space $\mathcal{H}"$?

For a Hilbert space $\mathcal{H}_A$, I have seen the phrase density matrices acting on $\mathcal{H}_A$ multiple times, e.g. here. It is clear to me that if $\mathcal{H}_A$ has finite Hilbert ...
681 views

### Why does representation theory often arise in the context of quantum algorithms for the hidden subgroup problem?

I noticed that approaches for finding quantum algorithms the hidden subgroup problem for both Abelian groups ($(\Bbb Z_n\times \Bbb Z_n, +)$, $(\Bbb R, +)$, etc.) and non-Abelian finite groups like ...
3k views

### How to prove that antipodal points on the Bloch sphere are orthogonal?

I started by assuming two antipodal states  |(\theta,\psi)\rangle = \cos\dfrac{\theta}{2}|0\rangle + \sin\dfrac{\theta}{2}e^{i\psi}|1\rangle\\ |(\theta+\pi,\psi+\pi)\rangle= \cos\dfrac{\theta+\pi}{2}...
737 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 ...
213 views

### Does conjugation by a Clifford send each non-identity Pauli to every other non-identity Pauli with equal frequency?

I see here in Olivia DeMatteo's notes, she states: When we consider the action of the entire Clifford group on a single non-identity Pauli, it maps that Pauli to each of the $d^2 − 1$ other possible ...
3k 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 ...
469 views

### How to check if a two-qubit gate is entangling?

I would like to know if there's an analog for Schmidt rank that can tell me if a two-qubit unitary is entangling? Suppose I have a parametrized two-qubit unitary $U^{(2)}(\theta)$. I would like to ...
1k views

### Understanding a quantum algorithm to estimate inner products

While reading the paper "Compiling basic linear algebra subroutines for quantum computers", here, in the Appendix, the author/s have included a section on quantum inner product estimation. Consider ...
223 views

### Definition of locality in Bell experiments

Continuing from my previous question on Brunner et al.'s paper; so given a standard Bell experimental setup: where independent inputs $x,y \in \{0, 1\}$ decide the measurement performed by Alice &...
505 views

### Are nearly all pure two-qubit state entangled?

I am using the code below, utilizing QETLAB's RandomStateVector(4) and IsPPT, to generate a random state and to judge whether the state is entangled or separable: ...
737 views

### What kind of mathematics is common in quantum computing? [closed]

From what I have seen so far, there is a lot of linear algebra. Curious what other kinds of maths are used in QC & the specific fields in which they are most predominately invoked.
681 views

### Can we process infinite matrices with a quantum computer?

Can we process infinite matrices with a quantum computer? If then, how can we do that?
### In the Clifford group, is the center of $\overline{\text{Cl}_n} \equiv\text{Cl}_n/U(1)$ trivial?
My question: Is the center of $\overline{\text{Cl}_n}$ trivial? Recall that the algebra generated by the Pauli group is the full matrix algebra. So any matrix that commutes with the Pauli group must ...
### Writing state $|\Psi⟩ =\frac{1}{\sqrt{2}}|00⟩+\frac{i}{\sqrt{2}}|01⟩$ as separate qubits (qiskit textbook)
While going through the IBM qiskit textbook online, I came across the following question in section 2.2: Write the state: $|\Psi⟩ =\frac{1}{\sqrt{2}}|00⟩+\frac{i}{\sqrt{2}}|01⟩$ as two separate ...