Manuscript En05-C@1 · En05-C.tex · example · aa213ea6

Example: Omitted central data

Stage D: a finite constrained Z2 model › Four operational tests · lines 1112–1129

En05-C@1#ex:gaugecenter

In the coordinates (eq:theta-basis), take

ρ_{p} = (p 0 0 1 - p)_{f} \otimes ρ_{q} .

Its full local snapshot is

p ρ_{q} \oplus (1 - p) ρ_{q} .

The normalized states within both sectors are $ρ_{q}$ , but the local central readout $e_{+}, e_{-}$ has law $(p, 1 - p)$ . A smaller algebra $1_{f} \otimes M_{2}$ also fails to distinguish these inputs. It is not a replacement for the declared full regional algebra (eq:A12).

Displayed formulas in this passage

unlabeled · line 1115
$ρ_{p} = (p 0 0 1 - p)_{f} \otimes ρ_{q} .$
unlabeled · line 1121
$p ρ_{q} \oplus (1 - p) ρ_{q} .$

Nearby in this section

example: Example: Containment with genuine local dependence
example: Example: Containment with a constant report
example: Example: A concrete failed containment test
section: Four operational tests