@@ -469,7 +469,7 @@ A core component in optimising quantum computers is identifying which resources
...
@@ -469,7 +469,7 @@ A core component in optimising quantum computers is identifying which resources
Furthermore, the compiler stack and associated library set of post-classical resources will naturally become a software tool for benchmarking quantum devices, greatly enhancing the maturity of quantum computing technology.
Furthermore, the compiler stack and associated library set of post-classical resources will naturally become a software tool for benchmarking quantum devices, greatly enhancing the maturity of quantum computing technology.
The four major work packages of the project are structured into
The four major work packages of the project are structured into
various themes: the relation between \zx and other quantum computing representations (\ref{wp:frontend}); necessary theoretical developments of \zx(\ref{wp:representation}) and the identification of quantum-unique resources; optimisation strategies independent of implementations (\ref{wp:theory}); using annotated \zx to compile and optimise for specific hardware.(\ref{wp:usefulstuff}).
various themes: the relation between \zx and other quantum computing representations (\ref{wp:frontend}); necessary theoretical developments of \zx and the identification of quantum-unique resources (\ref{wp:representation}); optimisation strategies independent of implementations (\ref{wp:theory}); using annotated \zx to compile and optimise for specific hardware.(\ref{wp:usefulstuff}).
\subsubsection{A quantum compiler stack}
\subsubsection{A quantum compiler stack}
\label{sec:progr-lang-supp}
\label{sec:progr-lang-supp}
...
@@ -708,8 +708,8 @@ This will make possible a reduction in the resources used in any particular hard
...
@@ -708,8 +708,8 @@ This will make possible a reduction in the resources used in any particular hard
\TODOb{For some reason physics is missing: CQM/ZX emerged from compositional physical considerations.}
\TODOb{For some reason physics is missing: CQM/ZX emerged from compositional physical considerations.}
As shown the schema at the beginning of \S\ref{sec:summary:-},
As shown the schema at the beginning of \S\ref{sec:summary:-},
the ambitious vertical structure of this project requires a uniquely
the ambitious vertical structure of this project requires a uniquely
diverse range of expertise: from \textbf{Software Engineering \& Formal Methods} at the high level, through \textbf{Quantum Computation} and logic at the mid-level, down to quantum \textbf{Systems Architecture} at the low-level.
diverse range of expertise: from \textbf{Software Engineering \& Formal Methods} at the high level, through \newt{\textbf{Quantum Physics},}\textbf{Quantum Computation} and logic at the mid-level, down to quantum \textbf{Systems Architecture} at the low-level.
This project unites those working in quantum information theory from logical and pure mathematical perspectives with those working on practical error correction, quantum
This project unites those working in \newt{quantum physics from operational compositionality, and}quantum information theory from logical and pure mathematical perspectives with those working on practical error correction, quantum
hardware, and more generally programming language
hardware, and more generally programming language
design and system engineering.
design and system engineering.
It thus provides a unique opportunity for theoretical insight to inform future technology, and for technological problems to drive future theory.
It thus provides a unique opportunity for theoretical insight to inform future technology, and for technological problems to drive future theory.
