@@ -1289,7 +1289,7 @@ This includes developing \zx representations of contextuality, as a possible pos
(M1--M18; Responsible: 1; Involved: 2,3,5)}{%
We will use the existing graph re-writing and automated theorem proving tools of Quantomatic and PyZX to determine parts of the re-writing process that are difficult to compute classically. This will then be used to extract candidate subroutines for sources of quantum speed-up. Along with the previous task, these will be used to develop procedures for characterising if a \zx-represented algorithm demonstrates speed-up or not.
}
\end{WPtasks}
\begin{WPdeliverables}
\WPdeliverable{M12}{Preliminary assessment of the comparative study of the axiomatizations of paradigms of quantum computation}
...
...
@@ -1307,32 +1307,33 @@ We will use the existing graph re-writing and automated theorem proving tools of
@@ -1746,26 +1746,23 @@ Several members have ongoing collaborations with Cambridge Quantum Computing Inc
%We now provide details on each of these.
\TODOb{Probably missing some papers here.}
Expertise on the
{\bf theoretical aspects} underpinning the project is provided by Oxford site leader Coecke and CQC research leader Duncan
who jointly invented the \zxcalculus\ \cite{Coecke:2009aa}. Backens, Perdrix, Jeandel and Wang are the key contributors to establishing universal completeness of ZX-calculus \cite{1367-2630-16-9-093021, Jeandel2017A-Complete-Axio, HFW}. Coecke pioneered general categorical and diagrammatic methods in quantum computing \cite{AbrCoe:CatSemQuant:2004}, and with Kissinger co-authored the textbook of the field \cite{Coecke2017Picturing-Quant}.
Expertise on {\bf quantum technology applications} is provided by those who pioneered these applications. Duncan, Perdrix and Horsman pioneered ZX-based translations between different computational models \cite{Duncan:2010aa, Horsman:2011lr}, Horsman and Kissinger pioneered ZX-based error-correction \cite{Chancellor2016Coherent-Parity}, and Horsman and de Beaudrap demonstrated the equivalence of ZX-rules and lattice surgery \cite{BH-2017}.
\TODOb{Add cites.}
Duncan and Kissinger pioneered {\bf automation} of diagrammatic reasoning (cf.~{\tt quantomatic} and {\tt PyZX}), which also will play a key role in this project, as they already have in setting the state-of-the-art in circuit optimization.
Duncan and Kissinger pioneered {\bf automation} of diagrammatic reasoning (cf.~{\tt quantomatic} and {\tt PyZX}), which also will play a key role in this project, as they already have in setting the state-of-the-art in circuit optimization \cite{DKPdW-2019}.
\TODOb{Add cites.}
We also include pioneers in {\bf quantum
programming languages} (Valiron), important contributors to the
theory of {\bf MBQC} (Perdrix, de Beaudrap, and Duncan) and
{\bf quantum circuits} (Jeandel). }
{\bf quantum circuits} (Jeandel). }
The consortium has also been instrumental in community building, for example with the QPL conference series which now attracts well over 100 participants every year and approx.~75 paper submissions on foundational and structural research in the area of quantum computing. It also has organised several schools e.g.~the QiCS School\footnote{www.cs.ox.ac.uk/people/bob.coecke/QICS$\underline{\ }$School.html} and the CAP Spring School,\footnote{www.cs.ox.ac.uk/ss2014/} and a substantial talks archive is maintained.\footnote{www.youtube.com/user/OxfordQuantumVideo}\newt{More recently, the several members are
involved in the Compositionality community, which has diagrammatic/categorical reasoning as its core focus, with a new journal, a new conference series, and a new workshop series.}
\TODOb{Keeping any of this? Introducing anything else?}
\bR Of utter importance is the alignment with Networked Quantum Information Technologies Hub (NQIT) at the Oxford site, which means that several members of the consortium have already direct expertise with interacting with quantum hardware (de Beaudrap, Horsman). The NQIT is the largest of the four Hubs in the UK National Quantum Technology Programme, a 270 GBP million investment by the UK government to establish a quantum technology industry in the UK. %We are working towards building a quantum computer demonstrator, the Q20:20 engine, which demonstrates a networked, hybrid light-matter approach to quantum information processing.
Concretely, the most important aspect is the fact that the modular architecture motivated using lattice surgery on surface codes for the logical operations, and that these are in effect \zx-operations \cite{{BH-2017}}. This will certainly make the ambition here much more achievable. \e
...
...
@@ -2262,7 +2259,7 @@ WP meetings, and also to present our work at conferences.
\begin{itemize}
\item We request 25\% of the cost of new server blades to upgrade our
dedicated HPC facility. This facility will be available to the
entire project via VPN, and will be used across several tasks, most
entire project via VPN, and will be used across several tasks, most
crucially for \ref{task:HPC-sim-model}.
\item We also request laptop computers for each of the postdocs, and
replacement laptops for some staff at LORIA. These are necessary
...
...
@@ -2280,7 +2277,7 @@ WP meetings, and also to present our work at conferences.
No ethical issues foreseeable.
\newpage\TODOb{MAX 30 REFS!}
\newpage\TODOb{MAX 30 REFS! Are the ones here all relevant?}
\REM{max 30 references - OK AT THE MOMENT SINCE KEVIN-ROSS ONLY IN COMMENTS}
