# Oxford Quantum Talks Archive

We currently have videos of 194 talks over 17 events:

- Categories, Logic and Foundations of Physics I
- Categories, Logic and Foundations of Physics II
- Categories, Logic and Foundations of Physics III
- Categories, Logic and Foundations of Physics IV
- Categories, Logic and Foundations of Physics V
- Categories, Logic and Foundations of Physics VI
- Categories, Logic and Foundations of Physics VII
- Clifford Lectures 2008
- Courses
- Flowin'Cat 2010
- ICALP 2008
- Logic, Physics and Quantum Information Theory
- QICS spring school 2010
- Quantum Physics and Logic 2008
- Quantum Physics and Logic 2009
- Quantum Physics and Logic 2010
- Seminars

# Categories, Logic and Foundations of Physics I

- A categorical framework for the quantum harmonic oscillator, Jamie Vicary
- A topos for algebraic quantum theory, Chris Heunen
- Categorical quantum mechanics: The "monoidal" approach, Samson Abramsky
- Classical structures, MUBs, and pretty pictures, Ross Duncan
- Relational topology and quantum gravity, Louis Crane
- Topos theory in the formulation of theories of physics, Chris Isham

# Categories, Logic and Foundations of Physics II

- Aspects of duality in 2-categories, Bruce Bartlett
- Categories of spectral geometries, Paolo Bertozzini
- Dynamical logic, Fay Dowker
- Quantum groupoids and logical dualities, Paul-Andre Mellies
- Topos-theoretic models of the continuum, Peter Johnstone
- Towards a quantum geometry: groupoids, Clifford algebras and shadow manifolds, Basil Hiley

# Categories, Logic and Foundations of Physics III

- Bases in diagrammatic quantum protocols, Simon Perdrix
- Categories and non-associative C*-algebras in quantum field theory, Keith Hannabuss
- Knots and links in braided quantum field theory, John Barrett
- Locales via bundles, Steve Vickers
- Model categories in quantum gravity, Louis Crane
- The locally covariant approach to quantum field theory in curved spacetimes, Chris Fewster
- Tutorial: conceptual issues in quantum theory, Andreas Doering
- Tutorial: the quantum formalism, Bob Coecke
- Two 2-traces, Simon Willerton
- What is the vector space content of what we say? A categorical approach to distributed meaning, Mehrnoosh Sadrzadeh

# Categories, Logic and Foundations of Physics IV

- An introduction to n-categories, Tom Leinster
- Infinity categories and infinity operads, Ieke Moerdijk
- Principally-generated modules on a quantale, Isar Stubbe
- The periodic table of n-categories, Eugenia Cheng
- Topological quantum computing with anyons, Eric Paquette

# Categories, Logic and Foundations of Physics V

- A computable axiomatisation of the topology of R and C, Paul Taylor
- Black holes, qubits and octonions, Leron Borsten
- Does knowing my lambda mean knowing my psi?, Terry Rudolph
- Entanglement classification with classical structures and graph rewriting, Aleks Kissinger
- Stably Gelfand quantales, groupoids and Cartan sub-C*-algebras, Pedro Resende
- States and measures, Andreas Doering

# Categories, Logic and Foundations of Physics VI

- Advanced graphical calculus - Hopf, Frobenius, Schur and some motivation from group theory, Bertfried Fauser
- Gage fields in an (oo,1)-topos, Urs Schreiber
- Graph models of the Heisenberg-Weyl algebra, Pawel Blasiak
- On distributive laws, Martin Hyland
- On model theory, noncommutative geometry and physics, Boris Zilber
- Why n-categories?, Panel discussion

# Categories, Logic and Foundations of Physics VII

- Constructive aspects of Gelfand duality, Christopher J. Mulvey
- Higher categories and observables for generalised Turaev-Viro models, Catherine Meusburger
- Maybe locales are made out of points after all, Martin Escardo
- Topos formulation of history quantum theory, Cecilia Flori
- Two 2-traces, Simon Willerton
- What is and what should be 'higher dimensional group theory'?, Ronnie Brown

# Clifford Lectures 2008

- Classical versus quantum -- in pictures, Bob Coecke
- Domain theory and the causal structure of spacetime I, Prakash Panangaden
- Domain theory and the causal structure of spacetime II, Keye Martin
- Information flow in physics, geometry, logic and computation V: A tale of dependence and separation, Samson Abramsky
- The logic of complementary observables, Ross Duncan

# Courses

- Introduction to monoidal categories and graphical calculus 1, Bob Coecke
- Introduction to monoidal categories and graphical calculus 2, Chris Heunen
- Introduction to monoidal categories and graphical calculus 3, Chris Heunen
- Introduction to monoidal categories and graphical calculus 4, Jamie Vicary
- Introduction to monoidal categories and graphical calculus 5, Ross Duncan
- Introduction to monoidal categories and graphical calculus 6, Lucas Dixon
- Introduction to monoidal categories and graphical calculus 7, Simon Perdrix
- Topos mini-course 1, Andreas Doering
- Topos mini-course 2, Andreas Doering
- Topos mini-course 3, Andreas Doering
- Topos mini-course 4, Andreas Doering
- Topos mini-course 5, Andreas Doering
- Topos mini-course 6, Andreas Doering
- Topos mini-course 7, Andreas Doering

# Flowin'Cat 2010

- Beyond the context-free boundary: generalizing Lambek calculus, Michael Moortgat
- Braided Algebra, Shahn Majid
- Coalgebraic walks, in quantum and Turing computation, Bart Jacobs
- Compositional and distributional models of meaning for natural language, Stephen Clark
- Concrete sentence spaces, Edward Grefenstette
- Discrete duality for downset lattices and their residuated operations, Sam van Gool
- Finding the true flow in measurement-based quantum computation, Ross Duncan
- Groupoid quantales beyond the etale setting, Alessandra Palmigiano
- Kleisli Hopf Algebras, Joost Vercruysse
- Knowledge representation, coalgebraically, Dirk Pattinson
- Lambek vs Lambek - type grammars and resulting information-flows for compositional distributional meaning, Bob Coecke
- Language as an algebra, Daoud Clarke
- Modalities in the Stone age, Raul Leal Rodriguez
- Modular categories: a survey, Michael Mueger
- Non-unital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics, Samson Abramsky
- Panel discussion, Stephen Pulman
- Phase semantics and focused proof search for the Lambek-Grishin calculus, Arno Bastenhof
- Plans, actions and dialogue using linear logic, Lucas Dixon
- Relational semantics in the not-necessarily-distributive setting, Mai Gehrke
- Some graphical aspects of Frobenius algebra, Bertfried Fauser
- Specifying pointwise operations on final coalgebras, Helle Hansen
- Three compact closed categories for natural language processing, Anne Preller
- Types and forgetfulness in categorical linguistics and quantum mechanics, Peter Hines

# ICALP 2008

- A domain-theoretic model of qubit channels, Keye Martin
- Interacting quantum observables, Ross Duncan

# Logic, Physics and Quantum Information Theory

- (No title), Howard Barnum
- (No title), Jon Yard
- A survey of categorical quantum mechanics, Bob Coecke
- Categories and quantum computating with anyons, Eric Paquette
- Measurement-based quantum computation, Dan Browne
- The causaloid approach to quantum theory and quantum gravity, Lucien Hardy
- The mechanics of information, Keye Martin
- The physics of anyons for computer scientists, Prakash Panangaden

# QICS spring school 2010

- Blind quantum computing, Joe Fitzsimons
- Classical simulation of quantum circuits, Richard Jozsa
- Classical-quantum graphical calculus, Simon Perdrix
- Coalgebraic methods in quantum computing, Samson Abramsky
- Complementarity, quantum algebra, and applications to measurement-based quantum computing, Ross Duncan
- Compositional multipartite entanglement, Aleks Kissinger
- Flow and depth in measurement-based quantum computing, Simon Perdrix
- Generalized probabilistic theories 1, Jonathan Barrett
- Generalized probabilistic theories 2, Howard Barnum
- Higher types in quantum computing, Peter Selinger
- Introduction to graph states and their applications, Maarten van den Nest
- Introduction to measurement-based quantum computing, Akimasa Miyake
- Introduction to monoidal categories and graphical calculus 1, Bob Coecke
- Introduction to monoidal categories and graphical calculus 2, Chris Heunen
- Introduction to monoidal categories and graphical calculus 3, Chris Heunen
- Introduction to monoidal categories and graphical calculus 4, Jamie Vicary
- Is coherence important in quantum computing?, Peter Hines
- Measurement-based quantum computing, measurement-based classical computing, and non-locality, Dan Browne
- Modular tensor categories and topological quantum computing, Prakash Panangaden
- Phase groups and non-locality, Bill Edwards
- Quantomatic demo, Lucas Dixon
- Quantum cellular automata 2, Reinhard Werner
- Quantum cellular automata 3, Reinhard Werner
- Quantum contextuality, Otfried Guehne
- The fidelity alternative and quantum measurement simulation, Andreas Winter
- Time flow in quantum mechanics, Sandu Popescu
- Vector spaces and meaning, Mehrnoosh Sadrzadeh

# Quantum Physics and Logic 2008

- A quantum solution to the arrow-of-time dilemma, Lorenzo Maccone
- Categorical formulation of finite-dimensional C*-algebras, Jamie Vicary
- Classical knowledge for quantum security, Ellie D'Hondt
- Computational complexity in non-Turing models of computation: the what, the why and the how, Edward Blakey
- Finite-dimensional Hilbert spaces are complete for dagger compact closed categories, Peter Selinger
- How to randomly flip a quantum bit, Keye Martin
- Information processing in convex operational theories: cloning, broadcasting, information-disturbance, bit commitment, Alex Wilce
- On orthomodular posets generated by transition systems, Luca Bernardinello
- On quantum and probabilistic linear lambda calculi, Benoit Valiron
- Partial observation of quantum Turing machine and weaker well-formedness condition, Simon Perdrix
- QML in 15 minutes, Jonathan Grattage
- Quantum computing, matrix permanents and why Bob Coecke isn't the only person who gets to do quantum mechanics by drawing trivial-looking graphs, Terry Rudolph
- Quantum higher types, Yannick Delbecque
- The mother of all protocols: quantum coding for dummies, Andreas Winter
- Toy quantum categories, Bill Edwards

# Quantum Physics and Logic 2009

- A link between quantum logic and categorical quantum mechanics, John Harding
- A quiver gauge theory and toric variety route to entanglement entropy, Peter Crompton
- An algebra of automata which includes both classical and quantum entities, Bob Walters
- Bell states and negation in natural languages, Mehrnoosh Sadrzadeh
- Categorical properties of the complex numbers, Jamie Vicary
- Classical representations of qubit channels, Tanner Crowder
- Confluence results for a quantum lambda calculus with measurements, Ugo Dal Lago
- Correlated Information: a logic for multi-partite quantum systems, Sonja Smets
- Feynman graphs and compact multicategories, Joachim Kock
- Graphical calculus for the BB84 protocol, Quanlong Wang
- Graphs states and the necessity of Euler decomposition, Simon Perdrix
- Programmable Hamiltonian for one-way patterns, Sina Salek
- Quantum logic in dagger kernel categories, Chris Heunen
- Relating toy models of quantum computation, Dusko Pavlovic
- Scalar system F for linear-algebraic lambda-calculus: towards a quantum physical logic?, Alejandro Diaz-Caro
- Symmetry and composition in probabilistic theories, Alex Wilce
- Systems and subsystems, Reinhard Werner
- The group-theoretic origin of non-locality for qubits, Bill Edwards
- The invariant set hypothesis: a new geometric framework for the foundations of quantum theory and the role played by gravity, Tim Palmer
- Topos quantum logic and mixed states, Andreas Doering
- Towards an operational derivation of quantum mechanics, Giacomo Mauro D'Ariano
- Universal quantum computation with abelian anyon models, James Wootton

# Quantum Physics and Logic 2010

- A Domain of Unital Channels, Johnny Feng
- Autonomous categories in which A is isomorphic to A*, Peter Selinger
- Causal categories: a backbone for a quantum-relativistic universe of interacting processes, Ray Lal
- Classical simulation of quantum contextuality, Otfried Guehne
- Compact categories as dagger-Frobenius pseudoalgebras, Bruce Bartlett
- Compact categories as dagger-Frobenius pseudoalgebras, Jamie Vicary
- Complementarity in categorical quantum mechanics, Chris Heunen
- Computational Complexity of Geometric Quantum Logic, Martin Ziegler
- Convexity, Categorical Semantics and the Foundations of Physics, Ross Duncan
- Coreflections in Algebraic Quantum Logic, Jorik Mandemaker
- Duality in logic and physics, John Baez
- Ensemble Steering, Weak Self-Duality, and the Structure of Probabilistic Theories, Howard Barnum
- Information theoretic representations of qubit channels, Keye Martin
- Involutive Categories and Monoids, with a GNS-correspondence, Bart Jacobs
- Isolation and information flow in quantum dynamics, Michael Westmoreland
- Kinematic Noise, Marco Lanzagorta
- Modal quantum theory, Benjamin Schumacher
- Orthogonality and Algebraic Lambda-Calculus, Benoit Valiron
- Picturing classical and quantum Bayesian inference, Rob Spekkens
- Reduced Density Matrix in Spin Models, Vladimir Korepin
- Some steps towards noncommutative Gel'fand duality, Andreas Doering
- State sum models, induced gravity and the spectral action, John Barrett
- The category of spacetime regions, Louis Crane
- The space of measurement outcomes as a spectrum for non-commutative algebras, Bas Spitters

# Seminars

- A formalism-local framework for general probabilistic theories including quantum theory, Lucien Hardy
- A quantum memory lasting seconds in silicon, John Morton
- Decision problems for probabilistic and quantum automata, Ben Worrell
- Involutive monoidal categories and enriched dagger categories, Jeff Egger
- Knots, World-lines, and Quantum computation, Steve Simon
- Noether's famous 1918 symmetry theorem -- what does it prove?, Harvey Brown
- Quantum, classical and discord correlations, Vlatko Vedral
- String diagrams, a topological account of proofs and programs, Paul-Andre Mellies
- The power of epistemic restrictions in axiomatizing quantum theory: from trits to qutrits, Rob Spekkens