Structure of sparse Boolean functions over Abelian groups, and its application to testing

TL;DR

This paper characterizes the structure of Fourier-sparse Boolean functions over finite Abelian groups, providing bounds on Fourier coefficients and developing efficient testing algorithms based on these structural insights.

Contribution

It generalizes Fourier coefficient bounds from binary to all finite Abelian groups and introduces a new sparsity testing algorithm with provable guarantees.

Findings

Fourier coefficients of sparse Boolean functions have a lower bound depending on group exponent.

An efficient sparsity testing algorithm with polynomial query complexity is proposed.

Established an $ ext{Omega}( ext{sqrt}(s))$ lower bound for adaptive sparsity testing.

Abstract

We study Fourier-sparse Boolean functions over general finite Abelian groups. A Boolean function $f : G \to \{-1,+1\}$ is $s$-sparse if it has at most $s$ non-zero Fourier coefficients. We introduce a general notion of granularity of Fourier coefficients and prove that every non-zero coefficient of an $s$-sparse Boolean function has magnitude at least \begin{equation*} \frac{1}{2^{\varphi(\Delta)/2} \, s^{\varphi(\Delta)/2}}, \end{equation*} where $\Delta$ denotes the exponent of the group $G$ (that is, the maximum order of an element in $G$) and $\varphi$ is the Euler's totient function. This generalizes the celebrated result of Gopalan et al. (SICOMP 2011) for $\mathbb{Z}_2^n$, extending it to all finite Abelian groups via new techniques from group theory and algebraic number theory. Using our new structural results on the Fourier coefficients of sparse functions, we design an efficient sparsity testing algorithm for Boolean functions. The tester distinguishes whether a given function is $s$-sparse or $\epsilon$-far from every $s$-sparse Boolean function, with query complexity $poly\left((2s)^{\varphi(\Delta)},1/\epsilon \right)$. In addition, we generalize the classical notion of Boolean degree to arbitrary Abelian groups and establish an $\Omega(\sqrt{s})$ lower bound for adaptive sparsity testing.