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 [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.

2
votes
2answers
46 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 ...
6
votes
2answers
116 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$ ...
3
votes
2answers
117 views

Writing the notation when gates act on non successive registers

Suppose I have registers $|a\rangle^{l}|b\rangle^{l} |c\rangle^{l}$ and want an adder mod $l$ gate between the $a$ and $c$ registers. Let $R$ be the adder mod $l$ gate. So is this the correct ...
2
votes
0answers
59 views

Kronecker notation of an operator

Suppose I have the state $|A\rangle=|x\rangle^l\otimes |y\rangle^l \otimes |z\rangle^l \otimes |0\rangle_x^l\otimes |0\rangle_y^l\otimes |0\rangle_z^l$. I perform the transformation between the $|x\...
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 ...
2
votes
2answers
70 views

What is the tensorial representation of the quantum swap gate?

I need to write the tensorial representation of the Controlled Swap Gate, what I have written is $\operatorname{CSWAP}=|0\rangle\langle0|\otimes I\otimes I+|1\rangle\langle1|\otimes U$, where U is ...
3
votes
1answer
100 views

Notation for two qubit composite product state

In my lecture notes on quantum information processing my lecturer gives an example of composite systems as $|\phi\rangle=|0\rangle |0\rangle=|00\rangle$. I understand that if we have two qubits then ...
3
votes
1answer
148 views

Quantum Toffoli gate equation

I was reading a research article on quantum computing and didn't understand the tensor notations for the unitary operations. The article defined two controlled gates. Let $U_{2^m}$ be a $2^m \times 2^...
4
votes
2answers
429 views

Composing the CNOT gate as a tensor product of two level matrices

I don't understand, why is the control not gate used so often. As far as I understand it, if you apply two 2 level operations on two qubits then you get a 4 x 4 matrix by the tensor product. So how ...
1
vote
1answer
44 views

Better Way Of Separating Two CQ-States

I have this cq-state: $$\frac{1}{2} \times (|0\rangle \langle0|_A \otimes \rho^0_E + |1\rangle \langle1|_A \otimes \rho^1_E)$$ Where Alice (A) is classical and an adversary Eve (E) has some ...
1
vote
1answer
80 views

Proof that $2^n \times 2^n$ operator be decomposed in terms of $2 \times 2$ operators

What is the proof that any $2^n\times 2^n$ quantum operator can be expressed in terms of the tensor product of $n$ number of $2\times 2$ quantum operators acting on a single qubit space each?
6
votes
2answers
357 views

Partial trace over a product of matrices - one factor is in tensor product form

$$Tr(\rho^{AB} (\sigma^A \otimes I/d)) = Tr(\rho^A \sigma^A)$$ I came across the above, but I'm not sure how it's true. I figured they first partial traced out the B subsystem, and then trace A, but ...
4
votes
0answers
78 views

Clock matrix vs matrix clock

In the process of research leading up to my previous question, I found out about matrix, vector & logical clocks. The citation in the aforementioned question mentions clock and shift matrices. ...
1
vote
1answer
189 views

Proof of no-cloning

I was reading a proof of No-cloning theorem, there are a couple of steps that are not clear to me, but the book does not give explanation for them. So here it is: Theorem: It is impossible to create ...
6
votes
3answers
668 views

Why is the state of multiple qubits given by their tensor product?

How did we derive that the state we get by $n$ qubits is their tensor product? You can use $n=2$ in the explanation for simplicity.
3
votes
5answers
668 views

What circuit or operation corresponds to the tensor product?

What Clifford gate circuit operating on states $|\psi_1\rangle$ and $|\psi_2\rangle$ prepares the state $|\Psi\rangle=|\psi_1\rangle \otimes |\psi_2\rangle$ ?
4
votes
4answers
767 views

What role does the non-commutativity of the tensor product play in experimental quantum computation?

We know that $H_A\otimes H_B\neq H_B\otimes H_A$ (in general). Theoretically, we know the formalism and what observables to construct from the two compositions possible, but we never talk about both ...
3
votes
1answer
147 views

Confusion over tensor products in sympy.physics.quantum.qubit (in Python)

I am working with sympy.physics.quantum.qubit to help teach myself more about quantum computing. I'm confused about how best to simplify two ket expressions that ...
2
votes
2answers
155 views

Tensor product between operators

If the state of one qubit can be described by a ray in $\mathbb{C}^2$, then the combined state of an $n$-qubit system can be described by a ray in $(\mathbb{C}^2)^{\otimes n}=\mathbb{C}^{2 n}$. ...
4
votes
1answer
51 views

How to calculate tensor product for the magic square

The magic square game is a two-player pseudo-telepathy game that was presented by Padmanabhan Aravind, who built on work by Mermin. In the magic square we have ones in columns (odd number) and rows (...
5
votes
2answers
81 views

Simplifying Quantum Tensor products with coefficients

$\newcommand{\ket}[1]{\lvert#1\rangle}$I am trying to show equality of two intermediate steps in the rearrangement of the Quantum Fourier transform definition, but I do not know how to rearrange the ...
5
votes
1answer
118 views

What is the $\left| 22\right>$ state?

I came across with a problem that involves $2$ quantum trits in state $\left| 22 \right>.$ What is it's tensor product interpretation and a matrix interpretation?
7
votes
2answers
107 views

Confusion regarding projection operator

Suppose we have a qutrit with the state vector $|\psi\rangle = a_0|0\rangle + a_1|1\rangle + a_2|2\rangle$, and we want to project its state onto the subspace having the basis $\{|0\rangle,|2\rangle\}$...
17
votes
2answers
3k views

How do I show that a two-qubit state is an entangled state?

The Bell state $|\Phi^{+}\rangle = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle )$ is an entangled state. But why is that the case? How do I mathematically prove that?
3
votes
1answer
178 views

Tensor product properties used to obtain Kraus operator decomposition of a channel

I work on a Quantum Information Science II: Quantum states, noise and error correction MOOC by Prof. Aram Harrow, and I do not understand which property of tensor products is used in one of the ...
9
votes
1answer
213 views

How to keep track of entanglements when emulating quantum computation?

I am trying to build a quantum computation library as my university project. I am still learning all the aspects of the Quantum Computing field. I know there are efficient libraries already for ...
4
votes
1answer
138 views

What do we mean by the notation $\lvert \mathbf{x}, 0\rangle$?

In quantum computation, a common operation performed between two quantum states is the tensor product, which allows us to create a new and higher-dimensional state from two lower-dimensional states. ...
7
votes
2answers
75 views

Symmetry of tensor product w.r.t. Vazirani 2-qubit video

Quantum Computing (QC) pioneer Vazirani has graciously long provided some nice videos on an intro to QC. E.g. in "2 qubit gates + tensor product" (2014) he introduces the tensor product w.r.t. QC ...