@@ -59,9 +59,8 @@ These NISQ computers are not so much single devices, but instead patchworks of c
...
@@ -59,9 +59,8 @@ These NISQ computers are not so much single devices, but instead patchworks of c
classical computers have had a roughly static concept of ``low-level instructions'' for decades, the analogous notion for quantum hardware is constantly changing and evolving to cope with the rapid progress in quantum technology. We face a situation where the ever-multiplying range of quantum computers has minimal software support.
classical computers have had a roughly static concept of ``low-level instructions'' for decades, the analogous notion for quantum hardware is constantly changing and evolving to cope with the rapid progress in quantum technology. We face a situation where the ever-multiplying range of quantum computers has minimal software support.
\newt{%
\newt{%
We propose the development of ``deep quantum compilation'' technology, which is the concept of a compiler for quantum systems which can be used to develop large portions of the software stack, in a way which is modular in design but tightly integrated once compiled.%
We propose the development of ``deep quantum compilation'' technology, which is the concept of a compiler for quantum systems which can be used to develop large portions of the software stack, in a way which is modular in design but tightly integrated once compiled.
A ``deep'' quantum compiler will be versatile enough to target a wide variety of hardware implementations, and simple enough to support any programming language.
A ``deep'' quantum compiler will be versatile enough to target a wide variety of hardware implementations, and simple enough to support any programming language.
This project builds on recent significant
To develop such a compiler, we will leverage the versatility and the power of the \zxcalculus, a tensor-based system for analysing quantum operations.
To develop such a compiler, we will leverage the versatility and the power of the \zxcalculus, a tensor-based system for analysing quantum operations.
Recent formal and practical advances in completeness and optimisation of the \zxcalculus demonstrate a proof-of-principle of the possibility of developing a deep quantum compiler, including provably-correct program transformations for automatically adding error correction and performing hardware-guided optimisations.
Recent formal and practical advances in completeness and optimisation of the \zxcalculus demonstrate a proof-of-principle of the possibility of developing a deep quantum compiler, including provably-correct program transformations for automatically adding error correction and performing hardware-guided optimisations.
Developing such a compiler will allow for the sound development of tightly integrated software stacks for quantum computers, enabling them to perform computations better and faster.
Developing such a compiler will allow for the sound development of tightly integrated software stacks for quantum computers, enabling them to perform computations better and faster.
