Deterministic sparse fourier approximation via fooling arithmetic progressions

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


A significant Fourier transform (SFT) algorithm, given a threshold τ and oracle access to a function f, outputs (the frequencies and approximate values of) all the τ-significant Fourier coefficients of f, i.e., the Fourier coefficients whose magnitude exceeds τ|| f ||2 2. In this paper we present the first deterministic SFT algorithm for functions f over ℤN which is: (1) Local, i.e., its running time is polynomial in logN, 1/τ and L1(f̂) (the L1 norm of f's Fourier transform). (2) Robust to random noise. This strictly extends the class of compressible/Fourier sparse functions over ℤN efficiently handled by prior deterministic algorithms. As a corollary we obtain deterministic and robust algorithms for sparse Fourier approximation, compressed sensing and sketching. As a central tool, we prove that there are: 1. Explicit sets A of size poly((ln N)d, 1/ε) with ε-discrepancy in all rank d Bohr sets in ℤN. This extends the Razborov-Szemeredi-Wigderson result on ε-discrepancy in arithmetic progressions to Bohr sets, which are their higher rank analogue. 2. Explicit sets AP of size poly(lnN, 1/ε) that ε-approximate the uniform distribution over a given arithmetic progression P in ℤN, in the sense that |E A χ(x) ∼ ExεP χ(x)| < ε for all linear tests χ in ℤN. This extends results on small biased sets, which are sets approximating the uniform distribution over the entire domain, to sets approximating uniform distributions over (arbitrary size) arithmetic progressions. These results may be of independent interest.

Original languageEnglish
Title of host publicationCOLT 2010 - The 23rd Conference on Learning Theory
Number of pages13
StatePublished - 2010
Externally publishedYes
Event23rd Conference on Learning Theory, COLT 2010 - Haifa, Israel
Duration: 27 Jun 201029 Jun 2010

Publication series

NameCOLT 2010 - The 23rd Conference on Learning Theory


Conference23rd Conference on Learning Theory, COLT 2010

ASJC Scopus subject areas

  • Education


Dive into the research topics of 'Deterministic sparse fourier approximation via fooling arithmetic progressions'. Together they form a unique fingerprint.

Cite this