English
Related papers

Related papers: Query-to-Communication Lifting for BPP

200 papers

We give an exponential separation between one-way quantum and classical communication complexity for a Boolean function. Earlier such a separation was known only for a relation. A very similar result was obtained earlier but independently…

Quantum Physics · Physics 2022-03-29 Dmytro Gavinsky , Julia Kempe , Ronald de Wolf

Communication complexity quantifies how difficult it is for two distant computers to evaluate a function f(X,Y), where the strings X and Y are distributed to the first and second computer respectively, under the constraint of exchanging as…

Quantum Physics · Physics 2024-07-17 Pierre Botteron , Anne Broadbent , Reda Chhaibi , Ion Nechita , Clément Pellegrini

We consider a quantum and classical version multi-party function computation problem with $n$ players, where players $2, \dots, n$ need to communicate appropriate information to player 1, so that a "generalized" inner product function with…

Quantum Physics · Physics 2024-02-06 Ruoyu Meng , Aditya Ramamoorthy

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

We prove a general lower bound on the bounded-error entanglement-assisted quantum communication complexity of Boolean functions. The bound is based on the concept that any classical or quantum protocol to evaluate a function on distributed…

Quantum Physics · Physics 2011-11-09 Ashley Montanaro , Andreas Winter

Let $f: \{0,1\}^n \to \{0, 1\}$ be a boolean function, and let $f_\land (x, y) = f(x \land y)$ denote the AND-function of $f$, where $x \land y$ denotes bit-wise AND. We study the deterministic communication complexity of $f_\land$ and show…

Computational Complexity · Computer Science 2020-10-23 Alexander Knop , Shachar Lovett , Sam McGuire , Weiqiang Yuan

Suppose we have randomized decision trees for an outer function $f$ and an inner function $g$. The natural approach for obtaining a randomized decision tree for the composed function $(f\circ g^n)(x^1,\ldots,x^n)=f(g(x^1),\ldots,g(x^n))$…

Computational Complexity · Computer Science 2020-06-22 Shalev Ben-David , Mika Göös , Robin Kothari , Thomas Watson

We show that the deterministic decision tree complexity of a (partial) function or relation $f$ lifts to the deterministic parity decision tree (PDT) size complexity of the composed function/relation $f \circ g$ as long as the gadget $g$…

Computational Complexity · Computer Science 2023-10-19 Arkadev Chattopadhyay , Nikhil S. Mande , Swagato Sanyal , Suhail Sherif

We define a quantum model for multiparty communication complexity and prove a simulation theorem between the classical and quantum models. As a result of our simulation, we show that if the quantum k-party communication complexity of a…

Quantum Physics · Physics 2007-05-23 Iordanis Kerenidis

Let $\R(\cdot)$ stand for the bounded-error randomized query complexity. We show that for any relation $f \subseteq \{0,1\}^n \times \mathcal{S}$ and partial Boolean function $g \subseteq \{0,1\}^n \times \{0,1\}$, $\R_{1/3}(f \circ g^n) =…

Computational Complexity · Computer Science 2018-01-11 Swagato Sanyal

We introduce a simple model illustrating the role of context in communication and the challenge posed by uncertainty of knowledge of context. We consider a variant of distributional communication complexity where Alice gets some information…

Computational Complexity · Computer Science 2015-07-21 Badih Ghazi , Ilan Komargodski , Pravesh Kothari , Madhu Sudan

We prove new lower bounds for bounded error quantum communication complexity. Our methods are based on the Fourier transform of the considered functions. First we generalize a method for proving classical communication complexity lower…

Quantum Physics · Physics 2007-05-23 Hartmut Klauck

We survey lower-bound results in complexity theory that have been obtained via newfound interconnections between propositional proof complexity, boolean circuit complexity, and query/communication complexity. We advocate for the theory of…

Computational Complexity · Computer Science 2022-02-21 Susanna F. de Rezende , Mika Göös , Robert Robere

Boolean function $F(x,y)$ for $x,y \in \{0,1\}^n$ is an XOR function if $F(x,y)=f(x\oplus y)$ for some function $f$ on $n$ input bits, where $\oplus$ is a bit-wise XOR. XOR functions are relevant in communication complexity, partially for…

Computational Complexity · Computer Science 2024-06-04 Vladimir V. Podolskii , Dmitrii Sluch

We relate the computational complexity of finite strings to universal representations of their underlying symmetries. First, Boolean functions are classified using the universal covering topologies of the circuits which enumerate them. A…

Information Theory · Computer Science 2011-09-20 John Scoville

The communication complexity of a quantum channel is the minimal amount of classical communication required for classically simulating the process of preparation, transmission through the channel, and subsequent measurement of a quantum…

Quantum Physics · Physics 2013-12-24 A. Montina , M. Pfaffhauser , S. Wolf

In this paper, we show a direct product theorm in the model of two-party bounded-round public-coin randomized communication complexity. For a relation f subset of X times Y times Z (X,Y,Z are finite sets), let R^{(t), pub}_e (f) denote the…

Computational Complexity · Computer Science 2012-01-10 Rahul Jain , Attila Pereszlenyi , Penghui Yao

We describe new lower bounds for randomized communication complexity and query complexity which we call the partition bounds. They are expressed as the optimum value of linear programs. For communication complexity we show that the…

Computational Complexity · Computer Science 2009-11-19 Rahul Jain , Hartmut Klauck

Since the seminal work of Paturi and Simon \cite[FOCS'84 & JCSS'86]{PS86}, the unbounded-error classical communication complexity of a Boolean function has been studied based on the arrangement of points and hyperplanes. Recently,…

Quantum Physics · Physics 2016-05-24 Kazuo Iwama , Harumichi Nishimura , Rudy Raymond , Shigeru Yamashita

We present a linear program for the one-way version of the partition bound (denoted $\mathsf{prt}^1_\varepsilon(f)$). We show that it characterizes one-way randomized communication complexity $\mathsf{R}_\varepsilon^1(f)$ with shared…

Computational Complexity · Computer Science 2023-02-22 Srinivasan Arunachalam , João F. Doriguello , Rahul Jain