Lower Bounds for Testing Function Isomorphism

—We prove new lower bounds in the area of property testing of boolean functions. Specifically, we study the problem of testing whether a boolean function f is isomorphic to a fixed function g (i.e., is equal to g up to permutation of the input variables). The analogous problem for testing graphs was solved by Fischer in 2005. The setting of boolean functions, however, appears to be more difficult, and no progress has been made since the initial study of the problem by Fischer et al. in 2004. Our first result shows that any non-adaptive algorithm for testing isomorphism to a function that “strongly” depends on k variables requires log k − O(1) queries (assuming k/n is bounded away from 1). This lower bound affirms and strengthens a conjecture appearing in the 2004 work of Fischer et al. Its proof relies on total variation bounds between hypergeometric distributions which may be of independent interest. Our second result concerns the simplest interesting case not covered by ...

• Type: Conference
• Year: 2010
• Where: COCO
• Authors: Eric Blais, Ryan O'Donnell
• Keywords: Algorithms, Boolean Functions, COCO 2010, Fischer Et Al, Lower Bounds