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

Back to manuscript

A proposed bosonic time-ordering system must specify:

  1. 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.

  2. Admission and actual-presentation descent for every coefficient and required directional descendant.

  3. 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.

  4. Exact declared old time-ordered overlaps and a specified class of permitted contact terms, with admission and descent tests for those terms.

  5. The appropriate involution or unitarity identities, including anti-time ordering rather than an unjustified self-adjointness requirement.

  6. 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

Nearby in this section