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
0 votes
1 answer
52 views

Applying CNOT operator to specific qubits in a composite system

In the given problem statement, How do I apply the fourth operation i.e. how to apply a $CNOT_{c=3,t=1}$ to a 3-bit composite system: Approach: First, each bit is set to the state 0. Therefore ...
2 votes
1 answer
60 views

Encoding arbitrary quantum gates using qubits

Given an arbitrary 3-qubit state $\sum_{xyz} c_{xyz}|xyz\rangle$, is there a circuit (possibly with measurement) that creates the state $\sum_{xy} c_{xyy}|x\rangle$, up to a normalization constant? As ...
  • 123
3 votes
1 answer
51 views

How to write down product operators acting on non-adjacent subsystems?

Given the following fusion gate (type-2) which is projecting 2 qubits to an even state $$F_{ZZ}=(\langle00|+\langle|11|)$$ I would like to find the operator for the bigger space. For example, if I ...
  • 1,012
2 votes
1 answer
84 views

What is the tensor product expression for the following quantum circuit? [duplicate]

Qiskit generates the following matrix for this 3-qubit CNOT circuit. Can anyone explain how do we get this mathematically ? This is the Quantum Circuit This is the Output of Unitary Simulator
2 votes
0 answers
73 views

Ordered Tensoring of Operators

Novice warning: I have a strong feeling I am simply misunderstanding something fundamental! Setup: Classically - I taken in some structured input and assign to each qubit $q_i$ in a register $Q = \{...
  • 21
1 vote
1 answer
43 views

Calculating the product between two bra vectors

Let |Y> and |S> be two unitary (quantum gates) such that ...
1 vote
2 answers
58 views

Inner product of multiple qubit registers

I have read the following statement in some lecture notes: The inner product of two n-qubit registers is taken by mirrored qubit pairs. Example: $\lvert ABC\rangle$ and $\lvert abc \rangle$ leading ...
  • 113
6 votes
1 answer
159 views

How to check if a $n$-qubit unitary is the tensor product of single-qubit unitaries

Let's assume I give you the expression of a unitary matrix acting on two qubits that is: $$U=\sum_{i} A_i \otimes B_i$$ for some operators $A_i$ and $B_i$. Is there a simple criterion allowing you to ...
1 vote
2 answers
60 views

Basis for permutation invariant states

It is known that the maximally entangled qubit states form a basis (the Bell basis). Let $\Phi$ be the canonical maximally entangled state i.e. $$\Phi = \left(\frac{\vert 00\rangle + \vert 11\rangle}{\...
  • 2,169
1 vote
1 answer
35 views

Raise tensor product to float power in qiskit

I am trying to implement the gate $(X \otimes X)^\alpha$ where $X$ is the standard Pauli-X gate, $\otimes$ is the tensor product and $\alpha$ is a real number. Is there a way to implement this in a ...
3 votes
2 answers
83 views

What justifies using tensor product of matrices for parallel gates when applying them to an entangled state?

In my university we defined tensor product of two matrices $A$, $B$ as a matrix $A \otimes B$ such that for any vectors $\left| \phi \right>$, $\left| \psi \right>$ the following is satisfied: $$...
  • 33
1 vote
0 answers
37 views

Entropy relations in classical-quantum states with conditioned independence

Consider a classical-quantum (pure) state $\rho_{AEBC}$ where $A,C$ are classical registers. Suppose $\rho$ can be written in the following form: $$\rho = \sum_{c} \alpha_c \vert c\rangle\langle c|\...
  • 429
2 votes
1 answer
34 views

Sampling Haar over two systems

Say $M$ is a matrix acting on $C^r \otimes C^s$. $X$ is the system of dimension $r$, and $Y$ is the system of dimension $s$. With $|\psi\rangle$ sampled from Haar, how can we show that $$ \int (...
  • 153
2 votes
2 answers
64 views

Applying controlled unitary operations during quantum phase estimation

I am trying to understand Shor's algorithm for a personal research project. I am currently going through quantum phase estimation, and have came accross something I'm struggling to understand in the ...
0 votes
1 answer
58 views

General Ehrenfest Theorem applied to N-qubit system operator

Please advise if the following short calculation of the derivative of the expectation value of an all spin Pauli-$\hat{Y}$ operator (acting on a $N$-qubit system) is consistent: The general Ehrenfest ...
  • 719
5 votes
1 answer
86 views

What is the Stinespring dilation of $T\otimes I$ for some CPTP map $T$?

Let $T: \mathcal{H}_A \rightarrow \mathcal{H}_B$ be a CPTP map with Stinespring extension $U: \mathcal{H}_{A} \rightarrow \mathcal{H}_{B} \otimes \mathcal{H}_E$. That is $U$ is an isometry such that ...
  • 429
5 votes
2 answers
147 views

Relationship between entanglement and complex vector space

In the article Quantum Algorithm Implementations for Beginners I found the following sentence Entanglement makes it possible to create a complete $2^n$ dimensional complex vector space to do our ...
0 votes
2 answers
118 views

Does the 4x4 matrix $|00\rangle\!\langle00|+|11\rangle\!\langle11|$ have a decomposition?

Can the diagonal matrix $$\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0& 0 \\0&0&0&0 \\ 0&0&0&1 \end{pmatrix}$$ be written as a tensor product $A\otimes B$...
  • 548
1 vote
1 answer
62 views

Why do unitaries act on maximally entangled states as $(U\otimes I)|\phi\rangle=(I\otimes U^T)|\phi\rangle$?

I was reading about teleportation which had the following Bell counterpart in $N$ dimensions $|{\phi}\rangle=\sum_{i=0}^{N-1}|i\rangle\otimes|i\rangle$. The next line was $$(U\otimes I)|\phi\rangle=\...
  • 1,380
0 votes
1 answer
57 views

Is factoring of a product state unique?

Suppose I have a product state of two qubits (i.e. a vector of size 4x1). Given it is separable (no entanglement), is this separation unique?
  • 363
1 vote
1 answer
82 views

Two-qubit Bell measurement matrix where the two qubits are not contiguouis

In the answer here, it is explained that where the measurement operates on only a subset of the qubits of the system (for example qubits 2 and 3 out of five), the matrix can be constructed using the ...
2 votes
1 answer
85 views

Transformation matrix for a two-qubit operation where there are more than two qubits

I have an OPENQASM program that performs entanglement swapping. It has five qubits: the data qubit and four link qubits. It works, but I want to see the details of the Bell measurement transformation. ...
5 votes
2 answers
52 views

What is the form of a unitary $U$ that preserves the marginals on a given state, $\text{Tr}_A(U\rho_{AB} U^\dagger) = \rho_B$?

Suppose for some quantum state $\rho_{AB}$ and unitary $U_{AB}$, one has $$\text{Tr}_A(U\rho U^\dagger) = \rho_B$$ does this imply that $U_{AB} = U_A\otimes I_B$? Also, the same question as above, but ...
  • 2,169
3 votes
1 answer
77 views

How to measure a correlated operator $Z_1Z_2$?

I was reading this articl and I am stuck trying to understand equation $(60)$, which reads $$\langle\psi|\Lambda_{1,2}(X)Z_1\Lambda_{1,2}(X)|\psi\rangle=\langle\psi|Z_1Z_2|\psi\rangle$$ where $\Lambda(...
  • 177
0 votes
1 answer
103 views

How to apply 2x2 matrix transformation gates upon 1x4 tensor product columns of two tensored qubits?

The tensor product of two qubits yields a 4-row column vector. Once tensored, how are we supposed to apply common gates such as NOT on just one of the qubits, an operation which expects 2x2 or at ...
  • 101
1 vote
1 answer
48 views

why is $H^{⊗2}$ used to denote the parallel action of two Hadamard gates?

Why is the tensor product used here, what's its meaning? I learned tensor products as an operation between 2 matrices, and have an effect such as the follows: How does the tensor product above relate ...
  • 629
0 votes
1 answer
93 views

Negative Probability — Reality vs Description [closed]

I understand that quantum physics supports the concept that the probability of a qubit collapsing into (say) 1, can be negative or positive… and that quantum computing uses this as a feature, adding ...
3 votes
2 answers
163 views

Confusion regarding the tensor product usage in book

I have recently started with quantum computing, and I've found great book about it - Learn Quantum Computing with IBM Quantum Experience, which explains a lot of things in quite a simple language. ...
4 votes
1 answer
299 views

Python shorthand for tensor product (Kronecker product)

When using numpy or tensorflow in Python, we can simply write C = A @ B for matrix ...
  • 151
-2 votes
2 answers
134 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⟩) \...
  • 195
2 votes
1 answer
324 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 ...
4 votes
2 answers
80 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}\...
  • 113
3 votes
2 answers
243 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 ...
5 votes
1 answer
220 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
1 answer
141 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 ...
3 votes
1 answer
110 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&...
  • 97
2 votes
1 answer
233 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
1 answer
223 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 ...
  • 13
3 votes
2 answers
123 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$? ...
  • 395
0 votes
1 answer
523 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
2 answers
143 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 ...
5 votes
2 answers
206 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
1 answer
118 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 \...
  • 925
2 votes
1 answer
141 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 ...
  • 101
2 votes
1 answer
97 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 ...
  • 925
4 votes
2 answers
63 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\...
  • 141
5 votes
3 answers
417 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
2 answers
206 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 ...
  • 139
5 votes
1 answer
144 views

Does $\mathcal E^{\otimes n}$ admit a more efficient Stinespring dilation than the one used for $\mathcal E$?

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,169
2 votes
1 answer
84 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\...
  • 925