Skip to main content
SpringerLink
Log in

Reasoning about General Quantum Programs over Mixed States

  • Conference paper
Formal Methods: Foundations and Applications (SBMF 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5902))

Included in the following conference series:

Abstract

In this work we present a functional programming language for quantum computation over mixed states. More interestingly, we develop a set of equations for the resulting programming language, proposing the first framework for equational reasoning about quantum computations over mixed states.

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. Aharonov, D., Kitaev, A., Nisan, N.: Quantum circuits with mixed states. In: Proceedings of the thirtieth annual ACM symposium on Theory of computing, pp. 20–30. ACM Press, New York (1998)

    Chapter  Google Scholar 

  2. Zuliani, P.: Quantum programming with mixed states. Electron. Notes Theor. Comput. Sci. 170, 185–199 (2007)

    Article  Google Scholar 

  3. Vizzotto, J.K., Altenkirch, T., Sabry, A.: Structuring quantum effects: Superoperators as arrows. Journal of Mathematical Structures in Computer Science: special issue in quantum programming languages 16, 453–468 (2006)

    MATH  MathSciNet  Google Scholar 

  4. Selinger, P.: Towards a quantum programming language. Journal of Mathematical Structures in Computer Science: special issue in quantum programming languages 16, 527–586 (2006)

    MATH  MathSciNet  Google Scholar 

  5. Raussendorf, R., Browne, D.E., Briegel, H.J.: Measurement-based quantum computation with cluster states. Physical Review A 68, 022312 (2003)

    Article  Google Scholar 

  6. Vizzotto, J.K., DuBois, A.R., Sabry, A.: The arrow calculus as a quantum programming language. FoLLI/LNAI Lecture Notes in Computer Science, vol. 5514, pp. 379–393. Springer, Heidelberg (2009)

    Google Scholar 

  7. Moggi, E.: Computational lambda-calculus and monads. In: Proceedings of the Fourth Annual Symposium on Logic in computer science, pp. 14–23. IEEE Press, Los Alamitos (1989)

    Chapter  Google Scholar 

  8. Lindley, S., Wadler, P., Yallop, J.: The arrow calculus. Technical Report EDI-INF-RR-1258, The University of Edinburgh, School of Informatics (June 2008)

    Google Scholar 

  9. Hughes, J.: Generalising monads to arrows. Science of Computer Programming 37, 67–111 (2000)

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

  11. Mu, S.C., Bird, R.: Functional quantum programming. In: Second Asian Workshop on Programming Languages and Systems, KAIST, Korea (December 2001)

    Google Scholar 

  12. Mcbride, C., Paterson, R.: Applicative programming with effects. J. Funct. Program. 18(1), 1–13 (2008)

    Article  MATH  Google Scholar 

  13. HaskellWiki: MonadPlus (2005), http://www.haskell.org/hawiki/MonadPlus

  14. Perez, R.B.: Entanglement and quantum computation: an overview. Technical Report ORNL/TM-2000/64, Oak Ridge - National Laboratory (December 2000)

    Google Scholar 

  15. Bennett, C.H., Brassard, G., Crepeau, C., Jozsa, R., Peres, A., Wootters, W.: Teleporting an unknown quantum state via dual classical and EPR channels. Phys. Rev. Lett., 1895–1899 (1993)

    Google Scholar 

  16. Bennett, C.H., Wiesner, S.J.: Communication via one- and two-particle operators on einstein–podolsky–rosen states. Phys. Rev. Lett. 69, 2881–2884 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  17. Ekert, A., Palma, G.: Quantum cryptography with interferometric quantum entanglement. Journal of Modern Optics 41, 2413–2424 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  18. D’Hondt, E., Panangaden, P.: The computational power of the W and GHZ states. Quantum Information and Computation 6(2), 173–183 (2006)

    MATH  MathSciNet  Google Scholar 

  19. Sanders, J.W., Zuliani, P.: Quantum programming. In: Mathematics of Program Construction, pp. 80–99. Springer, Heidelberg (1999)

    Google Scholar 

  20. Altenkirch, T., Grattage, J., Vizzotto, J.K., Sabry, A.: An algebra of pure quantum programming. Electron. Notes Theor. Comput. Sci. 170, 23–47 (2007)

    Article  Google Scholar 

  21. Tonder, A.v.: A lambda calculus for quantum computation. SIAM J. Comput. 33(5), 1109–1135 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  22. Arrighi, P., Díaz-Caro, A.: Scalar system F for linear-algebraic λ-calculus: Towards a quantum physical logic. In: Proceedings of the 6th International Workshop on Quantum Physics and Logic, Oxford, UK, pp. 206–215 (2009)

    Google Scholar 

  23. Uustalu, T., Vene, V.: The essence of dataflow programming. In: Central European Functional Programming School, pp. 135–167 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mestrado em Nanociências, Centro Universitário Franciscano, Santa Maria, RS, Brazil

    Juliana Kaizer Vizzotto

  2. DELC/CT, Cidade Universitária, Universidade Federal de Santa Maria, RS, Brazil

    Giovani Rubert Librelotto

  3. Department of Computer Science, Indiana University, Bloomington, USA

    Amr Sabry

Authors
  1. Juliana Kaizer Vizzotto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovani Rubert Librelotto
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Amr Sabry
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Campus Universitário, CEP: 59078-900, Lagoa Nova Natal, RN, Brasil

    Marcel Vinícius Medeiros Oliveira

  2. Department of Computer Science, University of York, Heslington, YO1 7BZ, York, UK

    Jim Woodcock

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vizzotto, J.K., Librelotto, G.R., Sabry, A. (2009). Reasoning about General Quantum Programs over Mixed States. In: Oliveira, M.V.M., Woodcock, J. (eds) Formal Methods: Foundations and Applications. SBMF 2009. Lecture Notes in Computer Science, vol 5902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10452-7_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-10452-7_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-10451-0

  • Online ISBN: 978-3-642-10452-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation