PeterDonis said:
I said that Lorentz invariance means you can't privilege either view, *if* FTL travel is possible; both views would have to be valid if FTL travel is possible and Lorentz invariance holds. But I also said that the two views were physically inconsistent; that's why I think FTL travel is impossible if Lorentz invariance holds.
Well, the subject of our discussion is precisely the (unlikely) hypothesis that FTL is possible. So for simplicity we can leave out that IF and thus your statement boils down to the following:
Lorentz invariance means that both views are valid, despite being physically inconsistent.
Hmm. This looks quite similar to the way I had tried to express your opinion on this occasion:
Saw said:
For the sake of Lorentz invariance, this “view” is as valid as any other, even if it is physical inconsistent with the former.
Never mind. Anyhow, if you substituted “consistence” for invariance, the sentence could be rephrased as follows:
Lorentz consistence means that both views are consistent, despite being physically inconsistent.
Obviously, I assume you would reject this rephrasing on the grounds that “invariance” and “consistence” have in this context different meanings...
Since this is not clear to me, I will try to delve into the definition of Lorentz invariance (or covariance?). I think we can equate it with the principle of relativity = laws of physics are the same in all inertial frames, so that:
(a) If in two different inertial frames the same TWO experiments (same initial conditions) are carried out, then you get in both frames the same results (same final conditions).
Once that you describe such results in terms of physical laws, this means that in both frames those results could have been predicted by application of the same equations.
(b) If only a SINGLE experiment is carried out and it is analyzed in two different inertial frames, then the initial conditions may be equal but forcefully the final conditions will differ.
But these final conditions can be related through transformations, in particular Lorentz transformations. Thus if you know the final coordinates in frame X and its relative velocity wrt frame Y, then you can guess the final coordinates in frame Y.
In any case, both frames, based on their respective sets of coordinates, should be able to reach a common conclusion about what happens, by feeding their coordinate and frame-dependent values into equations that give out invariant or frame-independent conclusions. For example, if you send a moun from event A to B, you should be able to predict in any frame, by application of the same formula, the length of its timelike spacetime interval, i.e. its proper time and hence whether it reaches event B before disintegration.
In our case, we have situation (b), a SINGLE experiment = something that is on the Earth at event A and travels to Mars, arriving at event B.
Unfortunately here events A and B are simultaneous in the frame Earth-Mars (frame X), so we talk about a spacelike trajectory, requiring FTL travel.
We assume that in spite of that, the final coordinates in frame X and Y or any other one ARE related by the Lorentz transformations.
However, we do not have the other advantage. We have assumed for the sake of discussion that the spacetime spacelike trajectory in question ends in event B, but we could not predict it. Furthermore, if we place a moun on the FTL rocket, we cannot guess whether it will “survive” to reach the target: the length of the spacetime interval (which is its proper time in timelike trajectories) is now an imaginary number, ie no solution to the question.
Conclusion: our life is more complicated now. We have two sets of coordinates, frame X’ and frame Y’s, describing the same events. They are Lorentz-invariant in that they meet the first requirement: they can be mutually related by Lorentz transformations. But they fail to meet the second, which is also part of the usual meaning of Lorentz invariance: they have no predictive value.
Given this, my reaction is quite straight-forward:
- Those space and time coordinates differ because they have to. They are measured from different states of motion, which has a bearing on the result, so it is no surprise they are frame-variant.
- However, they are good as clues for guessing what happens because when you mix them into spacetime formulae, they all lead to the same predictions. That is Lorentz invariance. “Consistence” in predictions.
- If we now refer to FTL travel, we could talk about building clocks and rods based on the FTL mechanism, if that were possible. Then we should see how the diagram is re-constructed and whether the same equations apply. In the (impossible) limit, if we had a really instantaneous agent traveling at infinite velocity from two places, we could synch clocks thereby and would thus have absolute simultaneity and Galilean invariance, at least for an instant. (I cannot even think of how to build an absolute system for registering durations, since an agent of infinite velocity enclosed in a box would not “change”.)
- That is not our assumption, however. We assume that the diagram is the same as before FTL came into play. But then we must also acknowledge that it is not apt for the analysis of the FTL (theoretical) challenge. Remember: the coordinates are not, strictly speaking, “views” about what happens with the rocket or the muon, they are primarily measurements or views about what happens with the clocks and rods. Normally speaking, they are also good indirect clues about what happens with the rocket and its passengers, but not when faced with FTL travel. They are not “valid” for this more ambitious purpose, because by definition non-FTL instruments do not “mirror” FTL agents.
Instead, I do not understand your statement. The two “views” (actually, to be accurate, “measurements”) cannot be both valid in some mysterious sense. They are valid or not in the sense that they meet together at the goal, they are consistent in providing the same predictions. If they do not, then the statement that they are still valid does not make any sense. So you cannot even say that that they are “physically inconsistent”.
PS: A different thing is whether *one* frame could hold that only its (non-FTL) measurements are valid for predicting what happens FTL. That would be for example an aether frame, which would thus be “preferable” only in this specific domain (FTL maters), relativity still holding for the rest of problems (non-FTL ones). Such frame would be undetectable in the non-FTL world. I suppose that in a FTL thought experiment you can argue that such frame is the one where the instantaneous trajectories, regardless direction, always coincide with that frame’s line of simultaneity. I would not find all that abnormal, though. SR (IMO) holds that all frames are equal (in their predicting capabilities) assuming that FTL is impossible, it has no problem with admitting a theoretical preferred frame in a theoretical world.