ECCC-Report TR96-049https://eccc.weizmann.ac.il/report/1996/049Comments and Revisions published for TR96-049en-usThu, 26 Sep 1996 15:18:21 +0200
Paper TR96-049
| Stable basis families and complexity lower bounds |
Per Enflo,
Meera Sitharam
https://eccc.weizmann.ac.il/report/1996/049
--
Scalar product estimates have so far been used in
proving several unweighted threshold lower bounds.
We show that if a basis set of Boolean functions satisfies
certain weak stability conditions, then
scalar product estimates
yield lower bounds for the size of weighted thresholds
of these basis functions.
Stable basis families, in particular, include orthonormal basis families.
--
To do this, we define and distinguish between
several related notions of approximation,
and give general methods of proving nonapproximability,
(both directly and by using the transitive nature of
approximation). These give complexity lower bounds:
we point out
how several of the methods commonly used for proving
threshold and communication complexity
lower bounds including the ``discriminator/correlation/ discrepancy
method,'' the ``communication complexity'' method, and
the ``variation rank/geometric method,'' reduce to three
closely related notions of nonapproximability
that depend on
estimates on the scalar products
between functions. Therefore, we give general techniques for obtaining
these estimates and in particular, we obtain estimates for specific
functions.
In addition, we obtain new and
general complexity upper bounds by exploring approximation
from Boolean bases and the transitivity of approximability
relationships.
--
We give examples of
natural Boolean basis families that are stable,
give an alternative proof, using scalar product estimates, of an
old lower bound of Krause and Pudla'k in their STOC 94 paper
for the weighted threshold of
parities, and moreover,
for certain unstable bases,
we provide a method of adapting
scalar product estimates to give lower bounds.
--
One of the examples of stable basis families
indicates
a direct method -using scalar product estimates -
for proving lower bounds
for an algebraic circuit model, which is related
to the more standard, arithmetic circuit,
and the algebraic, linear decision tree
model.
--
We give a method for constructing unstable
bases, and show that
even simple families of threshold functions,
are unstable, thereby indicating a possible reason why
lower bounds for
weighted thresholds of thresholds are proving
so difficult.
Thu, 26 Sep 1996 15:18:21 +0200https://eccc.weizmann.ac.il/report/1996/049