Skip to main content
SpringerLink
Log in

A Symbolic Classical Computer Language for Simulation of Quantum Algorithms

  • Conference paper
Book cover Quantum Interaction (QI 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5494))

Included in the following conference series:

  • 1316 Accesses

Abstract

Quantum computing is an extremely promising research combining theoretical and experimental quantum physics, mathematics, quantum information theory and computer science. Classical simulation of quantum computations will cover part of the gap between the theoretical mathematical formulation of quantum mechanics and the realization of quantum computers. One of the most important problems in “quantum computer science” is the development of new symbolic languages for quantum computing and the adaptation of existing symbolic languages for classical computing to quantum algorithms. The present paper is devoted to the adaptation of the Mathematica symbolic language to known quantum algorithms and corresponding simulation on the classical computer. Concretely we shall represent in the Mathematica symbolic language Simon’s algorithm, the Deutsch-Josza algorithm, Grover’s algorithm, Shor’s algorithm and quantum error-correcting codes. We shall see that the same framework can be used for all these algorithms. This framework will contain the characteristic property of the symbolic language representation of quantum computing and it will be a straightforward matter to include this framework in future algorithms.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Feynman, R.P.: Simulating Physics with Computers. International Journal of Theoretical Physics 21, 467 (1982)

    Article  ADS  MathSciNet  Google Scholar 

  2. Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences (1934-1990) 400(1818), 97–117 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  3. Deutsch, D., Jozsa, R.: Rapid solution of problems by quantum computation. Proc. Roy Soc. Lond A 439, 553–558 (1992)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  4. Simon, D.R.: On the power of quantum computation. In: Proceedings of the 35th Annual Symposium on Foundations of Computer Science, Los Alamitos, CA, pp. 116–123. Institute of Electrical and Electronic Engineers Computer Society Press (1994)

    Google Scholar 

  5. Simon, D.R.: On the power of quantum computation. SIAM J. Comput. 26(5), 1474–1483 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  6. Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Journal on Computing 26(5), 1484–1509 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  7. http://www.dwavesys.com

  8. Sofge, D.A.: A survey of quantum programming languages: History, methods, and tools. In: Second International Conference on Quantum, Nano and Micro Technologies, February 2008, pp. 66–71 (2008)

    Google Scholar 

  9. Gay, S.J.: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16(04), 581–600 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  10. Knill, E.: Conventions for quantum pseudocode. Technical report, Technical Report LAUR-96-2724, Los Alamos National Laboratory (1996)

    Google Scholar 

  11. Ömer, B.: A procedural formalism for quantum computing. Master’s thesis, Department of Theoretical Physics (1998)

    Google Scholar 

  12. Ömer, B.: Structured Quantum Programming. Ph.D thesis, Technical University of Vienna (2003)

    Google Scholar 

  13. Ömer, B.: Classical Concepts in Quantum Programming. International Journal of Theoretical Physics 44(7), 943–955 (2005)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  14. Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. The European physical journal. D, Atomic, molecular and optical physics 25(2), 181–200 (2003)

    ADS  Google Scholar 

  15. Juliá-Díaz, B., Burdis, J.M., Tabakin, F.: QDENSITY-A Mathematica Quantum Computer simulation. Computer Physics Communications 174(11), 914–934 (2006)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  16. Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science 14(04), 527–586 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  17. Selinger, P., Valiron, B.: A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science 16(03), 527–552 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  18. Valiron, B.: A Functional Programming Language for Quantum Computation with Classical Control. Master’s thesis, University of Ottawa (2004)

    Google Scholar 

  19. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proc. 20th Annual IEEE Symposium on Logic in Computer Science LICS 2005, pp. 249–258 (2005)

    Google Scholar 

  20. Grattage, J.: QML: A functional quantum programming language. Ph.D. thesis, The University of Nottingham (2006)

    Google Scholar 

  21. Shin-Cheng, M., Bird, R.: Functional quantum programming. In: Proceedings of the 2nd Asian Workshop on Programming Languages and Systems (2001)

    Google Scholar 

  22. Sabry, A.: Modeling quantum computing in Haskell. In: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, pp. 39–49. ACM, New York (2003)

    Google Scholar 

  23. Vizzotto, J.K., da Rocha Costa, A.C.: Concurrent quantum programming in Haskell. In: VII Congresso Brasileiro de Redes Neurais, Sessão de Computação Quântica (2005)

    Google Scholar 

  24. Vizzotto, J., Altenkirch, T., Sabry, A.: Structuring quantum effects: superoperators as arrows. Mathematical Structures in Computer Science 16(03), 453–468 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  25. Grattage, J.: An overview of QML with a concrete implementation in Haskell (2008)

    Google Scholar 

  26. Dirac, P.A.M.: The Principles of Quantum Mechanics. Clarendon Press, Oxford (1995)

    MATH  Google Scholar 

  27. Hirvensalo, M.: Quantum Computing, 1st edn. Springer Series on Natural Computing. Springer, Heidelberg (2001)

    Book  MATH  Google Scholar 

  28. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)

    MATH  Google Scholar 

  29. Chen, G., Staff, C.G., Kauffman, L.H., Lomonaco, S.J.: Mathematics of Quantum Computation and Quantum Technology. Chapman & Hall/CRC, Boca Raton (2007)

    Book  Google Scholar 

  30. Kaye, P., Laflamme, R., Mosca, M.: An Introduction to Quantum Computing. Oxford University Press, Oxford (2007)

    MATH  Google Scholar 

  31. Nyman, P.: Simulation of Quantum Algorithms on a Symbolic Computer. In: AIP Conference Proceedings. AIP, vol. 889, p. 383 (2007)

    Google Scholar 

  32. Nyman, P.: Simulation of deutsch-jozsa algorithm in mathematica. In: AIP, vol. 962, p. 312 (2007)

    Google Scholar 

  33. Nyman, P.: Simulation of Quantum Error Correcting Code (2008), Arxiv preprint arXiv:0809.3306

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. International Center for Mathematical Modeling in Physics, Engineering and Cognitive science MSI, Växjö University, S-35195, Sweden

    Peter Nyman

Authors
  1. Peter Nyman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Science and Technology, Queensland University of Technology, GPO Box 2434, 4001, Brisbane, Australia

    Peter Bruza

  2. Naval Research Laboratory, Navy Center for Applied Research in Artificial Intelligence, 4555 Overlook Avenue S.W, DC 20375, Washington, USA

    Donald Sofge

  3. Paine College, 1235 15th Street, P.O. Box, GA 30901-3182, Augusta, USA

    William Lawless

  4. Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, G12 8QQ, Glasgow, UK

    Keith van Rijsbergen

  5. German Research Center for Artificial Intelligence, Stuhlsatzenhausweg 3, 66123, Saarbrücken, Germany

    Matthias Klusch

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nyman, P. (2009). A Symbolic Classical Computer Language for Simulation of Quantum Algorithms. In: Bruza, P., Sofge, D., Lawless, W., van Rijsbergen, K., Klusch, M. (eds) Quantum Interaction. QI 2009. Lecture Notes in Computer Science(), vol 5494. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00834-4_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00834-4_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00833-7

  • Online ISBN: 978-3-642-00834-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation