λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96

F8: reversal, presentation independence, and observations

F8: reversal, presentation independence, and observations · lines 1351–1361

Back to manuscript

For functionals, star means complex conjugation. For a joint distribution, dagger conjugates and exchanges $x, x^{'}$ :

⟨ U^{†}, Φ ⟩ = ⟨ U, Φ \circ τ ⟩, τ (x, y, x^{'}) = (x^{'}, y, x) .

Displayed formulas in this passage

unlabeled · line 1356
$⟨ U^{†}, Φ ⟩ = ⟨ U, Φ \circ τ ⟩, τ (x, y, x^{'}) = (x^{'}, y, x) .$

Nearby in this section