| EPSRC Reference: |
EP/C536878/1 |
| Title: |
Polarized Logic, Geometry of Interaction, and Quantum Computation |
| Principal Investigator: |
Abramsky, Professor S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Oxford |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
15 October 2004 |
Ends: |
14 February 2005 |
Value (£): |
7,500
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
New & Emerging Comp. Paradigms |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This joint research program of Professor Samson Abramsky and visiting researcher Prof. Philip Scott is a study of mathematical models for the dynamical behaviour of proofs (and programs). This includes studying the logical and semantical issues that would arise if one were to program quantum computers and reason compositionally about their behaviour. The general program of studying the dynamics of information flow in proof networks first arose in mathematical logic (proof theory) under the name Geometry of Interaction (Gol). Here we shall both study, and connect up, Geometry of Interaction models and computation based on Gol, with recent work in theoretical computer science (for example, game semantics) and models of quantum computation and quantum protocols. We believe this will lead to new insights into complexity of quantum algorithms and associated logics for reasoning about them. At the same time we believe this will lead to new insights into the entire Geometry of Interaction program in logic.We shall also be looking at models which fully capture (in an appropriate technical sense) the behaviour of proofs (considered as programs). These kinds of models, known as fully complete models,are a long-standing interest of both researchers. This part of the program will study new such fullycomplete models, arising from ideas in both quantum mechanics and algebraic topology, and has connections with the Geometry of Interaction programme mentioned above.
|
|
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 |