Symmetrization Postulate

  • Thread starter zonde
  • Start date
In summary, the symmetry postulate is a mathematical requirement that states that a description of two (several) indistinguishable particles must have any symmetry. This is due to the fact that the states in which these particles are described are the same.
  • #1
zonde
Gold Member
2,961
224
I would like to ask question about symmetrization postulate.
I was reading this paper http://arxiv.org/abs/quant-ph/0511002 but I did not get clear answer to the question: is there some mathematical reason (given other postulates of QM) why we require that description of two (several) indistinguishable particles has to have any symmetry?
Basically why description of two indistinguishable particles can't be probabilistic combination of two descriptions of single particles? Is this just empirical observation (that they can't) or is it related to other postulates of QM?
 
Physics news on Phys.org
  • #2
In relativistic QFT, one has the spin-statistics theorem.

Nonrelativistic QM lacks such a theorem, hence symmetrization must be introduced as a postulate.
Ballentine covers this. (Sorry, I don't have the book handy to give a chapter reference).
 
  • #3
zonde said:
I would like to ask question about symmetrization postulate.
I was reading this paper http://arxiv.org/abs/quant-ph/0511002 but I did not get clear answer to the question: is there some mathematical reason (given other postulates of QM) why we require that description of two (several) indistinguishable particles has to have any symmetry?
Basically why description of two indistinguishable particles can't be probabilistic combination of two descriptions of single particles? Is this just empirical observation (that they can't) or is it related to other postulates of QM?

If you think of particles as excitations of a field then it's completely natural to understand the symmetry requirements. The state in which "Particle number one is at position [itex]x=a[/itex] and particle number two is at position [itex]x=b[/itex]" is exactly the same state as the state in which
"Particle number two is at position [itex]x=a[/itex] and particle number one is at position [itex]x=b[/itex]". They both are different ways of describing the state in which there are excitations at [itex]a[/itex] and [itex]b[/itex]. So those two different descriptions refer to the same physical state. So the wave functions corresponding to those descriptions must be the same up to nonphysical differences such as a phase difference.
 
  • Like
Likes Heinera
  • #4
strangerep said:
In relativistic QFT, one has the spin-statistics theorem.
It does not seem that spin-statistics theorem answers my question.
Say look at this simple summary of spin-statistics theorem (http://math.ucr.edu/home/baez/spin_stat.html):
1) Quantum mechanics says that if you turn a particle around 360°, its wavefunction changes by a phase of either +1 (that is, not at all) or -1. It also says that if you interchange two particles of the same type, their joint wavefunction changes by a phase of +1 or -1.
2) The spin-statistics theorem says that these are not independent choices: you get the same phase in both cases! The phase you get by rotating a particle is related to its spin, while the phase you get by switching two goes by the funny name of "statistics". The spin-statistics theorem says how these are related.

My question is about more about 1) rather than 2).
strangerep said:
Nonrelativistic QM lacks such a theorem, hence symmetrization must be introduced as a postulate.
Ballentine covers this. (Sorry, I don't have the book handy to give a chapter reference).
I looked at Chapter 17 "Identical Particles" from Ballentine.
He identifies three expressions of particle identity:
(1) permutation symmetry of the Hamiltonian
(2) permutation symmetry of all observables
(3) the symmetrization postulate

Looking at (1) he says:
Two physical situations that differ only by the interchange of identical particles are indistinguishable. One of the consequences of this fact is that any physical Hamiltonian must be invariant under permutation of identical particles.
Following that he combines two particles in single Hilbert space and introduces permutation operator. This idea that combination of two particles can be described by single Hilbert space seems to imply that two particles don't have independent existence.
 
  • #5
stevendaryl said:
If you think of particles as excitations of a field then it's completely natural to understand the symmetry requirements. The state in which "Particle number one is at position [itex]x=a[/itex] and particle number two is at position [itex]x=b[/itex]" is exactly the same state as the state in which
"Particle number two is at position [itex]x=a[/itex] and particle number one is at position [itex]x=b[/itex]". They both are different ways of describing the state in which there are excitations at [itex]a[/itex] and [itex]b[/itex]. So those two different descriptions refer to the same physical state. So the wave functions corresponding to those descriptions must be the same up to nonphysical differences such as a phase difference.
As I said in my previous post the idea that two particles can be described by the same wavefunction seems to have certain consequences.
Say we look at both particles at a later time. If we use combined Hilbert space description of both particles then both particles contribute to the later state of each particle (loosely speaking). This is somewhat along the lines how Feynman explains this in his book QED: The strange theory of light and matter.

Basically this is quite non-classical reasoning.
 
  • Like
Likes Mentz114
  • #6
zonde said:
This idea that combination of two particles can be described by single Hilbert space seems to imply that two particles don't have independent existence.

Do you know basic probability theory? When you get dealt two cards, your hand is the same regardless of what order you get dealt the cards. This essentially means that the cards are indistinguishable. There's no difference between ##2D, 5H## and ##5H, 2D##. It's the same hand. The same state.

If particles are indistinguishable, it means (by definition) that there is only one state where there is a particle at postion ##x_1## and a particle at position ##x_2##. There is no state where "particle A" is at position ##x_1## and particle "B" at at position ##x_2## and then a different state (with a different probability) for the particles the other way round. There is only one state, hence symmetry of the wavefunction.
 
  • #7
zonde said:
As I said in my previous post the idea that two particles can be described by the same wavefunction seems to have certain consequences.
Say we look at both particles at a later time. If we use combined Hilbert space description of both particles then both particles contribute to the later state of each particle (loosely speaking). This is somewhat along the lines how Feynman explains this in his book QED: The strange theory of light and matter.

Basically this is quite non-classical reasoning.

I don't think it's so terribly nonclassical. It's not a perfect analogy, but if you have a rope and flick it to send impulses down the rope, there is no identity to the impulses. If two impulses meet each other (one going one way, and the other going the other) there is no distinction between "the impulses passed through each other" and "the impulses bounced off each other".
 
  • #8
stevendaryl said:
I don't think it's so terribly nonclassical. It's not a perfect analogy, but if you have a rope and flick it to send impulses down the rope, there is no identity to the impulses. If two impulses meet each other (one going one way, and the other going the other) there is no distinction between "the impulses passed through each other" and "the impulses bounced off each other".
Nice example.
But let's consider description of distinguishable particles. There is no symmetrization requirement. So how does it appears with indistinguishability?
And I think I know the way how to narrow down the question.
Say we take two description side by side: one where we have two indistinguishable particles and another one where we have two distinguishable particles. Now we try to claim there has to be symmetrization in both cases. As we proceed with our reasoning the second description has to fail at some point while the first one goes through.
So we can ask why for the first description we proceed differently.

Say can we combine two distinguishable particles in single Hilbert space?
Can we introduce permutation operator that swaps both particles?
 
  • #9
PeroK said:
When you get dealt two cards, your hand is the same regardless of what order you get dealt the cards. This essentially means that the cards are indistinguishable. There's no difference between ##2D, 5H## and ##5H, 2D##. It's the same hand. The same state.
Your example is not very good. Let me rewrite it.
Let's compare two cases. I get dealt two cards. In one case it's ##2D, 5H## but in other case it's ##5H, 5H##. In classical world I can't tell the two cases apart without looking at the front of the cards but in quantum world I can do that.
 
  • #10
zonde said:
Your example is not very good. Let me rewrite it.
Let's compare two cases. I get dealt two cards. In one case it's ##2D, 5H## but in other case it's ##5H, 5H##. In classical world I can't tell the two cases apart without looking at the front of the cards but in quantum world I can do that.

You're missing something fundamental about basic probability theory that is making it hard to understand QM: which is the symmetry of probabilities where "order doesn't matter".
 
  • #11
PeroK said:
You're missing something fundamental about basic probability theory that is making it hard to understand QM: which is the symmetry of probabilities where "order doesn't matter".
Probably.
My understanding is that we can get probability where "order doesn't matter" by summing up probabilities that we get by imagining that "order matters". Is this understanding wrong?
 
  • #12
Note that beside Fermi and Bose statistics, there are also para-Fermi and para-Bose statistics. If they are of infinite dimension, you get Boltzmann statistics.
 
  • #13
zonde said:
Probably.
My understanding is that we can get probability where "order doesn't matter" by summing up probabilities that we get by imagining that "order matters". Is this understanding wrong?

Yes, exactly. The idea of symmetry is that there is therefore only one outcome, not two (or more) outcomes that are distinguishable. In QM, you are dealing with probability amplitudes, not directly wih probabilities. But, the same symmetry principle applies: there is only one outcome, not two distinguishable outcomes. Also, with probability amplitudes you can subtract as well as add. In general, for indistinguishable particles, you have:

##\psi(x_1, x_2) = C[\psi_a(x_1) \psi_b(x_2) \pm \psi_b(x_1) \psi_a(x_2)]## (i)

What this means is: the probability amplitude of finding one particle at ##x_1## and one particle at ##x_2##.

If you compare this with the simple product of wavefunctions for distinguishable particles:

##\psi(x_1, x_2) = \psi_a(x_1) \psi_b(x_2)## (ii)

What this means is: the probability amplitude of finding the first particle (a) at ##x_1## and the second particle (b) at ##x_2##.

Note that if you try to apply this for indistinguishable particles, then you could have different probability amplitudes for the two indistinguishable outcomes. You would also have:

##\psi(x_2, x_1) = \psi_a(x_2) \psi_b(x_1)## (iii)

But, (ii) and (iii) give the probability amplitude for the same outcome, so they cannot be different. It's the lack of symmetry in the two spatial variables that is the problem. You need to sort that out by taking a linear combination of these two terms, hence the equation (i).
 
Last edited:
  • #14
zonde said:
Nice example.
But let's consider description of distinguishable particles. There is no symmetrization requirement. So how does it appears with indistinguishability?

Let [itex]\Psi[/itex] be a two-particle state, and let [itex]S(\Psi)[/itex] be the state that is obtained from [itex]\Psi[/itex] by swapping the two particles. Then [itex]\Psi[/itex] and [itex]S(\Psi)[/itex] are physically the same state. There are no observable differences. So [itex]\Psi[/itex] and [itex]S(\Psi)[/itex] can differ by at most a phase factor: [itex]S(\Psi) = e^{i \theta} \Psi[/itex]. The argument that [itex]\theta = 0[/itex] or [itex]\theta = \pi[/itex] is a little subtle. If you assume that (1) [itex]S[/itex] is a linear operator, and (2) that [itex]S(S(\Phi)) = \Phi[/itex] (for every [itex]\Phi[/itex]), then it follows that [itex]e^{i \theta} = \pm 1[/itex], but there's more to the argument as to why those two facts must be true.

If the two particles are distinguishable, then [itex]S(\Phi)[/itex] is not physically the same state as [itex]\Phi[/itex]. So there is no requirement that [itex]S(\Phi)[/itex] be the same, up to a phase factor.

And I think I know the way how to narrow down the question.
Say we take two description side by side: one where we have two indistinguishable particles and another one where we have two distinguishable particles. Now we try to claim there has to be symmetrization in both cases.

But why would you claim that, in the case of distinguishable particles?

As we proceed with our reasoning the second description has to fail at some point while the first one goes through. Say can we combine two distinguishable particles in single Hilbert space?
Can we introduce permutation operator that swaps both particles?

Sure, the two-particle, spinless Hilbert space for particles moving in one spatial dimension consists of all functions of two variables [itex]\Psi(x_1, x_2)[/itex] such that [itex]\int dx_1 dx_2 \Psi^*(x_1, x_2) \Psi(x_1, x_2)[/itex] is finite. The permutation operator [itex]S(\Psi)[/itex] is well-defined: [itex]S(\Psi) = \Psi'[/itex] where [itex]\Psi'(x_1, x_2) = \Psi(x_2, x_1)[/itex]. But there is no restriction that [itex]S(\Psi)[/itex] and [itex]\Psi[/itex] be the same, up to a phase.

If the particles are indistinguishable, then you have a reduced Hilbert space.

[edit: changed 'distinguishable' to 'indistinguishable' in the last sentence]
 
Last edited:
  • Like
Likes zonde and vanhees71
  • #15
You mean, if the particles are indinstinguishable, then you have a reduced Hilbert space, i.e., in your example of spin-zero particles, the wave functions must be symmetric (bosons) under exchange.

Note that for more than 2 particles, you have more representations of the permutation group ##S_N## than just the trivial one (bosons) or the alternating one (fermions). Indinstinguishable particles whose wave function obey other permutation properties are called anyons. There's a topological argument that you cannot have anyons in ##\geq 3## space dimensions:

M. G. G. Laidlaw and C. M. DeWitt. Feynman Functional Integrals for Systems of Indistinguishable Particles. Phys. Rev. D, 3:1375, 1970.
http://link.aps.org/abstract/PRD/v3/i6/p1375
 
  • #16
vanhees71 said:
Note that for more than 2 particles, you have more representations of the permutation group ##S_N## than just the trivial one (bosons) or the alternating one (fermions). Indinstinguishable particles whose wave function obey other permutation properties are called anyons. There's a topological argument that you cannot have anyons in ##\geq 3## space dimensions:

Yeah, that's why I skipped the argument, because I couldn't reproduce it off the top of my head. The simple argument from the states being physically identical only gets you to the conclusion that swapping the particles can at most produce a phase change. Why that phase change must be [itex]\pm 1[/itex] is more complicated to show.
 
  • #17
vanhees71 said:
Y
Note that for more than 2 particles, you have more representations of the permutation group ##S_N## than just the trivial one (bosons) or the alternating one (fermions). Indinstinguishable particles whose wave function obey other permutation properties are called anyons. There's a topological argument that you cannot have anyons in ##\geq 3## space dimensions:

That's a little bit vague. In 3D more than 2 particles may belong to other representations of the permutation group than the one dimensional one. Specifically the parastatistics I already mentioned.
In two dimensions, the permutation of particles is not described by the group S_N but by so-called braid groups whose representations are called anyons.
Parastatistics can be reduced to ordinary bose or fermi statistics if one introduces a hidden degree of freedom. E.g. for electrons spin is not an observable non-relativistically. Hence the spatial part of an electronic wavefunction obeys a parafermionic statistics.

The article by Laidlaw has been criticised in this respect in some comments. Strangely enough, the claim that parastatistics is excluded appears only in the abstract but is not repeated in the paper, as far as I remember.
PS: Ah, here is the reference:
arxiv.org/pdf/math-ph/0406011
and an explicit construction of the path integral
http://cds.cern.ch/record/300043/files/9603179.pdf
 
Last edited:
  • #18
Interesting. Can you summarize what's wrong with Laidlaw&deWitt?
 
  • #19
stevendaryl said:
Let [itex]\Psi[/itex] be a two-particle state, and let [itex]S(\Psi)[/itex] be the state that is obtained from [itex]\Psi[/itex] by swapping the two particles. Then [itex]\Psi[/itex] and [itex]S(\Psi)[/itex] are physically the same state. There are no observable differences.
I think I understand one way how it follows from basic postulates of QM. Let me describe it:
If we take Copenhagen interpretation which says that state in Hilbert space is the maximum physical description of single particle then the reasoning goes like that:
Let ##\phi## be a state of particle at ##x_1## and ##\psi## a state of particle at ##x_2##. Then let's change ##\phi## into ##\phi'## so that it describes the same particle at ##x_2## and respectively change ##\psi## into ##\psi'## as description of the same particle at ##x_1##. We can now compare description of ##\phi## & ##\psi## with ##\psi'## & ##\phi'##. If two descriptions are identical we can state that two physical configurations are identical as well.
That way we arrive at conclusion using only single particle descriptions.

stevendaryl said:
So [itex]\Psi[/itex] and [itex]S(\Psi)[/itex] can differ by at most a phase factor: [itex]S(\Psi) = e^{i \theta} \Psi[/itex]. The argument that [itex]\theta = 0[/itex] or [itex]\theta = \pi[/itex] is a little subtle. If you assume that (1) [itex]S[/itex] is a linear operator, and (2) that [itex]S(S(\Phi)) = \Phi[/itex] (for every [itex]\Phi[/itex]), then it follows that [itex]e^{i \theta} = \pm 1[/itex], but there's more to the argument as to why those two facts must be true.
This is a bit less clear.
First when we combine two Hilbert spaces we make the relative phase factor fixed (seems like an assumption even if it's reasonable).
Second ##S(S(\Phi)) = \Phi## this does not have to be true. It can be ##S(S(\Phi)) = e^{i \theta'}\Phi##

I think that if we postulate that state in Hilbert space is maximum physical description of many particle configuration this reasoning should go through.

stevendaryl said:
Sure, the two-particle, spinless Hilbert space for particles moving in one spatial dimension consists of all functions of two variables [itex]\Psi(x_1, x_2)[/itex] such that [itex]\int dx_1 dx_2 \Psi^*(x_1, x_2) \Psi(x_1, x_2)[/itex] is finite. The permutation operator [itex]S(\Psi)[/itex] is well-defined: [itex]S(\Psi) = \Psi'[/itex] where [itex]\Psi'(x_1, x_2) = \Psi(x_2, x_1)[/itex]. But there is no restriction that [itex]S(\Psi)[/itex] and [itex]\Psi[/itex] be the same, up to a phase.
I suppose that for distinguishable particle it is certain that [itex]S(\Psi)[/itex] and [itex]\Psi[/itex] are not the same, neglecting a phase factor, right?
 
  • #20
zonde said:
I suppose that for distinguishable particle it is certain that [itex]S(\Psi)[/itex] and [itex]\Psi[/itex] are not the same, neglecting a phase factor, right?

Well, both particles could be in the same one-particle state. There is nothing preventing that. Then exchanging the particles would do nothing (physically)
 

1. What is the Symmetrization Postulate?

The Symmetrization Postulate is a fundamental principle in quantum mechanics that states that for a system consisting of identical particles, the wave function must be symmetric or antisymmetric under exchange of these particles. This means that the wave function must remain unchanged or change sign when the particles are swapped.

2. Why is the Symmetrization Postulate important?

The Symmetrization Postulate is important because it helps us understand the behavior of identical particles in quantum systems. It also allows us to accurately describe the properties of atoms, molecules, and other quantum systems.

3. How does the Symmetrization Postulate apply to fermions and bosons?

Fermions, such as electrons and protons, have half-integer spin and must obey the antisymmetry requirement of the Symmetrization Postulate. This means that their wave function is antisymmetric when particles are exchanged. On the other hand, bosons, such as photons, have integer spin and must obey the symmetry requirement, meaning their wave function is symmetric under particle exchange.

4. Can the Symmetrization Postulate be violated?

No, the Symmetrization Postulate is a fundamental principle in quantum mechanics and has been experimentally confirmed many times. Violating this postulate would lead to inconsistencies and contradictions in our understanding of quantum systems.

5. How does the Symmetrization Postulate relate to the Pauli Exclusion Principle?

The Symmetrization Postulate and the Pauli Exclusion Principle are closely related. The Pauli Exclusion Principle states that no two identical fermions can occupy the same quantum state at the same time. This is a direct consequence of the antisymmetry requirement of the Symmetrization Postulate. It ensures that fermions maintain their individual identities and do not merge into a single entity.

Similar threads

Replies
15
Views
1K
Replies
44
Views
3K
Replies
9
Views
996
  • Quantum Physics
Replies
5
Views
2K
  • Quantum Physics
Replies
0
Views
619
Replies
1
Views
564
  • Quantum Physics
4
Replies
130
Views
8K
Replies
1
Views
658
  • Special and General Relativity
2
Replies
57
Views
3K
Back
Top