English

A Lower Bound for Nonadaptive, One-Sided Error Testing of Unateness of Boolean Functions over the Hypercube

Computational Complexity 2017-06-02 v1 Discrete Mathematics

Abstract

A Boolean function f:{0,1}d{0,1}f:\{0,1\}^d \mapsto \{0,1\} is unate if, along each coordinate, the function is either nondecreasing or nonincreasing. In this note, we prove that any nonadaptive, one-sided error unateness tester must make Ω(dlogd)\Omega(\frac{d}{\log d}) queries. This result improves upon the Ω(dlog2d)\Omega(\frac{d}{\log^2 d}) lower bound for the same class of testers due to Chen et al. (STOC, 2017).

Keywords

Cite

@article{arxiv.1706.00053,
  title  = {A Lower Bound for Nonadaptive, One-Sided Error Testing of Unateness of Boolean Functions over the Hypercube},
  author = {Roksana Baleshzar and Deeparnab Chakrabarty and Ramesh Krishnan S. Pallavoor and Sofya Raskhodnikova and C. Seshadhri},
  journal= {arXiv preprint arXiv:1706.00053},
  year   = {2017}
}