[Physics] Covariant Quantisation and the Time Operator in String Theory

quantum-field-theorystring-theory

Covariant quantisation in string theory is accomplished by giving the commutator relations

$$[X^\mu(\sigma,\tau),P^\nu(\sigma',\tau)] =
i \eta^{\mu\nu} \delta(\sigma – \sigma').$$

Although string theory is not a field theory this approach is identical to the quantisation of fields $X^\mu$ in 1+1 dimensions. From this point of view it is also clear how to proceed from here (e.g. getting rid of the negative norm states due to the "wrong" sign of the zeroth component).

However, there are two issues that I do not quite understand. Physical states are supposed to have positive energy, i.e. $P^0 \geq 0$. Especially when supersymmetry comes into the game, the algebra so to say dictates positive energies. But when the energy is bounded from below it is not possible to have a time operator obeying the commutator relation

$$[x^0,p^0] = -i,$$

where $x$ and $p$ are the above Operators $X$ and $P$ integrated over $\sigma$.

For the case of quantum mechanics this has been proved by Pauli in 1933. The prove goes roughly like this: For an operator $H$ which is bounded from below let there be a Hermitian time operator $T$ with

$$[T,H] = i.$$

It is possible to shift the spectrum of H because of

$$e^{-i\epsilon T} H e^{i\epsilon T} = H – \epsilon,$$

for arbitrary $\epsilon$. That means for an eigenstate $|\psi\rangle$ with

$$H|\psi\rangle = E|\psi\rangle,$$

there is also an eigenstate

$$|\phi\rangle = e^{i\epsilon T}|\psi\rangle,$$

with

$$H|\phi\rangle = (E-\epsilon)|\phi\rangle.$$

For $\epsilon > E$ one has to either conclude that H can not be bounded from below or that T is not a Hermitian operator because it would generate states that lie outside of the Hilbert space.

One possible solution could be to allow negative $p^0$ and to apply some kind of Feynman-Stueckelberg approach by reversing the sign of the world-sheet coordinate $\tau$. In this sense the decay of the vacuum into a positive and negative energy state is simply the propagator of a free state. However, this would not be possible in the supersymmetric case where the states have $p^0>0$.

The other issue related to defining the zeroth component of the commutator is the construction of the Hilbert space of the physical states. In his book String Theory Polchinski starts with a "vacuum" state $|0;k\rangle$ with the norm

$$ \langle 0;k|0;k'\rangle \sim \delta^{26}(k-k').$$

However, when integrating over $k$ one ends up with a superficial delta function because of the additional mass shell constraint. Polchinski solves the issue by introducing a reduced product

$$\langle 0;k|0;k'\rangle \sim \delta^{25}(k-k').$$

This seems to be a logical step because selecting the physical states by

$$L_0|\psi\rangle = \alpha'(p^2+m^2)|\psi\rangle = 0,$$

yields a Hilbert space whose functions depend on 25 momentum components. Still, the full Hilbert space is not normalisable (this differs from what is usually done in QFT during gauge fixing, where the Hilbert space is constructed via an equivalence relation for the gauge and not by selecting a subspace). The question is whether the Hilbert space constructed in such a way does exist at all. Also it seems as if the number of spacetime operators is reduced by one, thus rendering the steps taken for the covariant quantisation needless.

(REMARK: I edited my question to make the point a bit clearer. This is not meant to be a criticism against string theory. It is just that during studying string theory I was confronted by someone with this issue. I just want to understand this detail of the basics because I haven't yet been able to resolve it. I hope somebody can help me.)

Best Answer

Positivity of energy

The probability that a single superstring has a negative value of energy is strictly zero, as implied by supersymmetry. There's no contradiction with the commutation relation. It's easy to see why. Just define the wave function of the superstring in the $P^0$ representation. Then you have $\tilde\psi(P^0)$ and you may assume that $$\tilde\psi(P^0) = 0\mbox{ for } P^0\leq 0.$$ The operator $X^0$ may be defined as $X^0=-i \partial/\partial P^0$ and it's manifest that $$[X^0,P^0]=-i.$$ So your favorite anonymous co-father of quantum mechanics, whether it was Heisenberg, Dirac, or anyone else, had to use another assumption that is not satisfied in string theory to argue that it is not possible. (The assumption has to be violated not only in string theory but any particle-like description of a theory similar quantum field theory.)

It's pretty obvious that you don't quite know what the hypothetical no-go statement is and why it is true, so it may be a sensible idea to forget about this hypothetical statement and discard it as a vague irrational prejudice if you're reading Polchinski's book that is supposed to make everything crystal clear, and I think that it does so. You knowledge of physics can't be built on some vague rumors that you may have heard somewhere. You must actually understand why statements are true.

My guess is that she or more likely he (the founder of QM) assumed that the Fourier transform of $\tilde \psi(P^0)$, namely the function $\psi(X^0)$, also has to vanish for negative $X^0$. Those two conditions - vanishing of both the functions and its Fourier transform for negative values of the argument - are not compatible conditions. However, there is no condition that $\psi(X^0)$ vanishes for a negative value of $X^0$ for a single superstring (or any single particle, for that matter), so the contradiction disappears and the very construction above proves that there can't be any inconsistency.

String theory is usually treated in the "first-quantized" way, so we obtain one-particle and multi-particle states "directly" and "directly" calculate their scattering amplitudes. That was the treatment I was assuming above; the negative-energy one-particle states are strictly absent.

However, string theory may also be treated in the "string field theory" formalism that makes it look like a quantum field theory in the spacetime, with infinitely many fields corresponding to the excitations of the string. Then the string fields may be Fourier expanded into components with various values of $P^0$, and the operators in front of the waves with a positive/negative value of $P^0$ are labeled as annihilation/creation operators, just like in any quantum field theory. Only the creation operators may produce nonzero particle states out of the vacuum - which is why particles always carry non-negative or positive values of $P^0$.

Normalization of eigenstates of momentum

The second question is purely about the normalization of some vectors and their existence. There is no real subtlety here. The off-shell states $|0;k'\rangle$ where $k$ doesn't have to satisfy that $k_\mu k^\mu=m^2$ may be assumed to exist for any $k$. However, the physical - Virasoro - conditions force the $k$ to be on-shell.

So, in mathematical language, if you assume a particular type of a particle and its wave function is written as $$|\psi \rangle = \int d^{26} k\,\tilde\psi(k) |0;k'\rangle,$$ then the Virasoro condition guarantees that $\tilde\psi(k)=0$ for all $k_\mu$ such that $k_\mu k^\mu\neq m^2$. To obtain states of a finite norm that satisfy the on-shell condition, you must pick $$\tilde\psi(k) = \sqrt{\delta(k_\mu k^\mu - m^2) } \tilde\psi_{reduced} (\vec k)$$ where the reduced wave function only depends on the $25$ spatial components of the momentum. I had to add the square root of the delta function because the total norm of the states above will contain the $\delta$-function that, when integrated over $k^0$, will set $k^0$ to the right on-shell value given by the usual square root. In my notation, the vector that only has the 25-dimensional $\delta$-function as the inner product may be obtained from the previous one multiplied by the square root of the $\delta$-function as follows: $$||0;k\rangle = \int_0^\infty dk^{\prime 0} \sqrt{ \delta\left( k^{\prime 0} -\sqrt{m^2+\vec k^2} \right) } |0; (k^{\prime 0},\vec k)\rangle $$ The $\delta$-function in the formula above is the same one as previous one, up to powers of $k^{\prime 0}$ and numerical constants that you should be able to calculate (and the second $\delta$-function also contains $\theta(k^0)$ relatively to the first one - the first one also incorrectly allows negative values of $k^0$). I chose this explicit form here because using the last displayed formula above, you may easily derive the second inner product - with the 25-dimensional $\delta$-function - from the first one. The square root of the $\delta$-function becomes an ordinary one and disappears after the integration over $k^0$, leaving the usual second inner product for the on-shell states.

Those square roots of the $\delta$-function look awkward and they're not really necessary in any way. It's clear that the right physical space is a simple combination of the vectors $||0;\vec k\rangle$ that only depend on 25 components of the momentum. It's just a physical fact that there is a single on-shell condition, so the number of independent components of the energy-momentum vector is 25 rather than 26. If you pick 25 coordinates out of 26, you inevitably violate the "totally manifest" Lorentz symmetry. Kinematics always does so, even in ordinary quantum field theory where cross sections have the $1/2E$ factors etc. that have to multiply the squared Lorentz-invariant amplitudes.

However, aside from these kinemetical factors that are universal (independent on the particle type and its interactions) and easy to learn, there's a lot of actual dynamics - the scattering amplitudes that depend on the momenta and on the particle types; and the infinitely many internal "Hagedorn tower" excitations of the string by the stringy oscillators. It's the "difficult" objects from the previous sentence that remain manifestly Lorentz-covariant in the covariant quantization which is why the quantization is called covariant.

In an alternative quantization, such as the light cone gauge, the Lorentz symmetry becomes really hard to prove. In fact, you need to prove that $[J^{i-},J^{j-}]=0$ in the light-cone coordinates and this condition itself, because of various "double commutator terms", will actually force you to prove that $D=26$ as well. So the calculation of this commutator is not equivalent to the classical Poisson bracket calculations; it knows something about the one-loop behavior of the world sheet theory, too.

So you must learn how the kinematical factors - such as the inner products of the physical states and the extra coefficients that you have to insert to the squared Lorentz-invariant amplitudes to obtain the actual cross sections etc. - work because these are basic and essentially trivial things. The nontrivial physics, i.e. the dynamics, hides in the excitations of the string and the interactions of the strings (or interactions of quantum fields, in similar problems involving quantum field theory), and for those more difficult dynamical questions, it matters whether you want to make unitarity manifest (like in light-cone gauge); or Lorentz symmetry manifest (like in the covariant quantization).

Related Question