TH3.R8.3

One Code Fits All: Strong Stuck-at Codes for Versatile Memory Encoding

Roni Con, Technion - Israel Institute of Technology, Israel; Ryan Gabrys, University of California San Diego, United States; Eitan Yaakobi, Technion - Israel Institute of Technology, Israel

Session:
Topics in Modern Coding Theory 2

Track:
2: Modern Coding Theory

Location:
Omega

Presentation Time:
Thu, 11 Jul, 15:15 - 15:35

Session Chair:
David Mitchell,
Abstract
In this work we consider a generalization of the well-studied problem of coding for ``stuck-at'' errors, which we refer to as ``strong stuck-at'' codes. In the traditional framework of stuck-at codes, the task involves encoding a message into a one-dimensional binary vector. However, a certain number of the bits in this vector are `frozen', meaning they are fixed at a predetermined value and cannot be altered by the encoder. The decoder, aware of the proportion of frozen bits but not their specific positions, is responsible for deciphering the intended message. We consider a more challenging version of this problem where the decoder does not even know the fraction of frozen bits. We construct explicit and efficient encoding and decoding algorithms that get arbitrarily close to capacity in this scenario. Furthermore, to the best of our knowledge, our construction is the first fully explicit construction of stuck-at codes that approaches capacity. Full version available at \url{https://www.cs.tau.ac.il/~ronicon/PapersPDF/strong_stuck_at_codes.pdf}.
Resources