Lower bounds for tolerant junta and unateness testing via rejection sampling of graphs

Amit Levi, Erik Waingarten

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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 Ω(e n2). 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 Ω(e k2) queries. ■ Tolerant unateness testing requires Ω(e n) queries. ■ Tolerant unateness testing with non-adaptive queries requires Ω(e n3/2) queries. Given the Õ(k3/2)-query non-adaptive junta tester of Blais [7], we conclude that non-adaptive tolerant junta testing requires more queries than non-tolerant junta testing. In addition, given the Õ(n3/4)-query unateness tester of Chen, Waingarten, and Xie [19] and the Õ(n)-query nonadaptive unateness tester of Baleshzar, Chakrabarty, Pallavoor, Raskhodnikova, and Seshadhri [3], 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.

Original languageEnglish
Title of host publication10th Innovations in Theoretical Computer Science, ITCS 2019
EditorsAvrim Blum
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959770958
DOIs
StatePublished - 1 Jan 2019
Externally publishedYes
Event10th Innovations in Theoretical Computer Science, ITCS 2019 - San Diego, United States
Duration: 10 Jan 201912 Jan 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume124
ISSN (Print)1868-8969

Conference

Conference10th Innovations in Theoretical Computer Science, ITCS 2019
Country/TerritoryUnited States
CitySan Diego
Period10/01/1912/01/19

Bibliographical note

Publisher Copyright:
© Amit Levi and Erik Waingarten.

Keywords

  • Boolean functions
  • Juntas
  • Property Testing
  • Tolerant Testing

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Lower bounds for tolerant junta and unateness testing via rejection sampling of graphs'. Together they form a unique fingerprint.

Cite this