Home | Contact Us | FAQ | Search & Site Map | Link to Us
Sign In | Join | Other 45 Sites in Network
Home
Discussion Groups
Biology
BiologyBotanyMicrobiologyEntomologyEvolutionPaleontology
Chemistry
General ChemistryAnalytical ChemistryElectrochemistryOrganic Synthesis
Earth Science
GeologyMineralogyOceanographyMeteorologyEarthquakes
Physics
General PhysicsResearchRelativityParticle PhysicsElectromagnetismFusionOpticsAcousticsNew Theories

Natural Science Forum / Physics / Research / September 2006



Tip: Looking for answers? Try searching our database.

If we had a Renormalized Theory of Gravitation, What Broad Features Would we Expect it to Have?

Thread view: 
Enable EMail Alerts  Start New Thread
Thread rating: 
Jay R. Yablon - 12 Sep 2006 20:55 GMT
In QED and QCD, is it correct to hold the view that the upshot of
renormalization after all the loop diagrams are calculated, cutoffs
chosen, etc., is that the interaction couplings "run," and more to the
point, that the measurable objects one observes must be specified -- not
in the abstract -- but in relation to the probe energy mu used for their
measurement?

Would it then be fair to suppose that one feature of a renormalized
gravitational theory, would a metric tensor g_uv(mu) and an invariant
metric interval ds(mu) which must similarly be specified only in
relation to the probe energy at which they are measured?

Thanks,

Jay.
_____________________________
Jay R. Yablon
Email: jyablon@nycap.rr.com
Website: http://home.nycap.rr.com/jry/FermionMass.htm
Igor Khavkine - 14 Sep 2006 21:02 GMT
Dear, Jay.

First, let me address your post's subject. One does not say that a
theory is or is not "renormalized", but rather that it is or is not
"renormalizable". The qualifier "renormalized" refers to measurable
quantities like mass, charge, etc. This qualifier is used to
distinguish them from similar "bare" quantities.

As you are learning field theory at the moment, here's a pop quiz: as
far as you know, what is the difference between "bare" and
"renormalized" quatities?

> In QED and QCD, is it correct to hold the view that the upshot of
> renormalization after all the loop diagrams are calculated, cutoffs
> chosen, etc., is that the interaction couplings "run," and more to the
> point, that the measurable objects one observes must be specified -- not
> in the abstract -- but in relation to the probe energy mu used for their
> measurement?

Since you seem to be thinking of "running couplings" a lot, it is best
to be very clear about what it is. Another question: as far as you
know, what is the definition of a "running coupling constant"?

> Would it then be fair to suppose that one feature of a renormalized
> gravitational theory, would a metric tensor g_uv(mu) and an invariant
> metric interval ds(mu) which must similarly be specified only in
> relation to the probe energy at which they are measured?

I think that once you are well founded with the notion of what is a
"running coupling", you'll be able to answer this question yourself. A
last question for the quiz. Thinking about it will help you find the
answer you are looking for.

Here are some quantities from QED: A - EM vector potential, psi -
electron field, alpha - fine structure constant, aka electromagnetic
coupling. If you've got a theory of, say, pure gravity, then the metric
tensor g is the gravitational field. Which of the listed QED quantities
is g most like and least like?

Igor
Jay R. Yablon - 16 Sep 2006 21:02 GMT
> Dear, Jay.
>
[quoted text clipped - 3 lines]
> quantities like mass, charge, etc. This qualifier is used to
> distinguish them from similar "bare" quantities.

Picky, picky, Igor. ;-)  But thank you.  I appreciate anything that
helps me to communicate more clearly.  I changed the subject to reflect
this.

> As you are learning field theory at the moment, here's a pop quiz: as
> far as you know, what is the difference between "bare" and
> "renormalized" quatities?

OK, Igor, I'm game.  The renormalized quantity is the quantity that is
observed / measured, and includes all the effects of screening.  For
example, for an electron, the "bare" "charge" emits photons which
annihilate into electron-positron pairs and the pairs polarize around
the electron similarly to a dielectric so that when one approaches the
electron with a second, "test charge," the strength of the attraction (+
test charge) or repulsion (- test charge) depends on how close the test
charge is placed relative to the "bare" charge, i.e., how much of the
dielectric polarization gets in the way of the measurement, and how much
does not.  The closer we get to the bare charge, the stronger the
attraction or repulsion grows (in QED anyway, non-Abelian interactions
work oppositely because, e.g., gluons themselves carry the pertinent
(strong) charge and thus themselves affect the screening while photons
do not).  Because it takes more energy to bring the test charge close to
the bare electron than to keep it further away, we characterize the
strength of the observed interaction as a function of probe energy, or
equivalently, probe distance.  Particle physicists like to think in
terms of energy mu, condensed matter physicists like to think in terms
of distance.

Now, because physics is all about what we can measure in the lab, the
bare charge is something of a fiction, because we never really measure
that.  What we measure is the bare electron plus the sum total of all
its screening effects, and that is what I think of as the "renormalized"
charge e(mu).  Because we can explain what we observe by presuming that
"behind the scenes" there "exists" a "bare" charge surrounded by all of
this "pair production" and its "polarization," that explanation becomes
the theory used to explain what we have observed.  The "renormalized"
running coupling is then just the square of the charge, a(mu) = e(mu)^2
/4pi, and measures the strength of interaction between two charges, as a
function of how close you get them together (condensed matter view) or
how much energy you input to get them together (particle view).

>> In QED and QCD, is it correct to hold the view that the upshot of
>> renormalization after all the loop diagrams are calculated, cutoffs
[quoted text clipped - 9 lines]
> to be very clear about what it is. Another question: as far as you
> know, what is the definition of a "running coupling constant"?

Per above, the running coupling a(mu) = e(mu)^2 /4pi, is defined in
relation to the running charge.  If you add the word "constant" after
running coupling, that seems to be an oxymoron because something which
"runs" is not a "constant" expect at a fixed probe energy mu.  I take
this in one of several ways.  First, it could be interpreted as an
historical throwback to the days before we knew that couplings run and
people talked about the "fine structure constant."  Second, it could be
interpreted as the "theoretical," but not observable, measure of the
square/4pi of the "bare" charge e_0.  Third, and probably most sensible
in terms of what we know today and the primacy of measurement in
physics, I would think of "running coupling *constant*" as the
observable, asymptotic value of the running coupling.  For EM
interactions, that asymptotic value ~1/137.036 is observed at low probe;
for QCD, it is observed at high probe.  But, I would probably myself
refrain from using the term "running coupling constant" because of the
oxymoron and would try to make clear which of those three views I have
in mind.  Is there a fourth view I have neglected?

>> Would it then be fair to suppose that one feature of a renormalized
>> gravitational theory, would a metric tensor g_uv(mu) and an invariant
[quoted text clipped - 13 lines]
> quantities
> is g most like and least like?

I would say: g_uv is most like most like A^u, because g_uv = n_uv +
kappa h_uv contains the gravitational field h_uv (n_uv is the Minkowski
tensor) which in gravitational theory is the "potential" and plays an
identical role as the A^u in EM theory.  For example, the Laplacian of
each is the source of fields, J^u for EM and T^uv for gravitation.  Both
A^u and h_uv are energy quantities (the ^0 and _00 components in
particular), and so, would renormalize in a similar manner to, say, a
rest mass.

Next, I'd pick psi - electron field, because that is also a field.  But,
it is further from g_uv because the field quanta of psi are
half-integer-spin sources and the field quanta of  g_uv are
integer-spin-2 interaction mediators just like the integer-spin-1 A^u
mediators of EM.

Alpha is least like g_uv, because it does not have any field quanta
associated with it.  It is just a parameter (the square/4pi of the
running charge) which runs with energy.

> Igor

Now, in light of all that, let me pose my underlying question a bit more
precisely:

Recognizing that a running coupling is least like the metric tensor
g_uv, I still have the question:  we ordinarily take the metric tensor
g_uv to be an "objective" quantity that one does not need to think about
as a function of probe energy g_uv(mu).  And, we use this to take
measurements via the metric interval ds=g_uv dx^u dx^v.  But that is
because g_uv is used for macroscopic physics where quantum phenomenon
are safely neglected.  Masses beget gravitational energy which begets
more gravitational energy which . . . non-linearly, ad inifinitum, and
this begets curvature which is captured in the metric tensor g_uv and
its second derivatives R^uv.  When we don't probe too deeply, and are
using gravitational theory macroscopically as we always do, then the
question of penetrating this non-linear screening is a non-issue.  It
can be ignored.  Whatever "bare" gravitational quantities exist behind
the scenes, will be fully screened in relation to our observed
measurements.

What I am thinking about, however, is what would happen if we were to
take a high-powered microscope/accelerator and look at the metric really
closely, like at a Fermi or sub-Fermi probe energy, where we begin to
penetrate some of that gravitational screening energy.   As a result,
being partly inside the gravitational screen rather than wholly outside,
it would seem that the metric itself -- as we observe it -- must change.
Thus, it seems that we would then need to consider g_uv(mu) and ds(mu),
i.e., we would need to consider each of these to be a function of probe
energy because when we get real close, we penetrate some of the
gravitational screening, and therefore we have probed past some of the
energy which generates the curvature observed from afar, and thereby
*changed the observed curvature*.

Where the running couplings come in, in my thinking, is insofar as the
g_uv *might* be a function, in part, of a running coupling a(mu).  In
other words, might there be a g_uv(a(mu)), which effectively leads to a
g_uv(mu)?  Not that a running coupling is in any way *like* the g_uv.
But, that if the g_uv should in some circumstance be a function of
a(mu), then we have g_uv(mu) and ds(mu) which are defined in relation to
how far we have penetrated the gravitational screen.  These, in the
parlance with which you introduce your reply, would be "renormalized"
gravitational objects.  Then, a "renormalizable" theory of gravitation
would have to be capable of generating and accommodating such objects.
Does that make sense?

Jay.
Igor Khavkine - 19 Sep 2006 20:52 GMT
StrangeRep already pitched in with some excellent observations. I'll
add some of my own.

> > Dear, Jay.
> >
[quoted text clipped - 7 lines]
> helps me to communicate more clearly.  I changed the subject to reflect
> this.

Picky for a reason. Clarity of language implies clarity of thought. If
one cannot yet achieve the latter, one must strive for the former.

> > As you are learning field theory at the moment, here's a pop quiz: as
> > far as you know, what is the difference between "bare" and
> > "renormalized" quatities?
>
> OK, Igor, I'm game.  The renormalized quantity is the quantity that is
> observed / measured, and includes all the effects of screening.

I'm going to have to stop you right away. The notions of what is
renormalized and what is bare are strictly theoretical ones. The
quantities that we observe and measure in the lab are independent of
any theory that we may use to explain them.

[...snip informal explanation of screening...]
> The "renormalized"
> running coupling is then just the square of the charge, a(mu) = e(mu)^2
> /4pi, and measures the strength of interaction between two charges, as a
> function of how close you get them together (condensed matter view) or
> how much energy you input to get them together (particle view).

This is still not quite right. The crucial step in the renormalization
procedure that allows us to talk of bare quantities at all is
regularization. Here's a sketch of how it's done. The first step is to
write down the continuum theory that we want to analyze. As is, no
matter what values for the coupling constants like mass and charge we
put in, we will get divergent answers. No good.

The next step is to *change the theory*. We introduce a one parameter
family of theories which tends to the continuum theory in a limit. What
is important is that for any value of the parameter, each theory gives
finite answers, but not necessarily so in the limit toward the
continuum. There are many types of regularizations. Some that are in
common use are lattice regularization, ultra-violet momentum cutoff,
dimensional regularization. Each has its advantages and disadvantages.

Next, we decide on how to compare theory and experiment. Here, it is
necessary to introduce operational definitions for the coupling
constants that we want to put into the theory. A description of how the
electromagnetic coupling is defined operationally is what's contained
in your last quoted paragraph. To be more precise, let the
electromagnetic coupling alpha be defined by some kinematical factors
multiplying a certain scattering amplitude of two electrons. A good
question is: which scattering amplitude? Supposing for a moment that
physicists can agree on the geometry of the scattering experiment,
there is still the issue of which value, mu, of the center of mass
momentum of the incoming electrons should be used. It's possible that
this issue is a matter of some contention. So each experimentalist
picks his or her value of mu and goes to measure alpha at that energy
scale. In the end, we are left with several measurements at different
mu. Lets collectively refer to them as Alpha(mu), note the
capitalization.

The final step is to make our theory agree with experiment. There are
two requirements at this stage; (1) we must restore the continuum limit
and (2) we must make sure that the calculated agreed-upon scattering
amplitude reproduces the measured values of Alpha(mu). Here, some
notation will be helpful: L - regularization parameter, (L -> oo gives
the continuum limit), a_0 - coupling constant inserted into the
regularized theory, alpha'(E,a_0,L) - the calculated value of the
agreed-upon scattering implitude, with E denoting the energy scale, and
finally alpha(E,mu,A) - renormalized coupling, whose nature I will
explain below.

Because the continuum limit of the theory is divergent, we find that,
keeping E and a_0 fixed, alpha'(E,a_0,L) -> oo as L -> oo. Often the
divergence is of the specific form

 alpha'(E,a_0,L) = a_0 + d(E,L),

where d(E,L) -> oo as L -> oo. However, we find that there exists a
function c(L) of the regulariztion parameter such that the calculated
quantity alpha'(E,a_0+c(L),L) tends to a finite limit as L -> oo.
Namely, c(L)+d(E,L) is finite as L -> oo. A famous example of a pair of
functions of this form is c(L) = -log(L) and d(E,L) = log(L/E), then
c(L)+d(E,L) -> -log(E) as L -> oo.

Notice how we changed a_0 -> a_0+c(L). This change means that we added
an extra term to the regularized Lagrangian that looks exactly like the
electromagnetic coupling term, but with the coefficient c(L). This is
what's know as "adding a counter term".

Is this function c(L) unique? Unfortunately, no. For instance, we could
use c(L) = -log(L/Q) or c(L) = -log(L) + 1/L or many others. Note that
we could add any term to c(L) that goes to zero as L -> oo, so lets
ignore this freedom. To avoid burdening the notation even further, lets
write a_0(L) instead of a_0+c(L) and speak of choosing a_0(L) instead
of c(L). What remains is a single free parameter that lets
us choose the limit value of alpha'(E,a_0(L),L) through a choice of
a_0(L). Notice that we can only choose the value of this limit for a
single fixed value of E, say E = mu. The values of the limit for
other E will henceforth be dictated to us by the calculation.
Incidentally, this a_0(L) is what's known as the "bare coupling
constant". And the important point to remember about it is that a bare
coupling constant only appears at the regularized stage of the
calculation.

With that in mind, lets write a_0(L,mu,A) for the choice of
bare coupling constant which yields the limit

 alpha'(mu, a_0(L,mu,A), L) -> A  as  L -> oo.

As a final piece of notation and as the last step toward comparison
with experiment, lets define

 alpha(E,mu,A) =  limit  alpha'(E, a_0(L,mu,A), L)  ,
               L -> oo

where have kept E aribtrary compared to the previous equation. At the
end of this, somewhat long winded procedure, we end up with a finite
quantity associated to the continuum limit of our theory. This
quantity, alpha(E,mu,A), is what's usually referred to as "the
renormalized coupling". Once it's defined, agreement with experiment is
encoded in the equation

 alpha(E,mu,Alpha(mu)) = Alpha(E).

Notice that this is a very strong restriction, by choosing a *single*
value of the renormalization scale mu and the *single* value Alpha(mu)
that is measured at that scale, we make a prediction for the measured
coupling strength at *all* values of E. This prediction is indeed
confirmed to a limited extent (see endnote 4 in Chapter 18 of
Weinberg's QFT, vol.2). Of course, it is very hard to calculate
alpha(E,mu,A) to very high orders in perturbation theory.

> > Since you seem to be thinking of "running couplings" a lot, it is best
> > to be very clear about what it is. Another question: as far as you
[quoted text clipped - 7 lines]
> historical throwback to the days before we knew that couplings run and
> people talked about the "fine structure constant."

Point well taken, however, there's little we can do now that
terminology involving the word "constant" is wide spread.

> Second, it could be
> interpreted as the "theoretical," but not observable, measure of the
> square/4pi of the "bare" charge e_0.

Hmm, this view should be revised with respect to the above explanation
of what is "bare" charge.

> Third, and probably most sensible
> in terms of what we know today and the primacy of measurement in
[quoted text clipped - 5 lines]
> oxymoron and would try to make clear which of those three views I have
> in mind.  Is there a fourth view I have neglected?

I guess I really threw you off by carelessly inserting the word
"constant" into the question. :-)

I should emphasize that the above description is only a sketch of the
full procedure, which must be modified slightly to admit more than one
bare coupling constant. The dynamical fields that appear in the
regularized Lagrangians (referred to as "bare fields") are changed
slightly, mostly by an overall scaling transformation. However, this
scaling is renormalized by purely kinematic considerations without
recourse to experimental data. This last statement can be summarized as
follows: couplings run, but dynamical fields don't. That's what I tried
to nudge you to think about with the previous question. Which brings me
to the last one...

> > Here are some quantities from QED: A - EM vector potential, psi -
> > electron field, alpha - fine structure constant, aka
[quoted text clipped - 10 lines]
> particular), and so, would renormalize in a similar manner to, say, a
> rest mass.

Jumping to conclusions again? And how do you think will rest mass
"renormalize"? Have you ever heard to A^u as "running" in QED?

> Alpha is least like g_uv, because it does not have any field quanta
> associated with it.  It is just a parameter (the square/4pi of the
> running charge) which runs with energy.

Good. Now you just have to notice one more property that makes alpha
and g_uv different. As a coupling, alpha may "run" with energy scale,
but as a dynamical field, g_uv may not. I hope this finally answers
your original question in this thread.

Igor
Hontas Farmer - 19 Sep 2006 09:38 GMT
> Dear, Jay.
>
[quoted text clipped - 3 lines]
> quantities like mass, charge, etc. This qualifier is used to
> distinguish them from similar "bare" quantities.

Well let me try this.  I am taking QFT right now.  We only just started a
week ago.  From reading the book.  havent had any homework on this yet.  A
renormalized quantity is one that contained a divergence that was canceled
out to a finite quantity by some other divergence that was of opposite
sign.  Renormalizeable theories often contain divergences that are not
observeable therefore we do not worry about them.  They are just
unobserveable mathematical objects.

The bare quantity is the computation before the process of renormalizeation.

> As you are learning field theory at the moment, here's a pop quiz: as
> far as you know, what is the difference between "bare" and
[quoted text clipped - 10 lines]
> to be very clear about what it is. Another question: as far as you
> know, what is the definition of a "running coupling constant"?

Let's see.  A running coupling constant would have to be one that varies in
space-time.  Like saying that the permeiablity or permitivity of free space
would vary over time.  Which they would not.  But then the scalar mass of a
particle would be able to change inresponse to different chains of events.
Such as capture of a neutron or radiation etc.  I know this is not a formal
definition but is it close.

>> Would it then be fair to suppose that one feature of a renormalized
>> gravitational theory, would a metric tensor g_uv(mu) and an invariant
[quoted text clipped - 13 lines]
>
> Igor

Well the metric tensor in general relativity is just that a tensor of rank
2.  So I would rank these in order of most like g_{\mu\nu} as follows.  The
vector potential  A (a tensor of rank 1), the fine structure constant, then
the electron coupling field.  The electron coupling field is least like the
metric g because it is a quantum mechanical entity whiel the others are
purely classical ideas.

(if the word wrap on this is messed up somebody please tell me.)  

Signature

"....as long as you don't earn a living at it." A.E
www.geocities.com/hontasfx/shortform.pdf
www.geocities.com/hontasfx

sr - 19 Sep 2006 09:40 GMT
Igor Khavkine posed a pop quiz:

 >> [...] what is the difference between "bare" and
 >> "renormalized" quatities?

I hesitate to put in my $0.02 here, since Igor knows a lot
more QFT than I do. But I'll risk it anyway...

Jay Yablon answered:

> The renormalized quantity is the quantity
> that is observed / measured, and includes all
[quoted text clipped - 8 lines]
> the test charge is placed relative to the "bare"
> charge, [...]

Although this type of explanation appears in
many textbooks, it's important to understand
that it's only an interpretation of the
underlying math of renormalization...

When one tries to solve an interacting QFT by
performing a continuous perturbation around
the free theory, one encounters infinities
in the integrals.  For a restricted class of
theories it turns out that if we postulate some
extra counter-terms in the Lagrangian to remove
the infinities, these terms have the same form
as some of the original terms, allowing the
infinities to be absorbed into the "constants"
of the original theory, and that this remains
possible to all orders of perturbation. Such
theories are called "renormalizable". In general,
the new (renormalized) constants then depend on
the energy scale and so are given the adjective
"running".

For other types of theories, this is not possible,
as new parameters must be introduced at each
successive order of perturbation. Such theories
are called "non-renormalizable" because we cannot
extract physical sense from them.

The popular notion of virtual particles and screening
is thus only an interpretation of the maths that
allows us to squeeze sense out of our attempt to
perturb around the free theory.

> Because we can explain what we observe by
> presuming that "behind the scenes" there
> "exists" a "bare" charge surrounded by all of
> this "pair production" and its "polarization,"
> that explanation becomes the theory used to
> explain what we have observed

"That explanation" (based on virtual particles and
screening) certainly does not "become the theory".
It's only an interpretation of the maths, used for
explaining the theory to people who can't yet cope
with the maths, or who object (naively) to the
fact that the infinities appeared at all.

The real theory remains in the gory detail of how
renormalization actually works. This is another
reason why people keep urging you to get deeper
into QFT (pen-in-hand).

For gravitation, there were attempts ages ago to
quantize it by the canonical formalism. It was
found that such a quantized theory of a spin-2
field is non-renormalizable.

Since renormalizability of an interacting theory
really just indicates whether we can extract
physical sense out of a perturbation around the
free theory, non-renormalizability just means
that we can't solve the interacting theory by
such means. OTOH, we know rather little about
solving QFTs by other means.

So I suspect your original question about "what a
renormalizable theory of gravity would look like"
is actually an ill-formed question, since we know
that the QFT of such a spin-2 field is in fact
non-renormalizable. I.e: it cannot be expressed
in terms of physically-sensible running couplings.
Alan - 20 Sep 2006 10:30 GMT
<snip>

> For gravitation, there were attempts ages ago to
> quantize it by the canonical formalism. It was
[quoted text clipped - 8 lines]
> such means. OTOH, we know rather little about
> solving QFTs by other means.

  Even though any canonically quantized gravitational perturbation theory
is non-renormalizable,
  do they have anything sensible to say? Or is it complete nonsense at the
one-loop level?

  What prompts my question are Hawkings arguments for Black-Hole radiation,
which
   I only understand at a layman's pictorial level. Even though gravity may
  may not be canonically renormalizable, can it still be quantized and
regulated at some energy level
  much higher than needed for Hawking's arguments?

  If so, can such a quantized, regulated (non-renormalizable) theory be
coupled with, say, the standard model or
  some renormalizable particle theory, and generate (at some low order of
perturbation theory about the
  classical Black Hole solution) the Black Hole evaporation effect?  My
layman's picture of the evaporation effect
  resembles Feynman diagrams, which is another reason for the question.

 alan
sr - 21 Sep 2006 00:19 GMT
> Even though any canonically quantized gravitational
> perturbation theory is non-renormalizable, do they have
> anything sensible to say? Or is it complete nonsense at
> at the one-loop level?

If there are infinities, which cannot be renormalized away
into a small number of parameters for all orders, then it's
hard to see how any physical sense can be extracted from
such a theory.

> What prompts my question are Hawkings arguments for
> Black-Hole radiation, which I only understand at
> a layman's pictorial level. Even though gravity may
> may not be canonically renormalizable, can it still be
> quantized and regulated at some energy level much higher
> than needed for Hawking's arguments? [...]

Hawking radiation and Unruh radiation can be derived by
considering quantum fields in curved spacetime and non-inertial
frames, respectively. You don't need a full-on quantum theory
of gravity.

I don't know what level of math and QFT you're comfortable
with, but a (comparatively) simplified derivation of Unruh
radiation can be found in a paper by Alsing and Milonni as
quant-ph/0401170. They show, when one transforms a quantum
field from an inertial frame to a uniformly-accelerating frame,
the accelerated observer will (apparently) perceive himself to
be in a thermal bath (i.e: immersed in Unruh radiation). Their
derivation just proceeds by taking some basic QFT concepts and
applying the transformation. Hawking radiation arises in (sort-of)
a related way by considering quantum fields in curved spacetime.

The dubious point in all this is that there's no experimental
evidence for such effects, and the calculations are done without
first constructing a full (general-covariant) QFT.  The notions of what
"particle" and "vacuum" mean in non-inertial frames are thus
controversial: they mean different things to different observers.
But sensible physics is only expressed in terms of *invariant*
quantities, so maybe all this stuff about Hawking-Unruh radiation
is just a reminder that we haven't yet constructed our QFTs
comprehensively in terms of general-covariant concepts.
Chris H. Fleming - 23 Sep 2006 12:43 GMT
>  > Even though any canonically quantized gravitational
>  > perturbation theory is non-renormalizable, do they have
[quoted text clipped - 38 lines]
> is just a reminder that we haven't yet constructed our QFTs
> comprehensively in terms of general-covariant concepts.

Shouldn't it be said that QFT in curved space time is fully covariant
with respect to the fields, only not with our notions of particle? The
field theory is fully covariant. The particle content is not and cannot
be. But is that a problem with the theory or is it a problem with our
hangup on particles?
sr - 26 Sep 2006 00:22 GMT
> Shouldn't it be said that QFT in curved space time is
> fully covariant with respect to the fields, only not
> with our notions of particle?

Probably. (That's one reason I used the word
"controversial" earlier.)

> The field theory is fully covariant. The particle content
> is not and cannot be. But is that a problem with the
> theory or is it a problem with our hangup on particles?

Indeed. But... first let me ask you... which formulation of
QFT in curved spacetime do you have in mind, i.e: which
textbook or whatever?
Chris H. Fleming - 26 Sep 2006 22:49 GMT
>  > Shouldn't it be said that QFT in curved space time is
>  > fully covariant with respect to the fields, only not
[quoted text clipped - 10 lines]
> QFT in curved spacetime do you have in mind, i.e: which
> textbook or whatever?

Birrell and Davies
Ilja Schmelzer - 29 Sep 2006 20:26 GMT
> Shouldn't it be said that QFT in curved space time is fully covariant
> with respect to the fields, only not with our notions of particle? The
> field theory is fully covariant. The particle content is not and cannot
> be. But is that a problem with the theory or is it a problem with our
> hangup on particles?

Indeed, in semiclassical gravity only the notion of particles seems
to be problematic.

But what about the renormalization of the energy-momentum tensor?
We need it to proceed from Hawking radiation to the evaporation
of a black hole.

And I see no covariant way of renormalization.

Ilja
Igor Khavkine - 22 Sep 2006 04:40 GMT
> Even though any canonically quantized gravitational perturbation
> theory is non-renormalizable, do they have anything sensible to say?
> Or is it complete nonsense at the one-loop level?

Yes, perturbative gravity does have something sensible to say.
Non-renormaliziablity does not imply inutility. It just means that
given a finite number of low energy observations, we won't be able to
extrapolate our calculations to arbitrarily high-energy processes
(which require arbitrarily high orders in perturbation theory). See
for instance Cliff Burgess's article:

Cliff P. Burgess,
"Quantum Gravity in Everyday Life: General Relativity as an Effective
   Field Theory",
Living Rev. Relativity 7,  (2004),  5.
http://www.livingreviews.org/lrr-2004-5

Sticking to the low energy regime (equivalently for spatial separations
much larger than the Planck length), in Section 4.1 he gives
corrections to the Newtoniam potential arising from quantized
gravitational effects (one-loop gravition diagrams). Since, in that
case, we can stick to the low-energy approximation, these corrections
turn out to be unambiguious (from the renormalization point of view)
and require only Newton's constant as input. Moreover, these effects
turn out to be extremely tiny. So tiny, that they are unobservable even
in the vicinity of the event horizon of large black holes. The latter
estimate is not surprising, because for such black holes the curvature
is small at the horizon.

The real lesson here, and the reason this kind of calculation is
expected to be valid, is that whenever we see a classical harmonic
oscillator, we're pretty sure we'll find a quantum one, with all the
accompanying quantum effects. It is not important that the degrees of
freedom that we consider as individual oscillators are collective (say,
elastic waves in solids) or effective (some believe that GR and its
long wavelength modes are only an approximation to some more
complicated theory), their behavior is well understood both classically
and quantum mechanically.

> What prompts my question are Hawkings arguments for Black-Hole
> radiation, which I only understand at a layman's pictorial level.
> Even though gravity may may not be canonically renormalizable, can it
> still be quantized and regulated at some energy level much higher
> than needed for Hawking's arguments?

(Non-)renormalizability of gravity has no effect on Hawking's
arguments, as he takes gravity as classically while applying quantum
treatment to other matter. Even if perturbative gravity were included
in a similar analysis, its effects would be extremely tiny, as per the
estimation made in Burgess's paper cited above.

Hope this helps.

Igor
Alan - 26 Sep 2006 21:25 GMT
>> Even though any canonically quantized gravitational perturbation
>> theory is non-renormalizable, do they have anything sensible to say?
[quoted text clipped - 12 lines]
> Living Rev. Relativity 7,  (2004),  5.
> http://www.livingreviews.org/lrr-2004-5

Thanks, Igor, it's a fascinating paper, which I am working through
slowly. I think I appreciated before that renormalizability + symmetry
was a very strong guiding principle. The eye-opener for me with this paper
is
symmetry plus power counting with a cutoff is almost as strong
a principle. If we could only do the measurements and take a few parameters
from
experiments, then quantum gravity would apparently be just as successful
perturbatively as QED. I would assume that these perturbative results are
non-controversial. If so, do modern QFT texts show these low loop orders
for gravity as examples of how to merge gravity and quantum mechanics in
a completely standard way?
markwh04@yahoo.com - 26 Sep 2006 00:22 GMT
> Would it then be fair to suppose that one feature of a renormalized
> gravitational theory, would a metric tensor g_uv(mu) and an invariant
> metric interval ds(mu) which must similarly be specified only in
> relation to the probe energy at which they are measured?

To answer the question on the subject header: in a theory of quantum
general relativity, one would expect (at the very least) a definition
for the space of coherent states |g> and (as is generally the case for
state-based, Berezin or coherent state quantization), a mapping from
the family of classical states { W(g): g metric } to coherent states;
W(g) |-> |g><g|, along with a reproducing kernel |g> = integral K(g,g')
|g'> Dg' and a formula for the overlap transition probability T(g,g') =
|<g|g'>|^2.

There is no clear-cut barrier of a dynamic origin that prevents
non-zero overlaps for |g> with a coherent state |g'> corresponding to a
metric of different signature, a metric for a non-globally hyperbolic
spacetime, or even a metric for a Galilean spacetime(!) or degenerate
metric. So, no superselection principle <g|g'> = 0 for g, g' in
different ones of these subsets, should be expected.

The question therefore is focused all the more on handling the issue of
quantization in achronal spacetimes and even accommodating the issue of
signature-change -- notable weak points, for instance, with LQG.

The underlying manifold M parametrizes the theory exactly as the
manifold M = (-infinity, intinity) parametrizes the quantum "field"
theory for particles (with t being the parameter). One should then
expect that the classical property
                     S = integral_{dV}(p^{mu}_a dq^a) ds_{mu}
for actions in terms of the boundary state modes (q^a(x): x in dV)
should be of prime importance (where V is a compact subset of M and dV
its boundary), where q^a represents the components of the field under
study within the quantum general relativistic setting. In a coherent
state formalism, the parameter |g> in the coherent state represents an
compendium of all the boundary modes. It may include other fields, in
addition to the metric g. The state is in the Heisenberg picture and
essentially provides a representation for an entire history.

The expression for the reproducing kernel is therefore really a kind of
"sum over histories" formalism, but one which doesn't quite use or
require as huge a space as Feynman's "path space", nor requires the
likes of Osterwalder-Schroeder rotations.

But now, all of this gets is laid down to get to the final feature one
should expect to see. The boundary modes are still infinite in number
in the classical theory. In the quantum theory, a "3rd quantization" is
in effect to implement the Bekenstein Bound, effectively reducing the
number of modes to Area(dV)/(Planck Area/4). This is similar to the
idea of quantizing cavity modes, only here the role of the "cavity" is
played by the volume under consideration V, itself, the modes residing
on the boundary dV.
Uncle Al - 26 Sep 2006 21:25 GMT
sr wrote:

> Chris H. Fleming wrote:
>
[quoted text clipped - 12 lines]
> QFT in curved spacetime do you have in mind, i.e: which
> textbook or whatever?

Why the infatuation with curved spacetime?  Metric, affine, and
teleparallel gravitations are broadly indistinguishable in prediction
and all correspond to observed reality within experimental error.
Spacetime torsion is as valid as spacetime curvature.  In fact, it's
better for having fewer failures and being disjointly testable:

  1) Earth's day lengthens by 0.023 msec/year causing lunar recession
of 3.84 cm/year.  Symmetry of the Einstein curvature tensor and
contingent energy-momentum tensor prohibit exchange of spin and
orbital angular momenta in General Relativity.  General Relativity is
empirically wrong.

http://en.wikipedia.org/wiki/Einstein-Cartan_theory

  2) The patch is Einstein-Cartan theory with an affine connection to
lift symmetry.  This also creates a chiral pseudoscalar vacuum
background.  Space is a left foot if the Earth and moon are spin-orbit
coupled.  Live with it..  

  3) Metaphoric left and right shoes of identical composition but
inverse geometries will not fit identically into left-footed space.
They will fit with different energies.  The strongest constraint is
Parity Violating Energy Difference experiments that allow more than 10
parts-per-trillion divergence,

<http://www.mendcomm.org/pages/goodies/mc0303/pdf/mc1780.pdf>
Mendeleev Commun. 13(3) 129 (2003)(pdf)
Angew. Chem. Int. Ed. 41(24) 4618 (2003)

If identical composition opposite shoes are melted into
indistinguishable socks, the latent heat of melting/gram (enthalpy of
fusion) must be different given a chiral pseudoscalar vacuum
background,

http://www.mazepath.com/uncleal/shoes.png

For enantiomorphic space groups P3(1)21 and P3(2)21 benzil (mp = 95 C)
and 10^(-13) divergence (limit of Eotvos experiment sensitivity) we
expect an 8.99 J/g divergence or 8% relative divergence of enthalpy of
fusion textbook value.  Calorimeters have typical 0.1% precision.
Cake walk.

http://www.mazepath.com/uncleal/lajos.htm#b4

It is an undergraduate experiment conducted over two days in two
differential scanning calorimeters and sensitive to 3x10(-18)
Equivalence Principle violation: 300,000 times more sensitive than the
best Eotvos balance in 1/45 the run time.

http://www.mazepath.com/uncleal/lajos.htm#b2

  4) Opposite shoes  will vacuum freefall along non-parallel minimum
action trajectories.  They will violate the EP.  Do they?  The parity
Eotvos experiment opposes single crystal solid spheres of
enantiomorphic space groups P3(1)21 and P3(2)21 alpha-quartz.
Adelbeger has a wonderfully updated Eot-Wash page,

http://www.npl.washington.edu/eotwash/

and he remains staunchly committed to *never* investigating an EP
parity violation - the only EP violation consistent with existing
theory and the only EP violation *required* by lunar laser ranging
measurement of lunar orbital recession.  Curious.

No composition Equivalence Principle violation experiment of any kind
has ever had a quantitiative prediction of divergence.  Equivalence
Principle parity violation has a prediction of divergence.  Unlike
composition experiments, EP parity violation is strongly supported by
predictive theory,

http://arxiv.org/abs/gr-qc/0608090
http://arxiv.org/abs/gr-qc/9309027

String Theory demands the Equivalence Principle.  A reproducible EP
parity violation falsifies the achiral half of String Theory.  How
much fun is that?  

Somebody should look.  It's only $100 in consummables, and $80 of that
is for a jug of denatured alcohol to recrystallize the benzil.

Signature

Uncle Al
http://www.mazepath.com/uncleal/
(Toxic URL! Unsafe for children and most mammals)
http://www.mazepath.com/uncleal/qz3.pdf

 
Sign In
Join
My Latest Posts
My Monitored Threads
My Blog
My Photo Gallery
My Profile
My Homepage

Start New Thread
Enable EMail Alerts
Rate this Thread



©2010 Advenet LLC   Privacy Policy - Terms of Use
This website includes both content owned or controlled by Advenet as well as content owned or controlled by third parties.