How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The specified Gaussian family has no finite vacuum-vector norm limit
The normalized Gaussian spacetime-smearing family for the real scalar field in the selected four-dimensional free Fock vacuum. It refutes only convergence in this representation's vacuum-vector norm; distributional or renormalized point-field constructions in other senses are outside scope. No empirical observation is asserted.
Statement refuted
Assume all hypotheses of Free observable domains and limits of point notation, including Countable Choice and the selected four-dimensional free real scalar Fock model with . A normalized Gaussian profile on dimensionless means where and is a dimensionless real symmetric positive-definite matrix. Fix and such a profile . For a width measured in metres, put . The claim that converges in Fock norm to a finite vector as , thereby defining a sharp point field on the vacuum by this norm limit, is false.
Facts & Assumptions
Given: The hypotheses of the domain-limits theorem, the adopted free scalar representation, its normalized vacuum vector, and the exact point-smearing statement below.
Under the hypotheses of Free observable domains and limits of point notation, normalized Gaussian spacetime tests approximate a point mass, while the resulting scalar vacuum vectors have norms tending to infinity for every sequence of widths decreasing to zero. This is specific to the selected free scalar representation and its Fock norm.
For a normalized nonnegative Gaussian and Schwartz test , dominated convergence applies to with the integrable bound . Dominated convergence
Counterexample
Given: Use the exact scalar Fock representation and the normalized Gaussian family in [F1].
Let be an arbitrary sequence of positive widths in metres with . For any Schwartz test , the change of variables gives For each , the integrand tends to and is bounded in absolute value by the integrable function . The sequence-indexed dominated-convergence theorem [F2] gives convergence of these integrals to , using . Since the sequence was arbitrary, the sequential criterion for a limit gives the full limit as ; hence these are point-mass approximants.
For , take the explicit sequence . Every width is positive and the sequence decreases to zero. By [F1], . A norm-convergent sequence in a Hilbert space has bounded norms, so this sequence cannot converge to a finite vacuum vector. Hence the claimed norm-limit point field does not exist in this representation. This refutes only the stated norm limit and does not exclude distributional or renormalized constructions.
Depends on
Dependency tree · 2 levels
Sources
- David Tong, Quantum Field Theory, author-hosted complete lecture notes, Chapter 2, §§2.2–2.3
- Mark Srednicki, Quantum Field Theory, Part I: Spin Zero, author prepublication textbook draft, arXiv:hep-th/0409035v1
- Christopher J. Fewster and Kasia Rejzner, Algebraic Quantum Field Theory—an introduction, complete author manuscript, arXiv:1904.04051v2