English

Lifting randomized query complexity to randomized communication complexity

Computational Complexity 2018-01-23 v5 Quantum Physics

Abstract

We show that for a relation f{0,1}n×Of\subseteq \{0,1\}^n\times \mathcal{O} and a function g:{0,1}m×{0,1}m{0,1}g:\{0,1\}^{m}\times \{0,1\}^{m} \rightarrow \{0,1\} (with m=O(logn)m= O(\log n)), R1/3(fgn)=Ω(R1/3(f)(log1disc(Mg)O(logn))),\mathrm{R}_{1/3}(f\circ g^n) = \Omega\left(\mathrm{R}_{1/3}(f) \cdot \left(\log\frac{1}{\mathrm{disc}(M_g)} - O(\log n)\right)\right), where fgnf\circ g^n represents the composition of ff and gng^n, MgM_g is the sign matrix for gg, disc(Mg)\mathrm{disc}(M_g) is the discrepancy of MgM_g under the uniform distribution and R1/3(f)\mathrm{R}_{1/3}(f) (R1/3(fgn)\mathrm{R}_{1/3}(f\circ g^n)) denotes the randomized query complexity of ff (randomized communication complexity of fgnf\circ g^n) with worst case error 13\frac{1}{3}. In particular, this implies that for a relation f{0,1}n×Of\subseteq \{0,1\}^n\times \mathcal{O}, R1/3(fIPmn)=Ω(R1/3(f)m),\mathrm{R}_{1/3}(f\circ \mathrm{IP}_m^n) = \Omega\left(\mathrm{R}_{1/3}(f) \cdot m\right), where IPm:{0,1}m×{0,1}m{0,1}\mathrm{IP}_m:\{0,1\}^m\times \{0,1\}^m\rightarrow \{0,1\} is the Inner Product (modulo 22) function and m=O(log(n))m= O(\log(n)).

Cite

@article{arxiv.1703.07521,
  title  = {Lifting randomized query complexity to randomized communication complexity},
  author = {Anurag Anshu and Naresh B. Goud and Rahul Jain and Srijita Kundu and Priyanka Mukhopadhyay},
  journal= {arXiv preprint arXiv:1703.07521},
  year   = {2018}
}

Comments

We withdraw this paper due to an incorrigible error in the main proof