11,244 research outputs found
Recommended from our members
Property Testing of Boolean Function
The field of property testing has been studied for decades, and Boolean functions are among the most classical subjects to study in this area.
In this thesis we consider the property testing of Boolean functions: distinguishing whether an unknown Boolean function has some certain property (or equivalently, belongs to a certain class of functions), or is far from having this property. We study this problem under both the standard setting, where the distance between functions is measured with respect to the uniform distribution, as well as the distribution-free setting, where the distance is measured with respect to a fixed but unknown distribution.
We obtain both new upper bounds and lower bounds for the query complexity of testing various properties of Boolean functions:
- Under the standard model of property testing, we prove a lower bound of \Omega(n^{1/3}) for the query complexity of any adaptive algorithm that tests whether an n-variable Boolean function is monotone, improving the previous best lower bound of \Omega(n^{1/4}) by Belov and Blais in 2015. We also prove a lower bound of \Omega(n^{2/3}) for adaptive algorithms, and a lower bound of \Omega(n) for non-adaptive algorithms with one-sided errors that test unateness, a natural generalization of monotonicity. The latter lower bound matches the previous upper bound proved by Chakrabarty and Seshadhri in 2016, up to poly-logarithmic factors of n.
- We also study the distribution-free testing of k-juntas, where a function is a k-junta if it depends on at most k out of its n input variables. The standard property testing of k-juntas under the uniform distribution has been well understood: it has been shown that, for adaptive testing of k-juntas the optimal query complexity is \Theta(k); and for non-adaptive testing of k-juntas it is \Theta(k^{3/2}). Both bounds are tight up to poly-logarithmic factors of k. However, this problem is far from clear under the more general setting of distribution-free testing. Previous results only imply an O(2^k)-query algorithm for distribution-free testing of k-juntas, and besides lower bounds under the uniform distribution setting that naturally extend to this more general setting, no other results were known from the lower bound side. We significantly improve these results with an O(k^2)-query adaptive distribution-free tester for k-juntas, as well as an exponential lower bound of \Omega(2^{k/3}) for the query complexity of non-adaptive distribution-free testers for this problem. These results illustrate the hardness of distribution-free testing and also the significant role of adaptivity under this setting.
- In the end we also study distribution-free testing of other basic Boolean functions. Under the distribution-free setting, a lower bound of \Omega(n^{1/5}) was proved for testing of conjunctions, decision lists, and linear threshold functions by Glasner and Servedio in 2009, and an O(n^{1/3})-query algorithm for testing monotone conjunctions was shown by Dolev and Ron in 2011. Building on techniques developed in these two papers, we improve these lower bounds to \Omega(n^{1/3}), and specifically for the class of conjunctions we present an adaptive algorithm with query complexity O(n^{1/3}). Our lower and upper bounds are tight for testing conjunctions, up to poly-logarithmic factors of n
Boolean function monotonicity testing requires (almost) non-adaptive queries
We prove a lower bound of , for all , on the query
complexity of (two-sided error) non-adaptive algorithms for testing whether an
-variable Boolean function is monotone versus constant-far from monotone.
This improves a lower bound for the same problem that
was recently given in [CST14] and is very close to , which we
conjecture is the optimal lower bound for this model
Bayesian sequential testing of the drift of a Brownian motion
We study a classical Bayesian statistics problem of sequentially testing the
sign of the drift of an arithmetic Brownian motion with the - loss
function and a constant cost of observation per unit of time for general prior
distributions. The statistical problem is reformulated as an optimal stopping
problem with the current conditional probability that the drift is non-negative
as the underlying process. The volatility of this conditional probability
process is shown to be non-increasing in time, which enables us to prove
monotonicity and continuity of the optimal stopping boundaries as well as to
characterize them completely in the finite-horizon case as the unique
continuous solution to a pair of integral equations. In the infinite-horizon
case, the boundaries are shown to solve another pair of integral equations and
a convergent approximation scheme for the boundaries is provided. Also, we
describe the dependence between the prior distribution and the long-term
asymptotic behaviour of the boundaries.Comment: 28 page
- …