English
Related papers

Related papers: A composition theorem for randomized query complex…

200 papers

We give a sequential model for noninterference security including probability (but not demonic choice), thus supporting reasoning about the likelihood that high-security values might be revealed by observations of low-security activity. Our…

Formal Languages and Automata Theory · Computer Science 2010-07-08 Annabelle McIver , Larissa Meinicke , Carroll Morgan

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 $S$ be a finite set of positive integers with largest element $m$. Let us randomly select a composition $a$ of the integer $n$ with parts in $S$, and let $m(a)$ be the multiplicity of $m$ as a part of $a$. Let $0\leq r<q$ be integers,…

Combinatorics · Mathematics 2007-05-23 Miklos Bona

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

We improve both upper and lower bounds for the distribution-free testing of monotone conjunctions. Given oracle access to an unknown Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$ and sampling oracle access to an unknown distribution…

Discrete Mathematics · Computer Science 2015-11-12 Xi Chen , Jinyu Xie

In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function $f$ on $n$ variables that only depends on $k$ variables, and, when restricted to them, equals some predefined…

Quantum Physics · Physics 2014-10-29 Aleksandrs Belovs

The quantum query complexity of Boolean matrix multiplication is typically studied as a function of the matrix dimension, n, as well as the number of 1s in the output, \ell. We prove an upper bound of O (n\sqrt{\ell}) for all values of…

Quantum Physics · Physics 2014-12-17 Stacey Jeffery , Robin Kothari , Frédéric Magniez

This paper considers the query complexity of the functions in the family F_{N,M} of N-variable Boolean functions with onset size M, i.e., the number of inputs for which the function value is 1, where 1<= M <= 2^{N}/2 is assumed without loss…

We consider a system of $N$ Brownian particles, with or without inertia, interacting in the mean-field regime via a weak, smooth, long-range potential, and starting initially from an arbitrary exchangeable $N$-particle distribution. In this…

Probability · Mathematics 2025-05-13 Armand Bernou , Mitia Duerinckx , Matthieu Ménard

LECTURE GIVEN AT TH2002. Given a set of Boolean variables, and some constraints between them, is it possible to find a configuration of the variables which satisfies all constraints? This problem, which is at the heart of combinatorial…

Disordered Systems and Neural Networks · Physics 2009-11-07 Marc Mezard

We construct a total Boolean function $f$ satisfying $R(f)=\tilde{\Omega}(Q(f)^{5/2})$, refuting the long-standing conjecture that $R(f)=O(Q(f)^2)$ for all total Boolean functions. Assuming a conjecture of Aaronson and Ambainis about…

Computational Complexity · Computer Science 2015-06-29 Shalev Ben-David

Every system of any significant size is created by composition from smaller sub-systems or components. It is thus fruitful to analyze the fault-tolerance of a system as a function of its composition. In this paper, two basic types of system…

General Mathematics · Mathematics 2009-07-21 Shrisha Rao

Given a classical query algorithm as a decision tree, when does there exist a quantum query algorithm with a speed-up over the classical one? We provide a general construction based on the structure of the underlying decision tree, and…

Quantum Physics · Physics 2025-06-25 Arjan Cornelissen , Nikhil S. Mande , Subhasree Patro

This paper provides the first general technique for proving information lower bounds on two-party unbounded-rounds communication problems. We show that the discrepancy lower bound, which applies to randomized communication complexity, also…

Computational Complexity · Computer Science 2012-06-13 Mark Braverman , Omri Weinstein

We study the extremal Forrelation problem, where, provided with oracle access to Boolean functions $f$ and $g$ promised to satisfy either $\textrm{forr}(f,g)=1$ or $\textrm{forr}(f,g)=-1$, one must determine (with high probability) which of…

Computational Complexity · Computer Science 2026-02-10 Clément L. Canonne , Kenny Chen , Julián Mestre

Mixed noise, composed of white Gaussian noise (WGN) and impulsive noise (IN), appears in numerous communication scenarios and can severely degrade system performance. In this paper, we optimize the transmitted constellation under mixed…

Signal Processing · Electrical Eng. & Systems 2025-09-09 Tianfu Qi , Jun Wang

The randomized query complexity $R(f)$ of a boolean function $f\colon\{0,1\}^n\to\{0,1\}$ is famously characterized (via Yao's minimax) by the least number of queries needed to distinguish a distribution $D_0$ over $0$-inputs from a…

Computational Complexity · Computer Science 2020-02-26 Andrew Bassilakis , Andrew Drucker , Mika Göös , Lunjia Hu , Weiyun Ma , Li-Yang Tan

We introduce the coordination principle, which states that perfect coordination, in the form of agreement on a uniformly random output, among N parties is possible only if they share a common cause. This principle is purely causal and can…

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

Fixing an arbitrary set $\mathcal{F}$ of complex-valued functions over Boolean variables yields a counting problem $\#\mathcal{F}$. Taking only functions from $\mathcal{F}$ to form a tensor network as the problem's input, the counting…

Computational Complexity · Computer Science 2026-03-11 Mingji Xia