English

Better Boosting of Communication Oracles, or Not

Computational Complexity 2024-10-15 v2 Data Structures and Algorithms

Abstract

Suppose we have a two-party communication protocol for ff which allows the parties to make queries to an oracle computing gg; for example, they may query an Equality oracle. To translate this protocol into a randomized protocol, we must replace the oracle with a randomized subroutine for solving gg. If qq queries are made, the standard technique requires that we boost the error of each subroutine down to O(1/q)O(1/q), leading to communication complexity which grows as qlogqq \log q. For which oracles gg can this naive boosting technique be improved? We focus on the oracles which can be computed by constant-cost randomized protocols, and show that the naive boosting strategy can be improved for the Equality oracle but not the 1-Hamming Distance oracle. Two surprising consequences are (1) a new example of a problem where the cost of computing kk independent copies grows superlinear in kk, drastically simplifying the only previous example due to Blais & Brody (CCC 2019); and (2) a new proof that Equality is not complete for the class of constant-cost randomized communication (Harms, Wild, & Zamaraev, STOC 2022; Hambardzumyan, Hatami, & Hatami, Israel Journal of Mathematics 2022).

Keywords

Cite

@article{arxiv.2410.00838,
  title  = {Better Boosting of Communication Oracles, or Not},
  author = {Nathaniel Harms and Artur Riazanov},
  journal= {arXiv preprint arXiv:2410.00838},
  year   = {2024}
}