Dice Question Streamline Icon: https://streamlinehq.com

Query complexity of adaptive tolerant junta testing

Determine the asymptotically tight number of queries required by adaptive algorithms to (ε1, ε2)-tolerantly test k-juntas, i.e., given oracle access to a Boolean function f:{−1,1}^n→{−1,1}, establish the query complexity needed to distinguish whether f is ε1-close to some k-junta or ε2-far from every k-junta, as a function of k and the tolerance gap ε=ε2−ε1.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper settles the non-adaptive query complexity of tolerant testing for k-juntas by providing matching upper and lower bounds. However, the authors note that the adaptive setting remains largely unexplored, with existing results leaving significant gaps in our understanding of how adaptivity affects the number of queries required in the tolerant testing model.

In the tolerant junta testing framework, a tester must accept functions that are close to having the property and reject those that are sufficiently far. While adaptivity is known to help for standard (non-tolerant) junta testing, its impact on tolerant testing has not been characterized, motivating a precise determination of the query complexity in the adaptive regime.

References

Does adaptivity help for tolerant junta testing? While this paper resolves the tolerant junta testing question for non-adaptive algorithms, there are still large gaps for adaptive algorithms. As such, it is unclear how many queries are needed to tolerantly test $k$-juntas with adaptivity.

Optimal Non-Adaptive Tolerant Junta Testing via Local Estimators (2404.13502 - Nadimpalli et al., 21 Apr 2024) in Discussion (Section 1), Subsection 1.3