In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function $f$ on $n$ variables that only depends on $k$ variables, and, when restricted to them, equals some predefined function $h$ . The task is to identify the variables the function depends on. When $h$ is the XOR or the OR function, this gives a restricted variant of the Bernstein-Vazirani or the combinatorial group testing problem, respectively. We analyse the general case using the adversary bound, and give an alternative formulation for the quantum query complexity of this problem. We construct optimal quantum query algorithms for the cases when $h$ is the OR function (complexity is $Θ(\sqrt{k})$ ) or the exact-half function (complexity is $Θ(k^{1/4})$ ). The first algorithm resolves an open problem from arXiv:1210.1148. For the case when $h$ is the majority function, we prove an upper bound of $O(k^{1/4})$ . All these algorithms can be made exact. We obtain a quartic improvement when compared to the randomised complexity (if $h$ is the exact-half or the majority function), and a quadratic one when compared to the non-adaptive quantum complexity (for all functions considered in the paper).In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function $f$ on $n$ variables that only depends on $k$ variables, and, when restricted to them, equals some predefined function $h$. The task is to identify the variables the function depends on. When $h$ is the XOR or the OR function, this gives a restricted variant of the Bernstein-Vazirani or the combinatorial group testing problem, respectively. We analyse the general case using the adversary bound, and give an alternative formulation for the quantum query complexity of this problem. We construct optimal quantum query algorithms for the cases when $h$ is the OR function (complexity is $Θ(\sqrt{k})$) or the exact-half function (complexity is $Θ(k^{1/4})$). The first algorithm resolves an open problem from arXiv:1210.1148. For the case when $h$ is the majority function, we prove an upper bound of $O(k^{1/4})$. All these algorithms can be made exact. We obtain a quartic improvement when compared to the randomised complexity (if $h$ is the exact-half or the majority function), and a quadratic one when compared to the non-adaptive quantum complexity (for all functions considered in the paper).

arXiv:1311.6777Nov 26, 20133 citations

Quantum Algorithms for Learning Symmetric Juntas via Adversary Bound

Aleksandrs Belovs

In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function f on n variables that only depends on k variables, and, when restricted to them, equals some predefined function h. The task is to identify the variables the function depends on. This is a generalisation of the Bernstein-Vazirani problem [1] (when h is the XOR function) and the combinatorial group testing problem [2] (when h is the OR function). We analyse the general case using the adversary bound, and give an alternative formulation for the quantum query complexity of this problem. We construct optimal quantum query algorithms for the cases when h is the OR function (complexity is square root of k) or the exact-half function (complexity is the fourth power root of k). The first algorithm resolves an open problem from. For the case when h is the majority function, we prove an upper bound of the fourth power root of k. We obtain a quartic improvement when compared to the randomised complexity (if h is the exact-half or the majority function), and a quadratic one when compared to the non-adaptive quantum complexity (for all functions considered in the paper).In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function f on n variables that only depends on k variables, and, when restricted to them, equals some predefined function h. The task is to identify the variables the function depends on. This is a generalisation of the Bernstein-Vazirani problem [1] (when h is the XOR function) and the combinatorial group testing problem [2] (when h is the OR function). We analyse the general case using the adversary bound, and give an alternative formulation for the quantum query complexity of this problem. We construct optimal quantum query algorithms for the cases when h is the OR function (complexity is square root of k) or the exact-half function (complexity is the fourth power root of k). The first algorithm resolves an open problem from. For the case when h is the majority function, we prove an upper bound of the fourth power root of k. We obtain a quartic improvement when compared to the randomised complexity (if h is the exact-half or the majority function), and a quadratic one when compared to the non-adaptive quantum complexity (for all functions considered in the paper).

IEEE Conference on Computational Complexity (CCC)Jun 1, 20146 citations

In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function

f

n

variables that only depends on

k

variables, and, when restricted to them, equals some predefined function

h

. The task is to identify the variables the function depends on. When

h

is the XOR or the OR function, this gives a restricted variant of the Bernstein-Vazirani or the combinatorial group testing problem, respectively. We analyse the general case using the adversary bound, and give an alternative formulation for the quantum query complexity of this problem. We construct optimal quantum query algorithms for the cases when

h

is the OR function (complexity is

Θ(\sqrt{k})

) or the exact-half function (complexity is

Θ(k^{1/4})

). The first algorithm resolves an open problem from arXiv:1210.1148. For the case when

h

is the majority function, we prove an upper bound of

O(k^{1/4})

. All these algorithms can be made exact. We obtain a quartic improvement when compared to the randomised complexity (if

h

is the exact-half or the majority function), and a quadratic one when compared to the non-adaptive quantum complexity (for all functions considered in the paper).