Manuscript XXII-B@1 · XXII-B.tex · proposition · 9d5c569c
Proposition: Static state data do not determine the operational realization
Operational languages and candidate data › Candidate C: static spectra and mutual information · lines 438–478 · proof included or linked
XXII-B@1#prop:static
Even an exact labelled bipartite output state, and hence all its static reduced spectra and mutual-information values, can have realizations both with and without a signalling transmission. Such state data alone do not specify an intervention-based event order.
Proof. Consider the labelled Bell output
One realization distributes this state to two laboratories with no communication. For any trace-preserving local intervention ,
Indeed, pairing with a -observable and using proves the equality. There is no unconditional signalling from that local intervention.
Another realization prepares the Bell pair at a source, retains the -register, and transmits its -register to a receiver. The baseline labelled output is exactly the same . If the source is allowed to replace its outgoing register by or , the receiver can distinguish the alternatives perfectly.
The two realizations have the same static output datum but different operational access and transmission structure. Precisely those missing declarations are not encoded by the state or its spectra. The first equality is the standard distinction between local correlations and signalling Beckman.
Displayed formulas in this passage
unlabeled · line 449
unlabeled · line 457