Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR26-296 | 4th November 2026 01:15

Exponential Quantum Advantage in Testing Fourier Dimensionality

RSS-Feed




TR26-296
Authors: Kenny Chen
Publication: 4th November 2026 01:28
Downloads: 27
Keywords: 


Abstract:

A boolean function $f$ has Fourier dimension $k$ if its strings with nonzero Fourier coefficients span a subspace of dimension $k$. We first consider the property testing task of determining whether a function has Fourier dimension at most $k$, or is $\epsilon$-far from being so. We show that there is an $O(k/\sqrt{\epsilon})$-query quantum property tester for this problem, which we show to be almost optimal. Combined with Gopalan \etal's classical lower bound of $\Omega(2^{k/2})$, this demonstrates an exponential quantum advantage for this task. We complement this result with a $\tilde{O}(2^{k/2}/\epsilon)$ classical tester, giving a quadratic improvement over the previous best tester, and essentially settling the classical query complexity.

We then introduce and study the tolerant version of this problem. That is, determining whether a function is $\alpha\epsilon$-close to having Fourier dimension at most $k$, or is $\epsilon$-far from being so. Perhaps surprisingly, we show that this tolerant version of the problem is essentially just as hard as the standard version of the problem. That is, we show this problem has a $\tilde{O}(k/\epsilon)$ quantum tester, and a $\tilde{O}(2^{k/2}/\epsilon)$ classical tester.



ISSN 1433-8092 | Imprint