Manuscript IX-D@3 · IX-D-v3.tex · requirement · 3ad4586e
Requirement: Time-ordered interface I TO
D1: domains and separate causal interfaces › Reversed and conjugate comparison domains · lines 829–867
IX-D@3#req:TO
A proposed bosonic time-ordering system must specify:
Actual-functional domains
the coefficient range and truncation, symmetry, normalization , and classical order-zero multiplication. Every required reversed, conjugate, or intermediate domain must be named.
Admission and actual-presentation descent for every coefficient and required directional descendant.
Causal factorization:
where belongs both to the time-ordering domain and to . The comparator is specifically the IX-Free-2 product. Outside , this identity requires a separately constructed free extension. Higher factorization must name every intermediate free product used.
Exact declared old time-ordered overlaps and a specified class of permitted contact terms, with admission and descent tests for those terms.
The appropriate involution or unitarity identities, including anti-time ordering rather than an unjustified self-adjointness requirement.
A continuity statement on a named domain at a specified strength. F9a must not be promoted to F9b or quantum hypocontinuity.
Displayed formulas in this passage
unlabeled · line 835
unlabeled · line 847