Document Open Access Logo

Better Boosting of Communication Oracles, or Not

Authors Nathaniel Harms , Artur Riazanov

PDF
Thumbnail PDF

File

LIPIcs.FSTTCS.2024.25.pdf
  • Filesize: 0.79 MB
  • 14 pages

Document Identifiers

Author Details

Nathaniel Harms
  • EPFL, Lausanne, Switzerland
Artur Riazanov
  • EPFL, Lausanne, Switzerland

Funding

  • Harms, Nathaniel: Supported by an NSERC postdoctoral fellowship and the Swiss State Secretariat for Education, Research, and Innovation (SERI) under contract number MB22.00026.
  • Riazanov, Artur: Supported by the Swiss State Secretariat for Education, Research, and Innovation (SERI) under contract number MB22.00026.

Cite As Get BibTex

Nathaniel Harms and Artur Riazanov. Better Boosting of Communication Oracles, or Not. In 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 323, pp. 25:1-25:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/LIPIcs.FSTTCS.2024.25

Abstract

Suppose we have a two-party communication protocol for f which allows the parties to make queries to an oracle computing g; 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 g. If q queries are made, the standard technique requires that we boost the error of each subroutine down to O(1/q), leading to communication complexity which grows as q log q. For which oracles g can this naïve boosting technique be improved?
We focus on the oracles which can be computed by constant-cost randomized protocols, and show that the naïve 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 k independent copies grows superlinear in k, 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).

Subject Classification

ACM Subject Classification
  • Theory of computation → Communication complexity
Keywords
  • oracles
  • error reduction
  • communication complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. Boaz Barak, Mark Braverman, Xi Chen, and Anup Rao. How to compress interactive communication. SIAM Journal on Computing, 42(3):1327-1363, 2013. URL: https://doi.org/10.1137/100811969.
  2. Shalev Ben-David, Mika Göös, Robin Kothari, and Thomas Watson. When is amplification necessary for composition in randomized query complexity? In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2020). Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2020. Google Scholar
  3. Eric Blais and Joshua Brody. Optimal separation and strong direct sum for randomized query complexity. In 34th Computational Complexity Conference (CCC 2019). Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2019. Google Scholar
  4. Arkadev Chattopadhyay, Ankit Garg, and Suhail Sherif. Towards stronger counterexamples to the log-approximate-rank conjecture. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021. Google Scholar
  5. Arkadev Chattopadhyay, Shachar Lovett, and Marc Vinyals. Equality alone does not simulate randomness. In 34th Computational Complexity Conference (CCC 2019). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. Google Scholar
  6. Louis Esperet, Nathaniel Harms, and Andrey Kupavskii. Sketching distances in monotone graph classes. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. Google Scholar
  7. Yuting Fang, Mika Göös, Nathaniel Harms, and Pooya Hatami. Constant-cost communication does not reduce to k-hamming distance, 2024. URL: https://arxiv.org/abs/2407.20204.
  8. Yuting Fang, Lianna Hambardzumyan, Nathaniel Harms, and Pooya Hatami. No complete problem for constant-cost randomized communication. In Proceedings of the Symposium on Theory of Computing (STOC 2024), 2024. Google Scholar
  9. Tomás Feder, Eyal Kushilevitz, Moni Naor, and Noam Nisan. Amortized communication complexity. SIAM Journal on computing, 24(4):736-750, 1995. URL: https://doi.org/10.1137/S0097539792235864.
  10. Uriel Feige, Prabhakar Raghavan, David Peleg, and Eli Upfal. Computing with noisy information. SIAM Journal on Computing, 23(5):1001-1018, 1994. URL: https://doi.org/10.1137/S0097539791195877.
  11. Lianna Hambardzumyan, Hamed Hatami, and Pooya Hatami. A counter-example to the probabilistic universal graph conjecture via randomized communication complexity. Discrete Applied Mathematics, 322:117-122, 2022. URL: https://doi.org/10.1016/J.DAM.2022.07.023.
  12. Lianna Hambardzumyan, Hamed Hatami, and Pooya Hatami. Dimension-free bounds and structural results in communication complexity. Israel Journal of Mathematics, 253(2):555-616, 2022. Google Scholar
  13. Nathaniel Harms, Sebastian Wild, and Viktor Zamaraev. Randomized communication and implicit graph representations. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2022), pages 1220-1233, 2022. URL: https://doi.org/10.1145/3519935.3519978.
  14. Nathaniel Harms and Viktor Zamaraev. Randomized communication and implicit representations for matrices and graphs of small sign-rank. In Proceedings of the Symposium on Discrete Algorithms (SODA). SIAM, 2024. Google Scholar
  15. Hamed Hatami and Pooya Hatami. Guest column: Structure in communication complexity and constant-cost complexity classes. ACM SIGACT News, 55(1):67-93, 2024. URL: https://doi.org/10.1145/3654780.3654788.
  16. Hamed Hatami, Pooya Hatami, William Pires, Ran Tao, and Rosie Zhao. Lower bound methods for sign-rank and their limitations. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. Google Scholar
  17. Russell Impagliazzo and Valentine Kabanets. Constructive proofs of concentration bounds. In International Workshop on Randomization and Approximation Techniques in Computer Science, pages 617-631. Springer, 2010. URL: https://doi.org/10.1007/978-3-642-15369-3_46.
  18. Mauricio Karchmer, Ran Raz, and Avi Wigderson. Super-logarithmic depth lower bounds via the direct sum in communication complexity. Computational Complexity, 5:191-204, 1995. URL: https://doi.org/10.1007/BF01206317.
  19. Eyal Kushilevitz and Noam Nisan. Communication complexity. Cambridge University Press, 1996. Google Scholar
  20. Jiri Matousek. Lectures on discrete geometry, volume 212. Springer Science & Business Media, 2013. Google Scholar
  21. Noam Nisan. The communication complexity of threshold gates. Combinatorics, Paul Erdos is Eighty, 1:301-315, 1993. Google Scholar
  22. Ramamohan Paturi and Janos Simon. Probabilistic communication complexity. Journal of Computer and System Sciences, 33(1):106-123, 1986. URL: https://doi.org/10.1016/0022-0000(86)90046-2.
  23. Anup Rao and Amir Yehudayoff. Communication Complexity and Applications. Cambridge University Press, 2020. Google Scholar
  24. Mert Sağlam. Near log-convexity of measured heat in (discrete) time and consequences. In 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), pages 967-978. IEEE, 2018. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact