Quantum communication complexity of symmetric predicates

From MaRDI portal
Publication:4674584

DOI10.1070/IM2003V067N01ABEH000422zbMATH Open1088.68052arXivquant-ph/0204025OpenAlexW2053590396MaRDI QIDQ4674584FDOQ4674584


Authors: Alexander Razborov Edit this on Wikidata


Publication date: 17 May 2005

Published in: Izvestiya: Mathematics (Search for Journal in Brave)

Abstract: We completely (that is, up to a logarithmic factor) characterize the bounded-error quantum communication complexity of every predicate f(x,y) depending only on |xcapy| (x,ysubseteq[n]). Namely, for a predicate D on 0,1,...,n let ell0(D)dfmaxell:1leqellleqn/2landD(ell)otequivD(ell1) and ell1(D)dfmaxnell:n/2leqell<nlandD(ell)otequivD(ell+1). Then the bounded-error quantum communication complexity of fD(x,y)=D(|xcapy|) is equal (again, up to a logarithmic factor) to sqrtnell0(D)+ell1(D). In particular, the complexity of the set disjointness predicate is Omega(sqrtn). This result holds both in the model with prior entanglement and without it.


Full work available at URL: https://arxiv.org/abs/quant-ph/0204025




Recommendations





Cited In (32)





This page was built for publication: Quantum communication complexity of symmetric predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4674584)