Thiemann’s quantization of the Nambu-Goto action
Posted by urs
Last year there was a symposium called Strings meet Loops at the AEI in Potsdam at which researchers in the fields of String Theory and Loop Quantum Gravity were supposed to learn about each other’s approaches. In his introductory remarks H. Nicolai (being a string theorist) urged the LQG theorists to try to better understand how their quantization approach compares to known results.
Since the worldsheet theory of the (super)string is nothing but (super)gravity in 1+1 dimensions coupled to other fields it would be an ideal laboratory to compare the results of LQG in this setting to the usual lore, which in particular features the central extension of the Virasoro algebra as well as consistency conditions on the number of target space dimensions.
How does this model fit into the framework of canonical and loop quantum gravity?
Nicolai asked.
A search on the arXive showed that so far only one paper had appeared which did address aspects of this simple and yet somewhat decisive question:
Artem Starodubtsev, String theory in a vertex operator representation: a simple model for testing loop quantum gravity.
Starodubtsev concluded:
The suggested [LGQ-like] version of the Hamiltonian constraint leaves us with a theory which is considerably different from ordinary string theory. There are several indications that string theory in its usual form can probably not be recovered from the model obtained. […] the first version of Hamiltonian constraint is anomaly-free and the same is true of the diffeomorphism constraint.
When, after the symposium, I mentioned this reference to A. Ashtekar, a leading figure in LQG, he told me that he meanwhile was aware of this result and planning to analyze the problem in more detail.
Apparently this has borne fruit by now, since yesterday a paper by Th. Thiemann appeared on the arXive
Th. Thiemann, The LQG-String: Loop Quantum Gravity Quantization of String Theory I. Flat Target Space
which gives a detailed analysis of an LQG inspired canonical quantization of the 1+1 dimensional Nambu-Goto action for flat target space. The approach is a little different from that by Starodubtsev, but the results are similar in their unorthodoxy: Thiemann finds
- no sign of a critical dimension
- no ghost states
- no anomaly, no central charge
- no tachyon (and, indeed, not the rest of the usual string spectrum).
The claim is that all this is possible due to a quantization ambiguity that has not been noticed or not been investigated before: Instead of using the usual Fock/CFT representation and imposing the constraints as operator equations, Thiemann uses families of abstract representations of the operator algebra obtained by the GNS construction and solves the quantum constraints by a method called group averaging, or its more sophisticated cousin, the so-called Direct Integral Method.
Since these are the same methods used in LQG for quantizing the gravitational field in 3+1 dimensions it is somewhat interesting to see how vastly different the results obtained this way are from the standard lore. One might hence take this as a sign that the LQG approach to quantization is odd. But in some circles this is interpreted in just the opposite way, dreaming of the possibility that the new quantization method might improve on the standard approach to quantization in string theory. Indeed Thiemann himself speculates in his conclusions that his quantization prescription might
- solve the cosmological constant problem
- clarify tachyon condensation [?]
- solve the vaccum degeneracy puzzle
- help finding a working phenomenological model
- help proving perturbative finiteness beyond two loops .
To my mind these are surprisingly bold speculations.
I would much rather like to understand conceptually the nature of the apparent quantization ambiguity (if it really is one) that is the basis for all this. Do we really have this much freedom in quantizing the NG action? Why then do several different quantization schemes (BRST, path integral, lightcone quantization) all yield the standard result which strongly disagrees with the one obtained by Thiemann? What is the crucial assumption in Thiemann’s quantization that makes it different from the ordinary one?
I believe that these questions are what originally motivated H. Nicolai to initiate this investigation and their answer should teach us something.
In the remainder of this entry I shall try to look at some of the technical details of Thiemann’s paper, trying to understand what exactly it is that is going on.
We all know from Edward Nelson that
First quantization is a mystery.
But it should be possible to understand how precisely it is mysterious and how it is not.
[Note added later on:]
After an intensive discussion and some false attempts to explain what is going on inThomas Thiemann’s paper, he finally chimed in himself and we could clarify the issue at the technical level. The crucial point is the following:
Thomas Thiemann does not perform a canonical quantization of the Virasoro constraints if we want to understand under canonical quantization that a theory with classical first-class constraints is quantized by demanding
(1)
What Thomas Thiemann instead does (by his own account) is the following:
1) Find a representation of the classical symmetry group elements on some Hilbert space. (Here the need not have anything to do with the quantized , and in the case of the ‘LQG-string they don’t have anything to do with them.)
2) Demand that physical states are invariant under the action of the .
It is clear that this method explicitly translates the classical symmetry group to the ‘quantum’ theory and hence cannot, by its very construction, ever find any anomalies and related quantum effects.
An interesting aspect of this is that exactly the same method is used with respect to the spatial diffeomorphism constraints in Loop Quantum Gravity (while the Hamiltonian constraint is quantized more in the usual way). It must therefore be emphasized that LQG is not canonical quantization in the sense that the classical first-class constraints are not promoted to hold as expectation value equations in the quantum theory.
For me, this is the crucial insight of this discussion, and it shows that Hermann Nicolai’s question did address precisely the right problem. In the toy example laboratory of the Nambu-Goto string it is much easier for non-experts (like me) to follow the details and implications of what is being done, than in full fledged LQG. And it turns out, to my surprise, that what is being done is a speculative proposal for an alternative to standard quantum theory. This is not only my interpretation, but Thomas Thiemann himself says that the procedure, sketched above, for dealing with the constraints, should be compared to experiment to see if nature favors it over standard Dirac/Gupta-Bleuler quantization.
I am open-minded and can accept this in principle, but this has not been obvious to me at all, before. It means that, in the strinct sense of the word ‘canonical’, LQG is not canonical at all but rather similar in spirit to other proposed modifications of quantum theory, like for instance those proposed to explain away the black hole information loss problem by modifying Schroedinger’s equation.
I have tried to discuss some of these insights here.
So let me try to recapitulate the key idea in Thiemann’s quantization of the Nambu-Goto action, as far as I understand it.
Let be the canonical momentum to the embedding variable . The usual left and right-moving bosonic fields are (pointwise)
(1)
Smearing them over an interval of the circle and contracting with some reak yields
(2)
This are the fields that we want to represent as operators on some Hilbert space with commutation relation given by
(3)
From these one obtains
bounded operators by exponentiation
(4)
The point is that for these bounded operators the GNS construction applies which tells us how to represent any unital *-algebra by bounded operators on some Hilbert space , which will be called the kinematical Hilbert space (up to some details).
Now, the crucial difference to the usual Dirac quantization ,where the constraints are imposed as
(5)
seems to be that instead the technique of group averaging imposes the exponentiation of this, namely
(6)
(in the weak sense discussed between
eqs. (5.4) and (5.5) of Thiemann’s paper).
Naively this might appear to be the same thing, but it is not at all!
As an example, consider the commutator of one of the Virasoro constraints with . There is an operator ordering issue and dealing with that yields the usual result that the conformal dimension of these depends on . But now instead look at the exponentiated expression
(7)
where here denotes the group element of associated with ( is some smearing function).
The exponentiation in a sense removes all operator ordering ambiguities, since the conjugation operation (the similarity transform) acts on every seperately and there is no operator ordering issue in the commutator
.
Without this operator ordering issue there is no anomaly, hence no critical dimension, no tachyon, etc.
I therefore believe that the quantum ambiguity between the two sides of
(8)
is what is at the heart of the difference between Thiemann’s quantization and the usual OCQ/BRST quantization.
Am I wrong?
Even if this is about right, there is something related which I don’t quite understand yet. Somehow the center-of-mass degree of freedom of the string is missing from Thiemann’s original Hilbert space. In section 6.4 he re-incorporates it by using a D-parameter familiy of his original Hilbert space, which hence clearly was just that of string oscillations. What I am puzzled about is that the 0-mode of the momentum operator does not seem to be the same thing as above equation (6.36). It seems to me that the two should be identified, somehow, and that then the question whether there is a tachyon or not should be addressed by actually constructing group-averaged and hence physical states.
Posted at January 27, 2004 3:34 PM UTC
TrackBack URL for this Entry: http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/299
Re: Thiemann’s quantization of the Nambu-Goto action
Here is a copy of Luboš’ answer to a related post of mine on sci.physics.research:
On 27 Jan 2004, Urs Schreiber wrote:
> I was trying to figure out what exactly it is in Th. Thiemanns
> quantization hep-th/0401172 of what he calls the ‘LQG-string’ that
> makes it so different from the usual quantization. I now believe that
> the crucial issue is how to impose the constraints.
Exactly. If physics is done properly, the (Virasoro) constraints are not
arbitrary constraints that are added by hand. They are really Einstein’s
equations, derived as the equations of motion from the action if it is
varied with respect to the metric - in this case the worldsheet metric.
The term R_{ab}-R.g_{ab}/2 vanishes identically in two dimensions, and
T_{ab}=0 is the only term in the equation that imposes the constraint. The
constraints are really Einstein’s equations, once again.
Moreover, because the (correct) theory is conformal, the trace
T_{ab}g^{ab} vanishes indentically, too, and therefore the three
components of the symmetric tensor T_{ab} actually reduce to two
components, and those two components impose the so-called Virasoro
constraints (which are easiest to be parameterized in the conformal gauge
where the metric is the standard flat metric rescaled by a
spacetime-dependent factor). For closed strings, there are independent
holomorphic and independent antiholomorphic generators - and they become
left-moving and right-moving observables on the Minkowski worldsheet
after we Wick-rotate.
Thomas Thiemann does not appreciate the logic behind all these things, and
he wants to work directly with the (obsolete) Nambu-Goto action to avoid
conformal field theory that he finds too difficult. Of course, the
Nambu-Goto action has no worldsheet metric, and therefore one is not
allowed to impose any further constraints. They simply don’t follow and
can’t follow from anything such as the equations of motion.
Thiemann does not give up, and imposes “the two” constraints by hand. It
is obvious from his paper that he thinks that one can add any constraints
he likes. Of course, there are no “the two” constraints. If he has no
worldsheet metric, the stress energy tensor has three components, and
there is no way to reduce them to two. Regardless of the effort one makes,
two tensor constraints in a general covariant nonconformal theory can
never transform properly as a tensor - because a symmetric tensor simply
has three components - and therefore his constraints won’t close upon an
algebra. His equations are manifestly general non-covariant, in contrast
with his claims.
Equivalently, because he obtained these constraints by artificially
imposing them, they won’t behave as conserved currents. (In a general
covariant theory without the worldsheet metric, we can’t even say what
does it mean for a current to be conserved, because the conservation law
nabla_a T^{ab} requires a metric to define the covariant derivative.) If
they don’t behave as conserved currents, they don’t commute with the
Hamiltonian, and imposing these constraints at t=0 will violate them at
nonzero “t” anyway (the constraint is not conserved).
If one summarizes the situation, these constraints simply contradict the
equations of motion. It is not surprising. We are only allowed to derive
*one* equation of motion for each degree of freedom i.e. each component of
X, and this equation was derived from the action. Any further constraint
is inconsistent with such equations unless we add new degrees of freedom.
I hope that this point is absolutely clear. The equations of motion don’t
allow any new arbitrarily added constraints unless it is possible to
derive them from extra terms in the action (that can contain Lagrange
multipliers). The Lagrange multipliers for the Virasoro constraints *are*
the components of worldsheet metric, and omitting one component of g_{ab}
makes his theory explicitly non-covariant (even if Thiemann tries to
obscure the situation by using the letters C,D for the two components of
the metric in eqn. (3.1)).
The conformal symmetry is absolutely paramount in the process of solving
the theory and identifying the Virasoro algebra - isolating the two
generators T_{zz} and T_{zBAR zBAR} per point from the general symmetric
tensor. Conformal/Virasoro transformations are those that fix the
conformal gauge - i.e. the requirement that the metric is given by the
unit matrix up to an overall rescaling. Conformal theories give us T_{z
zBAR} (the trace) equal to zero, and this is necessary to decouple T_{zz}
and T_{z zBAR}. In two dimensions, the conformal transformations -
equivalently the maps preserving the angles - are the holomorphic maps
(with possible poles), and the holomorphic automorphisms of a closed
string’s worldsheet are generated by two sets of the Virasoro generators.
This material - why it is necessary to go from the Nambu-Goto action to
the Polyakov action and to conformal field theory in order to solve the
relativistic string and quantize it - is a basic material of chapter 1 or
chapter 2 of all elementary books about string theory and conformal field
theory. I think that a careful student should first try to understand this
basic stuff, before he or she decides to write “bombastic” papers boldly
claiming the discovery of new string theories and invalidity of all the
constraints (such as the critical dimension) that we have ever found.
In fact, I think that a careful student should first try to go through the
whole textbook first, before he publishes a paper on a related topic.
Thomas Thiemann is extremely far from being able to understand the chapter
3 about the BRST quantization, for example.
Thiemann’s theory has very little to do with string theory, and very
little to do with real physics, and unlike string theory, it is
inconsistent and misled. String theory is a very robust and unique theory
and there is no way to “deform it” from its stringiness, certainly not in
these naive ways.
> This may seem like essentially the same thing, but the crucial issue is
> apparently that the latter form allows to deal quite differently with
> operator ordering, which completely changes the quantization. In particular,
> it seems to allow Thiemann, in this case, to have no operator re-ordering at
> all, which is the basis for him not finding an anomaly, hence no tachyon and
> no critical dimension.
A problem is that you don’t know what you’re averaging over because his
“group” is not a real symmetry of the dynamics.
By the way, if you want to define physical spectrum by a
Gupta-Bleuler-like method, you must have a rule for a state itself that
decides whether the state is physical or not. In Gupta-Bleuler old
quantization of the string, “L_0 - a” and “L_m” for m>0 are required
to annihilate the physical states. This implies that the matrix element of
any L_n is zero (or “a” for n=0) because the negative ones annihilate the
bra-vector.
It is important that we could have defined the physical spectrum using a
condition that involves the single state only. If you decided to define
the physical spectrum by saying that all matrix elements of an operator
(or many operators) between the physical states must vanish, you might
obtain many solutions of this self-contained condition. For example, you
could switch the roles of L_7 and L_{-7}. However all consistent solutions
would give you an equivalent Hilbert space to the standard one.
The modern BRST quantization allows us to impose the conditions in a
stronger way. All these subtle things - such as the b,c system carrying
the central charge c=-26 - are extremely important for a correct
treatment of the strings, and they can be derived unambiguously.
> If this is true and Group averaging on the one hand and Gupta-Bleuler
> quantization on the other hand are two inequivalent consistent quantizations
> for the same constrained classical system I would like to understand if they
> are related in any sense.
No, they are not. What is called here the “group averaging” is a naive
classical operation that does not allow one any sort of quantization. You
can simply look that at his statements - such as one below eqn. (5.2) -
that in his treatment, the “anomaly” (central charge) in the commutation
relations (of the Virasoro algebra, for example) vanishes, are never
justified by anything. They are only justified by their simple intuition
that things should be simple. This incorrect result is then spread
everywhere, much like many other incorrect results. It is equally wrong as
simply saying that we have constructed a different representation of
quantum mechanics where the operators “x” and “p” commute with one
another.
The central charge - the c-number that appears on the right hand side of
the Virasoro algebra - is absolutely real and unique determined by the
type of field theory that we study (and the theory must be conformal,
otherwise it is not possible to talk about the Virasoro algebra). It can
be calculated in many ways and any treatment that claims that the Virasoro
generators constructed out of X don’t carry any central charge is simply
wrong.
There is absolutely no ambiguity in quantization of the perturbative
string. Knowing the background is equivalent to knowing the full theory,
its spectrum, and its interactions. There is no doubt that Thiemann’s
paper - one with the big claims about the “ambiguities” of the
quantization of the string - is plain wrong, and exhibits not one, but a
plenty of elementary misunderstanding by the author about the role of
constraints, symmetries, anomalies, and commutators in physics.
Let me summarize a small part of his fundamental errors again. He believes
many very incorrect ideas, for example that
* artificially chosen constraints can be freely imposed on your Hilbert
space, without ruining the theory and contradicting the equations of motion
* two constraints in 2 dimensions can transform as a general symmetric
tensor, and having a tensor with a wrong number of components does not
spoil the general covariance
* he also thinks that the Virasoro generators have nothing to do with the
conformal symmetry and they have the same form in any 2D theory
* in other words, he believes that you can isolate the Virasoro generators
without going to a conformal gauge
* classical Poisson brackets and classical reasoning is enough to
determine the commutators in the corresponding quantum theory
* anomalies in symmetries, carried by various degrees of freedom,
can be ignored or hand-waved away
* there is an ambiguity in defining a representation of the algebra of
creation and annihilation operators
* the calculation of the conformal anomaly does not have to be treated
seriously
* the tools of the so-called axiomatic quantum field theory are useful
in treating two-dimensional field theories related to
perturbative string theory
* if a set of formulae looks well enough to him, it must be OK and the
consistent stringy interactions and everything else must follow
Once again, all these things are wrong, much like nearly all of his
conclusions (and completely all “new” conclusions).
Thiemann himself admits that this is the same type of “methods” that they
have also applied to four-dimensional gravity. Well, probably. My research
of the papers on loop quantum gravity confirms it with a high degree of
reliability. Every time one can calculate something that gives them an
interesting but inconvenient result, they claim that in fact we don’t need
to calculate it, and it might be ambiguous, and so on. No, this is not
what we can call science. In science, including string theory, we have
pretty well-defined rules how to calculate some class of observables, and
all things calculated according to these rules must be treated seriously.
If a single thing disagrees, the theory must be rejected.
The inevitability of conformal symmetry for a controlled quantization of
the relativistic string - and for isolation (in fact, the definition) of
the Virasoro generators - is real. The theorems of CFT about its being
uniquely determined by certain data are also real. The conformal anomalies
of certain fields are also real. The two-loop divergent diagrams in
ordinary GR are also real. We know how to compute and prove all these
things, and propagating fog and mist can only obscure these
well-established facts from those who don’t want to see the truth.
I guess that this paper will demonstrate to most theoretical physicists -
even those who have not been interested in these “alternative” fields -
how bad the situation in the loop quantum gravity community has become.
There are hundreds of people who understand the quantization of a free
string very well, and they can judge whether Thiemann’s paper is
reasonable or not and whether funding of this “new kind of science”
should continue.
All the best
Lubos
Re: Thiemann’s quantization of the Nambu-Goto action
Here is another reply by Luboš:
Dear Urs,
Concerning your comments that you can get rid of all ordering constants by
exponentiating something, I hope that you don’t really believe it because
this would be a complete misunderstanding of the singularities in quantum
field theory. The exponentials of something always store the same
information as “something”, and if one of them has some ordering constant
contribution, you see it in the other as well.
For example, X(z) X(0) have logarithmic OPEs. This implies that
exp(i.K.X(z)) has a power law OPE with exp(-i.K.X(z)). It’s totally
nonsensical at quantum level to imagine that exp(-i.K.X(z)) is an inverse
operator to exp(i.K.X(z)). Do you understand why? This is a very
important point.
While for the Virasoro group without the central charge you would be able
to write the explicit “exponentiated” elements of the reparameterization
group and - because they have a clear geometric interpretatino, you could
invert them without anomalies, it is simply not true for the Virasoro
operators generating the reparameterization of X’s. Because of the term
c/z^4 in the OPE of two stress energy tensors, you must know very well
that exp(-V) can’t be treated as the inverse of exp(+V). You can only
imagine that exp(V) is an honest element of a group if the OPEs of V with
itself - and all other “V“‘s that you want to use - only have the 1/z
term, corresponding to the commutator. Recall that
O1(z) O2(0) ~ [O1,O2] (z) / z
the coefficient of 1/z is schematically the commutator of the two
operators. If you integrate a stress energy tensor etc., it is also OK to
have the 1/z^2 term in the OPEs of the stress energy tensor because it
reflects the worldsheet dimension of the stress energy tensor and tells
you how should you integrate it to get scalars etc.
But the OPE of the stress energy tensor (of the X^mu CFT) with itself
contains an extra 1/z^4 term. This is just a fact that you can calculate
in many ways, and this simply means that exp(V) where V is a Virasoro
generator, or some integrated combination of the stress energy tensor,
does not behave as an honest element of some group, and exp(-V) is not in
any naive sense inverse to exp(V) because these two *operators* have
singularities.
Note that his naive operation, involving the (wrong) application of the
formula
exp(C.D.C^{-1}) = C exp(D) C^{-1}
which is OK for matrices, is incorrect in our “usual” representation of
CFT, because of singularities between C and C itself. You can’t imagine
that C^{-1} is inverse to C - there are just no meaningful operators on
the Hilbert space that would look like C=exp(V) and were inverse to one
another. Because C^{-1}.C is not really one, you can’t derive the formula
you derived either, unless c=0. Note that it even requires you, for
C=exp(V), to consider exp(exp(V)…). These are heavily singular
operators, and all these confusions simply come from his/their wrong
intuition that you can work with the operators in CFT as with ordinary
classical numbers. They don’t understand where the normal ordering terms
come from, they don’t understand singularities of operators in quantum
field theories, they don’t understand the difference between classical and
quantum field theory.
It’s just totally pathetic, and every student in theoretical physics
should be able to identify all these errors.
All the best
Lubos
Re: Thiemann’s quantization of the Nambu-Goto action
For the general discussion of Thiemann’s paper I think it is important to realize that much of the usual lore of QFT is not supposed to apply. In particular, there is, as far as I understand, nothing like a double Wick contraction in the commutator of two Virasoro generators.
Let me spell this out in detail:
Assume that we have operators , which have the commutator
(1)
as in equation (6.4) of Thiemanns paper.
Next assume that one can make sense of products of these operators at equal points, without introducing any notion of normal ordering. This can be either thought of as pertaining to the classical Poisson algebra or, according to Thiemann et. al (if I understand correctly), by using a special representation on a special Hilbert space obtained by the GNS construction. Anyway, assume that the following expression makes sense:
(2)
The point is not to worry, for the moment, how this object is supposed to act on some state, but merely to regard its algebraic relations.
These all follow from
(3)
This is nothing but what one also gets by using classical Poisson brackets, too.
For convenience, let me introduce some notation: For a general field let be the classical conformal weight of iff
(4)
It is easy to check that
(5)
so that
(6)
and
(7)
and so on.
Now, denote for any field and any complex-valued function on the -mode of by
, i.e.
(8)
Using again the naive quantum mechanical commutation relations (or Poisson brackets)
one finds the following transformation of such modes
(9)
This implies in particular that
(10)
This is of course nothing but the usual relation known from classical Poisson brackets of the classical Virasoro constraints, as reviewed for instance by Thiemann in his equation (3.3). There is no anomaly because one assumed to have no need to consider normal ordering as in or the like and all operator products are assumed to behave like classical products. But the important point seems to be that Thiemann claims that secion 6.2 of his paper gives us a way to make sense of the above algebraic expressions as relations between operators that are well defined on some Hilbert space . This is how he gets a representation of the conformal group on his Hilbert space without having a conformal anomaly.
Read the post
Not in Kansas
Weblog: Musings
Excerpt: There's a lively discussion over at the String Coffee Table of a recent paper by Thomas Thiemann on a new,...
Tracked: January 30, 2004 7:17 AM
Re: Thiemann’s quantization of the Nambu-Goto action
Hopefully Thomas will join this discussion himself. But for now let me say that he tells me that
1) he is aware of the fact (which took me a while to appreciate) that one cannot get a quantization of the without anomaly, no matter which ordering is chosen
2) this does not affect his approach because he defines the action of the operators representing the exponentiated constraints by
(1)
Here (in Thomas’ paper this is a \varphi) is the operator which represents the exponentiated Virasoro element which again implements the diffeomorphism on one half ( or ) of the algebra.
is the operator version of , which is essentially an exponentiated oscillator.
is sort of a vaccuum in the GNS-Hilbert space (all states are obtained by acting on with the .
Thomas says that the oscillators themselves are
not represented on his Hilbert space, only the exponentiated oscillators are. Also the Virasoro generators are not represented on the Hilbert space, only the exponentiated are, he says.
My question would be:
Is it ok to just define the action of the as above, without writing them out in terms of the canonical coordinates-momenta/oscillators?
If this were ok, could’t I just do the same in the usual Fock quantization of the string by simply declaring that
(2)
(where now is a worldsheet oscillator and hats distinguish Poisson algebra elements from operators and is the Poisson bracket.
Read the post
MathML News
Weblog: Musings
Excerpt: In the Sisyphean task of implementing the conversion of LaTex symbols to MathML Named Entities, here's another update to the itex2MML executable used by my plugin.
Tracked: February 3, 2004 4:39 AM
Re: Thiemann’s quantization of the Nambu-Goto action
Thomas Thiemann has asked me to forward the following email message to the Coffee Table discussion.
In reply to an email by myself he answers (the quoted text is from my original mail):
[begin forwarded text]
let me try to rephrase the objections that have been raised in terms of the
following question:
By the logic of your paper, what keeps you from constructing analogues of the
operators on the standard Fock space of string states?
nothing, however, they I am worried that they won’t act unitarily because
they mix
the standard annihilation and creation operators. in other words, the
operators are defined in the standard Fock rep. of the string but
I am not sure whether they define a unitary rep. of the
reparameterization group. That’s a good question, see below.
There certainly exist these operators (defined by their very action on the
states) which represent the conformal group without anomaly on this Fock
space. But they are not expressible in terms of the . So in which sense
could one claim that these are obtained from Dirac’s
quantization scheme, if they are not expressible in terms of the quantized
first class constraints?
Good question. Here is the simple answer:
Suppose you have a classical phase space and a constraint function on it
which generates infinitesimal gauge transformations as
(1)
where is any function on phase space and is the Poisson bracket.
One can exponentiate this infinitesimal action to the Hamiltonian flow of
given by the automorphisms
(2)
The Dirac observables of the system are those functions which are gauge
invariant, that is,
(3)
In a quantization you want to find a representation of the functions
as operators on a Hilbert space with a cyclic “vacuum”
. We now define a representation of the one parameter group of automorphisms by
(4)
It follows that is invariant since , it is a physical
state. More generally, physical states are defined by the condition
(5)
There is a beautiful interplay between physical states and Dirac
observables because they obviously map to physical states.
Your question now boils down to asking whether one can define a
self-adjoint operator by
(6)
First of all this works at best only if are unitary operators as
otherwise cannot be self-adjoint. If is not self-adjoint
you have violated a basic quantization principle, namely that real valued
functions should be represented as self-adjoint operators. The necessary
and sufficient criterion for to be unitary is to check whether the
functional
(7)
is – invariant, that is
(8)
[Editor’s note: The original message here has a \circ instead of a \cdot .]
If that is the case, Stone’s theorem of functional analysis says
that exists if and only if the one parameter unitary group
is weakly continuous, that is
(9)
In my representation this condition is violated. However, this is
unimportant because obviously is a bona fide quantization of
and secondly one can use the in order to define
physical states, the are not needed for that.
Notice that all of this is standard knowledge in constraint quantization,
it is not my invention. The beauty of the construction is that
you get everything for free once you have a positive linear functional
.
The functional of standard string theory is positive only in and ,
so you need the tachyon there. It is a good exercise to check whether
that functional is invariant under the Virasoro group or only under the
algebra. I have not done that calculation yet.
A related question comes to mind: In the LQG quantization of 1+3d gravity, is
the representation of the constraints there similar to those in the
‘LQG-string’?
yes and no. the spatial diffeomorphism group is represented very much
in analogy to the diffeomorphism group of the circle for the lqg
string. The Hamiltonian constraint is represented in
the form .
Hope that helps.
Best,
Thomas
PS:
Maybe you can upload this to the coffee table, I somehow can’t make this
work.
end forwarded text
The Virasoro anomaly from regulated generators
Since I have been asked by others about it and generally for the record, I’d like to present the calculation, recommended by Jacques Distler as a worthwhile exercise and of some importance for the present discssion, of the Virasoro anomaly by means of using regulated generators. In retrospect all this is pretty obvious and I am sufficiently ashamed to have been confused about it, but that’s life.
Everybody knows the various derivations of the anomaly as done in in GSW and Polchinski. Here I am going to discuss what could be called the canonical, functional perspective, because this is a perspective that might confuse one into missing the anomaly - as I have unfortunately demonstrated.
So let there be a canonical coordinate field on the circle, with canonical momentum such that
(1)
From these the ‘chiral’ field
(2)
is constructed, which has the commutator
(3)
The task is to make sense of the commutator algebra of squared .
Naively one might write
“”, where the second term on the right is due to reordering, is hence classically absent and essentially the quantum anomaly - except for the fact that all this is not well defined since it involves products of distributions.
To deal with these, the fields have to be smeared appropriately or, equivalently, their sum over modes have to be truncated. There are many possible smearings and truncations. After some experimenting the most convenient one I found is obtained by using
(4)
where is an approximation for :
(5)
This one turns the - commutator into
(6)
and the regulated modes of the Virasoro generators are simply
(7)
The commutators in question are now computed formally just as for the ill-defined expression mentioned above:
(8)
The second term in the integral, which is again due to the reordering, should essentially give the sought-after anomaly. Indeed, it can easily be evaluated explicitly, which yields
(9)
where is a polynomial in which is independent of . The first term is the standard anomaly
(10)
The second is a shift that can be re-absorbed into the definition of :
(11)
so that the non-normal-ordered has finite expectation value in the Fock vacuum.
The term would diverge when the regulator is removed (when is sent to infinity). It should somehow cancel. To see that we need to look at the first term of the above . From the Jacobi identity it follows that the anomaly can contain only and terms. Therefore it makes sense to look at terms containing different powers of :
(12)
For even powers of the coefficient in front of the s is an odd function of . This means that for even powers of we may replace in the integrand with .
For this yields
(13)
which indeed precisely cancels the previously found potentially diverging term . From the Jacobi identity it now follows that all other even powers of , which could give c-numbers, will disappear. Since we are implicitly using symmetric ordering (no (normal-)reordering in the Fourier decomposition) the odd powers of don’t give rise to further c-number terms, either.
This means that the regulator can now be removed, which finally yields
(14)
Anomaly Monopoly
Since this topic is all-but-beaten to death now, I thought it might be fun apply Thomas’s methods to a theory people actually care about (nobody gives a crap about the bosonic string).
Classical Yang-Mills theory is dilatation-invariant.
Exercise 1: Construct the generator, , of dilatations in classical Yang-Mills.
The action of dilatations (just like the action of Poincaré) doesn’t quite commute with the Hamiltonian. Rather, the Poisson-bracket of with the Hamiltonian is proportional to . Equivalently, the action of a 1-parameter group of dilatations is to rescale the Hamiltonian, .
Exercise 2: Now, apply Thomas’s procedure to construct the action of this 1-parameter group of dilatations in the quantum theory (“just like Poincaré”, as Thomas would say).
Excellent! Since rescales under the action of the dilatation group, we have proven that the spectrum of in the quantum theory is continuous near zero.
In other words, the quantum theory “has no mass-gap.”
Bzzzt! Do not pass GO, do not collect $1 million!
Read the post
Three Card Monte
Weblog: Musings
Excerpt: I've been pondering why I find the discussion of Thomas Thiemann's recent paper over at the String Coffee Table so disturbing. Finally, Thiemann's latest comment made it all fall into place for me (emphasis added):
Tracked: February 8, 2004 4:09 AM
Baby & Bathwater
So now, the party line is that Thiemann’s quantization is some clever new method of quantization, completely unrelated to canonical quantization, that no one has thought of before.
This is not only my interpretation, but Thomas Thiemann himself says that the procedure, sketched above, for dealing with the constraints, should be compared to experiment to see if nature favors it over standard Dirac/Gupta-Bleuler quantization.
It is well-known that if one is willing to abandon locality, one has great lattitude to “cancel” the anomalies which arise in local QFT. A charitable interpretation of Thiemann’s procedure is that it correponds precisely to such a nonlocal modification of local field theory.
There are reasons to reject nonlocal modification of the worldsheet theory of the bosonic string — to do with getting consistent string interaction, a problem on which Thiemann is clueless, as he has, at best, made a failed attempt to construct the free bosonic string.
However, it is quite clear why Thiemann does not wish to apply his methods to Quantum Field Theories people care about, like Yang-Mills Theory. There, we know quite clearly whose side Mother Nature has come down on.
Re: Thiemann’s quantization of the Nambu-Goto action
K.-H. Rehren, who has worked on Pohlmeyer invariants, was so kind to answer to my mail. I have posted the reply here.
Among many other things he says:
Hence implementation of the constraints with c=0 is possible.
Re: Thiemann’s quantization of the Nambu-Goto action
The discussion seems to have moved to sci.physics.research .
Re: Thiemann’s quantization of the Nambu-Goto action
Here is a copy of Luboš’ answer to a related post of mine on sci.physics.research:
On 27 Jan 2004, Urs Schreiber wrote:
> I was trying to figure out what exactly it is in Th. Thiemanns
> quantization hep-th/0401172 of what he calls the ‘LQG-string’ that
> makes it so different from the usual quantization. I now believe that
> the crucial issue is how to impose the constraints.
Exactly. If physics is done properly, the (Virasoro) constraints are not
arbitrary constraints that are added by hand. They are really Einstein’s
equations, derived as the equations of motion from the action if it is
varied with respect to the metric - in this case the worldsheet metric.
The term R_{ab}-R.g_{ab}/2 vanishes identically in two dimensions, and
T_{ab}=0 is the only term in the equation that imposes the constraint. The
constraints are really Einstein’s equations, once again.
Moreover, because the (correct) theory is conformal, the trace
T_{ab}g^{ab} vanishes indentically, too, and therefore the three
components of the symmetric tensor T_{ab} actually reduce to two
components, and those two components impose the so-called Virasoro
constraints (which are easiest to be parameterized in the conformal gauge
where the metric is the standard flat metric rescaled by a
spacetime-dependent factor). For closed strings, there are independent
holomorphic and independent antiholomorphic generators - and they become
left-moving and right-moving observables on the Minkowski worldsheet
after we Wick-rotate.
Thomas Thiemann does not appreciate the logic behind all these things, and
he wants to work directly with the (obsolete) Nambu-Goto action to avoid
conformal field theory that he finds too difficult. Of course, the
Nambu-Goto action has no worldsheet metric, and therefore one is not
allowed to impose any further constraints. They simply don’t follow and
can’t follow from anything such as the equations of motion.
Thiemann does not give up, and imposes “the two” constraints by hand. It
is obvious from his paper that he thinks that one can add any constraints
he likes. Of course, there are no “the two” constraints. If he has no
worldsheet metric, the stress energy tensor has three components, and
there is no way to reduce them to two. Regardless of the effort one makes,
two tensor constraints in a general covariant nonconformal theory can
never transform properly as a tensor - because a symmetric tensor simply
has three components - and therefore his constraints won’t close upon an
algebra. His equations are manifestly general non-covariant, in contrast
with his claims.
Equivalently, because he obtained these constraints by artificially
imposing them, they won’t behave as conserved currents. (In a general
covariant theory without the worldsheet metric, we can’t even say what
does it mean for a current to be conserved, because the conservation law
nabla_a T^{ab} requires a metric to define the covariant derivative.) If
they don’t behave as conserved currents, they don’t commute with the
Hamiltonian, and imposing these constraints at t=0 will violate them at
nonzero “t” anyway (the constraint is not conserved).
If one summarizes the situation, these constraints simply contradict the
equations of motion. It is not surprising. We are only allowed to derive
*one* equation of motion for each degree of freedom i.e. each component of
X, and this equation was derived from the action. Any further constraint
is inconsistent with such equations unless we add new degrees of freedom.
I hope that this point is absolutely clear. The equations of motion don’t
allow any new arbitrarily added constraints unless it is possible to
derive them from extra terms in the action (that can contain Lagrange
multipliers). The Lagrange multipliers for the Virasoro constraints *are*
the components of worldsheet metric, and omitting one component of g_{ab}
makes his theory explicitly non-covariant (even if Thiemann tries to
obscure the situation by using the letters C,D for the two components of
the metric in eqn. (3.1)).
The conformal symmetry is absolutely paramount in the process of solving
the theory and identifying the Virasoro algebra - isolating the two
generators T_{zz} and T_{zBAR zBAR} per point from the general symmetric
tensor. Conformal/Virasoro transformations are those that fix the
conformal gauge - i.e. the requirement that the metric is given by the
unit matrix up to an overall rescaling. Conformal theories give us T_{z
zBAR} (the trace) equal to zero, and this is necessary to decouple T_{zz}
and T_{z zBAR}. In two dimensions, the conformal transformations -
equivalently the maps preserving the angles - are the holomorphic maps
(with possible poles), and the holomorphic automorphisms of a closed
string’s worldsheet are generated by two sets of the Virasoro generators.
This material - why it is necessary to go from the Nambu-Goto action to
the Polyakov action and to conformal field theory in order to solve the
relativistic string and quantize it - is a basic material of chapter 1 or
chapter 2 of all elementary books about string theory and conformal field
theory. I think that a careful student should first try to understand this
basic stuff, before he or she decides to write “bombastic” papers boldly
claiming the discovery of new string theories and invalidity of all the
constraints (such as the critical dimension) that we have ever found.
In fact, I think that a careful student should first try to go through the
whole textbook first, before he publishes a paper on a related topic.
Thomas Thiemann is extremely far from being able to understand the chapter
3 about the BRST quantization, for example.
Thiemann’s theory has very little to do with string theory, and very
little to do with real physics, and unlike string theory, it is
inconsistent and misled. String theory is a very robust and unique theory
and there is no way to “deform it” from its stringiness, certainly not in
these naive ways.
> This may seem like essentially the same thing, but the crucial issue is
> apparently that the latter form allows to deal quite differently with
> operator ordering, which completely changes the quantization. In particular,
> it seems to allow Thiemann, in this case, to have no operator re-ordering at
> all, which is the basis for him not finding an anomaly, hence no tachyon and
> no critical dimension.
A problem is that you don’t know what you’re averaging over because his
“group” is not a real symmetry of the dynamics.
By the way, if you want to define physical spectrum by a
Gupta-Bleuler-like method, you must have a rule for a state itself that
decides whether the state is physical or not. In Gupta-Bleuler old
quantization of the string, “L_0 - a” and “L_m” for m>0 are required
to annihilate the physical states. This implies that the matrix element of
any L_n is zero (or “a” for n=0) because the negative ones annihilate the
bra-vector.
It is important that we could have defined the physical spectrum using a
condition that involves the single state only. If you decided to define
the physical spectrum by saying that all matrix elements of an operator
(or many operators) between the physical states must vanish, you might
obtain many solutions of this self-contained condition. For example, you
could switch the roles of L_7 and L_{-7}. However all consistent solutions
would give you an equivalent Hilbert space to the standard one.
The modern BRST quantization allows us to impose the conditions in a
stronger way. All these subtle things - such as the b,c system carrying
the central charge c=-26 - are extremely important for a correct
treatment of the strings, and they can be derived unambiguously.
> If this is true and Group averaging on the one hand and Gupta-Bleuler
> quantization on the other hand are two inequivalent consistent quantizations
> for the same constrained classical system I would like to understand if they
> are related in any sense.
No, they are not. What is called here the “group averaging” is a naive
classical operation that does not allow one any sort of quantization. You
can simply look that at his statements - such as one below eqn. (5.2) -
that in his treatment, the “anomaly” (central charge) in the commutation
relations (of the Virasoro algebra, for example) vanishes, are never
justified by anything. They are only justified by their simple intuition
that things should be simple. This incorrect result is then spread
everywhere, much like many other incorrect results. It is equally wrong as
simply saying that we have constructed a different representation of
quantum mechanics where the operators “x” and “p” commute with one
another.
The central charge - the c-number that appears on the right hand side of
the Virasoro algebra - is absolutely real and unique determined by the
type of field theory that we study (and the theory must be conformal,
otherwise it is not possible to talk about the Virasoro algebra). It can
be calculated in many ways and any treatment that claims that the Virasoro
generators constructed out of X don’t carry any central charge is simply
wrong.
There is absolutely no ambiguity in quantization of the perturbative
string. Knowing the background is equivalent to knowing the full theory,
its spectrum, and its interactions. There is no doubt that Thiemann’s
paper - one with the big claims about the “ambiguities” of the
quantization of the string - is plain wrong, and exhibits not one, but a
plenty of elementary misunderstanding by the author about the role of
constraints, symmetries, anomalies, and commutators in physics.
Let me summarize a small part of his fundamental errors again. He believes
many very incorrect ideas, for example that
* artificially chosen constraints can be freely imposed on your Hilbert
space, without ruining the theory and contradicting the equations of motion
* two constraints in 2 dimensions can transform as a general symmetric
tensor, and having a tensor with a wrong number of components does not
spoil the general covariance
* he also thinks that the Virasoro generators have nothing to do with the
conformal symmetry and they have the same form in any 2D theory
* in other words, he believes that you can isolate the Virasoro generators
without going to a conformal gauge
* classical Poisson brackets and classical reasoning is enough to
determine the commutators in the corresponding quantum theory
* anomalies in symmetries, carried by various degrees of freedom,
can be ignored or hand-waved away
* there is an ambiguity in defining a representation of the algebra of
creation and annihilation operators
* the calculation of the conformal anomaly does not have to be treated
seriously
* the tools of the so-called axiomatic quantum field theory are useful
in treating two-dimensional field theories related to
perturbative string theory
* if a set of formulae looks well enough to him, it must be OK and the
consistent stringy interactions and everything else must follow
Once again, all these things are wrong, much like nearly all of his
conclusions (and completely all “new” conclusions).
Thiemann himself admits that this is the same type of “methods” that they
have also applied to four-dimensional gravity. Well, probably. My research
of the papers on loop quantum gravity confirms it with a high degree of
reliability. Every time one can calculate something that gives them an
interesting but inconvenient result, they claim that in fact we don’t need
to calculate it, and it might be ambiguous, and so on. No, this is not
what we can call science. In science, including string theory, we have
pretty well-defined rules how to calculate some class of observables, and
all things calculated according to these rules must be treated seriously.
If a single thing disagrees, the theory must be rejected.
The inevitability of conformal symmetry for a controlled quantization of
the relativistic string - and for isolation (in fact, the definition) of
the Virasoro generators - is real. The theorems of CFT about its being
uniquely determined by certain data are also real. The conformal anomalies
of certain fields are also real. The two-loop divergent diagrams in
ordinary GR are also real. We know how to compute and prove all these
things, and propagating fog and mist can only obscure these
well-established facts from those who don’t want to see the truth.
I guess that this paper will demonstrate to most theoretical physicists -
even those who have not been interested in these “alternative” fields -
how bad the situation in the loop quantum gravity community has become.
There are hundreds of people who understand the quantization of a free
string very well, and they can judge whether Thiemann’s paper is
reasonable or not and whether funding of this “new kind of science”
should continue.
All the best
Lubos