Summary
Existing quantum computers are on the verge of solving practical problems that are intractable for classical computers. The obstacles that are holding current generation quantum computers back are their limited number of qubits and the presence of noise, both of which prohibit lengthy computations. Tools that decrease the size of a given computation can hence greatly increase the scope of problems current quantum computers can solve. This project will build such tools.
Firstly, we develop new methods and software for optimising quantum circuits. Secondly, we build powerful verification methods that ensure correctness of our optimisations. Thirdly, we develop classical simulators of quantum circuits to allow the testing of quantum computations.
While these might seem like disparate problems, in our approach they become aspects of a single problem which is solved by employing powerful graph-theoretic simplification methods that combine techniques from measurement-based quantum computation, tensor networks and the ZX-calculus. This allows us to develop simplifications that would be hard to find with previous methods.
In summary, this project unifies the problems of optimisation, verification and simulation of quantum circuits while improving upon the state-of-the-art.
Firstly, we develop new methods and software for optimising quantum circuits. Secondly, we build powerful verification methods that ensure correctness of our optimisations. Thirdly, we develop classical simulators of quantum circuits to allow the testing of quantum computations.
While these might seem like disparate problems, in our approach they become aspects of a single problem which is solved by employing powerful graph-theoretic simplification methods that combine techniques from measurement-based quantum computation, tensor networks and the ZX-calculus. This allows us to develop simplifications that would be hard to find with previous methods.
In summary, this project unifies the problems of optimisation, verification and simulation of quantum circuits while improving upon the state-of-the-art.
Unfold all
/
Fold all
More information & hyperlinks
| Web resources: | https://cordis.europa.eu/project/id/101018390 |
| Start date: | 01-09-2022 |
| End date: | 31-08-2024 |
| Total budget - Public funding: | 212 933,76 Euro - 212 933,00 Euro |
Cordis data
Original description
Existing quantum computers are on the verge of solving practical problems that are intractable for classical computers. The obstacles that are holding current generation quantum computers back are their limited number of qubits and the presence of noise, both of which prohibit lengthy computations. Tools that decrease the size of a given computation can hence greatly increase the scope of problems current quantum computers can solve. This project will build such tools.Firstly, we develop new methods and software for optimising quantum circuits. Secondly, we build powerful verification methods that ensure correctness of our optimisations. Thirdly, we develop classical simulators of quantum circuits to allow the testing of quantum computations.
While these might seem like disparate problems, in our approach they become aspects of a single problem which is solved by employing powerful graph-theoretic simplification methods that combine techniques from measurement-based quantum computation, tensor networks and the ZX-calculus. This allows us to develop simplifications that would be hard to find with previous methods.
In summary, this project unifies the problems of optimisation, verification and simulation of quantum circuits while improving upon the state-of-the-art.
Status
TERMINATEDCall topic
MSCA-IF-2020Update Date
28-04-2024
Images
No images available.
Geographical location(s)
Structured mapping
