Skip to main content

Foundational structures for quantum information and computation

Objective

We seek to address two fundamental issues in Quantum Information and Computation (QIC), which we see as of key importance to its continued successful development. Firstly, we seek to gain a deeper insight into what Quantum Computation (QC) is in general, its structure, scope and limits, in the light of the recent development of several alternative formats for QC, in particular the measurement-based models. To this end, we will for example explore the axiomatic boundaries of QC, study QC resources and control structures, and aim to identify the essential ingredients responsible for quantum algorithmic speed-up, with the ultimate aim of developing a convincing general model for QC. Secondly, we aim to develop high-level methods for QIC, adapting and extending the methods successfully used in classical computation, such as type systems, logics and calculi, and also the underlying mathematical structures such as categorical algebra.

These high-level methods also have direct applications to QIC in their own right, e.g. for analyzing QCs with distributed resources, and in particular for the design and verification of secure quantum information protocols. These two aims are in fact inextricably inter-twined, since a deeper analysis of the fundamental concepts of QIC must go hand in hand with a sharper elucidation of its formal structure and logical content. Moreover, this research is inherently inter-disciplinary, drawing on insights and methods developed within both Computer Science and Quantum Physics. This is strongly reflected in our consortium, which includes leading figures in both disciplines. We aim to contribute to developing a common framework which brings the various communities together, establishing QIC as a systematic discipline in its own right. Our success would extend the leading European role in structure-oriented informatics research to the rapidly emerging field of QIC.

Funding Scheme

STREP - Specific Targeted Research Project
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD

Participants (9)

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
France
Address
3, Rue Michel-ange
Paris Cedex 16
INSTITUT POLYTECHNIQUE DE GRENOBLE
France
Address
46 Avenue Felix Viallet
38031 Grenoble Cedex 1
LEOPOLD-FRANZENS-UNIVERSITAET INNSBRUCK
Austria
Address
Christoph-probst-platz, Innrain 52
6020 Innsbruck
TECHNISCHE UNIVERSITAET BRAUNSCHWEIG
Germany
Address
Pockelstrasse 14
38106 Braunschweig
THE ROYAL INSTITUTION FOR THE ADVANCEMENT OF LEARNING (MCGILL UNIVERSITY)
Canada
Address
James Administration Building, 845 Sherbrooke St. West
H3A 2T5 Montreal (Qc)
UNIVERSITE JOSEPH FOURIER GRENOBLE 1
France
Address
621 Avenue Centrale - Domaine Universitaire
38041 Grenoble
UNIVERSITE PARIS 7 DENIS DIDEROT
France
Address
Place Jussieu 2
75251 Paris Cedex 05
UNIVERSITY OF BRISTOL
United Kingdom
Address
Senate House, Tyndall Avenue
Bristol
UNIVERSITY OF YORK