Stack Exchange Network

Stack Exchange network consists of 174 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.

6
votes
1answer
377 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
228 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?
4
votes
1answer
124 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$ ...
5
votes
1answer
60 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 ...
0
votes
1answer
94 views

Quantum Nimber Maths

I am interested in quantum combinatorial games. According to the Wikipedia page on the Sprague-Grundy theorem: Every impartial game under the normal play convention is equivalent to a nimber ...
4
votes
2answers
54 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\...
2
votes
2answers
388 views

Shor's algorithm beginning

This may be a silly question but at the start of Shor's algorithm to factorise a number $N$ we need to find a number $n$ such that $N^{2} \leq 2^{n} \leq 2N^{2}$ Why does such a number $n$ exist for ...
4
votes
0answers
55 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. ...
2
votes
1answer
41 views

Partial Trace over a complicated looking state

In the Quantum Operations section in Nielsen and Chuang, (page 358 in the 2002 edition), they have the following equation: $$\varepsilon(\rho) = tr_{env} [U(\rho \otimes \rho_{env})U^\dagger]$$ They ...
5
votes
1answer
185 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} \...
4
votes
1answer
74 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{...
3
votes
1answer
79 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 ...
4
votes
1answer
70 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\}$ ...
2
votes
1answer
59 views

Projection operators and positive operators

I recently came across the concepts of operators. However with current my knowledge I am unable to solve the following problem.Given an operator $$\vec{A}=\frac{1}{2}(I+\vec{n}.\vec{\sigma})$$ where $\...
1
vote
2answers
65 views

How to properly write the action of a quantum gate implementing an operator $U$ on the superposition of its eigenvectors?

Let's say, that we are in the possession of a quantum gate, that is implementing the action of such an operator $$ \hat{U}|u \rangle = e^{2 \pi i \phi}|u\rangle $$ Moreover, let's say, that this ...
2
votes
1answer
105 views

Are the eigenvalues of an observable always -1 and 1?

What are the necessary & sufficient conditions for a matrix to be an observable, and what is the proof that any such matrix has eigenvalues -1 and 1 (if indeed that is the case)? I ask because in ...
3
votes
1answer
96 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-...
5
votes
1answer
96 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
3answers
312 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 \...
0
votes
1answer
100 views

Is the computational basis for Hilbert space transfinite?

In What is the Computational Basis? gIS states: One also often speaks of "computational basis" for higher-dimensional states (qudits), in which case the same applies: a basis is called "...
4
votes
3answers
158 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 ...
6
votes
2answers
121 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⟩$, ...
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 ...
10
votes
2answers
284 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 ...
5
votes
1answer
172 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?
9
votes
1answer
249 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 ...
2
votes
1answer
97 views

Hilbert space to accurately represent 3x3 Rubik's Cube

What Hilbert space of dimension greater than 4.3e19 would be most convenient for working with the Rubik's Cube verse one qudit? The cardinality of the Rubik's Cube group is given by: Examples 66 ...
5
votes
2answers
104 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. ...
3
votes
1answer
95 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 ...
4
votes
2answers
121 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
163 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.
11
votes
6answers
2k 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 ...
3
votes
1answer
230 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 ...
4
votes
1answer
149 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
1answer
129 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 ...
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)?
5
votes
1answer
54 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
140 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$ ...