283 research outputs found
Improved Lower Bounds for Testing Triangle-freeness in Boolean Functions via Fast Matrix Multiplication
Understanding the query complexity for testing linear-invariant properties
has been a central open problem in the study of algebraic property testing.
Triangle-freeness in Boolean functions is a simple property whose testing
complexity is unknown. Three Boolean functions , and are said to be triangle free if there is no such that . This property
is known to be strongly testable (Green 2005), but the number of queries needed
is upper-bounded only by a tower of twos whose height is polynomial in 1 /
\epsislon, where \epsislon is the distance between the tested function
triple and triangle-freeness, i.e., the minimum fraction of function values
that need to be modified to make the triple triangle free. A lower bound of for any one-sided tester was given by Bhattacharyya and
Xie (2010). In this work we improve this bound to .
Interestingly, we prove this by way of a combinatorial construction called
\emph{uniquely solvable puzzles} that was at the heart of Coppersmith and
Winograd's renowned matrix multiplication algorithm
Testing Linear-Invariant Non-Linear Properties
We consider the task of testing properties of Boolean functions that are
invariant under linear transformations of the Boolean cube. Previous work in
property testing, including the linearity test and the test for Reed-Muller
codes, has mostly focused on such tasks for linear properties. The one
exception is a test due to Green for "triangle freeness": a function
f:\cube^{n}\to\cube satisfies this property if do not all
equal 1, for any pair x,y\in\cube^{n}.
Here we extend this test to a more systematic study of testing for
linear-invariant non-linear properties. We consider properties that are
described by a single forbidden pattern (and its linear transformations), i.e.,
a property is given by points v_{1},...,v_{k}\in\cube^{k} and
f:\cube^{n}\to\cube satisfies the property that if for all linear maps
L:\cube^{k}\to\cube^{n} it is the case that do
not all equal 1. We show that this property is testable if the underlying
matroid specified by is a graphic matroid. This extends
Green's result to an infinite class of new properties.
Our techniques extend those of Green and in particular we establish a link
between the notion of "1-complexity linear systems" of Green and Tao, and
graphic matroids, to derive the results.Comment: This is the full version; conference version appeared in the
proceedings of STACS 200
Dynamic Graph Stream Algorithms in Space
In this paper we study graph problems in dynamic streaming model, where the
input is defined by a sequence of edge insertions and deletions. As many
natural problems require space, where is the number of
vertices, existing works mainly focused on designing space
algorithms. Although sublinear in the number of edges for dense graphs, it
could still be too large for many applications (e.g. is huge or the graph
is sparse). In this work, we give single-pass algorithms beating this space
barrier for two classes of problems.
We present space algorithms for estimating the number of connected
components with additive error and
-approximating the weight of minimum spanning tree, for any
small constant . The latter improves previous
space algorithm given by Ahn et al. (SODA 2012) for connected graphs with
bounded edge weights.
We initiate the study of approximate graph property testing in the dynamic
streaming model, where we want to distinguish graphs satisfying the property
from graphs that are -far from having the property. We consider
the problem of testing -edge connectivity, -vertex connectivity,
cycle-freeness and bipartiteness (of planar graphs), for which, we provide
algorithms using roughly space, which is
for any constant .
To complement our algorithms, we present space
lower bounds for these problems, which show that such a dependence on
is necessary.Comment: ICALP 201
Separations of Matroid Freeness Properties
Properties of Boolean functions on the hypercube invariant with respect to
linear transformations of the domain are among the most well-studied properties
in the context of property testing. In this paper, we study the fundamental
class of linear-invariant properties called matroid freeness properties. These
properties have been conjectured to essentially coincide with all testable
linear-invariant properties, and a recent sequence of works has established
testability for increasingly larger subclasses. One question left open,
however, is whether the infinitely many syntactically different properties
recently shown testable in fact correspond to new, semantically distinct ones.
This is a crucial issue since it has also been shown that there exist
subclasses of these properties for which an infinite set of syntactically
different representations collapse into one of a small, finite set of
properties, all previously known to be testable.
An important question is therefore to understand the semantics of matroid
freeness properties, and in particular when two syntactically different
properties are truly distinct. We shed light on this problem by developing a
method for determining the relation between two matroid freeness properties P
and Q. Furthermore, we show that there is a natural subclass of matroid
freeness properties such that for any two properties P and Q from this
subclass, a strong dichotomy must hold: either P is contained in Q or the two
properties are "well separated." As an application of this method, we exhibit
new, infinite hierarchies of testable matroid freeness properties such that at
each level of the hierarchy, there are functions that are far from all
functions lying in lower levels of the hierarchy. Our key technical tool is an
apparently new notion of maps between linear matroids, called matroid
homomorphisms, that might be of independent interest
Survey of Distributed Decision
We survey the recent distributed computing literature on checking whether a
given distributed system configuration satisfies a given boolean predicate,
i.e., whether the configuration is legal or illegal w.r.t. that predicate. We
consider classical distributed computing environments, including mostly
synchronous fault-free network computing (LOCAL and CONGEST models), but also
asynchronous crash-prone shared-memory computing (WAIT-FREE model), and mobile
computing (FSYNC model)
The Gowers norm in the testing of Boolean functions
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2009.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.Includes bibliographical references (p. 65-68).A property tester is a fast, randomized algorithm that reads only a few entries of the input, and based on the values of these entries, it distinguishes whether the input has a certain property or is "different" from any input having this property. Furthermore, we say that a property tester has completeness c and soundness s if it accepts all inputs having the property with probability at least c and accepts "different" inputs with probability at most s + o(1). In this thesis we present two property testers for boolean functions on the boolean cube f0; 1gn. We summarize our contribution as follows. We present a new dictatorship test that determines whether the function is a dictator (of the form f(x) = xi for some coordinate i), or a function that is an "anti-dictator." Our test is "adaptive," makes q queries, has completeness 1, and soundness O(q3) 2??q. Previously, a dictatorship test that has soundness (q + 1) . 2-q is achieved by Samorodnitsky and Trevisan, but their test has completeness strictly less than 1. Furthermore, the previously best known dictatorship test from the PCP literature with completeness 1 has soundness ... . Our contribution lies in achieving perfect completeness and low sound- ness simultaneously. We consider properties of functions that are invariant under linear transformations of the boolean cube. Previous works, such as linearity testing and low-degree testing, have focused on linear properties.(cont.) The one exception is a test due to Green for "triangle freeness": a function f satisfies this property if f(x); f(y); f(x + y) do not all equal 1, for any pair x; y 2 f0; 1gn. We extend this test to a more systematic study and consider non-linear properties that are described by a single forbidden pattern. Specifically, let M denote an r by k matrix over f0; 1g. We say that a function f is M-free if there are no ~x = (x1,...,xk), where x1,...,xk 2 f0; 1gn such that f(x1),...,f(xk) = 1 and M~x = ~0. If M can be represented by an underlying graph, we can analyze a test that determines whether a function is M-free or \far" from one. Our test makes k queries, has completeness 1, and soundness bounded away from 1. The technique from our work leads to alternate proofs that some previously studied linear properties are testable, albeit with worse parameters. Our results, though quite different in terms of context, are connected by similar techniques. Our analysis of the algorithms relies on the machinery of the Gowers uniformity norm, a recent and powerful tool in additive combinatorics.by Victor Yen-Wen Chen.Ph.D
Testability of linear-invariant properties
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.Cataloged from PDF version of thesis.Includes bibliographical references (p. 75-80).Property Testing is the study of super-efficient algorithms that solve "approximate decision problems" with high probability. More precisely, given a property P, a testing algorithm for P is a randomized algorithm that makes a small number of queries into its input and distinguishes between whether the input satisfies P or whether the input is "far" from satisfying P, where "farness" of an object from P is measured by the minimum fraction of places in its representation that needs to be modified in order for it to satisfy P. Property testing and ideas arising from it have had significant impact on complexity theory, pseudorandomness, coding theory, computational learning theory, and extremal combinatorics. In the history of the area, a particularly important role has been played by linearinvariant properties, i.e., properties of Boolean functions on the hypercube which are closed under linear transformations of the domain. Examples of such properties include linearity, homogeneousness, Reed-Muller codes, and Fourier sparsity. In this thesis, we describe a framework that can lead to a unified analysis of the testability of all linear-invariant properties, drawing on techniques from additive combinatorics and from graph theory. We also show the first nontrivial lowerbound for the query complexity of a natural testable linear-invariant property.by Arnab Bhattacharyya.Ph.D
- …