Quantum Group: Publications

[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/s0022001832229)

[2]
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

[3]
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

[4]
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?

[5]
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

[6]
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

[7]
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

[8]
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)

[9]
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

[10]
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

[11]
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

[12]
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

[13]
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

[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]
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

[16]
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)

[17]
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

[18]
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

[19]
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

[20]
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

[21]
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

[22]
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/13672630/aa68ef)

[23]
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

[24]
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

[25]
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)

[26]
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/13672630/aa91c7)

[27]
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

[28]
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

[29]
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

[30]
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

[31]
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

[32]
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

[33]
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

[34]
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

[35]
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/s403620140017z)

[36]
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/s0022001420888)  Link to Characterizations of categories of commutative C*−subalgebras

[37]
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

[38]
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)

[39]
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)

[40]
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

[41]
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

[42]
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/9783662439517_18)

[43]
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

[44]
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

[45]
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/9783642381645_3)  Link to Compositional quantum logic

[46]
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

[47]
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)

[48]
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

[49]
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

[50]
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

[51]
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

[52]
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

[53]
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

[54]
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/s1048501192463)

[55]
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

[56]
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

[57]
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

[58]
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/s1122901199184)

[59]
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

[60]
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/9783034800433_5)  Link to Unsharp values‚ domains and topoi

[61]
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

[62]
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)

[63]
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

[64]
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

[65]
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

[66]
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

[67]
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)

[68]
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

[69]
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)

[70]
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

[71]
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

[72]
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

[73]
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

[74]
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

[75]
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

[76]
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

[77]
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

[78]
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

[79]
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/s104720099141x)

[80]
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/9783642030734)

[81]
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

[82]
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

[83]
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

[84]
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

[85]
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/9783540851103_8)

[86]
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/9783540705833_25)

[87]
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

[88]
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

[89]
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

[90]
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

[91]
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

[92]
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)

[93]
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

[94]
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

[95]
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

[96]
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

[97]
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

[98]
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

[99]
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)