Manuscript VII-H@1 · VII-H.tex · theorem · d20d2a9f
Theorem: Explicit invariant quantum response
An exactly evaluated nonzero invariant · lines 1046–1085 · proof included or linked
VII-H@1#thm:main, VII-H@1#eq:main-value
For every admissible prescription in Definition def:prescriptions,
This value is unchanged by every finite normalization change in the complete class, not only by a selected regulator conversion.
Proof. Since , Theorem thm:ambiguity removes every allowed difference. The common value can be evaluated with the punctured cone kernel.
For fixed , integrate spatially in polar coordinates and put . Near ,
The pairing therefore gives
Multiply by , integrate in , and apply (eq:bump-moments).
Displayed formulas in this passage
VII-H@1#eq:main-value · line 1050
unlabeled · line 1067
unlabeled · line 1071