English

A o(n) monotonicity tester for Boolean functions over the hypercube

Discrete Mathematics 2014-01-14 v3 Data Structures and Algorithms Combinatorics

Abstract

A Boolean function f:{0,1}n{0,1}f:\{0,1\}^n \mapsto \{0,1\} is said to be \eps\eps-far from monotone if ff needs to be modified in at least \eps\eps-fraction of the points to make it monotone. We design a randomized tester that is given oracle access to ff and an input parameter \eps>0\eps>0, and has the following guarantee: It outputs {\sf Yes} if the function is monotonically non-decreasing, and outputs {\sf No} with probability >2/3>2/3, if the function is \eps\eps-far from monotone. This non-adaptive, one-sided tester makes O(n7/8\eps3/2ln(1/\eps))O(n^{7/8}\eps^{-3/2}\ln(1/\eps)) queries to the oracle.

Keywords

Cite

@article{arxiv.1302.4536,
  title  = {A o(n) monotonicity tester for Boolean functions over the hypercube},
  author = {Deeparnab Chakrabarty and C. Seshadhri},
  journal= {arXiv preprint arXiv:1302.4536},
  year   = {2014}
}

Comments

Journal version, with discussion on directed isoperimetry

R2 v1 2026-06-21T23:28:33.326Z