English
Related papers

Related papers: A Composition Theorem for Randomized Query Complex…

200 papers

We prove that any total boolean function of rank $r$ can be computed by a deterministic communication protocol of complexity $O(\sqrt{r} \cdot \log(r))$. Equivalently, any graph whose adjacency matrix has rank $r$ has chromatic number at…

Computational Complexity · Computer Science 2013-10-09 Shachar Lovett

We prove lower bounds on complexity measures, such as the approximate degree of a Boolean function and the approximate rank of a Boolean matrix, using quantum arguments. We prove these lower bounds using a quantum query algorithm for the…

Quantum Physics · Physics 2018-07-18 Shalev Ben-David , Adam Bouland , Ankit Garg , Robin Kothari

We show that every language in NP has a PCP verifier that tosses $O(\log n)$ random coins, has perfect completeness, and a soundness error of at most $1/\text{poly}(n)$, while making at most $O(\text{poly}\log\log n)$ queries into a proof…

Computational Complexity · Computer Science 2018-10-09 Irit Dinur , Prahladh Harsha , Guy Kindler

The evaluation of a query over a probabilistic database boils down to computing the probability of a suitable Boolean function, the lineage of the query over the database. The method of query compilation approaches the task in two stages:…

Logic in Computer Science · Computer Science 2017-01-18 Simone Bova , Stefan Szeider

We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We compare several different possible definitions. Our main…

Quantum Physics · Physics 2007-05-23 Harry Buhrman , Ilan Newman , Hein Roehrig , Ronald de Wolf

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

If we pick $n$ random points uniformly in $[0,1]^d$ and connect each point to its $k-$nearest neighbors, then it is well known that there exists a giant connected component with high probability. We prove that in $[0,1]^d$ it suffices to…

Combinatorics · Mathematics 2017-11-15 George C. Linderman , Gal Mishne , Yuval Kluger , Stefan Steinerberger

PARITY is the problem of determining the parity of a string $f$ of $n$ bits given access to an oracle that responds to a query $x\in\{0,1,...,n-1\}$ with the $x^{\rm th}$ bit of the string, $f(x)$. Classically, $n$ queries are required to…

Quantum Physics · Physics 2011-07-12 David A. Meyer , James Pommersheim

We present new algorithms to compute fundamental properties of a Boolean function given in truth-table form. Specifically, we give an O(N^2.322 log N) algorithm for block sensitivity, an O(N^1.585 log N) algorithm for `tree decomposition,'…

Computational Complexity · Computer Science 2007-05-23 Scott Aaronson

Proving formula depth lower bounds is a fundamental challenge in complexity theory, with the strongest known bound of $(3 - o(1))\log n$ established by Hastad over 25 years ago. The Karchmer-Raz-Wigderson (KRW) conjecture offers a promising…

Computational Complexity · Computer Science 2025-01-30 Nikolai Chukhin , Alexander S. Kulikov , Ivan Mihajlin

We present a first result towards the use of entailment in- side relational dual tableau-based decision procedures. To this end, we introduce a fragment of RL(1) which admits a restricted form of composition, (R ; S) or (R ; 1), where the…

Logic in Computer Science · Computer Science 2018-02-22 Domenico Cantone , Marianna Nicolosi-Asmundo , Ewa Orłowska

A major open problem in communication complexity is whether or not quantum protocols can be exponentially more efficient than classical protocols on _total_ Boolean functions in the two-party interactive model. The answer appears to be…

Quantum Physics · Physics 2008-04-14 Yaoyun Shi , Yufan Zhu

We consider the problem of computing a function of $n$ variables using noisy queries, where each query is incorrect with some fixed and known probability $p \in (0,1/2)$. Specifically, we consider the computation of the $\mathsf{OR}$…

Data Structures and Algorithms · Computer Science 2023-09-11 Banghua Zhu , Ziao Wang , Nadim Ghaddar , Jiantao Jiao , Lele Wang

We consider Quantum OBDD model. It is restricted version of read-once Quantum Branching Programs, with respect to "width" complexity. It is known that maximal complexity gap between deterministic and quantum model is exponential. But there…

Computational Complexity · Computer Science 2024-04-02 Kamil Khadiev , Aliya Khadieva

We study the complexity of a fundamental algorithm for fairly allocating indivisible items, the round-robin algorithm. For $n$ agents and $m$ items, we show that the algorithm can be implemented in time $O(nm\log(m/n))$ in the worst case.…

Computer Science and Game Theory · Computer Science 2025-08-07 Zihan Li , Pasin Manurangsi , Jonathan Scarlett , Warut Suksompong

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 call $F:\{0, 1\}^n\times \{0, 1\}^n\to\{0, 1\}$ a symmetric XOR function if for a function $S:\{0, 1, ..., n\}\to\{0, 1\}$, $F(x, y)=S(|x\oplus y|)$, for any $x, y\in\{0, 1\}^n$, where $|x\oplus y|$ is the Hamming weight of the bit-wise…

Quantum Physics · Physics 2008-08-20 Yaoyun Shi , Zhiqiang Zhang

Determining the approximate degree composition for Boolean functions remains a significant unsolved problem in Boolean function complexity. In recent decades, researchers have concentrated on proving that approximate degree composes for…

Computational Complexity · Computer Science 2025-01-22 Sourav Chakraborty , Chandrima Kayal , Rajat Mittal , Manaswi Paraashar , Nitin Saurabh

In the present work we study the two-point correlation function $R(\epsilon)$ of the quantum mechanical spectrum of a classically chaotic system. Recently this quantity has been computed for chaotic and for disordered systems using periodic…

Condensed Matter · Physics 2009-10-30 Daniel L. Miller

The r-th order nonlinearity of a Boolean function is the minimum number of elements that have to be changed in its truth table to arrive at a Boolean function of degree at most r. It is shown that the (suitably normalised) r-th order…

Combinatorics · Mathematics 2013-08-15 Kai-Uwe Schmidt
‹ Prev 1 3 4 5 6 7 10 Next ›