From 9608704f996aea2b31627b574dc21a5777ed4536 Mon Sep 17 00:00:00 2001
From: Bob Coecke <coecke@cs.ox.ac.uk>
Date: Tue, 12 Feb 2019 14:54:18 +0000
Subject: [PATCH] Some work on Oxford team description.
---
NEWPROPOSAL/FULLPROP.tex | 53 +++++++++++++++++++++++++++-------------
1 file changed, 36 insertions(+), 17 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 4fe707e..f576217 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -18,7 +18,7 @@
\begin{document}
\newcommand\projtitle{Compilation and optimisation for near-term quantum computing using the ZX calculus}
-\newcommand\projacro{Co-Op ZX}
+\newcommand\projacro{Co-Op ZX}
\title{QuantERA Full Proposal}
\author{}
@@ -1939,9 +1939,9 @@ and non-locality in categorical quantum mechanics. LiCS 2012. IEEE Computer Soci
\textbf{Partner 2} & University of Oxford\\
& Department of Computer Science
\end{tabular}
- \vspace{1mm}\hrulefill\vspace{1mm}
+ \vspace{1mm}\hrulefill\vspace{1mm}
- \textbf{Expertise:} The now well over 50 members Quantum Group at the Department of Computer Science, founded and led by Abramsky and Coecke has been the world-leading group in the development of high-level computer science methods for quantum computing. It is also the birthplace of \zxcalculus, where most of the completeness result where proven, and where {\tt quantomatic} was mostly developed. Previously they coordinated the FP6 FET Open STREP QICS. The group is part of the NQIT Quantum Technologies Hub and has hosted 8 long-term EPSRC fellowships in the area of Quantum Computing. The Computer Science Department at Oxford is currently ranked within the world top 3.
+ \textbf{Expertise:} The now well over 50 members Quantum Group at the Department of Computer Science, founded and led by Abramsky and Coecke has been the world-leading group in the development of high-level computer science methods for quantum computing. It is also the birthplace of \zxcalculus, where most of the completeness result were proven, and where {\tt quantomatic} was mostly developed. Previously they coordinated the FP6 FET Open STREP QICS. The group is part of the NQIT Quantum Technologies Hub and has hosted 8 long-term EPSRC fellowships in the area of Quantum Computing. For a year now the group has an ongoing collaboration with Cambridge Quantum Computing Ltd. The Computer Science Department at Oxford is currently ranked 1st in the world.
% \REM{blah blah blah blah}
% \REM{Expertise of the organisation related to the project
@@ -1950,21 +1950,40 @@ and non-locality in categorical quantum mechanics. LiCS 2012. IEEE Computer Soci
% to 5 relevant publications, and/or products, services
% (incl. widely-used datasets or software), or other achievements
% relevant to the call content. }
- \textbf{Prof.\ Bob Coecke} pioneered categorical and diagrammatic methods for quantum computing (1), and \zxcalculus\ in particular (with Duncan) (2). He is/has supervised approx.~40 PhD students, which include Ng and Wang who recently proved universal completeness of the \zx-calculus \cite{NW-2017}, and included Backens who proved stabiliser completeness \cite{1367-2630-16-9-093021}. He co-authored \em Picturing Quantum Processes \em (3), which presents diagrammatic methods for quantum computing to a broader audience.
- \textit{\color{gray} \textbf{Publications:} (1) Samson Abramsky and ---. A categorical semantics of quantum protocols. In LICS 2004. IEEE Computer Society, 2004. (2) Bob Coecke and Ross Duncan. Interacting quantum observables: Categorical algebra and
-diagrammatics. New J. Phys, 13(043016), 2011. (3) --- and A. Kissinger. Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, 2017.}
+ \textbf{Dr.\ Miriam Backens} is Career Development Fellow at Balliol College, Oxford. They proved completeness of stabiliser \zxcalculus and of the single-qubit Clifford+T fragment, and co-developed the related ZH-calculus as well as proving its completeness. \textit{\color{gray} \textbf{Publications:}
+ (1) ---. The ZX-calculus is complete for stabilizer quantum mechanics. NJP 16, 2014. arXiv:1307.7025.
+ (2) ---. The ZX-calculus is complete for the single-qubit Clifford+T group. EPTCS 172. arXiv:1412.8553.
+ (3) --- and A.~Kissinger. ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non- linearity. QPL 2018. arXiv: 1805.02175.}
- \textbf{Prof.\ Samson Abramsky} is Christopher Strachey Professor of Computing and a Fellow of the Royal Society. He pioneered high-level methods for quantum computing (see (1) above). He received the IEEE LiCS test of time award, is a fellow of the ACM for his pioneering work in computing and was awarded the BCS Lovelace Medal in 2013.
+ \textbf{Prof.\ Bob Coecke} is Professor of Quantum Foundations, Logics and Structures, and pioneered categorical and diagrammatic methods for quantum computing (1), and \zxcalculus\ in particular (with Duncan) (2). He is/has supervised approx.~50 PhD students, which include Hadzisasanivic, Ng and Wang who proved universal completeness of the \zx-calculus \cite{NW-2017}, and included Backens who proved stabiliser completeness \cite{1367-2630-16-9-093021}. He co-authored \em Picturing Quantum Processes \em (3), which presents diagrammatic methods for quantum computing to a broader audience.
+ \textit{\color{gray} \textbf{Publications:} (1) S.~Abramsky and ---. A categorical semantics of quantum protocols. In LICS 2004. (2) --- and R.~Duncan. Interacting quantum observables: Categorical algebra and
+diagrammatics. NJP 13 (043016), 2011. (3) --- and A.~Kissinger. Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. CUP, 2017. }
- \textbf{Prof.\ Simon Benjamin} is Professor of Quantum Technologies and Associate Director and head of the ``Architectures'' WP of the NQIT Quantum Technologies Hub. He is an expert in design and architecture of quantum hardware.
- %, that is tolerant of the imperfections which first generation quantum technologies will inevitably have.
- \textit{\color{gray} \textbf{Publications:} (1) Architectures and materials for robust and scalable quantum technologies, Nature Comm.~4, 1756. (2) N. H. Nickerson, J. F. Fitzsimons, and ---. Freely scalable quantum technologies using cells of 5-to-50 qubits with very lossy and noisy photonic links. Phys. Rev. X, 4:041041, 2014.}
+ \textbf{Dr.\ Niel de Beaudrap} \bR is a post-doctoral researcher involved in the NQIT project. He developed the first efficient algorithms to recover annotation systems to re-write MBQC procedures to the unitary circuit model. +++\e
+\textit{\color{gray}
+\textbf{Publications:}
+(1) ---. Finding flows in the one-way measurement model. PRA~77 (022328), 2008.
+(2) --- and D.~Horsman. The ZX calculus is a language for surface code lattice surgery. arXiv:1704.08670.
+}
- \textbf{Dr.\ Sam Staton} is Associate Professor and Royal Society University Research Fellow specialised in programming languages, and has expertise in quantum programming languages.
-
- \textbf{Dr.\ Jamie Vicary} is a Senior Research Fellow specialised in graphical reasoning and automation thereof, in particular having produced the Globular software, an online proof assistant for higher-dimensional rewriting (\href{http://globular.science}{\color{blue} http://globular.science}).
-
- \textbf{Dr.\ Dominic Horsman} is a visiting researcher at Oxford and co-inventor of the well-known lattice surgury technique for fault-tolerant computation. He has contributed greatly to applications of \zx-calculus, including the study of non-circuit quantum computational models, error-correction, and lattice surgery. \textit{\color{gray} \textbf{Publications:} (1) Surface code quantum computing by lattice surgery. ---, Fowler, Devitt, Van Meter New Journal of Physics 14 (12), 123011.} \textbf{Dr.\ Niel de Beaudrap} is a post-doctoral researcher involved in the NQIT project. He developed the first efficient algorithms to recover annotation systems to re-write MBQC procedures to the unitary circuit model. \textit{\color{gray} \textbf{Publications:} (1)~---\,. Finding flows in the one-way measurement model. Phys.\,Rev.\,A~77 (022328), 2008.}
+ \textbf{Dr.\ Quanlong Wang} is on an IAA Secondment at Cambridge Quantum Computing Ltd., working on ZX-calculus. Before doing a 2nd PhD at Oxford he was a Lecturer in Mathematics at Beijing University of Aeronautics and Astronautics. He was the 1st to prove universal completeness of universal \zxcalculus. He also established a simple complete set of rules for 2-qubit circuits, which later were proved to be universally complete.
+\textit{\color{gray} \textbf{Publications:}
+(1) A. Hadzihasanovic, K. F Ng and ---.
+Two complete axiomatisations of pure-state qubit quantum computing. LiCS 2018.
+(2) B. Coecke and ---. ZX-rules for 2-qubit clifford+T quantum circuits. In RC 2018.
+}
+
+% \textbf{Prof.\ Samson Abramsky} is Christopher Strachey Professor of Computing and a Fellow of the Royal Society. He pioneered high-level methods for quantum computing (see (1) above). He received the IEEE LiCS test of time award, is a fellow of the ACM for his pioneering work in computing and was awarded the BCS Lovelace Medal in 2013.
+%
+% \textbf{Prof.\ Simon Benjamin} is Professor of Quantum Technologies and Associate Director and head of the ``Architectures'' WP of the NQIT Quantum Technologies Hub. He is an expert in design and architecture of quantum hardware.
+% %, that is tolerant of the imperfections which first generation quantum technologies will inevitably have.
+% \textit{\color{gray} \textbf{Publications:} (1) Architectures and materials for robust and scalable quantum technologies, Nature Comm.~4, 1756. (2) N. H. Nickerson, J. F. Fitzsimons, and ---. Freely scalable quantum technologies using cells of 5-to-50 qubits with very lossy and noisy photonic links. Phys. Rev. X, 4:041041, 2014.}
+%
+% \textbf{Dr.\ Sam Staton} is Associate Professor and Royal Society University Research Fellow specialised in programming languages, and has expertise in quantum programming languages.
+%
+% \textbf{Dr.\ Jamie Vicary} is a Senior Research Fellow specialised in graphical reasoning and automation thereof, in particular having produced the Globular software, an online proof assistant for higher-dimensional rewriting (\href{http://globular.science}{\color{blue} http://globular.science}).
+%
+% \bR \textbf{Dr.\ Dominic Horsman} is a visiting researcher at Oxford and co-inventor of the well-known lattice surgury technique for fault-tolerant computation. He has contributed greatly to applications of \zx-calculus, including the study of non-circuit quantum computational models, error-correction, and lattice surgery. \textit{\color{gray} \textbf{Publications:} (1) Surface code quantum computing by lattice surgery. ---, Fowler, Devitt, Van Meter New Journal of Physics 14 (12), 123011.}
% (2) Horsman and de Beaudrap. The ZX calculus is a language for surface code lattice surgery. QPL 2017, to appear. (3) de Beaudrap. Finding flows in the one-way measurement model. Phys.\,Rev.\,A~77 (022328), 2008.
%(2) ---. Quantum picturalism for topological cluster-state computing. New J. Phys., 13(095011), 2011. (3) N. Chancellor, A. Kissinger, S. Zohren, and ---. Coherent parity check construction for quantum error correction. arXiv:1611.08012, 2016. }
@@ -1973,7 +1992,7 @@ diagrammatics. New J. Phys, 13(043016), 2011. (3) --- and A. Kissinger. Picturin
\hrulefill\vspace{1mm}
\textbf{Role in Project:}
-As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will continue the fundamental further development of the calculus. Oxford is also the central institution in the NQIT project, which is the largest national quantum computation hardware project in the United Kingdom.
+As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will continue the fundamental further development of the calculus. \bR Oxford is also the central institution in the NQIT project, which is the largest national quantum computation hardware project in the United Kingdom.
The participation of researchers involved with NQIT, and their
interaction with quantum technologies specialists in Oxford and
elsewhere in Europe, will bring to the \azx project a wealth of
@@ -1981,7 +2000,7 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
will split their time equally between
\ref{wp:backends}, \ref{wp:theory}, and \ref{wp:usefulstuff},
including spending 10--20\% of their time working closely with
- the NQIT project.
+ the NQIT project. \e
\end{minipage}
}
--
GitLab