Quantum Group: Publications

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

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)

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

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

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

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

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

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

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

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

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

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

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)

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

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)

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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)

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

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

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

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

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)

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)

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

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

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

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

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

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

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)

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

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

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

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)

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)

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)

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

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)

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

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?

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

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)

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)

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

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

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

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

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

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)

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

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

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

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

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

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)

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

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

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

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

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

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

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)

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)

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

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

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

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

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)

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

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

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

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)

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

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

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

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

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

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

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

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)

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

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

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

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

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)

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