English
Related papers

Related papers: Quantum Query-to-Communication Simulation Needs a …

200 papers

We show that, for almost all N-variable Boolean functions f, at least N/4-O(\sqrt{N} log N) queries are required to compute f in quantum black-box model with bounded error.

Quantum Physics · Physics 2007-05-23 Andris Ambainis

We study the relationship between various one-way communication complexity measures of a composed function with the analogous decision tree complexity of the outer function. We consider two gadgets: the AND function on 2 inputs, and the…

Computational Complexity · Computer Science 2022-01-19 Nikhil S. Mande , Swagato Sanyal , Suhail Sherif

We show lower bounds of $\Omega(\sqrt{n})$ and $\Omega(n^{1/4})$ on the randomized and quantum communication complexity, respectively, of all $n$-variable read-once Boolean formulas. Our results complement the recent lower bound of…

Computational Complexity · Computer Science 2009-09-01 Rahul Jain , Hartmut Klauck , Shengyu Zhang

We establish a lower bound of $\Omega{(\sqrt{n})}$ on the bounded-error quantum query complexity of read-once Boolean functions, providing evidence for the conjecture that $\Omega(\sqrt{D(f)})$ is a lower bound for all Boolean functions.…

Quantum Physics · Physics 2007-05-23 Howard Barnum , Michael Saks

We establish two results regarding the query complexity of bounded-error randomized algorithms. * Bounded-error separation theorem. There exists a total function $f : \{0,1\}^n \to \{0,1\}$ whose $\epsilon$-error randomized query complexity…

Computational Complexity · Computer Science 2019-08-06 Eric Blais , Joshua Brody

Let the randomized query complexity of a relation for error probability $\epsilon$ be denoted by $R_\epsilon(\cdot)$. We prove that for any relation $f \subseteq \{0,1\}^n \times \mathcal{R}$ and Boolean function $g:\{0,1\}^m \rightarrow…

Computational Complexity · Computer Science 2017-06-15 Anurag Anshu , Dmitry Gavinsky , Rahul Jain , Srijita Kundu , Troy Lee , Priyanka Mukhopadhyay , Miklos Santha , Swagato Sanyal

We show two results about the relationship between quantum and classical messages. Our first contribution is to show how to replace a quantum message in a one-way communication protocol by a deterministic message, establishing that for all…

Quantum Physics · Physics 2014-04-17 Hartmut Klauck , Supartha Podder

Communication complexity is the amount of communication needed to compute a function when the function inputs are distributed over multiple parties. In its simplest form, one-way communication complexity, Alice and Bob compute a function…

Computational Complexity · Computer Science 2023-05-24 Naresh Goud Boddu , Rahul Jain , Han-Hsuan Lin

Given a Boolean function f, we study two natural generalizations of the certificate complexity C(f): the randomized certificate complexity RC(f) and the quantum certificate complexity QC(f). Using Ambainis' adversary method, we exactly…

Quantum Physics · Physics 2007-05-23 Scott Aaronson

Numbers-on-Forehead (NOF) communication model is a central model in communication complexity. As a restricted variant, one-way NOF model is of particular interest. Establishing strong one-way NOF lower bounds would imply circuit lower…

Quantum Physics · Physics 2026-03-25 Guangxu Yang , Jiapeng Zhang

For any $n$-bit boolean function $f$, we show that the randomized communication complexity of the composed function $f\circ g^n$, where $g$ is an index gadget, is characterized by the randomized decision tree complexity of $f$. In…

Computational Complexity · Computer Science 2017-03-23 Mika Göös , Toniann Pitassi , Thomas Watson

We give improved separations for the query complexity analogue of the log-approximate-rank conjecture i.e. we show that there are a plethora of total Boolean functions on $n$ input bits, each of which has approximate Fourier sparsity at…

Computational Complexity · Computer Science 2020-09-08 Arkadev Chattopadhyay , Ankit Garg , Suhail Sherif

We prove that, to compute a Boolean function $f$ on $N$ variables with error probability $\epsilon$, any quantum black-box algorithm has to query at least $\frac{1 - 2\sqrt{\epsilon}}{2} \rho_f N = \frac{1 - 2\sqrt{\epsilon}}{2} \bar{S}_f$…

Quantum Physics · Physics 2007-05-23 Yaoyun Shi

We explore multi-round quantum memoryless communication protocols. These are restricted version of multi-round quantum communication protocols. The "memoryless" term means that players forget history from previous rounds, and their behavior…

Computational Complexity · Computer Science 2017-10-05 Farid Ablayev , Andris Ambainis , Kamil Khadiev , AliyaKhadieva

We derive lower bounds for tradeoffs between the communication C and space S for communicating circuits. The first such bound applies to quantum circuits. If for any function f with image Z the multicolor discrepancy of the communication…

Quantum Physics · Physics 2016-09-08 Hartmut Klauck

The process of state preparation, its transmission and subsequent measurement can be classically simulated through the communication of some amount of classical information. Recently, we proved that the minimal communication cost is the…

Quantum Physics · Physics 2014-01-17 Alberto Montina , Stefan Wolf

Quantum versus classical separation plays a central role in understanding the advantages of quantum computation. In this paper, we present the first exponential separation between quantum and bounded-error randomized communication…

Quantum Physics · Physics 2025-06-23 Guangxu Yang , Jiapeng Zhang

We investigate the power of interaction in two player quantum communication protocols. Our main result is a rounds-communication hierarchy for the pointer jumping function $f_k$. We show that $f_k$ needs quantum communication $\Omega(n)$ if…

Quantum Physics · Physics 2007-05-23 Hartmut Klauck

In this paper, we focus on the quantum communication complexity of functions of the form $f \circ G = f(G(X_1, Y_1), \ldots, G(X_n, Y_n))$ where $f: \{0, 1\}^n \to \{0, 1\}$ is a symmetric function, $G: \{0, 1\}^j \times \{0, 1\}^k \to \{0,…

Quantum Physics · Physics 2023-01-10 Daiki Suruga

In 1986, Saks and Wigderson conjectured that the largest separation between deterministic and zero-error randomized query complexity for a total boolean function is given by the function $f$ on $n=2^k$ bits defined by a complete binary tree…

Computational Complexity · Computer Science 2015-10-27 Andris Ambainis , Kaspars Balodis , Aleksandrs Belovs , Troy Lee , Miklos Santha , Juris Smotrovs