Manuscript Oai212-A@1 · Oai212-A.tex · theorem · 79323841
Theorem: Transfer of an asymptotically identical passage front
The macroscopic transfer theorem and geometric corrections › Uniform comparison, not merely a sandwich · lines 334–388 · proof included or linked
Oai212-A@1#thm:transfer
Let be nonnegative random arrival times, coupled to . For every fixed , suppose there are and such that
Then for and , with probability tending to one,
and
within any fixed observation box . If the rescaled arrival sets are also contained in one fixed compact set with probability tending to one, their filled versions converge in Hausdorff distance in probability to .
For every fixed , the corresponding annealed level sets
have the same inner and outer macroscopic inclusions, under the same uniform compact-containment condition.
Proof. On the comparison event and the event in (eq:uniform-shape), the sum of the two uniform errors is less than for sufficiently large . If , this implies . If , it implies . This proves the random-set inclusions.
Compact containment allows one observation box to contain the entire set with high probability. The two norm balls approach in Hausdorff distance as , and lattice-cell errors are .
The probability of the common good event tends to one. Uniformly over the inner set the arrival probability therefore tends to one; uniformly over the outer complement it tends to zero. Eventually these bounds lie on the appropriate sides of .
Displayed formulas in this passage
unlabeled · line 339
unlabeled · line 345
unlabeled · line 351
unlabeled · line 362