# Quantum Group: Publications

Click here to download all publications in a single bibtex file

@inproceedings{kartsadrqpl2014, title = "A Study of Entanglement in a Categorical Framework of Natural Language", author = "Dimitri Kartsaklis and Mehrnoosh Sadrzadeh", year = "2014", address = "Kyoto, Japan", booktitle = "Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL)", month = "June", }

@article{springercomp, title = "Compositional Operators in Distributional Semantics", author = "Dimitri Kartsaklis", year = "2014", issn = "2213-7793", journal = "Springer Science Reviews", month = "April", doi = "10.1007/s40362-014-0017-z", }

@article{heunen:cccc, title = "Characterizations of categories of commutative C*-subalgebras", author = "Chris Heunen", year = "2014", journal = "Communications in Mathematical Physics", number = "1", pages = "215-238", url = "http://arxiv.org/abs/1106.5942", volume = "331", doi = "10.1007/s00220-014-2088-8", }

@article{heunenreyes:awstar, title = "Active lattices determine AW*-algebras", author = "Chris Heunen and Manuel L. Reyes", year = "2014", journal = "Journal of Mathematical Analysis and Applications", pages = "289-313", url = "http://arxiv.org/abs/1212.5778", volume = "416", doi = "10.1016/j.jmaa.2014.02.041", }

@article{kunjwalheunenfritz:hypergraphs, title = "All joint measurability structures are quantum realizable", author = "Ravi Kunjwal and Chris Heunen and Tobias Fritz", year = "2014", journal = "Physical Review A", number = "5", pages = "052126", volume = "89", doi = "http://dx.doi.org/10.1103/PhysRevA.89.052126", }

@article{8548, title = "Quantum theory realises all joint measurability graphs", author = "Chris Heunen and Tobias Fritz and Manuel L. Reyes", year = "2014", journal = "Physical Review A", pages = "032121", volume = "89", doi = "10.1103/PhysRevA.89.032121", }

@article{GrefenstetteSadrzadehCL14, title = "Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning", author = "Edward Grefenstette and Mehrnoosh Sadrzadeh", year = "2014", journal = "Computational Linguistics", }

@inproceedings{heunen:piecewisedomains, title = "Piecewise Boolean algebras and their domains", author = "Chris Heunen", year = "2014", booktitle = "41st International Colloquium on Automata, Logic, and Programming", pages = "208-219", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "8573", doi = "10.1007/978-3-662-43951-7_18", }

@phdthesis{GrefenstetteThesis2013, title = "Category-Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics", author = "Edward Grefenstette", year = "2013", affiliation = "University of Oxford", institution = "University of Oxford", location = "Oxford, UK", month = "June", url = "http://arxiv.org/abs/1311.1539", }

@book{QuantumPhysLingOUP, title = "Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse", year = "2013", editor = "Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette", isbn = "978-0199646296", month = "February", publisher = "Oxford University Press", url = "http://ukcatalogue.oup.com/product/9780199646296.do#.UPAFH4mLLqp", }

@inbook{coeckeheunenkissinger:compositionalquantumlogic, title = "Compositional quantum logic", author = "Bob Coecke and Chris Heunen and Aleks Kissinger", year = "2013", booktitle = "Computation, Logic, Games, and Quantum Foundations", chapter = "Compositional Quantum Logic", editor = "Bob Coecke and Luke Ong and Prakash Panangaden", pages = "21-36", url = "http://arxiv.org/abs/1302.4900", doi = "10.1007/978-3-642-38164-5_3", }

@inbook{mehrnoosh2013, title = "Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras", author = "Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman and Bob Coecke", year = "2013", booktitle = "Logic and Algebraic Structures in Quantum Computing and Information", editor = "Chubb, J., Eskandarian, A. and Harizanov, V.", note = "To appear", publisher = "Cambridge University Press", }

@article{8547, title = "Matrix multiplication is determined by trace and orthogonality", author = "Chris Heunen and Clare Horseman", year = "2013", journal = "Linear Algebra and its Applications", number = "12", pages = "4130-4134", volume = "439", doi = "10.1016/j.laa.2013.09.039", }

@article{GrefenstetteTFDS, title = "Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors", author = "Edward Grefenstette", year = "2013", journal = "Proceedings of the Second Joint Conference on Lexical and Computational Semantics", url = "http://www.aclweb.org/anthology-new/S/S13/S13-1001.pdf", }

@article{CoeckeSadrGrefAPAL13, title = "Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus", author = "Bob Coecke and Edward Grefenstette and Mehrnoosh Sadrzadeh", year = "2013", journal = "Annals of Pure and Applied Logic", url = "http://arxiv.org/abs/1302.0393", }

@article{GrefSadrBarIWCS13, title = "Multi-Step Regression Learning for Compositional Distributional Semantics", author = "Edward Grefenstette and Georgiana Dinu and Yao-Zhong Zhang and Mehrnoosh Sadrzadeh and Marco Baroni", year = "2013", journal = "Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013)", url = "http://aclweb.org/anthology/W/W13/W13-0112.pdf", }

@article{cpv08-ndob, title = "A new description of orthogonal bases", author = "Bob Coecke and Dusko Pavlovic and Jamie Vicary", year = "2013", journal = "Electronic Notes in Theoretical Computer Science", number = "3", pages = "555--567", url = "http://arxiv.org/abs/0810.0812", volume = "23", doi = "http://dx.doi.org/10.1017/S0960129512000047", }

@inproceedings{kartsaklis_etal_2012, title = "A Unified Sentence Space for Categorical Distributional-Compositional Semantics: Theory and Experiments", author = "Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman", year = "2012", address = "Mumbai, India", booktitle = "Proceedings of 24th International Conference on Computational Linguistics (COLING): Posters", month = "December", pages = "549-558", }

@article{vdbergheunen:colim, title = "Noncommutativity as a colimit", author = "Benno van den Berg and Chris Heunen", year = "2012", journal = "Applied Categorical Structures", number = "4", pages = "393-414", volume = "20", doi = "10.1007/s10485-011-9246-3", }

@article{abramskyheunen:hstar, title = "H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics", author = "Samson Abramsky and Chris Heunen", year = "2012", journal = "Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics", pages = "1-24", url = "http://arxiv.org/abs/1011.6123", volume = "71", }

@article{heunenreyes:diagonal, title = "Diagonalizing matrices over AW*-algebras", author = "Chris Heunen and Manuel L. Reyes", year = "2012", journal = "Journal of Functional Analysis", number = "8", pages = "1873-1898", url = "http://arxiv.org/abs/1208.5120", volume = "264", doi = "10.1016/j.jfa.2013.01.022", }

@article{heunencontrerascattaneo:relfrobgpd, title = "Relative Frobenius algebras are groupoids", author = "Chris Heunen and Ivan Contreras and Alberto S. Cattaneo", year = "2012", journal = "Journal of Pure and Applied Algebra", pages = "114-124", url = "http://arxiv.org/abs/1112.1284", volume = "217", doi = "10.1016/j.jpaa.2012.04.002", }

@article{heunenlandsmanspitters:synthese, title = "Bohrification of operator algebras and quantum logic", author = "Chris Heunen, Nicolaas P. Landsman, and Bas Spitters", year = "2012", journal = "Synthese", number = "3", pages = "719-752", volume = "186", doi = "10.1007/s11229-011-9918-4", }

@article{boixoheunen:sequentializable, title = "Entangled and sequential quantum protocols with dephasing", author = "Sergio Boixo and Chris Heunen", year = "2011", journal = "Physical Review Letters", pages = "120402", volume = "108", doi = "10.1103/PhysRevLett.108.120402", }

@article{SadrGrefQI11, title = "A Compositional Distributional Semantics, Two Concrete Constructions, and some Experimental Evaluations", author = "Mehrnoosh Sadrzadeh and Edward Grefenstette", year = "2011", affiliation = "Department of Computer Science, University of Oxford", journal = "Lecture Notes in Computer Science", pages = "35--47", publisher = "Springer", url = "http://arxiv.org/abs/1105.1702", volume = "7052", }

@article{GrefSadrzadehEMNLP2011, title = "Experimental Support for a Categorical Compositional Distributional Model of Meaning", author = "Edward Grefenstette and Mehrnoosh Sadrzadeh", year = "2011", journal = "Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing", url = "http://www.aclweb.org/anthology-new/D/D11/D11-1129.pdf", }

@article{SadrGrefGEMS11, title = "Experimenting with Transitive Verbs in a DisCoCat", author = "Edward Grefenstette and Mehrnoosh Sadrzadeh", year = "2011", journal = "Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics", url = "http://www.aclweb.org/anthology-new/W/W11/W11-2507.pdf", }

@article{GrefenstetteSadrzadehClarkCoeckePulman2010, title = "Concrete Sentence Spaces for Compositional Distributional Models of Meaning", author = "Edward Grefenstette and Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke and Stephen Pulman", year = "2011", journal = "Proceedings of the 9th International Conference on Computational Semantics (IWCS11)", pages = "125--134", url = "http://www.aclweb.org/anthology/W/W11/W11-0114.pdf", }

@article{CE, title = "Toy Quantum Categories (Extended Abstract)", author = "Bob Coecke and Bill Edwards", year = "2011", journal = "Electronic Notes in Theoretical Computer Science", note = "{a}rXiv:0808.1037", number = "1", pages = "29 - 40", volume = "270", }

@article{CES, title = "Phase groups and the origin of non-locality for qubits", author = "Bob Coecke and Bill Edwards and Robert W. Spekkens", year = "2011", journal = "Electronic Notes in Theoretical Computer Science", note = "{a}rXiv:1003.5005", number = "2", pages = "15-36", volume = "270", }

@article{CWWWZ, title = "Graphical Calculus for Quantum Key Distribution (Extended Abstract)", author = "Bob Coecke and Quanlong Wang and Baoshan Wang and Yongjun Wang and Qiye Zhang", year = "2011", journal = "Electronic Notes in Theoretical Computer Science", number = "2", pages = "231 - 249", url = "http://www.sciencedirect.com/science/article/B75H1-523KWFB-4/2/6197b31b523ba8c0c9b27a2e1e5be1e0", volume = "270", }

@techreport{3762, title = "Categorical Quantum Circuits", author = "Ville Bergholm and Jacob Biamonte", year = "2011", institution = "OUCL", journal = "Journal of Physics A: Mathematical and Theoretical", month = "Sep 28th", number = "RR-10-17", url = "http://www.comlab.ox.ac.uk/publications/publication3762-abstract.html", }

@techreport{3755, title = "Categorical Tensor Network States", author = "Jacob D. Biamonte,Stephen R.Clark and Dieter Jaksch", year = "2010", institution = "OUCL", journal = "arXiv:1012.0531v1 [quant-ph]", keywords = "Tensor Networks, Simulation, MPS, CTNS, PEPS, MERA, Category Theory, Quantum Mechanics and Quantum Theory", month = "Sep", number = "RR-10-14", pages = "31", url = "http://arxiv.org/pdf/1012.0531v1", }

@article{3411, title = "Towards quantum chemistry on a quantum computer", author = "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, A. Aspuru-Guzik & A. G. White", year = "2010", journal = "Nature Chem.", number = "2", pages = "106–111", url = "http://www.nature.com/nchem/journal/v2/n2/abs/nchem.483.html", doi = "doi:10.1038/nchem.483", }

@article{v08-cpcn, title = "Categorical properties of the complex numbers", author = "Jamie Vicary", year = "2010", journal = "Journal of Mathematical Physics", note = "To appear", url = "http://arxiv.org/abs/0807.2927", }

@article{v08-cfqa, title = "Categorical formulation of finite-dimensional quantum algebras", author = "Jamie Vicary", year = "2010", journal = "Communications in Mathematical Physics", note = "To appear", url = "http://arxiv.org/abs/0805.0432", }

@inproceedings{CK, title = "The Compositional Structure of Multipartite Quantum Entanglement", author = "Bob Coecke and Aleks Kissinger", year = "2010", booktitle = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)", note = "Extended version: {a}rXiv:1002.2540", pages = "297-308", series = "Lecture Notes in Computer Science", }

@inproceedings{CPer, title = "Environment and classical channels in categorical quantum mechanics", author = "Bob Coecke and Simon Perdrix", year = "2010", booktitle = "Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL)", note = "Extended version: {a}rXiv:1004.1598", pages = "230-244", series = "Lecture Notes in Computer Science", volume = "6247", }

@inbook{Duncan:2009cs, title = "Generalised Proof-Nets for Compact Categories with Biproducts", author = "Ross Duncan", year = "2009", booktitle = "Semantics of Quantum Computation", editor = "S. Gay and I. Mackie", keywords = "categorical quantum mechanics; compact closed categories; proof-nets; quantum computing", note = "Preprint available at http://arxiv.org/abs/0903.5154", publisher = "Cambridge University Press", }

@article{ContPhys, title = "Quantum Picturalism", author = "Bob Coecke", year = "2009", journal = "Contemporary Physics", note = "{a}rXiv:0908.1787", pages = "59-83", volume = "51", }

@article{Lucas-Dixon:2009yq, title = "Graphical Reasoning in Compact Closed Categories for Quantum Computation", author = "Lucas Dixon and Ross Duncan", year = "2009", journal = "Annals of Mathematics and Artificial Intelligence", keywords = "categorical quantum mechanics; compact closed categories; rewriting; graphical calculi", note = "preprint available at http://arxiv.org/abs/0902.0514", doi = "10.1007/s10472-009-9141-x", }

@inproceedings{Duncan:2009ph, title = "Graph States and the necessity of Euler Decomposition", author = "Ross Duncan and Simon Perdrix", year = "2009", booktitle = "Computability in Europe: Mathematical Theory and Computational Practice (CiE'09)", editor = "Ambos-Spies, K. and L\"{o}we, B. and Merkle, W.", keywords = "quantum computing; categorical quantum mechanics; graphical calculi; measurement-based quantum computing; entanglement", note = "Preprint available at http://arxiv.org/abs/0902.0500", pages = "167--177", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "5635", doi = "10.1007/978-3-642-03073-4", }

@techreport{RR-09-04, title = "The Group Theoretic Origin of Non-Locality For Qubits", author = "Bob Coecke and Bill Edwards and Rob Spekkens", year = "2009", institution = "OUCL", number = "RR-09-04", pages = "22", }

@article{1026, title = "Non-perturbative k-body to two-body commuting conversion Hamiltonians and embedding problem instances into Ising spins", author = "J.D. Biamonte", year = "2008", journal = "Physical Review A 77, 052331", url = "http://arxiv.org/pdf/0801.3800v3", doi = "10.1103/PhysRevA.77.052331", }

@article{v07-cfqho, title = "A categorical framework for the quantum harmonic oscillator", author = "Jamie Vicary", year = "2008", journal = "International Journal of Theoretical Physics", number = "12", pages = "3408--3447", url = "http://arxiv.org/abs/0706.0711", volume = "47", }

@inproceedings{CD, title = "Interacting quantum observables", author = "Bob Coecke and Ross Duncan", year = "2008", booktitle = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)", note = "Extended version: {a}rXiv:quant-ph/09064725", series = "Lecture Notes in Computer Science", }

@inproceedings{Dixon:2008ys, title = "Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation", author = "Lucas Dixon and Ross Duncan", year = "2008", booktitle = "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", editor = "Autexier, Serge and Campbell, John and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek", keywords = "rewriting; quantum computing; categorical logic; interactive theorem proving; graphical calculi", pages = "77-92", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "5144", doi = "10.1007/978-3-540-85110-3_8", }

@inproceedings{Coecke:2008nx, title = "Interacting Quantum Observables", author = "Bob Coecke and Ross Duncan", year = "2008", booktitle = "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II", keywords = "categorical quantum mechanics; quantum computing;", note = "A significantly revised and expanded version of this paper is available as preprint http://arxiv.org/abs/0906.4725", pages = "298-310", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "5126", doi = "10.1007/978-3-540-70583-3_25", }

@techreport{RR-08-03, title = "Scalar Inverses in Quantum Structuralism", author = "Bob Coecke and Dusko Pavlovic", year = "2008", institution = "OUCL", number = "RR-08-03", }

@techreport{RR-08-02, title = "Classical and Quantum Structures", author = "Bob Coecke and Eric O Paquette and Dusko Pavlovic", year = "2008", institution = "OUCL", number = "RR-08-02", }

@techreport{RR-07-05, title = "Complete Positivity without Positivity and Without Compactness", author = "Bob Coecke", year = "2007", institution = "Oxford University Computing Laboratory", month = "September", number = "RR-07-05", }

@incollection{CPav, title = "Quantum measurements without sums", author = "Bob Coecke and Dusko Pavlovic", year = "2007", booktitle = "Mathematics of Quantum Computing and Technology", editor = "G.~Chen and L.~Kauffman and S.~Lamonaco", note = "\mbox{a}rXiv:quant-ph/0608035", pages = "567--604", publisher = "Taylor and Francis", }

@techreport{RR-06-02, title = "Quantum measurements without sums", author = "Bob Coecke and Dusko Pavlovic", year = "2006", institution = "Oxford University Computing Laboratory", month = "July", number = "RR-06-02", }

@article{AbrDun:CQLv2:2004, title = "A Categorical Quantum Logic", author = "Samson Abramsky and Ross Duncan", year = "2006", journal = "Mathematical Structures in Computer Science", note = "Preprint available at http://arxiv.org/abs/quant-ph/0512114", number = "3", pages = "469-489", volume = "16", doi = "10.1017/S0960129506005275", }

@phdthesis{Duncan:thesis:2006, title = "Types for Quantum Computing", author = "Ross Duncan", year = "2006", institution = "Oxford University", note = "This thesis was the runner up for the British Computer Society Distinguished Dissertation award.", url = "http://www.bcs.org/server.php?show=conMediaFile.10119", }

@conference{JP05b, title = "Resources for measurement-based quantum computation: A unifying view", author = "Ph. Jorrand, S. Perdrix", year = "2005", booktitle = "Proceedings of Quantum Information, Computation and Communication", howpublished = "Proceedings of Quantum Information, Computation and Communication", journal = "Proceedings of Quantum Information, Computation and Communication", pages = "111-120", url = "http://www.pps.jussieu.fr/~perdrix/publi/Perdrix-Publications/jorrand-perdrix.pdf", }

@techreport{RR-04-02, title = "A Categorical semantics of Quantum Protocols", author = "Samson Abramsky and Bob Coecke", year = "2004", institution = "Oxford University Computing Laboratory", month = "February", number = "RR-04-02", }

@techreport{RR-04-18, title = "Believe it or not, Bell states are a model of multiplicative linear logic", author = "Ross Duncan", year = "2004", institution = "Oxford University Computing Laboratory", month = "October", number = "RR-04-18", }

@inproceedings{AC, title = "A categorical semantics of quantum protocols", author = "Samson Abramsky and Bob Coecke", year = "2004", booktitle = "Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science", note = "Extended version: arXiv:0808.1023", pages = "415-425", publisher = "IEEE Computer Science Press", }

@inproceedings{AbrDun:CQLv1:2004, title = "A Categorical Quantum Logic", author = "Samson Abramsky and Ross Duncan", year = "2004", booktitle = "Proceedings of the 2nd International Workshop on Quantum Programming Languages", edition = "Selinger, Peter", keywords = "quantum computing; compact closed categories; proof-nets", note = "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.", series = "Turku Centre for Computer Science General Publication", url = "http://quasar.mathstat.uottawa.ca/~selinger/qpl2004/PDFS/02Abramsky-Duncan.pdf", volume = "33", }

@techreport{RR-03-12, title = "The Logic of Entanglement. An invitation. (Version 0.9999)", author = "Bob Coecke", year = "2003", institution = "Oxford University Computing Laboratory", month = "October", number = "RR-03-12", }