# 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.

278 questions
Filter by
Sorted by
Tagged with
15 views

### RAC for XOR functions

I need the optimal encoding protocol for 3 $\rightarrow$ 1 Classical RAC such that the receiver is able to retrieve any one of the initial bits, as well as the XOR combinations of those bits. ( If a, ...
62 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)}.$$...
62 views

56 views

### What is the intuition behind “states with support on orthogonal subspaces”?

I'm sure I don't fully understand support, but I am having trouble seeing how it connects to things like density operators. I have an idea that it means, according to Wikipedia: "In mathematics, ...
54 views

### How do I prove that $\newcommand{\tr}{\operatorname{Tr}}\tr(A \sqrt{B} A \sqrt{B}) = \tr\Big[\Big(\sqrt{\sqrt{B}} A \sqrt{\sqrt{B}}\Big)^2\Big]$?

Let's say I have 2 density operators $A$ and $B$. Now, here is what I am trying to calculate: $$\newcommand{\tr}{\operatorname{trace}} \tr(A \sqrt{B} A \sqrt{B}).$$ I saw that this trace can be ...
51 views

60 views

### How do I apply a Hadamard gate on a given qubit, in matrix formalism?

Hadamard gate matrix is: $$\frac{1}{\sqrt2}\begin{bmatrix}1 & 1 \\ 1 & -1\end{bmatrix}$$ The matrix for $|0\rangle$ is: $$\begin{bmatrix}1 \\ 0\end{bmatrix}$$ I am unable to understand, how ...
62 views

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

$\newcommand{\coefcos}{c_1 c_2 - s_1 s_2 \hat{n}_1 \cdot \hat{n}_2} \newcommand{\coefsin}{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 ...
313 views

65 views

### Eigenvectors and eigenvalues of the gate $U_a:|s\rangle\mapsto|sa \bmod N\rangle$

I'm studying Shor algorithm. This is a demostration about the eigenvectors and eigenvalues of $U_a$ gate: Can somebody explain me from the third step to the last?
36 views

### Create this state using CIRQ Coding language [closed]

I needed help with CIRQ coding as I'm quite new to Quantum Computing. I read the tutorials on CIRQ but don't really understand it. I'd be very thankful if someone could help. A program to create the ...
33 views

### Asymmetry in distributing phase change across components

The quantum computing text books and theory in general seems to have added an asymmetry in the distribution of change in phase across the components in the context of a qubit. Is there any reason for ...
59 views

### How is $S(\rho)=H(p_{i})+\sum_{i}p_{i}S(\rho_{i})\le \log(d)$ possible if $\rho_{i}$ are not pure states?

I know how this can be proved using the quantum relative entropy. However, even with this proof, and am still confused about how this emerges. Say I have a source that produces two states $\rho_1$ and ...
### 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 ...
Consider this expression where $A$ and $B$ are matrices, $|i \rangle$ is a ket (column vector) and $\langle j |$ is a bra (row vector) : $$A | i \rangle \langle j | B \tag1\label1$$ Due to the ...