The hidden subgroup problem and quantum computation using group representations

Sean Hallgren, Alexander Russell, Amnon Ta-Shma

Research output: Contribution to journalArticle

48 Citations (Scopus)

Abstract

The hidden subgroup problem is the foundation of many quantum algorithms. An efficient solution is known for the problem over abelian groups, employed by both Simon's algorithm and Shor's factoring and discrete log algorithms. The nonabelian case, however, remains open; an efficient solution would give rise to an efficient quantum algorithm for graph isomorphism. We fully analyze a natural generalization of the algorithm for the abelian case to the nonabelian case and show that the algorithm determines the normal core of a hidden subgroup: in particular, normal subgroups can be determined. We show, however, that this immediate generalization of the abelian algorithm does not efficiently solve graph isomorphism.

Original languageEnglish (US)
Pages (from-to)916-934
Number of pages19
JournalSIAM Journal on Computing
Volume32
Issue number4
DOIs
StatePublished - Jun 1 2003

Fingerprint

Quantum computers
Group Representation
Quantum Computation
Subgroup
Graph Isomorphism
Quantum Algorithms
Efficient Solution
Factoring
Normal subgroup
Abelian group
Efficient Algorithms

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Mathematics(all)

Cite this

Hallgren, Sean ; Russell, Alexander ; Ta-Shma, Amnon. / The hidden subgroup problem and quantum computation using group representations. In: SIAM Journal on Computing. 2003 ; Vol. 32, No. 4. pp. 916-934.
@article{9e67c80113754d988ca589279d984c2c,
title = "The hidden subgroup problem and quantum computation using group representations",
abstract = "The hidden subgroup problem is the foundation of many quantum algorithms. An efficient solution is known for the problem over abelian groups, employed by both Simon's algorithm and Shor's factoring and discrete log algorithms. The nonabelian case, however, remains open; an efficient solution would give rise to an efficient quantum algorithm for graph isomorphism. We fully analyze a natural generalization of the algorithm for the abelian case to the nonabelian case and show that the algorithm determines the normal core of a hidden subgroup: in particular, normal subgroups can be determined. We show, however, that this immediate generalization of the abelian algorithm does not efficiently solve graph isomorphism.",
author = "Sean Hallgren and Alexander Russell and Amnon Ta-Shma",
year = "2003",
month = "6",
day = "1",
doi = "10.1137/S009753970139450X",
language = "English (US)",
volume = "32",
pages = "916--934",
journal = "SIAM Journal on Computing",
issn = "0097-5397",
publisher = "Society for Industrial and Applied Mathematics Publications",
number = "4",

}

The hidden subgroup problem and quantum computation using group representations. / Hallgren, Sean; Russell, Alexander; Ta-Shma, Amnon.

In: SIAM Journal on Computing, Vol. 32, No. 4, 01.06.2003, p. 916-934.

Research output: Contribution to journalArticle

TY - JOUR

T1 - The hidden subgroup problem and quantum computation using group representations

AU - Hallgren, Sean

AU - Russell, Alexander

AU - Ta-Shma, Amnon

PY - 2003/6/1

Y1 - 2003/6/1

N2 - The hidden subgroup problem is the foundation of many quantum algorithms. An efficient solution is known for the problem over abelian groups, employed by both Simon's algorithm and Shor's factoring and discrete log algorithms. The nonabelian case, however, remains open; an efficient solution would give rise to an efficient quantum algorithm for graph isomorphism. We fully analyze a natural generalization of the algorithm for the abelian case to the nonabelian case and show that the algorithm determines the normal core of a hidden subgroup: in particular, normal subgroups can be determined. We show, however, that this immediate generalization of the abelian algorithm does not efficiently solve graph isomorphism.

AB - The hidden subgroup problem is the foundation of many quantum algorithms. An efficient solution is known for the problem over abelian groups, employed by both Simon's algorithm and Shor's factoring and discrete log algorithms. The nonabelian case, however, remains open; an efficient solution would give rise to an efficient quantum algorithm for graph isomorphism. We fully analyze a natural generalization of the algorithm for the abelian case to the nonabelian case and show that the algorithm determines the normal core of a hidden subgroup: in particular, normal subgroups can be determined. We show, however, that this immediate generalization of the abelian algorithm does not efficiently solve graph isomorphism.

UR - http://www.scopus.com/inward/record.url?scp=0141534114&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0141534114&partnerID=8YFLogxK

U2 - 10.1137/S009753970139450X

DO - 10.1137/S009753970139450X

M3 - Article

AN - SCOPUS:0141534114

VL - 32

SP - 916

EP - 934

JO - SIAM Journal on Computing

JF - SIAM Journal on Computing

SN - 0097-5397

IS - 4

ER -