Manuscript XVI-K@1 · XVI-K.tex · bibliography · aa7553bb

References

Supplied output excerpt and provenance · lines 2243–2318

Back to manuscript

XIIC

N. Cheung, Landmark XII-C, supplied manuscript, version 1. Locators: eq:finite-curvature, eq:ell3, eq:Ccoefficients, and thm:actualsource. The density atoms and selected source are specified explicitly in the present manuscript.

XIID

N. Cheung, Landmark XII-D, supplied manuscript, version 1. Locators: eq:B-kernel and lem:root-kernel. The root's existence, compactness, and bound are retained as Assumption ass:root.

XVIJ

N. Cheung, Landmark XVI-J, supplied manuscript and revised formulation. The retained interfaces are the dual-basis constant-slot contraction, selected square extension, and conditional root attachment. The exact regression target is displayed in Proposition prop:regression, independently of changes to predecessor equation numbering.

Artifacts

N. Cheung, Computational artifacts supplied with Landmark XVI-K: hessian_full.py, xvi_common.py, recompute_K_dual.py, and hessian_full_out.txt. Exact-arithmetic coefficient expansion and supplied verification record. These artifacts are unchanged.

FR

K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory, arXiv:1208.1428v2, 2013. Section 7 gives the off-diagonal Feynman product discussion and the point-extension background. Its all-orders construction is not imported.

BF

R. Brunetti and K. Fredenhagen, Microlocal Analysis and Interacting Quantum Field Theories: Renormalization on Physical Backgrounds, Communications in Mathematical Physics 208 (2000), 623–661. arXiv:math-ph/9903028. Sections 5.1–5.2, Lemma 5.1, and Theorems 5.2–5.3.

BDH

C. Brouder, N. V. Dang, and F. Hélein, A smooth introduction to the wavefront set, Journal of Physics A: Mathematical and Theoretical 47 (2014), 443001. arXiv:1404.1778. Theorem 13 and Proposition 26.

Hormander

L. Hörmander, The Analysis of Linear Partial Differential Operators I, second edition, Springer, 1990. Chapter VIII, especially Theorems 8.2.4 and 8.2.10.

Nearby in this section