Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a

Gate C: coherence for the selected word

Gate C: coherence for the selected word · lines 1427–1444

Write

A = B_{f}, W = W_{g}, C = B_{f^{'}},

P_{L} = A W, Q_{L} = Q_{f, g}, P_{R} = W C, Q_{R} = Q^{R}_{g, f^{'}} .

Both formal intermediate tensors

(P_{L} + ℏ Q_{L}) \otimes C, A \otimes (P_{R} + ℏ Q_{R})

belong to $D_{decl}$ . Thus both associations now exist.

Displayed formulas in this passage

unlabeled · line 1431
$A = B_{f}, W = W_{g}, C = B_{f^{'}},$
unlabeled · line 1434
$P_{L} = A W, Q_{L} = Q_{f, g}, P_{R} = W C, Q_{R} = Q^{R}_{g, f^{'}} .$
unlabeled · line 1439
$(P_{L} + ℏ Q_{L}) \otimes C, A \otimes (P_{R} + ℏ Q_{R})$