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

Back to manuscript

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

Nearby in this section