Manuscript XXII-B@1 · XXII-B.tex · section · 9d5c569c

Candidate D: reference-stable complete channel tables

Operational languages and candidate data › Candidate D: reference-stable complete channel tables · lines 492–532

XXII-B@1#eq:reference-marginal

Back to manuscript

Candidate D consists of indexed complete channels on declared comparison interfaces, optionally supplemented by preparations, intervention settings, and complete correlation records.

Reference stability means that a channel acts as on an untouched reference and that a comparison is made completely, including such extensions. For every channel,

This leaves the unconditional reference marginal unchanged. It does not imply preservation of all input-reference correlations: a replacement channel satisfies (eq:reference-marginal) while destroying those correlations. Exact logical identity transport is the stronger statement

on identified input and output spaces Watrous,CheungEn08B.

Thus the term “reference-preserving table” must distinguish unchanged reference marginals from successful reference-preserving transmission. Selective conditioning may also change the conditional reference state without signalling to the unconditional reference CheungEn09A (thm:main).

An intervention-indexed complete table may determine influence within its declared access model. A transport-only table need not. Neither observation supplies a cone-selection theorem here. En08-B supplies a later endpoint-approximation benchmark, but its metric and speed are inputs CheungEn08B (thm:main, cor:operational-limit).

Displayed formulas in this passage

  • XXII-B@1#eq:reference-marginal · line 502

  • unlabeled · line 514