English

Communication Complexities of XOR functions

Quantum Physics 2008-08-20 v2 Computational Complexity

Abstract

We call F:{0,1}n×{0,1}n{0,1}F:\{0, 1\}^n\times \{0, 1\}^n\to\{0, 1\} a symmetric XOR function if for a function S:{0,1,...,n}{0,1}S:\{0, 1, ..., n\}\to\{0, 1\}, F(x,y)=S(xy)F(x, y)=S(|x\oplus y|), for any x,y{0,1}nx, y\in\{0, 1\}^n, where xy|x\oplus y| is the Hamming weight of the bit-wise XOR of xx and yy. We show that for any such function, (a) the deterministic communication complexity is always Θ(n)\Theta(n) except for four simple functions that have a constant complexity, and (b) up to a polylog factor, the error-bounded randomized and quantum communication complexities are Θ(r0+r1)\Theta(r_0+r_1), where r0r_0 and r1r_1 are the minimum integers such that r0,r1n/2r_0, r_1\leq n/2 and S(k)=S(k+2)S(k)=S(k+2) for all k[r0,nr1)k\in[r_0, n-r_1).

Cite

@article{arxiv.0808.1762,
  title  = {Communication Complexities of XOR functions},
  author = {Yaoyun Shi and Zhiqiang Zhang},
  journal= {arXiv preprint arXiv:0808.1762},
  year   = {2008}
}

Comments

9 pages

R2 v1 2026-06-21T11:09:52.459Z