From 4a7032c8faf06ec540188d37d1a0baff44848965 Mon Sep 17 00:00:00 2001
From: Bob Coecke <coecke@cs.ox.ac.uk>
Date: Fri, 15 Feb 2019 13:17:00 +0000
Subject: [PATCH] Introduced KILL MESS SWITCH in preamble
---
NEWPROPOSAL/FULLPROP.tex | 20 +++++++++-----------
NEWPROPOSAL/preamble.tex | 38 +++++++++++++++++++++++++++++++++-----
2 files changed, 42 insertions(+), 16 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 9b419f9..c350ddb 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -156,7 +156,7 @@ Describe how the science and technology contribute to the establishment of a sol
Describe the specific objectives of the project, which should be clear, measurable, realistic and achievable within the duration of the project.
}
-\paragraph{Summary: }
+\paragraph{Summary: }
\label{sec:summary:-}
We propose to develop \emph{deep quantum compilation technology}.
@@ -237,12 +237,12 @@ computations.
%\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} \KILL{[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}.
An example of such a transformation is the following:}
- \textit{\bfseries\ttfamily\color{red!70!black} INSERT UPDATED FIGURE HERE}
+ \textit{\bfseries\ttfamily\color{red!70!black} \KILL{INSERT UPDATED FIGURE HERE}}
\vspace{-2mm}%
% (see Figure~\ref{fig:zx-mbqc-cnot}).
@@ -707,7 +707,7 @@ First, we will identify re-writing processes among the automated theorem proving
This will allow us to identify candidate subroutines that require nonclassical resources to be carried out.
Such subroutines then will be used to develop procedures for characterising if a \zx-represented algorithm demonstrates speed-up.
-\begin{color}{red!70!black}
+\KILL{\begin{color}{red!70!black}
\texttt{[Delete the following once it has been properly incorporated into the WP description in \S3.2]}
Deliverables:
@@ -717,9 +717,7 @@ Deliverables:
\item M18: Preliminary assessment of nonclassicality of re-writing processes.
\item M24: A \zx formulation of contextuality (Kochen--Specker and/or generalised Spekken's type).
\end{itemize}
-\end{color}
-
-
+\end{color}}
\subsubsection{Machine-independent optimisation}
\label{sec:repr-reas-azx}
@@ -850,7 +848,7 @@ We will promote these cross-disciplinary interactions by a number of our planned
\newt{Co-Op ZX} significantly advances the state-of-the-art across \newt{six of the seven} expected impacts.% the seventh is out of project scope.
-\texttt{\bfseries \color{red!70!black} [Some of these may need shortening a bit, particularly as we add material for the new Expected Impacts.]}
+\KILL{\texttt{\bfseries \color{red!70!black} [Some of these may need shortening a bit, particularly as we add material for the new Expected Impacts.]}}
\paragraph{Develop a deeper fundamental and practical
understanding of systems and protocols for manipulating and
@@ -2239,10 +2237,10 @@ consortium members during the project.
% practical optimising compiler technology that will fits very
% tightly with the planned approach to error-corrected memories}
\item \newt{\textbf{Oxford}: We had a business collaboration and currently have an Impact Acceleration Account with CQC, which already has resulted in the proof-of-concept underpinnings of this project.}
-\item \textbf{Oxford}: \bR ... Niel's new project/software initiative ...\e
+\KILL{\item \textbf{Oxford}: \bR ... Niel's new project/software initiative ...\e }
\item \textbf{Radboud}: Kissinger holds an Airforce Office of Scientific
Research (AFOSR) grant on graphical calculus and quantum circuit optimisation,
-providing him with the resources to contribute to this project. \bR ... Will Zeng's project ... \e
+providing him with the resources to contribute to this project. \KILL{\bR ... Will Zeng's project ... \e}
\item \textbf{Loria}: Loria is currently working on the PIA-GDN
\emph{Quantex} project, which focuses on \emph{simulation} of
quantum computers rather than real models.
@@ -2257,7 +2255,7 @@ providing him with the resources to contribute to this project. \bR ... Will Zen
2019. This has direct link to the Task 3.3, and we expect fruitful
interaction between these two projects.
-\item \bR MORE FROM OTHER SITES!!!\e
+\KILL{\item \bR MORE FROM OTHER SITES!!!\e}
% ERC advanced grant ``Quantum Computation,
% Logic, and Security'' (QCLS) held by Jacobs. This 5-year 2.5M euro
diff --git a/NEWPROPOSAL/preamble.tex b/NEWPROPOSAL/preamble.tex
index d7822b1..c1ae5eb 100644
--- a/NEWPROPOSAL/preamble.tex
+++ b/NEWPROPOSAL/preamble.tex
@@ -10,9 +10,32 @@
% 5. Use switches to turn on/off some parts
%-------------------------------------------------------
-%%%% commenting
-
\usepackage{color}
+\newcommand{\dzxc}{\texttt{DZXC}\xspace}
+
+%%%%%%%%%%%%%%%% KILL MESS SWITCH %%%%%%%%%%%%%%%%
+
+%1) No mess
+
+%\def\bR{\begin{color}{black}}
+%\def\bB{\begin{color}{black}}
+%\def\bM{\begin{color}{black}}
+%\def\bC{\begin{color}{black}}
+%\def\bW{\begin{color}{black}}
+%\def\bBl{\begin{color}{black}}
+%\def\bG{\begin{color}{black}}
+%\def\bY{\begin{color}{black}}
+%
+%\newcommand{\TODOb}[1]{}
+%\newcommand{\oldt}[1]{#1}
+%\newcommand{\newt}[1]{#1}
+%
+%\newcommand{\KILL}[1]{}
+%
+%\newcommand{\azx}{\dzxc}
+
+%2) Mess:
+
\def\bR{\begin{color}{red}}
\def\bB{\begin{color}{blue}}
\def\bM{\begin{color}{magenta}}
@@ -21,11 +44,18 @@
\def\bBl{\begin{color}{black}}
\def\bG{\begin{color}{green}}
\def\bY{\begin{color}{yellow}}
-\def\e{\end{color}\xspace}
+
\newcommand{\TODOb}[1]{\marginpar{\scriptsize\bB \textbf{TODO:} #1\e}}
\newcommand{\oldt}[1]{{\color{blue} #1}}
\newcommand{\newt}[1]{{\color{blue!50!red} #1}}
+\newcommand{\KILL}[1]{#1}
+
+\newcommand{\azx}{\texttt{\bfseries\color{red!70!black}[do you mean \textbackslash dzxc?]}\xspace}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\def\e{\end{color}\xspace}
% typographical improvements
\usepackage[T1]{fontenc}
@@ -274,10 +304,8 @@
\newcommand{\zx}{\textsc{zx}\xspace}
\newcommand{\zxcalculus}{\textsc{zx}-calculus\xspace}
-\newcommand{\azx}{\texttt{\bfseries\color{red!70!black}[do you mean \textbackslash dzxc?]}\xspace}
\newcommand{\liquid}{\texttt{\bfseries\color{red!70!black}[do you mean \textbackslash Qsharp?]}\xspace}
\newcommand{\Qsharp}{Q\texttt\#\xspace}
-\newcommand{\dzxc}{\texttt{DZXC}\xspace}
\newcommand{\tket}{\ensuremath{\mathsf{t}|\mathsf{ket}\rangle}\xspace}
--
GitLab