Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have read that in quantum mechanics, compound systems are constructed as tensor products.

But on page 177 of Griffith, for example, a two body wavefunction is introduced as Psi (x1,y1,z1,x2,y2,z2,t). (Six space dimensions plus time) This is clearly a direct sum, not a tensor product.

If this is correct, when do you use a direct sum and when do you use a tensor product?

Why isn’t the tensor product representing the two body system

Psi(x1x2,x1y2,x1z2,y1x2,y1y2,y1z2,z1x2,z1y2,z1z2,t) or something similar?
(nine tensor dimensions plus time). What am I misunderstanding?

And what are the tensor space dimensions?
Or how do these abstract dimensions relate to physical lab space dimensions?

share|cite|improve this question
up vote 6 down vote accepted

The composition law for quantum systems is always a tensor product. Your problem arises from a confusion over what the tensor product is applied to: you are trying to tensor product the spatial coordinates together, when it is in fact the basis vectors of the Hilbert space you should be tensoring together.

More formally, take two quantum systems A and B, with corresponding Hilbert spaces $\mathcal{H}_A$ and $\mathcal{H}_B$. The state of the joint system (A & B) lives in the tensor product space $\mathcal{H}_{AB} = \mathcal{H}_A \otimes \mathcal{H}_B$. This is a fancy-pants way of saying that the basis vectors of the combined Hilbert space look like $$|\phi\rangle = |A\rangle\otimes|B\rangle.$$ A general state can therefore be written as $$|\psi\rangle = \sum\limits_{jk} c_{jk} |A_j\rangle \otimes |B_k\rangle, $$ where the $\{|A_j\rangle\}$ and $\{|B_k\rangle\}$ span Hilbert spaces $\mathcal{H}_A$ and $\mathcal{H}_B$ respectively, and $c_{jk}$ are complex numbers. As you would expect, if the two Hilbert spaces have dimension $d$ (if they are spanned by $d$ basis vectors each) then the combined Hilbert space has dimension $d^2$. A general $N$-body Hilbert space has dimension $d^N$.

If the two quantum systems are the position degrees of freedom of two particles, then the total wavefunction looks like $$\Psi = \sum\limits_{jk} c_{jk} \psi_j^{(1)}(x_1,y_1,z_1,t)\psi^{(2)}_k(x_2,y_2,z_2,t),$$ which clearly depends on 6 spatial coordinates plus time.

share|cite|improve this answer
But isn’t the space of wavefunctions on the config space, i.e. functions like $ \psi(x_1,y_1,z_1,x_2,y_2,z_2,t)$ bigger than your space of wavefunctions $\Psi = \sum\limits_{jk} c_{jk} \psi_j^{(1)}(x_1,y_1,z_1,t)\psi^{(2)}_k(x_2,y_2,z_2,t)$ ? – twistor59 Oct 26 '12 at 16:58
No, this form encapsulates every possible wavefunction. If it helps, I can always write any bipartite state of any kind in Dirac notation as $$|\Psi\rangle = \sum\limits_{j,k} c_{jk} |\psi^{(1)}_j\rangle \otimes |\psi^{(2)}_k\rangle. $$ If these states describe continuous degrees of freedom like positions, then I can project onto the basis kets as follows: – Mark Mitchison Oct 26 '12 at 17:43
\begin{eqnarray} \Psi(\mathbf{x}_1,\mathbf{x}_2) &=& (\langle \mathbf{x}_1| \otimes \langle \mathbf{x}_2|)\; |\Psi\rangle \\ &=& \sum\limits_{j,k} c_{jk}\, \langle \mathbf{x}_1 | \psi^{(1)}_j\rangle \otimes \langle \mathbf{x}_2| \psi^{(2)}_k\rangle \\ &=& \sum\limits_{j,k} c_{jk}\, \psi_j^{(1)}(\mathbf{x}_1)\psi_k^{(2)}(\mathbf{x}_2). \end{eqnarray} – Mark Mitchison Oct 26 '12 at 17:46
No, I wasn't thinking of that. The question didn't specify that the particles were non-interacting. What if the w.f. depends on the separation distance between the particles? Can you represent it as a sum of products of wavefunctions of the "1" coordinates and wavefunctions of the "2" coordinates? – twistor59 Oct 26 '12 at 18:21
@Jim: Does this help? The tensor product $L^2(\mathbb{R}^3)\otimes L^2(\mathbb{R}^3)$ is isomorphic to $L^2(\mathbb{R}^3\times\mathbb{R}^3)$. And the cartesian product is $\mathbb{R}^3\times\mathbb{R}^3=\mathbb{R}^6$. – Raskolnikov Oct 26 '12 at 19:16

A two-body state $|\Psi_{12}\rangle$ can be written as a tensor product $|\Psi_{12}\rangle = |\Psi_1\rangle \otimes |\Psi_2\rangle$ only when there are not correlations between both bodies: e.g., two separated non-interacting bodies. The same happens in classical mechanics, where the two-body state factorizes as $\rho_{12} = \rho_1 · \rho_2$ only in absence of correlations.

The Hilbert space is not the ordinary space and the quantum mechanical variables $(x_1, x_2)$ associated to the position basis $|x\rangle$ do not correspond to any point in ordinary space. Again the same happens in classical mechanics with the classical variables $(x_1, x_2)$ associated to the two-body configuration space.

The physical lab space dimensions are obtained in the one-particle limit.

share|cite|improve this answer
Yes, I have read how Schrodinger himself struggled with this. I think I am beginning to understand it a little better now. – Jim Graber Oct 26 '12 at 19:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.