Project description
Simplifications open the door to complex quantum computations
Quantum computers will not only enable exponentially faster calculations but also provide a solution to problems not previously accessible. Relying on qubits associated with the quantum states of things like electrons or photons expands information storage capability way beyond the zeros and ones of conventional bits. It also significantly increases sensitivity to interactions with the external environment. Currently, computations are limited by the number of qubits, with the latest and greatest computers still having under 100. The EU-funded DQC project is developing advanced mathematical approaches and software tools for quantum circuit optimisation and quantum simulation. The tools will enable simplifications that both reduce susceptibility to noise and enhance the capabilities of small numbers of qubits.
Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- engineering and technology electrical engineering, electronic engineering, information engineering electronic engineering computer hardware quantum computers
- engineering and technology nanotechnology nanoelectromechanical systems
- natural sciences mathematics pure mathematics discrete mathematics graph theory
- natural sciences computer and information sciences computational science multiphysics
- natural sciences computer and information sciences software software applications simulation software
You need to log in or register to use this function
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
-
H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions
MAIN PROGRAMME
See all projects funded under this programme -
H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility
See all projects funded under this programme
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)
See all projects funded under this funding scheme
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
(opens in new window) H2020-MSCA-IF-2020
See all projects funded under this callCoordinator
Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.
OX1 2JD Oxford
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.