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/s00220-018-3222-9)
-
[2]
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
-
[3]
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
-
[4]
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
-
[5]
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?
-
[6]
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
-
[7]
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
-
[8]
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
-
[9]
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)
-
[10]
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
-
[11]
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
-
[12]
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
-
[13]
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
-
[14]
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
-
[15]
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
-
[16]
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
-
[17]
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)
-
[18]
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
-
[19]
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
-
[20]
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
-
[21]
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
-
[22]
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
-
[23]
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)
-
[24]
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
-
[25]
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
-
[26]
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)
-
[27]
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)
-
[28]
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
-
[29]
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
-
[30]
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
-
[31]
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
-
[32]
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
-
[33]
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
-
[34]
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
-
[35]
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
-
[36]
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)
-
[37]
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
-
[38]
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
-
[39]
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)
-
[40]
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)
-
[41]
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
-
[42]
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
-
[43]
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)
-
[44]
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
-
[45]
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
-
[46]
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
-
[47]
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
-
[48]
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)
-
[49]
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
-
[50]
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
-
[51]
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
-
[52]
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
-
[53]
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
-
[54]
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
-
[55]
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)
-
[56]
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
-
[57]
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
-
[58]
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
-
[59]
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)
-
[60]
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
-
[61]
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
-
[62]
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
-
[63]
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)
-
[64]
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
-
[65]
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
-
[66]
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
-
[67]
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
-
[68]
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)
-
[69]
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
-
[70]
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)
-
[71]
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
-
[72]
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
-
[73]
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
-
[74]
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
-
[75]
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
-
[76]
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
-
[77]
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
-
[78]
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
-
[79]
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
-
[80]
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)
-
[81]
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)
-
[82]
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
-
[83]
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
-
[84]
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
-
[85]
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
-
[86]
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)
-
[87]
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)
-
[88]
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
-
[89]
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
-
[90]
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
-
[91]
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
-
[92]
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
-
[93]
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)
-
[94]
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
-
[95]
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
-
[96]
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
-
[97]
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
-
[98]
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
-
[99]
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
-
[100]
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)