Algorithms for Noisy Broadcast under Erasures

The noisy broadcast model was first studied in [Gallager, TranInf'88] where an $n$-character input is distributed among $n$ processors, so that each processor receives one input bit. Computation proceeds in rounds, where in each round each processor broadcasts a single character, and each reception is corrupted independently at random with some probability $p$. [Gallager, TranInf'88] gave an algorithm for all processors to learn the input in $O(\log\log n)$ rounds with high probability. Later, a matching lower bound of $\Omega(\log\log n)$ was given in [Goyal, Kindler, Saks; SICOMP'08]. We study a relaxed version of this model where each reception is erased and replaced with a `?' independently with probability $p$. In this relaxed model, we break past the lower bound of [Goyal, Kindler, Saks; SICOMP'08] and obtain an $O(\log^* n)$-round algorithm for all processors to learn the input with high probability. We also show an $O(1)$-round algorithm for the same problem when the alphabet size is $\Omega(\mathrm{poly}(n))$.

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

[2]  Klim Efremenko,et al.  Interactive coding over the noisy broadcast channel , 2018, Electron. Colloquium Comput. Complex..

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

[4]  Noga Alon,et al.  Reliable communication over highly connected noisy networks , 2016, Distributed Computing.

[5]  Mark Braverman,et al.  Constant-Rate Coding for Multiparty Interactive Communication Is Impossible , 2017, J. ACM.

[6]  Fabian Kuhn,et al.  On the power of the congested clique model , 2014, PODC.

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

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

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

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

[11]  Ivan Rapaport,et al.  Brief Announcement: A Hierarchy of Congested Clique Models, from Broadcast to Unicast , 2015, PODC.

[12]  Eli Upfal,et al.  Computing with Noisy Information , 1994, SIAM J. Comput..

[13]  Christoph Lenzen,et al.  Algebraic methods in the congested clique , 2015, Distributed Computing.

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

[15]  Pedro Montealegre-Barba,et al.  Brief Announcement: Deterministic Graph Connectivity in the Broadcast Congested Clique , 2016, PODC.

[16]  Tomasz Jurdzinski,et al.  MSF and Connectivity in Limited Variants of the Congested Clique , 2017, ArXiv.