STACS 2007: STACS 2007 pp 586-597 | Cite as

An Efficient Quantum Algorithm for the Hidden Subgroup Problem in Extraspecial Groups

  • Gábor Ivanyos
  • Luc Sanselme
  • Miklos Santha
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4393)

Abstract

Extraspecial groups form a remarkable subclass of p-groups. They are also present in quantum information theory, in particular in quantum error correction. We give here a polynomial time quantum algorithm for finding hidden subgroups in extraspecial groups. Our approach is quite different from the recent algorithms presented in [17] and [2] for the Heisenberg group, the extraspecial p-group of size p 3 and exponent p. Exploiting certain nice automorphisms of the extraspecial groups we define specific group actions which are used to reduce the problem to hidden subgroup instances in abelian groups that can be dealt with directly.

Keywords

Abelian Group Heisenberg Group Quantum Algorithm Quantum Procedure Left Coset 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aschbacher, M.: Finite Group Theory. Cambridge University Press, Cambridge (2000)MATHGoogle Scholar
  2. 2.
    Bacon, D., Childs, A., van Dam, W.: From optimal measurement to efficient quantum algorithms for the hidden subgroup problem over semidirect product groups. In: Proc. 46th IEEE FOCS, pp. 469–478. IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  3. 3.
    Calderbank, A., et al.: Quantum error correction and orthogonal geometry. Phys. Rev. Lett. 78, 405–408 (1997)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Calderbank, A., et al.: Quantum error correction via codes over GF(4). IEEE Transactions on Information Theory 44(4), 1369–1387 (1998)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Friedl, K., et al.: Hidden translation and orbit coset in quantum computing. In: Proc. 35th ACM STOC, pp. 1–9. ACM Press, New York (2003)Google Scholar
  6. 6.
    Gottesman, D.: Stabilizer Codes and Quantum Error Correction. PhD Thesis, Caltech (1997)Google Scholar
  7. 7.
    Grigni, M., et al.: Quantum mechanical algorithms for the nonabelian Hidden Subgroup Problem. In: Proc. 33rd ACM STOC, pp. 68–74. ACM Press, New York (2001)Google Scholar
  8. 8.
    Hallgren, S., Russell, A., Ta-Shma, A.: Normal subgroup reconstruction and quantum computation using group representations. SIAM J. Comp. 32(4), 916–934 (2003)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Huppert, B.: Endliche Gruppen, vol. 1. Springer, Heidelberg (1983)Google Scholar
  10. 10.
    Ivanyos, G., Magniez, F., Santha, M.: Efficient quantum algorithms for some instances of the non-Abelian hidden subgroup problem. Int. J. of Foundations of Computer Science 14(5), 723–739 (2003)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Kitaev, A.: Quantum measurements and the Abelian Stabilizer Problem. Technical report, Quantum Physics e-Print archive (1995), http://xxx.lanl.gov/abs/quant-ph/9511026
  12. 12.
    Klappenecker, A., Sarvepalli, P.K.: Clifford Code Constructions of Operator Quantum Error Correcting Codes. Technical report, Quantum Physics e-Print archive (2006), http://xxx.lanl.gov/abs/quant-ph/0604161
  13. 13.
    Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)MATHGoogle Scholar
  14. 14.
    Moore, C., et al.: The power of basis selection in Fourier sampling: Hidden subgroup problems in affine groups. In: Proc. 15th ACM-SIAM SODA, pp. 1106–1115. ACM Press, New York (2004)Google Scholar
  15. 15.
    Mosca, M.: Quantum Computer Algorithms. PhD Thesis, University of Oxford (1999)Google Scholar
  16. 16.
    Püschel, M., Rötteler, M., Beth, T.: Fast quantum Fourier transforms for a class of non-Abelian groups. In: Fossorier, M.P.C., et al. (eds.) AAECC 1999. LNCS, vol. 1719, pp. 148–159. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  17. 17.
    Radhakrishnan, J., Rötteler, M., Sen, P.: On the power of random bases in Fourier sampling: hidden subgroup problem in the Heisenberg group. In: Caires, L., et al. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1399–1411. Springer, Heidelberg (2005)Google Scholar
  18. 18.
    Rötteler, M., Beth, T.: Polynomial-time solution to the Hidden Subgroup Problem for a class of non-abelian groups. Technical report, Quantum Physics e-Print archive (1998), http://xxx.lanl.gov/abs/quant-ph/9812070
  19. 19.
    Shor, P.: Algorithms for quantum computation: Discrete logarithm and factoring. SIAM J. Comp. 26(5), 1484–1509 (1997)MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    Shoup, V.: A Computational Introduction to Number Theory and Algebra. Cambridge University Press, Cambridge (2005)MATHGoogle Scholar
  21. 21.
    Simon, D.: On the power of quantum computation. SIAM J. Comp. 26(5), 1474–1483 (1997)MATHCrossRefGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Gábor Ivanyos
    • 1
  • Luc Sanselme
    • 2
  • Miklos Santha
    • 2
    • 3
  1. 1.SZTAKI, Hungarian Academy of Sciences, H-1111 BudapestHungary
  2. 2.Univ Paris-Sud, Orsay, F-91405 
  3. 3.CNRS, LRI, UMR 8623, Orsay, F-91405 

Personalised recommendations