Abstract:Given an Abelian group G, a Boolean-valued function f: G -> {-1,+1}, is said to be s-sparse, if it has at most s-many non-zero Fourier coefficients over the domain G. In a seminal paper, Gopalan et al. proved "Granularity" for Fourier coefficients of Boolean valued functions over Z_2^n, that have found many diverse applications in theoretical computer science and combinatorics. They also studied structural results for Boolean functions over Z_2^n which are approximately Fourier-sparse. In this work, we obtain structural results for approximately Fourier-sparse Boolean valued functions over Abelian groups G of the form,G:= Z_{p_1}^{n_1} \times ... \times Z_{p_t}^{n_t}, for distinct primes p_i. We also obtain a lower bound of the form 1/(m^{2}s)^ceiling(phi(m)/2), on the absolute value of the smallest non-zero Fourier coefficient of an s-sparse function, where m=p_1 ... p_t, and phi(m)=(p_1-1) ... (p_t-1). We carefully apply probabilistic techniques from Gopalan et al., to obtain our structural results, and use some non-trivial results from algebraic number theory to get the lower bound. We construct a family of at most s-sparse Boolean functions over Z_p^n, where p > 2, for arbitrarily large enough s, where the minimum non-zero Fourier coefficient is 1/omega(n). The "Granularity" result of Gopalan et al. implies that the absolute values of non-zero Fourier coefficients of any s-sparse Boolean valued function over Z_2^n are 1/O(s). So, our result shows that one cannot expect such a lower bound for general Abelian groups. Using our new structural results on the Fourier coefficients of sparse functions, we design an efficient testing algorithm for Fourier-sparse Boolean functions, thata requires poly((ms)^phi(m),1/epsilon)-many queries. Further, we prove an Omega(sqrt{s}) lower bound on the query complexity of any adaptive sparsity testing algorithm.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to Fourier analysis of sparse Boolean functions on certain Abelian groups. Specifically, the paper explores the structural results of Boolean - valued functions that are approximately Fourier - sparse on Abelian groups of the form \( G := \mathbb{Z}_{p_1}^{n_1} \times \cdots \times \mathbb{Z}_{p_t}^{n_t} \), where \( p_1, \ldots, p_t \) are distinct prime numbers. ### Main Problems 1. **Structural Results of Fourier Coefficients**: - The paper attempts to obtain the structural results of approximately Fourier - sparse Boolean - valued functions on the above - mentioned Abelian groups. These results are similar to the work of Gopalan et al. on \( \mathbb{Z}_2^n \), but are extended to more general Abelian groups. 2. **Lower Bounds of Non - zero Fourier Coefficients**: - The paper also attempts to give a lower bound on the absolute value of the smallest non - zero Fourier coefficient of an \( s \)-sparse Boolean - valued function. Specifically, for an \( s \)-sparse function \( f: G \to \{ -1, +1 \} \), the absolute value of its smallest non - zero Fourier coefficient is at least \( \frac{1}{(p^2 s)^{\lceil (p - 1)/2 \rceil}} \), where \( p \) is a prime number in the Abelian group \( G \). 3. **Sparsity Testing Algorithm**: - The paper designs an efficient sparsity testing algorithm for testing whether a given Boolean function is \( s \)-sparse or is at a distance greater than \( \epsilon \) from any \( s \)-sparse Boolean function. This algorithm requires \( \text{poly}((ms)^{\phi(m)}, 1/\epsilon) \) queries, where \( m = p_1 \cdots p_t \) and \( \phi(m)=(p_1 - 1) \cdots (p_t - 1) \). ### Key Contributions 1. **Structure Theorems**: - Theorem 3 and Theorem 4 respectively give the structural results of approximately Fourier - sparse Boolean - valued functions. These theorems show that if a Boolean function is close to being \( s \)-sparse, then its larger Fourier coefficients are close to a certain "granularity". 2. **Lower Bounds of Fourier Coefficients**: - Theorem 5 gives a lower bound on the absolute value of the smallest non - zero Fourier coefficient of an \( s \)-sparse Boolean - valued function. This lower bound is much lower than the result on \( \mathbb{Z}_2^n \). 3. **Sparsity Testing Algorithm**: - The paper designs an efficient sparsity testing algorithm and proves that the lower bound of its query complexity is \( \Omega(\sqrt{s}) \). ### Application Background - **Cryptography**: The application of Fourier analysis on finite Abelian groups, especially in detecting "large" Fourier coefficients and computing sparse approximations, is of great significance for the "bit - security" problem in cryptography. - **Learning Theory**: The efficiency improvement of sparse Fourier transform algorithms depends on reliable testing of sparsity. - **Control Theory and Optimization**: The structural results of Fourier - sparse functions also have applications in the maximum satisfiability (MAX - SAT) and maximum \( k \)-colorable subgraph (MkCS) problems. Through these studies, the paper provides a new perspective for understanding the structure of Fourier - sparse Boolean functions on general Abelian groups and provides a theoretical basis for applications in related fields.

On Fourier analysis of sparse Boolean functions over certain Abelian groups

Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time

On the Fourier spectrum of functions on Boolean cubes

Code Sparsification and its Applications

Asymptotic insights for projection, Gordon-Lewis and Sidon constants in Boolean cube function spaces

The Fourier Entropy-Influence Conjecture For Certain Classes Of Boolean Functions

Sparse juntas on the biased hypercube

On Boolean Functions with Low Polynomial Degree and Higher Order Sensitivity

On the Fine-Grained Query Complexity of Symmetric Functions

Boolean functions whose Fourier transform is concentrated on pairwise disjoint subsets of the input

NP-hardness of testing equivalence to sparse polynomials and to constant-support polynomials

Fourier growth of structured $\mathbb{F}_2$-polynomials and applications

Fourier sum of squares certificates

On query complexity measures and their relations for symmetric functions

Fourier Growth of Communication Protocols for XOR Functions

New Bounds on Quotient Polynomials with Applications to Exact Divisibility and Divisibility Testing of Sparse Polynomials

On Symmetric Pseudo-Boolean Functions: Factorization, Kernels and Applications

Boolean Function Analysis on High-Dimensional Expanders

Lattices in function fields and applications

Inapproximability of Sparsest Vector in a Real Subspace

On the expressive power of mod-$p$ linear forms on the Boolean cube