PDA

View Full Version : Forms of relativistic dynamics (was: Connes ...)


Arnold Neumaier
Nov30-04, 12:49 PM
<jabberwocky><div class="vbmenu_control"><a href="jabberwocky:;" onClick="newWindow=window.open('','usenetCode','toolbar=no, location=no,scrollbars=yes,resizable=yes,status=no ,width=650,height=400'); newWindow.document.write('<HTML><HEAD><TITLE>Usenet ASCII</TITLE></HEAD><BODY topmargin=0 leftmargin=0 BGCOLOR=#F1F1F1><table border=0 width=625><td bgcolor=midnightblue><font color=#F1F1F1>This Usenet message\'s original ASCII form: </font></td></tr><tr><td width=449><br><br><font face=courier><UL><PRE>Eugene Stefanovich wrote:\n&gt; Arnold Neumaier wrote:\n&gt;\n&gt;&gt;Eugene Stefanovich wrote:\n&gt;&gt;\n&gt;&gt;&gt;This would mean that boosts are kinematical. This, in turn,\n&gt;&gt;&gt;is rejected by\n&gt;&gt;&gt;the Currie-Jordan-Sudarshan theorem. The CJS is a very important\n&gt;&gt;&gt;statement which is often underestimated, or even ignored, in QFT.\n&gt;&gt;\n&gt;&gt;The CJS theorem only forbids a dynamics with observer-independent worldlines\n&gt;&gt;for each particle. Field theories do not make this assumption, hence are\n&gt;&gt;not affected by the theorem. So it can be safely ignored in QED.\n&gt;\n&gt; You are right that CJS theorem has no relevance to the traditional QED,\n&gt; because this approach only cares about the S-matrix, and does not care\n&gt; about the time-dependence of particle observables (this time dependence\n&gt; is represented by trajectories in the classical limit). In particular,\n&gt; QED cannot even talk about the speed of propagation of interaction,\n&gt; because it can say only about the correlation between infinite past\n&gt; and infinite future, and doesn\'t know what happens in between.\n&gt;\n&gt; The CJS theorem\n&gt; becomes very important in the case of dynamical description of the time\n&gt; evolution. Such a description is built in my book, and in agreement with\n&gt; the CJS theorem,\n&gt; I found that particle trajectories (or, in general, particle\n&gt; observables) do not transform in a manifestly covariant fashion between\n&gt; different reference frames. The dynamical character of the boost\n&gt; transformations is consistent with causality and instantaneous\n&gt; propagation of interactions.\n\n\nRelativistic multiparticle mechanics is an intricate subject,\nand there are no-go theorems that imply that the most plausible\npossibilities cannot be realized. But these no-go theorems do not\nenforce the instant form.\n\nTo pose the problem, one needs to distinguish between kinematical\nand dynamical quantities in the theory. Kinematics answers the\nquestion "What is the general form of objects that are subject to\nthe dynamics?" Thus it only tells you about conceivable solutions.\nBut kinematics does not know of equations of motions, and hence can\nonly tell general (kinematical) features of solutions.\n\nDirac distinguishes in his seminal paper\nRev. Mod. Phys. 21 (1949), 392-399\nthree natural forms of relativistic dynamics, the instant form,\nthe point form, and the fromt form. They are distinguished by\nwhat they consider as kinematical quantities and what are the\ndynamical quantities.\n\n\nThe familiar form of dynamics is the instant form,\nwhich treats space (hence spatial translations and rotations)\nas kinematical and time (and hence time translation and Lorentz boosts)\nas dynamical. This is the dynamics from the point of view of a\nhypothetical observer who has knowledge about all information at some\ntime t (the present), and asks how this information changes as time\nproceeds.\n\nBecause of causality (the finite bound of c on the speed of material\nmotion and communication), the resulting differential equations\nshould be symmetric hyperbolic differential equations for which the\ninitial-value problem is well-posed.\nBecause of Lorentz invariance, the time axis can be\nany axis along a timelike 4-vector, and (in special relativity)\nspace is the 3-space orthogonal to it. For a real observer,\nthe natural timelike vector is the momentum 4-vector of the material\nsystem defining its reference frame (e.g., the solar system).\n\nWhile very close to the Newtonian view of reality, it involves\nan element of fiction in that no real observer can get all the\ninformation needed as intial data. Indeed, causality implies that\nit is impossible for a physical observer to know the present anywhere\nexcept at its own position.\n\n\nA second, natural form of relativistic dynamics is, according to Dirac,\nthe point form. This is the form of dynamics in which a particular\nspace-time point x=0 (the here and now) in Minkowski space is\ndistinguished, and the kinematical object replacing space is,\nfor fixed L, a hyperboloid x^2=L^2 (and x_0&lt;0) in the past\n(it could also be the future) of the here and now.\nThe Lorentz transformations, as symmetries of the hyperboloid,\nare now kinematical and take the role that space translations and\nrotations had in the instant form. On the other hand, _all_ space and\ntime translations are now dynamical, since they affect the position\nof the here-and-now.\n\nThis is the form of dynamics which is manifestly\nLorentz invariant, and in which space and time appear on equal footing.\nAn observer in the here and now can (in principle, classically)\nhave arbitrarily accurate information about the particles and/or fields\non the past hyperboloid; thus causality is naturally accounted for.\nInformation given on the past hyperboloid of a point can be propagated\nto information on any other past hyperboloid using the dynamical\nequations that are defined via the momentum 4-vector P, which is a\n4-dimensional analogue of the nonrelativistic Hamiltonian.\nThe Hamiltonian corresponding to motion in a fixed timelike\ndirection u is given by H=u dot P. The commutativity of the components\nof P is the condition for the uniqueness of the resulting state\nat a different point x independent of the path x is reached from 0.\n\n\nThere is also a third natural form of relativistic dynamics according\nto Dirac, the front form. It has many uses in quantum field theory\nbut I\'ll not explain it here.\n\nAll three forms are equivalent, related classically by canonical\ntransformations preserving algebraic operations and the Poisson bracket,\nand quantum mechanically by unitary transformations preserving\nalgebraic operations and hence the commutator. This means that any\nstatement about a system in one of the forms can be translated into\nan equivalent statement of an equivalent system in any of the other\nforms.\n\nPreferences are therefore given to one form over the other depending\nsolely on the relative simplicity of the computations one wants to do.\nThis is completely analogous to the choice of coordinate systems\n(cartesian, polar, cylindric, etc.) in classical mechanics.\n\n\nFor a multiparticle theory, however, the different forms and the\nneed to pick a particular one seem to give different pictures of\nreality. This invites paradoxes if one is not careful.\n\nThis can be seen by considering trajectories of classical relativistic\nmany-particle systems. There is a famous theorem by Currie, Jordan\nand Sudarshan (Rev. Mod. Phys. 35 (1963), 350-375) which asserts that\ninteracting two-particle systems cannot have Lorentz invariant\ntrajectories in Minkowski space. Traditionally, this was taken by\nmainstream physics as an indication that the multiparticle view of\nrelativistic mechanics is inadequate, and a field theoretical\nformulation is essential. However, as time proceeded, several\napproaches to valid relativistic multi-particle (quantum) dynamics\nwere found, and the theorem had the same fate as von Neumann\'s\nproof that hidden-variable theories are impossible. Both results are\nnow simply taken as an indication that the assumptions under which\nthey were made are too strong.\n\nIn particular, nothing forbids an instant observer to observe\nparticle trajectories in its present space, or a\npoint observer to observe particle trajectories in its past hyperboloid.\nHowever, the present space (or the past hyperboloid) of two different\nobservers is related not by kinematical transforms but dynamically,\nwith the result that trajectories seen by different observers look\ndifferent. Classically, this looks strange, but quantum mechanically,\ntrajectories are fuzzy anyway, due to the uncertainty principle, and\nas various successful multiparticle theories show, there is no\nmathematical obstacle for such a description.\n\nThe mathematical reason of this paradoxical situation lies in the fact\nthat there is no observer-independent definition of the\ncenter of mass of relativistic particles, and the related fact that\nthere is no observer-independent definition of space-time coordinates\nfor a multiparticle system. The best one can do is to define either\na covariant position operator whose components do not commute\n(thus definig a noncommutative space-time), or a spatial position\noperator, the so-called Newton-Wigner position operator, which has\nthree commuting coordinates but is observer-dependent.\n\nSee the entry on \'Localization and position operators\' in my\ntheoretical physics FAQ at\nhttp://www.mat.univie.ac.at/~neum/physics-faq.txt\n\n\nWhat you do is simply to single out an instant observer and call its\nview of space and time the only physically valid one. In your book,\nyou do it by declaring the Newton-Wigner position operator to be a\nbasic kinematic object. But the latter is defined only with respect\nto an instant observer. Thus you break the inherent symmetry, and get\nit back through the back door by constructing the instant form of\na representation of the Poincare group. But no one will follow you in\nyour restrictive postulate that one _has_ to do this and that everything\nelse is nonphysical. The more freedom in the description, the better,\nas long as mathematical consistency is maintained. And with respect to\nthe latter, all forms of relativistic dynamics are the same.\n\n\nArnold Neumaier\n\n</UL></PRE></font></td></tr></table></BODY><HTML>');"> <IMG SRC=/images/buttons/ip.gif BORDER=0 ALIGN=CENTER ALT="View this Usenet post in original ASCII form">&nbsp;&nbsp;View this Usenet post in original ASCII form </a></div><P></jabberwocky>Eugene Stefanovich wrote:
> Arnold Neumaier wrote:
>
>>Eugene Stefanovich wrote:
>>
>>>This would mean that boosts are kinematical. This, in turn,
>>>is rejected by
>>>the Currie-Jordan-Sudarshan theorem. The CJS is a very important
>>>statement which is often underestimated, or even ignored, in QFT.
>>
>>The CJS theorem only forbids a dynamics with observer-independent worldlines
>>for each particle. Field theories do not make this assumption, hence are
>>not affected by the theorem. So it can be safely ignored in QED.
>
> You are right that CJS theorem has no relevance to the traditional QED,
> because this approach only cares about the S-matrix, and does not care
> about the time-dependence of particle observables (this time dependence
> is represented by trajectories in the classical limit). In particular,
> QED cannot even talk about the speed of propagation of interaction,
> because it can say only about the correlation between infinite past
> and infinite future, and doesn't know what happens in between.
>
> The CJS theorem
> becomes very important in the case of dynamical description of the time
> evolution. Such a description is built in my book, and in agreement with
> the CJS theorem,
> I found that particle trajectories (or, in general, particle
> observables) do not transform in a manifestly covariant fashion between
> different reference frames. The dynamical character of the boost
> transformations is consistent with causality and instantaneous
> propagation of interactions.


Relativistic multiparticle mechanics is an intricate subject,
and there are no-go theorems that imply that the most plausible
possibilities cannot be realized. But these no-go theorems do not
enforce the instant form.

To pose the problem, one needs to distinguish between kinematical
and dynamical quantities in the theory. Kinematics answers the
question "What is the general form of objects that are subject to
the dynamics?" Thus it only tells you about conceivable solutions.
But kinematics does not know of equations of motions, and hence can
only tell general (kinematical) features of solutions.

Dirac distinguishes in his seminal paper
Rev. Mod. Phys. 21 (1949), 392-399
three natural forms of relativistic dynamics, the instant form,
the point form, and the fromt form. They are distinguished by
what they consider as kinematical quantities and what are the
dynamical quantities.


The familiar form of dynamics is the instant form,
which treats space (hence spatial translations and rotations)
as kinematical and time (and hence time translation and Lorentz boosts)
as dynamical. This is the dynamics from the point of view of a
hypothetical observer who has knowledge about all information at some
time t (the present), and asks how this information changes as time
proceeds.

Because of causality (the finite bound of c on the speed of material
motion and communication), the resulting differential equations
should be symmetric hyperbolic differential equations for which the
initial-value problem is well-posed.
Because of Lorentz invariance, the time axis can be
any axis along a timelike 4-vector, and (in special relativity)
space is the 3-space orthogonal to it. For a real observer,
the natural timelike vector is the momentum 4-vector of the material
system defining its reference frame (e.g., the solar system).

While very close to the Newtonian view of reality, it involves
an element of fiction in that no real observer can get all the
information needed as intial data. Indeed, causality implies that
it is impossible for a physical observer to know the present anywhere
except at its own position.


A second, natural form of relativistic dynamics is, according to Dirac,
the point form. This is the form of dynamics in which a particular
space-time point x=0 (the here and now) in Minkowski space is
distinguished, and the kinematical object replacing space is,
for fixed L, a hyperboloid x^2=L^2 (and x_0<0) in the past
(it could also be the future) of the here and now.
The Lorentz transformations, as symmetries of the hyperboloid,
are now kinematical and take the role that space translations and
rotations had in the instant form. On the other hand, _all_ space and
time translations are now dynamical, since they affect the position
of the here-and-now.

This is the form of dynamics which is manifestly
Lorentz invariant, and in which space and time appear on equal footing.
An observer in the here and now can (in principle, classically)
have arbitrarily accurate information about the particles and/or fields
on the past hyperboloid; thus causality is naturally accounted for.
Information given on the past hyperboloid of a point can be propagated
to information on any other past hyperboloid using the dynamical
equations that are defined via the momentum 4-vector P, which is a
4-dimensional analogue of the nonrelativistic Hamiltonian.
The Hamiltonian corresponding to motion in a fixed timelike
direction u is given by H=u dot P. The commutativity of the components
of P is the condition for the uniqueness of the resulting state
at a different point x independent of the path x is reached from .


There is also a third natural form of relativistic dynamics according
to Dirac, the front form. It has many uses in quantum field theory
but I'll not explain it here.

All three forms are equivalent, related classically by canonical
transformations preserving algebraic operations and the Poisson bracket,
and quantum mechanically by unitary transformations preserving
algebraic operations and hence the commutator. This means that any
statement about a system in one of the forms can be translated into
an equivalent statement of an equivalent system in any of the other
forms.

Preferences are therefore given to one form over the other depending
solely on the relative simplicity of the computations one wants to do.
This is completely analogous to the choice of coordinate systems
(cartesian, polar, cylindric, etc.) in classical mechanics.


For a multiparticle theory, however, the different forms and the
need to pick a particular one seem to give different pictures of
reality. This invites paradoxes if one is not careful.

This can be seen by considering trajectories of classical relativistic
many-particle systems. There is a famous theorem by Currie, Jordan
and Sudarshan (Rev. Mod. Phys. 35 (1963), 350-375) which asserts that
interacting two-particle systems cannot have Lorentz invariant
trajectories in Minkowski space. Traditionally, this was taken by
mainstream physics as an indication that the multiparticle view of
relativistic mechanics is inadequate, and a field theoretical
formulation is essential. However, as time proceeded, several
approaches to valid relativistic multi-particle (quantum) dynamics
were found, and the theorem had the same fate as von Neumann's
proof that hidden-variable theories are impossible. Both results are
now simply taken as an indication that the assumptions under which
they were made are too strong.

In particular, nothing forbids an instant observer to observe
particle trajectories in its present space, or a
point observer to observe particle trajectories in its past hyperboloid.
However, the present space (or the past hyperboloid) of two different
observers is related not by kinematical transforms but dynamically,
with the result that trajectories seen by different observers look
different. Classically, this looks strange, but quantum mechanically,
trajectories are fuzzy anyway, due to the uncertainty principle, and
as various successful multiparticle theories show, there is no
mathematical obstacle for such a description.

The mathematical reason of this paradoxical situation lies in the fact
that there is no observer-independent definition of the
center of mass of relativistic particles, and the related fact that
there is no observer-independent definition of space-time coordinates
for a multiparticle system. The best one can do is to define either
a covariant position operator whose components do not commute
(thus definig a noncommutative space-time), or a spatial position
operator, the so-called Newton-Wigner position operator, which has
three commuting coordinates but is observer-dependent.

See the entry on 'Localization and position operators' in my
theoretical physics FAQ at
http://www.mat.univie.ac.at/~neum/physics-faq.txt


What you do is simply to single out an instant observer and call its
view of space and time the only physically valid one. In your book,
you do it by declaring the Newton-Wigner position operator to be a
basic kinematic object. But the latter is defined only with respect
to an instant observer. Thus you break the inherent symmetry, and get
it back through the back door by constructing the instant form of
a representation of the Poincare group. But no one will follow you in
your restrictive postulate that one _has_ to do this and that everything
else is nonphysical. The more freedom in the description, the better,
as long as mathematical consistency is maintained. And with respect to
the latter, all forms of relativistic dynamics are the same.


Arnold Neumaier

Eugene Stefanovich
Dec1-04, 11:05 AM
<jabberwocky><div class="vbmenu_control"><a href="jabberwocky:;" onClick="newWindow=window.open('','usenetCode','toolbar=no, location=no,scrollbars=yes,resizable=yes,status=no ,width=650,height=400'); newWindow.document.write('<HTML><HEAD><TITLE>Usenet ASCII</TITLE></HEAD><BODY topmargin=0 leftmargin=0 BGCOLOR=#F1F1F1><table border=0 width=625><td bgcolor=midnightblue><font color=#F1F1F1>This Usenet message\'s original ASCII form: </font></td></tr><tr><td width=449><br><br><font face=courier><UL><PRE>Arnold Neumaier wrote:\n[...]\n&gt;\n&gt;\n&gt; Relativistic multiparticle mechanics is an intricate subject,\n&gt; and there are no-go theorems that imply that the most plausible\n&gt; possibilities cannot be realized. But these no-go theorems do not\n&gt; enforce the instant form.\n&gt;\n&gt; To pose the problem, one needs to distinguish between kinematical\n&gt; and dynamical quantities in the theory. Kinematics answers the\n&gt; question "What is the general form of objects that are subject to\n&gt; the dynamics?" Thus it only tells you about conceivable solutions.\n&gt; But kinematics does not know of equations of motions, and hence can\n&gt; only tell general (kinematical) features of solutions.\n&gt;\n&gt; Dirac distinguishes in his seminal paper\n&gt; Rev. Mod. Phys. 21 (1949), 392-399\n&gt; three natural forms of relativistic dynamics, the instant form,\n&gt; the point form, and the fromt form. They are distinguished by\n&gt; what they consider as kinematical quantities and what are the\n&gt; dynamical quantities.\n&gt;\n&gt;\n&gt; The familiar form of dynamics is the instant form,\n&gt; which treats space (hence spatial translations and rotations)\n&gt; as kinematical and time (and hence time translation and Lorentz boosts)\n&gt; as dynamical. This is the dynamics from the point of view of a\n&gt; hypothetical observer who has knowledge about all information at some\n&gt; time t (the present), and asks how this information changes as time\n&gt; proceeds.\n&gt;\n&gt; Because of causality (the finite bound of c on the speed of material\n&gt; motion and communication), the resulting differential equations\n&gt; should be symmetric hyperbolic differential equations for which the\n&gt; initial-value problem is well-posed.\n&gt; Because of Lorentz invariance, the time axis can be\n&gt; any axis along a timelike 4-vector, and (in special relativity)\n&gt; space is the 3-space orthogonal to it. For a real observer,\n&gt; the natural timelike vector is the momentum 4-vector of the material\n&gt; system defining its reference frame (e.g., the solar system).\n&gt;\n&gt; While very close to the Newtonian view of reality, it involves\n&gt; an element of fiction in that no real observer can get all the\n&gt; information needed as intial data. Indeed, causality implies that\n&gt; it is impossible for a physical observer to know the present anywhere\n&gt; except at its own position.\n&gt;\n&gt;\n&gt; A second, natural form of relativistic dynamics is, according to Dirac,\n&gt; the point form. This is the form of dynamics in which a particular\n&gt; space-time point x=0 (the here and now) in Minkowski space is\n&gt; distinguished, and the kinematical object replacing space is,\n&gt; for fixed L, a hyperboloid x^2=L^2 (and x_0&lt;0) in the past\n&gt; (it could also be the future) of the here and now.\n&gt; The Lorentz transformations, as symmetries of the hyperboloid,\n&gt; are now kinematical and take the role that space translations and\n&gt; rotations had in the instant form. On the other hand, _all_ space and\n&gt; time translations are now dynamical, since they affect the position\n&gt; of the here-and-now.\n&gt;\n&gt; This is the form of dynamics which is manifestly\n&gt; Lorentz invariant, and in which space and time appear on equal footing.\n&gt; An observer in the here and now can (in principle, classically)\n&gt; have arbitrarily accurate information about the particles and/or fields\n&gt; on the past hyperboloid; thus causality is naturally accounted for.\n&gt; Information given on the past hyperboloid of a point can be propagated\n&gt; to information on any other past hyperboloid using the dynamical\n&gt; equations that are defined via the momentum 4-vector P, which is a\n&gt; 4-dimensional analogue of the nonrelativistic Hamiltonian.\n&gt; The Hamiltonian corresponding to motion in a fixed timelike\n&gt; direction u is given by H=u dot P. The commutativity of the components\n&gt; of P is the condition for the uniqueness of the resulting state\n&gt; at a different point x independent of the path x is reached from 0.\n&gt;\n&gt;\n&gt; There is also a third natural form of relativistic dynamics according\n&gt; to Dirac, the front form. It has many uses in quantum field theory\n&gt; but I\'ll not explain it here.\n&gt;\n&gt; All three forms are equivalent, related classically by canonical\n&gt; transformations preserving algebraic operations and the Poisson bracket,\n&gt; and quantum mechanically by unitary transformations preserving\n&gt; algebraic operations and hence the commutator. This means that any\n&gt; statement about a system in one of the forms can be translated into\n&gt; an equivalent statement of an equivalent system in any of the other\n&gt; forms.\n&gt;\n&gt; Preferences are therefore given to one form over the other depending\n&gt; solely on the relative simplicity of the computations one wants to do.\n&gt; This is completely analogous to the choice of coordinate systems\n&gt; (cartesian, polar, cylindric, etc.) in classical mechanics.\n&gt;\n&gt;\n&gt; For a multiparticle theory, however, the different forms and the\n&gt; need to pick a particular one seem to give different pictures of\n&gt; reality. This invites paradoxes if one is not careful.\n&gt;\n&gt; This can be seen by considering trajectories of classical relativistic\n&gt; many-particle systems. There is a famous theorem by Currie, Jordan\n&gt; and Sudarshan (Rev. Mod. Phys. 35 (1963), 350-375) which asserts that\n&gt; interacting two-particle systems cannot have Lorentz invariant\n&gt; trajectories in Minkowski space. Traditionally, this was taken by\n&gt; mainstream physics as an indication that the multiparticle view of\n&gt; relativistic mechanics is inadequate, and a field theoretical\n&gt; formulation is essential. However, as time proceeded, several\n&gt; approaches to valid relativistic multi-particle (quantum) dynamics\n&gt; were found, and the theorem had the same fate as von Neumann\'s\n&gt; proof that hidden-variable theories are impossible. Both results are\n&gt; now simply taken as an indication that the assumptions under which\n&gt; they were made are too strong.\n&gt;\n&gt; In particular, nothing forbids an instant observer to observe\n&gt; particle trajectories in its present space, or a\n&gt; point observer to observe particle trajectories in its past hyperboloid.\n&gt; However, the present space (or the past hyperboloid) of two different\n&gt; observers is related not by kinematical transforms but dynamically,\n&gt; with the result that trajectories seen by different observers look\n&gt; different. Classically, this looks strange, but quantum mechanically,\n&gt; trajectories are fuzzy anyway, due to the uncertainty principle, and\n&gt; as various successful multiparticle theories show, there is no\n&gt; mathematical obstacle for such a description.\n&gt;\n&gt; The mathematical reason of this paradoxical situation lies in the fact\n&gt; that there is no observer-independent definition of the\n&gt; center of mass of relativistic particles, and the related fact that\n&gt; there is no observer-independent definition of space-time coordinates\n&gt; for a multiparticle system. The best one can do is to define either\n&gt; a covariant position operator whose components do not commute\n&gt; (thus definig a noncommutative space-time), or a spatial position\n&gt; operator, the so-called Newton-Wigner position operator, which has\n&gt; three commuting coordinates but is observer-dependent.\n&gt;\n&gt; See the entry on \'Localization and position operators\' in my\n&gt; theoretical physics FAQ at\n&gt; http://www.mat.univie.ac.at/~neum/physics-faq.txt\n&gt;\n&gt;\n&gt; What you do is simply to single out an instant observer and call its\n&gt; view of space and time the only physically valid one. In your book,\n&gt; you do it by declaring the Newton-Wigner position operator to be a\n&gt; basic kinematic object. But the latter is defined only with respect\n&gt; to an instant observer. Thus you break the inherent symmetry, and get\n&gt; it back through the back door by constructing the instant form of\n&gt; a representation of the Poincare group. But no one will follow you in\n&gt; your restrictive postulate that one _has_ to do this and that everything\n&gt; else is nonphysical. The more freedom in the description, the better,\n&gt; as long as mathematical consistency is maintained. And with respect to\n&gt; the latter, all forms of relativistic dynamics are the same.\n&gt;\n&gt;\n&gt; Arnold Neumaier\n&gt;\n\n\nThanks for this detailed explanation of your views. Let me do the same from\nmy point of view, so we can discuss the differences.\n\n1. I don\'t think you can give an operational definition of such things\nas "timelike 4-vector" or "hyperboloid in the past". Experimentalists\ndo not use these concepts.\n\n2. I think that simultaneous measurements of observables of separated\nparticles are quite possible. At least, there should be no problem\nto measure positions and momenta of particles in a desktop experiment\n(the distances are of the order of 1m).\nwith time resolution of 1 picosecond or so. So, notation\nr_1(t), p_1(t), r_2(t), p_2(t) has perfect meaning with time t being\nthe same (of course, I assume the classical limit here,\nso there is no quantum "fuzziness").\n\n3. I do not understand your distinction between "instant observer" and\n"point observer". My view is that there are equivalent inertial\nobservers which are connected by "inertial transformations" (space and\ntime translations, rotations, and boosts) forming the Poincare group.\nSuppose that we know a full description of the physical system by one\nobserver. (In the quantum case such a description is given by the\nwave function. In the classical case, such a description is given by\nvalues of observables: positions of particles, their momenta, etc.)\nOne of the most important tasks of physics is to find the descriptions\nof the same system by all other observers. Usually we are interested\nonly in observers translated in time (dynamics), but other\ntransformations (boosts, rotations, and space translations) are also\nimportant.\n\n4. This problem is solved by the Dirac\'s formalism. Consider, for\nsimplicity, a system of 2 massive particles. The Hilbert space\nof this system is the tensor product of 1-particle Hilbert spaces\nT = T_1 (x) T_2. The tensor product structure determines 1-particle\nobservables in the Hilbert space of the compound system\n\nP_1 = p_1 (x) 1\nP_2 = 1 (x) p_2\nR_1 = r_1 (x) 1\nR_2 = 1 (x) r_2\n......\n\nwhere p_i and r_i are momenta and positions in the 1-particle spaces.\n\nNow, in order to find the transformations between descriptions of the\nsystem by different observers, we need to build a unitary\nrepresentation U_g of the Poincare group in the Hilbert space T.\nIf such a representation is constructed, then if F is operator of\nobservable for one observer O, then\n\nF\' = U_g F U_g^{-1} (1)\n\nis operator of\nthe same observable for observer O\' related to O by the inertial\ntransformation g.\n\nThere is one obvious way to construct generators of such\nrepresentation\n\nP_0 = P_1 + P_2\nJ_0 = J_1 + J_2\nK_0 = K_1 + K_2\nH_0 = H_1 + H_2\n\nHowever, this way corresponds to the absence of interaction between\nthe two particles, and is not very interesting.\nInteracting representations are obtained by adding interaction terms\n(depending on observables of both particles to the right hand sides\nof the above expressions). These interaction terms must satisfy the\nPoincare commutation relations. According to Dirac, consider two\nsimplest choices\n\nP = P_0\nJ = J_0\nK = K_0 + Z\nH = H_0 + V\n\nwhich is the instant form dynamics and\n\nP\' = P_0 + Y\nJ\' = J_0\nK\' = K_0\nH\' = H_0 + V\n\nwhich is the point form dynamics.\nNow, there is a theorem (Sokolov) stating that if we have description\nof the system in the instant form dynamics (P,J,K,H), then one can\nfind an unitary operator U which transforms this description to the\npoint form dynamics, so that the S-matrix caluclated in both cases is\nthe same. Your claim is that these two forms are physically completely\nequivalent.\n\nI disagree. Let us consider how observables of particle 1 transform\nwith\nrespect to space translations in different forms. We will use general\nequation (1). In the instant form\n\nP_1(a) = U_a P_1 U_a^{-1} = exp(-iPa) P_1 exp(iPa)\n= P_1 -i [P_0,P_1]+... = P_1\nR_1(a) = U_a R_1 U_a^{-1} = exp(-iPa) R_1 exp(iPa)\n= R_1 -i [P_0,R_1]+... = R_1 - a\n\nWe obtain the familiar result that independent on the interaction in\nthe system, space translations act kinematically.\n\nIn the point form\n\nP_1(a) = U\'_a P_1 U\'_a^{-1} = exp(-iP\'a) P_1 exp(iP\'a)\n= P_1 -i [Y, P_1]+... /= P_1\nR_1(a) = U\'_a R_1 U\'_a^{-1} = exp(-iP\'a) R_1 exp(iP\'a)\n= R_1 -i [P_0 + Y, R_1]+... /= R_1 - a\n\nthe transformation results are interaction-dependent\n(dynamical). This situation has never been observed in experiment.\nEven though the description of scattering in the two forms is exactly\nthe same, the transformations of observables wrt inertial\ntransformations are different. Different forms of dynamics can be\ndistinguished experimentally. The point form dynamics is not an\nadequate description of nature.\n\n5. Could you please specify which are these "successful multiparticle\ntheories" which avoid contradiction with the CJS theorem?\nAre you talking about "constraint dynamics" theories, or something\nelse?\n\nEugene Stefanovich.\n\n</UL></PRE></font></td></tr></table></BODY><HTML>');"> <IMG SRC=/images/buttons/ip.gif BORDER=0 ALIGN=CENTER ALT="View this Usenet post in original ASCII form">&nbsp;&nbsp;View this Usenet post in original ASCII form </a></div><P></jabberwocky>Arnold Neumaier wrote:
[...]
>
>
> Relativistic multiparticle mechanics is an intricate subject,
> and there are no-go theorems that imply that the most plausible
> possibilities cannot be realized. But these no-go theorems do not
> enforce the instant form.
>
> To pose the problem, one needs to distinguish between kinematical
> and dynamical quantities in the theory. Kinematics answers the
> question "What is the general form of objects that are subject to
> the dynamics?" Thus it only tells you about conceivable solutions.
> But kinematics does not know of equations of motions, and hence can
> only tell general (kinematical) features of solutions.
>
> Dirac distinguishes in his seminal paper
> Rev. Mod. Phys. 21 (1949), 392-399
> three natural forms of relativistic dynamics, the instant form,
> the point form, and the fromt form. They are distinguished by
> what they consider as kinematical quantities and what are the
> dynamical quantities.
>
>
> The familiar form of dynamics is the instant form,
> which treats space (hence spatial translations and rotations)
> as kinematical and time (and hence time translation and Lorentz boosts)
> as dynamical. This is the dynamics from the point of view of a
> hypothetical observer who has knowledge about all information at some
> time t (the present), and asks how this information changes as time
> proceeds.
>
> Because of causality (the finite bound of c on the speed of material
> motion and communication), the resulting differential equations
> should be symmetric hyperbolic differential equations for which the
> initial-value problem is well-posed.
> Because of Lorentz invariance, the time axis can be
> any axis along a timelike 4-vector, and (in special relativity)
> space is the 3-space orthogonal to it. For a real observer,
> the natural timelike vector is the momentum 4-vector of the material
> system defining its reference frame (e.g., the solar system).
>
> While very close to the Newtonian view of reality, it involves
> an element of fiction in that no real observer can get all the
> information needed as intial data. Indeed, causality implies that
> it is impossible for a physical observer to know the present anywhere
> except at its own position.
>
>
> A second, natural form of relativistic dynamics is, according to Dirac,
> the point form. This is the form of dynamics in which a particular
> space-time point x=0 (the here and now) in Minkowski space is
> distinguished, and the kinematical object replacing space is,
> for fixed L, a hyperboloid x^2=L^2 (and x_0<0) in the past
> (it could also be the future) of the here and now.
> The Lorentz transformations, as symmetries of the hyperboloid,
> are now kinematical and take the role that space translations and
> rotations had in the instant form. On the other hand, _all_ space and
> time translations are now dynamical, since they affect the position
> of the here-and-now.
>
> This is the form of dynamics which is manifestly
> Lorentz invariant, and in which space and time appear on equal footing.
> An observer in the here and now can (in principle, classically)
> have arbitrarily accurate information about the particles and/or fields
> on the past hyperboloid; thus causality is naturally accounted for.
> Information given on the past hyperboloid of a point can be propagated
> to information on any other past hyperboloid using the dynamical
> equations that are defined via the momentum 4-vector P, which is a
> 4-dimensional analogue of the nonrelativistic Hamiltonian.
> The Hamiltonian corresponding to motion in a fixed timelike
> direction u is given by H=u dot P. The commutativity of the components
> of P is the condition for the uniqueness of the resulting state
> at a different point x independent of the path x is reached from .
>
>
> There is also a third natural form of relativistic dynamics according
> to Dirac, the front form. It has many uses in quantum field theory
> but I'll not explain it here.
>
> All three forms are equivalent, related classically by canonical
> transformations preserving algebraic operations and the Poisson bracket,
> and quantum mechanically by unitary transformations preserving
> algebraic operations and hence the commutator. This means that any
> statement about a system in one of the forms can be translated into
> an equivalent statement of an equivalent system in any of the other
> forms.
>
> Preferences are therefore given to one form over the other depending
> solely on the relative simplicity of the computations one wants to do.
> This is completely analogous to the choice of coordinate systems
> (cartesian, polar, cylindric, etc.) in classical mechanics.
>
>
> For a multiparticle theory, however, the different forms and the
> need to pick a particular one seem to give different pictures of
> reality. This invites paradoxes if one is not careful.
>
> This can be seen by considering trajectories of classical relativistic
> many-particle systems. There is a famous theorem by Currie, Jordan
> and Sudarshan (Rev. Mod. Phys. 35 (1963), 350-375) which asserts that
> interacting two-particle systems cannot have Lorentz invariant
> trajectories in Minkowski space. Traditionally, this was taken by
> mainstream physics as an indication that the multiparticle view of
> relativistic mechanics is inadequate, and a field theoretical
> formulation is essential. However, as time proceeded, several
> approaches to valid relativistic multi-particle (quantum) dynamics
> were found, and the theorem had the same fate as von Neumann's
> proof that hidden-variable theories are impossible. Both results are
> now simply taken as an indication that the assumptions under which
> they were made are too strong.
>
> In particular, nothing forbids an instant observer to observe
> particle trajectories in its present space, or a
> point observer to observe particle trajectories in its past hyperboloid.
> However, the present space (or the past hyperboloid) of two different
> observers is related not by kinematical transforms but dynamically,
> with the result that trajectories seen by different observers look
> different. Classically, this looks strange, but quantum mechanically,
> trajectories are fuzzy anyway, due to the uncertainty principle, and
> as various successful multiparticle theories show, there is no
> mathematical obstacle for such a description.
>
> The mathematical reason of this paradoxical situation lies in the fact
> that there is no observer-independent definition of the
> center of mass of relativistic particles, and the related fact that
> there is no observer-independent definition of space-time coordinates
> for a multiparticle system. The best one can do is to define either
> a covariant position operator whose components do not commute
> (thus definig a noncommutative space-time), or a spatial position
> operator, the so-called Newton-Wigner position operator, which has
> three commuting coordinates but is observer-dependent.
>
> See the entry on 'Localization and position operators' in my
> theoretical physics FAQ at
> http://www.mat.univie.ac.at/~neum/physics-faq.txt
>
>
> What you do is simply to single out an instant observer and call its
> view of space and time the only physically valid one. In your book,
> you do it by declaring the Newton-Wigner position operator to be a
> basic kinematic object. But the latter is defined only with respect
> to an instant observer. Thus you break the inherent symmetry, and get
> it back through the back door by constructing the instant form of
> a representation of the Poincare group. But no one will follow you in
> your restrictive postulate that one _has_ to do this and that everything
> else is nonphysical. The more freedom in the description, the better,
> as long as mathematical consistency is maintained. And with respect to
> the latter, all forms of relativistic dynamics are the same.
>
>
> Arnold Neumaier
>


Thanks for this detailed explanation of your views. Let me do the same from
my point of view, so we can discuss the differences.

1. I don't think you can give an operational definition of such things
as "timelike 4-vector" or "hyperboloid in the past". Experimentalists
do not use these concepts.

2. I think that simultaneous measurements of observables of separated
particles are quite possible. At least, there should be no problem
to measure positions and momenta of particles in a desktop experiment
(the distances are of the order of 1m).
with time resolution of 1 picosecond or so. So, notation
r_1(t), p_1(t), r_2(t), p_2(t) has perfect meaning with time t being
the same (of course, I assume the classical limit here,
so there is no quantum "fuzziness").

3. I do not understand your distinction between "instant observer" and
"point observer". My view is that there are equivalent inertial
observers which are connected by "inertial transformations" (space and
time translations, rotations, and boosts) forming the Poincare group.
Suppose that we know a full description of the physical system by one
observer. (In the quantum case such a description is given by the
wave function. In the classical case, such a description is given by
values of observables: positions of particles, their momenta, etc.)
One of the most important tasks of physics is to find the descriptions
of the same system by all other observers. Usually we are interested
only in observers translated in time (dynamics), but other
transformations (boosts, rotations, and space translations) are also
important.

4. This problem is solved by the Dirac's formalism. Consider, for
simplicity, a system of 2 massive particles. The Hilbert space
of this system is the tensor product of 1-particle Hilbert spaces
T = T_1 (x) T_2. The tensor product structure determines 1-particle
observables in the Hilbert space of the compound system

P_1 = p_1 (x) 1P_2 = 1[/itex] (x) p_2R_1 = r_1 (x) 1R_2 = 1 (x) r_2
......

where p_i and r_i are momenta and positions in the 1-particle spaces.

Now, in order to find the transformations between descriptions of the
system by different observers, we need to build a unitary
representation U_g of the Poincare group in the Hilbert space T.
If such a representation is constructed, then if F is operator of
observable for one observer O, then

F' = U_g F U_g^{-1} (1)

is operator of
the same observable for observer O' related to O by the inertial
transformation g.

There is one obvious way to construct generators of such
representation

P_0 = P_1 + P_2J_0 = J_1 + J_2K_0 = K_1 + K_2H_0 = H_1 + H_2

However, this way corresponds to the absence of interaction between
the two particles, and is not very interesting.
Interacting representations are obtained by adding interaction terms
(depending on observables of both particles to the right hand sides
of the above expressions). These interaction terms must satisfy the
Poincare commutation relations. According to Dirac, consider two
simplest choices

P = P_0J = J_0K = K_0 + ZH = H_0 + V

which is the instant form dynamics and

P' = P_0 + YJ' = J_0K' = K_0H' = H_0 + V

which is the point form dynamics.
Now, there is a theorem (Sokolov) stating that if we have description
of the system in the instant form dynamics (P,J,K,H), then one can
find an unitary operator U which transforms this description to the
point form dynamics, so that the S-matrix caluclated in both cases is
the same. Your claim is that these two forms are physically completely
equivalent.

I disagree. Let us consider how observables of particle 1 transform
with
respect to space translations in different forms. We will use general
equation (1). In the instant form

P_1(a) = U_a P_1 U_a^{-1} = \exp(-iPa) P_1 \exp(iPa)= P_1 -i [P_0,P_1]+... = P_1R_1(a) = U_a R_1 U_a^{-1} = \exp(-iPa) R_1 \exp(iPa)= R_1 -i [P_0,R_1]+... = R_1 - a

We obtain the familiar result that independent on the interaction in
the system, space translations act kinematically.

In the point form

P_1(a) = U'_a P_1 U'_a^{-1} = \exp(-iP'a) P_1 \exp(iP'a)= P_1 -i [Y, P_1]+.[itex].. /= P_1R_1(a) = U'_a R_1 U'_a^{-1} = \exp(-iP'a) R_1 \exp(iP'a)= R_1 -i [P_0 + Y, R_1]+... /= R_1 - a

the transformation results are interaction-dependent
(dynamical). This situation has never been observed in experiment.
Even though the description of scattering in the two forms is exactly
the same, the transformations of observables wrt inertial
transformations are different. Different forms of dynamics can be
distinguished experimentally. The point form dynamics is not an
adequate description of nature.

5. Could you please specify which are these "successful multiparticle
theories" which avoid contradiction with the CJS theorem?
Are you talking about "constraint dynamics" theories, or something
else?

Eugene Stefanovich.