190 likes | 363 Views
An Upper Bound on Locally Recoverable Codes. Viveck R. Cadambe (MIT) Arya Mazumdar (University of Minnesota). Erasure Codes: Classical Trade-off. Failure Tolerance versus Storage versus Access: . codeword -symbol (storage node). Erasure Codes: Classical Trade-off.
E N D
An Upper Bound on Locally Recoverable Codes Viveck R. Cadambe (MIT) AryaMazumdar (University of Minnesota)
Erasure Codes: Classical Trade-off Failure Tolerance versus Storage versus Access: codeword-symbol (storage node)
Erasure Codes: Classical Trade-off Failure Tolerance versus Storage versus Access: codeword-symbol (storage node)
Erasure Codes: Recently studied trade-off Failure Tolerance versus Storage versus Access: codeword-symbol (storage node)
Erasure Codes: Recently studied trade-off Failure Tolerance versus Storage versus Access*: codeword-symbol (storage node) * Locality important in practice [Huang et. al. 2012, Sathiamoorthy et. al. 2013] * Repair bandwidth is another measure [See a survey by Datta and Oggier2013]
Trade-off between distance and rate Singleton Bound Singleton Bound
Trade-off between distance and rate Singleton Bound Singleton Bound
Trade-off between distance and rate and locality? Singleton Bound Singleton Bound
Trade-off between distance and rate and locality? [Gopalan et. al.] Singleton Bound [Gopalan et. al. 11, Papailiopoulouset. al. 12] Singleton Bound
Trade-off between distance and rate and locality? MRRW bound [Gopalan et. al.] Singleton Bound [Gopalan et. al. 11, Papailiopoulouset. al. 12] MRRW Bounds are best known locality-unaware bounds
Main Result: A New Upper bound on the price of locality MRRW bound [Gopalan et. al.] This talk! Our Bound
At least as strong as previously derived bounds. • Information theoretic (also applicable for non-linear codes )
At least as strong as previously derived bounds. • Information theoretic (also applicable for non-linear codes ) • Analytical insights from Plotkin Bound: Distance-expansion
At least as strong as previously derived bounds. • Information theoretic (also applicable for non-linear codes ) • Analytical insights from Plotkin Bound: • A bound on the capacity of a particular multicast network for a fixed alphabet (field) size. • Because of achievability of [Papailiopoulous et. al. 12] Distance-expansion
Open Question What is the largest distance achievable by a locally recoverable code, for a fixed alphabet and locality? Our Bound A naïve code A naïve code: Gallager’s LDPC ensemble seems to do better
Proof Sketch Measure Locality-induced Redundancy In the code, t(r+1) nodes that contain tr “q-its of information”, for a certain range of t Remove Locality-induced Redundancy