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.

3
votes
0answers
17 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 (...
2
votes
0answers
28 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 ...
5
votes
1answer
38 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 ...
4
votes
1answer
221 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 ...
3
votes
3answers
100 views

How are orthogonal sets of pure states arranged in state space?

It is well known that the state of a (pure) qubit can be described as a point on a two-dimensional sphere, the so-called Bloch sphere. The mapping $\lvert\psi\rangle\mapsto \boldsymbol r_\psi$ that ...
4
votes
1answer
59 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
49 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 ...
2
votes
3answers
101 views

What is the spectral decomposition of the Pauli $X$ gate?

The definition of spectral decomposition is as follows: Assume the eigenvectors of $\hat{A}$ define a basis $\beta=\{|\psi_j\rangle\}$. Then $$A_{kj}=\langle\psi_k|\hat{A}|\psi_j\rangle=\alpha_j\...
3
votes
1answer
56 views

Trace distance of two classical-quantum states

I have these two classical-quantum states: $$\rho = \sum_{a} \lvert a\rangle \langle a\lvert \otimes q^a \\ \mu = \sum_{a} \lvert a\rangle \langle a\lvert \otimes r^a $$ Where $a$ are the classical ...
2
votes
0answers
27 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 ...
2
votes
1answer
42 views

Direct derivation of the Kraus representation from the natural representation, using SVD

$\newcommand{\Y}{\mathcal{Y}}\newcommand{\X}{\mathcal{X}}\newcommand{\rmL}{\mathrm{L}}$As explained for example in Watrous' book (chapter 2, p. 79), given an arbitrary linear map $\Phi\in\rmL(\rmL( \X)...
2
votes
1answer
55 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)| $$ ...
2
votes
1answer
52 views

Method to find $r$ in the case when $r'$ returned by the continued fractions procedure is a factor of $r$

In the Quantum Computation and Quantum Information (10th ed.) textbook by Nielsen and Chuang, section 5.3.1 (titled "Application: order-finding") describes how phase estimation can be used to find the ...
2
votes
2answers
243 views

Can an isometry leave entropy invariant?

Consider two finite dimensional Hilbert spaces $A$ and $B$. If I have an isometry $V:A\rightarrow A\otimes B$, under what condition can I find a unitary $U:A\otimes B\to A\otimes B$ such that $$U\rho_{...
2
votes
2answers
55 views

Why is the boundary of the set of states in the generalised Bloch representation comprised of singular matrices?

Consider an arbitrary qudit state $\rho$ over $d$ modes. Any such state can be represented as a point in $\mathbb R^{d^2-1}$ via the standard Bloch representation: $$\rho=\frac{1}{d}\left(\mathbb I +\...
2
votes
0answers
59 views

Writing the transformation matrix for the following in terms of Kronecker products of elementary 2-qubit gates

I have a set of transformations that transforms $|11001\rangle\to |10101\rangle$ which is basically keeping the leftmost qubit as it is and then it is just the CNOT between the successive qubits, I ...
3
votes
2answers
171 views

Square root of CNOT and spectral decomposition of the Hadamard gate

I'm trying to compute the spectral decomposition of the Hadamard gate but I'm making a mistake somewhere. Note: I believe (though I may be wrong so correct me if I am) that spectral decomposition is ...
4
votes
0answers
61 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
451 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 ...
2
votes
1answer
52 views

Eigenstate of unitary operator used for Order-Finding

In the "Quantum Computation and Quantum Information 10th Anniversary textbook by Nielsen and Chuang", chapter 5.3.1 introduces the concept of solving the Order-Finding Problem. (Eqn 5.36) states ...
1
vote
1answer
53 views

Correct way of expressing a measurement in a different computational basis

Sometimes we find that the result we want from a quantum algorithm is expressed in terms of a basis that is different from the usual computational basis, which I will call $$ B_C = \left\{ \lvert 0 \...
1
vote
1answer
43 views

Burnside Decomposition in Kuperberg's Hidden Shift

In "Another subexponential-time quantum algorithm for the dihedral hidden subgroup problem", Kuperberg writes that $\mathbb{C}[G]$ has a "Burnside decomposition" of $$\mathbb{C}[G]\cong \bigoplus_{V}...
3
votes
0answers
29 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 ...
2
votes
1answer
74 views

Reason for evaluating $a^x \bmod N$ from $x = 0$ to $N^2$

As per the Shor's algorithm, we need to evaluate $a^x \bmod N$ from $x = 0$ to $N^2$. What is the reason for this? Why can't we just evaluate for $N$, $2N$ or something like that?
5
votes
2answers
155 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
1answer
92 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 ...
0
votes
0answers
29 views

How are multi-qubit gates extended into larger registers? [duplicate]

Implementing a single-qubit gate in a multi-qubit register is relatively easy. For example, this gate: This is equivalent to $I \otimes H \otimes I$. If the $H$ gate was on the first bit, it would be ...
2
votes
2answers
102 views

Meaning of “diagonal to the computational basis”

I came across the term "diagonal to the computational basis" in my reading recently. I'm not entirely sure what this term means. I know that a diagonal matrix is one with only non-zero elements on the ...
5
votes
2answers
185 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 ...
4
votes
1answer
56 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 ...
3
votes
0answers
53 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 ...
0
votes
1answer
36 views

Why do we search for square roots of 1 in Shor's algorithm unlike the qudratic sieve?

In the quadratic sieve algorithm, the idea is to find $a$ and $a$ such that $a^2 \equiv b^2 \bmod n$. We need that $a\not\equiv \pm b \bmod n$. However, there the $c$ is not necessarily $1$. $\gcd(b \...
1
vote
1answer
42 views

Confusion regarding probability of period resulting in factoring

This is a sequel to 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 ...
4
votes
2answers
115 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
34 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 $...
3
votes
1answer
88 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: $...
1
vote
3answers
75 views

Purity of mixed states as a function of radial distance from origin of Bloch ball

@AHusain mentions here that the purity of a qubit state can be expressed as a function of the radius from the center of a Bloch sphere. The state corresponding to the origin is maximally mixed whereas ...
4
votes
1answer
62 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 ...
2
votes
1answer
54 views

What is the general variety corresponding to the Segre embedding for $n$-qubit systems?

It is well known that entanglement is precisely the difference between the Cartesian product and the tensor product. The space where every point corresponds to a state is the projective Hilbert space, ...
4
votes
1answer
78 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 ...
1
vote
1answer
52 views

Maps in bra-ket notation

As part of a course, I've been asked to write a map $C\rightarrow H,z \rightarrow zv$ for $v \in H=C^3\otimes C^2$, $v=[1, 0, 0, 1, 0, 1]$ in bra-ket notation. However, I never written such a map ...
4
votes
1answer
59 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 ...
3
votes
0answers
32 views

Why does $x\sqrt{1-x^2}$ enhance the ability to approximate analytical functions in quantum circuit learning?

In this paper Quantum Circuit Learning they say that the ability of a quantum circuit to approximate a function can be enhanced by terms like $x\sqrt{1-x^2}$ ($x\in[-1,1])$. Given inputs $\{x,f(x)\}$, ...
2
votes
0answers
32 views

Nielsen & Chuang Exercise 2.2 - Matrix representations in different input and output basis [duplicate]

This is a question in the Nielsen and Chuang textbook (Exercise 2.2). Suppose $V$ is a vector space with basis $|0\rangle$ and $|1\rangle$ and $A$ is a linear operator from $V \to V$ such that $...
2
votes
1answer
68 views

Grover algorithm for more than one element

I am currently working on the Grover algorithm again. In many lectures and documents, as well as books, I noticed that there is always talk of looking for a single element of $N$ elements. Now I read ...
4
votes
1answer
137 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
2answers
103 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
65 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 \...
6
votes
1answer
532 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
251 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?