Manuscript Oai280-A@1 · Oai280-A.tex · definition · 27038823
Definition: Record-only determination
Stage 2: sector data are not a complete information account · lines 771–785
Oai280-A@1#def:determination
An independent operational completion of a fixed record appends:
a finite code and an isometry ;
specified accessible and complete complementary outputs;
where relevant, a fixed preparation and sequential unitaries.
No correspondence theorem between these appended data and the sector record is presumed.
A quantity is determined by the record alone only if it has the same value in every such completion with the named code and output conventions fixed.
Nearby in this section
- definition: Definition: Declared sector record
- section: Stage 2: sector data are not a complete information account
- section: Stage 2: sector data are not a complete information account
- proposition: Proposition: Identical sector record, opposite recovery
- proposition: Proposition: Identical record, different entropy histories
- section: Stage 2: sector data are not a complete information account