English
Related papers

Related papers: The Role of Symmetry in Quantum Query-to-Communica…

200 papers

We show that for a relation $f\subseteq \{0,1\}^n\times \mathcal{O}$ and a function $g:\{0,1\}^{m}\times \{0,1\}^{m} \rightarrow \{0,1\}$ (with $m= O(\log n)$), $$\mathrm{R}_{1/3}(f\circ g^n) = \Omega\left(\mathrm{R}_{1/3}(f) \cdot…

Computational Complexity · Computer Science 2018-01-23 Anurag Anshu , Naresh B. Goud , Rahul Jain , Srijita Kundu , Priyanka Mukhopadhyay

We study a model of communication complexity that encompasses many well-studied problems, including classical and quantum communication complexity, the complexity of simulating distributions arising from bipartite measurements of shared…

Quantum Physics · Physics 2011-07-08 Julien Degorre , Marc Kaplan , Sophie Laplante , Jérémie Roland

We establish novel connections between magic in quantum circuits and communication complexity. In particular, we show that functions computable with low magic have low communication cost. Our first result shows that the $\mathsf{D}\|$…

Quantum Physics · Physics 2025-10-09 Uma Girish , Alex May , Natalie Parham , Henry Yuen

We give new quantum algorithms for evaluating composed functions whose inputs may be shared between bottom-level gates. Let $f$ be an $m$-bit Boolean function and consider an $n$-bit function $F$ obtained by applying $f$ to conjunctions of…

Quantum Physics · Physics 2021-09-22 Mark Bun , Robin Kothari , Justin Thaler

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

The threshold theorem is a fundamental result in the theory of fault-tolerant quantum computation stating that arbitrarily long quantum computations can be performed with a polylogarithmic overhead provided the noise level is below a…

Quantum Physics · Physics 2024-03-15 Omar Fawzi , Alexander Müller-Hermes , Ala Shayeghi

In this paper we provide new bounds on classical and quantum distributional communication complexity in the two-party, one-way model of communication. In the classical model, our bound extends the well known upper bound of Kremer, Nisan and…

Information Theory · Computer Science 2008-02-29 Rahul Jain , 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 study nondeterministic quantum algorithms for Boolean functions f. Such algorithms have positive acceptance probability on input x iff f(x)=1. In the setting of query complexity, we show that the nondeterministic quantum complexity of a…

Computational Complexity · Computer Science 2007-05-23 Ronald de Wolf

We give a tight lower bound of Omega(\sqrt{n}) for the randomized one-way communication complexity of the Boolean Hidden Matching Problem [BJK04]. Since there is a quantum one-way communication complexity protocol of O(\log n) qubits for…

Quantum Physics · Physics 2007-05-23 Iordanis Kerenidis , Ran Raz

We define a new query measure we call quantum distinguishing complexity, denoted QD(f) for a Boolean function f. Unlike a quantum query algorithm, which must output a state close to |0> on a 0-input and a state close to |1> on a 1-input, a…

Quantum Physics · Physics 2019-02-12 Shalev Ben-David , Robin Kothari

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

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 study space-bounded communication complexity for unitary implementation in distributed quantum processors, where we restrict the number of qubits per processor to ensure practical relevance and technical non-triviality. We model…

Quantum Physics · Physics 2025-11-07 Longcheng Li , Xiaoming Sun , Jialin Zhang , Jiadong Zhu

We consider the problem of implementing two-party interactive quantum communication over noisy channels, a necessary endeavor if we wish to fully reap quantum advantages for communication. For an arbitrary protocol with $n$ messages,…

Quantum Physics · Physics 2020-01-10 Debbie Leung , Ashwin Nayak , Ala Shayeghi , Dave Touchette , Penghui Yao , Nengkun Yu

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

In this paper, we prove a strong XOR lemma for bounded-round two-player randomized communication. For a function $f:\mathcal{X}\times \mathcal{Y}\rightarrow\{0,1\}$, the $n$-fold XOR function $f^{\oplus n}:\mathcal{X}^n\times…

Computational Complexity · Computer Science 2022-08-25 Huacheng Yu

We study the composition question for bounded-error randomized query complexity: Is R(f o g) = Omega(R(f) R(g)) for all Boolean functions f and g? We show that inserting a simple Boolean function h, whose query complexity is only Theta(log…

Computational Complexity · Computer Science 2016-12-06 Shalev Ben-David , Robin Kothari

This paper studies the gap between quantum one-way communication complexity $Q(f)$ and its classical counterpart $C(f)$, under the {\em unbounded-error} setting, i.e., it is enough that the success probability is strictly greater than 1/2.…

Quantum Physics · Physics 2007-09-18 Kazuo Iwama , Harumichi Nishimura , Rudy Raymond , Shigeru Yamashita

Consensus is one of the most thoroughly studied problems in distributed computing, yet there are still complexity gaps that have not been bridged for decades. In particular, in the classical message-passing setting with processes' crashes,…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-25 MohammadTaghi HajiAghayi , Dariusz R. Kowalski , Jan Olkowski