@@ -591,20 +591,18 @@ various themes: the relation between \zx and other quantum computing representat
Several powerful high-level languages (HLLs) have been proposed for quantum programs, such as Quipper~\cite{Alexander-S.-Green:2013fk} and \Qsharp~\cite{qsharp}.
As with classical HLLs, these languages are not designed to be run directly on quantum hardware: instead, their compilers typically output quantum circuit descriptions, which are not tailored well to run on any particular hardware platform.
Our proposed \dzxc system would represent an interface between multiple different HLLs for quantum procedures, and various quantum hardware platforms.
This system would use terms of the \zxcalculus as an internal representation of the procedure as it undergoes optimisations and translations to fit a particular hardware architecture.
Our proposed \dzxc system will represent an interface between multiple different HLLs for quantum procedures, and various quantum hardware platforms.
This system will use terms of the \zxcalculus as an internal representation of the procedure as it undergoes optimisations and translations, \newt{both abstractly and} to fit a particular hardware architecture.
This representation would not be required from or exposed to the user,\footnote{This said, the \zxcalculus has proved a very useful notation for mathematical proofs.}
but would be generated by a compiler front-end from programs written in existing high-level languages.
Therefore it is essential to provide a robust, general framework for compilation of HLLs to \zx terms.
As most existing quantum HLLs can output circuit descriptions, and as circuits can easily be represented in the \zxcalculus,
we first focus on a simple front end for the circuit language QASM~\cite{Cross2017Open-Quantum-As} in \ref{task:HHL} before moving towards more expressive HHLs.
As most existing quantum HLLs can output circuit descriptions, and as circuits can easily be represented in the \zxcalculus, \newt{in \ref{task:HHL}} we first focus on a simple front end for the circuit language QASM~\cite{Cross2017Open-Quantum-As} before moving towards more expressive HHLs.
This will allow virtually any extant quantum HLL to interface with the \dzxc system, albeit rather naively at first.
Later, we will perform concrete front-end
experiments using more sophisticated existing HLLs in, for example
\emph{Quipper}, \Qsharp~\cite{qsharp}, or ProjectQ
\cite{Steiger2016ProjectQ:-An-Op}, with the help of
Task~\ref{task:betterboxes}.
\cite{Steiger2016ProjectQ:-An-Op}, with the help of \newt{Task~\ref{task:trans1}}.
Proposed and existing quantum devices differ along a variety of axes.
At the most abstract level, the quantum circuit model and the
...
...
@@ -621,7 +619,7 @@ modes.\REM{noise,fidelitY}
Due to the novelty of our proposal, we adopt an exploratory approach with respect to back-end models.
Initially, and in parallel, we study the circuit model (\ref{task:circuit-model}) and
the 1-way model (\ref{task:mbqc-model}) because these models are well understood, stable, and have been extensively treated in the \zxcalculus literature.
These models will allow us to prototype the development of hardware annotations for the \dzxc system.
These models will allow us to prototype the development of hardware annotations for the \dzxc system, \newt{cf.\ Task~\ref{task:runnable}}.
In both cases, this involves three tightly related tasks:
\begin{enumerate}[label=(\roman*)]
\item
...
...
@@ -913,7 +911,25 @@ The advent of quantum computation, and the diverse set of skills needed to bring
\newt{The ICTQT is a newly founded research institute in the strongly emergent Poland. The university of Gdansk, host of the institute, has a long prominent track record on quantum information theory, with the core of entanglement theory itself having been developed there. Sainz's newly founded Foundational Underpinnings of Quantum Technologies group, strives at contributing to and complementing the existing team in Gdansk, by bringing in the new scope of process theories to tackle foundational and applied questions about quantum theory. Oxford site head Coecke was involved in establishing Sainz's new team at Gdansk's new ICTQT institute, as a member of the institutes' International Scientific Committee. With this project we involve this new institute, and Sainz's team in particular, within an established research community. The particular scope of this research proposal perfectly aligns with part of the mission statement of Sainz's team, which comprises the study of process theories, since ZX-calculus is the Swiss army knife of process theories, bringing process theory in direct contact with quantum technology. More generally, the experienced project partners will adopt a mentoring role towards this newly formed ICTQT group.}
\paragraph{Build leading innovation capacity across Europe by involvement of key actors that can make a difference in the future, for example excellent young researchers, ambitious high-tech SMEs or first-time participants ---\!\!}
\newt{The consortium team is well-balanced between young and established researchers. We are building innovation capacity by involving many excellent early-career researchers as well as several research groups that have been founded in the past few years, namely those of Horsman, Kissinger, Valiron, and Sainz (the latter shortly to be established at the proposal writing phase; see previous paragraph). The team also includes senior researchers on the brink of of group development (Backens, de Beaudrap, Wang). With team members like Coecke who had over 30 grants including several large networks, know-how on project design at the drafting stage to execution will carry over to the more junior partners, as Coecke will adopt a mentoring role throughout the project. Our industrial partner Cambridge Quantum Computing is an ambitious high-tech SME with expertise in quantum information processing and optimisation.}\bR ... Ross elaborate? ...\e
\newt{The consortium team is well-balanced between young and
established researchers. We are building innovation capacity by
involving many excellent early-career researchers as well as several
research groups that have been founded in the past few years, namely
those of Horsman, Kissinger, Valiron, and Sainz (the latter shortly
to be established at the proposal writing phase; see previous
paragraph). The team also includes senior researchers on the brink
of of group development (Backens, de Beaudrap, Wang). With team
members like Coecke who had over 30 grants including several large
networks, know-how on project design at the drafting stage to
execution will carry over to the more junior partners, as Coecke
will adopt a mentoring role throughout the project. Our industrial
partner, CQC, is an ambitious high-tech SME, who are currently leading
the sector in high performance compilation of quantum software. The
CQC team leader, Duncan, is an experienced researcher who brings
expertise in technology transfer from academia to industry. The
junior team members at CQC will benefit from exposure to the latest
research, while the younger academics will benefit from interaction
with industry.}
\subsection{Dissemination, exploitation of results, communication}
...
...
@@ -921,7 +937,9 @@ The advent of quantum computation, and the diverse set of skills needed to bring
\paragraph{Dissemination.\!\!}
\label{sec:dissemination}
\bR personal opinion : we should be bold and say Fuck the (journal)
System. We will publish only in true open venues like Quantum.
Nature can go to hell. \e
The primary means of dissemination will be by publishing our results
in leading journals and conferences, with a strong preference for open access
venues. (We note that in computer science, the highest impact
...
...
@@ -1146,9 +1164,11 @@ collaboration is a strong point of this project.
\WPleaderLOR
\WPeffort{0}{0}{0}{0}{0}{0}
\begin{WPaim}
This WP develops elements of \zx as in intermediate compiler language.
This includes interfaces between \zx and up to known high-level quantum languages (HLL), and down to the device level of the target technologies.
In the first instance we make contact between \zx and standard circuit and measurement-based models, in which all current quantum protocols are framed.
This WP develops elements of \zx as an abstract intermediate
compiler language. We provide interface between \zx and known
high-level quantum languages (HLL), and between \zx and standard
circuit and measurement-based models, in which all current quantum
protocols are framed.
% This WP provides multiple \emph{compiler front-ends}. We design the
% framework of interaction between high-level languages (HLL) and the
% \azx intermediate representation. We show how to compile several
...
...
@@ -1164,24 +1184,6 @@ In the first instance we make contact between \zx and standard circuit and measu
\cite{Raussendorf-2001} with ideal measurements and state
preparation. Since every term of the \zxcalculus can be trivially
translated to a one-way program, this task focusses on finding
\emph{deterministic} programs, subject to constraints on the size
and topology of the underlying graph states, and limits on the
number of measurement rounds. The output
language will be the Measurement Calculus \cite{DanosV:meac}.}
\WPtask[\label{task:backendapi}]{Back-end API (M24--M36 Responsible: 5; Involved: 1,2,3,4)}{%
Open specification of an API for back-end modules, facilitating third-party development of specifications of target architectures, providing the \dzxc compiler with extendability to arbitrary hardware platforms.
