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
-2
votes
2answers
74 views

Tensor product and Dirac notation

Can someone shows me how to proof this equality: $\frac{1}{\sqrt2}(\alpha|000⟩+\alpha|011⟩ + \beta|100⟩ + \beta|111⟩ )$ = $ \frac{1}{2\sqrt2}[(|00⟩+|11⟩) \otimes (\alpha|0⟩+\beta|1⟩) + (|01⟩+|10⟩) \...
2
votes
1answer
74 views

How the single qubit unitary (U) calculates when apply a gate to only one qubit at a time?

Qiskit Textbook, Chapter 2, Section 2.2. Single Qubit Gates on Multi-Qubit Statevectors (here). In here, they have described that: If we want to apply a gate to only one qubit at a time (such as in ...
3
votes
1answer
61 views

For a bipartite operator $M\in L(H_{AB})$, suppose $0\leq M\leq \mathbb{I}$. Prove $M^{AB}\leq M^A\otimes \mathbb{I}$

As stated in the title, let $M$ be a linear operator on a finite bipartite Hilbert space. Suppose $0\leq M^{AB}\leq \mathbb{I}$ and $0\leq M^A,M^B\leq\mathbb{I}$, where $M^A=\mathrm{Tr}_B\left(M^{AB}\...
3
votes
2answers
220 views

Is it possible to retrieve $|\psi_1\rangle,|\psi_2\rangle$ from their tensor product $|\psi_1\rangle\otimes|\psi_2\rangle$?

Consider two quantum states$$\left| \psi_1 \right> = \alpha \left|0\right> + \beta\left|1\right>$$ and $$\left| \psi_2 \right> = \gamma \left|0\right> + \delta\left|1\right>$$ Now ...
4
votes
1answer
50 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
83 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
65 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
30 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
64 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
100 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
82 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
87 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
119 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
87 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
40 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
65 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
55 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
137 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
70 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
86 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\...
4
votes
1answer
112 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
62 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
81 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 ...
5
votes
2answers
89 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
98 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
81 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
152 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
279 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
374 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
49 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
101 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
65 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
162 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
69 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\...
2
votes
1answer
94 views

IBM quantum circuit - order of tensor product for equivalent matrix

I'm trying to understand how to apply tensor products on 3-qubit systems (or well at least 2 qubits). Let's take a basic example: where $$\lvert \psi \rangle = \lvert q_2q_1q_0\rangle $$ with $q_2$ ...
2
votes
1answer
118 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
245 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
77 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
94 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
494 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
111 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
147 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
169 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
151 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
162 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
38 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
50 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 \...