Deterministic algorithms for the hidden subgroup problem

The hidden subgroup problem (HSP) plays a crucial role in the field of quantum computing, since several celebrated quantum algorithms including Shor's algorithm have a uniform description in the framework of HSP. The problem is as follows: for a finite group G and a finite set X, given a function f : G -> X and the promise that for any g(1), g(2) is an element of G, f (g(1)) = f (g(2)) iff g(1)H = g(2)H for a subgroup H <= G, the goal of the decision version is to determine whether H is trivial, and the goal of the search version is to find H. Nayak (2021) asked whether there exist deterministic algorithms with O root vertical bar G vertical bar/vertical bar H vertical bar) query complexity for HSP. We answer this problem for Abelian groups, which also extends the main results of Ye et al. (2021), since here the algorithms do not rely on any prior knowledge of H. (c) 2022 Elsevier Inc. All rights reserved.