Collective spin operators§
Define§
S ^ ± = ∑ i σ ^ ( i ) ± S ^ e = ∑ i σ ^ e ( i ) S ^ g = ∑ i σ ^ g ( i ) S ^ z = 1 2 ∑ i σ ^ z ( i ) \hat S_\pm = \sum_i{\hat\sigma_{(i)}^\pm} \qquad \hat S_e=\sum_i{\hat\sigma_e^{(i)}}\qquad \hat S_g=\sum_i{\hat\sigma_g^{(i)}} \qquad \hat S_z=\frac{1}{2}\sum_i{\hat\sigma_z^{(i)}} S ^ ± = i ∑ σ ^ ( i ) ± S ^ e = i ∑ σ ^ e ( i ) S ^ g = i ∑ σ ^ g ( i ) S ^ z = 2 1 i ∑ σ ^ z ( i )
Commutation§
With linearity of commutator, easily we see that this Definition of collective spin not only make sense, but also obey single atom spin commutation relation.
[ S ^ + , S ^ − ] = 2 S ^ z etc... \left[\hat S^+, \hat S^-\right]=2\hat S_z \qquad \text{etc...} [ S ^ + , S ^ − ] = 2 S ^ z etc...
Effective z-value component spin§
Just as single atom spin could have a z-component, here, easily we note that from
S z = 1 2 ∑ i σ ^ z ( i ) = ∑ i σ ^ e ( i ) − N 2 S_z=\frac{1}{2}\sum_i{\hat\sigma_z^{(i)}} = \sum_{i}\hat\sigma_e^{(i)}-\frac{N}{2} S z = 2 1 i ∑ σ ^ z ( i ) = i ∑ σ ^ e ( i ) − 2 N
z-component will be in { N / 2 , N / 2 − 1 , … , − N / 2 } \{N/2, N/2 - 1, \dots,-N/2\} { N /2 , N /2 − 1 , … , − N /2 } , call this m m m
Basis§
So, sufficiently by S S S and m m m ( ignoring relative dephase, or so called inhomogeneous broadening ), we define a basis
∣ S , m ⟩ = 1 ( N n e ) ∑ perm ∣ e e e … ⏟ n e g g g … ⏟ n g ⟩ \ket{S,m}=\frac{1}{\sqrt{\binom{N}{n_e}}}\sum_{\text{perm}}\ket{\underbrace{eee\dots}_{n_e} \underbrace{ggg\dots}_{n_g}} ∣ S , m ⟩ = ( n e N ) 1 perm ∑ ∣ n e eee … n g g g g … ⟩
Where n e = S + m n_e=S+m n e = S + m , n g = S − m n_g=S-m n g = S − m