References

Dowker

J. S. Dowker, Quantum field theory on a cone, Journal of Physics A: Mathematical and General 10 (1977), 115–124. DOI: 10.1088/0305-4470/10/1/023. Historical cone-kernel context; the present wavefront proof uses the displayed summed covariance.

Linet

B. Linet, Quantum field theory in the space-time of a cosmic string, Physical Review D 35 (1987), 536–539. DOI: 10.1103/PhysRevD.35.536. Cited for cosmic-string Euclidean Green functions and local subtraction, not for the global theorem proved here.

CheegerTaylorI

J. Cheeger and M. Taylor, On the diffraction of waves by conical singularities. I, Communications on Pure and Applied Mathematics 35 (1982), 275–331. DOI: 10.1002/cpa.3160350302.

CheegerTaylorII

J. Cheeger and M. Taylor, On the diffraction of waves by conical singularities. II, Communications on Pure and Applied Mathematics 35 (1982), 487–529. DOI: 10.1002/cpa.3160350403.

MelroseWunsch

R. Melrose and J. Wunsch, Propagation of singularities for the wave equation on conic manifolds, Inventiones Mathematicae 156 (2004), 235–299. https://arxiv.org/abs/math/0111255. General conic propagation context; no unverified application of a compact-cone theorem to the present edge product is used.

MelroseVasyWunsch

R. Melrose, A. Vasy, and J. Wunsch, Propagation of singularities for the wave equation on edge manifolds. https://arxiv.org/abs/math/0612750. Cited for the broader geometric/diffractive edge framework; the exact product-cone calculation here is explicit.

Yang

M. Yang, Diffraction of the Aharonov–Bohm Hamiltonian. https://arxiv.org/abs/2008.04129. Cited for magnetic diffraction and its diffraction coefficient; its two-dimensional Hamiltonian is not identified without calculation with the four-dimensional covariance.

Radzikowski

M. J. Radzikowski, Micro-local approach to the Hadamard condition in quantum field theory on curved space-time, Communications in Mathematical Physics 179 (1996), 529–553. DOI: 10.1007/BF02100096. The globally hyperbolic equivalence theorem is a comparison, not a local-to-global theorem applied to this non-globally-hyperbolic host.

HormanderI

L. Hörmander, The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, 2nd edition, Springer, 1990. Used for distributional boundary values, wavefront sets, pullbacks, products, and microlocal elliptic regularity.

HormanderIV

L. Hörmander, The Analysis of Linear Partial Differential Operators IV: Fourier Integral Operators, Springer, 1985. Used for propagation of singularities on the smooth regular host; no propagation theorem through an unspecified apex domain is invoked.

Watson

G. N. Watson, A Treatise on the Theory of Bessel Functions, 2nd edition, Cambridge University Press, 1944. Used for the Bessel heat integral and its Laplace transform.

KayStuder

B. S. Kay and U. M. Studer, Boundary conditions for quantum mechanics on cones and fields around cosmic strings, Communications in Mathematical Physics 139 (1991), 103–139. DOI: 10.1007/BF02102731. Cited for the independent role of the apex self-adjoint extension.

Cheung companion records. The following references are unpublished manuscripts or supplied source excerpts, identified by version and source label. Citation does not assert an audit of an entire record, a successful compiler run, or formal verification.

CheungPhilosophy

N. Cheung, The Philosophy of Enter: Destructive Readout, Quantum Recovery, and the Refusal of Identification, version 2, -v2.tex, Enter Calculus Companion. Introductory philosophical map, not a theorem premise. https://enter.grok.me/enter.

CheungIB

N. Cheung, I-B-v1: A Finite Enter Spacetime: Calibrated Destructive Time Readout on a Prescribed Conical Product, version 1, Enter Calculus Companion. Used: the prescribed regular host and worldsheet, :instrument, the Einstein comparator, and :not-source. https://enter.grok.me/browse/I-B.

CheungIBG

N. Cheung, I-B-G: Intrinsic and holonomy-twisted Green operators on a prescribed conical spacetime: Self-adjoint extensions, diffraction, finite propagation, and supported transfer from flat-completion laboratories, version 2, October 2026. Supplied source -B-G-v2.tex and quoted kernel passages, Enter Calculus Companion. Relevant labels: :host, :nonGH, :closed, :speed, :structure, :transfer, and :transfer-contract. Supported propagation is not covariance or state transfer.

CheungIBVP

N. Cheung, I-B-VP: Vacuum polarization of the Friedrichs ground state on a prescribed conical spacetime: Local Hadamard subtraction, holonomy, and the renormalized stress tensor, version 2, October 2026. Supplied source -B-VP-v2.tex, Enter Calculus Companion. Relevant labels: :state, :infrared, :state, :euclidean, :analytic, :hadamard, :phi2, and :contour. Its V2 is the specific global two-point target addressed here.

CheungIBVPZero

N. Cheung, I-B-VP-0: The holonomy-odd vacuum current of the charged Friedrichs ground state: A local observable on the prescribed conical Enter spacetime, version 1, October 2026. Supplied source -B-VP-0-v1.tex, Enter Calculus Companion. Relevant labels: :kernel, :current, :imaginary, :current, and the differentiated image–diffraction appendix. The current is a one-point observable, not the two-point wavefront relation proved here.

CheungIBVPOne

N. Cheung, I-B-VP-1: Prescribed apex finite parts on a conical Enter spacetime: Wick square, stress tensor, and charged current: strong extension, Ward identities, and classified contact freedom, version 1, October 2026. Supplied source -B-VP-1-v1.tex, Enter Calculus Companion. Cited only to distinguish prescribed one-point extensions in an auxiliary smooth completion from a two-point state or field algebra across the apex. Its finite-part and contact-space theorems are not premises of the present wavefront proof.

CheungXAST

N. Cheung, X-A-ST, version 1, Enter Calculus Companion. Used for the non-sourcing and supported-completion distinctions, including :noeinstein. https://enter.grok.me/browse/X-A-ST.

CheungIXAST

N. Cheung, IX-A-ST, version 1, Enter Calculus Companion. Supplied excerpts concerning finite destructive clock reporting and its distinction from a global continuum field theory. https://enter.grok.me/browse/IX-A-ST.

CheungVIIH

N. Cheung, VII-H, version 1, -H.tex, Enter Calculus Companion. Supplied free-field response and release excerpts. Methodological comparison for oriented products and the restriction of an ambiguity class, not a transferred conical product theorem.

CheungXIE

N. Cheung, XI-E, version 1, -E.tex, Enter Calculus Companion. Supplied excerpts concerning its declared polynomial Hadamard domain and separate classical calculations. No conical interacting algebra or state selection is imported. https://enter.grok.me/browse/XI-E.

CheungEmOneD

N. Cheung, Em01-D, version 2, 01-D-v2.tex, Enter Calculus Companion. Supplied scope and Fourier-certificate descriptions. Used only for the distinction between a finite-order bound and an actual wavefront theorem.

CheungOOneST

N. Cheung, XVI-O1-ST, version 5, -O1-ST-v5.tex, Enter Calculus Companion. Used for the complete supplied-report instrument, evidence classes, retained residuals, and execution boundaries. https://enter.grok.me/browse/XVI-O1-ST.

CheungEn09

N. Cheung, En09-A, version 1, Enter Calculus Companion. Supplied destructive-clock and standing-boundary excerpts. https://enter.grok.me/browse/En09-A.

CheungOaiTwoEightTwo

N. Cheung, Oai282-A, version 1, Enter Calculus Companion. Cited for the class-relative finite-test coverage distinction in the supplied companion material. No external catalogue theorem is a premise. https://enter.grok.me/browse/Oai282-A.

CheungXIVI

N. Cheung, Landmark XIV-I, version 1, -I.tex, Enter Calculus Companion. Supplied excerpts: :I2, :I3, and :release. Internal amplitude construction and the separate unconstructed characteristic composition are recorded as non-transfer boundaries only.

CheungXIVJ

N. Cheung, Landmark XIV-J, version 1, -J.tex, Enter Calculus Companion. Supplied excerpts: :descent, :reference, :J2, and :noadmission. Its supported-sector reference is not identified with the present apex-diffracted covariance.

CheungXVB

N. Cheung, XV-B, version 2, -B.tex, Enter Calculus Companion. Supplied relative-lifting, normal-jet, and release excerpts. Its technical existence and its distinct downstream quantum-admission exit remain separate; neither is discharged by the present free two-point theorem.