The arguments given in this paper suggest that Grover’s and Shor’s algorithms are more closely related than one might at first expect. Specifically, we show that Grover’s algorithm can be viewed as a quantum algorithm which solves a non-abelian hidden subgroup problem (HSP). But we then go on to show that the standard non-abelian quantum hidden subgroup (QHS) algorithm can not find a solution to this particular HSP. This leaves open the question as to whether or not there is some modification of the standard non-abelian QHS algorithm which is equivalent to Grover’s algorithm.
Similar content being viewed by others
References
Bernstein E., Vazirani U. (1997) SIAM J. Comp. 26(5): 1411–1473
Biham E., Biham O., Biron D., Grassl M., Lidar D.A. (1999) . Phys. Rev. A 60, 2742–2745
Biham E., Biham O., Biron D., Grassl M., Lidar D.A.,Shapira D. (2001) . Phys. Rev. A 63, 012310
R. Cleve, A. Ekert, C. Macchiavello, and M. Mosca, Phil. Trans. Roy. Soc. Lond., A(1997). http://xxx.lanl.gov/abs/quant-ph/9708016
Ekert A.K., Jozsa R. (1996) . Rev. Mod. Phys. 68, 733–753
M. Ettinger and P. Hoyer, On Quantum Algorithms for Noncommutative Hidden Subgroups(1998). http://xxx.lanl.gov/abs/quant-ph/9807029
M. Ettinger, P. Hoyer, and E. Knill, Hidden Subgroup States are Almost Orthogonal, http://xxx.lanl.gov/abs/quant-ph/9901034
L. K. Grover, in Proceedings of 28th Annual ACM Symposium on the Theory of Computation(ACM Press, New York, 1996), pp. 212–219.
L. K. Grover, Phys. Rev. Lett.79(2), (1997). (http://xxx.lanl.gov/abs/quant-ph/9706033)
L. K. Grover, A Framework for Fast Quantum Mechanical Algorithms, in Proceedings of 30th Annual ACM Symposium on Theory of Computing (1998), pp. 53–62. http://xxx.lanl.gov/abs/quant-ph/9711043
S. Hallgren, A. Russell, and A. Ta-Shma, The Hidden subgroup problem and quantum computation using group representations, in Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing (Portland, Oregon, May 2000), pp. 627–635.
Hallgren S., Russell A., Ta-Shma A. (2003) . SIAM J. Comput. 32(4): 916–934
G. Ivanyos, F. Magniez, and M. Santha, Efficient Quantum Algorithms for Some Instances of the Non-Abelian Hidden Subgroup Problem, in Proceedings of 13th Annual ACM Symposium on Parallel Algorithm and Architecture (2001), pp. 263–270. http://xxx.lanl.gov/abs/quant-ph/0102014
Jozsa R. (1998) Quantum Algorithm and the Fourier Transform. Proc. Roy. Soc. London Soc., Ser. A 454, 323–337
R. Jozsa, Quantum Factoring, Discrete Logarithms, and the Hidden Subgroup Problem, IEEE Comp. Sci. Eng. 3(2), 34–43 (2001). http://xxx.lanl.gov/abs/quant-ph/0012084
A. Kitaev, Quantum Measurement and the Abelian Stabilizer Problem(1995). Quant-ph preprint archive 9511026.
S. J. Lomonaco Jr., A Rosetta Stone for Quantum Mechanics with an Introduction to Quantum Computation, in Quantum Computation: A Grand Mathematical Challenge for the Twenty-First Century and the Millennium PSAPM/58 (American Mathematical Society, Providence, RI, 2002). (http://xxx.lanl.gov/abs/quant-ph/007045).
S. J. Lomonaco Jr., Shor’s Quantum Factoring Algorithm, PSAPM/58 (American Mathematical Society, Providence, RI, 2002), pp. 161–179. (http://xxx.lanl.gov/abs/quantph/0010034).
S. J. Lomonaco Jr., Grover’s Quantum Search Algorithm, PSAPM/58(American Mathematical Society, Providence, RI, 2002), pp. 181–192. (http://arxiv.org/abs/quantph/0010040)
S. J. Lomonaco Jr. and H. E. Brandt, Quantum Computation and Information Contemporary Mathematics (American Mathematical Society, Providence, Rhode Island, 2000) Vol. 305.
S. J. Lomonaco Jr. and L. H. Kauffman, Quantum Hidden Subgroup Algorithms: A Mathematical Perspective, CONM/305 (2000), pp. 139–202. (http://arxiv.org/abs/quant-ph/0201095)
S. J. Lomonaco Jr. The Non-abelian Fourier Transform and Quantum Computation, MSRI Streaming Video (2000). http://www.msri.org/publications/ln/msri/2000/qcomputing/lomonaco/1/index.html
S. J. Lomonaco Jr. and L. H. Kauffman, Quantum Hidden Subgroup Algorithms: An Algorithmic Toolkit, in G. Chen, L. Kauffman, and S. Lomonaco (eds.). The Mathematics of Quantum Computation and Quantum Technology, (Chapman & Hall/CRC Press, 2007).
S. J. Lomonaco Jr. and L. H. Kauffman, Quantum Hidden Subgroup Algorithms on Free Groups(in preparation).
M. Mosca and A. Ekert, The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer, in Proceedings of the 1st NASA International Conference on Quantum Computing and Quantum Communication, Lecture Notes in Computer Science, Vol. 1509/1999, Springer-Verlag (1999), pp. 174–190. (http://xxx.lanl.gov/abs/quant-ph/9903071)
A. Russell and A. Ta-Shma, Normal Subgroup Reconstruction and Quantum Computation Using Group Representations(STOC, 2000).
P. W. Shor, SIAM J. Comp.26(5) 1484–1509 (1997). (http://xxx.lanl.gov/abs/quantph/9508027)
P. W. Shor, Introduction to Quantum Algorithms, in Quantum Computation: A Grand Mathematical Challenge for the Twenty-First Century and the Millennium, (PSAPM/58, American Mathematical Society, Providence, RI, 2002). (http://xxx.lanl.gov/abs/quant-ph/0005003)
W. van Dam and L. Ip, Quantum Algorithms for Hidden Coset Problems, manuscript, http://www.cs.caltech.edu/~hallgren/hcp.pdf
Vazirani U. (1998) . Phil. Trans. Roy. Soc. Lond. Series A 354: 1759–1768
C. Zalka, Phys. Rev. A 60(4), 2746–2751 (1999). (http://xxx.lanl.gov/abs/quant-ph/9711070).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lomonaco, S.J., Kauffman, L.H. Is Grover’s Algorithm a Quantum Hidden Subgroup Algorithm?. Quantum Inf Process 6, 461–476 (2007). https://doi.org/10.1007/s11128-007-0066-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11128-007-0066-1
Keywords
- Grover’s algorithm
- Shor’s algorithm
- quantum algorithms
- hidden subgroup algorithms
- hidden subgroup problems