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.

On Boolean functions derived from linear maps over and their application to secret sharing

Regarding Classification of n-sharing of Multivariate Mappings over Finite Fields and One NSUCrypto'2019 Olympiad Problem

Applying Two Channels to Vector Space Secret Sharing Based Multi-Signature Scheme

Two Secret Sharing Schemes Based on Boolean Operations

Algebraic properties of the maps

(2,N) Secret Sharing Scheme for Gray and Color Images Based on Boolean Operation

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

Minimal Binary Linear Codes from Vectorial Boolean Functions

Boolean Function Analysis on High-Dimensional Expanders

Analysis of Boolean Functions Related to Binary Input Binary Output Two-party Nonlocal Games

Secret sharing with a class of minimal linear codes

Ideal Secret Sharing Schemes: Combinatorial Characterizations, Certain Access Structures, and Related Geometric Problems

On the Number of Affine Equivalence Classes of Vectorial Boolean Functions and Q-Ary Functions

On Fourier analysis of sparse Boolean functions over certain Abelian groups

Threshold visual secret sharing based on Boolean operations

Publicly Verifiable Secret Sharing Scheme and Its Application with Almost Optimal Information Rate.

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

A Novel Application of Boolean Functions With High Algebraic Immunity in Minimal Codes

An Infinite Class of Balanced Vectorial Boolean Functions with Optimum Algebraic Immunity and Good Nonlinearity

On vectorial functions mapping strict affine subspaces of their domain into strict affine subspaces of their co-domain, and the strong D-property

Complete Characterization of Fairness in Secure Two-Party Computation of Boolean Functions