Hans Zantema: Complexity of Simon’s problem in classical sense


Event Details


Simon’s problem is a standard example of a problem that is exponential in classical sense, while it admits a linear solution in quantum computing. It is about a function f for which it is given that a unique non-zero vector s exists for which f(x) = f(x xor s) for all x. The goal is to find s. The exponential lower bound for the classical sense assumes that f only admits black box access. In this presentation we investigate classical complexity when f is given by a standard representation like a circuit. We focus on finding the vector space of all vectors s for which f(x) = f(x xor s) for all x, for any given f. Two main results are: (1) if f is given by any circuit, then checking whether this vector space contains a non-zero element is NP-hard, and (2) when restricting to BDDs, then a basis of this vector space can be computed in polynomial time.