%\REM{The closely related ZW-calculus \cite{Hadzihasanovic2015A-Diagrammatic-} provides a complete characterisation of qubit entanglement-classes.}
The \zxcalculus%has been extensively applied to quantum computation, and
is powerful and flexible, can easily describe computations in both the circuit and measurement-based models of quantum computation (MBQC)~\cite{Raussendorf-2001} and can be used to formulate and verify quantum error correcting codes \cite{Chancellor2016Coherent-Parity, Duncan:2013lr} and quantum algorithms \cite{Stefano-Gogioso2017Fully-graphical, Zeng2015The-Abstract-St}.
Its graphical representation is well-suited to describing systems which naturally have a graph structure, such as surface codes for topological cluster-states \cite{Horsman:2011lr}, and MBQC \cite{Duncan:2012uq}, where it has been used to translate \cite{Duncan:2010aa} between the 1-way model and the circuit model. \textit{\bfseries\ttfamily\color{red!70!black} [Not sure whether we want to keep this paragraph but it has lots of good references]}
is powerful and flexible, can easily describe computations in both the circuit and measurement-based models of quantum computation (MBQC)~\cite{Raussendorf-2001} and can be used to formulate and verify quantum error correcting codes \cite{Chancellor2016Coherent-Parity, Duncan:2013lr} and quantum algorithms \cite{Stefano-Gogioso2017Fully-graphical, Zeng2015The-Abstract-St}. Its graphical representation is well-suited to describing systems which naturally have a graph structure, such as surface codes for topological cluster-states \cite{Horsman:2011lr}, and MBQC \cite{Duncan:2012uq}, where it has been used to translate \cite{Duncan:2010aa} between the 1-way model and the circuit model. \textit{\bfseries\ttfamily\color{red!70!black} [Not sure whether we want to keep this paragraph but it has lots of good references]}
\newt{The tensor network structure means that the \zxcalculus represents initial states, unitary operations, measurements and discarding in one unified notation.
It also makes the notation vastly more flexible than quantum circuits: \zx-based transformations between quantum circuits may have intermediate steps that cannot directly be expressed as equations between circuits \cite{DKPdW-2019}.
...
...
@@ -2120,8 +2119,8 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
\textbf{Role in Project:}
ICTQT will develop the foundational aspects of ZX. The expertise of Dr.Sainz on operational underpinnings of quantum theory will contribute to the identification of the resources of quantum speedup for computation. The work of ICTQT will be focussed primarily on WP2. The postdoc working on this site will complement the skills of Dr.Sainz, and spend most of their time building connections between ZX and traditional approaches to the foundations of quantum resources, as well as the specific tasks outlined in WP2. Dr.Sainz's team from ICTQT will also contribute to this work package, focusing on tasks T2.3 and T2.4.
\end{minipage}
ICTQT will develop the foundational aspects of ZX. The expertise of Dr.~Sainz on operational underpinnings of quantum theory will contribute to the identification of the resources of quantum speedup for computation. The work of ICTQT will be focussed primarily on WP2. The postdoc working on this site will complement the skills of Dr.~Sainz, and spend most of their time building connections between ZX and traditional approaches to the foundations of quantum resources, as well as the specific tasks outlined in WP2. Dr.~Sainz's team from ICTQT will also contribute to this work package, focusing on tasks T2.3 and T2.4.
\end{minipage}
}
\newpage
...
...
@@ -2260,7 +2259,7 @@ providing him with the resources to contribute to this project. \bR ... Will Zen
