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
0
votes
0answers
17 views

anyone can help me to implement 2 equations ( Python Implementation ) [on hold]

I want to implement 2 equations in python, I can't understand notations in equations?
2
votes
1answer
34 views

Does the general form of a unitary operator define strict signs for the second column?

As per IBM's documentation for quantum circuits, the general unitary operator is defined as: $$\hat{U}=\begin{bmatrix}\cos(\frac{\theta}{2})&-e^{i\lambda}\sin(\frac{\theta}{2})\\e^{i\phi}\sin(\...
0
votes
0answers
15 views

Help with understanding Unitary Operator of Quantum Optical Fredkin Gate

I'm referring to the textbook "Quantum Computation and Quantum Information" 10th Anniversary Edition by Nielsen and Chuang. Chapter 7.4 has a Box 7.4 which introduces the Quantum Optical Fredkin Gate....
2
votes
1answer
37 views

Explain matrix multiplication math operations of a Hadamard gate after a phase gate

Starting with $|0\rangle$, I would like to understand how the probability values of 85.4% $|0\rangle$ and 14.6% $|1\rangle$ are derived from the payload circuit below? After applying the 45 degree ...
5
votes
1answer
1k views

Why isn't there a contradiction between the existence of CNOT gate/entanglement and the no-cloning theorem?

Of course I am not implying that I am right and the no cloning theorem is wrong, but I am trying to figure out what is wrong with my reasoning and yet I couldn't find the mistake. Based on Wikipedia ...
3
votes
0answers
26 views

Estimating errors in Hamiltonian Simulation paper

I am looking at the paper: Simulating Hamiltonian dynamics with a truncated Taylor series and I am explicitly interested in Eq (15) and (16). These read $$ ||PA |0\rangle |\psi \rangle - |0\rangle ...
4
votes
1answer
23 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)...
0
votes
1answer
23 views

Minimum Multi-Degree Polynomials representing Boolean Functions

In the 10th Anniversary Edition of Nielsen and Chuang Quantum Computation and Quantum Information textbook, Chapter 6.7 talks about Black Box algorithm limits. It is given: $f:\{0,1\}^n \...
1
vote
1answer
111 views

given an EPR pair, how do I calculate expectation value?

given A and B share EPR pairs $ (|00⟩+|11⟩)/√2$ both are free to measure their own qubit with the following measurement settings A measures with $[ |0⟩, |1⟩ ]$ B measures with $[ sin(3π/8)|0⟩ + cos(...
1
vote
2answers
81 views

Angular Error associated with Quantum Search Algorithm

Chapter 6.3 of "Quantum Computation and Quantum Information 10th Anniversary Edition" textbook by Nielsen and Chuang talks about using the Quantum Counting Algorithm to find the number of solutions to ...
1
vote
1answer
21 views

What is the probability that measurement finds it in the $|0\rangle$ state?

Suppose that there is an ensemble with 60% of the states prepared in $$|a\rangle=\sqrt{\frac{2}{5}}|+\rangle-\sqrt{\frac{3}{5}}|-\rangle$$ and 40% in: $$|b\rangle=\sqrt{\frac{5}{8}}|+\rangle+\sqrt{\...
3
votes
0answers
29 views

Geometric interpretation of 1-distillability

This is a sequel to Motivation for the definition of k-distillability Geometrical interpretation from the definition of 1-distillability The eigenstate $|\psi\rangle$ of the partially ...
4
votes
0answers
40 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 ...
1
vote
1answer
48 views

Construction of Phase Shift Operation used in Quantum Search

In Chapter 6 of "Quantum Computation and Quantum Information" Textbook by Nielsen and Chuang, Box 6.1 gives a circuit example of Quantum Search Algorithm done on a two-bit sized search space. The ...
5
votes
1answer
61 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 (...
4
votes
0answers
46 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
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 ...
4
votes
1answer
242 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
108 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
82 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
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 ...
2
votes
3answers
128 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
68 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
30 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
48 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
56 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
55 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
245 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
60 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
60 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
230 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 ...
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
482 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
59 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
68 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
45 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
31 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
80 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
173 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
97 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
116 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
189 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
59 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
59 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
39 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
119 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
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 $...
3
votes
1answer
91 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: $...