Constant-Rate Coding for Multiparty Interactive Communication Is Impossible

被引:17
作者
Braverman, Mark [1 ]
Efremenko, Klim [2 ]
Gelles, Ran [3 ]
Haeupler, Bernhard [4 ]
机构
[1] Princeton Univ, Dept Comp Sci, 35 Olden St, Princeton, NJ 08540 USA
[2] Ben Gurion Univ Negev, Dept Comp Sci, POB 653, IL-84105 Beer Sheva, Israel
[3] Bar Ilan Univ, Fac Engn, IL-52900 Ramat Gan, Israel
[4] Carnegie Mellon Univ, Comp Sci Dept, 5000 Forbes Ave, Pittsburgh, PA 15213 USA
基金
美国国家科学基金会; 欧洲研究理事会;
关键词
Multiparty interactive communication; coding theory; star network; communication complexity; lower bounds; random noise; COMPLEXITY;
D O I
10.1145/3050218
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We study coding schemes for multiparty interactive communication over synchronous networks that suffer from stochastic noise, where each bit is independently flipped with probability epsilon. We analyze the minimal overhead that must be added by the coding scheme to succeed in performing the computation despite the noise. Our main result is a lower bound on the communication of any noise-resilient protocol over a synchronous star network with n parties (where all parties communicate in every round). Specifically, we show a task that can be solved by communicating T bits over the noise-free network, but for which any protocol with success probability of 1 - o(1) must communicate at least Omega(T log n/log log n) bits when the channels are noisy. By a 1994 result of Rajagopalan and Schulman, the slowdown we prove is the highest one can obtain on any topology, up to a log log n factor. We complete our lower bound with a matching coding scheme that achieves the same overhead; thus, the capacity of (synchronous) star networks is Theta(log log n/log n). Our bounds prove that, despite several previous coding schemes with rate Omega(1) for certain topologies, no coding scheme with constant rate Omega(1) exists for arbitrary n-party noisy networks.
引用
收藏
页数:41
相关论文
共 40 条
[1]  
Agrawal S, 2016, IEEE INT SYMP INFO, P595, DOI 10.1109/ISIT.2016.7541368
[2]   Reliable Communication over Highly Connected Noisy Networks [J].
Alon, Noga ;
Braverman, Mark ;
Efremenko, Klim ;
Gelles, Ran ;
Haeupler, Bernhard .
PROCEEDINGS OF THE 2016 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'16), 2016, :165-173
[3]   Fast Interactive Coding against Adversarial Noise [J].
Brakerski, Zvika ;
Kalai, Yael Tauman ;
Naor, Moni .
JOURNAL OF THE ACM, 2014, 61 (06) :1-30
[4]   List and Unique Coding for Interactive Communication in the Presence of Adversarial Noise [J].
Braveman, Mark ;
Efremenko, Klim .
2014 55TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2014), 2014, :236-245
[5]   Coding for Interactive Communication Correcting Insertions and Deletions [J].
Braverman, Mark ;
Gelles, Ran ;
Mao, Jieming ;
Ostrovsky, Rafail .
IEEE TRANSACTIONS ON INFORMATION THEORY, 2017, 63 (10) :6256-6270
[6]   Constant-Rate Coding for Multiparty Interactive Communication Is Impossible [J].
Braverman, Mark ;
Efremenko, Klim ;
Gelles, Ran ;
Haeupler, Bernhard .
STOC'16: PROCEEDINGS OF THE 48TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2016, :999-1010
[7]   Toward Coding for Maximum Errors in Interactive Communication [J].
Braverman, Mark ;
Rao, Anup .
IEEE TRANSACTIONS ON INFORMATION THEORY, 2014, 60 (11) :7248-7255
[8]  
Braverman Mark, 2012, Innovations in Theoretical Computer Science Conference ITCS, P161, DOI 10.1145/2090236.20902502
[9]   Topology Matters in Communication [J].
Chattopadhyay, Arkadev ;
Radhakrishnan, Jaikumar ;
Rudra, Atri .
2014 55TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2014), 2014, :631-640
[10]   Knowledge-Preserving Interactive Coding [J].
Chung, Kai-Min ;
Pass, Rafael ;
Telang, Sidharth .
2013 IEEE 54TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2013, :449-458