Positive-energy tube analyticity and discrete-symmetry proof interfaces

Assume Countable Choice. Let $\mathcal{H}$ be a nonzero complex Hilbert space with inner product $(\cdot ,\cdot )$ linear in its first argument. Use $p\cdot a:=p^0{a}^0-\mathbf{p}\cdot \mathbf{a}$ on ${\mathbb{R}}^4$, the convention of the proper-orthochronous Poincaré supplier, and put ${\bar{V}}_{+}:=\{p=(p^0,\mathbf{p})\in {\mathbb{R}}^4:p^0\ge \mathrm{\mid }\mathbf{p}\mathrm{\mid }\},V_{+}:=\{b=(b^0,\mathbf{b})\in {\mathbb{R}}^4:b^0>\mathrm{\mid }\mathbf{b}\mathrm{\mid }\}\mathrm{.}$ For estimates only, write $\mathrm{\mid }p{\mathrm{\mid }}_{\mathrm{E}}:=\sqrt{(p^0{)}^2+\mathrm{\mid }\mathbf{p}{\mathrm{\mid }}^2}$.

Let $E$ be a projection-valued measure on the Borel subsets of ${\mathbb{R}}^4$: each $E(S)$ is an orthogonal projection, $E(\mathrm{\varnothing })=0$, $E({\mathbb{R}}^4)=I$, $E(S\cap T)=E(S)E(T)$, and for every disjoint sequence $(S_n)$, $E({\bigcup }_n{S}_n)\xi ={\sum }_{n}E(S_n)\xi$ in norm for each $\xi \in \mathcal{H}$. For a bounded Borel function $g$, write ${\mathrm{\Phi }}_E(g):=\int g(p)dE(p)$ for its bounded spectral integral, defined by uniform simple-function approximation. Let $U:{\mathbb{R}}^4\to \mathcal{B}(\mathcal{H})$ be a strongly continuous unitary representation of translations: $U(0)=I$, $U(a+a^{\mathrm{\prime }})=U(a)U(a^{\mathrm{\prime }})$, every $U(a)$ is a surjective linear isometry, and $a\mapsto U(a)\xi$ is norm-continuous for each $\xi \in \mathcal{H}$. The positive-energy joint spectral input is the additional data and condition $U(a)={\mathrm{\Phi }}_E(p\mapsto e^{ip\cdot a}),E({\mathbb{R}}^4\setminus {\bar{V}}_{+})=0.$

Fix a translation-invariant unit vector $\mathrm{\Omega }\in \mathcal{H}$, so $U(a)\mathrm{\Omega }=\mathrm{\Omega }$ for every $a\in {\mathbb{R}}^4$, and a specified unital $\ast$-subalgebra $\mathfrak{A}\subseteq \mathcal{B}(\mathcal{H})$: it contains $I$ and is closed under complex linear combinations, operator composition, and Hilbert-space adjoints, with these operations inherited from $\mathcal{B}(\mathcal{H})$. Explicitly, $(A+B)\xi =A\xi +B\xi$, $(\lambda A)\xi =\lambda A\xi$, $(AB)\xi =A(B\xi )$ and $I\xi =\xi$; the Hilbert adjoint is characterized by $(A\xi ,\eta )=(\xi ,A^{\ast }\eta )$. Under the already assumed Countable Choice, these bounded adjoints exist and obey the adjoint identities of Hilbert-adjoint identities, so the inherited structure is a unital complex star algebra in the sense of Unital star algebra and positive normalized state. Require $\overline{\{A\mathrm{\Omega }:A\in \mathfrak{A}\}}=\mathcal{H}$; this is the meaning of cyclic vacuum here. If local bounded operators are used, their assignment $O\mapsto \mathfrak{A}(O)\subseteq \mathfrak{A}$ for bounded open $O\subseteq {\mathbb{R}}^4$ is separately specified. This input asserts no locality, isotony, covariance, or field-domain property for that assignment. The PVM and its joint support are input; separate generators or a matrix-coefficient Fourier-support condition do not replace this additional data.

Proper-orthochronous Poincaré action and test pullback

The Axiom of Countable Choice (${\mathrm{A}\mathrm{C}}_{\omega }$)

Hilbert space

Real and complex inner-product spaces and their induced length

Projection valued measure

Bounded borel pvm integral

Fewster and Rejzner, §5.1

Mund, §1.3 and §2.1

The required qft-mc02 reconstruction item proves a matrix-coefficient Fourier-support condition only under its additional moment identities. Its Statement explicitly does not assert joint self-adjoint translation generators or their joint PVM. This definition therefore records a stronger, separate input and does not infer it from that reconstruction result.

Assume Countable Choice and the positive-energy joint spectral input of Positive-energy joint spectral input on $\mathcal{H}$. Put ${\mathcal{T}}_{+}:=\{a+ib:a\in {\mathbb{R}}^4,b\in V_{+}\}$ and, for $z=a+ib\in {\mathcal{T}}_{+}$, define $U(z):={\mathrm{\Phi }}_E(p\mapsto {\mathbf{1}}_{{\bar{V}}_{+}}(p)e^{ip\cdot z}),p\cdot z:=p^0{z}^0-\mathbf{p}\cdot \mathbf{z}\mathrm{.}$ Then $U(z)$ is a bounded operator with $\mathrm{\parallel }U(z)\mathrm{\parallel }\le 1$; the same formula extends it to a strongly continuous contraction-valued map on ${\mathbb{R}}^4+i{\bar{V}}_{+}$ and agrees with the given $U(a)$ when $b=0$. Holomorphic means complex differentiable as a map of the full complex coordinate vector, with a complex-linear total derivative and remainder $o(\mathrm{\parallel }h\mathrm{\parallel })$.

For every integer $n\ge 1$, every $B_1,\dots ,B_{n-1}\in \mathcal{B}(\mathcal{H})$, and every $\psi ,\varphi \in \mathcal{H}$, the matrix coefficient $F(z_1,\dots ,z_n):=(U(z_1)B_{1}U(z_2)\cdots B_{n-1}U(z_n)\psi ,\varphi )$ is holomorphic on ${\mathcal{T}}_{+}^n$, where each $\mathrm{Im}{z}_j\in V_{+}$. No locality assumption on the bounded insertions is used. This result concerns bounded operators; it asserts no domain, product, or holomorphy claim for unbounded Wightman fields.

Positive-energy joint spectral input

Bounded borel pvm integral

Complex phase domains, holomorphic maps on ${\mathbb{C}}^m$, and the complexified canonical form and bracket

Fewster and Rejzner, §§5.1–5.2

Mund, §2.1, Theorem 2.8

Álvarez-Gaumé and Vázquez-Mozo, §4

The proof uses exponential damping only for imaginary displacements in the open future cone. Boundary continuity is strong operator continuity, obtained from bounded-energy spectral projections; no operator-norm continuity at the real boundary is claimed.

A CPT/spin-statistics proof interface is the minimum set of typed data, hypotheses, and proof obligations that must be fixed before a scalar or spinor Wightman CPT or spin-statistics theorem is stated. It is a checklist, not a sufficiency theorem, and it asserts neither conclusion.

The proposed field system must specify a nonzero complex Hilbert space $\mathcal{H}$ as in “Hilbert space”, with inner product linear in its first argument as in “Real and complex inner-product spaces and their induced length”, a dense complex linear field domain ${\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}\subseteq \mathcal{H}$, and a finite-dimensional complex component space $V$ with $1\le {\dim }_{\mathbb{C}}V<\mathrm{\infty }$, together with a distinguished unit vector $\mathrm{\Omega }\in {\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}$. A field multiplet is a finite family of complex-linear maps on Schwartz test functions, with the Schwartz topology of “Schwartz space and its seminorms” and the Poincaré pullback convention of “Proper-orthochronous Poincaré action and test pullback”: ${\mathrm{\Phi }}_{\alpha }:\mathcal{S}({\mathbb{R}}^4;\mathbb{C})\to \mathrm{Lin}({\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}})$, where $\mathrm{Lin}({\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}})$ is the vector space of linear maps from that domain to itself. Each field map preserves ${\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}$ and is weakly tempered: for every $u,v\in {\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}$, $f\mapsto ({\mathrm{\Phi }}_{\alpha }(f)u,v)$ is a continuous linear functional on Schwartz space. Every finite product on ${\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}$ must be defined. For $g=(A,a)$, use $T_{g}f(x)=f(\mathrm{\Lambda }(A{)}^{-1}(x-a))$. The Poincaré pullback continuity lemma guarantees $T_{g}f\in \mathcal{S}$ and continuity of $T_g$ and $T_{g^{-1}}$ in the Schwartz topology, so field covariance with these transformed tests is defined on the declared domain. The associated $n$-point function is the multilinear functional $(f_1,\dots ,f_n)⟼({\mathrm{\Phi }}_{{\alpha }_1}(f_1)\cdots {\mathrm{\Phi }}_{{\alpha }_n}(f_n)\mathrm{\Omega },\mathrm{\Omega });$ the interface must require and identify its continuous extension to $\mathcal{S}({\mathbb{R}}^{4n};\mathbb{C})$ for each component sequence.

The domain must satisfy $U(g){\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}={\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}$ for every group element $g$. The symmetry data must include a strongly continuous unitary group representation $U$ of the spin-cover Poincaré group ${\tilde{P}}_{+}^{\uparrow }:=SL(2,\mathbb{C})⋉{\mathbb{R}}^4$, with product $(A,a)(B,b)=(AB,a+\mathrm{\Lambda }(A)b)$. Give $SL(2,\mathbb{C})$ its subspace topology from $M_2(\mathbb{C})$ and the semidirect product the product topology. Here $SL(2,\mathbb{C})=\{A\in M_2(\mathbb{C}):\det A=1\}$, and $GL(V)$ denotes the invertible complex-linear maps on $V$. The specified continuous surjective double-cover homomorphism $\mathrm{\Lambda }:SL(2,\mathbb{C})\to S{O}^{+}(1,3)$ has kernel $\{I,-I\}$; $-I$ is the central order-two kernel element called the $2\pi$-rotation element here. $S{O}^{+}(1,3)$ and the affine translation conventions are those of the Poincaré supplier. Each $U(g)$ is a surjective linear isometry of $\mathcal{H}$, $U(gh)=U(g)U(h)$, and $g\mapsto U(g)\xi$ is norm-continuous for each fixed $\xi \in \mathcal{H}$. The field system also specifies a continuous finite-dimensional representation $S:SL(2,\mathbb{C})\to GL(V)$, so $S(AB)=S(A)S(B)$ and $S(I)=I$. Its field covariance identity must be stated explicitly as an equality in $\mathrm{Lin}({\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}})$ and checked against the group law. It must identify whether the component matrix is $S$, its dual, or its complex conjugate and fix the test-function pullback or its inverse, the adjoint convention, and all component indices. The vacuum $\mathrm{\Omega }$ must be invariant under translations, with translation-invariant subspace exactly $\mathbb{C}\mathrm{\Omega }$, and cyclic: the span of all vectors ${\mathrm{\Phi }}_{{\alpha }_1}(f_1)\cdots {\mathrm{\Phi }}_{{\alpha }_n}(f_n)\mathrm{\Omega }$, including $\mathrm{\Omega }$, is dense in $\mathcal{H}$.

The positive-energy premise must be the joint PVM input of “Positive-energy joint spectral input”, including its Countable Choice assumption, on this same $\mathcal{H}$ with this same $\mathrm{\Omega }$. Denote its translation representation by $U_{\mathrm{s}\mathrm{p}\mathrm{e}\mathrm{c}}$ and require $U((I,a))=U_{\mathrm{s}\mathrm{p}\mathrm{e}\mathrm{c}}(a)={\mathrm{\Phi }}_E(p\mapsto e^{ip\cdot a})(a\in {\mathbb{R}}^4)\mathrm{.}$ For $f,g\in \mathcal{S}({\mathbb{R}}^4;\mathbb{C})$ with compact spacelike-separated supports, the field locality identity and its sign must be stated on ${\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}$. Here $\mathrm{supp}f$ is the closure of $\{x:f(x)\mathrm{\ne }0\}$. Spacelike separation here means $(x^0-y^0{)}^2-\mathrm{\mid }\mathbf{x}-\mathbf{y}{\mathrm{\mid }}^2<0$ for every support pair. If a proof uses weak locality, that term means the equality of the original and reversed vacuum $n$-point distributions on the specific real set of relative coordinates required by the selected theorem; the set, reversal, field grading, and distributional boundary interpretation must be stated rather than left under the name “Jost points.”

The proof interface must then identify, with the Fourier sign and relative coordinates fixed, the multivariable tube domain to which each $n$-point distribution is continued. A complexified Lorentz action here is a specified holomorphic action on ${\mathbb{C}}^4$ of a specified complex matrix group extending the real action through $\mathrm{\Lambda }$ and preserving the complex-bilinear extension of the Minkowski form. A complex Lorentz extension means a single-valued holomorphic continuation on a stated domain generated by that action; the acting group, its action, and the domain must be given and the covariance formula checked there. Any edge-of-the-wedge step must name its exact theorem, both holomorphic domains, their common distributional boundary value, the open real set where they agree, and the conclusion of uniqueness used.

A claimed CPT conclusion means the combined field transformation by charge conjugation and spacetime inversion $x\mapsto -x$ (simultaneous parity and time reversal); it must preserve ${\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}$, define a surjective conjugate-linear isometry $\mathrm{\Theta }:\mathcal{H}\to \mathcal{H}$ (antiunitarity), state its action on $\mathrm{\Omega }$, translations, every field component, and test functions, and specify the conjugate-linear charge-conjugation map and all phases. A claimed spin-statistics conclusion must state the action $S(-I)={ϵ}_{\mathrm{s}\mathrm{p}\mathrm{i}\mathrm{n}}{I}_V$ of the central $2\pi$-rotation element $-I\in SL(2,\mathbb{C})$, with ${ϵ}_{\mathrm{s}\mathrm{p}\mathrm{i}\mathrm{n}}\in \{+1,-1\}$, and the actual spacelike exchange sign ${ϵ}_{\mathrm{l}\mathrm{o}\mathrm{c}}\in \{+1,-1\}$ in ${\mathrm{\Phi }}_{\alpha }(f){\mathrm{\Phi }}_{\beta }(g)={ϵ}_{\mathrm{l}\mathrm{o}\mathrm{c}}{\mathrm{\Phi }}_{\beta }(g){\mathrm{\Phi }}_{\alpha }(f)$ on ${\mathcal{D}}_{\mathrm{f}\mathrm{i}\mathrm{e}\mathrm{l}\mathrm{d}}$. For a multiplet with a single spin parity, the theorem must derive the precise relation ${ϵ}_{\mathrm{l}\mathrm{o}\mathrm{c}}={ϵ}_{\mathrm{s}\mathrm{p}\mathrm{i}\mathrm{n}}$. Any additional theorem-specific assumptions remain explicit; this interface does not claim that its checklist alone suffices.

Proper-orthochronous Poincaré pullbacks act continuously on Schwartz space

Positive-energy joint spectral input

Positive spectrum gives bounded future-tube continuation

Weak operator-valued tempered distribution on a common domain

Proper-orthochronous Poincaré action and test pullback

Schwartz space and its seminorms

Hilbert space

Real and complex inner-product spaces and their induced length

The Axiom of Countable Choice (${\mathrm{A}\mathrm{C}}_{\omega }$)

Fewster and Rejzner, §§5.1–5.2

Mund, §2.1

Álvarez-Gaumé and Vázquez-Mozo, §4

The bounded-insertion theorem Positive spectrum gives bounded future-tube continuation proves neither analyticity for unbounded field products nor the distributional boundary and uniqueness steps listed here. The published Tested positive moments reconstruct closable smeared fields supplies only its stated matrix-coefficient spectrum condition, not a joint PVM. The existing free scalar and Dirac constructions are examples and do not discharge a general CPT or spin-statistics proof obligation.