# Will the Hilbert space get expanded when measuring the entangled state?

If I have two electrons that are indistinguishable, as I understand, they are entangled. And the Hilbert space that describes the behavior of this pair of electrons is a subspace of the Tensor product of Hilbert spaces for each electron. So the wave function should be: $$\frac1{\sqrt2}(|0\rangle_a|1\rangle_b+|1\rangle_a|0\rangle_b)$$ Assuming I measure the state of a and get $$|0\rangle_a$$, the wave function would collapse to $$|0\rangle_a|1\rangle_b$$, so now the Hilbert space that describes the behavior of this pair of electrons becomes into the full space of the Tensor product of Hilbert spaces for each electron.

This seems different from the single-particle case, where the wave function only collapses to the eigenvector of its Hilbert space, there won't be any changes on the Space itself.

My question is: When measuring one particle of the entangled pairs, will the Hilbert space get expanded as I said above? I don't see this in the five principles of quantum mechanics.

• "the Hilbert space that describes the behavior of this pair of electrons is a subspace of the Tensor product of Hilbert spaces for each electron" Why do you think this is the case ? Jun 28 at 10:54
• it seems the Hilbert space the describes the two particles would get expanded after doing measurement than before. I wanna know if this correct.
– Jack
Jun 28 at 10:57
• It is not. The Hilbert space is the antisymmetrized tensor product of two 1-particle spaces, both before and after measurement. Jun 28 at 10:59
• but after the measurement, the wave function collapses into non- antisymmetrized form.
– Jack
Jun 28 at 11:06
• For completeness, the wavefunction after measurement would then be $\vert \Psi \rangle_{after} = \vert X_a, 0 \rangle \vert X_b,1\rangle - \vert X_b,1\rangle \vert X_a,0\rangle$. Jun 28 at 13:33

If the two particles are indistinguishable, the Hilbert space is the antisymmetrized tensor product of two 1-particle spaces, both before and after measurement.

If you want to only consider the spins, then the 1-particle Hilbert space is 2 dimensional : $$\mathfrak h = \mathbb C^2$$. Then, there is only one 2-particle state, which is : $$\frac{1}{\sqrt 2}\Big(|1\rangle_a|0\rangle_b - |0\rangle_a|1\rangle_b\Big)$$

Then you cannot actually measure the 'first' particle, because they are indistinguishable. The measurement gives you "one of the two particles is in the state $$|1\rangle$$, and the state remains unchanged.

If you want to say, the particle $$a$$ is in the state $$|1\rangle$$", then you need both particles to be distinguishable, in which case the Hilbert space is the full tensor product both before and after measurement.

If you want to describe the situation where you have two particles in two different boxes, with two possible internal states, then you need a $$4$$-dimensional $$1$$-particle state. For example, let the state $$|A1\rangle$$ be "the particle is in the box $$A$$ with internal state $$1$$ and the other states of the basis be $$|A0\rangle,|B1\rangle,|B0\rangle$$.

Then, the initial state "there is a particle in each box and their internal states are different" is : $$|i\rangle = \frac{1}{2}\Big(|A1\rangle|B0\rangle - |B0\rangle |A1\rangle \Big) + \frac{e^{i\varphi}}{2}\Big(|A0\rangle|B1\rangle - |B1\rangle|A0\rangle\Big)$$

"Is there a particle in the box $$A$$ with state $$1$$" is a valid measurement. The associated operator is the projector : $$\hat P = |A1\rangle\langle A1|\otimes\Big (\mathbf 1 - |A1\rangle\langle A1|\Big)+\Big (\mathbf 1 - |A1\rangle\langle A1|\Big)\otimes|A1\rangle\langle A1|$$

If you measure $$|i\rangle$$ and find a particle in state $$1$$ and in box $$A$$, the state after measurement is : $$|f\rangle = \frac{1}{\sqrt 2}\Big(|A1\rangle|B0\rangle - |B0\rangle|A1\rangle\Big)$$

Here, you see that both states are antisymmetric, as is required for indistinguishable fermions. But you can also notice that the presence of the degrees of freedom given by the two boxes allow us to distinguish the two particles. Hence, you could safely take them to be distinguishable. This is often done in discussions of entanglement.

• maybe I don't make the question clear, please check the Wikipedia about the quantum entanglement en.wikipedia.org/wiki/Quantum_entanglement#Pure_states
– Jack
Jun 28 at 12:57
• In this part of the wikipedia page, the two particles are distinguishable. The Hilbert space is the full tensor product before and after measurement. The second part of my answer shows why we can assume this, even though the underlying electrons are indistinguishable Jun 28 at 13:40