English
Related papers

Related papers: Monte Carlo to Las Vegas for Recursively Composed …

200 papers

One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them…

Discrete Mathematics · Computer Science 2019-02-19 Valentin Bakoev

A fundamental problem in computer science is to find all the common zeroes of $m$ quadratic polynomials in $n$ unknowns over $\mathbb{F}_2$. The cryptanalysis of several modern ciphers reduces to this problem. Up to now, the best complexity…

Symbolic Computation · Computer Science 2015-03-19 Magali Bardet , Jean-Charles Faugère , Bruno Salvy , Pierre-Jean Spaenlehauer

We study the computation complexity of Boolean functions in the quantum black box model. In this model our task is to compute a function $f:\{0,1\}\to\{0,1\}$ on an input $x\in\{0,1\}^n$ that can be accessed by querying the black box.…

Quantum Physics · Physics 2017-01-25 Andris Ambainis , Janis Iraids

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 investigate the connection between measure, capacity and algorithmic randomness for the space of closed sets. For any computable measure m, a computable capacity T may be defined by letting T(Q) be the measure of the family of closed…

Logic in Computer Science · Computer Science 2015-07-01 Douglas Cenzer , Paul Brodhead , Ferit Toska , Sebastian Wyman

The query model offers a concrete setting where quantum algorithms are provably superior to randomized algorithms. Beautiful results by Bernstein-Vazirani, Simon, Aaronson, and others presented partial Boolean functions that can be computed…

Quantum Physics · Physics 2020-02-12 Avishay Tal

Quantum algorithms can be analyzed in a query model to compute Boolean functions where input is given in a black box and the aim is to compute function value for arbitrary input using as few queries as possible. We concentrate on quantum…

Quantum Physics · Physics 2009-04-23 Alina Vasilieva

In this paper, we study the query complexity of Boolean functions in the presence of uncertainty, motivated by parallel computation with an unlimited number of processors where inputs are allowed to be unknown. We allow each query to…

Computational Complexity · Computer Science 2025-07-02 Deepu Benson , Balagopal Komarath , Nikhil Mande , Sai Soumya Nalli , Jayalal Sarma , Karteek Sreenivasaiah

In this paper we study the complexity of quantum query algorithms computing the value of Boolean function and its relation to the degree of algebraic polynomial representing this function. We pay special attention to Boolean functions with…

Quantum Physics · Physics 2012-03-24 Alina Dubrovska Vasilieva , Taisija Mischenko-Slatenkova

We prove that for every decision tree, the absolute values of the Fourier coefficients of a given order $\ell\geq1$ sum to at most $c^{\ell}\sqrt{\binom{d}{\ell}(1+\log n)^{\ell-1}},$ where $n$ is the number of variables, $d$ is the tree…

Computational Complexity · Computer Science 2023-01-31 Alexander A. Sherstov , Andrey A. Storozhenko , Pei Wu

Let g : $\Omega$ = [0, 1] d $\rightarrow$ R denote a Lipschitz function that can be evaluated at each point, but at the price of a heavy computational time. Let X stand for a random variable with values in $\Omega$ such that one is able to…

Probability · Mathematics 2021-07-29 Lucie Bernard , Albert Cohen , Arnaud Guyader , Florent Malrieu

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

The combination of continuum Many-Body Quantum physics and Monte Carlo methods provide a powerful and well established approach to first principles calculations for large systems. Replacing the exact solution of the problem with a…

Computational Physics · Physics 2009-10-01 J. R. Trail

Our problem is to evaluate a multi-valued Boolean function $F$ through oracle calls. If $F$ is one-to-one and the size of its domain and range is the same, then our problem can be formulated as follows: Given an oracle $f(a,x):…

Quantum Physics · Physics 2007-05-23 Kazuo Iwama , Akinori Kawachi , Hiroyuki Masuda , Raymond H. Putra , Shigeru Yamashita

A fuzzy Boolean function is a map $f:\cube^n\to [0,1]$, where $n\in\mathbb N$. We introduce and compare three ways of saying that such a function has bounded complexity. The first is a sampling property: the value $f(x)$ can be recovered,…

Combinatorics · Mathematics 2026-05-22 Balazs Szegedy

The negative weight adversary method, $\mathrm{ADV}^\pm(g)$, is known to characterize the bounded-error quantum query complexity of any Boolean function $g$, and also obeys a perfect composition theorem $\mathrm{ADV}^\pm(f \circ g^n) =…

Quantum Physics · Physics 2020-04-15 Aleksandrs Belovs , Troy Lee

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 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

We present a sequential Monte Carlo sampler variant of the partial rejection control algorithm, and show that this variant can be considered as a sequential Monte Carlo sampler with a modified mutation kernel. We prove that the new sampler…

Computation · Statistics 2009-11-11 G. W. Peters , Y. Fan , S. A. Sisson

Properties of Boolean functions can often be tested much faster than the functions can be learned. However, this advantage usually disappears when testers are limited to random samples of a function $f$--a natural setting for data…

Quantum Physics · Physics 2026-01-28 Matthias C. Caro , Preksha Naik , Joseph Slote