01370nas a2200133 4500008004100000245012700041210006900168260001500237520088400252100001601136700002301152700001701175856004401192 2005 eng d00aFrom optimal measurement to efficient quantum algorithms for the hidden subgroup problem over semidirect product groups
0 aFrom optimal measurement to efficient quantum algorithms for the c2005/04/113 a We approach the hidden subgroup problem by performing the so-called pretty
good measurement on hidden subgroup states. For various groups that can be
expressed as the semidirect product of an abelian group and a cyclic group, we
show that the pretty good measurement is optimal and that its probability of
success and unitary implementation are closely related to an average-case
algebraic problem. By solving this problem, we find efficient quantum
algorithms for a number of nonabelian hidden subgroup problems, including some
for which no efficient algorithm was previously known: certain metacyclic
groups as well as all groups of the form (Z_p)^r X| Z_p for fixed r (including
the Heisenberg group, r=2). In particular, our results show that entangled
measurements across multiple copies of hidden subgroup states can be useful for
efficiently solving the nonabelian HSP.
1 aBacon, Dave1 aChilds, Andrew, M.1 avan Dam, Wim uhttp://arxiv.org/abs/quant-ph/0504083v2