Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

11
votes
6answers
3k 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 ...
11
votes
2answers
361 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 ...
9
votes
1answer
282 views

Quantum Algorithm for God's Number

God's number is the worst case of God's algorithm which is a notion originating in discussions of ways to solve the Rubik's Cube puzzle, but which can also be applied to other combinatorial puzzles ...
7
votes
2answers
559 views

Inner product of quantum states

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 ...
6
votes
1answer
447 views

Decomposition of a unitary matrix

Following is an excerpt from QCQI: I can understand that this matrix satisfies a unitary matrix. Also, intuitively, I am able to understand it. However, what is the proof that any given Unitary ...
6
votes
2answers
242 views

What are the constraints on a matrix that allow it to be “extended” into a unitary?

DaftWulie's answer to Extending a square matrix to a Unitary matrix says that extending a matrix into a unitary cannot be done unless there's constraints on the matrix. What are the constraints?
6
votes
2answers
70 views

When would I consider using an outer product of quantum states, to describe aspects of a quantum algorithm?

I know the inner product has a relationship to the angle between two vectors and I know it can be used to quantify the distance between two vectors. Similarly, what's an use case for the outer ...
6
votes
1answer
123 views

How can we be sure that for every $A$, $A^\dagger A$ has a positive square root?

In the Polar Decomposition section in Nielsen and Chuang (page 78 in the 2002 edition), there is a claim that any matrix $A$ will have a decomposition $UJ$ where $J$ is positive and is equal to $\sqrt{...
6
votes
2answers
137 views

Is there a general method to implement a 'greater than' quantum circuit?

I am interesting in finding a circuit to implement the operation $f(x) > y$ for an arbitrary value of $y$. Below is the circuit I would like to build: I use the first three qubits to encode $|x⟩$, ...
5
votes
3answers
314 views

Bell nonlocality and conditional independence

I've been working through the paper Bell nonlocality by Brunner et al. after seeing it in user glS' answer here. Early on in the paper, the standard Bell experimental setup is defined: Where $x, y \...
5
votes
2answers
101 views

Quantum proof for the group non-membership problem

Group non-membership problem: Input: Group elements $g_1,..., g_k$ and $h$ of $G$. Yes: $h \not\in \langle g_1, ..., g_k\rangle$ No: $h\in \langle g_1, ..., g_k\rangle$ Notation: $\...
5
votes
2answers
113 views

How do you represent the output of a quantum gate in terms of its basis vectors?

I'm stuck while trying to understand the Hadamard Gate in a more linear algebra understanding. (I understand the algebraic way). This is because I want to program a simulation of a quantum computer. ...
5
votes
2answers
138 views

Hidden shift problem as a benchmarking function

I encountered the hidden shift problem as a benchmarking function to test the quantum algorithm outlined in this paper (the problem also features here). There are two oracle functions $f$, $f'$ : $...
5
votes
2answers
179 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 ...
5
votes
2answers
55 views

How to translate matrix back into Dirac notation?

In Circuit composition and entangled states section of Wikipedia's article on Quantum logic gates the final result of a combined Hadamard gate and identity gate on $|\Phi^{+}\rangle$ state is: $ M \...
5
votes
1answer
86 views

Quantum teleportation of a state, from one of two bases

I'm watching Christian Schaffner's talk on quantum position-based cryptography (link here) and have a question about a particular application of teleportation. At about the 16:40 mark, he seems to ...
5
votes
1answer
77 views

Is the set of classical-quantum states convex?

I read about the classical-quantum states in the textbook by Mark Wilde and there is an exercise that asks to show the set of classical-quantum states is not a convex set. But I have an argument to ...
5
votes
1answer
107 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 &...
5
votes
1answer
332 views

Nielsen & Chuang Exercise 2.1 - “Linear dependence: example” [closed]

Reproduced from Exercise 2.1 of Nielsen & Chuang's Quantum Computation and Quantum Information (10th Anniversary Edition): Show that $(1, −1)$, $(1, 2)$ and $(2, 1)$ are linearly dependent. ...
5
votes
1answer
208 views

Problem with the mathematical formulation of “qubitization”

In this research paper, the authors introduce a new algorithm to perform Hamiltonian simulation. The beginning of their abstract is Given a Hermitian operator $\hat{H} = \langle G\vert \hat{U} \...
5
votes
1answer
187 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?
5
votes
1answer
57 views

Generating algebra from commutation

In a paper I am reading, it states: For open-loop coherent controllability a quantum system with Hamiltonian $H$ is open-loop controllable by a coherent controller if and only if the algebra $\...
4
votes
2answers
111 views

POVM three-qubit circuit for symmetric quantum states

I have been reading this paper but don't yet understand how to implement a circuit to determine in which state the qubit is not for a cyclic POVM. More specifically, I want to implement a cyclic POVM ...
4
votes
1answer
70 views

Differentiate between local and global unitaries

Just like we have the PPT, NPT criteria for checking if states can be written in tensor form or not, is there any criteria, given the matrix of a unitary acting on 2 qubits, to check if it is local or ...
4
votes
3answers
178 views

Simple proof that $(U \otimes V)(|x\rangle \otimes |y\rangle) = U|x\rangle \otimes V|y\rangle$?

This transformation comes up a lot during symbolic manipulation of quantum operations on state vectors. It's the reason why, for instance, $(X\otimes \mathbb{I}_2)|00\rangle = |10\rangle$ - it lets us ...
4
votes
1answer
41 views

How to measure superposition coefficients to determine state?

There was a problem at the Winter 2019 Q# codeforces contest (that is now over), which I cannot find a mathematical solution for. The problem goes like this: You are given 3 qubits that can be in one ...
4
votes
2answers
154 views

Graphical Calculus for Quantum Circuits

So far I have read a little bit about zx-calculus & y-calculus. From Reversible Computation: The zx-calculus is a graphical language for describing quantum systems. The zx-calculus is an ...
4
votes
1answer
191 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.
4
votes
1answer
44 views

Partial Transpose and Positive Operators

Question: For 2x2 and 2x3 systems, is the partial transpose the only positive but not completely positive operation that is possible? Why this came up: The criteria for detecting if a state $\rho$ is ...
4
votes
1answer
81 views

Grover operator 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 ...
4
votes
1answer
78 views

Determining whether $P(ab|xy)$ factorizes in Bell experiments

Continuing from my previous (1, 2) questions on Brunner et al.'s paper on Bell nonlocality. Again, we have the following standard Bell experiment setup: where independent inputs $x,y \in \{0, 1\}$ ...
4
votes
1answer
28 views

How does $x^{\frac{r}{2}} \equiv -1 \pmod {p_i^{a_i}}$ follow from “if all these powers of $2$ agree”?

Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer (Shor, 1995) [p. 15] To find a factor of an odd number $n$, given a method for computing the order $...
4
votes
1answer
148 views

Extending a square matrix to a unitary matrix

Suppose we have a square matrix $M$ of size $n\times n$. It is given that any element $M_{ij}$ of $M$ is a real number and satisfies $0 \leq M_{ij} \leq 1$, $\forall$ $i,j$. No other property for $M$ ...
4
votes
2answers
63 views

Ways in which $\frac{1}{\sqrt 2} (|00\rangle + |11\rangle)$ can be expressed as $\frac{1}{\sqrt 2} (|uu\rangle + |vv\rangle)$

I want to find out what values $|u\rangle$ and $|v\rangle$ can take if I want to write $$\frac{1}{\sqrt 2} (|00\rangle + |11\rangle)$$ as $$\frac{1}{\sqrt 2} (|uu\rangle + |vv\rangle).$$ Say $$|u\...
4
votes
1answer
136 views

What are the standard eigenvalues in $\mathbb{C^2}\otimes\mathbb{C^2}$?

In $\mathbb{C^2}$, we generally take $+1$ and $-1$ as the standard eigenvalues, that's what Pauli-X, Pauli-Z measurements, etc will give us. Is there a similar standard while measuring in the Bell ...
4
votes
2answers
146 views

What can I deduce about $f(x)$ if $f$ is balanced or constant?

$\newcommand{\qr}[1]{|#1\rangle}$Question. Can you check whether this is correct? Also, given the analysis below, what is the domain of and co-domain of $f(\qr{x})$? I think it is $V^4 \to W^4 : f$ ...
4
votes
1answer
199 views

Projection operator on Time evolution Operator

From a 9×9 Hamiltonian lying 9D space, I choose a certain subspace of 4D for designing a two qubit gate. Now the original unitary time evolution operator also lies in 9D space and it's a 9×9 size ...
4
votes
0answers
36 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 ...
4
votes
0answers
66 views

Clock matrix vs matrix clock

In the process of research leading up to my previous question, I found out about matrix, vector & logical clocks. The citation in the aforementioned question mentions clock and shift matrices. ...
3
votes
2answers
353 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 ...
3
votes
1answer
101 views

Quantum spin measurement

The state of a spin $\frac{1}{2}$ particle is $|0\rangle$ which is eigenstate of $\sigma_z$. What is the most generalized way to show that the results of any spin measurement along any direction in x-...
3
votes
1answer
349 views

Nielsen & Chuang Exercise 2.2 - “Matrix representations: example” [closed]

Reproduced from Exercise 2.2 of Nielsen & Chuang's Quantum Computation and Quantum Information (10th Anniversary Edition): Suppose $V$ is a vector space with basis vectors $|0\rangle$ and $|1\...
3
votes
1answer
99 views

Doing maths with controlled-half NOTs

In Quantum Computation with the simplest maths possible there is a section titled "Doing maths with a controlled-half NOT" which covers a reversible-(N)AND circuit with controlled-half NOTs. What ...
3
votes
1answer
193 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 ...
3
votes
1answer
143 views

Quantum algorithm to evaluate numbers in fast growing hierarchy

What quantum technologies and/or techniques (if any) could be used to evaluate the value of large numbers in the fast growing hierarchy such as Tree(3) or SCG(13)?
3
votes
1answer
78 views

Proof that Grover's operator can be written as $D_N=-H_n R_N H_n$

I am interested in showing the validity of the Grover operator. Now there are several ways to show it. One way is with complete induction. It has to be shown that the following relationship applies: $...
3
votes
1answer
99 views

Is geometric algebra/calculus used in quantum computing?

This is really a question out of curiosity. I am aware that geometric algebra and geometric calculus provide simplifications in many aspects of physics. I'm wondering if this framework's usefulness ...
3
votes
1answer
234 views

How can surreal maths be used in quantum computing? [closed]

The question whether surreal or hyperreal numbers (that both contain the reals, even if they have the same cardinality) could be useful to provide a more satisfactory theory of QM is maybe more ...
3
votes
0answers
27 views

Are X-state separability and PPT- probabilities the same for the two-qubit, qubit-qutrit, two-qutrit, etc. states?

On p. 3 of "Separability Probability Formulas and Their Proofs for Generalized Two-Qubit X-Matrices Endowed with Hilbert-Schmidt and Induced Measures" (https://arxiv.org/abs/1501.02289), it is ...
3
votes
0answers
42 views

What role do Hecke operators and ideal classes perform in “Quantum Money from Modular Forms?”

Cross-posted on MO The original ideas from the 70's/80's - that begat the [BB84] quantum key distribution - concerned quantum money that is unforgeable by virtue of the no-cloning theorem. A ...