Temporal structure and algebraic quantum field theory

01Begin with what can be measured locally

Algebraic quantum field theory associates an algebra of observables with each suitable spacetime region. Larger regions contain the observables of smaller ones, and spacelike-separated observable algebras satisfy an appropriate commutativity condition. A state assigns positive normalized expectation values to the algebra. Locally covariant formulations express how these structures behave across admissible spacetime embeddings.

This is a natural comparison for DTT because the source programme defines outer reality through accessible records and tests. It can ask whether those tests generate an observable algebra and whether a local organization emerges. The conventional algebraic framework normally has geometric regions available at the outset; DTT’s stronger ambition is to derive their physical meaning. ^[2]

02The source and its two temporal roles

The Single Monad Model begins with one nonspatial generative source. The Duality of Time Theory distinguishes the source’s inner production from the outer order in which completed records become accessible. Its six inner levels are nested functional roles of one process: a higher role organizes lower-level work. The seventh is the completion or observation interface. They are neither six independent clocks nor six additional time coordinates.

This distinction supplies a useful research question: which features of an observed world can follow from the way a source produces, retains and releases information? A concrete answer needs a state space, an autonomous update, retained memory and a rule connecting completion to an accessible measurement. In the constructions discussed here, those mathematical ingredients are stated explicitly. A successful finite example establishes what its specified mechanism can do; further arguments connect it to physical particles, spacetime or universal laws. ^[1]

03Worked local algebras with nonlocal correlations

For two qubits define AA={A⊗I:A is a 2×2 complex matrix} and AB={I⊗B:B is a 2×2 complex matrix}. Every element of AA commutes with every element of AB, since both orders multiply to A⊗B. Choose the Bell state (|00⟩+|11⟩)/√2. Each local reduced state is maximally mixed, yet the joint Z outcomes are perfectly correlated.

Thus commuting local algebras do not require a product state or statistical independence. They constrain possible influence while allowing entanglement. A DTT construction can use this distinction to separate source-level nonseparability from outer local access. The finite example is not a relativistic field theory, but it isolates a structural compatibility that any such reconstruction should preserve. ^{[2] [3]}

04What must be added for a field theory

A graph of finite registers can represent local operations, but an interacting continuum field theory requires more than a tensor product. One must control state positivity, the relevant spectrum or stability conditions, causal propagation, the relation between neighbouring regions and the limit in which physical scales are refined. In curved spacetime, covariance connects descriptions on different backgrounds.

The time-slice idea also matters: suitable data near a Cauchy surface should determine the appropriate dynamical algebra in its domain. A source model that publishes isolated snapshots without a propagation rule does not yet supply this structure. Its completed records need to encode enough information for allowed future local tests, which is precisely where retained memory and dynamics meet. ^{[2] [4]}

05An observable quotient can help

DTT can define two source histories as observationally equivalent when every allowed continuation gives the same statistics. The quotient removes distinctions inaccessible to the observer. It becomes a useful precursor to a field algebra only if the allowed tests have coherent composition, linear structure and positive states, and if their localization is physically justified.

Merely assigning region labels to a convenient subset of tests builds locality into the interface. A stronger source theorem would derive why those tests organize into a stable local net and why the same geometry governs matter propagation and clocks. The six nested roles can implement a candidate construction, but one controller carrying out several separately chosen rules does not explain the covariance of their combined readout. ^{[2] [1]}

06What the comparison contributes

Algebraic QFT provides a demanding language for specifying the observable end of the source programme. It helps distinguish a mathematical source model from a claim of a full quantum field theory. A finite construction can establish exact positivity or local commutation and then identify the missing continuum assumptions transparently.

The most valuable DTT advance would link the algebra’s localization, its time evolution and the physical metric through one constrained mechanism. A deviation would need an observable formulation, such as a controlled change in a correlation function or propagation law, with physical scales specified. The comparison therefore makes source unity compatible with rigorous local observables while keeping the large remaining reconstruction task visible. ^{[2] [4]}

THE SAME QUESTION, DIFFERENT STARTING POINTS

The comparison at a glance

Continue on SMONAD

• Test languages and observable quotients →

  Connects this comparison with the author’s underlying construction.

• Finite-energy field measurements →

  Connects this comparison with the author’s underlying construction.

• Free-field limits and their boundaries →

  Connects this comparison with the author’s underlying construction.

• Generating a neighborhood and preserving local transport →

  Connects this comparison with the author’s underlying construction.

• SMM/DTT research claim map: results, assumptions and open targets →

  Connects the comparison to the programme’s current statement of results and assumptions.