Chris Heunen

Chris Heunen

tag EPSRC Early Career Research Fellow
home University of Oxford
Department of Computer Science, Room 213
Wolfson Building, Parks Road, Oxford OX1 3QD
email
travel Curriculum vitae
publications

Interests

I work in quantum computer science, more precisely on the mathematical foundations of physics, especially quantum mechanics, and its logical aspects. My weapons of choice are category theory, functional analysis, and order theory; specifically, monoidal categories, operator algebras, and orthomodular lattices. I suppose you could say that my ultimate goal is to really understand the category of Hilbert spaces, in particular categorical aspects of a choice of basis.

For a very gentle introduction to the ideas behind my work, see "The state of quantum computer science".

publications

Publications

Books

Preprints

Refereed

  1. "Active lattices determine AW*-algebras"



    [pdf] [preprint] [journal]
  2. "Quantum theory realises all joint measurability graphs"


    Physical Review A 89:032121, 2014

    [pdf] [preprint] [journal]
  3. "Matrix multiplication is determined by orthogonality and trace"


  4. "On the functor l2"


    [pdf] [preprint] [book]
  5. "Compositional quantum logic"



    [pdf] [preprint] [book]
  6. "Diagonalizing matrices over AW*-algebras"


    Journal of Functional Analysis 264(8):1873-1898, 2013

    [pdf] [preprint] [journal]
  7. "Relative Frobenius algebras are groupoids"



    [pdf] [preprint] [journal]
  8. "Pictures of complete positivity in arbitrary dimension"


    (EPTCS 95:27-35) in the proceedings of QPL IX, 2012

    [pdf] [preprint] [proceedings]
  9. "Completely positive classical structures and sequentializable quantum protocols"


    (EPTCS 95:91-101) in the proceedings of QPL IX, 2012

    [pdf] [preprint] [proceedings]
  10. "No-go theorems for functorial localic spectra of noncommutative rings"


    (EPTCS 95:21-25) in the proceedings of QPL IX, 2012

    [pdf] [preprint] [proceedings]
  11. "H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics"



    [pdf] [preprint] [book]
  12. "Entangled and sequential quantum protocols with dephasing"


    , 2012
    [pdf] [preprint] [journal]
  13. "Complementarity in categorical quantum mechanics"

    Foundations of Physics 42(7): 856--873, 2012

    [pdf] [preprint] [journal]
  14. "Noncommutativity as a colimit"


    20(4):393--414, 2012
    [pdf] [preprint] [journal] [erratum]
  15. "Bohrification of operator algebras and quantum logic"


    Synthese 186(3):719--752, 2012

    [pdf] [preprint] [journal]
  16. "The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach"

    with Klaas Landsman, Bas Spitters, and Sander Wolters


    [pdf] [preprint] [journal]
  17. "Bohrification"


    chapter in "Deep Beauty" (ed. H. Halvorson), 2011

    [pdf] [preprint] [book]
  18. "Quantum logic in dagger kernel categories"


    Order 27(2):177-212, 2010

    [pdf] [preprint] [journal]
  19. "Coalgebraic components in a many-sorted microcosm"


    (LNCS 5728:64-80) in the proceedings of CALCO, 2009

    [pdf] [proceedings]
  20. "Intuitionistic quantum logic of an n-level system"


    Foundations of Physics, 39(7):731-759, 2009

    [pdf] [preprint] [journal]
  21. "Quantum logic in dagger kernel categories"


    (ENTCS 270(2):79-103) in the proceedings of Quantum Physics and Logic 6, 2009

    [pdf] [preprint] [proceedings]
  22. "A topos for algebraic quantum theory"



    [pdf] [preprint] [journal]
  23. "Categorical semantics for Arrows"



    [pdf] [journal]
  24. "An embedding theorem for Hilbert categories"


    [pdf] [preprint] [journal]
  25. "Semimodule enrichment"

    (ENTCS 218:193-208) in the proceedings of MFPS XXIV, 2008

    [pdf] [proceedings]
  26. "Compactly accessible categories and quantum key distribution"


    [pdf] [journal]
  27. "The principle of general tovariance"


    (AIP Conf Proc 1023:93-102) in the proceedings of International Fall Workshop on Geometry and Physics XVI, 2008

    [pdf] [discussion] [preprint] [proceedings]
  28. "Arrows, like Monads, are Monoids"


    (ENTCS 158:219-236) in the proceedings of MFPS 22, 2006

    [pdf] [proceedings]
  29. "Accurate silhouettes -- do polyhedral models suffice?"

    GMAG'03 proceedings, 69-74, IEEE, 2003

    [pdf] [proceedings]

Theses

Popular

software

Software