Communication complexities of symmetric XOR functions

  • Authors:
  • Zhiqiang Zhang;Yaoyun Shi

  • Affiliations:
  • Institute for Theoretical Computer Science and Center for Advanced Study, Tsinghua University, Beijing, P.R. China;Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI

  • Venue:
  • Quantum Information & Computation
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

Abstract

We call F : {0, 1}n × {0, 1}n → {0, 1} a symmetric XOR function if for a functionS : {0, 1, ..., n} → {0, 1}, F(x, y) = S(|x⊕y|), for any x, y ∈ {0, 1}n, where |x⊕y| is theHamming weight of the bit-wise XOR of x and y. We show that for any such function,(a) the deterministic communication complexity is always Θ(n) except for four simplefunctions that have a constant complexity, and (b) up to a polylog factor, both theerror-bounded randomized complexity and quantum communication with entanglementcomplexity are Θ(r0 + r1), where r0 and r1 are the minimum integers such that r0, r1 n/2 and S(k) = S(k + 2) for all k ∈ [r0, n - r1).