Manuscript VII-G@1 · VII-G.tex · section · 54f561e8
Entangled spectators and complete controller blindness
Entangled spectators and complete controller blindness · lines 846–854
This extends the partial-trace mechanism of VII-E to selective
branches and their stochastic correlations CheungVIIE (Lemma
lem:partial-trace, Theorem thm:spectators,
and Assumption ass:blind).
It does not identify two different spectator extensions as joint
outputs.
Nearby in this section
- section: Entangled spectators and complete controller blindness
- assumption: Assumption: Blindness of the complete transition specification
- section: Entangled spectators and complete controller blindness
- lemma: Lemma: Restriction of a selective map
- theorem: Theorem: Spectator consistency for stochastic histories
- example: Example: A capacity leak
- section: Entangled spectators and complete controller blindness
- remark: Remark: Selective spectator states