Manuscript XX-C@1 · XX-C.tex · theorem · 7a8cab37
Theorem: Sufficient one-sided covariance-tail condition
Covariance tails, coordinate pullback, and failure of unconditional infrared control › What compact testing does supply · lines 1221–1245 · proof included or linked
XX-C@1#thm:conditional, XX-C@1#eq:IR
Suppose a selected representative satisfies
for each compact test . Then
is well defined and obeys (eq:dipolebound). The estimate is uniform for bounded test families whenever the seminorm bounds in (eq:IR) are uniform on those families.
Proof. Apply Theorem thm:dipole to .
Displayed formulas in this passage
XX-C@1#eq:IR · line 1224
unlabeled · line 1232