1: \begin{abstract}

2: We present a quantum algorithm for the dihedral hidden subgroup problem with

3: time and query complexity $2^{O(\sqrt{\log\ N})}$. In this problem an oracle

4: computes a function $f$ on the dihedral group $D_N$ which is invariant under a

5: hidden reflection in $D_N$. By contrast the classical query complexity of DHSP

6: is $O(\sqrt{N})$.  The algorithm also applies to the hidden shift problem

7: for an arbitrary finitely generated abelian group.

8: 

9: The algorithm begins as usual with a quantum character transform, which in the

10: case of $D_N$ is essentially the abelian quantum Fourier transform. This yields

11: the name of a group representation of $D_N$, which is not by itself useful, and

12: a state in the representation, which is a valuable but indecipherable qubit. 

13: The algorithm proceeds by repeatedly pairing two unfavorable qubits to make a

14: new qubit in a more favorable representation of $D_N$. Once the algorithm

15: obtains certain target representations, direct measurements reveal the hidden

16: subgroup.

17: \end{abstract}

18: