Manuscript Hawk01-A@1 · Hawk01-A.tex · section · 11979653
Complete channel and late query
Physical message, complete attempts, and the access boundary › Complete channel and late query · lines 630–666
Hawk01-A@1#eq:completechannel, Hawk01-A@1#eq:completeoutput, Hawk01-A@1#eq:scoredefinition
Let denote the initially inaccessible source degrees of freedom, and let be a declared stored early-radiation resource. Initially is independent of , whose state may be correlated. A supplied linear physical evolution and access prescription defines a CPTP map
The complete output contains every accessible quantum system and classical flag surviving to the decoding boundary:
A factor is absent if and only if its exclusion is part of the declared boundary. Initially correlated early radiation is not silently traced out and later restored to the decoder.
Only after that boundary is fixed, a uniform is generated independently of , all pre-query systems, and all accessible random seeds. The decoder then reports . The score is
Displayed formulas in this passage
Hawk01-A@1#eq:completechannel · line 637
Hawk01-A@1#eq:completeoutput · line 645
Hawk01-A@1#eq:scoredefinition · line 662