Manuscript VII-H@1 · VII-H.tex · section · d20d2a9f

Propagation and reconstruction before observation

Propagation and reconstruction before observation · lines 423–439

VII-H@1#eq:changing-map

If the propagation map also changes, the exact comparison is

P^{P} u^{P} - P^{Q} u^{Q} = P^{P} (u^{P} - u^{Q}) + (P^{P} - P^{Q}) u^{Q} .

The second term cannot be omitted.

Finite renormalizations of an interacting theory require precisely such attention to interactions and observable identifications BDF,DF. The present proposition does not assert that the needed maps exist for the inherited characteristic graph.

Displayed formulas in this passage

VII-H@1#eq:changing-map · line 426
$P^{P} u^{P} - P^{Q} u^{Q} = P^{P} (u^{P} - u^{Q}) + (P^{P} - P^{Q}) u^{Q} .$

Nearby in this section

proposition: Proposition: Propagated ambiguity
theorem: Theorem: Reconstruction descent
section: Propagation and reconstruction before observation
example: Example: A null presentation with nonzero summands