Source-verifiedLevel 3

Tensor Product

The tensor product combines the state spaces of individual quantum systems into the state space of the composite system: two qubits live in the 4-dimensional space spanned by |00>, |01>, |10>, |11>, and n qubits in a 2^n-dimensional space.

What it means

If system A has Hilbert space H_A and system B has H_B, the composite system lives in the tensor product space H_A (x) H_B, whose dimension is the product of the individual dimensions.Basis states combine as |a> (x) |b> (written |ab> for short), and operators act factor-wise: (A (x) B)(|a> (x) |b>) = A|a> (x) B|b>.This multiplicative growth is why n qubits span 2^n dimensions -- the structural origin of the exponential state space of quantum computers.Crucially, not every state in H_A (x) H_B factors as |psi_A> (x) |psi_B>: states that cannot be factored are entangled (for example the Bell state (|00> + |11>)/sqrt(2)).In matrix form the tensor product is the Kronecker product, which builds larger gate matrices from smaller ones, such as H (x) I acting on the first of two qubits.

Everyday analogy

It is like making outfits from a closet: if you have 2 shirts and 3 pairs of pants, you can make 2 x 3 = 6 outfits -- combining systems multiplies the possibilities instead of adding them.
The Kronecker product is like a photocopier with scaling: it stamps a scaled copy of the second matrix into every cell of the first.

Common misconceptions

  • Not every multi-qubit state is a tensor product of single-qubit states -- states that cannot be factored are entangled, and they make up most of the composite space.
  • The tensor product is not symmetric under swapping factors: A (x) B and B (x) A are different matrices (related by a reordering of basis labels), so qubit ordering conventions matter.
  • The dimension of the composite space MULTIPLIES (2^n for n qubits), it does not add -- this is different from combining classical bit registers, where description length adds.

Key takeaways

  • Composite quantum systems live in the tensor product of the component spaces: dim(H_A (x) H_B) = dim(H_A) x dim(H_B).
  • n qubits span a 2^n-dimensional space -- the structural origin of quantum computing's exponential state space.
  • States that cannot be written as a tensor product of single-system states are entangled.

Check your understanding

What is the dimension of the state space of 3 qubits?

  1. A.3
  2. B.6
  3. C.8
  4. D.9
Show the answer

Answer: C. 8

Why: Each qubit contributes a factor of 2 via the tensor product, so 3 qubits span a 2^3 = 8-dimensional space.

Builds on

QubitDirac (Bra-Ket) NotationSuperposition

Primary source: Nielsen & Chuang, Quantum Computation and Quantum Information, Cambridge University Press (2010), Section 2.1.7

Graded 2026-07-10 (human sign-off): established per Nielsen & Chuang (2010), Section 2.1.7.

Learn it hands-on

This concept is part of a 46-level curriculum with an interactive simulator and Lumen, a tutor whose answers are verified before you see them. Levels 1–5 are free.

Start freeSee the curriculum