Are you familiar with programming, but know absolutely nothing about quantum mechanics?
This was exactly my case when the IBM Quantum Experience was announced. For the first time, a quantum computer has been made publicly available, and anybody selected to participate could send programs to it.
I applied. I was selected. And then I had a really rough time attempting to decipher the user guide of the IBM 5Q quantum computer I had access to. The IBM staff tried to ease the learning curve, but I felt that the documentation made a lot of assumptions that a non-physicist do not have, and "intuitive" ideas presented to me (like the Bloch sphere) just confused me even more.
Therefore, I decided to compile below a generic introduction on quantum programming designed for classical programmers to ease their learning curve. I hope it will be useful to you and anybody else you share it to.
Be warned however that quantum programming requires some pretty advanced mathematical knowledge, but as long as you're familiar with probability, binary numbers, complex numbers and linear algebra, you should be fine.
Are you ready? Let's go!
Meet the qubit
The qubit is an extension of the bit. Just like the bit, it returns a value of 0 or 1 when read, and the returned value doesn't change when read multiple times consecutively.
Unlike the bit however, the qubit does not simply store a value of 0 or 1. In fact, its internals cannot be well-defined, as its output is in general dependent on global factors which cannot be fully known. For example, when qubits interact with each other, they may become entangled in a way which causes an operation on one to affect the output of the other regardless of the physical distance between them.
What is possible however is to determine the probability of a qubit returning 0 or 1 based on our partial knowledge of it and all the other qubits it has interacted with during previous operations.
Note that a qubit not guaranteed to return a specific value is said to be in a superposition state.
A probability amplitude is a complex number directly linked to a possible qubits' output combination. The probability of reading a specific output combination is equal to the square of the absolute value of its probability amplitude.
Therefore, the known state of an entire set of qubits can be stored as a vector of all probability amplitudes of this set. By convention, this vector is a column vector ordered from lowest to highest possible binary outputs. Such a vector is called a quantum state.
Here is an example of a quantum state of 2 entangled qubits, along with its output probabilities:
A standard quantum computer initializes its qubits as independent quantum states with probability amplitudes of 1 for returning 0 and 0 for returning 1:
This effectively causes all qubits to always return 0 if immediately read.
Quantum states can be combined as a single quantum state in order to operate on qubits between them. This is done by calculating the Kronecker product of the quantum states:
Note that two groups of different qubits sharing a quantum state are entangled if and only if they cannot be described as independent quantum states.
While classical computers uses logic gates to operate on bits, quantum computers uses quantum gates to operate on qubits. A quantum gate can be represented as a unitary matrix of side length of 2 to the power of the number of qubits it operates on.
The effect of a quantum gate is calculated by multiplying the quantum gate matrix with the quantum state of the qubit set going through it. The result is a new quantum state.
Here is an example of a 1-qubit quantum gate applied on an initial quantum state to make it always return 1:
In the case where a quantum gate operates on a subset of the total number of entangled qubits, the Kronecker product can again be used to expand the quantum gate matrix with a 2 by 2 identity matrix per qubit. This allows quantum computers to execute some programs significantly faster on average than what is possible on classical computers, since the execution time to apply a specific quantum gate instruction is constant.
For example, here is a 2-qubit quantum gate that reverses the least significant qubit's output only if the most significant qubit would return 1. It is expanded as a 3-qubit operator in a way that applies the gate on the two most significant qubits. It is then applied on a quantum state that always returns 100 to make it always return 110 instead:
Note that a quantum gate's matrix may require a change of basis (through standard linear algebra) if the order of qubits we want to operate on do not match those of the quantum state. This also applies for expanded quantum gate matrices.
After considering the limitations of the architecture of the quantum computer used, the only thing left is to write a desired quantum program in a compatible programming language, just like any classical program,
Here is an example of a program written in IBM's QASM assembly language:
//IBMQASM 1.1 qreg q,5; gate h, [[0.7071067811865476,0.7071067811865476],[0.7071067811865476,-0.7071067811865476]]; gate cx, [[1,0,0,0],[0,1,0,0],[0,0,0,1],[0,0,1,0]]; h q; cx q, q; measure q; measure q;
This example sets two qubits in a popular quantum state (the Bell state) before measuring them. The expected output is 00 with 1/2 probability and 11 with 1/2 probability.
One major problem in current quantum computers is the instability of qubits, and the process of error injections in a quantum state is called decoherence. In addition, qubit measurement devices also have error biases as well.
Until technology is perfected to reduce these errors to a trivial level, a quantum programmer should take into consideration error probabilities of the computer's architecture, and apply error correction algorithms to its programs when necessary.
Describing a mixed state of probabilities due to these error sources can be done with a density matrix, which is out of scope of this post.
To be continued?
I hope that my explanation was clear enough for you to be able to design your own quantum programs. Quantum programming is a young science so there's still plenty to discover, but you may want to look at some existing quantum algorithms for inspiration.
Special thanks to the entire IBM Quantum staff for introducing me to quantum computers and answering my technical questions!
During my research, I often stumbled on quantum states defined in bra-ket notation. Here is what you should know if you would like to read other sources on the subject.
One big advantage of this notation is to be able to perform the following decomposition of any quantum state, which can help designing and analyzing programs:
Common quantum gates
Note that the U gate below is an implementation of the universal unitary quantum gate.
You may also want to refer to the full list of quantum gates supported by the IBM Quantum Experience.
Note that 𝜏 = 2𝜋.
Here are a few commands I crafted to validate and easily read API definitions in the OpenAPI format, using Docker and open source tools provided by Swagger. I have yet to convert them into proper shell scripts, but I hope these will be helpful nonetheless. The commands are designed to be run in a…
The following is a collection of free international standards, registries and references that I collected throughout the years while developing websites and web services. These references, while very precise and technical by their nature, are extremely useful in order to ensure that a specific…
The following is a Python script developed by yours truly to generate a sector according to the core rulebook of the Mongoose Traveller 2nd Edition tabletop RPG, exactly as described in the Universe and World Creation chapter. It is designed to describe worlds in human-readable format as much as…
As I am continuing my personal journey into deep learning research and development, I wanted to try out PyTorch, a machine learning framework with GPU acceleration primarily designed for the Python programming language. However, I couldn't find any good introductory resource online for it. So I read…
"Everything must be done now. Let's re-use existing proven solutions and build over them so we don't waste time." And thus, people will look at the top 2 or 3 most popular solutions they already know about or can easily find on the Internet, compare them, pick the best one, and maybe add or change…
See all of my articles