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

Back to manuscript

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

Nearby in this section