eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Leibniz International Proceedings in Informatics
1868-8969
2019-01-08
52:1
52:20
10.4230/LIPIcs.ITCS.2019.52
article
Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs
Levi, Amit
1
Waingarten, Erik
2
University of Waterloo, Canada
Columbia University, USA
We introduce a new model for testing graph properties which we call the rejection sampling model. We show that testing bipartiteness of n-nodes graphs using rejection sampling queries requires complexity 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}:
- Tolerant k-junta testing with non-adaptive queries requires Omega~(k^2) queries.
- Tolerant unateness testing requires Omega~(n) queries.
- Tolerant unateness testing with non-adaptive queries requires Omega~(n^{3/2}) queries.
Given the O~(k^{3/2})-query non-adaptive junta tester of Blais [Eric Blais, 2008], we conclude that non-adaptive tolerant junta testing requires more queries than non-tolerant junta testing. In addition, given the O~(n^{3/4})-query unateness tester of Chen, Waingarten, and Xie [Xi Chen et al., 2017] and the O~(n)-query non-adaptive unateness tester of Baleshzar, Chakrabarty, Pallavoor, Raskhodnikova, and Seshadhri [Roksana Baleshzar et al., 2017], 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.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol124-itcs2019/LIPIcs.ITCS.2019.52/LIPIcs.ITCS.2019.52.pdf
Property Testing
Juntas
Tolerant Testing
Boolean functions