Gauge transformation and Occam's razor

In summary: Oh, I see. Yes, you're right. In that case, I am not familiar with a proof that a full nonlinear theory of a spin-2 field with a different coupling to matter is equivalent to GR. But if the coupling is sufficiently different, you can get into all sorts of trouble with violations of energy conservation, Lorentz invariance, etc. For example, if you add a higher-derivative term (such as a term proportional to the Ricci scalar), you typically pick up new, unwanted degrees of freedom, and this is a problem (unless you are very careful, as you are with Fierz-Pauli theory). So it's not clear to me what you are asking.
  • #36
blechman said:
If a particle is losing mass, then time is not homogeneous
I would rather say: then Lagrangian depends explicitly on 't'

PS
I cannot believe that a crazy particle losing its mass can change nature of time around itself... :smile:
 
Last edited:
Physics news on Phys.org
  • #37
blechman said:
First of all, mass is not TRULY conserved

I understand that the mass is not conserved in reality in all circumstances, but for example if a system is described by the Lagrange's function

[tex]
L(x_1,\ldots x_N,\dot{x}_1,\ldots \dot{x}_N) = \sum_{k=1}^N \frac{1}{2}m_k\dot{x}_k^2 \;-\; V(x_1,\ldots x_N)
[/tex]

then the mass

[tex]
\sum_{k=1}^N m_k
[/tex]

is conserved. Similarly, if I describe the system by a Lagrange's function

[tex]
L=-\int d^3x\; \frac{1}{2}\big(\partial_{\mu} A_{\nu}(x)\big)\big(\partial^{\mu} A^{\nu}(x)\big) - \sum_{k=1}^N \Big(q_k A^0(x_k) - q_k v_k\cdot A(x_k) + m_k \sqrt{1 - |v_k|^2}\Big).
[/tex]

then the total charge

[tex]
\sum_{k=1}^N q_k
[/tex]

is conserved. Now you are trying to tell me, that the mass conservation is trivial, but the charge conservation would not hold without proper gauge symmetry?
 
  • #38
jdg812 said:
I would rather say: then Lagrangian depends explicitly on 't'

PS
I cannot believe that a crazy particle losing its mass can change nature of time around itself... :smile:

You have to put these statements in context: putting a particle in a box breaks spatial homogeneity since now there is a wall! Therefore the momentum is not conserved (the particle bounces off the wall!). This is what physicists mean when they say things like "space is not homogeneous." On the cosmic scale, it still is, but on the scale of the particle in a box, no, it is not!

Same goes for time translation: anytime there is friction, for example, time translation invariance is LOST in the problem, and thus energy is not conserved (there is heat). Of course, in the COSMIC sense, energy is still conserved thanks to the first law of thermo (heat is energy!), but in the context of the particle experiencing the friction, we are perfectly in our right to say that it is sensitive to time! And that is what those statements mean.

This is common language in the physics community. I'm not pulling it out of my butt! :wink:
 
  • #39
jostpuur said:
Now you are trying to tell me, that the mass conservation is trivial, but the charge conservation would not hold without proper gauge symmetry?

I challenge you, jostpuur, to find where I claimed that "mass conservation is trivial"! There is *NOTHING* trivial about it! What I claimed is that ENERGY conservation follows from time-translation symmetry, and that mass conservation is a form of energy conservation. Ergo, mass conservation also follows from time-translation symmetry.

I also pointed out, both in that thread you referenced and this one, that in order to understand where that symmetry comes in, you must include the dynamics of the mass flow! If the mass flow has no dynamics, then for G-d's sake, of COURSE it's trivially conserved! I mean, if the mass is just static, then how can it NOT be conserved? The only time mass conservation becomes interesting is when there is dynamics.

Perhaps this is the source of all your woes: if you turn off Maxwell's equations, then charge is conserved, since charge is charge, and there's no where for it to go! But if you allow for the charge to have its own dynamics (Maxwell) then it is not immediately obvious that it should remain conserved. The gauge symmetry forces it on you.

Same with mass. If you model your mass as a fluid and try to describe it with Navier-Stokes, for example, then you would find that mass conservation would be imposed on you as a result of a symmetry (and violations in the symmetry would imply violations in the conservation law!). Of course, if you just say that we set the mass to 1kg and that mass has no dynamics, then isn't it rather straightforward to conclude that mass is "conserved"??

Only when a quantity's dynamics is included does the question become "interesting".

Maybe this answers your questions better than my previous attempts.
 
  • #40
blechman said:
I'm not pulling it out of my butt! :wink:
:wink:

blechman said:
... in order to understand where that symmetry comes in, you must include the dynamics of the mass flow! If the mass flow has no dynamics, then for G-d's sake, of COURSE it's trivially conserved! I mean, if the mass is just static, then how can it NOT be conserved? The only time mass conservation becomes interesting is when there is dynamics.
...
Of course, if you just say that we set the mass to 1kg and that mass has no dynamics, then isn't it rather straightforward to conclude that mass is "conserved"??

Only when a quantity's dynamics is included does the question become "interesting".
In another Thread I was trying to say practically the same thing ... :wink:
 
  • #41
The spins of the particles

Hello:

The Lagrangian in the first post of this thread makes no sense in terms of the symmetries that the field strength tensor needs to represent.

In EM, like charges repel. That means the particles that mediate this force must be spin 1. The antisymmetric tensor [itex]F^{\mu \nu}[/itex] changes signs if the indexes are switched, the sign that it could represent a spin 1 particle.

The same cannot be said for the asymmetric tensor [itex]\partial_{\mu} A_{\nu}[/itex]. Instead, this tensor is reducible into two irreducible tensors, the antisymmetric tensor [itex]F^{\mu \nu}[/itex] and a symmetric tensor:

[tex]\partial_{\mu} A_{\nu} = \frac{1}{2}(\partial_{\mu} A_{\nu} - \partial_{\nu} A_{\mu}) + \frac{1}{2}(\partial_{\mu} A_{\nu} + \partial_{\nu} A_{\mu})[/tex]

For the second rank 2 tensor, changing the signs does not alter any signs. If this tensor happened to have a trace of zero, then it could represent a spin two particle that travels at the speed of light, or the graviton.

Looks like you are stumbling into the briar patch of unified field theory my friends. There is a very long discussion going on this topic on the Independent Research boards, "Unifying Gravity and EM", https://www.physicsforums.com/forumdisplay.php?f=146. One of the fun challenges was to spot spin 1 and spin 2 symmetry in the phase space of the current coupling term (hint: analyze everything, not just the transverse current).

Doug
 
  • #42
sweetser said:
Hello:

The Lagrangian in the first post of this thread makes no sense in terms of the symmetries that the field strength tensor needs to represent.

In EM, like charges repel. That means the particles that mediate this force must be spin 1. The antisymmetric tensor [itex]F^{\mu \nu}[/itex] changes signs if the indexes are switched, the sign that it could represent a spin 1 particle.

The same cannot be said for the asymmetric tensor [itex]\partial_{\mu} A_{\nu}[/itex]. Instead, this tensor is reducible into two irreducible tensors, the antisymmetric tensor [itex]F^{\mu \nu}[/itex] and a symmetric tensor:

[tex]\partial_{\mu} A_{\nu} = \frac{1}{2}(\partial_{\mu} A_{\nu} - \partial_{\nu} A_{\mu}) + \frac{1}{2}(\partial_{\mu} A_{\nu} + \partial_{\nu} A_{\mu})[/tex]

For the second rank 2 tensor, changing the signs does not alter any signs. If this tensor happened to have a trace of zero, then it could represent a spin two particle that travels at the speed of light, or the graviton.

Looks like you are stumbling into the briar patch of unified field theory my friends. There is a very long discussion going on this topic on the Independent Research boards, "Unifying Gravity and EM", https://www.physicsforums.com/forumdisplay.php?f=146. One of the fun challenges was to spot spin 1 and spin 2 symmetry in the phase space of the current coupling term (hint: analyze everything, not just the transverse current).

Doug

I don't understand why these symmetries are relevant for the repelling interaction of the like charges.

If I define the system by the Lagrangian

[tex]
L=-\int d^3x\; \frac{1}{2}\big(\partial_{\mu} A_{\nu}(x)\big)\big(\partial^{\mu} A^{\nu}(x)\big) - \sum_{k=1}^N \Big(q_k A^0(x_k) - q_k v_k\cdot A(x_k) + m_k \sqrt{1 - |v_k|^2}\Big).
[/tex]

the equations of motion, given by the action extremizing demand, are

[tex]
\partial_{\mu}\partial^{\mu} A^{\nu}(x) = \sum_{k=1}^N q_k\delta^3(x-x_k)(1,v_k)^{\nu}
[/tex]

[tex]
F_k = -q_k(\nabla A^0 + \partial_0 A) + q_k v_k\times(\nabla\times A)
[/tex]

So if there's two charges at locations x1 and x2, the stationary field produced by the charge 1 is given by

[tex]
-\nabla^2 A^0(x) = q_1 \delta^3(x-x_1)
[/tex]

with solution

[tex]
A^0(x) = \frac{q_1}{4\pi}\frac{1}{|x-x_1|}
[/tex]

and [itex]A^i(x)=0[/itex]. The force that the particle 2 experiences is given by

[tex]
F=-q_2\nabla A^0(x_2) = \frac{q_1q_2}{4\pi} \frac{x_2-x_1}{|x_2-x_1|^3}
[/tex]

We say that the like charges repel, because they accelerate away from each others! I thought that the mediating particles belong to the phenomenology of particle collisions. Whatever... I don't understand how these symmetry properties are relevant now. If they are relevant for something, at least not for the fact that like charges repel?
 
Last edited:
  • #43
Particle exchnages and spin symmetries

Hello jostpuur:

I learned this from Brian Hatfield's introduction to "Feynman lectures on Gravitation". So I don't mess up, I will quote extensively:

Hatfield said:
In order to produce a static force and not just scattering, the emission or absorption of a single graviton by either particle must leave both particles in the same internal state. This rules out the possibility that the graviton carries have-integer spin (for example, related to the fact that it takes a rotation of 720 degrees to return a spin-1/2 wavefunction back to itself). Therefore the graviton must have integer spin. Next, to decide which integer spins are possible, we examine the two cases where particle 2 is identical to particle 1 and where particle 2 is the antiparticle of 1, so when charged, the two particles will carry the same and opposite charge, respectively. When the potential is computed in both cases, and the appropriate limits are taken, we find that when the exchanged particle carries odd integer spin, like charges repel and opposite charges attract, just as in the example of electrodynamics. On the other hand, when the exchanged partilce carries even integer spin, the potential is universally attractive (like charges and opposite charges attract). Hence, the spin of the graviton must be 0, 2, 4,...

The laws of physics are consistent. This means I am not saying your derivation of the force law is wrong in any way (because your calculation is right!). The calculation Hatfield describes is different, dealing with quantum field theory. There he is taking into account issues like the exchange of particles, an issue that a classical force law does not touch. The spin of the particle for a force where like charges repel must be odd. Since gravity is a universally attractive force, the spin must be even. The field strength tensor for EM must have odd spin exclusively, which [itex]\partial_{\mu} A_{\nu}[/itex] does not. Your classical argument will not persuade quantum field theorists!

Doug
 
  • #44
Is all this a really simple issue which was mentioned, but then got lost in all the posts?

The proposed "simpler" Lagrangian is correct, but only if you have the gauge condition built into the variational principle via Lagrange multipliers. As already noted, this actually gives you back the conventional Lagrangian. So the problem has been a mis-application of maths --- we minimise action *with the constraints*. Doing otherwise is simply not solving the same problem.
 
  • #45
Hello Genneth:

I think it is valuable to have multiple views on why a theory such as the Maxwell equations is self-consistent. Looking at this issue as an action with the a gauge constraint makes sense to me. I liked your comment that "Doing otherwise is simply not solving the same problem". The question becomes what problem is that, since it looks darn similar? It would have to be a force that - based on the symmetry arguments above - has 'like and opposite charges attract.' That is why I bet my research dollar that [itex]\nabla_{\mu} A_{\nu}[/itex] (not [itex]\partial_{\mu} A_{\nu}[/itex]) might be the basis of a unified field theory for gravity and EM.

Doug
 

Similar threads

  • Classical Physics
Replies
4
Views
306
  • Classical Physics
Replies
12
Views
1K
Replies
3
Views
1K
  • High Energy, Nuclear, Particle Physics
2
Replies
38
Views
3K
  • Differential Geometry
Replies
1
Views
2K
Replies
1
Views
852
  • Calculus and Beyond Homework Help
Replies
7
Views
571
  • Beyond the Standard Models
Replies
1
Views
323
  • Special and General Relativity
Replies
11
Views
236
  • Science and Math Textbooks
Replies
6
Views
221
Back
Top