Quantum Group: Publications

[1]	Generalised Proof-Nets for Compact Categories with Biproducts Ross Duncan In S. Gay, I. Mackie, editors, Semantics of Quantum Computation Cambridge University Press. 2009. Preprint available at http://arxiv.org/abs/0903.5154. Details \| BibTeX \| Download (pdf)

[2]

Graph States and the necessity of Euler Decomposition

Ross Duncan, Simon Perdrix

In Ambos-Spies, K., Löwe, B. and Merkle, W., 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)

[3]	Graphical Reasoning in Compact Closed Categories for Quantum Computation Lucas Dixon, Ross Duncan 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)

[4]	The Group Theoretic Origin of Non-Locality For Qubits Bob Coecke, Bill Edwards and Rob Spekkens No. RR-09-04, Technical Report, OUCL. 2009. Details \| BibTeX \| Download (pdf)

[5]

Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

Lucas Dixon, Ross Duncan

In Autexier, Serge et al. , 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)

[6]

Interacting Quantum Observables

Bob Coecke, 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)

[7]	Non-perturbative k-body to two-body commuting conversion Hamiltonians and embedding problem instances into Ising spins J.D. Biamonte Physical Review A 77, 052331, 2008. Details \| BibTeX \| Link

[8]	Scalar Inverses in Quantum Structuralism Bob Coecke, Dusko Pavlovic No. RR-08-03, Technical Report, OUCL. 2008. Details \| BibTeX \| Download (pdf)

[9]	Classical and Quantum Structures Bob Coecke, Eric O Paquette and Dusko Pavlovic No. RR-08-02, Technical Report, OUCL. 2008. Details \| BibTeX \| Download (pdf)

[10]	Categorical properties of the complex numbers Jamie Vicary 2008. Details \| BibTeX \| Link

[11]	Categorical formulation of quantum algebras Jamie Vicary 2008. Details \| BibTeX \| Link

[12]	A new description of orthogonal bases Bob Coecke, Dusko Pavlovic, Jamie Vicary 2008. Details \| BibTeX \| Link

[13]	A categorical framework for the quantum harmonic oscillator Jamie Vicary International Journal of Theoretical Physics, Vol. 47, No. 12, pages 3408—3447. 2008. Details \| BibTeX \| Link

[14]	Complete Positivity without Positivity and Without Compactness Bob Coecke No. RR-07-05, Technical Report, Oxford University Computing Laboratory. September 2007. Details \| BibTeX \| Download (pdf)

[15]	Types for Quantum Computing Ross Duncan PhD Thesis, 2006. This thesis was the runner up for the British Computer Society Distinguished Dissertation award. Details \| BibTeX \| Download (pdf)

[16]	A Categorical Quantum Logic Samson Abramsky, Ross Duncan 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)

[17]	Quantum measurements without sums Bob Coecke, Dusko Pavlovic No. RR-06-02, Technical Report, Oxford University Computing Laboratory. July 2006. Details \| BibTeX \| Download (pdf)

[18]	Resources for measurement-based quantum computation: A unifying view Ph. Jorrand, S. Perdrix In Proceedings of Quantum Information, Computation and Communication pages 111-120. 2005. Details \| BibTeX \| Link (pdf)

[19]	Believe it or not, Bell states are a model of multiplicative linear logic Ross Duncan No. RR-04-18, Technical Report, Oxford University Computing Laboratory. October 2004. Details \| BibTeX \| Download (ps)

[20]

A Categorical Quantum Logic

Samson Abramsky, 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 | BibTeX | Link (pdf)

[21]	A Categorical semantics of Quantum Protocols Samson Abramsky, Bob Coecke No. RR-04-02, Technical Report, Oxford University Computing Laboratory. February 2004. Details \| BibTeX \| Download (ps)

[22]	The Logic of Entanglement. An invitation. (Version 0.9999) Bob Coecke No. RR-03-12, Technical Report, Oxford University Computing Laboratory. October 2003. Details \| BibTeX \| Download (ps)