| 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: |
25 March 2019 |
Ends: |
24 March 2023 |
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: |
|
| Panel History: |
|
|
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 |