Towards Efficient Designs for In-network Computing with Noisy Wireless Channels

In this paper we study distributed function computation in a noisy multi-hop wireless network, in which $n$ nodes are uniformly and independently distributed in a unit square. We adopt the adversarial noise model, for which independent binary symmetric channels are assumed for any point-to-point transmissions, with (not necessarily identical) crossover probabilities bounded above by some constant ε. Each node holds an m-bit integer per instance and the computation is started after each node collects N readings. The goal is to compute a global function with a certain fault tolerance, in this distributed setting; we mainly deal with divisible functions, which essentially covers the main body of interest for wireless applications. We focus on protocol designs that are efficient in terms of communication complexity. We first devise a general protocol for evaluating any divisible functions, addressing both one-shot (N = O(1)) and block computation, and both constant and large $m$ scenarios; its bottleneck in different scenarios is also analyzed. Based on this analysis, we then endeavor to improve the design for two special cases: identity function, and some restricted type-threshold functions, both focusing on the constant m and N scenario.

[1]  Sanjay Shakkottai,et al.  Scaling Bounds for Function Computation over Large Networks , 2007, 2007 IEEE International Symposium on Information Theory.

[2]  Leonard J. Schulman,et al.  A coding theorem for distributed computation , 1994, STOC '94.

[3]  Jacobus H. van Lint,et al.  Introduction to Coding Theory , 1982 .

[4]  Ilan Newman Computing in fault tolerance broadcast networks , 2004 .

[5]  Panganamala Ramana Kumar,et al.  Computing and communicating functions over sensor networks , 2005, IEEE Journal on Selected Areas in Communications.

[6]  Panganamala Ramana Kumar,et al.  The Number of Neighbors Needed for Connectivity of Wireless Networks , 2004, Wirel. Networks.

[7]  Panganamala Ramana Kumar,et al.  Scaling Laws for Ad Hoc Wireless Networks: An Information Theoretic Approach , 2006, Found. Trends Netw..

[8]  Robert G. Gallager,et al.  Finding parity in a simple broadcast network , 1988, IEEE Trans. Inf. Theory.

[9]  J. H. van Lint,et al.  Introduction to Coding Theory , 1982 .

[10]  Guy Kindler,et al.  Lower Bounds for the Noisy Broadcast Problem , 2008, SIAM J. Comput..

[11]  R. Srikant,et al.  Distributed Symmetric Function Computation in Noisy Wireless Sensor Networks , 2007, IEEE Transactions on Information Theory.

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

[13]  Yashodhan Kanoria,et al.  On Distributed Computation in Noisy Random Planar Networks , 2007, 2007 IEEE International Symposium on Information Theory.

[14]  Huaiyu Dai,et al.  Finding the K largest metrics in a noisy broadcast network , 2008, 2008 46th Annual Allerton Conference on Communication, Control, and Computing.

[15]  Devavrat Shah,et al.  Computing separable functions via gossip , 2005, PODC '06.

[16]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[17]  W. Hoeffding Probability Inequalities for sums of Bounded Random Variables , 1963 .

[18]  Eyal Kushilevitz,et al.  Computation in noisy radio networks , 2005, SODA '98.

[19]  Panganamala Ramana Kumar,et al.  RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN , 2001 .

[20]  Piyush Gupta,et al.  Critical Power for Asymptotic Connectivity in Wireless Networks , 1999 .

[21]  N. Fisher,et al.  Probability Inequalities for Sums of Bounded Random Variables , 1994 .

[22]  A. Razborov Communication Complexity , 2011 .

[23]  Hagit Attiya,et al.  Distributed Computing: Fundamentals, Simulations and Advanced Topics , 1998 .