Quantum Group: Publications
Click here to download all publications in a single bibtex file
@article{deSilvaBarbosa:ContextualityNoncommutativeGeometry,
title = "Contextuality and noncommutative geometry in quantum mechanics",
author = "de Silva, Nadish and Barbosa, Rui Soares",
year = "2019",
journal = "Communications in Mathematical Physics",
note = "Earlier partial version (``Partial and total ideals of von Neumann algebras'') available as arXiv:1408.1172 [math.OA]",
number = "2",
pages = "375--429",
volume = "365",
doi = "10.1007/s00220-018-3222-9",
}
@mastersthesis{13596,
title = "External traced monoidal categories",
author = "Nick Hu",
year = "2019",
school = "University of Oxford",
}
@article{firstlaw,
title = "The first law of general quantum resource theories",
author = "Carlo Sparaciari and L\'{i}dia del Rio and Carlo Maria Scandolo and Philippe Faist and Jonathan Oppenheim",
year = "2018",
journal = "arXiv:1806.04937 [quant-ph]",
month = "June",
url = "https://arxiv.org/abs/1806.04937",
}
@article{categorical-hypercubes,
title = "Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach",
author = "Stefano Gogioso and Carlo Maria Scandolo",
year = "2018",
journal = "arXiv:1806.00915 [quant-ph]",
month = "June",
url = "https://arxiv.org/abs/1806.00915",
}
@article{objectivity,
title = "Is it possible to be objective in every physical theory?",
author = "Carlo Maria Scandolo, Roberto Salazar, Jaros\l{}aw K. Korbicz, Pawe\l{} Horodecki",
year = "2018",
journal = "arXiv:1805.12126 [quant-ph]",
month = "May",
url = "https://arxiv.org/abs/1805.12126",
}
@article{diagrammaticreconstruction,
title = "Reconstructing quantum theory from diagrammatic postulates",
author = "John Selby and Carlo Maria Scandolo and Bob Coecke",
year = "2018",
journal = "arXiv:1802.00367 [quant-ph]",
month = "January",
url = "https://arxiv.org/abs/1802.00367",
}
@article{DBLP:journals/corr/abs-1804-07832,
title = "Normal forms for planar connected string diagrams",
author = "Antonin Delpeuch and Jamie Vicary",
year = "2018",
journal = "CoRR",
url = "http://arxiv.org/abs/1804.07832",
volume = "abs/1804.07832",
}
@article{CaruTowardsCohomologyInvariant2018,
title = "Towards a cohomology invariant for non-locality and contextuality",
author = "Giovanni Carù",
year = "2018",
}
@article{11708,
title = "Quotient Categories and Phases (Pre-print)",
author = "Sean Tull",
year = "2018",
url = "https://arxiv.org/abs/1801.09532",
}
@article{12164,
title = "Classical structures of CP maps are all canonical",
author = "Stefano Gogioso",
year = "2018",
journal = "arXiv:1809.03466",
}
@article{12163,
title = "Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach",
author = "Stefano Gogioso and Carlo Maria Scandolo",
year = "2018",
journal = "Lecture Notes in Computer Science (QI 2018), arXiv:1806.00915",
}
@article{doi://10.1016/j.tcs.2018.03.008,
title = "Generalized Relations in Linguistics & Cognition",
author = "Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marden and Alexis Toumi",
year = "2018",
journal = "Theoretical Computer Science",
url = "http://www.cs.ox.ac.uk/files/11024/GeneralisedRelations.pdf",
doi = "10.1016/j.tcs.2018.03.008",
}
@article{12161,
title = "Quantum Field Theory in Categorical Quantum Mechanics",
author = "Stefano Gogioso and Fabrizio Genovese",
year = "2018",
journal = "EPTCS (QPL 2018), arXiv:1805.12087",
}
@article{Coecke,
title = "{Uniqueness of composition in quantum theory and linguistics}",
author = "Coecke, Bob and Genovese, Fabrizio and Gogioso, Stefano and Marsden, Dan and Piedeleu, Robin",
year = "2018",
journal = "Electronic Proceedings in Theoretical Computer Science (Forthcoming)",
keywords = "Compact Closed Categories,Compositional Semantics",
url = "http://qpl.science.ru.nl/papers/QPL{\_}2017{\_}paper{\_}62.pdf",
}
@article{gogioso2017cpt,
title = "Categorical Probabilistic Theories",
author = "Stefano Gogioso and Carlo Maria Scandolo",
year = "2018",
journal = "EPTCS",
pages = "367--385",
volume = "266",
}
@inproceedings{AbrasmkyEtAl:MinimumResourcesSNL,
title = "Minimum quantum resources for strong non-locality",
author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane",
year = "2018",
address = "Dagstuhl, Germany",
booktitle = "Proceedings of 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)",
editor = "Wilde, Mark M.",
isbn = "978-3-95977-034-7",
issn = "1868-8969",
note = "Accepted for communication at 14th International Conference on Quantum Physics and Logic (QPL 2017); E-print: arXiv:1705.09312 [quant-ph]",
pages = "9:1--9:20",
publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
url = "http://drops.dagstuhl.de/opus/volltexte/2018/8582",
volume = "73",
doi = "10.4230/LIPIcs.TQC.2017.9",
}
@inproceedings{EPTCS266.9,
title = "Double Dilation $\neq$ Double Mixing (extended abstract)",
author = "Zwart, Maaike and Coecke, Bob",
year = "2018",
booktitle = "{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Nijmegen, The Netherlands, 3-7 July 2017}",
editor = "Coecke, Bob and Kissinger, Aleks",
pages = "133-146",
publisher = "Open Publishing Association",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "266",
doi = "10.4204/EPTCS.266.9",
}
@inproceedings{AbramskyBarbosaCaruDeSilvaKishidaMansfield_MinimumQuantumResources2017,
title = "Minimum Quantum Resources for Strong Non-Locality",
author = "Samson Abramsky and Rui Soares Barbosa and Giovanni Carù and Nadish de Silva and Kohei Kishida and Shane Mansfield",
year = "2018",
address = "Dagstuhl, Germany",
annote = "Keywords: strong non-locality, maximal non-locality, quantum resources, three-qubit states",
booktitle = "12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017)",
editor = "Mark M. Wilde",
isbn = "978-3-95977-034-7",
issn = "1868-8969",
journal = "Leibniz International Proceedings in Informatics (LIPIcs)",
note = "To appear",
pages = "9:1--9:20",
publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
url = "http://drops.dagstuhl.de/opus/volltexte/2018/8582",
volume = "73",
doi = "10.4230/LIPIcs.TQC.2017.9",
}
@inproceedings{DBLP:conf/www/StefanoniMK18,
title = "Estimating the Cardinality of Conjunctive Queries over {RDF} Data Using Graph Summarisation",
author = "Giorgio Stefanoni and Boris Motik and Egor V. Kostylev",
year = "2018",
booktitle = "Proceedings of the 2018 World Wide Web Conference on World Wide Web, {WWW} 2018, Lyon, France, April 23-27, 2018",
pages = "1043--1052",
url = "http://doi.acm.org/10.1145/3178876.3186003",
doi = "10.1145/3178876.3186003",
}
@inproceedings{abramsky2017quantum,
title = "The quantum monad on relational structures",
author = "Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio",
year = "2017",
booktitle = "Proceedings of Mathematical Foundations of Computer Science (MFCS)",
month = "August",
}
@inproceedings{abramsky2017minimum,
title = "Minimum quantum resources for strong non-locality",
author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and de Silva, Nadish and Kishida, Kohei and Mansfield, Shane",
year = "2017",
booktitle = "Proceedings of Theory of Quantum Computation, Communication and Cryptography (TQC)",
month = "July",
}
@misc{Barrettlandscape,
title = "{The computational landscape of general physical theories}",
author = "Barrett, J. and de Beaudrap, N. and Hoban, M. J. and Lee, C. M.",
year = "2017",
month = "feb",
pages = "1--15",
url = "http://arxiv.org/abs/1702.08483",
}
@article{Krumm2017,
title = "{Thermodynamics and the structure of quantum theory}",
author = "Krumm, M. and Barnum, H. and Barrett, J. and M{\"{u}}ller, M.P.",
year = "2017",
issn = "13672630",
journal = "New Journal of Physics",
keywords = "general probabilistic theories,higher-order interference,quantum thermodynamics,second law of thermodynamics,thermodynamic entropy,von Neumanns thought experiment",
number = "4",
volume = "19",
doi = "10.1088/1367-2630/aa68ef",
}
@article{AbramskyBarbosaMansfield:ContextualFraction,
title = "Contextual fraction as a measure of contextuality",
author = "Abramsky, Samson and Barbosa, Rui Soares and Mansfield, Shane",
year = "2017",
journal = "Physical Review Letters",
note = "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).",
number = "050504",
url = "https://link.aps.org/doi/10.1103/PhysRevLett.119.050504",
volume = "119",
doi = "10.1103/PhysRevLett.119.050504",
}
@article{AbramskyEtAl:CompleteCharacterizationAvN,
title = "A complete characterization of {A}ll-versus-{N}othing arguments for stabilizer states",
author = "Abramsky, Samson and Barbosa, Rui Soares and Car{\`u}, Giovanni and Perdrix, Simon",
year = "2017",
issn = "1364-503X",
journal = "Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, Theme Issue on `Second quantum revolution: foundational questions'",
note = "E-print: arXiv:1705.08459 [quant-ph]",
number = "2106",
url = "http://rsta.royalsocietypublishing.org/content/375/2106/201603853",
volume = "375",
doi = "10.1098/rsta.2016.0385",
}
@article{Higher-order-purity,
title = "Ruling out higher-order interference from purity principles",
author = "Howard Barnum and Ciarán Lee and Carlo Maria Scandolo and John Selby",
year = "2017",
journal = "Entropy",
pages = "253",
volume = "19",
doi = "10.3390/e19060253",
}
@article{Chiribella-Scandolo-Purity,
title = "Microcanonical thermodynamics in general physical theories",
author = "Giulio Chiribella and Carlo Maria Scandolo",
year = "2017",
journal = "New J. Phys.",
pages = "123043",
volume = "19",
doi = "10.1088/1367-2630/aa91c7",
}
@inproceedings{AbramskyEtAl:QuantumMonad,
title = "The quantum monad on relational structures",
author = "Abramsky, Samson and Barbosa, Rui Soares and de Silva, Nadish and Zapata, Octavio",
year = "2017",
address = "Dagstuhl, Germany",
booktitle = "Proceedings of 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)",
editor = "Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Fran{\c{c}}ois",
isbn = "978-3-95977-046-0",
issn = "1868-8969",
note = "E-print: arXiv:1705.07310 [cs.LO]",
pages = "35:1--35:19",
publisher = "Schloss Dagstuhl--Leibniz-Zentrum f\"{u}r Informatik",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
url = "http://drops.dagstuhl.de/opus/volltexte/2017/8129",
volume = "83",
doi = "10.4230/LIPIcs.MFCS.2017.35",
}
@inproceedings{MarsdenGenovese2017,
title = "{Custom Hypergraph Categories via Generalized Relations}",
author = "Marsden, Daniel and Genovese, Fabrizio",
year = "2017",
booktitle = "7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)",
editor = "Bonchi, Filippo and K{\"{o}}nig;, Barbara",
keywords = "Categorical Semantics,Compositional Semantics,Conceptual Spaces,Generalized Relations",
pages = "17:1--17:15",
publisher = "Leibniz International Proceedings in Informatics",
url = "http://arxiv.org/abs/1703.01204",
doi = "10.4230/LIPIcs.CALCO.2017.17",
}
@article{Chiribella-Scandolo-entanglement-entropies,
title = "Entanglement as an axiomatic foundation for statistical mechanics",
author = "Giulio Chiribella and Carlo Maria Scandolo",
year = "2016",
journal = "arXiv:1608.04459 [quant-ph]",
month = "August",
url = "https://arxiv.org/abs/1608.04459",
}
@article{AbramskyEtAl:PossibilitiesDetermine,
title = "Possibilities determine the combinatorial structure of probability polytopes",
author = "Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane",
year = "2016",
journal = "Journal of Mathematical Psychology, Special Issue on Foundations of Probability (in press)",
note = "E-print: arXiv:1603.07735 [quant-ph]",
url = "http://www.sciencedirect.com/science/article/pii/S0022249616300013",
doi = "10.1016/j.jmp.2016.03.006",
}
@article{DBLP:journals/corr/PiedeleuKCS15,
title = "Open System Categorical Quantum Semantics in Natural Language Processing",
author = "Robin Piedeleu and Dimitri Kartsaklis and Bob Coecke and Mehrnoosh Sadrzadeh",
year = "2015",
journal = "CoRR",
url = "http://arxiv.org/abs/1502.00831",
volume = "abs/1502.00831",
}
@inproceedings{AbramskyEtAl:ContextualityCohomologyAndParadox,
title = "Contextuality, cohomology and paradox",
author = "Abramsky, Samson and Barbosa, Rui Soares and Kishida, Kohei and Lal, Raymond and Mansfield, Shane",
year = "2015",
address = "Dagstuhl, Germany",
booktitle = "Proceedings of 24th EACSL Annual Conference on Computer Science Logic ({CSL} 2015)",
editor = "Kreutzer, Stephan",
isbn = "978-3-939897-90-3",
issn = "1868-8969",
note = "E-print: arXiv:1502.03097 [quant-ph]",
pages = "211--228",
publisher = "Schloss Dagstuhl--Leibniz-Zentrum f{\"{u}}r Informatik",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
url = "http://drops.dagstuhl.de/opus/volltexte/2015/5416",
volume = "41",
doi = "10.4230/LIPIcs.CSL.2015.211",
}
@inproceedings{coecke2015compositional,
title = "A compositional explanation of the ‘pet fish’phenomenon",
author = "Coecke, Bob and Lewis, Martha",
year = "2015",
booktitle = "International Symposium on Quantum Interaction",
organization = "Springer",
pages = "179--192",
}
@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{monogamymacrosmall,
title = "On monogamy of non-locality and macroscopic averages: examples and preliminary results",
author = "Barbosa, Rui Soares",
year = "2014",
booktitle = "Proceedings of 11th workshop on Quantum Physics and Logic (QPL 2014)",
editor = "Coecke, Bob and Hasuo, Ichiro and Panangaden, Prakash",
note = "E-print: arXiv:1412.8541 [quant-ph]",
pages = "36--55",
publisher = "Open Publishing Association",
series = "Electronic Proceedings in Theoretical Computer Science",
url = "http://arxiv.org/abs/1412.8541v1",
volume = "172",
doi = "10.4204/EPTCS.172.4",
}
@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{MansfieldBarbosa:QPL2013,
title = "Extendability in the sheaf-theoretic approach: Construction of {B}ell models from {K}ochen-{S}pecker models",
author = "Mansfield, Shane and Soares Barbosa, Rui",
year = "2013",
booktitle = "Informal pre-proceedings of 10th Wokshop on Quantum Physics and Logic (QPL 2013), ICFo Barcelona",
note = "E-print: arXiv:1402.4827 [quant-ph]",
url = "http://arxiv.org/pdf/1402.4827.pdf",
}
@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",
}
@inproceedings{AbramskyMansfieldBarbosa:Cohomology-QPL,
title = "The cohomology of non-locality and contextuality",
author = "Abramsky, Samson and Mansfield, Shane and Barbosa, Rui Soares",
year = "2012",
booktitle = "Proceedings of 8th International Workshop on Quantum Physics and Logic (QPL 2011)",
editor = "Jacobs, Bart and Selinger, Peter and Spitters, Bas",
note = "E-print: arXiv:1111.3620 [quant-ph]",
pages = "1--14",
series = "Electronic Proceedings in Theoretical Computer Science",
url = "http://arXiv.org/pdf/1111.3620.pdf",
volume = "95",
doi = "10.4204/EPTCS.95.1",
}
@incollection{unsharpvalues,
title = "Unsharp values, domains and topoi",
author = "D{\"o}ring, Andreas and Barbosa, Rui Soares",
year = "2012",
booktitle = "Quantum Field Theory and Gravity",
editor = "Finster, Felix and M{\"u}ller, Olaf and Nardmann, Marc and Tolksdorf, J{\"u}rgen and Zeidler, Eberhard",
isbn = "978-3-0348-0042-6",
note = "E-print: arXiv:1107.1083 [quant-ph]",
pages = "65--96",
publisher = "Springer Basel",
url = "http://link.springer.com/chapter/10.1007%2F978-3-0348-0043-3_5",
doi = "10.1007/978-3-0348-0043-3_5",
}
@misc{AleksThesis,
title = "Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing",
author = "Kissinger, A.",
year = "2012",
note = "DPhil Thesis, Oxford University",
}
@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",
}