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

Back to manuscript

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

Nearby in this section