Objective
Quantum computing is undergoing a phase transition, as the field shifts from asking what if (quantum computers existed) to ``how do'' (we leverage the power of emerging quantum devices). Progress in the design of experimental quantum systems raises a unique challenge: given that their size already precludes direct classical simulation, and given that quantum states are perturbed by observation, how does one test and certify the new devices? This difficulty is starkly evidenced by the ongoing race for demonstrating a quantum computational advantage. Given that the task cannot be replicated classically, can it be verified?
The main goals of this project are to develop effective means to characterize, certify and harness complex quantum states and devices. To achieve this we employ the framework of interactive proofs from classical complexity theory. We use this to model interactions as varied as demonstrations of quantumness, the delegation of a quantum computation, or cryptographic tasks such as quantum key distribution.
The major challenges that we address are scalability, noise tolerance, and security. To achieve scalability we build on complexity-theoretic techniques such as the notion of probabilistically checkable proofs. We focus on the design of protocols that successfully complete even when the quantum device is slightly noisy. The security notions that we seek encompass device independence (no a priori trust is placed on the quantum equipment) and side information (privacy should be guaranteed with respect to any external party).
Large-scale experimental demonstrations of quantum networks are currently being planned in many countries, including a leading European effort (EuroQCI). Our work lays the theoretical groundwork for scalable, secure and trustworthy interactions in such networks. It paves the way to making the power of quantum devices for computation and communication available to a wider public remotely and through classical means.
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.
-
HORIZON.1.1 - European Research Council (ERC)
MAIN PROGRAMME
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.
HORIZON-ERC - HORIZON ERC Grants
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) ERC-2022-COG
See all projects funded under this callHost institution
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.
7610001 Rehovot
Israel
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.