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
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