Quantum Group: Publications
|
[1] |
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. |
|
[2] |
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. |
|
[3] |
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. |
|
[4] |
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. |
|
[5] |
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 |
|
[6] |
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 |
|
[7] |
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. |
|
[8] |
Categorical Quantum Circuits Ville Bergholm and Jacob Biamonte No. RR−10−17. OUCL. , 2011. |
|
[9] |
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 |
|
[10] |
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 |
|
[11] |
Categorical Tensor Network States Stephen R.Clark Jacob D. Biamonte and Dieter Jaksch No. RR−10−14. OUCL. September, 2010. |
|
[12] |
Towards quantum chemistry on a quantum computer A. Aspuru−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. |
|
[13] |
Categorical properties of the complex numbers Jamie Vicary In Journal of Mathematical Physics. 2010. To appear |
|
[14] |
Categorical formulation of finite−dimensional quantum algebras Jamie Vicary In Communications in Mathematical Physics. 2010. To appear |
|
[15] |
Quantum Picturalism Bob Coecke In Contemporary Physics. Vol. 51. Pages 59−83. 2009. arXiv:0908.1787 |
|
[16] |
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 |
|
[17] |
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 | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-03073-4) |
|
[18] |
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 | BibTeX | Download (pdf) | DOI (10.1007/s10472-009-9141-x) |
|
[19] |
The Group Theoretic Origin of Non−Locality For Qubits Bob Coecke‚ Bill Edwards and Rob Spekkens No. RR−09−04. OUCL. 2009. |
|
[20] |
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 |
|
[21] |
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 | BibTeX | Download | DOI (10.1007/978-3-540-85110-3_8) |
|
[22] |
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 | BibTeX | Download (pdf) | DOI (10.1007/978-3-540-70583-3_25) |
|
[23] |
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 | BibTeX | Download | DOI (10.1103/PhysRevA.77.052331) |
|
[24] |
Scalar Inverses in Quantum Structuralism Bob Coecke and Dusko Pavlovic No. RR−08−03. OUCL. 2008. |
|
[25] |
Classical and Quantum Structures Bob Coecke‚ Eric O Paquette and Dusko Pavlovic No. RR−08−02. OUCL. 2008. |
|
[26] |
A new description of orthogonal bases Bob Coecke‚ Dusko Pavlovic and Jamie Vicary In ENTCS. 2008. To appear |
|
[27] |
A categorical framework for the quantum harmonic oscillator Jamie Vicary In International Journal of Theoretical Physics. Vol. 47. No. 12. Pages 3408–3447. 2008. |
|
[28] |
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 |
|
[29] |
Complete Positivity without Positivity and Without Compactness Bob Coecke No. RR−07−05. Oxford University Computing Laboratory. September, 2007. |
|
[30] |
Types for Quantum Computing Ross Duncan PhD Thesis 2006. This thesis was the runner up for the British Computer Society Distinguished Dissertation award. |
|
[31] |
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 | BibTeX | Download (pdf) | DOI (10.1017/S0960129506005275) |
|
[32] |
Quantum measurements without sums Bob Coecke and Dusko Pavlovic No. RR−06−02. Oxford University Computing Laboratory. July, 2006. |
|
[33] |
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. |
|
[34] |
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 |
|
[35] |
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. |
|
[36] |
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. |
|
[37] |
A Categorical semantics of Quantum Protocols Samson Abramsky and Bob Coecke No. RR−04−02. Oxford University Computing Laboratory. February, 2004. |
|
[38] |
The Logic of Entanglement. An invitation. (Version 0.9999) Bob Coecke No. RR−03−12. Oxford University Computing Laboratory. October, 2003. |