From d1002fbded6abaff9d842b16b17d186a268a580c Mon Sep 17 00:00:00 2001
From: Bob Coecke <coecke@cs.ox.ac.uk>
Date: Fri, 15 Feb 2019 17:40:42 +0000
Subject: [PATCH] void
---
NEWPROPOSAL/FULLPROP.tex | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 434a5b7..7c627a8 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1302,7 +1302,6 @@ Devise test-suite of concrete instances of circuits and
\end{WPdeliverables}
\end{WP}
-
\newpage
%%%
@@ -1328,7 +1327,7 @@ We build the theoretical foundations for \zx as an intermediate representation.
% Support simple control flow at the level of \azx, making it a more suitable target for compiling from a high-level language. In particular, add support for repetition and recursive definitions of diagrams, e.g. for expressing and transforming regular families of circuits.
We will use parametric \zx terms to support simple control flow at the level of the \dzxc system, making it a more suitable target for compiling from a high-level language. In particular, we will add support for repetition and recursive definitions of diagrams, e.g. for expressing and transforming regular families of circuits.
}
- \WPtask[\label{task:resources}]{Resources and axioms
+ \WPtask[\label{task:resources}]{Resources and axioms
{ (M1--M36; Responsible: \partnerref{partner:gdansk}; Involved: \partnerref{partner:grenoble},\partnerref{partner:loria},\partnerref{partner:oxford})}}{%
We will exploit the three axiom sets for Clifford, Clifford+T, and universal qubit QM,
to identify and distill specific resources that are necessary to quantum speed-up. In particular, to focus on finding multiple resource elements (rather than simply magic states), and to characterise post-classical composition as a resource.
--
GitLab