EPSRC logo

Details of Grant 

EPSRC Reference: EP/S018883/1
Title: Higher Algebra and Quantum Protocols
Principal Investigator: Douglas, Dr C
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Mathematical Institute
Organisation: University of Oxford
Scheme: Standard Research
Starts: 01 January 2019 Ends: 31 December 2021 Value (£): 494,701
EPSRC Research Topic Classifications:
Algebra & Geometry Fundamentals of Computing
Quantum Optics & Information
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
EP/S018646/1
Panel History:
Panel DatePanel NameOutcome
05 Sep 2018 EPSRC Mathematical Sciences Prioritisation Panel September 2018 Announced
Summary on Grant Application Form
This research project will integrate expertise in the Oxford Mathematical Institute and the Birmingham School of Computer Science to build theoretical and practical tools for higher-dimensional algebraic computations in geometry and quantum information science.

Through a structured research agenda, we will formulate the first combinatorial language of higher categories that is amenable to computer implementation and admits a natural geometric calculus, providing a natural setting to investigate modern questions in higher representation theory, quantum algebra, and quantum computation. We will then design and build a computer implementation of this language and thereby create a research and proof assistant that natively allows the exploration and verification of complex manipulations of high-dimensional structures. Finally we will apply this computational tool to generalise structures in quantum algebra, yielding novel protocols in quantum information, such as quantum error correction of nonplanar states.

This research effort will be organised into four strands---Foundations, Computer Implementation, Graphical Calculus, and Quantum Protocols---and the ambitious, integrated research agenda will be achieved by uniting researchers across the two institutions and disciplines, and by actively engaging with the broader scientific community.

Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.ox.ac.uk