Manuscript XX-F@1 · XX-F.tex · section · de0bd24f
A future comparison theorem must be uniform
Formal orders, two-rod domains, and optional removal › A future comparison theorem must be uniform · lines 1606–1633
After an actual retained quantum identity has been proved, regulator removal may be considered. Keep independent parameters, for example
A removal theorem must state the output topology, uniform bounds for the actual products and Ward operations, and a Cauchy or direct convergence estimate.
The rate (eq:cutoffestimate) is useful only when its source norms are uniform in the other parameters. If those norms grow with or an infrared cutoff, a joint limit does not follow.
Two refinement families with separate limits need a cross-family estimate or a common characterization before regulator independence can be claimed. XIX-C provides the relevant non-determination comparison shape CheungXIXC. No native quantum removal is attempted here.
Displayed formulas in this passage
unlabeled · line 1611