Skip to main content

Questions tagged [mathematics]

DO NOT use this tag. Use more specific tags such as [linear-algebra] instead.

Filter by
Sorted by
Tagged with
-1 votes
0 answers
8 views

Can a math major get into quantum computing?

I was wondering if by doing a math major I could get into quantum computing and no, doing a degree in physics is not an option sadly. I also want to know if being a software engineer would be a better ...
4 votes
2 answers
147 views

Identity for linear codes and their duals: why do we have $\sum_y (-1)^{x\cdot y}=|C|\delta_{x\in C^\perp}$?

I've come across this exercise plenty of times and I still don't understand how to do it. (Here it is from N.C. Ex.10.25) Let $C$ be a linear code (Lets suppose its a binary code, i.e. a $k$-...
4 votes
1 answer
288 views

Equality condition for Hölder's inequality if $p=1$

The equality condition for Hölder's inequality, $|{\rm tr}(A^\dagger B)| \leq \| A\| _p\| B\| _q $ is $|A|^p = \lambda |B|^q$ for some scalar $\lambda > 0$; here $\|\cdot\|_p$ the usual Schatten ...
1 vote
2 answers
125 views

general way to decompose a CZ gate on $n$-qubit system

Suppose I have a CZ(i,j) gate (or CNOT) acting on qubit $i$ and $j$, on a $n$-qubit system. Is there a general way to decompose this gate into a set of gates that only involve single-qubit gates and ...
4 votes
1 answer
258 views

How does a map being "only" positive reflect on its Choi representation?

We know that a map $\Phi\in\mathrm T(\mathcal X,\mathcal Y)$ being completely positive is equivalent to its Choi representation being positive: $J(\Phi)\in\operatorname{Pos}(\mathcal Y\otimes\mathcal ...
4 votes
1 answer
188 views

Can every unitary be approximated by gates from the Clifford Hierarchy?

For $k > 1$, we recursively define $\mathcal C^{(r)}(n)$ as $$ \mathcal C^{(r)}(n) = \Bigl\{ U \in \mathbf U(2^n) \mathrel{\Big\vert} \forall P \in \mathcal C^{(1)}(n) : U P U^\dagger \in \...
5 votes
2 answers
156 views

Are quantum channels bounded linear maps?

I've been reading about quantum channels from a couple of sources and have some doubts regarding some mathematical perspectives and properties of quantum channels. I've listed them below: It is known ...
4 votes
1 answer
518 views

Show that quantum channels act as affine transformations in the Bloch sphere

I am referring to Equation (8.89) to (8.92) in Chapter 8 of "Quantum Computing and Information 10th Anniversary Edition" by Nielsen and Chuang. This section deals with the geometric picture ...
5 votes
1 answer
147 views

How's quantum noise and fault-tolerance related to symplectic geometry and geometric quantization?

Gil Kalai often speaks of the apparent connection between symplectic geometry, geometric quantization, and quantum noise. He is known to describe one of his focus areas as: (...) properties and ...
5 votes
2 answers
707 views

Nielsen and Chuang ex 2.73

I've been trying to solve exercise 2.73 (p.g 105), and I'm not sure if i'v been overthinking it and the answer is as simple as i've described below or if I am missing something, or i'm just wrong! Ex ...
8 votes
2 answers
928 views

What is a separable decomposition for the Werner state?

Consider the two-qubit Werner state, defined as $$\rho_z = z |\Psi_-\rangle\!\langle \Psi_-| + \frac{1-z}{4}I, \quad |\Psi_-\rangle\equiv\frac{1}{\sqrt2}(|00\rangle-|11\rangle),$$ for $z\ge0$. Using ...
4 votes
1 answer
328 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)| $$ ...
3 votes
3 answers
131 views

Prove that different purifications of a state can be mapped into one another via local unitaries

Let $\rho \in \mathfrak{D}(A)$ be a density matrix. Show that $\left|\psi^{A B}\right\rangle \in A B$ and $\left|\phi^{A C}\right\rangle \in A C$ (assuming $\left.|B| \leqslant|C|\right)$ are two ...
3 votes
1 answer
3k views

How to translate the Hadamard gate matrix into Dirac notation?

Hadamard gate matrix is: $$\frac{1}{\sqrt 2}\begin{bmatrix}1 && 1 \\ 1 && -1\end{bmatrix}$$ The Dirac notation for it is: $$\frac{|0\rangle+|1\rangle}{\sqrt 2}\langle0|+\frac{|0\...
3 votes
2 answers
371 views

Generators for single qudit Clifford, d=4

The generators for single qubit Clifford are phase $ P $ and Hadamard $ H $. The generators for single qutrit Clifford can be found for example here What is the set of generators for the qutrit ...
7 votes
1 answer
173 views

Which Clifford groups are 2-designs?

Let $ X $ be the $ q \times q $ shift matrix sending $ |y \rangle \mapsto |y+1 \rangle $ where the ket index $ y=0,\dots, q-1 $ is taken mod $ q $. Let $ Z $ be the diagonal $ q \times q $ clock ...
2 votes
1 answer
65 views

unitary that transforms one Hilbert space to another Hilbert space

Let $H = A \otimes B$. If there exists a unitary operator $U$ that transforms the Hilbert space $H$ into another Hilbert space $H' = A' \otimes B'$ (meaning that $U$ maps each basis of $H$ to each ...
6 votes
2 answers
194 views

Decomposition of a $4 \times 4$ unitary matrix

I am currently studying the paper "Decomposition of unitary matrices and quantum gates (2012)" and referring to the textbook Quantum Computation and Quantum Information. Among the topics, I ...
2 votes
1 answer
96 views

$\mathbb{C}^2 \otimes \mathbb{C}^2$ vs $\mathbb{C}^4$

Is there a difference between the following two Hilbert spaces: $H_1 = \mathbb{C}^2 \otimes \mathbb{C}^2$ and $H_2 = \mathbb{C}^4$? Here's my confusion. For the following bases, $H_1 = H_2$ holds: $\...
4 votes
1 answer
384 views

How to exactly implement Trotter-Suzuki formula on quantum computer

Recently, I am studying some topics related to product formula, and I am curious about how to implement such formula on real quantum devices. The $(2k)$-th order product formula can be witten as \...
4 votes
2 answers
381 views

closeness between two unitaries on the bloch sphere

The fidelity between two (single-qubit) quantum states can be easily translated into the euclidean distance between the two states on the Bloch sphere (hilbert-schidmit distance). I'm curious if this ...
7 votes
1 answer
753 views

Correct Formulation of N&C Exercise 4.11 and other textbooks misquoting

Inspired by the comments in this question How to approximate $Rx$, $Ry$ and $Rz$ gates?, there is the errata for question 4.11 pg 176 in N&C. The original form states that for any non parallel $m$ ...
0 votes
1 answer
64 views

What are necessary and sufficient conditions for the output of a parametrized unitary $U(\theta)$ to be smooth?

Let us consider a unitary $U$ parameterised by $\theta \in \mathbb{R}$, i.e, $U(\theta)$. What are the necessary and sufficient conditions for the output states of this unitary to be smooth? One ...
1 vote
0 answers
86 views

Representing networks with qubits as edges

I am looking to take a classical non-negative real valued network and generalize it to the quantum case for processing. A network is given by an adjacency matrix, essentially edge weights $e_{ij}$ for ...
2 votes
1 answer
48 views

Math Behind $X$ Gate With Arbitrary Phase is equivalent to $ZXZ$ Gate

An X gate where there is a phase shift $\phi$ to the applied sinusoidal wave $U = e^{-i\frac{\theta}{2}(cos(\phi)\sigma_x+sin(\phi)\sigma_y)}$ is equivalent to a series of gates $Z_{-\phi}X_{\theta}Z_{...
13 votes
2 answers
620 views

What are the possible non-entangling two-qubit gates?

The non-entangling gates in $ SU_4 $ contains the entire group of gates of the form $$ SU_2 \otimes SU_2. $$ It also contains $$ \zeta_8 SWAP= \zeta_8 \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 &...
7 votes
1 answer
2k 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 ...
2 votes
1 answer
277 views

How to calculate the Haar measure for the middle SU(2), in an SU(3) factorization?

I read this blog https://pennylane.ai/qml/demos/tutorial_haar_measure#deguise2018 regarding a basic introduction to haar measure. In the "show me more math" section, they said $SU(3)$ can be ...
2 votes
1 answer
154 views

Given an observable $O$, what's the achievable maximum value of $\operatorname{Tr}(O\rho)$?

The maximum value of expectation value of an observable $O$ with respect to a density matrix $\rho$ can be computed by using Holder's inequality as follows: \begin{equation} \text{Tr}(O\rho) \leq \...
3 votes
1 answer
77 views

Simulating Sparse Hamiltonians: help understanding query complexity bounds

tl;dr: How can I show that $e^k/k^k$ is less than $\epsilon^2/2$ when $k=\Omega\left(\frac{\log(1/\epsilon)}{\log \log(1/\epsilon)}\right)$, where $k,\epsilon\in \mathbb{R}$ and > 0? Context: Berry ...
3 votes
1 answer
182 views

Weakly transversal gates for the $ [[5,1,3]] $ code

For the $ [[5,1,3]] $ code https://en.wikipedia.org/wiki/Five-qubit_error_correcting_code $ X^{\otimes 5} $ implements logical $ X $ and $ Z^{\otimes 5} $ implements logical $ Z $. A less common gate ...
2 votes
3 answers
94 views

References for homology, suitable as background for quantum codes

Quantum codes are often related to the concepts in homology, such as chain complexes. Is there an introduction to homology suitable for building a strong understanding of these results? I am looking ...
5 votes
1 answer
82 views

Existence of Hamiltonians such that the time evolution unitary becomes identity

Can we always find a set of coefficients ${k_i}$ (where not every $k_i = 0$) for a given Hamiltonian $H = \sum k_i H_i$, such that the unitary operator becomes the identity operation: $e^{-iH} = e^{i\...
1 vote
1 answer
687 views

Understanding proof of joint concavity of the (root) fidelity

I have some problem in understanding the proof of the concavity of root fidelity given in Chapter 9.2 of Mark M. Wilde's "Quantum Information Theory". Here, the fidelity is defined by $F(\...
3 votes
1 answer
42 views

On unitary matrix form suggested in the Elementary gates paper

In the Elementary gates for quantum computation paper by Barenco et al authors start their proofs by defining a generic form of 2x2 unitary matrix of $\mathbb{C}$ as follows: Can you help me with the ...
3 votes
0 answers
27 views

Question when deriving quantum differential privacy?

I met some problems when trying to derive proposition 4 in the paper Gentle measurement of quantum states and differential privacy. I know that intuitively, if we act on a single register of ρ, and ...
7 votes
1 answer
248 views

Is this single qubit gate in the Clifford hierarchy?

For a single qubit, the Clifford hierarchy is defined to be $$ \mathcal C^{(k)} = \Bigl\{ U \in \mathbf U(2) \mathrel{\Big\vert} \forall P \in \mathcal C^{(1)} : U P U^\dagger \in \mathcal C^{(...
1 vote
0 answers
51 views

Saturating an inequality relating the operator norm and the total variation distance

Let $U$ be an $n$-qubit unitary, and let $p_U(x) = |\langle x | U | 0\rangle |^2$ be the probability of obtaining $x \in \{0,1\}^n$ on the all zero input. Given two $n$-qubit unitaries $U$ and $V$, it ...
4 votes
0 answers
92 views

Eastin Knill Theorem and global phase

In quantum we don't care about global phases, but I want to ask a question about global phases anyway. The original Eastin-Knill theorem paper https://arxiv.org/abs/0811.4262 says $$ CP = \Pi_{i=1}^k ...
1 vote
2 answers
242 views

Modular Addition general explanation

This is an incredibly basic question, but basically I'm really struggling to understand what the "addition modulo 2" is and why is it used in quantum computing. I've tried Wikipedia, endless ...
3 votes
1 answer
246 views

What does the identity operator represent when computing $\langle\varphi|I\otimes Z|\varphi\rangle$?

Consider a single qubit state $|\varphi\rangle$ and a hamiltonian $H = Z$. Evaluating $\langle \varphi | H | \varphi \rangle$ corresponds to a measurement of $|\varphi\rangle$ in the computational ...
0 votes
1 answer
39 views

Derivative of cost function with respect to the unitary matrix

Suppose I have a cost function $C = \langle \psi \rvert U^\dagger O U \rvert \psi \rangle$ for a fixed observable $O$ and a fixed state $\rvert \psi \rangle$. I know that usually people take the ...
1 vote
1 answer
59 views

Verification for calculation on Shor's code

Here I have tried to determine the end result for the qubit states, when we apply an arbitrary gate on the first qubit in the 9 qubit code. I have followed this diagram: U's operation on a qubit can ...
4 votes
1 answer
81 views

Definition of quantum junta is not basis independent: isn't this a problem?

A quantum $k$-junta is defined as a unitary matrix $U$ acting on $n$ qubits which has the form $U = V \otimes \mathbb I$ where $V$ is a unitary acting some $k < n$ of the qubits. The fact that a ...
1 vote
0 answers
171 views

How is the definition of $n$-qubit Pauli group derived?

The authors give the following definition for the Pauli group in the paper Averaged circuit eigenvalue sampling. The n-qubit Pauli group $P_n$ consists of n-fold tensor products of single-qubit Pauli ...
1 vote
1 answer
40 views

A conceptual Query regarding measurement during a Quantum Algorithm

I am new to Quantum Computing and my original background is in Computer Science thus this possible trivial query. Case 1: Given a set of $N$ Q-bit System in some superposition state $I_0$. Let us ...
0 votes
1 answer
180 views

Are permutations of the Pauli strings unitary operations?

Consider the set of Pauli strings $P_N=\{\tau \}$, composed out of tensor products of Pauli matrices $\sigma_i^\alpha$ acting on $N$ or qubits, e.g. $\tau=\sigma^x_1 \otimes \mathbb{1}_2 \otimes \...
5 votes
2 answers
417 views

Exotic transversal gate group for stabilizer code

What are examples of interesting $ [[n,1,d]] $ or $ [[n,2,d]] $ stabilizer codes, $ d \geq 2 $, whose group of transversal gates is not isomorphic to a subgroup of the Clifford group (on 1 and 2 ...
0 votes
1 answer
125 views

What are some good resources for learning quantum math?

I'm new to Quantum dynamics as a whole and everytime i read an article on arxiv.org or watch a video on youtube and they introduce an equation like Shrodinger or other equations to show the logic and ...
1 vote
1 answer
154 views

What does Pauli's $Y$ matrix represent?

It is easy to see that Pauli's $X$ matrix represents the bit flip operation, i.e. $X \lvert 0 \rangle = \lvert 1 \rangle$ and $X \lvert 1 \rangle = \lvert 0 \rangle$. Similarly, Pauli's $Z$ matrix ...

1
2 3 4 5
11