Exploring efficient methods for reducing the cost of implementing Quantum Programmes
Cambridge Quantum Computing (“CQC”) will collaborate with Oxford University’s Computer Science Department on a project that will seek to extend the boundaries of effective implementation of quantum software on emerging quantum computers using ZX calculus. As we move towards a period during which a relatively large number of companies and organisations are building quantum processors, quantum information scientists will start to develop algorithms that can actually be run on real machines for the first time. The experimental environment in which this will be done will also be subject to fast moving advances in available hardware given the scope of investment that has been allocated to quantum computing in North America, Europe and Asia. All quantum computers will need the most efficient programming mechanism possible.
Exploiting ZX-calculus (a category-theory based graphical rewrite system) in order to develop an efficient method for reducing the cost of implementing a quantum program on hardware, promises to be an exciting area of leading edge research. The Oxford team will hope to devise exact methods for simplifying quantum circuits by direct rewriting rather than reliance on Hilbert space models. This approach has the additional benefit of supporting automation e.g., by means of “Quantomatic Software” (https://quantomatic.github.io/ ) and the joint team will gain from the experience of CQC in designing and building compilers for quantum processors.
Category Theory has long been utilised by programmers in classical computing environments.
CQC stated, “Given the work that we have been doing with compilers for quantum computing, and given our determination to remain agnostic with respect to quantum computing platforms, the project with Oxford is a natural extension of our focus on commercialising applications as soon as possible. Bob Coecke and his team, including Niel de Beaudrap, Quanlong Wang and Kang Feng Ng are world leading authorities in this unique area that may prove to be of immense value to quantum computing as it becomes more relevant in the real world.”
Reference research paper: A Universal Completion of the ZX-calculus Kang Feng Ng and Quanlong Wang: