Manuscript En04-A@1 · En04-A.tex · remark · bab77211
Remark: Response does not locate the whole diary
Preservation, exact recovery, and response witnesses · lines 600–605
A positive witness proves that the residual distinguishes some logical inputs. It does not prove residual-only recovery of the entire code. Joint recovery is guaranteed by the complete isometry; local recovery requires its own theorem.
Nearby in this section
- theorem: Theorem: Complete preservation and global restore
- section: Preservation, exact recovery, and response witnesses
- theorem: Theorem: Exact recovery, constancy, and observable compression
- section: Preservation, exact recovery, and response witnesses
- corollary: Corollary: The precise no-hiding conclusion
- lemma: Lemma: Constancy and quantitative witnesses