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

Back to manuscript

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