17,893 research outputs found
Extreme Rays of AND-Measures in Circuit Complexity
This paper is motivated by the problem of proving lower bounds on the formula size of boolean functions, which leads to lower bounds on circuit depth. We know that formula size is bounded from below by all formal complexity measures. Thus, we study formula size by investigating AND-measures, which are weakened forms of formal complexity measures. The collection of all AND-measures is a pointed polyhedral cone; we study the extreme rays of this cone in order to better understand AND-measures. From the extreme rays, we attempt to discover useful properties of AND-measures that may help in proving new lower bounds on formula size and circuit depth. This paper focuses on describing some of the properties of AND-measures, especially those that are extreme rays. Furthermore, it describes some algorithhms for finding the extreme rays
The quantum adversary method and classical formula size lower bounds
We introduce two new complexity measures for Boolean functions, or more
generally for functions of the form f:S->T. We call these measures sumPI and
maxPI. The quantity sumPI has been emerging through a line of research on
quantum query complexity lower bounds via the so-called quantum adversary
method [Amb02, Amb03, BSS03, Zha04, LM04], culminating in [SS04] with the
realization that these many different formulations are in fact equivalent.
Given that sumPI turns out to be such a robust invariant of a function, we
begin to investigate this quantity in its own right and see that it also has
applications to classical complexity theory.
As a surprising application we show that sumPI^2(f) is a lower bound on the
formula size, and even, up to a constant multiplicative factor, the
probabilistic formula size of f. We show that several formula size lower bounds
in the literature, specifically Khrapchenko and its extensions [Khr71, Kou93],
including a key lemma of [Has98], are in fact special cases of our method.
The second quantity we introduce, maxPI(f), is always at least as large as
sumPI(f), and is derived from sumPI in such a way that maxPI^2(f) remains a
lower bound on formula size. While sumPI(f) is always a lower bound on the
quantum query complexity of f, this is not the case in general for maxPI(f). A
strong advantage of sumPI(f) is that it has both primal and dual
characterizations, and thus it is relatively easy to give both upper and lower
bounds on the sumPI complexity of functions. To demonstrate this, we look at a
few concrete examples, for three functions: recursive majority of three, a
function defined by Ambainis, and the collision problem.Comment: Appears in Conference on Computational Complexity 200
Cubic Formula Size Lower Bounds Based on Compositions with Majority
We define new functions based on the Andreev function and prove that they require n^{3}/polylog(n) formula size to compute. The functions we consider are generalizations of the Andreev function using compositions with the majority function. Our arguments apply to composing a hard function with any function that agrees with the majority function (or its negation) on the middle slices of the Boolean cube, as well as iterated compositions of such functions. As a consequence, we obtain n^{3}/polylog(n) lower bounds on the (non-monotone) formula size of an explicit monotone function by combining the monotone address function with the majority function
Negative weights make adversaries stronger
The quantum adversary method is one of the most successful techniques for
proving lower bounds on quantum query complexity. It gives optimal lower bounds
for many problems, has application to classical complexity in formula size
lower bounds, and is versatile with equivalent formulations in terms of weight
schemes, eigenvalues, and Kolmogorov complexity. All these formulations rely on
the principle that if an algorithm successfully computes a function then, in
particular, it is able to distinguish between inputs which map to different
values.
We present a stronger version of the adversary method which goes beyond this
principle to make explicit use of the stronger condition that the algorithm
actually computes the function. This new method, which we call ADV+-, has all
the advantages of the old: it is a lower bound on bounded-error quantum query
complexity, its square is a lower bound on formula size, and it behaves well
with respect to function composition. Moreover ADV+- is always at least as
large as the adversary method ADV, and we show an example of a monotone
function for which ADV+-(f)=Omega(ADV(f)^1.098). We also give examples showing
that ADV+- does not face limitations of ADV like the certificate complexity
barrier and the property testing barrier.Comment: 29 pages, v2: added automorphism principle, extended to non-boolean
functions, simplified examples, added matching upper bound for AD
Algorithms and lower bounds for de Morgan formulas of low-communication leaf gates
The class consists of Boolean functions
computable by size- de Morgan formulas whose leaves are any Boolean
functions from a class . We give lower bounds and (SAT, Learning,
and PRG) algorithms for , for classes
of functions with low communication complexity. Let
be the maximum -party NOF randomized communication
complexity of . We show:
(1) The Generalized Inner Product function cannot be computed in
on more than fraction of inputs
for As a corollary, we get an average-case lower bound for
against .
(2) There is a PRG of seed length that -fools . For
, we get the better seed length . This gives the first
non-trivial PRG (with seed length ) for intersections of half-spaces
in the regime where .
(3) There is a randomized -time SAT algorithm for , where In particular, this implies a nontrivial
#SAT algorithm for .
(4) The Minimum Circuit Size Problem is not in .
On the algorithmic side, we show that can be
PAC-learned in time
New Bounds for the Garden-Hose Model
We show new results about the garden-hose model. Our main results include
improved lower bounds based on non-deterministic communication complexity
(leading to the previously unknown bounds for Inner Product mod 2
and Disjointness), as well as an upper bound for the
Distributed Majority function (previously conjectured to have quadratic
complexity). We show an efficient simulation of formulae made of AND, OR, XOR
gates in the garden-hose model, which implies that lower bounds on the
garden-hose complexity of the order will be
hard to obtain for explicit functions. Furthermore we study a time-bounded
variant of the model, in which even modest savings in time can lead to
exponential lower bounds on the size of garden-hose protocols.Comment: In FSTTCS 201
Lower Bounds for (Non-Monotone) Comparator Circuits
Comparator circuits are a natural circuit model for studying the concept of bounded fan-out computations, which intuitively corresponds to whether or not a computational model can make "copies" of intermediate computational steps. Comparator circuits are believed to be weaker than general Boolean circuits, but they can simulate Branching Programs and Boolean formulas. In this paper we prove the first superlinear lower bounds in the general (non-monotone) version of this model for an explicitly defined function. More precisely, we prove that the n-bit Element Distinctness function requires ?((n/ log n)^(3/2)) size comparator circuits
- …