Take the 2-minute tour ×
Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It's 100% free, no registration required.

One thing that quantum computers can do (possibly even with just BPP + log-depth quantum circuits) is to approximate-sample the Fourier transform of a Boolean $\pm 1$-valued function in P.

Here and below when I talk about sampling the Fourier transform I mean choosing x according to $|\hat f(x)|^2$. (Normalized if necessary and approximately).

Can we describe the complexity class, that we can call P-FOURIER SAMPLING, of approximate sampling Boolean functions of P? Are there problems which are complete for this class?

Given a class X of Boolean functions what can be said about the the computational complexity, that we can refer to as SAMPLING-X of approximating sampling the Fourier transform of functions in X. (I suppose that if X is BQP then X-SAMPLING is still within the power of quantum computers.)

What are the examples of X where SAMPLING-X is in P? Are there interesting examples where SAMPLING-X is NP-hard?

There are several variants of this problem that can also be interesting. On the Fourier side, rather than approximate-sample we can talk about a decision problem enabled (probabilistically) by approximate sampling. On the primal side, we can start with a class X of probability distributions and ask what is the relation between the ability to approximately sample a distribution D in X and approximately sample the (normalized) Fourier transform.

In short, what is known about this question.

Update: Martin Schwarz pointed out that if all the Fourier coefficients themselves are concentrated only on a polynomial number of entries then it is possible in BPP to approximate these large coefficients (and thus also to approximately sample.) This goes back to Goldreich-Levin, and Kushilevitz-Mansour. Are there interesting classes of functions where there is a probabilistic polynomial algorithm for approximately sampling the Fourier side, where the Fourier coefficients are spread over more than polynomially many coefficients?

Added Later: Let me mention a few concrete problems.

1) How hard is it to approximately sample the Fourier transform of Boolean functions in P.

a) One question that Scott Aaronson mentioned in a comment below is to show that this is not in BPP. Or something weaker along the lines that if this task is in BPP some collapse is happening. (Scot Conjectures that this is the case.)

b) Another question is to show that this task is hard with respect to some quantum-based complexity class. E.g, to show that if you can perform this task you can solve decision problems in BPP assisted with log-depth quantum computers, or something like that.

2) What are classes of Boolean functions such that approximately sampling their Fourler transform is in P. What we know is that this is the case when the Fourier coefficients are concentrated on polynomial many coefficients, but this seems very restricted.

3) Is there some complexity class X high up in the PH that an X-machine can approximately sample the Fourier transform of every function that an X-machine can compute.

4) I was especially interested in the problem of sampling the Fourier transform of the crossing event for percolation on an n by n hexagonal grid.

share|improve this question
    
Gil, in case this is of interest to you: before Alex Arkhipov and I started working on BosonSampling, the "original" thing I wanted to prove was that the approximate Fourier sampling problem -- i.e., exactly the problem you describe -- is not in BPP unless the polynomial hierarchy collapses. Unfortunately, I wasn't able to prove that or even get good evidence for it, which motivated us to switch attention to bosons and the "robustly #P-complete" permanent. However, I'd now like to reiterate my conjecture that approximate Fourier sampling is hard, assuming only that PH is infinite. :-) –  Scott Aaronson May 3 '13 at 18:49
    
Thanks, Scott, thhis is very interesting. I will mention your conjecture along with a few others in the next edit of the question. –  Gil Kalai May 4 '13 at 20:00
    
BTW, Scott, isn't the argument via permanents that shows that BOSONSAMPLING in BPP implies collapse of the PH works also for Fourier sampling? –  Gil Kalai May 5 '13 at 16:47
    
Gil: Yes, for exact sampling algorithms, exactly the same argument goes through. But for approximate sampling algorithms, I'm not certain: one would need to believe that approximate computation of Fourier coefficients should be #P-complete on average, just as Arkhipov and I conjectured that approximating the permanent of an i.i.d. Gaussian matrix should be #P-complete on average. –  Scott Aaronson May 6 '13 at 15:02
add comment

1 Answer 1

The Kushilevitz-Mansour algorithm in learning theory establishes, that whenever $\hat{f}(x)$ is approximately sparse, i.e. there are only $O(poly(n))$-many large Fourier coefficients of absolute value $\Omega(1/poly(n))$, then we can find their locations and approximate their complex values in $\sf{BPP}$. Of course you can also efficiently sample from that list. To be precise, Kushilevitz-Mansour only talked about Fourier transforms over $\mathbb{Z}_2$, but generalization to FTs over general finite Abelian groups (see e.g. Akavia's thesis) are known.

As an application of this to quantum computing, one can show that the output state of quantum circuits structured in blocks of Hadamard-Toffoli-Hadamard gates can be efficiently approximated given the promise that the output state written in the computational basis is approximately sparse (see my QIP'2010 poster here, and the pre-print here). If the sparsity assumption is dropped, we could simulate Simon's algorithm (or Shor's), which is of exactly that structure, contradicting the $\Omega(2^{n/2})$ query lower-bound for Simon's problem.

share|improve this answer
    
Thanks, Martin! I suppose it is not known how hard it is to sample from the Fouriet transform even of AC^0 functions, right? (In the case of depth-2 a conjecture of Mansour asserts that it is polynomial (with randomization). –  Gil Kalai Apr 29 '13 at 21:38
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.