Information door · 9 min read · published
What Error Correction Preserves
Redundancy can recover a message after physical damage. It cannot preserve every property of a thing, and it cannot rescue information that was never encoded.
Thesis
Error correction preserves a chosen logical distinction by distributing it across physical degrees of freedom and decoding against a specified noise model. Its success is conditional, and it should not be confused with perfect copying, semantic preservation, or immortality.
A message meets a world
Supporting/contextual references: [error-shannon-1948] [error-hamming-1950]
[object Object]
[object Object]
Redundancy without a copy
Supporting/contextual references: [error-shannon-1948] [error-hamming-1950] [error-elias-1955]
[object Object]
[object Object]
A code protects a question
Supporting/contextual references: [error-shannon-1948] [error-elias-1955]
[object Object]
[object Object]
Quantum error correction
Supporting/contextual references: [error-steane-1996] [error-kitaev-2003] [error-preskill-2018]
[object Object]
[object Object]
What preservation means
Supporting/contextual references: [error-shannon-1948] [error-taskforce-1996]
[object Object]
[object Object]
Failure is informative
Supporting/contextual references: [error-hamming-1950] [error-taskforce-1996]
[object Object]
[object Object]
Open research directions
Supporting/contextual references: [error-kitaev-2003] [error-preskill-2018] [error-taskforce-1996]
[object Object]
[object Object]
The honest promise
Supporting/contextual references: [error-shannon-1948] [error-preskill-2018]
[object Object]
[object Object]
The practical boundary
Supporting/contextual references: [error-shannon-1948] [error-hamming-1950] [error-taskforce-1996]
[object Object]
[object Object]
[object Object]
[object Object]
Sources & references
Supporting/contextual references, not claim-level proof.
- Claude E. Shannon — A Mathematical Theory of CommunicationBell System Technical Journal 27(3), 379–423; 27(4), 623–656, 1948.
- Richard W. Hamming — Error Detecting and Error Correcting CodesBell System Technical Journal 29(2), 147–156, 1950.
- Peter Elias — Coding for Noisy ChannelsIRE Convention Record, 1955.
- Andrew Steane — Error Correcting Codes in Quantum TheoryPhysical Review Letters 77(5), 793–797, 1996.
- A. Yu. Kitaev — Fault-Tolerant Quantum Computation by AnyonsAnnals of Physics 303(1), 2–30, 2003.
- John Preskill — Quantum Computing in the NISQ Era and BeyondQuantum 2, article 79, 2018.
- Task Force on Archiving of Digital Information — Preserving Digital Information: Report of the Task Force on Archiving of Digital InformationCommission on Preservation and Access and Research Libraries Group, 1996.