Manuscript IX-D@3 · IX-D-v3.tex · theorem · 3ad4586e
Theorem: D3: constant projection of an existing word, but no causal lift
D3: the constructed scalar and the causal separation · lines 1132–1167 · proof included or linked
IX-D@3#thm:nonlift
The constructed free word satisfies
This scalar assignment does not by itself define , , or a higher retarded map on the intermediate actual-functional stages.
Proof. The first assertion is the constant coefficient of the inherited equality (eq:word). Thus the scalar is now a projection of an existing word, not a projection of an unconstructed association.
Nevertheless, has a large kernel. For example, for every . Changing a lower-order nonconstant coefficient leaves the displayed constant projection fixed. This is an information-loss statement; it is not permission to change the locked coefficients of .
IX-Free-2 supplies the nonconstant free coefficients lost by this projection. It supplies no separate time-ordering coefficients, causal factorization, old time-ordered or retarded overlaps, or anti-time-ordering identities. In particular, the scalar does not select
The existence of the free word therefore does not convert its constant projection into a causal map.
Displayed formulas in this passage
unlabeled · line 1136
unlabeled · line 1162