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.

Filter by
Sorted by
Tagged with
12
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 ...
12
votes
2answers
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 ...
11
votes
2answers
351 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 ...
9
votes
1answer
315 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 ...
8
votes
2answers
303 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 ...
8
votes
2answers
732 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 ...
6
votes
1answer
569 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
252 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
73 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
149 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
160 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
317 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
128 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
1answer
45 views

Clarification of a procedure to compute the product of the exponential of two matrices

In trying to understand a method outlined here (page 3, subroutine 1). Consider $$R_3 = \begin{bmatrix} 0 & 0 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{bmatrix} .$$ Let $A$ be a ...
5
votes
2answers
165 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
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 ...
5
votes
2answers
72 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
95 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
95 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
113 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
379 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
48 views

Equivalent determinant condition for Peres-Horodecki criteria

The Peres-Horodecki criteria for a 2*2 state states that if the smallest eigenvalue of the partial transpose of the state is negative, it is entangled, else it is separable. According to this paper (...
5
votes
1answer
232 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
200 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
58 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 $\...
5
votes
0answers
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 ...
4
votes
2answers
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 ...
4
votes
2answers
116 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
2answers
104 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: $\...
4
votes
1answer
83 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
198 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
230 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 ...
4
votes
1answer
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 ...
4
votes
1answer
58 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
1answer
218 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
52 views

Structural Physical Approximation of Partial Transpose

To make the partial transpose a complete positive and therefore physical map, one has to mix it with enough of the maximally mixed state to offset the negative eigenvalues. The most negative ...
4
votes
1answer
69 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
86 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
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)...
4
votes
1answer
35 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
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 ...
4
votes
1answer
150 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
171 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
70 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
140 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
157 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
232 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
39 views

Motivation for the definition of k-distillability

Definition of k-distillability For a bipartite state $\rho$, $H=H_A\otimes H_B$ and for an integer $k\geq 1$, $\rho$ is $k$-distillable if there exists a (non-normalized) state $|\psi\rangle\in ...
4
votes
0answers
43 views

What is the motivation for Weyl matrices in quantum information theory?

Quantum Entanglement and Geometry — Andreas Gabriel (2010) — Sec: 2.3.4 ~p. 11 Another basis for $d\times d$-dimensional matrices that has proven to be quite useful in quantum information theory is ...
4
votes
0answers
80 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. ...