Manuscript X-C-ST@1 · X-C-ST.tex · theorem · b679954e

Theorem: Reference-preserving regular transport

Scheduled locality and the regular finite route › The unchanged target-adapted transport pattern · lines 2445–2478 · proof included or linked

X-C-ST@1#thm:transport

Back to manuscript

For every payload–reference input , after hop the state is

under the declared register identifications. The logical payload channel is the identity, including arbitrary reference correlations.

The finite classical report can be forwarded with its complete joint law. Arrival is at

All dependency routes remain in the regular part.

Proof. Each SWAP exchanges the entire current payload factor, including all correlations with , with the next independent blank. It leaves the previous station blank. Induction gives the formula.

Classical forwarding copies only diagonal record data and therefore preserves its joint classical law; it is not cloning an arbitrary quantum state. The prescribed spacings and durations make the cross dependencies null in the inherited developing chart. No worldsheet crossing is used.

Displayed formulas in this passage

  • unlabeled · line 2449

  • unlabeled · line 2459

Nearby in this section