Skip to main content
SpringerLink
Log in

Problems of Adiabatic Quantum Program Design

  • Conference paper
Computer and Information Sciences – ISCIS 2006 (ISCIS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4263))

Included in the following conference series:

  • 1077 Accesses

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.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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., et al.: Adiabatic Quantum Computation is Equivalent to Standard Quantum Computation. arXiv:quant-ph/0405098 (2004)

    Google Scholar 

  2. Altenkirch, T., et al.: A Functional Quantum Programming Language. arXiv:quant-ph/0409065 (2005)

    Google Scholar 

  3. Bettelli, S.: Toward an architecture for quantum programming. PhD Thesis, Universita di Trento (2002)

    Google Scholar 

  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. Farhi, E., et al.: Quantum Computation by Adiabatic Evolution. arXive:quant-ph/0001106 (2000)

    Google Scholar 

  6. Feynman, R.: Simulating Physics with Computers. International Journal of Theoretical Physics 21, 467–488 (1982)

    Article  MathSciNet  Google Scholar 

  7. Knill, E.: Conventions for Quantum Pseudocode. LANL report LAUR-96-2724 (1996)

    Google Scholar 

  8. Ömer, B.: A Procedural Formalism for Quantum Computing, Master thesis, Technical University of Vienna (1998)

    Google Scholar 

  9. Selinger, P.: Towards a Quantum Programming Language. Mathematical Structures in Computer Science 14(4), 527–586 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  11. Shor, P.: Algorithms for Quantum Computation: Discrete Logarithms and Factoring. arXiv:quant-ph/9508027 (1994)

    Google Scholar 

  12. Van Tonder, A.: A Lambda Calculus for Quantum Computation, arXiv:quant-ph/0307150 (2004)

    Google Scholar 

  13. Zuliani, P.: Quantum Programming. PhD Thesis, University of Oxford (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Engineering Department, Boğaziçi University, Istanbul, Turkey

    Evgeniya Khusnitdinova & A. C. Cem Say

Authors
  1. Evgeniya Khusnitdinova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. C. Cem Say
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Sabanci University, 34956, Istanbul, Turkey

    Albert Levi

  2. Sabancı University, Istanbul, Turkey

    Erkay Savaş  & Selim Balcısoy  & 

  3. Faculty of Engineering and Natural Sciences, Sabancı University, 34956, Tuzla, Istanbul, Turkey

    Hüsnü Yenigün

  4. Faculty of Engineering & Natural Sciences, Sabanci University, Istanbul, Turkey

    Yücel Saygın

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation