Lune

FOCS2024Top-tier venue

An XOR Lemma for Deterministic Communication Complexity

Siddharth Iyer, Anup Rao

2024Year
5Citations
1Top-tier citations

Abstract

We prove a lower bound on the communication complexity of computing thenn-fold xor of an arbitrary functionff, in terms of the communication complexity and rank offf. We prove thatD(f⊕n)≥n⋅(Ω(D(f))log⁡rk(t)−log⁡rk(f))D(f^{\oplus n}) \geq n\cdot(\frac{\Omega(D(f))}{\log \mathrm{r}\mathrm{k}(t)}-\log \text{rk}(f)), where hereD(f),D(f⊕n)D(f), D(f^{\oplus n})represent the deterministic communication complexity, andrk(f)\text{rk}(f)is the rank offf. Our methods involve a new way to use information theory to reason about deterministic communication complexity.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

Cited by top-tier papers1

Ask how each one uses it

Builds on2

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines