Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a

Actual-relation consistency and analytical obligations

Actual-relation consistency and analytical obligations · lines 1242–1262

On $D_{2}$ , both free orders exist. Define

A (d) = \frac{1}{2} (S (d) + S (σ d)) .

It has classical coefficient multiplication and obeys

A (σ d) = A (d), A (γ d) = A (d)^{*} .

Let $(d_{i}, t_{i})$ , $i \in I$ , be all forced ordered values and any separately supplied old time-ordered values. Set

x_{i} = t_{i} - A (d_{i}) \in ℏ P_{Σ} \otimes_{C} C [ℏ] / (ℏ^{4}), Q = D_{2} / im (id - σ) .

The index set need not be finite.

Displayed formulas in this passage

unlabeled · line 1246
$A (d) = \frac{1}{2} (S (d) + S (σ d)) .$
unlabeled · line 1250
$A (σ d) = A (d), A (γ d) = A (d)^{*} .$
unlabeled · line 1257
$x_{i} = t_{i} - A (d_{i}) \in ℏ P_{Σ} \otimes_{C} C [ℏ] / (ℏ^{4}), Q = D_{2} / im (id - σ) .$