Quantum solution to the hidden subgroup problem for poly-near-hamiltonian groups

  • Authors:
  • Dmitry Gavinsky

  • Affiliations:
  • Department of Computer Science, University of Calgary, Calgary, Alberta, Canada

  • Venue:
  • Quantum Information & Computation
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Hidden Subgroup Problem (HSP) has been widely studied in the context of quantum computing and is known to be efficiently solvable for Abelian groups, yet appears to be difficult for many non-Abelian ones. An efficient algorithm for the HSP over a group G runs in time polynomial in n def = log|G|. For any subgroup H of G, let N(H) denote the normalizer of H. Let MG denote the intersection of all normalizers in G (i.e., MG = ∩H≤GN(H)). MG is always a subgroup of G and tile index [G:MG] can be taken as a measure of "how non-Abelian" G is ([G : MG] = 1 for Abelian groups). This measure was considered by Grigni, Sehulman. Vazirani and Vazirani. who showed that whenever [G : MG] ∈ exp(O(log1/2 n)) the corresponding HSP can be solved efficiently (under certain assumptions). We show that whenever [G : MG] ∈ poly(n) the corresponding HSP can be solved efficiently, under the same assumptions (actually, we solve a slightly more general case of the HSP and also show that some assnmptions may be relaxed).