English

Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs

Computational Complexity 2018-05-04 v1 Data Structures and Algorithms

Abstract

We introduce a new model for testing graph properties which we call the \emph{rejection sampling model}. We show that testing bipartiteness of nn-nodes graphs using rejection sampling queries requires complexity Ω~(n2)\widetilde{\Omega}(n^2). Via reductions from the rejection sampling model, we give three new lower bounds for tolerant testing of Boolean functions of the form f ⁣:{0,1}n{0,1}f\colon\{0,1\}^n\to \{0,1\}: \bulletTolerant kk-junta testing with \emph{non-adaptive} queries requires Ω~(k2)\widetilde{\Omega}(k^2) queries. \bulletTolerant unateness testing requires Ω~(n)\widetilde{\Omega}(n) queries. \bulletTolerant unateness testing with \emph{non-adaptive} queries requires Ω~(n3/2)\widetilde{\Omega}(n^{3/2}) queries. Given the O~(k3/2)\widetilde{O}(k^{3/2})-query non-adaptive junta tester of Blais \cite{B08}, we conclude that non-adaptive tolerant junta testing requires more queries than non-tolerant junta testing. In addition, given the O~(n3/4)\widetilde{O}(n^{3/4})-query unateness tester of Chen, Waingarten, and Xie \cite{CWX17b} and the O~(n)\widetilde{O}(n)-query non-adaptive unateness tester of Baleshzar, Chakrabarty, Pallavoor, Raskhodnikova, and Seshadhri \cite{BCPRS17}, we conclude that tolerant unateness testing requires more queries than non-tolerant unateness testing, in both adaptive and non-adaptive settings. These lower bounds provide the first separation between tolerant and non-tolerant testing for a natural property of Boolean functions.

Keywords

Cite

@article{arxiv.1805.01074,
  title  = {Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs},
  author = {Amit Levi and Erik Waingarten},
  journal= {arXiv preprint arXiv:1805.01074},
  year   = {2018}
}