Total angular momentum of N identical bosons

[wdlang]

assume that we have N spin-1 bosons all on the same spatial orbit.

The problem is that what values the total angular momentum can be?

I am puzzled by this problem for a long time

maybe a bit permutation group theory is needed?

i guess this type of problem is well solved

Is there any book i can consult?

 

[tiny-tim]

Hi wdlang!

See http://en.wikipedia.org/wiki/Angular_Momentum#Addition_of_quantized_angular_momenta and http://en.wikipedia.org/wiki/Clebsch-Gordan_coefficients

And for some free online books, see http://freescience.info/Mathematics.php?id=288

 

[wdlang]

Hi wdlang!

See http://en.wikipedia.org/wiki/Angular_Momentum#Addition_of_quantized_angular_momenta and http://en.wikipedia.org/wiki/Clebsch-Gordan_coefficients

And for some free online books, see http://freescience.info/Mathematics.php?id=288

thanks

but this has nothing to do with my problem, i think

 

[Avodyne]

I assume that there is no orbital angular momentum, and so we are just keeping track of spin.

First of all, if the particles were distinguishable, we could assign [itex]m=-1,0,+1[/itex] to each particle (where [itex]m[/itex] is the eigenvalue of [itex]S_z[/itex] for that particle). Then there would be [itex]3^N[/itex] possible states.

If the particles are bosons, however, then we are allowed to keep only the totally symmetric part of the state. Thus the state is labeled just by the total numbers of +1's, 0's, and -1's, which I will call [itex]n_+, n_0, n_-[/itex], with [itex]n_++n_0+n_-=N[/itex]. For example, with [itex]N=3[/itex] and [itex]n_+=2, n_0=1, n_-=0[/itex], the only allowed state is

[tex]{\textstyle{1\over\sqrt3}}(|{+1},+1,0\rangle+|{+1},0,+1\rangle+|0,+1,+1\rangle).[/tex]

The total number of completely-symmetric states is given by the number of ways to partition [itex]N[/itex] among [itex]n_+, n_0, n_-[/itex]. This number is

[tex]\sum_{n_-=0}^N\sum_{n_0=0}^N\sum_{n_+=0}^N \delta_{n_++n_0+n_-,\,N} = \sum_{n_-=0}^N\sum_{n_0=0}^{N-n_-}1 = \sum_{n_-=0}^N N+1-n_- = {\textstyle{1\over2}}(N+1)(N+2).[/tex]

Suppose we want a state with total [itex]S_z=+N[/itex]. The only way to get it is to have each individual [itex]S_z=+1[/itex], or equivalently [itex]n_+=N, n_0=0, n_-=0[/itex]. This state must be part of a multiplet with total spin quantum number [itex]s=N[/itex]. There are [itex]2N+1[/itex] states in this multiplet, with z-component quantum number ranging from [itex]m=-N[/itex] to [itex]m=+N[/itex].

Now suppose we want a state with total [itex]S_z=N-1[/itex]. The only way to get it is to have [itex]n_+=N-1, n_0=1, n_-=0[/itex]. However, we already have one state with [itex]m=N-1,[/itex] the one with [itex]s=N.[/itex] So the one state with [itex]m=N-1[/itex] must be the one in the [itex]s=N[/itex] multiplet. Therefore, there is no state with [itex]s=N-1.[/itex] If there was, there would have to be a second, different state with [itex]m=N-1.[/itex]

Now suppose we want a state with total [itex]S_z=N-2[/itex]. There are two ways to get it: [itex]n_+=N-2, n_0=2, n_-=0[/itex] and [itex]n_+=N-1, n_0=0, n_-=1[/itex]. One of these states must be the one with [itex]s=N[/itex] and [itex]m=N-2,[/itex] and the other must be a state with [itex]s=N-2[/itex] and [itex]m=N-2.[/itex] There are [itex]2(N-2)+1=2N-1[/itex] states in this multiplet.

Now suppose we want a state with total [itex]S_z=N-3[/itex]. There are two ways to get it: [itex]n_+=N-3, n_0=3, n_-=0[/itex] and [itex]n_+=N-2, n_0=1 , n_-=1[/itex]. However, we already have two states with [itex]m=N-3,[/itex] the one with [itex]s=N[/itex] and the one with [itex]s=N-2.[/itex] So there is no room for another state with [itex]m=N-3,[/itex] and so there is no state with [itex]s=N-3[/itex].

And so on. We ultimately find [itex]s=N,N-2,N-4,\ldots[/itex], down to 1 or 0, are the allowed values.

We can check this by counting states. We already counted the total number of completely symmetric states, with the result [itex]{\textstyle{1\over2}}(N+1)(N+2).[/itex] Now let's count them according to the allowed values of [itex]s.[/itex]

If [itex]N[/itex] is even, the allowed values of [itex]s[/itex] are [itex]0,2,4,\ldots,N[/itex], and the total number of states is

[tex]\sum_{s=0,2,4,\ldots}^N2s+1 = {\textstyle{1\over2}}(N+1)(N+2),[/tex]

which agrees with the other way of counting. If [itex]N[/itex] is odd, the allowed values of [itex]s[/itex] are [itex]1,3,5,\ldots,N[/itex], and the total number of states is

[tex]\sum_{s=1,3,5,\ldots}^N2s+1 = {\textstyle{1\over2}}(N+1)(N+2),[/tex]

which again agrees.

So we're done. If [itex]N[/itex] is even, the allowed values of [itex]s[/itex] are [itex]0,2,4,\ldots,N,[/itex] and if [itex]N[/itex] is odd, the allowed values of [itex]s[/itex] are [itex]1,3,5,\ldots,N.[/itex] In both cases, each value of [itex]s[/itex] occurs once.

 

[Avodyne]

There is a minor mistake above (and for some reason I don't get an "edit" button to fix it): I wrote [itex]2(N-2)+1=2N-1[/itex] instead of [itex]2(N-2)+1=2N-3[/itex].