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.
Keywords
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Zuliani, P.: Quantum programming with mixed states. Electron. Notes Theor. Comput. Sci. 170, 185–199 (2007)
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)
Selinger, P.: Towards a quantum programming language. Journal of Mathematical Structures in Computer Science: special issue in quantum programming languages 16, 527–586 (2006)
Raussendorf, R., Browne, D.E., Briegel, H.J.: Measurement-based quantum computation with cluster states. Physical Review A 68, 022312 (2003)
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)
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)
Lindley, S., Wadler, P., Yallop, J.: The arrow calculus. Technical Report EDI-INF-RR-1258, The University of Edinburgh, School of Informatics (June 2008)
Hughes, J.: Generalising monads to arrows. Science of Computer Programming 37, 67–111 (2000)
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
Mu, S.C., Bird, R.: Functional quantum programming. In: Second Asian Workshop on Programming Languages and Systems, KAIST, Korea (December 2001)
Mcbride, C., Paterson, R.: Applicative programming with effects. J. Funct. Program. 18(1), 1–13 (2008)
HaskellWiki: MonadPlus (2005), http://www.haskell.org/hawiki/MonadPlus
Perez, R.B.: Entanglement and quantum computation: an overview. Technical Report ORNL/TM-2000/64, Oak Ridge - National Laboratory (December 2000)
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)
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)
Ekert, A., Palma, G.: Quantum cryptography with interferometric quantum entanglement. Journal of Modern Optics 41, 2413–2424 (1994)
D’Hondt, E., Panangaden, P.: The computational power of the W and GHZ states. Quantum Information and Computation 6(2), 173–183 (2006)
Sanders, J.W., Zuliani, P.: Quantum programming. In: Mathematics of Program Construction, pp. 80–99. Springer, Heidelberg (1999)
Altenkirch, T., Grattage, J., Vizzotto, J.K., Sabry, A.: An algebra of pure quantum programming. Electron. Notes Theor. Comput. Sci. 170, 23–47 (2007)
Tonder, A.v.: A lambda calculus for quantum computation. SIAM J. Comput. 33(5), 1109–1135 (2004)
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)
Uustalu, T., Vene, V.: The essence of dataflow programming. In: Central European Functional Programming School, pp. 135–167 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)