PeterDonis said:
If both models yield identical predictions about reality, then both models must agree that arc length along the timelike worldline of both clocks, ##r_a## and ##r_b## (since both are following the same worldline), is given by the reading on clock ##r_a##, since that is the reading that requires no correction.
Yes, but you have to be more careful, because the arc length is not measured absolutely, but rather always represented by a unit. The arc length in units of ##r_a## needs no correction when measured by ##r_a##, but requires one when measured by ##r_b##. The situation is reversed when the arc length is represented in units of ##r_b##. It becomes more complicated when the correction varies locally. The arc length given in (locally) different units won't agree by value but these differing representation have no impact on the predictions made. We just must interpret the unit locally right.
The geometry of space time is not some abstract absolute physical entity independent of everything else, but rather a representation of the devices that are used to measure it, and in particular a description of how they locally behave. If we were to choose different devices to measure and represent the same spacetime, we yield a different geometry.
PeterDonis said:
The difference between your two models ##M_a## and ##M_b##, in other words, is not that they make different claims about proper time. The difference is that model ##M_b## says that, for some unexplained reason, "TCG coordinate time" is "physically meaningful" even for clocks that are not at infinity and which, without correction, do not keep TCG time (i.e., their proper time is not the same as TCG time), whereas ##M_a## says it's just a coordinate with no physical meaning for clocks not at infinity that don't keep TCG time.
They don't make different claims about proper time, no, but i would say they define the term differently to align with their interpretations. Other then that, ##M_b## is indeed somewhat arbitrary.
Only considering how much of a problem geometry is for the quantization of gravity, models like ##M_b## may be of theoretical interest. That requires to know how they map to reality in general. However, for the reasons you highlight, particular how much friendlier it is for measurement, ##M_a## will without doubt always remain central.
And while your argument about ##r_b## is generally sound, consider a clock ##r_w## that is defined similar to Caesium but instead of using a pure electromagnetic transition frequency, based as much as possible on the weak force. For example the frequency obtained from a W boson during a muon decay at rest. Such a clock is physically meaningful, albeit much harder to practically construct. Our understanding is not yet good enough to conclude the weak and electromagnetic forces behave relatively the same in gravity fields of all scales. If they were to diverge, we run into the same situation discussed here.
Dale said:
I guess that is a bit of a matter of personal taste. Do you consider Newtonian mechanics and Lagrangian mechanics to be different models? How about Lagrangian vs Hamiltonian mechanics? If you consider them different models then together with the appropriate interpretations would you consider them different theories?
Personally, I wouldn’t. So I also wouldn’t consider your ##M_a## and ##M_b## to be different models. I am not sure I would even consider them to be different mathematical frameworks, any more than I would consider ##F=ma## and ##a=F/m## different models or frameworks. But I believe that is a matter of personal preference.
You are right. These are different representation rather then different models but with the terminology introduced in this thread we would formally need to stick to that. But in terms of theory we can consider them to belong the same theory, but different representations of it (there is nothing suggesting that the separation of a theory into ##I## and ##M## is in any way unique).
You are right, In the end, it's just up to how we define these words - and the personal preference of the person who defines them first.
Dale said:
This is already problematic. The relative velocity between distant objects in curved spacetime is not well defined. Better just to say it is an arbitrary coordinate time, and that you construct devices which display this coordinate time, like the GPS satellite clocks do.
A valid point. I've taken that formulation somewhere from an explanation of how TCG was defined.
And you are right, i am better off just sticking to coordinates then bother too much about geometry. In principle i can define a general coordinate specification (must work for any spacetime) and express all laws of physics within these coordinates. Then i get a geometry independent representation of the theory, and even if the geometry becomes problematic in some regions, the coordinate representation will always be clear what the laws of physics say - i.e. there are never any inter- or extrapolation issues. That may put off the heavy load onto the interpretation but makes my life a lot easier. Though admittedly, finding a general coordinate specification where all laws of physics have at least a somewhat useable uniform form, is just about as hard.