(...continued from previous post...)
So here, then, are some candidates for "one true time gap as a function of time". I'm going to start with the same A and B that Waterloo Sunrise did (keeping in mind that we have seen above that method A is the stopwatch gap at the chaser's position). I'll use "C" to represent any of the various predictive methods proposed by Bavarianrider, Ildabaoth, and Potomac -- I'm not going to examine their inner details, because they don't have precise equational definitions yet. Finally, I'll use "D" to represent the aforementioned stopwatch gap at the leader's position. In the following, I'm using the letter "o" to mean function composition (since it looks like the little circle that mathematicians usually use), and the prime symbol "'" to denote the derivative. Speed is the derivative of location with respect to time, so I'll write S for speed, so that we have S = L' (in particular, S1 = L1' and S2 = L2'). I'm also eventually going to use the suffix "inv" to mean "inverse of" (for invertible functions).
A = (T2 - T1) o L2
B = (L1 - L2) / S2
C = (... not precisely defined ...)
D = (T2 - T1) o L1
Since the quantity (T2 - T1) keeps appearing, I'm going to use a letter for that as well -- "E" is the next one available, so I'll write E = T2 - T1. Then we can summarize the above further:
A = E o L2
B = (L1 - L2) / S2
C = (... not precisely defined ...)
D = E o L1
E = T2 - T1
I have already argued that E is the one true time gap as a function of location. But is any of A through D the one true time gap as a function of time? We know that A is the one that usually shows up on our TV screens.
To try to determine what the one true time gap as a function of time is, I'll ask another question -- one which commentators sometimes ask aloud, particularly when there is a dangerous breakaway, or during time trials with the lead on the line. It's essentially Libetine's key question again: "If we stopped the stage right now, how much would the leader win this stage by?" (That answer would give us the answer to the further question, "If we stopped the stage right now, who would be the leader of the stage race as a whole, and by how much?", or, more concisely, "Who is the virtual GC leader?") To answer that question, we must realize that if we stopped _all_ the riders right now, we wouldn't be _able_ to answer the question, because, once again, of Libertine's point that the GC is scored by time. If we stopped all the riders, we would only have distance gaps, which don't translate to GC. So I assert that "If we stopped the stage right now" should, in a time-scored, fixed-distance race, really mean, "If we suddenly placed the finish line right where the leader is now". That would stop the race _for the leader(s)_, but the chasers would have to keep riding until they reached the magically-appearing finish line. A chaser's stopwatch gap from the leader at the finish line would be that chaser's time loss with respect to the leader for that stage -- which is to say, the amount of time the chaser takes to get to where the leader is right now, because where the leader is right now is where we have magically placed the finish line.
If that's what "if we stopped the race right now" means for the purposes of things like calculating the virtual GC leader on the road, and if "if we stopped the race right now" is the proper measure for the one true time gap as a function of time, then the one true time gap between a leader and a chaser as a function of time -- I'll call it G -- is the amount of time the chaser is _going to take_ to reach the point where the leader is now. In symbols, where I is the identity function (you give it a time, it gives you back the same time):
G = T2 o L1 - I
That is, G is the time at which the chaser reaches the leader's current position minus the current time. Doing some simple computations, we get:
G = T2 o L1 - I = T2 o L1 - T1 o L1 (since T1 and L are inverses) = (T2 - T1) o L1 (by the definition of composition) = E o L1 (by the definition of E) = D (by the definition of D).
So G = D -- they're the same thing. The one true time gap as a function of time, the one that tells us who the virtual GC leader is (among other things), is D, the stopwatch gap at the _leader_'s position. But the TV shows us A, the stopwatch gap at the _chaser_'s position, and B and C represent other proposed methods for what we should treat as the gap. Why do we have these alternatives, if D is the one true answer?
The reason is simple: calculating D requires us to see the future! We don't know what the stopwatch gap at the leader's position is going to turn out to be yet, because the chaser hasn't reached that spot. This, in turn, shows what the relationship is among A, B, all the possible C's, and D -- A, B, and all the possible C's are all different attempts to _predict_ what D, the one true time gap as a function of time, is going to turn out to be. This is another way of restating Ildabaoth's point that "The most accurate possible time measure system would require a real time speed predictor (as in it needs to predict future peloton speeds, not just estimate current ones)". A, B, and all the possible C's each have some conditions under which they work well as predictions of D, and other conditions under which they are a long way off from D. From this perspective, A is an estimate of D which assumes that the chaser is going to take the same time to cover the distance between the chaser's current point and the leader's current point as the leader did. B is an estimate of D which assumes that the chaser is going to maintain a constant speed between the chaser's current point and the leader's current point. All the possible C's are other estimates of D which take further factors into account, such as terrain, weather conditions, and who knows what else.
In that sense, A, B, and all the possible C's are peers -- they're estimates of D which are good (close to D) under some conditions and bad (far from D) under some conditions. The question "Is there one true time gap as a function of time?" is both settled and forever unsettled -- it's settled in that there is an answer, D, but it's unsettled in that we don't know what D _is_ during the race, so we can spend forever fiddling with measuring different factors and feeding them into different prediction functions to see if we can get better and better estimates of D.
However, our ignorance of the one true D does not last forever: once the race is over, we can actually go back and compute the exact value of D at any given time. This is another point that I do not think has made yet in this thread. Here's how you do it. First, I'm going to define a couple more auxiliary functions:
F = T2 o L1 (definition)
P = T1 o L2 (definition)
Here's what these functions mean. They're both functions from time to time. To calculate F, you give it the current time, and it feeds it to L1 -- the leader's current location -- and then it feeds the result of that to T2 -- the time at which the chaser reaches the leader's current location. Therefore, F is the function that, given the current time, tells you at what time in the future (hence "F") the chaser will reach the leader's position. Similarly, P is the function that, given the current time, tells you at what time in the past (hence "P") the leader was at the chaser's current position. For all times, we have P < I < F (the past is before the current time, and the future is after it -- brilliant, right?). P we can calculate during the heat of a race, but F requires us to know the future, so we can only figure it out retrospectively, after we have the race on tape. P and F are inverses: Finv = (T2 o L1)inv = L1inv o T2inv = T1 o L2 = P.
With those definitions made, here's a way of computing D:
D = E o L1 = E o I o L1 = E o L2 o L2inv o L1 = A o T2 o L1 = A o F.
This gives us a means of computing D in terms of A (the time gap we see on our screens): if we want to know the _true_ time gap at a given time, we wind the tape forward until the chaser reaches the place where the leader was at the original time (that's computing F), and then read what the screen says the time gap is at that future time (that's computing A o F).
How far forward will we have to wind the tape to compute D at a given time? Let's call that value "W" (for "wind"). We wound the tape forward to the time F, whereas the current time as a function of current time is the identity function I, so W = F - I. But the amount we've wound the tape forward is just enough for the chaser to reach the leader's current position -- which is the very D we're trying to calculate (in symbols, W = F - I = T2 o L1 - I = T2 o L1 - T1 o L1 = (T2 - T1) o L1 = E o L1 = D; note, for future reference, that we also have, symmetrically, A = E o L2 = (T2 - T1) o L2 = T2 o L2 - T1 o L2 = I - P, and therefore P = I - A -- that will be useful later). This suggests another perspective on method A, the gap we see on our screens. From the "estimate of D" perspective, A is just like B and all the C's, an estimate with some strengths and some weaknesses. But there's another perspective on A as well. If D = A o F, then we also have the following:
A = A o I = A o F o P = D o P = D o (I - A) (remember we computed earlier that P = I - A).
(...continues in next post...)