Quantum Group: Publications

Books

• [1]

  Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse

  Chris Heunen‚ Mehrnoosh Sadrzadeh and Edward Grefenstette, editors

  Oxford University Press. February, 2013.

  Details about Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse | BibTeX data for Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse | Link to Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse

Book chapters

• [1]

  Compositional quantum logic

  Bob Coecke‚ Chris Heunen and Aleks Kissinger

  In Bob Coecke‚ Luke Ong and Prakash Panangaden, editors, Computation‚ Logic‚ Games‚ and Quantum Foundations. Chapter Compositional Quantum Logic. Pages 21−36. 2013.

  Details about Compositional quantum logic | BibTeX data for Compositional quantum logic | DOI (10.1007/978-3-642-38164-5_3) | Link to Compositional quantum logic

• [2]

  Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras

  Dimitri Kartsaklis‚ Mehrnoosh Sadrzadeh‚ Stephen Pulman and Bob Coecke

  In A. Chubb J. Eskandarian and V. Harizanov, editors, Logic and Algebraic Structures in Quantum Computing and Information. Cambridge University Press. 2013.

  To appear

  Details about Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras | BibTeX data for Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras | Download  (pdf) of Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras

• [3]

  Unsharp values‚ domains and topoi

  Andreas Döring and Rui Soares Barbosa

  In Felix Finster‚ Olaf Müller‚ Marc Nardmann‚ Jürgen Tolksdorf and Eberhard Zeidler, editors, Quantum Field Theory and Gravity. Pages 65–96. Springer Basel. 2012.

  E−print: arXiv:1107.1083 [quant−ph]

  Details about Unsharp values‚ domains and topoi | BibTeX data for Unsharp values‚ domains and topoi | DOI (10.1007/978-3-0348-0043-3_5) | Link to Unsharp values‚ domains and topoi

• [4]

  Generalised Proof−Nets for Compact Categories with Biproducts

  Ross Duncan

  In S. Gay and I. Mackie, editors, Semantics of Quantum Computation. Cambridge University Press. 2009.

  Preprint available at http://arxiv.org/abs/0903.5154

  Details about Generalised Proof−Nets for Compact Categories with Biproducts | BibTeX data for Generalised Proof−Nets for Compact Categories with Biproducts | Download  (pdf) of Generalised Proof−Nets for Compact Categories with Biproducts

• [5]

  Quantum measurements without sums

  Bob Coecke and Dusko Pavlovic

  In G. Chen‚ L. Kauffman and S. Lamonaco, editors, Mathematics of Quantum Computing and Technology. Pages 567–604. Taylor and Francis. 2007.

  arXiv:quant−ph/0608035

  Details about Quantum measurements without sums | BibTeX data for Quantum measurements without sums

Journal papers

• [1]

  Contextuality and noncommutative geometry in quantum mechanics

  Nadish de Silva and Rui Soares Barbosa

  In Communications in Mathematical Physics. Vol. 365. No. 2. Pages 375–429. 2019.

  Earlier partial version (“Partial and total ideals of von Neumann algebras”) available as arXiv:1408.1172 [math.OA]

  Details about Contextuality and noncommutative geometry in quantum mechanics | BibTeX data for Contextuality and noncommutative geometry in quantum mechanics | DOI (10.1007/s00220-018-3222-9)

• [2]

  Normal forms for planar connected string diagrams

  Antonin Delpeuch and Jamie Vicary

  In CoRR. Vol. abs/1804.07832. 2018.

  Details about Normal forms for planar connected string diagrams | BibTeX data for Normal forms for planar connected string diagrams | Link to Normal forms for planar connected string diagrams

• [3]

  Towards a cohomology invariant for non−locality and contextuality

  Giovanni Carù

  2018.

  Details about Towards a cohomology invariant for non−locality and contextuality | BibTeX data for Towards a cohomology invariant for non−locality and contextuality | Download Cohomology_Invariant.pdf of Towards a cohomology invariant for non−locality and contextuality | Download Cohomology_Invariant.pdf of Towards a cohomology invariant for non−locality and contextuality

• [4]

  Quotient Categories and Phases (Pre−print)

  Sean Tull

  2018.

  Details about Quotient Categories and Phases (Pre−print) | BibTeX data for Quotient Categories and Phases (Pre−print) | Link to Quotient Categories and Phases (Pre−print)

• [5]

  Classical structures of CP maps are all canonical

  Stefano Gogioso

  In arXiv:1809.03466. 2018.

  Details about Classical structures of CP maps are all canonical | BibTeX data for Classical structures of CP maps are all canonical

• [6]

  Density Hypercubes‚ Higher Order Interference and Hyper−Decoherence: a Categorical Approach

  Stefano Gogioso and Carlo Maria Scandolo

  In Lecture Notes in Computer Science (QI 2018)‚ arXiv:1806.00915. 2018.

  Details about Density Hypercubes‚ Higher Order Interference and Hyper−Decoherence: a Categorical Approach | BibTeX data for Density Hypercubes‚ Higher Order Interference and Hyper−Decoherence: a Categorical Approach

• [7]

  Generalized Relations in Linguistics & Cognition

  Bob Coecke‚ Fabrizio Genovese‚ Martha Lewis‚ Dan Marden and Alexis Toumi

  In Theoretical Computer Science. 2018.

  Details about Generalized Relations in Linguistics & Cognition | BibTeX data for Generalized Relations in Linguistics & Cognition | DOI (10.1016/j.tcs.2018.03.008) | Download (pdf) of Generalized Relations in Linguistics & Cognition

• [8]

  Quantum Field Theory in Categorical Quantum Mechanics

  Stefano Gogioso and Fabrizio Genovese

  In EPTCS (QPL 2018)‚ arXiv:1805.12087. 2018.

  Details about Quantum Field Theory in Categorical Quantum Mechanics | BibTeX data for Quantum Field Theory in Categorical Quantum Mechanics

• [9]

  Uniqueness of composition in quantum theory and linguistics

  Bob Coecke‚ Fabrizio Genovese‚ Stefano Gogioso‚ Dan Marsden and Robin Piedeleu

  In Electronic Proceedings in Theoretical Computer Science (Forthcoming). 2018.

  Details about Uniqueness of composition in quantum theory and linguistics | BibTeX data for Uniqueness of composition in quantum theory and linguistics | Download (pdf) of Uniqueness of composition in quantum theory and linguistics

• [10]

  The first law of general quantum resource theories

  Carlo Sparaciari‚ Lídia del Rio‚ Carlo Maria Scandolo‚ Philippe Faist and Jonathan Oppenheim

  In arXiv:1806.04937 [quant−ph]. June, 2018.

  Details about The first law of general quantum resource theories | BibTeX data for The first law of general quantum resource theories | Link to The first law of general quantum resource theories

• [11]

  Is it possible to be objective in every physical theory?

  Pawełł Horodecki Carlo Maria Scandolo Roberto Salazar Jarosłław K. Korbicz

  In arXiv:1805.12126 [quant−ph]. May, 2018.

  Details about Is it possible to be objective in every physical theory? | BibTeX data for Is it possible to be objective in every physical theory? | Link to Is it possible to be objective in every physical theory?

• [12]

  Density Hypercubes‚ Higher Order Interference and Hyper−Decoherence: a Categorical Approach

  Stefano Gogioso and Carlo Maria Scandolo

  In arXiv:1806.00915 [quant−ph]. June, 2018.

  Details about Density Hypercubes‚ Higher Order Interference and Hyper−Decoherence: a Categorical Approach | BibTeX data for Density Hypercubes‚ Higher Order Interference and Hyper−Decoherence: a Categorical Approach | Link to Density Hypercubes‚ Higher Order Interference and Hyper−Decoherence: a Categorical Approach

• [13]

  Reconstructing quantum theory from diagrammatic postulates

  John Selby‚ Carlo Maria Scandolo and Bob Coecke

  In arXiv:1802.00367 [quant−ph]. January, 2018.

  Details about Reconstructing quantum theory from diagrammatic postulates | BibTeX data for Reconstructing quantum theory from diagrammatic postulates | Link to Reconstructing quantum theory from diagrammatic postulates

• [14]

  Categorical Probabilistic Theories

  Stefano Gogioso and Carlo Maria Scandolo

  In EPTCS. Vol. 266. Pages 367–385. 2018.

  Details about Categorical Probabilistic Theories | BibTeX data for Categorical Probabilistic Theories

• [15]

  Thermodynamics and the structure of quantum theory

  M. Krumm‚ H. Barnum‚ J. Barrett and M.P. Müller

  In New Journal of Physics. Vol. 19. No. 4. 2017.

  Details about Thermodynamics and the structure of quantum theory | BibTeX data for Thermodynamics and the structure of quantum theory | DOI (10.1088/1367-2630/aa68ef)

• [16]

  Contextual fraction as a measure of contextuality

  Samson Abramsky‚ Rui Soares Barbosa and Shane Mansfield

  In Physical Review Letters. Vol. 119. No. 050504. 2017.

  E−print: arXiv:1705.07918 [quant−ph]; Earlier version (“Quantifying contextuality via linear programming”) accepted for communication to 13th International Conference on Quantum Physics and Logic (QPL 2016).

  Details about Contextual fraction as a measure of contextuality | BibTeX data for Contextual fraction as a measure of contextuality | DOI (10.1103/PhysRevLett.119.050504) | Link to Contextual fraction as a measure of contextuality

• [17]

  A complete characterization of All−versus−Nothing arguments for stabilizer states

  Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù and Simon Perdrix

  In Philosophical Transactions of the Royal Society of London A: Mathematical‚ Physical and Engineering Sciences‚ Theme Issue on ‘Second quantum revolution: foundational questions'. Vol. 375. No. 2106. 2017.

  E−print: arXiv:1705.08459 [quant−ph]

  Details about A complete characterization of All−versus−Nothing arguments for stabilizer states | BibTeX data for A complete characterization of All−versus−Nothing arguments for stabilizer states | DOI (10.1098/rsta.2016.0385) | Link to A complete characterization of All−versus−Nothing arguments for stabilizer states

• [18]

  Ruling out higher−order interference from purity principles

  Howard Barnum‚ Ciarán Lee‚ Carlo Maria Scandolo and John Selby

  In Entropy. Vol. 19. Pages 253. 2017.

  Details about Ruling out higher−order interference from purity principles | BibTeX data for Ruling out higher−order interference from purity principles | DOI (10.3390/e19060253)

• [19]

  Microcanonical thermodynamics in general physical theories

  Giulio Chiribella and Carlo Maria Scandolo

  In New J. Phys.. Vol. 19. Pages 123043. 2017.

  Details about Microcanonical thermodynamics in general physical theories | BibTeX data for Microcanonical thermodynamics in general physical theories | DOI (10.1088/1367-2630/aa91c7)

• [20]

  Possibilities determine the combinatorial structure of probability polytopes

  Samson Abramsky‚ Rui Soares Barbosa‚ Kohei Kishida‚ Raymond Lal and Shane Mansfield

  In Journal of Mathematical Psychology‚ Special Issue on Foundations of Probability (in press). 2016.

  E−print: arXiv:1603.07735 [quant−ph]

  Details about Possibilities determine the combinatorial structure of probability polytopes | BibTeX data for Possibilities determine the combinatorial structure of probability polytopes | DOI (10.1016/j.jmp.2016.03.006) | Link to Possibilities determine the combinatorial structure of probability polytopes

• [21]

  Entanglement as an axiomatic foundation for statistical mechanics

  Giulio Chiribella and Carlo Maria Scandolo

  In arXiv:1608.04459 [quant−ph]. August, 2016.

  Details about Entanglement as an axiomatic foundation for statistical mechanics | BibTeX data for Entanglement as an axiomatic foundation for statistical mechanics | Link to Entanglement as an axiomatic foundation for statistical mechanics

• [22]

  Open System Categorical Quantum Semantics in Natural Language Processing

  Robin Piedeleu‚ Dimitri Kartsaklis‚ Bob Coecke and Mehrnoosh Sadrzadeh

  In CoRR. Vol. abs/1502.00831. 2015.

  Details about Open System Categorical Quantum Semantics in Natural Language Processing | BibTeX data for Open System Categorical Quantum Semantics in Natural Language Processing | Link to Open System Categorical Quantum Semantics in Natural Language Processing

• [23]

  Characterizations of categories of commutative C*−subalgebras

  Chris Heunen

  In Communications in Mathematical Physics. Vol. 331. No. 1. Pages 215−238. 2014.

  Details about Characterizations of categories of commutative C*−subalgebras | BibTeX data for Characterizations of categories of commutative C*−subalgebras | DOI (10.1007/s00220-014-2088-8) | Link to Characterizations of categories of commutative C*−subalgebras

• [24]

  Active lattices determine AW*−algebras

  Chris Heunen and Manuel L. Reyes

  In Journal of Mathematical Analysis and Applications. Vol. 416. Pages 289−313. 2014.

  Details about Active lattices determine AW*−algebras | BibTeX data for Active lattices determine AW*−algebras | DOI (10.1016/j.jmaa.2014.02.041) | Link to Active lattices determine AW*−algebras

• [25]

  All joint measurability structures are quantum realizable

  Ravi Kunjwal‚ Chris Heunen and Tobias Fritz

  In Physical Review A. Vol. 89. No. 5. Pages 052126. 2014.

  Details about All joint measurability structures are quantum realizable | BibTeX data for All joint measurability structures are quantum realizable | DOI (http://dx.doi.org/10.1103/PhysRevA.89.052126)

• [26]

  Quantum theory realises all joint measurability graphs

  Chris Heunen‚ Tobias Fritz and Manuel L. Reyes

  In Physical Review A. Vol. 89. Pages 032121. 2014.

  Details about Quantum theory realises all joint measurability graphs | BibTeX data for Quantum theory realises all joint measurability graphs | DOI (10.1103/PhysRevA.89.032121)

• [27]

  Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning

  Edward Grefenstette and Mehrnoosh Sadrzadeh

  In Computational Linguistics. 2014.

  Details about Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning | BibTeX data for Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning

• [28]

  Compositional Operators in Distributional Semantics

  Dimitri Kartsaklis

  In Springer Science Reviews. April, 2014.

  Details about Compositional Operators in Distributional Semantics | BibTeX data for Compositional Operators in Distributional Semantics | Download  (pdf) of Compositional Operators in Distributional Semantics | DOI (10.1007/s40362-014-0017-z)

• [29]

  Matrix multiplication is determined by trace and orthogonality

  Chris Heunen and Clare Horseman

  In Linear Algebra and its Applications. Vol. 439. No. 12. Pages 4130−4134. 2013.

  Details about Matrix multiplication is determined by trace and orthogonality | BibTeX data for Matrix multiplication is determined by trace and orthogonality | DOI (10.1016/j.laa.2013.09.039)

• [30]

  Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors

  Edward Grefenstette

  In Proceedings of the Second Joint Conference on Lexical and Computational Semantics. 2013.

  Details about Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors | BibTeX data for Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors | Download (pdf) of Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors

• [31]

  Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus

  Bob Coecke‚ Edward Grefenstette and Mehrnoosh Sadrzadeh

  In Annals of Pure and Applied Logic. 2013.

  Details about Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus | BibTeX data for Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus | Link to Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus

• [32]

  Multi−Step Regression Learning for Compositional Distributional Semantics

  Edward Grefenstette‚ Georgiana Dinu‚ Yao−Zhong Zhang‚ Mehrnoosh Sadrzadeh and Marco Baroni

  In Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013). 2013.

  Details about Multi−Step Regression Learning for Compositional Distributional Semantics | BibTeX data for Multi−Step Regression Learning for Compositional Distributional Semantics | Download (pdf) of Multi−Step Regression Learning for Compositional Distributional Semantics

• [33]

  A new description of orthogonal bases

  Bob Coecke‚ Dusko Pavlovic and Jamie Vicary

  In Electronic Notes in Theoretical Computer Science. Vol. 23. No. 3. Pages 555–567. 2013.

  Details about A new description of orthogonal bases | BibTeX data for A new description of orthogonal bases | DOI (http://dx.doi.org/10.1017/S0960129512000047) | Link to A new description of orthogonal bases

• [34]

  Noncommutativity as a colimit

  Benno van den Berg and Chris Heunen

  In Applied Categorical Structures. Vol. 20. No. 4. Pages 393−414. 2012.

  Details about Noncommutativity as a colimit | BibTeX data for Noncommutativity as a colimit | DOI (10.1007/s10485-011-9246-3)

• [35]

  H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics

  Samson Abramsky and Chris Heunen

  In Clifford Lectures‚ AMS Proceedings of Symposia in Applied Mathematics. Vol. 71. Pages 1−24. 2012.

  Details about H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics | BibTeX data for H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics | Link to H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics

• [36]

  Diagonalizing matrices over AW*−algebras

  Chris Heunen and Manuel L. Reyes

  In Journal of Functional Analysis. Vol. 264. No. 8. Pages 1873−1898. 2012.

  Details about Diagonalizing matrices over AW*−algebras | BibTeX data for Diagonalizing matrices over AW*−algebras | DOI (10.1016/j.jfa.2013.01.022) | Link to Diagonalizing matrices over AW*−algebras

• [37]

  Relative Frobenius algebras are groupoids

  Chris Heunen‚ Ivan Contreras and Alberto S. Cattaneo

  In Journal of Pure and Applied Algebra. Vol. 217. Pages 114−124. 2012.

  Details about Relative Frobenius algebras are groupoids | BibTeX data for Relative Frobenius algebras are groupoids | DOI (10.1016/j.jpaa.2012.04.002) | Link to Relative Frobenius algebras are groupoids

• [38]

  Bohrification of operator algebras and quantum logic

  Chris Heunen Nicolaas P. Landsman and Bas Spitters

  In Synthese. Vol. 186. No. 3. Pages 719−752. 2012.

  Details about Bohrification of operator algebras and quantum logic | BibTeX data for Bohrification of operator algebras and quantum logic | DOI (10.1007/s11229-011-9918-4)

• [39]

  Entangled and sequential quantum protocols with dephasing

  Sergio Boixo and Chris Heunen

  In Physical Review Letters. Vol. 108. Pages 120402. 2011.

  Details about Entangled and sequential quantum protocols with dephasing | BibTeX data for Entangled and sequential quantum protocols with dephasing | DOI (10.1103/PhysRevLett.108.120402)

• [40]

  A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations

  Mehrnoosh Sadrzadeh and Edward Grefenstette

  In Lecture Notes in Computer Science. Vol. 7052. Pages 35–47. 2011.

  Details about A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations | BibTeX data for A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations | Link to A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations

• [41]

  Experimental Support for a Categorical Compositional Distributional Model of Meaning

  Edward Grefenstette and Mehrnoosh Sadrzadeh

  In Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing. 2011.

  Details about Experimental Support for a Categorical Compositional Distributional Model of Meaning | BibTeX data for Experimental Support for a Categorical Compositional Distributional Model of Meaning | Download (pdf) of Experimental Support for a Categorical Compositional Distributional Model of Meaning

• [42]

  Experimenting with Transitive Verbs in a DisCoCat

  Edward Grefenstette and Mehrnoosh Sadrzadeh

  In Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics. 2011.

  Details about Experimenting with Transitive Verbs in a DisCoCat | BibTeX data for Experimenting with Transitive Verbs in a DisCoCat | Download (pdf) of Experimenting with Transitive Verbs in a DisCoCat

• [43]

  Concrete Sentence Spaces for Compositional Distributional Models of Meaning

  Edward Grefenstette‚ Mehrnoosh Sadrzadeh‚ Stephen Clark‚ Bob Coecke and Stephen Pulman

  In Proceedings of the 9th International Conference on Computational Semantics (IWCS11). Pages 125–134. 2011.

  Details about Concrete Sentence Spaces for Compositional Distributional Models of Meaning | BibTeX data for Concrete Sentence Spaces for Compositional Distributional Models of Meaning | Download (pdf) of Concrete Sentence Spaces for Compositional Distributional Models of Meaning

• [44]

  Toy Quantum Categories (Extended Abstract)

  Bob Coecke and Bill Edwards

  In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 1. Pages 29 − 40. 2011.

  arXiv:0808.1037

  Details about Toy Quantum Categories (Extended Abstract) | BibTeX data for Toy Quantum Categories (Extended Abstract)

• [45]

  Phase groups and the origin of non−locality for qubits

  Bob Coecke‚ Bill Edwards and Robert W. Spekkens

  In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 2. Pages 15−36. 2011.

  arXiv:1003.5005

  Details about Phase groups and the origin of non−locality for qubits | BibTeX data for Phase groups and the origin of non−locality for qubits

• [46]

  Graphical Calculus for Quantum Key Distribution (Extended Abstract)

  Bob Coecke‚ Quanlong Wang‚ Baoshan Wang‚ Yongjun Wang and Qiye Zhang

  In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 2. Pages 231 − 249. 2011.

  Details about Graphical Calculus for Quantum Key Distribution (Extended Abstract) | BibTeX data for Graphical Calculus for Quantum Key Distribution (Extended Abstract) | Link to Graphical Calculus for Quantum Key Distribution (Extended Abstract)

• [47]

  Towards quantum chemistry on a quantum computer

  A. Aspuru−Guzik Guzik & A. G. White B. P. Lanyon J. D. Whitfield G. G. Gillett M. E. Goggin M. P. Almeida I. Kassal J. D. Biamonte (Oxford) B. J. Powell M. Barbieri

  In Nature Chem.. No. 2. Pages 106–111. 2010.

  Details about Towards quantum chemistry on a quantum computer | BibTeX data for Towards quantum chemistry on a quantum computer | DOI (doi:10.1038/nchem.483) | Link to Towards quantum chemistry on a quantum computer

• [48]

  Categorical properties of the complex numbers

  Jamie Vicary

  In Journal of Mathematical Physics. 2010.

  To appear

  Details about Categorical properties of the complex numbers | BibTeX data for Categorical properties of the complex numbers | Link to Categorical properties of the complex numbers

• [49]

  Categorical formulation of finite−dimensional quantum algebras

  Jamie Vicary

  In Communications in Mathematical Physics. 2010.

  To appear

  Details about Categorical formulation of finite−dimensional quantum algebras | BibTeX data for Categorical formulation of finite−dimensional quantum algebras | Link to Categorical formulation of finite−dimensional quantum algebras

• [50]

  Quantum Picturalism

  Bob Coecke

  In Contemporary Physics. Vol. 51. Pages 59−83. 2009.

  arXiv:0908.1787

  Details about Quantum Picturalism | BibTeX data for Quantum Picturalism

• [51]

  Graphical Reasoning in Compact Closed Categories for Quantum Computation

  Lucas Dixon and Ross Duncan

  In Annals of Mathematics and Artificial Intelligence. 2009.

  preprint available at http://arxiv.org/abs/0902.0514

  Details about Graphical Reasoning in Compact Closed Categories for Quantum Computation | BibTeX data for Graphical Reasoning in Compact Closed Categories for Quantum Computation | Download  (pdf) of Graphical Reasoning in Compact Closed Categories for Quantum Computation | DOI (10.1007/s10472-009-9141-x)

• [52]

  Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins

  J.D. Biamonte

  In Physical Review A 77‚ 052331. 2008.

  Details about Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins | BibTeX data for Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins | Download of Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins | DOI (10.1103/PhysRevA.77.052331) | Link to Non−perturbative k−body to two−body commuting conversion Hamiltonians and embedding problem instances into Ising spins

• [53]

  A categorical framework for the quantum harmonic oscillator

  Jamie Vicary

  In International Journal of Theoretical Physics. Vol. 47. No. 12. Pages 3408–3447. 2008.

  Details about A categorical framework for the quantum harmonic oscillator | BibTeX data for A categorical framework for the quantum harmonic oscillator | Link to A categorical framework for the quantum harmonic oscillator

• [54]

  A Categorical Quantum Logic

  Samson Abramsky and Ross Duncan

  In Mathematical Structures in Computer Science. Vol. 16. No. 3. Pages 469−489. 2006.

  Preprint available at http://arxiv.org/abs/quant−ph/0512114

  Details about A Categorical Quantum Logic | BibTeX data for A Categorical Quantum Logic | Download  (pdf) of A Categorical Quantum Logic | DOI (10.1017/S0960129506005275)

Conference papers

• [1]

  Minimum quantum resources for strong non−locality

  Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida and Shane Mansfield

  In Mark M. Wilde, editor, Proceedings of 12th Conference on the Theory of Quantum Computation‚ Communication and Cryptography (TQC 2017). Vol. 73 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 9:1–9:20. Dagstuhl‚ Germany. 2018. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.

  Accepted for communication at 14th International Conference on Quantum Physics and Logic (QPL 2017); E−print: arXiv:1705.09312 [quant−ph]

  Details about Minimum quantum resources for strong non−locality | BibTeX data for Minimum quantum resources for strong non−locality | DOI (10.4230/LIPIcs.TQC.2017.9) | Link to Minimum quantum resources for strong non−locality

• [2]

  Double Dilation Double Mixing (extended abstract)

  Maaike Zwart and Bob Coecke

  In Bob Coecke and Aleks Kissinger, editors, Proceedings 14th International Conference on Quantum Physics and Logic‚ Nijmegen‚ The Netherlands‚ 3−7 July 2017. Vol. 266 of Electronic Proceedings in Theoretical Computer Science. Pages 133−146. Open Publishing Association. 2018.

  Details about Double Dilation Double Mixing (extended abstract) | BibTeX data for Double Dilation Double Mixing (extended abstract) | DOI (10.4204/EPTCS.266.9)

• [3]

  Minimum Quantum Resources for Strong Non−Locality

  Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida and Shane Mansfield

  In Mark M. Wilde, editor, 12th Conference on the Theory of Quantum Computation‚ Communication and Cryptography (TQC 2017). Vol. 73 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 9:1–9:20. Dagstuhl‚ Germany. 2018. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.

  To appear

  Details about Minimum Quantum Resources for Strong Non−Locality | BibTeX data for Minimum Quantum Resources for Strong Non−Locality | DOI (10.4230/LIPIcs.TQC.2017.9) | Link to Minimum Quantum Resources for Strong Non−Locality

• [4]

  Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation

  Giorgio Stefanoni‚ Boris Motik and Egor V. Kostylev

  In Proceedings of the 2018 World Wide Web Conference on World Wide Web‚ WWW 2018‚ Lyon‚ France‚ April 23−27‚ 2018. Pages 1043–1052. 2018.

  Details about Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation | BibTeX data for Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation | DOI (10.1145/3178876.3186003) | Link to Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation

• [5]

  The quantum monad on relational structures

  Samson Abramsky‚ Rui Soares Barbosa‚ Nadish de Silva and Octavio Zapata

  In Kim G. Larsen‚ Hans L. Bodlaender and Jean−François Raskin, editors, Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Vol. 83 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 35:1–35:19. Dagstuhl‚ Germany. 2017. Schloss Dagstuhl–Leibniz−Zentrum für Informatik.

  E−print: arXiv:1705.07310 [cs.LO]

  Details about The quantum monad on relational structures | BibTeX data for The quantum monad on relational structures | DOI (10.4230/LIPIcs.MFCS.2017.35) | Link to The quantum monad on relational structures

• [6]

  Custom Hypergraph Categories via Generalized Relations

  Daniel Marsden and Fabrizio Genovese

  In Filippo Bonchi and Barbara König;, editors, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Pages 17:1–17:15. Leibniz International Proceedings in Informatics. 2017.

  Details about Custom Hypergraph Categories via Generalized Relations | BibTeX data for Custom Hypergraph Categories via Generalized Relations | DOI (10.4230/LIPIcs.CALCO.2017.17) | Link to Custom Hypergraph Categories via Generalized Relations

• [7]

  Minimum quantum resources for strong non−locality

  Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida and Shane Mansfield

  In Proceedings of Theory of Quantum Computation‚ Communication and Cryptography (TQC). July, 2017.

  Details about Minimum quantum resources for strong non−locality | BibTeX data for Minimum quantum resources for strong non−locality

• [8]

  The quantum monad on relational structures

  Samson Abramsky‚ Rui Soares Barbosa‚ Nadish de Silva and Octavio Zapata

  In Proceedings of Mathematical Foundations of Computer Science (MFCS). August, 2017.

  Details about The quantum monad on relational structures | BibTeX data for The quantum monad on relational structures

• [9]

  Contextuality‚ cohomology and paradox

  Samson Abramsky‚ Rui Soares Barbosa‚ Kohei Kishida‚ Raymond Lal and Shane Mansfield

  In Stephan Kreutzer, editor, Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Vol. 41 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 211–228. Dagstuhl‚ Germany. 2015. Schloss Dagstuhl–Leibniz−Zentrum für Informatik.

  E−print: arXiv:1502.03097 [quant−ph]

  Details about Contextuality‚ cohomology and paradox | BibTeX data for Contextuality‚ cohomology and paradox | DOI (10.4230/LIPIcs.CSL.2015.211) | Link to Contextuality‚ cohomology and paradox

• [10]

  A compositional explanation of the ‘pet fish’phenomenon

  Bob Coecke and Martha Lewis

  In International Symposium on Quantum Interaction. Pages 179–192. Springer. 2015.

  Details about A compositional explanation of the ‘pet fish’phenomenon | BibTeX data for A compositional explanation of the ‘pet fish’phenomenon

• [11]

  On monogamy of non−locality and macroscopic averages: examples and preliminary results

  Rui Soares Barbosa

  In Bob Coecke‚ Ichiro Hasuo and Prakash Panangaden, editors, Proceedings of 11th workshop on Quantum Physics and Logic (QPL 2014). Vol. 172 of Electronic Proceedings in Theoretical Computer Science. Pages 36–55. Open Publishing Association. 2014.

  E−print: arXiv:1412.8541 [quant−ph]

  Details about On monogamy of non−locality and macroscopic averages: examples and preliminary results | BibTeX data for On monogamy of non−locality and macroscopic averages: examples and preliminary results | DOI (10.4204/EPTCS.172.4) | Link to On monogamy of non−locality and macroscopic averages: examples and preliminary results

• [12]

  A Study of Entanglement in a Categorical Framework of Natural Language

  Dimitri Kartsaklis and Mehrnoosh Sadrzadeh

  In Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL). Kyoto‚ Japan. June, 2014.

  Details about A Study of Entanglement in a Categorical Framework of Natural Language | BibTeX data for A Study of Entanglement in a Categorical Framework of Natural Language | Download  (pdf) of A Study of Entanglement in a Categorical Framework of Natural Language

• [13]

  Piecewise Boolean algebras and their domains

  Chris Heunen

  In 41st International Colloquium on Automata‚ Logic‚ and Programming. Vol. 8573 of Lecture Notes in Computer Science. Pages 208−219. Springer. 2014.

  Details about Piecewise Boolean algebras and their domains | BibTeX data for Piecewise Boolean algebras and their domains | DOI (10.1007/978-3-662-43951-7_18)

• [14]

  Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models

  Shane Mansfield and Rui Soares Barbosa

  In Informal pre−proceedings of 10th Wokshop on Quantum Physics and Logic (QPL 2013)‚ ICFo Barcelona. 2013.

  E−print: arXiv:1402.4827 [quant−ph]

  Details about Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models | BibTeX data for Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models | Download (pdf) of Extendability in the sheaf−theoretic approach: Construction of Bell models from Kochen−Specker models

• [15]

  The cohomology of non−locality and contextuality

  Samson Abramsky‚ Shane Mansfield and Rui Soares Barbosa

  In Bart Jacobs‚ Peter Selinger and Bas Spitters, editors, Proceedings of 8th International Workshop on Quantum Physics and Logic (QPL 2011). Vol. 95 of Electronic Proceedings in Theoretical Computer Science. Pages 1–14. 2012.

  E−print: arXiv:1111.3620 [quant−ph]

  Details about The cohomology of non−locality and contextuality | BibTeX data for The cohomology of non−locality and contextuality | DOI (10.4204/EPTCS.95.1) | Download (pdf) of The cohomology of non−locality and contextuality

• [16]

  A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments

  Dimitri Kartsaklis‚ Mehrnoosh Sadrzadeh and Stephen Pulman

  In Proceedings of 24th International Conference on Computational Linguistics (COLING): Posters. Pages 549−558. Mumbai‚ India. December, 2012.

  Details about A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments | BibTeX data for A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments | Download  (pdf) of A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments

• [17]

  The Compositional Structure of Multipartite Quantum Entanglement

  Bob Coecke and Aleks Kissinger

  In Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP). Pages 297−308. 2010.

  Extended version: arXiv:1002.2540

  Details about The Compositional Structure of Multipartite Quantum Entanglement | BibTeX data for The Compositional Structure of Multipartite Quantum Entanglement

• [18]

  Environment and classical channels in categorical quantum mechanics

  Bob Coecke and Simon Perdrix

  In Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL). Vol. 6247 of Lecture Notes in Computer Science. Pages 230−244. 2010.

  Extended version: arXiv:1004.1598

  Details about Environment and classical channels in categorical quantum mechanics | BibTeX data for Environment and classical channels in categorical quantum mechanics

• [19]

  Graph States and the necessity of Euler Decomposition

  Ross Duncan and Simon Perdrix

  In K. Ambos−Spies‚ B. Löwe and W. Merkle, editors, Computability in Europe: Mathematical Theory and Computational Practice (CiE'09). Vol. 5635 of Lecture Notes in Computer Science. Pages 167–177. Springer. 2009.

  Preprint available at http://arxiv.org/abs/0902.0500

  Details about Graph States and the necessity of Euler Decomposition | BibTeX data for Graph States and the necessity of Euler Decomposition | Download  (pdf) of Graph States and the necessity of Euler Decomposition | DOI (10.1007/978-3-642-03073-4)

• [20]

  Interacting quantum observables

  Bob Coecke and Ross Duncan

  In Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP). 2008.

  Extended version: arXiv:quant−ph/09064725

  Details about Interacting quantum observables | BibTeX data for Interacting quantum observables

• [21]

  Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

  Lucas Dixon and Ross Duncan

  In Serge Autexier‚ John Campbell‚ Julio Rubio‚ Volker Sorge‚ Masakazu Suzuki and Freek Wiedijk, editors, Intelligent Computer Mathematics‚ 9th International Conference‚ AISC 2008‚ 15th Symposium‚ Calculemus 2008‚ 7th International Conference‚ MKM 2008‚ Birmingham‚ UK‚ July 28 − August 1‚ 2008. Proceedings. Vol. 5144 of Lecture Notes in Computer Science. Pages 77−92. Springer. 2008.

  Details about Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation | BibTeX data for Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation | Download of Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation | DOI (10.1007/978-3-540-85110-3_8)

• [22]

  Interacting Quantum Observables

  Bob Coecke and Ross Duncan

  In Automata‚ Languages and Programming‚ 35th International Colloquium‚ ICALP 2008‚ Reykjavik‚ Iceland‚ July 7−11‚ 2008‚ Proceedings‚ Part II. Vol. 5126 of Lecture Notes in Computer Science. Pages 298−310. Springer. 2008.

  A significantly revised and expanded version of this paper is available as preprint http://arxiv.org/abs/0906.4725

  Details about Interacting Quantum Observables | BibTeX data for Interacting Quantum Observables | Download  (pdf) of Interacting Quantum Observables | DOI (10.1007/978-3-540-70583-3_25)

• [23]

  Resources for measurement−based quantum computation: A unifying view

  S. Perdrix Ph. Jorrand

  In Proceedings of Quantum Information‚ Computation and Communication. Pages 111−120. 2005.

  Details about Resources for measurement−based quantum computation: A unifying view | BibTeX data for Resources for measurement−based quantum computation: A unifying view | Download (pdf) of Resources for measurement−based quantum computation: A unifying view

• [24]

  A categorical semantics of quantum protocols

  Samson Abramsky and Bob Coecke

  In Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science. Pages 415−425. IEEE Computer Science Press. 2004.

  Extended version: arXiv:0808.1023

  Details about A categorical semantics of quantum protocols | BibTeX data for A categorical semantics of quantum protocols

• [25]

  A Categorical Quantum Logic

  Samson Abramsky and Ross Duncan

  In Proceedings of the 2nd International Workshop on Quantum Programming Languages. Vol. 33 of Turku Centre for Computer Science General Publication. 2004.

  This paper is largely superceded by the MSCS publication with the same title‚ however some details‚ such as the sequent calculus presentation‚ are only found in this version.

  Details about A Categorical Quantum Logic | BibTeX data for A Categorical Quantum Logic | Download (pdf) of A Categorical Quantum Logic

Technical reports

• [1]

  Categorical Quantum Circuits

  Ville Bergholm and Jacob Biamonte

  No. RR−10−17. OUCL. September, 2011.

  Details about Categorical Quantum Circuits | BibTeX data for Categorical Quantum Circuits | Download  (pdf) of Categorical Quantum Circuits | Link to Categorical Quantum Circuits

• [2]

  Categorical Tensor Network States

  Stephen R.Clark Jacob D. Biamonte and Dieter Jaksch

  No. RR−10−14. OUCL. September, 2010.

  Details about Categorical Tensor Network States | BibTeX data for Categorical Tensor Network States | Download  (pdf) of Categorical Tensor Network States | Link to Categorical Tensor Network States

• [3]

  The Group Theoretic Origin of Non−Locality For Qubits

  Bob Coecke‚ Bill Edwards and Rob Spekkens

  No. RR−09−04. OUCL. 2009.

  Details about The Group Theoretic Origin of Non−Locality For Qubits | BibTeX data for The Group Theoretic Origin of Non−Locality For Qubits | Download  (pdf) of The Group Theoretic Origin of Non−Locality For Qubits

• [4]

  Scalar Inverses in Quantum Structuralism

  Bob Coecke and Dusko Pavlovic

  No. RR−08−03. OUCL. 2008.

  Details about Scalar Inverses in Quantum Structuralism | BibTeX data for Scalar Inverses in Quantum Structuralism | Download  (pdf) of Scalar Inverses in Quantum Structuralism

• [5]

  Classical and Quantum Structures

  Bob Coecke‚ Eric O Paquette and Dusko Pavlovic

  No. RR−08−02. OUCL. 2008.

  Details about Classical and Quantum Structures | BibTeX data for Classical and Quantum Structures | Download  (pdf) of Classical and Quantum Structures

• [6]

  Complete Positivity without Positivity and Without Compactness

  Bob Coecke

  No. RR−07−05. Oxford University Computing Laboratory. September, 2007.

  Details about Complete Positivity without Positivity and Without Compactness | BibTeX data for Complete Positivity without Positivity and Without Compactness | Download  (pdf) of Complete Positivity without Positivity and Without Compactness

• [7]

  Quantum measurements without sums

  Bob Coecke and Dusko Pavlovic

  No. RR−06−02. Oxford University Computing Laboratory. July, 2006.

  Details about Quantum measurements without sums | BibTeX data for Quantum measurements without sums | Download  (pdf) of Quantum measurements without sums

• [8]

  Believe it or not‚ Bell states are a model of multiplicative linear logic

  Ross Duncan

  No. RR−04−18. Oxford University Computing Laboratory. October, 2004.

  Details about Believe it or not‚ Bell states are a model of multiplicative linear logic | BibTeX data for Believe it or not‚ Bell states are a model of multiplicative linear logic | Download  (ps) of Believe it or not‚ Bell states are a model of multiplicative linear logic

• [9]

  A Categorical semantics of Quantum Protocols

  Samson Abramsky and Bob Coecke

  No. RR−04−02. Oxford University Computing Laboratory. February, 2004.

  Details about A Categorical semantics of Quantum Protocols | BibTeX data for A Categorical semantics of Quantum Protocols | Download  (ps) of A Categorical semantics of Quantum Protocols

• [10]

  The Logic of Entanglement. An invitation. (Version 0.9999)

  Bob Coecke

  No. RR−03−12. Oxford University Computing Laboratory. October, 2003.

  Details about The Logic of Entanglement. An invitation. (Version 0.9999) | BibTeX data for The Logic of Entanglement. An invitation. (Version 0.9999) | Download  (ps) of The Logic of Entanglement. An invitation. (Version 0.9999)

Theses

• [1]

  External traced monoidal categories

  Nick Hu

  Master's Thesis University of Oxford. 2019.

  Details about External traced monoidal categories | BibTeX data for External traced monoidal categories | Download  (pdf) of External traced monoidal categories

• [2]

  Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

  Edward Grefenstette

  PhD Thesis June, 2013.

  Details about Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics | BibTeX data for Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics | Link to Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

• [3]

  Types for Quantum Computing

  Ross Duncan

  PhD Thesis 2006.

  This thesis was the runner up for the British Computer Society Distinguished Dissertation award.

  Details about Types for Quantum Computing | BibTeX data for Types for Quantum Computing | Download  (pdf) of Types for Quantum Computing | Link to Types for Quantum Computing

Miscellaneous

• [1]

  The computational landscape of general physical theories

  J. Barrett‚ N. de Beaudrap‚ M. J. Hoban and C. M. Lee

  February, 2017.

  Details about The computational landscape of general physical theories | BibTeX data for The computational landscape of general physical theories | Link to The computational landscape of general physical theories

• [2]

  Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

  A. Kissinger

  2012.

  DPhil Thesis‚ Oxford University

  Details about Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing | BibTeX data for Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing