Jamie Vicary
Jamie Vicary
Room 208, Wolfson Building, Parks Road, Oxford OX1 3QD
Themes:
Completed Projects:
Interests
My work is on higher category theory and its applications in computer science and mathematics, particularly in areas related to quantum structures.
The future
 July 2017. Invited talks at QPL 2017 in Nijmegen, The Netherlands, and Higher Structures in Lisbon, Portugal.
 February 2017. I will be giving the Babbage Departmental Seminar in Cambridge, UK, and an invited talk at the 10th Yorkshire and Midlands Category Theory Seminar in Leicester, UK,
The past
 January 2017. New preprint "Shaded tangles for the design and verification of quantum programs" (with David Reutter), describing new techniques for drawing quantum circuits as shaded tangles, so that circuit verification is just knot isotopy. We also give a new state transfer algorithm for a clusterbased quantum computer, give new constructions of error correcting codes based on unitary error bases, and identify surprising topological properties of the quarterturn about the Xaxis on the Bloch sphere.
 December 2016. Globular has been loaded 10,000 times by 2,500 users!
 November 2016. Paper on biunitary constructions (with David Reutter) accepted to QIP 2017, the top international quantum computing conference.
 October 2016. New 112page preprint "Data structures for quasistrict higher categories" (with Krzysztof Bar) gives the theoretical foundations for our proof assistant Globular , including a new definition of semistrict 4category.
 September 2016. New preprint "Biunitary constructions in quantum information" (with David Reutter.) Many new construction methods relating Hadamard matrices, unitary error bases, quantum Latin squares and controlled families, all illustrated with the graphical calculus for 2categories.
 August 2016. Public lecture "Our quantum future" at the University of Dalhousie, Halifax, Canada, introducing quantum computers and discussing the possible impact they might have on society.
 July 2016. Invited lecturer for the AARMS Summer School , University of Dalhousie, Halifax, Canada. I gave a 30hour course on Categories, Quantum Computation and Topology to 30 excellent and motivated students, including a big practical component using Globular.
 June 2016. The paper "The categorified Heisenberg algebra I: a combinatorial representation" (with Jeffrey Morton), describing a combinatorial interpretation of Khovanov's categorification of the Heisenberg algebra, accepted to appear in JPAA.
 May 2016. New result (with Krzysztof Bar), formalized here: every adjunction in a semistrict 4category can be promoted to satisfy the butterfly equations.
 April 2016. Paper "Globular: a proof assistant for higher rewriting" (with Krzysztof Bar and Aleks Kissinger) accepted for FSCD 2016.
 March 2016. Preprint "Tight reference frame–independent quantum teleportation" (with Dominic Verdon) available online, describing the first zerooverhead procedure for quantum teleportation without a shared reference frame. UPDATE: accepted for conference QPL 2016.
 March 2016. Semistrict 4categories are now supported by Globular.
 January 2016. Preprint "Surface proofs for linear logic" (with Lawrence Dunn) available online, describing a coherence result for Frobenius pseudomonoids and swallowtailators, with applications to proof equivalence for linear logic. UPDATE: different parts of this work accepted for workshops HDRA 2016 and LINEARITY 2016.
 December 2015. We are excited to announce the launch of Globular (with Krzysztof Bar and Aleks Kissinger), a new online proof assistant for higher category theory. UPDATE: Over 6000 views in 6 months since launch, and 236 personhours of use!
 November 2015. The proceedings of QPL 2016 (with Chris Heunen and Peter Selinger) are now available.
 September 2015. Preprint "Modular categories as representations of the 3dimensional bordism 2category" (with Bruce Bartlett, Chris Douglas and Chris SchommerPries) available online, giving the first full proof that 3dimensional topological quantum field theories are classified in terms of modular tensor categories.
 April 2015. Preprint "Quantum Latin squares and unitary error bases" (with Benjamin Musto) now available, which introduces quantum Latin squares and shows how they can be used to construct new sorts of teleportation protocol. UPDATE: accepted for QIP 2016, the top annual quantum information conference. UPDATE: to appear in Quantum Information & Computation.
Recent talks
 December 2016. Invited talk "Data structures for quasistrict higher categories", Compositionality, Simons Institute for the Theory of Computing, Berkeley, USA.
 October 2016. Invited talk "Formalizing compositional proofs", theoretical computer science seminar, University of Birmingham, UK.
 August 2016. Contributed talk "Semistrict 4categories and strong adjunctions", Category Theory 2016, Dalhousie University, Halifax, Canada.
 August 2016. Invited public lecture "Our quantum future" at the University of Dalhousie, Halifax, Canada.
 June 2016. Invited tutorial "An introduction to Globular ", Foundational Methods in Computer Science , University of British Columbia, Vancouver, Canada.
 May 2016. Invited talk "Formalizing geometrical proofs", Georgia Topology Conference , University of Georgia, Athens, USA.
 April 2016. Invited talk "Biunitarity for quantum structures", Eighth Workshop on Information and Processes , Fontainebleau, France.
 April 2016. Invited talk "Surface proofs for linear logic", Theoretical Computer Science seminar series, University of Bath, UK.
 March 2016. Invited talk "Unspeakable cryptography", presented at the First Oxford Cryptography Day , University of Oxford, UK.
 October 2015. Invited talk "Higher categories and quantum computation", presented at Higher TQFT and CQM , Erwin Scrödinger Institute, Vienna, Austria.
 July 2015. Contributed talk "Automated higher rewriting", presented at Higher Dimensional Rewriting and its Applications , Warsaw, Poland.
 June 2015. Invited talk "Higher categories and quantum field theories", presented at the 18th Symposium on Topological Quantum Information , Athens, Greece.
 June 2015. Invited talk "Topological foundations for computation", presented at LowDimensional Topology and its Relationships with Physics , AMSEMSSPM Joint International Meeting, Porto, Portugal.
 April 2015. Invited talk at Workshop on Homotopy Type Theory and Physics, University of Bristol, UK.
Other things
Here's some other things I'm doing at the moment.
 I coorganize the Oxford Advanced Seminar in Informatic Structures (OASIS), with Chris Heunen, Clare Horsman, Aleks Kissinger and Sam Staton.
 I'm part of the Centre for Quantum Mathematics and Computation (QMAC), an interdisciplinary collaboration between the Oxford's Computer Science, Mathematics and Physics departments.
 I maintain two popular mailing lists, one for international quantum foundations announcements with over 950 subscribers, and another for quantum computing and quantum foundations events taking place in Oxford with around 100 subscribers. Please get in touch if you'd like to be added to either of these.
 I am the lecturer for Categorical Quantum Mechanics (with Dan Marsden, and originally with Chris Heunen). These notes are being turned into a textbook with OUP, to be published soon.
 I frequently supervise DPhil, MSc and undergraduate students on topics related to the mathematical foundations of quantum computing. If you'd like to work on a project with me, get in touch.
Biography
Selected Publications

Groupoid Semantics for Thermal Computing
Krzysztof Bar and Jamie Vicary
2014.
Details about Groupoid Semantics for Thermal Computing  BibTeX data for Groupoid Semantics for Thermal Computing  Link to Groupoid Semantics for Thermal Computing

Wormholes and entanglement
John Baez and Jamie Vicary
2014.
Details about Wormholes and entanglement  BibTeX data for Wormholes and entanglement

Topological Structure of Quantum Algorithms
Jamie Vicary
In Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. Pages 35. 2013.
Details about Topological Structure of Quantum Algorithms  BibTeX data for Topological Structure of Quantum Algorithms  Link to Topological Structure of Quantum Algorithms