Towards Optimal Deterministic Coding for Interactive Communication

We study efficient, deterministic interactive coding schemes that simulate any interactive protocol both under random and adversarial errors, and can achieve a constant communication rate independent of the protocol length. For channels that flip bits independently with probability e For channels in which an adversary controls the noise pattern our coding scheme can tolerate Ω(1/log n) fraction of errors with rate approaching 1. Once more, all previously known nontrivial deterministic schemes (either efficient or not) in the adversarial setting had a rate bounded away from 1, and no nontrivial efficient deterministic coding schemes were known with any constant rate. Essential to both results is an explicit, efficiently encodable and decodable systematic tree code of length n that has relative distance Ω(1/log n) and rate approaching 1, defined over an O(log n)-bit alphabet. No nontrivial tree code (either efficient or not) was known to approach rate 1, and no nontrivial distance bound was known for any efficient constant rate tree code. The fact that our tree code is systematic, turns out to play an important role in obtaining rate 1 - O([EQUATION]) in the random error model, and approaching rate 1 in the adversarial error model.

[1]  Moni Naor,et al.  Small-Bias Probability Spaces: Efficient Constructions and Applications , 1993, SIAM J. Comput..

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

[3]  Rafail Ostrovsky,et al.  Optimal Coding for Streaming Authentication and Interactive Communication , 2015, IEEE Transactions on Information Theory.

[4]  Richard W. Hamming,et al.  Error detecting and error correcting codes , 1950 .

[5]  Ran Raz,et al.  Interactive channel capacity , 2013, STOC '13.

[6]  Andrew Chi-Chih Yao,et al.  Some complexity questions related to distributive computing(Preliminary Report) , 1979, STOC.

[7]  Uriel Feige,et al.  Finding OR in a noisy broadcast network , 2000, Inf. Process. Lett..

[8]  Bernhard Haeupler,et al.  Optimal Error Rates for Interactive Coding II: Efficiency and List Decoding , 2013, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

[9]  Madhu Sudan,et al.  Optimal error rates for interactive coding I: adaptivity and other settings , 2013, STOC.

[10]  Yael Tauman Kalai,et al.  Fast Interactive Coding against Adversarial Noise , 2014, JACM.

[11]  Amit Sahai,et al.  Adaptive protocols for interactive communication , 2013, 2016 IEEE International Symposium on Information Theory (ISIT).

[12]  G. David Forney,et al.  Concatenated codes , 2009, Scholarpedia.

[13]  E. Gilbert A comparison of signalling alphabets , 1952 .

[14]  Mark Braverman,et al.  Coding for Interactive Communication Correcting Insertions and Deletions , 2017, IEEE Transactions on Information Theory.

[15]  Noga Alon,et al.  Simple Construction of Almost k-wise Independent Random Variables , 1992, Random Struct. Algorithms.

[16]  Bernhard Haeupler,et al.  Interactive Channel Capacity Revisited , 2014, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

[17]  Mark Braverman,et al.  List and Unique Coding for Interactive Communication in the Presence of Adversarial Noise , 2014, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

[18]  I. Reed,et al.  Polynomial Codes Over Certain Finite Fields , 1960 .

[19]  M. Chiani Error Detecting and Error Correcting Codes , 2012 .

[20]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[21]  Leonard J. Schulman,et al.  Communication on noisy channels: a coding theorem for computation , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[22]  Leonard J. Schulman,et al.  Deterministic coding for interactive communication , 1993, STOC.

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

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

[25]  Claude E. Shannon,et al.  The mathematical theory of communication , 1950 .

[26]  Ran Gelles,et al.  Coding for Interactive Communication: A Survey , 2017, Found. Trends Theor. Comput. Sci..

[27]  Mark Braverman,et al.  Towards deterministic tree code constructions , 2012, ITCS '12.