Towards deterministic tree code constructions

We present a deterministic operator on tree codes -- we call tree code product -- that allows one to deterministically combine two tree codes into a larger tree code. Moreover, if the original tree codes are efficiently encodable and decodable, then so is their product. This allows us to give the first deterministic subexponential-time construction of explicit tree codes: we are able to construct a tree code <i>T</i> of size <i>n</i> in time 2<sup><i>n</i><sup>ε,</sup></sup>. Moreover, <i>T</i> is also encodable and decodable in time 2<sup><i>n</i><sup>ε,</sup></sup>. We then apply our new construction to obtain a deterministic constant-rate error-correcting scheme for interactive computation over a noisy channel with random errors. If the length of the interactive computation is <i>n</i>, the amount of computation required is deterministically bounded by <i>n</i><sup>1+<i>o</i>(1)</sup>, and the probability of failure is <i>n</i><sup>-ω(1)</sup>.

[1]  Amit Sahai,et al.  Efficient Coding for Interactive Communication , 2014, IEEE Transactions on Information Theory.

[2]  Leonard J. Schulman Coding for interactive communication , 1996, IEEE Trans. Inf. Theory.

[3]  Jørn Justesen,et al.  Class of constructive asymptotically good algebraic codes , 1972, IEEE Trans. Inf. Theory.

[4]  Amit Sahai,et al.  Potent Tree Codes and their applications: Coding for Interactive Communication, revisited , 2011, ArXiv.

[5]  Avi Wigderson,et al.  Entropy waves, the zig-zag graph product, and new constant-degree expanders and extractors , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[6]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[7]  Mark Braverman,et al.  Toward Coding for Maximum Errors in Interactive Communication , 2011, IEEE Transactions on Information Theory.

[8]  D. Spielman,et al.  Expander codes , 1996 .