Specific Question about Susskind's Lecture on Tachyons

[No Upper Bound]

I may have poorly titled this post, since the lecture I'm talking about isn't just about tachyons, really. What I'm referring to is what Leonard Susskind says between the 50-60 minute mark:

http://www.youtube.com/watch?v=gCyImLu0HSI&feature=youtu.be&t=46m30s

In the video, Susskind concludes that there are the only two polarization states of the first excited state of the open string, so then this string must be massless, like a photon. For this to happen, the ground state must have a negative mass squared.

Why must m_0^2 +1 =0 and how do we know that the a's and the b's represent the only two polarization states? I understand that if there are only two polarization states, then the particle must be massless to preserve Lorentz invariance, but the rest is confusing to me.

Can someone clear this up for me? I have no formal exposure to QM (and I apologize for this); regardless, I will try to decipher any technical answer given. Thanks so much.

 

[trimok]

The example that Susskind takes is the simplified case of massless photons in 4 dimensions. A massless photon in 4 dimensions has only 2 polarizations (so are a_i/a_i^+ and b_i/b_i^+, which are the anihilation/creation operators, for different excitation of energy i, corresponding to the 2 possible polarizations X and Y), but in a D space-time dimension, a massless photon has (D-2) polarizations. For instance, in the bosonic open string, the coherent dimension is D=26, so you have 24 possible polarizations. But the logic is the same, the excitations are vectors, that is from the ground state |0\rangle, and applying creation operators for the lowest energy excitation, we have states (\alpha^\mu)^+_1 ~|0\rangle with \mu = 1...D-2. Susskind notations correspond to a = \alpha^1, b= \alpha^2. The subscript _1, in (a^\mu)^+_1 means that we consider only the lowest energy excitation. The energy of these excited states is m_0^2+1, and it is also the squared mass of this state, which must be zero, so we have m_0^2+1=m^2=0