Manuscript Oai365-A@1 · Oai365-A.tex · proposition · a3840e3d
Proposition: Arrival discontinuity
Transport: obstructions, certificates, and an added-resource pilot › Moving arrival requires a declared topology · lines 1394–1404 · proof included or linked
A deterministic arrival time , , need not converge in total variation as a classical time record. A fixed deadline can also have discontinuous acceptance probability.
Proof. The point masses and have total variation distance one. If , the event has probabilities zero and one, respectively.