Quantum Programming Language

Quantum Programming Language is a programming language, which can be used to write programmes for quantum computer.

Since every quantum machine has to be controlled by classical device, existing quantum programming languages incorporate classical control structures such as loops and conditional execution and allow to operate on classical and quantum data.

Imperative quantum programming

Quantum pseudocode

Quantum pseudocode proposed by E. Knill is the first formalised language for description of quantum algorithms was introduced and, moreover, it was tightly connected with model of quantum machine called Quantum Random Access Machine (QRAM).

Quantum Computing Language

QCL (Quantum Computer Language) is the most advanced implemented quantum programming language. Its syntax resambles syntax of the C programming language and classical data types are similar to data types in C.

The basic built-in quantum data type in QCL is qreg (quantum register). It can be interpreted as a an array of qubits (quantum bits).

qureg x1[2]; // 2-qubit quantum register x1 qureg x2[2]; // 2-qubit quantum register x2 H(x1); // Hadamard operation on x1 H(x2[1]); // Hadamard operation on the first qubit of the register x1

Since qcl interpreter uses qlib simulation library, it is possible to observe internal state of the quantum machine during execution of the quantum programme.

qcl> dump : STATE: 4 / 32 qubits allocated, 28 / 32 qubits free 0.35355 |0> + 0.35355 |1> + 0.35355 |2> + 0.35355 |3> + 0.35355 |8> + 0.35355 |9> + 0.35355 |10> + 0.35355 |11>

Note that dump operation is diffrent from measurement, since it does not influence the state of the quantum machine and can be realised only using simulator.

QCL standard library provides standard quantum operators used in quantum algorithms such as:

  • controlled-not with many target qubits,
  • Hadamard operation on many qubits,
  • parse and controlled phase.

But the most important feature of QCL is the support for used defined operators and functions. Like in modern programming languages, it is possible to define new operations which can be used to manipulate quantum data. For example

operator diffuse(qureg q) { H(q); // Hadamard Transform Not(q); // Invert q CPhase(pi,q); // Rotate if q=1111.. !Not(q); // undo inversion !H(q); // undo Hadamard Transform }

defines inverse about the mean operator used in Grover's algorithm. This allows to define algorithms on higher level of abstraction and extend library of function available for programmer.

Q Language

Q Language is the second implemented imperative quantum programming language.

Q Language was implemented as an extension of C++ programming language. It provides classes for basic quantum operations like QHadamard, QFourier, QNot, QSwap and QSwap, which are derived from the base class Qop. New operators can be defined using C++ class mechanism.

Quantum memory is represented by class Qreg.

Qreg x1(); // 1-qubit quantum register with initial value 0 Qreg x2(2,0); // 2-qubit quantum register with initial value 0

Computation process is executed using provided simulator. Noisy environment can be simulated using parameters of the simulator.

qGCL

Quantum Guarded Command Language (qGCL) was defined by P. Zuliani in his PhD thesis. It is based on Guarded Command Language created by Edsger Dijkstra.

It can be described as a language of quantum programmes specification.

Functional quantum programming

During the last few years many quantum programming languages based on functional programming paradigm where proposed. Classical functional programming languages have many adventages which allow to express algorithms clearly.

QPL and cQPL

Quantum Programming Language (QPL) was defined by Peter Selinger and cQPL is its extension some elements useful for modelling of quantum communications were proposed. This extended language was called cQPL -- communication capable QPL.

At the moment cQPL compiler generates C++ code for linking with libqc simulation library from QCL.

Examples

Qubit allocation and measurement: new qbit q := 0; q *= H; measure q then { print "Head!" } else { print "Tail:("; };

cQPL provides support for modelling quantum communication protocols. For example communication between Alice and Bob can be describe as an exchange of the qubits between two modules

module Alice { new qbit a := 0; new qbit b := 0; send qbit a to Bob; send qbit b to Bob; } module Bob { receive q1:qbit from Alice; receive q2:qbit from Bob; dump q1; dump q2; }

By executing dump one can observe internal state of the quantum machine.

Quantum Lambda Calculus

First attempt to define quantum lambda calculus was made by Philip Maymin in 1996. In 2003 André van Tonder has defined extension of lambda calculus suitable to prove correctness of quantum programmes. He also provided an implementation in Scheme programming language (see: 1).

Quantum Lambda Language is based on Lambda calculus introduced by Alonzo Church and Stephen Cole Kleene in 1930s. It is an alternative model of quantum computation but it can be proved, like in the classical case, that it has the same computational power.

References

  • Quantum Lambda Calculus 5
    • A. van Tonder, A Lambda Calculus for Quantum Computation, SIAM J. Comput. 33, 1109-1135, 2004.
    • A. van Tonder, Quantum Computation, Categorical Semantics and Linear Logic. quant-ph/0312174
    • P. Maymin, Extending the Lambda Calculus to Express Randomized and Quantumized Algorithms, 1996.
    • P. Maymin, The lambda-q calculus can efficiently simulate quantum computers, 1997.
    • P. Selinger, B. Valiron, A lambda calculus for quantum computation with classical control, 2004,
    • P. Arrighi, G. Dowek, Linear-algebraic lambda-calculus: higher-order, encodings and confluence, LNCS 5117, 17-31, 2008.
  • Other
    • Y. Feng, R. Duan, Z. Ji, M. Ying, Semantics of a purely quantum programming language, 2005.

Books

  • Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR; 1st edition (October 28, 1997)

See also

Category:Resources for the QIP Community Category:Models of Quantum Computation

Last modified: 

Sunday, December 6, 2015 - 10:12