Testing juntas

Eldar Fischer*, Guy Kindler, Dana Ron, Shmuel Safra, Alex Samorodnitsky

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

20 Scopus citations

Abstract

We show that a Boolean function over n Boolean variables can be tested for the property of depending on only k of them, using a number of queries that depends only on k and the approximation parameter ε. We present two tests, both non-adaptive, that require a number of queries that is polynomial k and linear in ε-1. The first is stronger in that it has a 1-sided error, while the second test has a more compact analysis. We also present an adaptive version and a 2-sided error version of the first test, that have a somewhat better query complexity that the other algorithms. We then provide a lower bound of Ω̃(√k) on the number of queries required for the non-adaptive testing of the above property; a lower bound of Ω(log(k + 1)) for adaptive algorithms naturally follows from this. In providing this we also prove a result about random walks on the group Z2q that may be interesting in its own right. We show that for some t(q) = Õ(q2), the distributions of the random walk at times t and t + 2 are close to each other, independently of the step distribution of the walk. We also discuss related questions. In particular, when given in advance a known k-junta function h, we show how to test a function f for the property of being identical to h up to a permutation of the variables, in a number of queries that is polynomial in k and ε.

Original languageAmerican English
Pages (from-to)103-112
Number of pages10
JournalAnnual Symposium on Foundations of Computer Science - Proceedings
StatePublished - 2002
EventThe 34rd Annual IEEE Symposium on Foundations of Computer Science - Vancouver, BC, Canada
Duration: 16 Nov 200219 Nov 2002

Fingerprint

Dive into the research topics of 'Testing juntas'. Together they form a unique fingerprint.

Cite this