Protocols for Asymmetric Communication Channels

In this paper we examine the problem of sending an n-bit data item from a client to a server across an asymmetric communication channel. We demonstrate that there are scenarios in which a high-speed link from the server to the client can be used to greatly reduce the number of bits sent from the client to the server across a slower link. In particular, we assume that the data item is drawn from a probability distribution D that is known to the server but not to the client. We present several protocols in which the expected number of bits transmitted by the server and client are O(n) and O(H(D)+1), respectively, where H(D) is the binary entropy of D (and can range from 0 to n). These protocols are within a small constant factor of optimal in terms of the number of bits sent by the client. The expected number of rounds of communication between the server and client in the simplest of our protocols is O(H(D)). We also give a protocol for which the expected number of rounds is only O(1), but which requires more computational effort on the part of the server. A third technique provides a tradeoff between the computational effort and the number of rounds. These protocols are complemented by several lower bounds and impossibility results. We prove that all of our protocols are existentially optimal in terms of the number of bits sent by the server, i.e., there are distributions for which the total number of bits exchanged has to be at least n. In addition, we show that there is no protocol that is optimal for every distribution (as opposed to just existentially optimal) in terms of bits sent by the server. We demonstrate this by proving that it is undecidable to compute (even approximately), for an arbitrary distribution D, the expected number of bits that must be exchanged by the server and client on the distribution D.

[1]  Alon Orlitsky,et al.  Average-case interactive communication , 1992, IEEE Trans. Inf. Theory.

[2]  R. A. McDonald,et al.  Noiseless Coding of Correlated Information Sources , 1973 .

[3]  E. Kushilevitz,et al.  Communication Complexity: Basics , 1996 .

[4]  Bruce M. Maggs,et al.  Protocols for asymmetric communication channels , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[5]  Alex Hills,et al.  Wireless Data Network Infrastructure at Carnegie Mellon University , 1996 .

[6]  Amiel Feinstein,et al.  Transmission of Information. , 1962 .

[7]  Randy H. Katz,et al.  The effects of asymmetry on TCP performance , 1997, MobiCom '97.

[8]  Larry Carter,et al.  Universal Classes of Hash Functions , 1979, J. Comput. Syst. Sci..

[9]  Alon Orlitsky,et al.  Interactive communication: balanced distributions, correlated files, and average-case complexity , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[10]  A. Izenman Review Papers: Recent Developments in Nonparametric Density Estimation , 1991 .

[11]  K. K. Ramakrishnan,et al.  Improving TCP throughput over two-way asymmetric links: analysis and solutions , 1998, SIGMETRICS '98/PERFORMANCE '98.

[12]  Peter Bro Miltersen,et al.  On data structures and asymmetric communication complexity , 1994, STOC '95.

[13]  Alon Orlitsky Interactive Communication of Balanced Distributions and of Correlated Files , 1993, SIAM J. Discret. Math..

[14]  Jan van Leeuwen,et al.  Handbook Of Theoretical Computer Science, Vol. A , 1990 .

[15]  Alon Orlitsky,et al.  Worst-case interactive communication - II: Two messages are not optimal , 1991, IEEE Trans. Inf. Theory.

[16]  A. Izenman Recent Developments in Nonparametric Density Estimation , 1991 .

[17]  Alon Orlitsky,et al.  Worst-case interactive communication I: Two messages are almost optimal , 1990, IEEE Trans. Inf. Theory.

[18]  Alon Orlitsky,et al.  Interactive Data Comparison , 1984, FOCS.

[19]  Randy H. Katz,et al.  The effects of asymmetry on TCP performance , 1999, Mob. Networks Appl..

[20]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[21]  Faith Ellen,et al.  New Protocols for Asymmetric Communication Channels , 2001, SIROCCO.

[22]  Peter Bro Miltersen Lower bounds for union-split-find related problems on random access machines , 1994, STOC '94.

[23]  David A. Huffman,et al.  A method for the construction of minimum-redundancy codes , 1952, Proceedings of the IRE.

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

[25]  Moni Naor,et al.  Three results on interactive communication , 1993, IEEE Trans. Inf. Theory.

[26]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[27]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[28]  Mill Johannes G.A. Van,et al.  Transmission Of Information , 1961 .

[29]  Ming Li,et al.  Kolmogorov Complexity and its Applications , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.