Skip to main content

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",
}