Questions tagged [tensor-product]

A tensor is an abstract object generalising a scalar or vector and can be represented by a number, a 1D array, 2D matrix or higher order generalisations thereof. A tensor product is a product defined on these tensors yielding other tensors or a method to define or represent tensors. If appropriate, also use the [mathematics] tag.

Filter by
Sorted by
Tagged with
4
votes
1answer
39 views

Understanding the quantum circuit for the quantum adder Toffoli gate

I am trying to understand the toffoli operation for the quantum adder below: (especially for the second toffoli gate) but I am stuck in understanding the calculation to get the correct outputs. The ...
3
votes
1answer
67 views

In the hidden subgroup problem for finite Abelian groups, where does the state $\frac{1}{\sqrt{|G|}}\sum_{g\in G} |g,0\rangle$ come from?

I am new to the concept of HSP. Previously, I saw how to solve hidden subgroup problem over $\mathbb{Z}_2^n$, which was Simon's algorithm. Over there the first step was to apply $H^{\otimes n}$, which ...
1
vote
1answer
51 views

What is the “quantum mean value problem”?

What is the "Quantum mean value problem"? A definition I found was that it is "estimating the expected value of the tensor product observable on the output state of a quantum circuit&...
2
votes
1answer
26 views

How would I apply rotations to both qubits in a 2 qubit system?

Say I have the two qubit system $\frac{1}{\sqrt{2}}\begin{bmatrix} 0 \\ 1 \\ 1 \\ 0 \end{bmatrix}$. I have two 2x2 unitary gates, one is a rotation ...
1
vote
1answer
40 views

How to create an observable: 'Identity \tensor Pauli gate' in Cirq

I am working on an implementation of the RQAOA algorithm on the Maxcut problem in Cirq. My graph G has n vertices. And after running a QAOA circuit with n qubits I obtain a state gammabeta (a vertical ...
3
votes
2answers
93 views

Can we express $\mathrm{tr}_A((A\otimes B)\rho_{AB})$ in terms of $A$, $B$, $\rho_A$ and $\rho_B$?

For a density matrix $\rho_{AB}$ and some operators $A, B$, is there a way to express $$\text{Tr}_A((A\otimes B)\rho_{AB})$$ using the reduced states $\rho_A$ and $\rho_B$ and operators $A$ and $B$? ...
1
vote
1answer
61 views

If you apply a unitary transformation to an entangled state, is it still entangled?

See title. If this is not true, is there a counter example? If it is not true, does it hold true for certain combinations of unitaries and entangled states?
1
vote
2answers
64 views

How does the sum of two operators act on a two-level system of qubits?

I am confused how the sum of N operators will act on an N-level system of qubits. Here, lets say N=2 so the state is $|00⟩_{CD}$. Then how will this operator $ X_{C} + Z_{D} ⊗ I_{C} + X_{D}$ act on ...
4
votes
2answers
109 views

In Stinespring dilation, can we always use a mixed state as the ancilla?

The Stinespring dilation theorem states that any CPTP map $\Lambda$ on a system with Hilbert space $\mathcal{H}$ can be represented as $$\Lambda[\rho]=tr_\mathcal{A}(U^\dagger (\rho\otimes |\phi\...
2
votes
1answer
78 views

Is the order of the tensor product in $|\phi\rangle\otimes|\chi\rangle=|\chi\rangle\otimes|\phi\rangle$ relevant? [duplicate]

I am reading this book “Quantum Computing Explained” by David McMahon. I found the following statement on page 74 Note that the order of the tensor product is not relevant, meaning $|\phi\rangle \...
2
votes
1answer
39 views

How do I represent my 3-qubit state in the computational basis?

I have taken the tensor product of $|0\rangle \otimes |-\rangle \otimes |+\rangle$ which resulted in the matrix $$\begin{bmatrix} 1/2\\ 1/2 \\ -1/2 \\ -1/2 \\ 0 \\ 0\\ 0\\ 0\\ \end{bmatrix}.$$ How ...
1
vote
1answer
55 views

Does $\mathrm{tr}(A \otimes B) = \mathrm{tr} (A) \otimes \mathrm{tr}(B)$ hold for partial trace?

I was reading this question from this site answered by DaftWullie. I would like to request you to read the question there. The answer says However, in this particular case, the calculation is much ...
4
votes
2answers
51 views

Are the two ways of interpreting the expression $(|a\rangle\otimes|b\rangle)(\langle c|\otimes\langle d|)(|e\rangle\otimes |f\rangle)$ equivalent?

Reading Nielsen and Chuang, I am under the impression that a linear operator on the tensor product can be written in two ways: \begin{equation} (\left|a\right> \otimes \left|b\right>)(\left<c\...
4
votes
3answers
120 views

Writing state $ |\Psi⟩ =\frac{1}{\sqrt{2}}|00⟩+\frac{i}{\sqrt{2}}|01⟩$ as separate qubits (qiskit textbook)

While going through the IBM qiskit textbook online, I came across the following question in section 2.2: Write the state: $ |\Psi⟩ =\frac{1}{\sqrt{2}}|00⟩+\frac{i}{\sqrt{2}}|01⟩$ as two separate ...
3
votes
2answers
69 views

Show that the two circuits are equivalent mathematically

This exercise wants me to prove the equivalence of the two circuits using their mathematical representations. Circuit 1: Circuit 2: Circuit 1 (q1 CNOT ...
5
votes
1answer
79 views

Stinespring dilation: Size of environment

Let $\mathcal{E}_{A\rightarrow B}$ be a quantum channel and consider its $n-$fold tensor product $\mathcal{E}^{\otimes n}_{A^n\rightarrow B^n}$. Any isometry $V_{A\rightarrow BE}$ that satisfies $\...
2
votes
1answer
77 views

Discrepancy in inner product between tensor products

I have noticed one identity in case of tensor product from this post. But I can't understand why it is true. $\langle v_i| \otimes \langle w_j| \cdot |w_k\rangle \otimes |v_m\rangle = \langle v_i|v_m\...
3
votes
1answer
100 views

Simulate Hamiltonians with Pauli operations (controlled time evolution)

I had a question last week regarding the simulation of Hamiltonians composed of the sum of Pauli products: How can I simulate Hamiltonians composed of Pauli matrices? I'm having a follow-up question: ...
1
vote
1answer
57 views

Trace distance of two classical-quantum state with hashing

Let's say I have a classical-quantum(cq) state $\rho_{XE}$, where the classical part $(X)$ is orthogonal. It's trace distance from another uniform density operator is defined to be: $$ \frac{1}{2}||\...
5
votes
2answers
75 views

Can every bipartite state be written as $\rho_{AB} = \sum_{ij} c_{ij}\sigma_A^i\otimes \omega_B^j$?

Can every bipartite quantum state (including entangled ones) be written in the following way $$\rho_{AB} = \sum_{ij} c_{ij}\sigma_A^i\otimes \omega_B^j$$ where $\sigma_A^i$ and $\omega_B^j$ are ...
4
votes
2answers
76 views

Quantum tensor product closer to Kronecker product?

Coming more from a computer science background, I never really studied tensor products, covariant/contravariant tensors etc. So until now, I was seeing the "tensor product" operation mostly ...
5
votes
4answers
86 views

Bell state preparation

I was watching some lectures on qubits. They were talking about how to generate a Bell state. They described it as follows: Prepare state 00: $$\left |0 \right> \otimes \left |0 \right>$$ Apply ...
1
vote
0answers
64 views

Changing the Basis

I am attempting to use a VQE algorithm to find the ground state of a deuterium nucleus by applying a constructed hamiltonian to an ansatz state with one parameter created by a circuit. While I am ...
2
votes
2answers
139 views

Is there a good way to mathematically write a CNOT operation over non-neighboring qubits in a circuit? [duplicate]

I was wondering if there is any way to present the CNOT matrix as we usually present single qubit operations $$... 1 \otimes NOT \otimes 1 ...$$ I know that for adjacent qubits in a circuit we can ...
5
votes
3answers
238 views

Is the tensor product of two states commutative?

I'm reading "Quantum Computing Expained" of David McMahon, and encountered a confusing concept. In the beginning of Chapter 4, author described the tensor product as below: To construct a ...
3
votes
3answers
264 views

Show that a $CZ$ gate can be implemented using a $CNOT$ gate and Hadamard gates

Show that a $CZ$ gate can be implemented using a $CNOT$ gate and Hadamard gates and write down the corresponding circuit. Recall from Quantum Information Theory that $Z=HXH$. As $CNOT$ is a ...
0
votes
1answer
45 views

Grover oracle result: vectors (0,1) & (0,1) => two Hadamards => product of two H results => CZ = (.5, .-5, -.5, -.5)

According to the Grover's algorithm section in the IBM Quantum Experience, if I have two qubits in the "one" state (vectors (0,1) and (0,1)), and I apply a Hadamard gate to each of them, and then ...
0
votes
3answers
89 views

Generic maths for two-qubit gates [closed]

With regard to this question/answer: How's the generalized behaviour of a two-qubit gate for the resulting two qubits? Here e.g. CNOT: If I apply the CNOT matrix to the tensor product, also the ...
0
votes
1answer
58 views

Tensor Product in Q#

Does anyone know how you can obtain a new state |z> from two pre-existing states |x> and ...
1
vote
1answer
118 views

How do I compute the output of quantum circuit involving multiple gates?

I'm new in quantum computing, I have this question. Qubits $x$ and $y$ are in $\mathbb{C}^2$ (column vector) and $A, B$ are unitary matrices ($A$ 8x8 and $B$ 4x4 matrix). If I'm not wrong the input ...
1
vote
1answer
65 views

Composition of tensor product

I don't have much confidence with density matrices, and I would like to be sure about a property of composition of tensor products operations. Specifically, $$ \sum_i \sum_j |a_i\rangle|b_i\rangle\...
1
vote
1answer
70 views

IBM quantum circuit - order of tensor product for equivalent matrix

I'm trying to understand how to apply tensor products on a 3 qbit systems (or well at least 2 qbits). Let's take a basic example: where $$\lvert \psi \rangle = \lvert q2q1q0\rangle $$ with q2 being ...
2
votes
1answer
112 views

What does the notation $U(B,\beta) = \prod_{j =1}^n e^{-i \beta \sigma_j^x} $ mean in the context of QAOA?

In the article Quantum Observables for continuous control of the Quantum Approximate Optimization Algorithm via Reinforcement Learning, the following notation is used to describe an Unitary operation ...
3
votes
2answers
198 views

What is a local operator?

I have a sort of basic question. I think an operator that acts on $n$-partite states is defined (up to permutation of parties) to be local if it can be written as $$A = A_1 \otimes_{i=2}^n \mathbb{I}...
2
votes
1answer
73 views

2 qubit gate operation on multi qubit systems

Considering a 3 qubit system, what does the matrix operation will look like if I apply CNOT on qubit 1 and qubit 2 and then apply CNOT on qubit 1 and qubit 3?
2
votes
2answers
88 views

Is kronecker product identifiable?

I have a unitary matrix $U$ and a quantum state $\vert \Psi \rangle$ such that $$ U \vert \Psi \rangle = e^{i \theta} \vert \Psi \rangle.$$ I also know that my unitary matrix and my quantum state can ...
3
votes
1answer
419 views

Quantum Principal Component analysis by Seth Lloyd

I am currently reading the paper quantum principal component analysis from Seth Lloyd's article Quantum Principal Component Analysis There is the following equation stated. Suppose that on is ...
4
votes
1answer
104 views

How to obtain the tensor-product of two quantum operations (superoperators) explicitly?

I have an amplitude damping channel, denoted as a superoperator $\mathcal{E}$ with operator elements \begin{matrix} E_1=\begin{pmatrix} 1 & 0 \\ 0 & \sqrt{1-r} \end{pmatrix},\quad ...
4
votes
1answer
63 views

How should I interpret $|2\rangle|3\rangle$?

I am a beginner at QC. I was going through the basics of multi-qubits I encountered a state $|2\rangle|3\rangle$. I want clarification on the following points: Can I write $|2\rangle$ as $|10\...
1
vote
0answers
32 views

Clarification of bra-ket notation [duplicate]

How do I get from equation 1.31 to equation 1.32? It seems like some terms are changing.
6
votes
2answers
144 views

Prove that $\|p^{\otimes n} - q^{\otimes n}\| \leq n \|p-q\|$ for density operators $p,q$

I've been trying to figure this out for a while and I'm totally lost. My goal is to show that for two density operators $p$, $q$, that $$||p^{\otimes n} - q^{\otimes n}|| \leq n ||p-q||$$ So far ...
2
votes
1answer
159 views

Understanding the action of operators on vectors in tensor product spaces

I'm studying Quantum Computing: A Gentle Introduction. On page 33, Section 3.1.2, after defining tensor product with 3 properties (distribution over addition on both left and right, scalar on both ...
8
votes
2answers
143 views

Is there an algorithm for determining if a given vector is separable or entangled?

I'm trying to understand if there is some sort of formula or procedural way to determine if a vector is separable or entangled – aka whether or not a vector of size $m$ could be represented by the ...
4
votes
3answers
152 views

How to factor the output of a CNOT acting on the input $|-,+\rangle$

I am trying to implement the Deutsch oracle in classical computer, using direction from this talk. There is this slide where they show how the CNOT gate modify 2 Hadamard transformed Qubits: While ...
0
votes
2answers
33 views

The correct set of measurement operators on a mutiple qubit system

I was wondering if the complete set of measurement operators for a state : $|\phi \rangle=c_{00}|00\rangle+c_{01}|01\rangle+c_{10}|10\rangle+c_{11}|11\rangle$ Would be given by : $P_0\otimes I=|00\...
2
votes
1answer
45 views

Derive one equation from the other

Equation 1.31 in Quantum Computation and Quantum Information a textbook by Isaac Chuang and Michael Nielsen is as follows, $\left|\psi_2 \right> = \frac{1}{2}[\alpha(\left|0 \right>+\left|1 \...
3
votes
2answers
130 views

Which representation describes the composite Hilbert space?

Very often in the standard textbooks on quantum mechanics, one finds that the joint Hilbert space of two systems is given by the tensor product of the individual Hilbert spaces. That is, if $H_1$ and ...
2
votes
1answer
104 views

Kronecker product and multiplication operation on qubit states

It may look a silly question but anybody of you knows what's: $$(|0\rangle+|1\rangle)\otimes(|0\rangle+|1\rangle)$$ (x: Kronecker operator) $$(|0\rangle+|1\rangle)*(|0\rangle+|1\rangle)$$ (*: ...
2
votes
2answers
172 views

How do I write a tensor product of conditional gates in matrix form?

I am writing a program where I need to find the eigenstates of an operator that is a Kronecker product of conditional quantum gates. I am wondering how I would compute this product in matrix form as ...
7
votes
2answers
150 views

How to interpret $-\rvert1\rangle \otimes \rvert1\rangle = -\rvert11\rangle$?

I'm having trouble accepting, intuitively, that $-\rvert1\rangle \otimes \rvert1\rangle = -\rvert11\rangle = \rvert1\rangle \otimes -\rvert1\rangle$. It's my understanding that $ -\rvert1\rangle$ ...