Communication Complexities of XOR functions

dc.creatorShi, Yaoyun
dc.creatorZhang, Zhiqiang
dc.date2008-08-13
dc.date2008-08-20
dc.date.accessioned2026-07-07T09:57:16Z
dc.date.available2026-07-07T09:57:16Z
dc.descriptionWe call $F:\{0, 1\}^n\times \{0, 1\}^n\to\{0, 1\}$ a symmetric XOR function if for a function $S:\{0, 1, ..., n\}\to\{0, 1\}$, $F(x, y)=S(|x\oplus y|)$, for any $x, y\in\{0, 1\}^n$, where $|x\oplus y|$ is the Hamming 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 simple functions that have a constant complexity, and (b) up to a polylog factor, the error-bounded randomized and quantum communication complexities are $Θ(r_0+r_1)$, where $r_0$ and $r_1$ are the minimum integers such that $r_0, r_1\leq n/2$ and $S(k)=S(k+2)$ for all $k\in[r_0, n-r_1)$.
dc.description9 pages
dc.identifierhttps://arxiv.org/abs/0808.1762
dc.identifierhttp://arxiv.org/abs/0808.1762
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/167281
dc.subjectQuantum Physics
dc.subjectComputational Complexity
dc.titleCommunication Complexities of XOR functions
dc.typetext

Files

Collections