Abstract
Although several quantum programming languages have already been proposed, none of these are based on the newly discovered adiabatic evolution approach. We examine some flow control constructs like loops and branching from the adiabatic quantum perspective to illustrate the main design problems as a first step towards the development of an adiabatic quantum programming infrastructure.
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., et al.: Adiabatic Quantum Computation is Equivalent to Standard Quantum Computation. arXiv:quant-ph/0405098 (2004)
Altenkirch, T., et al.: A Functional Quantum Programming Language. arXiv:quant-ph/0409065 (2005)
Bettelli, S.: Toward an architecture for quantum programming. PhD Thesis, Universita di Trento (2002)
Farhi, E., et al.: A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem. arXiv:quant-ph/0104129 (2001)
Farhi, E., et al.: Quantum Computation by Adiabatic Evolution. arXive:quant-ph/0001106 (2000)
Feynman, R.: Simulating Physics with Computers. International Journal of Theoretical Physics 21, 467–488 (1982)
Knill, E.: Conventions for Quantum Pseudocode. LANL report LAUR-96-2724 (1996)
Ömer, B.: A Procedural Formalism for Quantum Computing, Master thesis, Technical University of Vienna (1998)
Selinger, P.: Towards a Quantum Programming Language. Mathematical Structures in Computer Science 14(4), 527–586 (2004)
Selinger, P.: A Brief Survey of Quantum Programming Languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 1–6. Springer, Heidelberg (2004)
Shor, P.: Algorithms for Quantum Computation: Discrete Logarithms and Factoring. arXiv:quant-ph/9508027 (1994)
Van Tonder, A.: A Lambda Calculus for Quantum Computation, arXiv:quant-ph/0307150 (2004)
Zuliani, P.: Quantum Programming. PhD Thesis, University of Oxford (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khusnitdinova, E., Say, A.C.C. (2006). Problems of Adiabatic Quantum Program Design. In: Levi, A., Savaş, E., Yenigün, H., Balcısoy, S., Saygın, Y. (eds) Computer and Information Sciences – ISCIS 2006. ISCIS 2006. Lecture Notes in Computer Science, vol 4263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11902140_108
Download citation
DOI: https://doi.org/10.1007/11902140_108
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47242-1
Online ISBN: 978-3-540-47243-8
eBook Packages: Computer ScienceComputer Science (R0)