Problems of Adiabatic Quantum Program Design

  • Evgeniya Khusnitdinova
  • A. C. Cem Say
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4263)


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.


Quantum Computation Quantum Algorithm Quantum Circuit Quantum Gate Boolean Formula 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aharonov, D., et al.: Adiabatic Quantum Computation is Equivalent to Standard Quantum Computation. arXiv:quant-ph/0405098 (2004)Google Scholar
  2. 2.
    Altenkirch, T., et al.: A Functional Quantum Programming Language. arXiv:quant-ph/0409065 (2005)Google Scholar
  3. 3.
    Bettelli, S.: Toward an architecture for quantum programming. PhD Thesis, Universita di Trento (2002)Google Scholar
  4. 4.
    Farhi, E., et al.: A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem. arXiv:quant-ph/0104129 (2001)Google Scholar
  5. 5.
    Farhi, E., et al.: Quantum Computation by Adiabatic Evolution. arXive:quant-ph/0001106 (2000)Google Scholar
  6. 6.
    Feynman, R.: Simulating Physics with Computers. International Journal of Theoretical Physics 21, 467–488 (1982)CrossRefMathSciNetGoogle Scholar
  7. 7.
    Knill, E.: Conventions for Quantum Pseudocode. LANL report LAUR-96-2724 (1996)Google Scholar
  8. 8.
    Ömer, B.: A Procedural Formalism for Quantum Computing, Master thesis, Technical University of Vienna (1998)Google Scholar
  9. 9.
    Selinger, P.: Towards a Quantum Programming Language. Mathematical Structures in Computer Science 14(4), 527–586 (2004)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Shor, P.: Algorithms for Quantum Computation: Discrete Logarithms and Factoring. arXiv:quant-ph/9508027 (1994)Google Scholar
  12. 12.
    Van Tonder, A.: A Lambda Calculus for Quantum Computation, arXiv:quant-ph/0307150 (2004)Google Scholar
  13. 13.
    Zuliani, P.: Quantum Programming. PhD Thesis, University of Oxford (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Evgeniya Khusnitdinova
    • 1
  • A. C. Cem Say
    • 1
  1. 1.Computer Engineering DepartmentBoğaziçi UniversityTurkey

Personalised recommendations