Manuscript Oai283-A@1 · Oai283-A.tex · proposition · 6fb75895

Proposition: Influence available from an accurate unitary link

An explicit nonempty pilot and process-matrix insertion › Unconditional signalling · lines 760–788 · proof included or linked

Oai283-A@1#prop:signalling

Back to manuscript

If in (eq:comb), then

All reverse strengths vanish. The component order is the three-element chain . For the exact one-qubit phase pilot, all three forward strengths equal one.

Proof. At , replace the input by two orthogonal states. Their ideal unitary outputs are perfectly distinguishable. Each actual output is within trace distance of its ideal counterpart, so their mutual trace distance is at least . A distinguishing binary measurement can be implemented as a receiver instrument. For , let forward the state.

The identity link from to permits perfect distinction. Trace preservation of later operations makes earlier unconditional marginals independent of those operations, proving reverse non-signalling. Positivity of the forward strengths gives the chain.

Displayed formulas in this passage

  • unlabeled · line 764

Nearby in this section