ABSTRACT
Since they were first introduced by Schulman (STOC 1993), the construction of tree codes remained an elusive open problem. The state-of-the-art construction by Cohen, Haeupler and Schulman (STOC 2018) has constant distance and (logn)e colors for some constant e > 1 that depends on the distance, where n is the depth of the tree. Insisting on a constant number of colors at the expense of having vanishing distance, Gelles, Haeupler, Kol, Ron-Zewi, and Wigderson (SODA 2016) constructed a distance Ω(1/logn) tree code.
In this work we improve upon these prior works and construct a distance-δ tree code with (logn)O(√δ) colors. This is the first construction of a constant distance tree code with sub-logarithmic number of colors. Moreover, as a direct corollary we obtain a tree code with a constant number of colors and distance Ω(1/(loglogn)2), exponentially improving upon the above-mentioned work by Gelles et al.
- Inbar Ben Yaacov, Gil Cohen, and Anand Kumar Narayanan. 2021. Candidate Tree Codes via Pascal Determinant Cubes. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021). 207, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 54:1–54:22. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.54 Google ScholarCross Ref
- Siddharth Bhandari and Prahladh Harsha. 2020. A note on the explicit constructions of tree codes over polylogarithmic-sized alphabet. arXiv preprint arXiv:2002.08231.Google Scholar
- Mark Braverman. 2012. Towards deterministic tree code constructions. In Proceedings of the 3rd Innovations in Theoretical Computer Science Conference. ACM, New York, 161–167. https://doi.org/10.1145/2090236.2090250 Google ScholarDigital Library
- Gil Cohen, Bernhard Haeupler, and Leonard J. Schulman. 2018. Explicit binary tree codes with polylogarithmic size alphabet. In STOC’18—Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. ACM, New York, 535–544. https://doi.org/10.1145/3188745.3188928 Google ScholarDigital Library
- Gil Cohen and Shahar Samocha. 2020. Palette-Alternating Tree Codes. In The 35th Computational Complexity Conference (CCC 2020). https://doi.org/10.4230/LIPIcs.CCC.2020.11 Google ScholarDigital Library
- Ran Gelles. 2017. Coding for interactive communication: a survey. Found. Trends Theor. Comput. Sci., 13, 1-2 (2017), front matter, 1–157. issn:1551-305X https://doi.org/10.1561/0400000079 Google ScholarDigital Library
- Ran Gelles, Bernhard Haeupler, Gillat Kol, Noga Ron-Zewi, and Avi Wigderson. 2016. Towards optimal deterministic coding for interactive communication. In Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. ACM, New York, 1922–1936. https://doi.org/10.1137/1.9781611974331.ch135 Google ScholarCross Ref
- Richard W. Hamming. 1950. Error detecting and error correcting codes. Bell System Tech. J., 29 (1950), 147–160. issn:0005-8580 https://doi.org/10.1002/j.1538-7305.1950.tb00463.x Google ScholarCross Ref
- Jorn Justesen. 1972. Class of constructive asymptotically good algebraic codes. IEEE Transactions on Information Theory, 18, 5 (1972), 652–656. https://doi.org/10.1109/tit.1972.1054893 Google ScholarDigital Library
- Cristopher Moore and Leonard J. Schulman. 2014. Tree codes and a conjecture on exponential sums. In ITCS’14—Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science. ACM, New York, 145–153. https://doi.org/10.1145/2554797.2554813 Google ScholarDigital Library
- Anand Kumar Narayanan and Matthew Weidner. 2020. On decoding Cohen-Haeupler-Schulman tree codes. In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms. 1337–1356. https://doi.org/10.1137/1.9781611975994.81 Google ScholarCross Ref
- Pavel Pudlák. 2016. Linear tree codes and the problem of explicit constructions. Linear Algebra Appl., 490 (2016), 124–144. issn:0024-3795 https://doi.org/10.1016/j.laa.2015.10.030 Google ScholarCross Ref
- Leonard J. Schulman. 1993. Deterministic coding for interactive communication. In Proceedings of the 25th annual ACM Symposium on Theory of Computing. 747–756. https://doi.org/10.1145/167088.167279 Google ScholarDigital Library
- Leonard J. Schulman. 1994. Postscript of 21 September 2003 to Coding for Interactive Communication. http://users.cms.caltech.edu/~schulman/Papers/intercodingpostscript.txtGoogle Scholar
- Leonard J. Schulman. 1996. Coding for interactive communication. IEEE Trans. Inform. Theory, 42, 6, part 1 (1996), 1745–1756. issn:0018-9448 https://doi.org/10.1109/18.556671 Codes and complexity Google ScholarCross Ref
- Claude E. Shannon. 1948. A mathematical theory of communication. Bell System Tech. J., 27 (1948), 379–423, 623–656. issn:0005-8580 https://doi.org/10.1002/j.1538-7305.1948.tb01338.x Google ScholarCross Ref
- Michael Sipser and Daniel A. Spielman. 1996. Expander codes. IEEE Transactions on Information Theory, 42, 6 (1996), 1710–1722. https://doi.org/10.1109/18.556667 Google ScholarDigital Library
- Michael A. Tsfasman, Serge G. Vladut, and Thomas Zink. 1982. Modular curves, Shimura curves, and Goppa codes, better than Varshamov-Gilbert bound. Mathematische Nachrichten, 109, 1 (1982), 21–28. https://doi.org/10.1002/mana.19821090103 Google ScholarCross Ref
Index Terms
- Explicit binary tree codes with sub-logarithmic size alphabet
Recommendations
Explicit binary tree codes with polylogarithmic size alphabet
STOC 2018: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of ComputingThis paper makes progress on the problem of explicitly constructing a binary tree code with constant distance and constant alphabet size.
We give an explicit binary tree code with constant distance and alphabet size poly(logn), where n is the depth of ...
A Linear-Size Logarithmic Stretch Path-Reporting Distance Oracle for General Graphs
Thorup and Zwick [2001a] proposed a landmark distance oracle with the following properties. Given an n-vertex undirected graph G = (V, E) and a parameter k = 1, 2, …, their oracle has size O(kn1 + 1/k), and upon a query (u, v) it constructs a path Π ...
Palette-alternating tree codes
CCC '20: Proceedings of the 35th Computational Complexity ConferenceA tree code is an edge-coloring of the complete infinite binary tree such that every two nodes of equal depth have a fraction-bounded away from 0--of mismatched colors between the corresponding paths to their least common ancestor. Tree codes were ...
Comments