A What assumptions underly the Lorentz transformation?

  • #51
Orodruin said:
Experiments are required to verify all assumptions and predictions. Regardless of the path taken to the Lorentz transformations.

As I said earlier in this thread, most texts and courses follow the historical path. It is questionable if this is the best option. Lorentz transformations really aren’t anything but the Minkowski space equivalent of rotations in Euclidean space. There is no more magic to it than that. Simply assuming Minkowski space and considering transformations between orthonormal frames will do.
Yes, I also think that this is the most elegant approach, but before I go indeed more or less through Einstein's original derivation, because it elucidates the physical way how to realize the independence of the speed of light of the velocity of the light source wrt. an inertial frame via the clock-synchronization convention. This emphasizes the necessity of the local point of view, i.e., that you need a set of (in practice of course only fictitious) standard clocks at rest in an inertial frame at each spatial point and synchronize them with light signals. That's of course a much less elegant approach than the purely mathematical one using the mathematical structure of Minkowski space as an affine pseudo-Euclidean manifold with a fundamental form of signature (1,3) (or equivalently (3,1)), but with this approach it's not clear, why this is the right space time structure!
 
  • Like
Likes otennert
Physics news on Phys.org
  • #52
Sagittarius A-Star said:
This derivation does not rule-out the Galilean case with no maximum velocity. An experiment to rule-out the Galilean case is still required.Source:
https://www.researchgate.net/publication/252687984_One_more_derivation_of_the_Lorentz_transformation
That's the same derivation as the one I quoted above (with some differences in some details). I find this the most convincing derivation, because it uses only the symmetry assumptions about spacetime with the special principle of relativity and derives the reciprocity relation from them. It then follows that there are only Galilei-Newton or Einstein-Minkowski spacetime left, and of course only observation can decide between these two possibilities, and it's clear that Einstein-Minkowski is the correct description (with regard to gravitation and GR you have to make the corresponding Poincare symmetry local to get the yet most comprehensive spacetime model).
 
  • Like
Likes Dragrath, Sagittarius A-Star and otennert
  • #53
Orodruin said:
Lorentz transformations really aren’t anything but the Minkowski space equivalent of rotations in Euclidean space. There is no more magic to it than that. Simply assuming Minkowski space and considering transformations between orthonormal frames will do.
Deriving the LT as hyperbolic rotation of the coordinate system is a good and "fast" approach. However, some textbooks do not simply assume Minkowski spacetime, but derive it from the two SR postulates + assuming linearity (for example Andrzej Dragan "Unusually special relativity"). Maybe, because the 2 postulates are closer to experiment.
 
  • Like
Likes Dragrath and vanhees71
  • #54
otennert said:
the maximum velocity may go to infinity, which is the Galilean case.
I think this would be correct, if you didn't speak about "maximum velocity", but only about the mathematical quantity "c" in the transformation equations. The value of the "maximum velocity" in SR is an artifact of the physical unit system.

GT of x to x':
https://www.wolframalpha.com/input?i=Limit[(x+-+v+t)/Sqrt[1+-+v^2/c^2],+c+->+Infinity]

GT of t to t':
https://www.wolframalpha.com/input?i=Limit[(t+-+(v+x)/c^2)/Sqrt[1+-+v^2/c^2],+c+->+Infinity]
otennert said:
Nevertheless this derivation puts Lorentz and Galilei transformations on an equal footing, from a logical point of view. What is realized in nature is then decided by experiment.
... And to put the constancy of the velocity of light at the beginning, to me is not a good starting point for axiomatizing special relativity (if one may want to do so at all).
Unlike many other derivations of LT, the begin of the derivation I wrote in posting #36, until including equation (5), puts also Lorentz and Galilei transformations on an equal footing.

Edit:
I must admit, that adding the group law for a transformation yields
##A= \frac{1}{\sqrt{1-v^2/c^2}} := \gamma ## and the LT, after GT and an unphysical solution were excluded, without involving SR postulate 2. That is an advantage over the derivation in my posting #36.
 
Last edited:
  • Like
Likes vanhees71
  • #55
Sagittarius A-Star said:
I think this would be correct, if you didn't speak about "maximum velocity", but only about the mathematical quantity "c" in the transformation equations. The value of the "maximum velocity" in SR is an artifact of the physical unit system.

GT of x to x':
https://www.wolframalpha.com/input?i=Limit[(x+-+v+t)/Sqrt[1+-+v^2/c^2],+c+->+Infinity]

GT of t to t':
https://www.wolframalpha.com/input?i=Limit[(t+-+(v+x)/c^2)/Sqrt[1+-+v^2/c^2],+c+->+Infinity]

What do you mean? Using the letter "c" instead of speaking of a "maximum velocity" has no more physical content -- after all "c" in the paper's derivation *is* the maximum velocity possible, whatever the value. Identification of "c" with the velocity of light is an independent step, as I mentioned. And infinity is infinity, in all sensible unit systems.
 
  • Like
Likes vanhees71
  • #56
otennert said:
after all "c" in the paper's derivation *is* the maximum velocity possible, whatever the value.
In https://www.researchgate.net/publication/252687984_One_more_derivation_of_the_Lorentz_transformation, "c" is only defined for the case ##(iii) \alpha >0## (page 275), which does not belong to the GT. The GT has no maximum velocity. But it is still remarkable, that the limit of LT is GT, as the mathematical quantity "c" approaches infinity.

otennert said:
And infinity is infinity, in all sensible unit systems.
No, see:
The meter is defined as the length of the path traveled by light in a vacuum during a time interval of 1/299,792,458 of a second.
Source:
https://education.nationalgeographic.org/resource/meter-defined
 
  • #57
otennert said:
What do you mean? Using the letter "c" instead of speaking of a "maximum velocity" has no more physical content -- after all "c" in the paper's derivation *is* the maximum velocity possible, whatever the value. Identification of "c" with the velocity of light is an independent step, as I mentioned. And infinity is infinity, in all sensible unit systems.
c is technically nothing but a unit conversion factor. You have to be careful when you talk about taking limits. Technically you recover the Galilean transformations if you let c go to infinity while keeping everything else constant. However, this limit does not change Minkowski space to Galilean spacetime because regardless of the value of c, the Minkowski geometry is what it is and does not smoothly change into the geometry of Galilean spacetime in any kind of limit.
 
  • Like
Likes Dragrath and Nugatory
  • #58
In the Lorentz transformation in standard (t,x)-variables [say, in conventional SI units] there are actually two types of speeds, “c” as the conversion constant 3e8m/s [ so t and x/c have the same units] and “c” the maximum signal speed (often seen in ##v/c_{max}##). The conversion constant c doesn’t change in the looking for a Galilean limit… it’s the ##c_{max}## that tends to infinity in that limit.
 
  • #59
Orodruin said:
c is technically nothing but a unit conversion factor. You have to be careful when you talk about taking limits. Technically you recover the Galilean transformations if you let c go to infinity while keeping everything else constant. However, this limit does not change Minkowski space to Galilean spacetime because regardless of the value of c, the Minkowski geometry is what it is and does not smoothly change into the geometry of Galilean spacetime in any kind of limit.
Correct. "c" is a parameter of the dimension of "velocity", nothing else. Which is why a priori identification with the speed of light is not justified.But it also constitutes the maximum velocity that can be reached by LTs.

Also you are correct that on the other hand, there is some subtlety in going from the Lorentz group to the Galilei group, as the group structure changes, and obviously Minkowski spacetime has a causal structure whereas Galilei spacetime hasn't. But as I see it this is beyond the scope of this paper and the initial question under consideration.
 
  • Like
Likes Dragrath
  • #60
Sagittarius A-Star said:
In https://www.researchgate.net/publication/252687984_One_more_derivation_of_the_Lorentz_transformation, "c" is only defined for the case ##(iii) \alpha >0## (page 275), which does not belong to the GT. The GT has no maximum velocity. But it is still remarkable, that the limit of LT is GT, as the mathematical quantity "c" approaches infinity.No, see:

Source:
https://education.nationalgeographic.org/resource/meter-defined
"c" is the maximum velocity, as in case ##(iii)##. There is then no transformation that can map a velocity ##v<c## to a velocity ##v\geq c##. And case ##(ii)## is when ##c\to\infty##, so that ##\alpha\to 0##, which is what I am saying. Case ##(i)## is subsequently discarded because it violates causality. Taking the limit at this point for formula (45) to get (43) is mathematically trivial and well-defined. It is actually not remarkable at all at this point.
 
Last edited:
  • #61
Orodruin said:
c is technically nothing but a unit conversion factor. You have to be careful when you talk about taking limits. Technically you recover the Galilean transformations if you let c go to infinity while keeping everything else constant. However, this limit does not change Minkowski space to Galilean spacetime because regardless of the value of c, the Minkowski geometry is what it is and does not smoothly change into the geometry of Galilean spacetime in any kind of limit.
That's a subtle issue. On the one hand you are right: The particular value of ##c## is just a convention defining the unit of lengths in terms of the unit of time in any given system of units. In the SI they make unit of time (the second, s) the most fundamental unit, because time measurements are among the most precise measurements possible. It's still the hyperfine transition of Cs-133 used to define the second, but that may change in not too far future since there are more accurate realizations possible (either an atomic clock in the visible-light range or the nuclear Th clock). Then the unit of length (the meter, m) is defined by setting the limit speed of relativity to a certain value. Since with very high accuracy the photon is massless the realization of ##c## in measurements is simply the speed of electromagnetic waves in a vacuum.

On the other hand all this of course hinges in the existence of the limiting speed and the validity of the relativistic spacetime model. If the world were Galilean, there'd be no fundamental natural constant with the dimensions of a velocity and time and lengths units would have to be defined independently of each other with some "normals" (as it was before 1983, when the second was defined as today and the meter independently by some wavelength of a certain Kr-86 line).
 
  • Like
Likes otennert
  • #62
Another interesting thing that is worth pointing out regarding the Lorentz transformation:

It is a symmetry of the wave equation and can be derived from just looking for symmetries of the wave Lagrangian. Not just the wave equation for light but for any wave equation with ##c## being the wave speed. Of course, this in itself does not say anything about the Lorentz transformation being fundamentally related to the spacetime structure.
 
  • Like
Likes vanhees71
  • #63
That is conservation of (angular) momentum.
Tell that to gravity.
 
  • #64
vanhees71 said:
Then the unit of length (the meter, m) is defined by setting the limit speed of relativity to a certain value.


On the other hand all this of course hinges in the existence of the limiting speed and the validity of the relativistic spacetime model. If the world were Galilean, there'd be no fundamental natural constant with the dimensions of a velocity and time and lengths units would have to be defined independently of each other with some "normals" (as it was before 1983, when the second was defined as today and the meter independently by some wavelength of a certain Kr-86 line).

From a geometric viewpoint, the Galilean structures lacking a fundamental natural constant of velocity
Is similar to
Euclidean space not having a fundamental length constant or length-scale (think “radius”… associated with curvature) [among the classic Riemannian-signature nonEuclidean geometries] as one has for an elliptic/spherical space or a hyperbolic space.
Similarly, the Minkowski and Galilean structures also lack a fundamental length-scale, unlike their curved analogies.
 
Last edited:
  • Like
Likes vanhees71
  • #65
otennert said:
"c" is the maximum velocity, as in case ##(iii)##.
...
And case ##(ii)## is when ##c\to\infty##, so that ##\alpha\to 0##, which is what I am saying.

In case ##(iii)##, ##\alpha##, and therefore also the maximum velocity ##c## are constants of nature, as described in https://www.researchgate.net/publication/252687984_One_more_derivation_of_the_Lorentz_transformation when discussing case ##(iii)## (see page 276):
paper said:
Clearly, as in case (i), the numerical value of α depends on the initial choice of units for space and time coordinates, so that, physically, there is but one situation here.
As example, take the SI unit system, according to which ##c=3 \cdot 10^8 m/s##. It makes no sense to write:
##\require{color}\lim_{3 \cdot 10^8 \frac{m}{s} \rightarrow \infty} {\frac{1}{\sqrt{1-v^2/c^2}} (t-\color{red}\frac{vx}{c^2}\color{black})}##

If you would instead use a physical unit system that yields a double value for ##c## by changing the definition of "1 meter", then the denominator of the red fraction would quadruple, but also the numerator would quadruple. The transformation would stay the same.
 
Last edited:
  • #66
Sagittarius A-Star said:
In case ##(iii)##, ##\alpha##, and therefore also the maximum velocity ##c## are constants of nature, as described in https://www.researchgate.net/publication/252687984_One_more_derivation_of_the_Lorentz_transformation when discussing case ##(iii)## (see page 276):

As example, take the SI unit system, according to which ##c=3 \cdot 10^8 m/s##. It makes no sense to write:
##\require{color}\lim_{3 \cdot 10^8 \frac{m}{s} \rightarrow \infty} {\frac{1}{\sqrt{1-v^2/c^2}} (t-\color{red}\frac{vx}{c^2}\color{black})}##
This is of course does not make any sense at all, as it is not the way you consider limits in mathematics. The point of the paper on this is that it does not matter of all what value ##c## has from a conceptual point of view. It might be anything. It is a natural constant, obviously, but again it does not need to be the speed of light.

The fact that it is the speed of light is an independent, next step, but outside the paper -- and as it turns out, experimental evidence supports this.
 
  • Like
Likes Dragrath
  • #67
otennert said:
The fact that it is the speed of light is an independent, next step, but outside the paper -- and as it turns out, experimental evidence supports this.

Experimental evidence supports, that the defined constant "speed of light" applies also to the maximum speed in physics, as described in SR. As argued in #65, a re-definition of that constant would not change the transformation at all.

The speed of light in vacuum cannot be measured, because it is only a conversion factor in the unit system.
 
Last edited:
  • #68
For the logic of the paper, and for the original question "what are the basic assumptions underlying LTs", it is completely irrelevant what the actual value of ##c## is, which unit system is in use, how the metre is defined, or whether ##c## is actually the speed of light or not. Switching from an old definition of the metre to a new one, or from ##m/s## to ##miles/hour## or to so-called "natural units" where simply ##c=1##, does not make any difference at all to that logical argument.

The basic 2 options are: is the velocity parameter ##c##, which is a natural constant, finite or infinite (in the paper's nomenclature: is ##\alpha>0## or is ##\alpha=0##)? That's cases ##(ii,iii)## in the paper. And it is a mathematical triviality to get from (45) to (43) by taking ##\lim_{c\to \infty}##.

Everything else is to be separated from that or has to be decided otherwise, and of course has already been done so.

Don't get me wrong: I don't disagree with your physical statements, I am just not fine with your logical reasoning. But maybe there is a misunderstanding here?
 
  • #69
otennert said:
The basic 2 options are: is the velocity parameter ##c##, which is a natural constant, finite or infinite (in the paper's nomenclature: is ##\alpha>0## or is ##\alpha=0##)? That's cases ##(ii,iii)## in the paper. And it is a mathematical triviality to get from (45) to (43) by taking ##\lim_{c\to \infty}##.
There definitely was a thread about this recently and, IMO, Newtonian space and time is not geometrically the limit of Minkowski spacetime as ##c \to \infty##. In the sense that the geometries do not converge. As any good maths student will tell you, plugging in ##c = \infty## is not taking a limit.

If we say that there is no invariant speed, then we have Newtonian physics. That is both simple and unimpeachable mathematically.
 
  • Like
Likes vanhees71
  • #70
PeroK said:
There definitely was a thread about this recently and, IMO, Newtonian space and time is not geometrically the limit of Minkowski spacetime as ##c \to \infty##. In the sense that the geometries do not converge. As any good maths student will tell you, plugging in ##c = \infty## is not taking a limit.
I remember that thread, and I responded there that this is correct, as Newton/Galilei spacetime has no causal structure, but also is outside the scope both of the paper and the initial question under consideration.

In the paper under discussion, to get from eq. (45) to (43), is by letting ##c\to\infty##, that's basic math and well-defined. That's all.

Of course: when the line of reasoning of the paper is finished, the next logical steps are to investigate:
- Is a maximum velocity (which is then a natural constant) given in nature? (--> answer: yes)
- Could it be identified with the speed of light? (--> answer: yes)
- What implications does the fact that there is a finite maximum speed have? (e.g. causal structure/timelike/spacelike/null curves etc.)

Also correct, but again outside the scope of both the paper and the initial question: in order to go from the Lorentz group to the Galilei group, simply taking ##c\to\infty## is not sufficiently well-defined at all, as the structure of both the group and its generators change, as is well-known. The mathematical procedure to do so is called a group contraction and has in this specific case been demonstrated by Inönu and Wigner 1953.
 
  • Like
Likes dextercioby and Dragrath
  • #71
otennert said:
I remember that thread, and I responded there that this is correct, as Newton/Galilei spacetime has no causal structure, but also is outside the scope both of the paper and the initial question under consideration.

In the paper under discussion, to get from eq. (45) to (43), is by letting ##c\to\infty##, that's basic math and well-defined. That's all.
That mathematics is flaky at best. For every value of ##c## we have the same Minkowski geometry. The limit cannot be, therefore, what you get by plugging in ##c = \infty##.
 
  • Like
Likes vanhees71
  • #72
PeroK said:
That mathematics is flaky at best. For every value of ##c## we have the same Minkowski geometry. The limit cannot be, therefore, what you get by plugging in ##c = \infty##.

But this is not what I am saying, and I do agree with your statement on geometry.
 
  • #73
What you and the paper are saying:

For all ##v##, the transformation ##L(v) \to G(v)## as ##c \to \infty##.

But, what you need is:

As ##c \to \infty##: for all ##v < c## we have ##L(v) \to G(v)##.

In other words, it's nonsensical to increase ##c##, as the maximum speed, but bound ##v## (all allowable speeds) by some initial ##c_0##.

To make your argument valid you would need a fixed bound on ##v## while ##c## increases without limit.
 
  • Like
Likes vanhees71
  • #74
PeroK said:
What you and the paper are saying:

For all ##v##, the transformation ##L(v) \to G(v)## as ##c \to \infty##.
Yes. It is basic math to go from (45) to (43) by taking the limit ##c\to\infty##. No physical context needed for this at all, everything is well-defined.

PeroK said:
But, what you need is:

As ##c \to \infty##: for all ##v < c## we have ##L(v) \to G(v)##.

In other words, it's nonsensical to increase ##c##, as the maximum speed, but bound ##v## (all allowable speeds) by some initial ##c_0##.

To make your argument valid you would need a fixed bound on ##v## while ##c## increases without limit.
This I do not understand. What would the fixed bound ##c_0## be necessary for? In Galilean spacetime, there is no such fixed bound. Any object can have any relative velocity to any other object, and also simultaneity is absolute, as can be seen in (43).

Of course, we all know, that this is not realized in nature. Nonetheless, the same basic and very general assumptions that lead to LT also lead to GT as an option. This is the whole point of the argument.

I might miss to get your point on this, but if you are referring to the fact that of course the limit ##c\to\infty## is somehow too simple to convert a Lorentzian spacetime with all its causal structure into a Galilean one without, I do totally agree! As I stated before, the mathematical procedure is called a group contraction which implies i.a. a rescaling of the group generators before a limiting process can then be made.

The different geometries of Newton/Galilei vs Lorentz/Minkowski are rooted exactly where the different algebraic properties of the Galilei group and algebra vs Lorentz group and algebra are. But from a logical point of view, this is a consequence of the fact that there is a limiting velocity ##c## in existence instead of none as in Galilei, and not another a priori assumption.
 
Last edited:
  • Like
Likes dextercioby
  • #75
otennert said:
But maybe there is a misunderstanding here?
That's likely. In the paper they avoid misunderstanding by mentioning in case ##(ii)## only ##\alpha = 0## and not ##c##.
 
  • #76
The point is that you discuss two different (related) aspects: (a) the Galilei group as a "deformation" of the Poincare group and (b) the spacetime geometries. The former in a well-defined mathematical sense can be seen as taking "##c \rightarrow \infty##", while that's not the case for the latter.
 
  • Like
Likes Dragrath and Sagittarius A-Star
  • #77
@otennert as in the previous thread your conclusion that as ##c \to \infty## all gamma factors tend to ##1## is false. The flaw in your basic maths is misplacing the universal quantifier for ##v## independent of ##c##.

For example, try taking the limit with ##v = \frac c 2##. Which is perfectly valid.
 
  • #78
Of course the deformation from the Poincare to the Galilei group has to be taken at fixed group parameter, ##v##, not at fixed ##\beta=v/c##.
 
  • Like
Likes otennert
  • #79
PeroK said:
@otennert as in the previous thread your conclusion that as ##c \to \infty## all gamma factors tend to ##1## is false. The flaw in your basic maths is misplacing the universal quantifier for ##v## independent of ##c##.

For example, try taking the limit with ##v = \frac c 2##. Which is perfectly valid.
You have lost me completely now. Are we both looking at the same formula?

##\lim_{c\to\infty}\frac{x-vt}{(1-v^2/c^2)^{1/2}}=x-vt##

Can you please point me to my basic math error here?
 
  • Like
Likes vanhees71
  • #80
otennert said:
You have lost me completely now. Are we both looking at the same basic formula?

##\lim_{c\to\infty}\frac{x-vt}{(1-v^2/c^2)^{1/2}}=x-vt##

Can you please point me to my basic math error here?
You're missing the existential and universal quantifiers. That's a sort of pointwise convergence that tells you nothing about the overall geometry.

It's similar to the difference between pointwise and uniform continuity.
 
  • #81
I keep saying I am not talking about overall geometry at all, neither does the paper. The whole discussion of this thread at the beginning and the paper I have cited revolves around the very simple question: what are the basic assumptions for Lorentz transformations? And the paper gives these, both LT and GT are the result from these, and by letting ##c\to\infty##, you end up from LT to GT, as in (45) to (43).

No statement at all is given on the implications on geometry, on group structure, on any non-trivial properties that a Lorentz spacetime has over a Galilean spacetime.

And I do agree with you that there are such implications, and the transition from Lorentz to Galilei algebra is non-trivial, spacetime geometry is different etc.etc. But this is a completely different discussion! And I am happy to have this, but still it is not what has been asked for in the first place, and is something that is not addressed by the paper at all!
 
  • #82
By omitting the quantifier ##\forall v <c## you hide the flaw and hide the invalidity of your limit.
 
  • #83
That may well be true, but the "non-relativistic limit" of some formula/theory usually involves a formal expansion in powers of ##1/c##.

I think the question, in which sense Galilei-Newton spacetime is a limit of Einstein-Minkowski spacetime is more complicated. I've not yet seen any formal discussion of that. Maybe one can work it out by looking at the corresponding "limit" which deforms a Minkowski diagram (for one-dimensional motion of course) in its analogue for Newtonian physics, which is pretty strange though, so that nobody ever discusses it in textbooks. I once thought about it, but then I found it pretty useless for presenting it to students in the introductory lecture of special relativity ;-)).
 
  • #85
PeroK said:
By omitting the quantifier ##\forall v <c## you hide the flaw and hide the invalidity of your limit.
I am beginning to see what you mean. What makes you think that ##v## is not be held fixed while letting ##c\to\infty##? That was my assumption all the time. You seem to require that somehow the ratio ##v/c## needs to be kept constant, but I am not seeing the reason why...?
 
  • Like
Likes vanhees71
  • #86
The Galilean limit often can be derived as the limit ##\beta=v/c \rightarrow 0##, but also a bit depends on the theory you are looking at. E.g., for mechanics the limit ##\beta \rightarrow 0## is indeed usually getting you to the non-relativistic approximation.

For the Maxwell equations it's another business, and you have to distinguish between different "Galilean limits" ("electric" and "magnetic" ones):

M. LeBellac, J. M. Levy-Leblond, Galilean electromagnetism, Nuovo Cim. 14B, 217 (1973)

Generally, I also do not understand what @PeroK is after.
 
Last edited:
  • Like
  • Love
Likes dextercioby, Dragrath, malawi_glenn and 1 other person
  • #87
vanhees71 said:
The Galilean limit often can be derived as the limit ##\beta=v/c \rightarrow 0##, but also a bit depends on the theory you are looking at. E.g., for mechanics the limit ##\beta \rightarrow 0## is indeed usually getting you to the non-relativistic approximation.

For the Maxwell equations it's another business, and you have to distinguish between different "Galilean limits" ("electric" and "magnetic" ones):

M. LeBellac, J. M. Levy-Leblond, Galilean electromagnetism, Nuovo Cim. 14B, 217 (1973)

Generally, I also do not understand what @PeroK is after.
Intriguing! I will give it a read. Actually I would never have imagined someone would investigate the Galilei limit of a Gauge theory at the core of which are massless particles.
 
  • Like
Likes vanhees71
  • #88
otennert said:
I am beginning to see what you mean. What makes you think that ##v## is not be held fixed while letting ##c\to\infty##? That was my assumption all the time. You seem to require that somehow the ratio ##v/c## needs to be kept constant, but I am not seeing the reason why...?
It's a question of what we choose first. If I choose any ##v##, then you let ##c \to \infty##, then ##\gamma(v) \to 1##. Fair enough.

But, if you choose ##c##, then I can choose any ##v < c## and we have the full range of gamma factors and the same geometry. Still Minkowski and no nearer to Galilean. So, there is no convergence from Minkowski to Gallilean

The question is which of these is correct?
 
  • #89
"##c\rightarrow\infty##" is for physical intuition (for a layperson or a physics student).

A more mathematical sound approach (which avoids "limiting processes" as much as possible)
is to use a dimensionless parameter that I call
$$E=0,$$ which is one option from ##\{-1,0,1\}##
(in my drafts and posters, I call it ##\epsilon^2##)
which is essentially the sign of the dimensionful quantities with units of a squared-inverse-speed
used by
(An inverse quantity is sometimes used to avoid issues of infinity,
and may be more physical than the historically-defined quantity.
Example: the inverse temperature ##\beta## thermodynamic beta to handle issues of negative temperature.)From #42 in Why is Minkowski Spacetime Noneuclidean
one can write
##
\left( \begin{array}{c} t' \\ \frac{x'}{c_{light}} \end{array} \right)
=
\left(
\begin{array}{cc}
\frac{1}{\sqrt{1-E\beta^2}} & \frac{E\beta}{\sqrt{1-E\beta^2}}
\\
\frac{\beta}{\sqrt{1-E\beta^2}} &
\frac{1}{\sqrt{1-E\beta^2}} & \end{array}
\right)\\
\left( \begin{array}{c} t \\ \frac{x}{c_{light}} \end{array} \right)
##
where ##\beta=v/c_{light}## where ##c_{light}=3\times10^8\ \mbox{m/s}## [a fixed quantity, playing the role of a convenient conversion constant].
For ##E=0## (galilean) or ##E=+1## (minkowskian) , one could think of ##E## as if it were $$\left(\frac{c_{light}}{c_{max}}\right)^2,$$
as implemented in code, for example, https://www.desmos.com/calculator/kv8szi3ic8 .
(As I said in #58 , this "accounting" approach disentangles
  • "c" as a space-time unit conversion constant [which is an issue of history].
  • "c" as maximum-signal-speed [which is an issue of physics]
)

So, by primarily using this parameter ##E## or its equivalent [as used above],
we can avoid (or at least minimize) issues of taking limits to infinity
and move on to the other likely-more-interesting mathematical structures of the physics problem.
 
Last edited:
  • Like
Likes Sagittarius A-Star
  • #90
PeroK said:
It's a question of what we choose first. If I choose any ##v##, then you let ##c \to \infty##, then ##\gamma(v) \to 1##. Fair enough.

But, if you choose ##c##, then I can choose any ##v < c## and we have the full range of gamma factors and the same geometry. Still Minkowski and no nearer to Galilean. So, there is no convergence from Minkowski to Gallilean

The question is which of these is correct?
By "choose" you mean "hold fixed", correct? If so, then by your first statement you agree with my reasoning, at least from a mathematical perspective. I am happy to see that. I am saying: this is the correct way of looking at the problem.

This means in your second statement "if you choose ##c##..." you mean hold ##c## fixed and let ##v## go to some limit, but which one? To ##c##, as this is the natural constant representing the maximum velocity? But that limit "##v=c##" does not exist, as the LT only exist for ##v<c## so I don't see what limit can be taken here. ##v\to\infty## does not exist either, for the same reason.

The other option you seem to have implied in your posting #77 is to look at some kind of limit where both ##v## and ##c## go to ##\infty##, while the ratio ##v/c## is held constant. But this is actually no limiting procedure at all, because it effectively only rescales velocities, while keeping the overall structure of the theory invariant.
 
  • Like
Likes dextercioby
  • #91
robphy said:
"##c\rightarrow\infty##" is for physical intuition (for a layperson or a physics student).For ##E=0## (galilean) or ##E=+1## (minkowskian) , one could think of ##E## as if it were $$\left(\frac{c_{light}}{c_{max}}\right)^2,$$
as implemented in code, for example, https://www.desmos.com/calculator/kv8szi3ic8 .
(As I said in #58 , this "accounting" approach disentangles
  • "c" as a space-time unit conversion constant [which is an issue of history].
  • "c" as maximum-signal-speed [which is an issue of physics]
)

So, by primarily using this parameter ##E## or its equivalent [as used above],
we can avoid (or at least minimize) issues of taking limits to infinity
and move on to the other likely-more-interesting mathematical structures of the physics problem.
I don't share the view that ##c\to\infty## is for the laypeople only. After all, in mathematics as well as in physics there are a couple of situations where some quantity ##C## goes to infinity, which normally is the case when some other quantity ##D## is suppressed by the inverse of that factor and by taking that limit is essentially eliminated (as usually is ##C## at the same time, which is what happens when going from the Lorentz transformation formula to the Galilei transformation formula).

You give an example yourself: the inverse temperature ##\beta## goes to ##\infty## when ##T\to 0##. Depending on what you want to derive, it may make it much more transparent to see the impossibility to reach that value.

Regarding your differentiation between ##c_{light}## and ##c_{max}##: if ##c_{light}\neq c_{max}## then ##c_{light}## is no natural constant, it is actually not constant at all any more, because the natural constant is ##c_{max}##. The velocity of light would be dependent on the reference frame as e.g. is the windspeed on Earth. Subsequently, in your nomenclature, the 2 cases ##E=0## and ##E=+1##, which you define as ##E=\left(\frac{c_{light}}{c_{max}}\right)^2##, would be:
- a photon at rest (##c_{light}=0##)
- a photon at the speed ##c_{max}##, which however is impossible as there is no LT that maps some ##v<c_{max}## to ##v=c_{max}##. Of course, you may correct your value range by saying ##E\in[0,1)## so you have a half-open interval, which would at least be mathematically consistent.

Either way, your interpretation of ##E=0## representing Galilei, as you write, and ##E=1## representing Lorentz, is not correct.

Amemdment: actually, if ##c_{max}## has a finite value, you have Lorentz. The value of ##c_{light}## is completely irrelevant. It might be ##c_{max}##, which is the world we live in, it may be not, still we would live in a Lorentz spacetime, but with some very exotic properties of light.
 
Last edited:
  • #92
vanhees71 said:
I'm not sure, what you mean by "absolute velocity", but you can indeed ask, what are the symmetry transformations for a spacetime model, in which the special principle of relativity holds in addition to the other usual symmetries, i.e., homogeneity of time and space as well as Euclidicity of space for any inertial observer. With these assumptions you indeed get only two possible spacetime models: Galilei-Newton spacetime without any additional fundamental parameter or Einstein-Minkowski spacetime, which introduces a "limiting speed" as a fundamtental parameter, which empirically is given by the speed of light in vacuo. A nice paper deriving this is

V. Berzi and V. Gorini, Reciprocity Principle and the Lorentz Transformations, Jour. Math. Phys. 10, 1518 (1969),
https://doi.org/10.1063/1.1665000
I've just seen this posting. I've never heard of this paper but will study it and see how it differs from Levy-Leblond. Thanks for mentioning this!
 
  • #93
otennert said:
Regarding your differentiation between ##c_{light}## and ##c_{max}##: if ##c_{light}\neq c_{max}## then ##c_{light}## is no natural constant, it is actually not constant at all any more, because the natural constant is ##c_{max}##. The velocity of light would be dependent on the reference frame as e.g. is the windspeed on Earth. Subsequently, in your nomenclature, the 2 cases ##E=0## and ##E=+1##, which you define as ##E=\left(\frac{c_{light}}{c_{max}}\right)^2##, would be:
- a photon at rest (##c_{light}=0##)
- a photon at the speed ##c_{max}##, which however is impossible as there is no LT that maps some ##v<c_{max}## to ##v=c_{max}##. Of course, you may correct your value range by saying ##E\in[0,1)## so you have a half-open interval, which would at least be mathematically consistent.

You are misunderstanding the approach.

##c_{light}## is a constant (like the speed of sound is).. akin to a convenient conversion unit between meters and feet. It does not vary.
##c_{max}## is the parameter that varies between theories.

otennert said:
Either way, your interpretation of ##E=0## representing Galilei, as you write, and ##E=1## representing Lorentz, is not correct.

Amemdment: actually, if ##c_{max}## has a finite value, you have Lorentz. The value of ##c_{light}## is completely irrelevant. It might be ##c_{max}##, which is the world we live in, it may be not, still we would live in a Lorentz spacetime, but with some very exotic properties of light.

Plug in the specific values of E, regardless of the relation of E to other quantities.
Do you get Euclidean, Galilean, and Minkowski accordingly?

The approach I use is based on Yaglom, Levy-Leblond (the “Additivity, rapidity, relativity” paper and the “Galilean Electromagnetism” paper), Ehlers frame theory, etc.

An old poster that needs to be written up into a paper https://www.aapt.org/doorway/Posters/SalgadoPoster/Salgado-GRposter.pdf
goes beyond just formulating the idea (not just talking about the idea)… it is implemented to discuss physical situations to show how it can be explicitly used to unify the approach to encompass Galilean and Minkowskian relativity.
See the references at the end.
( As mentioned earlier, here is
a visualization to support my approach https://www.desmos.com/calculator/kv8szi3ic8 .)
 
Last edited:
  • #94
pervect said:
Thirdly, to handle two observers in relative motion who are not at the same location, we add another assumption, which states that light emitted from an inertial observer and received by another inertial observer at rest with respect to the first at a different location will experience no doppler shift, that the k factor will be unity.
Hmm so one issue I see with this assumption is that while it works purely within the idealized special relativity is this no longer applies within the extension of special relativity to general relativity as spacetime curvature induces gravitational or cosmological doppler effects.

vanhees71 said:
That's a subtle issue. On the one hand you are right: The particular value of ##c## is just a convention defining the unit of lengths in terms of the unit of time in any given system of units. In the SI they make unit of time (the second, s) the most fundamental unit, because time measurements are among the most precise measurements possible. It's still the hyperfine transition of Cs-133 used to define the second, but that may change in not too far future since there are more accurate realizations possible (either an atomic clock in the visible-light range or the nuclear Th clock). Then the unit of length (the meter, m) is defined by setting the limit speed of relativity to a certain value. Since with very high accuracy the photon is massless the realization of ##c## in measurements is simply the speed of electromagnetic waves in a vacuum.

On the other hand all this of course hinges in the existence of the limiting speed and the validity of the relativistic spacetime model. If the world were Galilean, there'd be no fundamental natural constant with the dimensions of a velocity and time and lengths units would have to be defined independently of each other with some "normals" (as it was before 1983, when the second was defined as today and the meter independently by some wavelength of a certain Kr-86 line).
Hmm interesting historical note on the meter and yeah how units are defined is nontrivial even if the choice is somewhat arbitary as not all methods have the same accuracy.

otennert said:
My 10cent: one of the most convincing "derivations" of the Lorentz transformation is by Jean-Marc L´evy-Leblond 1976: https://www.researchgate.net/publication/252687984_One_more_derivation_of_the_Lorentz_transformation

based on the 4 assumptions:

1.) Homogeneity of spacetime and linearity of transformation
2.) Isotropy of space
3.) Group law (Lorentz transformation form a group)
4.) Causality

Identification of the velocity of light with the resulting maximum velocity is then the next, but logically independent step.

The reason why I find this derivation most convincing is that some maximum velocity (as a given parameter) is the result of very general assumptions which sound much more common-sense than putting constancy of the velocity of light as a prerequisite, which -- without prior knowledge -- is much more counter-intuitive.
So one relevant caveat related to these assumptions here which sticks out is that Homogeneity and isotropy of spacetime are assumed to be valid which while it is natural in special relativity may actually be much more problematic in the context of general relativity for some subtle meta-mathematical reasons which may become relevant in terms of solving some current unsolved problems in physics and thus consequently requiring more complicated work on velocity vector addition at cosmological scales.

The problems relate to the defining properties of all systems of partial differential equations specifically how for every system of partial differential equations there exists an unique solution for all valid initial conditions, which in turn means that information on the initial conditions must be conserved at cosmological scales.

Starting from the proof of the "No big crunch theorem" proved by Matthew Kleban & Leonardo Senatore
in Inhomogenous and anisotropic cosmology(https://iopscience.iop.org/article/10.1088/1475-7516/2016/10/022/meta), you can show that at least in the limiting case of any arbitrarily nontrivial flat or open universe with 3 dimensions of space and one of time which is initially expanding that their proof falsifies the assumption that at some sufficiently large scale spacetime can be treated as relatively uniform and isotropic. In the context of systems of differential equations it isn't hard to mathematically prove such an assumption explicitly requires that information conservation be violated i.e. information must be destroyed for the assumption to hold. Given that the conservation of information is a foundational postulate of quantum mechanics this indicates homogeneity and isotropy are not a valid postulate. Oh and you also automatically get the laws of thermodynamics and the arrow of time as universal constraints on the variation of the metric within such a universe. (Though the 2nd law of thermodynamics and arrow of time in such a case appear to directionally depend on whether the universe is initially overall expanding of contracting)

In particular since the recent experimental test for the pure kinematic dipole assumption by Nathan J. Secrest et al(https://iopscience.iop.org/article/10.3847/2041-8213/abdd40) which is needed to prevent the CMB dipole from falsifying the cosmological principal being valid anywhere within the observable universe, there is now strong experimental evidence that we can't treat space as either isotropic or homogeneous at any scale within the observable universe, i.e. a significant component of the CMB dipole must arises from some cosmological effects related to the overall large scale structure of the Universe. An implication of this is that there is that the general relativistic extension of special relativistic velocity transforms will need mathematical modification based on large scale anisotropies.
 
  • #95
robphy said:
You are misunderstanding the approach.

##c_{light}## is a constant (like the speed of sound is).. akin to a conversion unit between meters and feet. It does not vary.
##c_{max}## is the parameter that varies between theories.
Plug in the specific values of E, regardless of the relation of E to other quantities.
Do you get Euclidean, Galilean, and Minkowski accordingly?

The approach I use is based on Yaglom, Levy-Leblond (the “Additivity, rapidity, relativity” paper and the “Galilean Electromagnetism” paper), Ehlers frame theory, etc.

An old poster that needs to be written up into a paper https://www.aapt.org/doorway/Posters/SalgadoPoster/Salgado-GRposter.pdf
goes beyond just formulating the idea… it is implemented to discuss physical situations.
See the references at the end.

OK, so ##c_{light}## is just another numerical constant, but ##c_{max}## is a natural constant, not necessarily the speed of light, correct? It is somewhat misleading then to call it ##c_{light}## which suggests it is the speed of light -- which actually only makes sense if there is the speed of light, i.e. constant. Otherwise I can't see the physical significance. There is neither the speed of sound, although in this case of course an observer's rest frame is implied with regards to the medium (=air) -- which however is impossible to define for light unless there is a medium at rest.

But anyway, so you are saying that ##E=0## is equivalent to ##\alpha=0## in Levy-Leblond, and ##E=1=1/c_{max}## is equivalent to ##\alpha>0## in some suitable units, nothing else, correct? Understood.

I will have a look at your poster.
 
  • #96
otennert said:
But anyway, so you are saying that ##E=0## is equivalent to ##\alpha=0## in Levy-Leblond, and ##E=1=1/c_{max}## is equivalent to ##\alpha>0## in some suitable units, nothing else, correct? Understood.

I will have a look at your poster.

At the level of the “E”, yes.
The idea is not new and has been around for awhile, often rediscovered without being aware of earlier approaches.

I have been using “E” here at PF ever since I implemented the idea in Desmos to demonstrate the unified geometrical relationships explicitly in a familiar context, beyond merely classification or abstract formula.

The ##\epsilon^2## approach (inspired by Yaglom) is a gateway to developing a computational technique akin to using complex numbers as vectors in Euclidean geometry.
(That opens up another can of worms that I decided to bottle up for now… but it’s in the poster.
I claim it is all consistent but I need to learn more projective geometry to make it more understandable and palatable to a more general audience, as well as fortify proofs and calculations.)

While foundational “interpretations” may be argued about, my interpretation leads to a concrete realization that yields the appropriate formulas and geometric constructions to describe (when appropriately reduced) standard physics in standard physics notation.

In short, “E” appears in unified formulas for physics. Choosing “E=0” gets you the PHY 101 formulas, “E=1” gets you special relativistic formulas, “E=-1” gets you the Euclidean analogue…. Ideally developed with a common unified approach (common geometric construction). You don’t have unlearn everything… but loosen up rigid viewpoints to allow the transition between signatures.
 
Last edited:
  • #97
Ok, so here's the thing:

If there is an invariant speed ##V##, then spacetime is Minkowski regardless of what that invariant speed is. We all agree on this as far as I can tell. The question is what happens afterwards in the line of thought. On the one hand, yes, taking the limit ##V\to \infty## formally reduces the Lorentz transformations to the Galilei transformations as long as everything else is kept constant. However, the objection here is that calling this limit ##V \to \infty## is somewhat misleading from the Minkowski geometry point of view. The reason for this is that the natural thing to do would be to use the same units for time and space directions such that the metric diagonal becomes ##\pm (1,-1,-1,-1)## depending on convention. This is in complete analogy with using the same units for the x- and y-axes in Euclidean space. In this regard, the invariant speed ##V## is simply a scaling choice between time and space units and such a scaling choice can never affect the geometry. Therefore, letting ##V\to \infty## while keeping ##v## fixed geometrically corresponds to only allowing small rapidities, which would be more accurately referred to as ##v/V \to 0##.

Compare to the Euclidean case in two dimensions. Geometrically it would be natural to use the same units for both directions, but for some applications it may be of more relevance to use nautical miles in one direction and fathoms in another. The conversion factor between those units is roughly ##K = 1012## fathoms/NM. A rotation now takes the form
$$
x' = \Gamma ( x - ky/K^2), \qquad y' = \Gamma (y - kx),
$$
where ##\Gamma = 1/\sqrt{1+(k/K)^2}## and ##k## is a rotation parameter (##k = K \tan\theta## where ##\theta## is the rotation angle). Formally, for ##K\to \infty## with everything else fixed, we would find
$$
x' = x, \qquad y' = y - kx.
$$
Geometrically, nothing changed, but our rotations of fixed ##k## became smaller and smaller rotations as ##K## increased and the formal limit no longer displays the same group structure as that of the full geometry. I think this is why many, including myself quite often, do not really like talking about the limit as ##c \to \infty##, with ##c## being just an arbitrary unit conversion factor unrelated to the actual geometry.
otennert said:
You give an example yourself: the inverse temperature β goes to ∞ when T→0. Depending on what you want to derive, it may make it much more transparent to see the impossibility to reach that value.
This is a bit of a misdirected analogy as it involves a physical quantity going into a limit. The more relevant analogy would be letting ##k_B##, which is effectively a conversion factor between units of temperature and units of energy, go to zero. Neither is really relevant of course, as the big question is typically how ##k_B T## relates to a typical difference in energies.
vanhees71 said:
Of course the deformation from the Poincare to the Galilei group has to be taken at fixed group parameter, ##v##, not at fixed ##\beta=v/c##.
... which is the same as in the Euclidean case saying that what you want to fix is for some reason the parameter ##k## above rather than the geometrically somewhat cleaner rotation angle ##\theta##.
 
  • Like
Likes PeroK and otennert
  • #98
To me, the OP looks to be asked and answered, yet this thread keeps going in circles. Does that make it an example of Thomas Precession?
 
  • Like
Likes Meir Achuz, Dragrath and otennert
  • #99
Vanadium 50 said:
To me, the OP looks to be asked and answered, yet this thread keeps going in circles. Does that make it an example of Thomas Precession?
No, it's a closed timelike curve. ;)
 
  • #100
otennert said:
No, it's a closed timelike curve. ;)
There are no closed timelike curves in Minkowski space! 😛
 
  • Haha
Likes Dragrath
Back
Top