104 research outputs found
Characterization and Lower Bounds for Branching Program Size using Projective Dimension
We study projective dimension, a graph parameter (denoted by pd for a
graph ), introduced by (Pudl\'ak, R\"odl 1992), who showed that proving
lower bounds for pd for bipartite graphs associated with a Boolean
function imply size lower bounds for branching programs computing .
Despite several attempts (Pudl\'ak, R\"odl 1992 ; Babai, R\'{o}nyai, Ganapathy
2000), proving super-linear lower bounds for projective dimension of explicit
families of graphs has remained elusive.
We show that there exist a Boolean function (on bits) for which the
gap between the projective dimension and size of the optimal branching program
computing (denoted by bpsize), is . Motivated by the
argument in (Pudl\'ak, R\"odl 1992), we define two variants of projective
dimension - projective dimension with intersection dimension 1 (denoted by
upd) and bitwise decomposable projective dimension (denoted by
bitpdim).
As our main result, we show that there is an explicit family of graphs on vertices such that the projective dimension is , the
projective dimension with intersection dimension is and the
bitwise decomposable projective dimension is .
We also show that there exist a Boolean function (on bits) for which
the gap between upd and bpsize is . In contrast, we
also show that the bitwise decomposable projective dimension characterizes size
of the branching program up to a polynomial factor. That is, there exists a
constant and for any function , . We also study two other
variants of projective dimension and show that they are exactly equal to
well-studied graph parameters - bipartite clique cover number and bipartite
partition number respectively.Comment: 24 pages, 3 figure
Pebbling, Entropy and Branching Program Size Lower Bounds
We contribute to the program of proving lower bounds on the size of branching
programs solving the Tree Evaluation Problem introduced by Cook et. al. (2012).
Proving a super-polynomial lower bound for the size of nondeterministic thrifty
branching programs (NTBP) would separate from for thrifty models
solving the tree evaluation problem. First, we show that {\em Read-Once NTBPs}
are equivalent to whole black-white pebbling algorithms thus showing a tight
lower bound (ignoring polynomial factors) for this model.
We then introduce a weaker restriction of NTBPs called {\em Bitwise
Independence}. The best known NTBPs (of size ) for the tree
evaluation problem given by Cook et. al. (2012) are Bitwise Independent. As our
main result, we show that any Bitwise Independent NTBP solving
must have at least states. Prior to this work, lower
bounds were known for NTBPs only for fixed heights (See Cook et. al.
(2012)). We prove our results by associating a fractional black-white pebbling
strategy with any bitwise independent NTBP solving the Tree Evaluation Problem.
Such a connection was not known previously even for fixed heights.
Our main technique is the entropy method introduced by Jukna and Z{\'a}k
(2001) originally in the context of proving lower bounds for read-once
branching programs. We also show that the previous lower bounds given by Cook
et. al. (2012) for deterministic branching programs for Tree Evaluation Problem
can be obtained using this approach. Using this method, we also show tight
lower bounds for any -way deterministic branching program solving Tree
Evaluation Problem when the instances are restricted to have the same group
operation in all internal nodes.Comment: 25 Pages, Manuscript submitted to Journal in June 2013 This version
includes a proof for tight size bounds for (syntactic) read-once NTBPs. The
proof is in the same spirit as the proof for size bounds for bitwise
independent NTBPs present in the earlier version of the paper and is included
in the journal version of the paper submitted in June 201
Deterministic Black-Box Identity Testing -Ordered Algebraic Branching Programs
In this paper we study algebraic branching programs (ABPs) with restrictions
on the order and the number of reads of variables in the program. Given a
permutation of variables, for a -ordered ABP (-OABP), for
any directed path from source to sink, a variable can appear at most once
on , and the order in which variables appear on must respect . An
ABP is said to be of read , if any variable appears at most times in
. Our main result pertains to the identity testing problem. Over any field
and in the black-box model, i.e. given only query access to the polynomial,
we have the following result: read -OABP computable polynomials can be
tested in \DTIME[2^{O(r\log r \cdot \log^2 n \log\log n)}].
Our next set of results investigates the computational limitations of OABPs.
It is shown that any OABP computing the determinant or permanent requires size
and read . We give a multilinear polynomial
in variables over some specifically selected field , such that
any OABP computing must read some variable at least times. We show
that the elementary symmetric polynomial of degree in variables can be
computed by a size read OABP, but not by a read OABP, for
any . Finally, we give an example of a polynomial and two
variables orders , such that can be computed by a read-once
-OABP, but where any -OABP computing must read some variable at
least $2^n
- …