Manuscript X-B-ST@1 · X-B-ST.tex · theorem · d03c150c

Theorem: Reference-preserving regular transport

Scheduled locality, regular transport, and resources › The inherited target-adapted route · lines 2536–2567 · proof included or linked

X-B-ST@1#thm:transport

Back to manuscript

For every payload–reference input , after hop the state, under the fixed register identifications, is

The logical payload channel is exactly the identity, including arbitrary references. The finite classical report is forwarded with its complete joint law. Arrival occurs at

Every dependency route remains in the regular part.

Proof. At the first hop a SWAP exchanges the unknown payload factor, including all correlations with , with the next independent blank. The previous station is left blank. Repeating gives the formula by induction.

Classical forwarding copies only diagonal record data; it is not cloning an arbitrary quantum state. The chosen tick durations make the spatial dependency edges null in the developing chart, hence causal in the supplied host geometry.

Displayed formulas in this passage

  • unlabeled · line 2541

  • unlabeled · line 2549

Nearby in this section