When Do Low-Rate Concatenated Codes Approach The Gilbert-Varshamov Bound?

Authors Dean Doron , Jonathan Mosheiff , Mary Wootters



PDF
Thumbnail PDF

File

LIPIcs.APPROX-RANDOM.2024.53.pdf
  • Filesize: 0.73 MB
  • 12 pages

Document Identifiers

Author Details

Dean Doron
  • Ben-Gurion University of the Negev, Beersheba, Israel
Jonathan Mosheiff
  • Ben-Gurion University of the Negev, Beersheba, Israel
Mary Wootters
  • Stanford University, CA, USA

Acknowledgements

We thank Amnon Ta-Shma for helpful and interesting discussions, and collaboration at the beginning of this work. We thank Arya Mazumdar for pointing out [Barg et al., 2001] and for helping us understand its implications. This work was done partly while the authors were visiting the Simons Institute for the Theory of Computing.

Cite AsGet BibTex

Dean Doron, Jonathan Mosheiff, and Mary Wootters. When Do Low-Rate Concatenated Codes Approach The Gilbert-Varshamov Bound?. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 317, pp. 53:1-53:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2024.53

Abstract

The Gilbert-Varshamov (GV) bound is a classical existential result in coding theory. It implies that a random linear binary code of rate ε² has relative distance at least 1/2 - O(ε) with high probability. However, it is a major challenge to construct explicit codes with similar parameters. One hope to derandomize the Gilbert-Varshamov construction is with code concatenation: We begin with a (hopefully explicit) outer code 𝒞_out over a large alphabet, and concatenate that with a small binary random linear code 𝒞_in. It is known that when we use independent small codes for each coordinate, then the result lies on the GV bound with high probability, but this still uses a lot of randomness. In this paper, we consider the question of whether code concatenation with a single random linear inner code 𝒞_in can lie on the GV bound; and if so what conditions on 𝒞_out are sufficient for this. We show that first, there do exist linear outer codes 𝒞_out that are "good" for concatenation in this sense (in fact, most linear codes codes are good). We also provide two sufficient conditions for 𝒞_out, so that if 𝒞_out satisfies these, 𝒞_out∘𝒞_in will likely lie on the GV bound. We hope that these conditions may inspire future work towards constructing explicit codes 𝒞_out.

Subject Classification

ACM Subject Classification
  • Theory of computation → Error-correcting codes
Keywords
  • Error-correcting codes
  • Concatenated codes
  • Derandomization
  • Gilbert-Varshamov bound

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Vedat Levi Alev, Fernando Granha Jeronimo, Dylan Quintana, Shashank Srivastava, and Madhur Tulsiani. List decoding of direct sum codes. In Proceedings of the 31st Symposium on Discrete Algorithms (SODA 2020), pages 1412-1425. ACM-SIAM, 2020. Google Scholar
  2. Noga Alon, Jehoshua Bruck, Joseph Naor, Moni Naor, and Ron M. Roth. Construction of asymptotically good low-rate error-correcting codes through pseudo-random graphs. Information Theory, IEEE Transactions on, 38(2):509-516, 1992. Google Scholar
  3. Noga Alon, Oded Goldreich, Johan Håstad, and René Peralta. Simple constructions of almost k-wise independent random variables. Random Structures & Algorithms, 3(3):289-304, 1992. Google Scholar
  4. Alexander Barg, Jørn Justesen, and Christian Thommesen. Concatenated codes with fixed inner code and random outer code. IEEE Transactions on Information Theory, 47(1):361-365, 2001. Google Scholar
  5. Alexander Barg and Arya Mazumdar. Small ensembles of sampling matrices constructed from coding theory. In 2010 IEEE International Symposium on Information Theory, pages 1963-1967. IEEE, 2010. Google Scholar
  6. Avraham Ben-Aroya and Amnon Ta-Shma. Constructing small-bias sets from algebraic-geometric codes. Theory of Computing, 9(5):253-272, 2013. Google Scholar
  7. Guy Blanc and Dean Doron. New near-linear time decodable codes closer to the GV bound. In Proceedings of the 37th Computational Complexity Conference (CCC 2022). Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022. Google Scholar
  8. È L Blokh and Victor Vasilievich Zyablov. Existence of linear concatenated binary codes with optimal correcting properties. Problemy Peredachi Informatsii, 9(4):3-10, 1973. Google Scholar
  9. G. David Forney. Concatenated codes. Technical Report 440, Research Laboratory of Electronics, MIT, 1965. Google Scholar
  10. Venkatesan Guruswami and Piotr Indyk. Efficiently decodable codes meeting gilbert-varshamov bound for low rates. In Proceedings of the 15th Symposium on Discrete Algorithms (SODA 2004), pages 756-757. ACM-SIAM, 2004. Google Scholar
  11. Venkatesan Guruswami and Piotr Indyk. Linear-time encodable/decodable codes with near-optimal rate. IEEE Transactions on Information Theory, 51(10):3393-3400, 2005. Google Scholar
  12. Venkatesan Guruswami and Jonathan Mosheiff. Punctured Low-Bias Codes Behave Like Random Linear Codes. In Proceedings of the 63rd Annual Symposium on Foundations of Computer Science (FOCS 2022), pages 36-45. IEEE, 2022. Google Scholar
  13. Venkatesan Guruswami and Atri Rudra. The existence of concatenated codes list-decodable up to the hamming bound. IEEE Transactions on information theory, 56(10):5195-5206, 2010. Google Scholar
  14. Venkatesan Guruswami, Atri Rudra, and Madhu Sudan. Essential coding theory. URL: http://www.cse.buffalo.edu/faculty/atri/courses/coding-theory/book.
  15. Brett Hemenway, Noga Ron-Zewi, and Mary Wootters. Local list recovery of high-rate tensor codes and applications. SIAM Journal on Computing, pages FOCS17-157, 2019. Google Scholar
  16. Fernando Granha Jeronimo, Dylan Quintana, Shashank Srivastava, and Madhur Tulsiani. Unique decoding of explicit ε-balanced codes near the Gilbert-Varshamov bound. In Proceedings of the 61st Annual Symposium on Foundations of Computer Science (FOCS 2020), pages 434-445. IEEE, 2020. Google Scholar
  17. Fernando Granha Jeronimo, Shashank Srivastava, and Madhur Tulsiani. Near-linear time decoding of Ta-Shma’s codes via splittable regularity. In Proceedings of the 53rdth Annual Symposium on Theory of Computing (STOC 2021), pages 1527-1536. ACM, 2021. Google Scholar
  18. Fernando Granha Jeronimo, Shashank Srivastava, and Madhur Tulsiani. List decoding of tanner and expander amplified codes from distance certificates. In Proceedings of the 64th Annual Symposium on Foundations of Computer Science (FOCS 2023), pages 1682-1693. IEEE, 2023. Google Scholar
  19. Jørn Justesen. Class of constructive asymptotically good algebraic codes. IEEE Transactions on Information Theory, 18(5):652-656, 1972. Google Scholar
  20. Ralf Koetter and Alexander Vardy. Algebraic soft-decision decoding of reed-solomon codes. IEEE Transactions on Information Theory, 49(11):2809-2825, 2003. Google Scholar
  21. Swastik Kopparty, Nicolas Resch, Noga Ron-Zewi, Shubhangi Saraf, and Shashwat Silas. On list recovery of high-rate tensor codes. IEEE Transactions on Information Theory, 67(1):296-316, 2020. Google Scholar
  22. James L. Massey. Threshold decoding. Technical Report 410, Research Laboratory of Electronics, MIT, 1963. Google Scholar
  23. Jonathan Mosheiff, Nicolas Resch, Kuo Shang, and Chen Yuan. Randomness-efficient constructions of capacity-achieving list-decodable codes. arXiv preprint, 2024. Google Scholar
  24. Joseph Naor and Moni Naor. Small-bias probability spaces: Efficient constructions and applications. SIAM Journal on Computing, 22(4):838-856, 1993. Google Scholar
  25. Aaron (Louie) Putterman and Edward Pyne. Pseudorandom Linear Codes Are List-Decodable to Capacity. In Proceedings of the 15th Innovations in Theoretical Computer Science Conference (ITCS 2024), pages 90:1-90:21. Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2024. Google Scholar
  26. Silas Richelson and Sourya Roy. Gilbert and Varshamov meet Johnson: List-decoding explicit nearly-optimal binary codes. In Proceedings of the 64th Annual Symposium on Foundations of Computer Science (FOCS 2023), pages 194-205. IEEE, 2023. Google Scholar
  27. Atri Rudra. List decoding and property testing of error-correcting codes. University of Washington, 2007. Google Scholar
  28. Amnon Ta-Shma. Explicit, almost optimal, ε-balanced codes. In Proceedings of the 49th Annual Symposium on Theory of Computing (STOC 2017), pages 238-251. ACM, 2017. Google Scholar
  29. Christian Thommesen. The existence of binary linear concatenated codes with Reed-Solomon outer codes which asymptotically meet the Gilbert-Varshamov bound. IEEE Transactions on Information Theory, 29(6):850-853, 1983. Google Scholar
  30. Rom Rubenovich Varshamov. Estimate of the number of signals in error correcting codes. Docklady Akad. Nauk, SSSR, 117:739-741, 1957. Google Scholar
  31. Victor Vasilievich Zyablov. An estimate of the complexity of constructing binary linear cascade codes. Problemy Peredachi Informatsii, 7(1):5-13, 1971. Google Scholar
  32. Victor Vasilievich Zyablov. An estimate of the complexity of constructing binary linear cascade codes. Problemy Peredachi Informatsii, 7(1):5-13, 1971. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail