TR18-193 Authors: Nicollas Sdroievski, Murilo Silva, AndrĂ© Vignatti

Publication: 18th November 2018 07:11

Downloads: 398

Keywords:

We show that the Hidden Subgroup Problem for black-box groups is in $\mathrm{BPP}^\mathrm{MKTP}$ (where $\mathrm{MKTP}$ is the Minimum $\mathrm{KT}$ Problem) using the techniques of Allender et al (2018). We also show that the problem is in $\mathrm{ZPP}^\mathrm{MKTP}$ provided that there is a \emph{pac overestimator} computable in $\mathrm{ZPP}^\mathrm{MKTP}$ for the logarithm of the order of the given black-box group. This last result implies that for permutation groups, the dihedral group and many types of matrix groups the problem is in $\mathrm{ZPP}^\mathrm{MKTP}$. Lastly, we also show that two decision versions of the problem admit statistical zero knowledge proofs. These results help classify the relative difficulty of the Hidden Subgroup Problem.