Testing Odd-Cycle-Freeness in Boolean Functions

TL;DR

This paper presents an efficient property testing algorithm for odd-cycle-freeness in Boolean functions, connecting Fourier analysis and graph theory, and introduces a canonical tester with polynomial query complexity.

Contribution

It establishes a polynomial-query canonical tester for odd-cycle-freeness, linking Boolean function properties to graph bipartiteness, and explores the impact of subspace restrictions on Fourier coefficients.

Findings

Poly(1/eps) query complexity for testing odd-cycle-freeness.

Reduction of Boolean function testing to graph bipartiteness.

Existence of a canonical tester with polynomial blowup in queries.

Abstract

Call a function f : F_2^n -> {0,1} odd-cycle-free if there are no x_1, ..., x_k in F_2^n with k an odd integer such that f(x_1) = ... = f(x_k) = 1 and x_1 + ... + x_k = 0. We show that one can distinguish odd-cycle-free functions from those eps-far from being odd-cycle-free by making poly(1/eps) queries to an evaluation oracle. To obtain this result, we use connections between basic Fourier analysis and spectral graph theory to show that one can reduce testing odd-cycle-freeness of Boolean functions to testing bipartiteness of dense graphs. Our work forms part of a recent sequence of works that shows connections between testability of properties of Boolean functions and of graph properties. We also prove that there is a canonical tester for odd-cycle-freeness making poly(1/eps) queries, meaning that the testing algorithm operates by picking a random linear subspace of dimension O(log 1/eps) and then checking if the restriction of the function to the subspace is odd-cycle-free or not. The test is analyzed by studying the effect of random subspace restriction on the Fourier coefficients of a function. Our work implies that testing odd-cycle-freeness using a canonical tester instead of an arbitrary tester incurs no more than a polynomial blowup in the query complexity. The question of whether a canonical tester with polynomial blowup exists for all linear-invariant properties remains an open problem.