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
3
votes
3answers
111 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 ...
2
votes
3answers
53 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
35 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 ...
1
vote
3answers
64 views

Generic maths for two-qubit gates

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
54 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
40 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
55 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
37 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
80 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
85 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
59 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
80 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 ...
2
votes
1answer
173 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. I know from the ...
3
votes
1answer
80 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
30 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
133 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
123 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 ...
7
votes
2answers
104 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
98 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
32 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
39 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
100 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
95 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
126 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
146 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
119 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
68 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
73 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
274 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
289 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
236 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^...
5
votes
2answers
1k 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
53 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
84 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
741 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
147 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
962 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 ...
7
votes
3answers
2k 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
1k 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
812 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
240 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
193 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
90 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
91 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 ...
3
votes
1answer
148 views

How is the joint state of these qubits derived?

Can someone show to me the steps to derive the joint state at the bottom of this image, please? I tried to follow his explanation but I didn't get the same results… This is taken from the lecture ...
5
votes
1answer
120 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
145 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\}$...
23
votes
2answers
7k 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
292 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 ...