From 47ece862adb2764a9118a8e326514612c482225e Mon Sep 17 00:00:00 2001
From: Benoit Valiron <benoit.valiron@lri.fr>
Date: Tue, 12 Feb 2019 12:55:08 +0100
Subject: [PATCH] Added a task for HLL in WP1
---
NEWPROPOSAL/FULLPROP.tex | 27 ++++++++++++++++++---------
1 file changed, 18 insertions(+), 9 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 45bef44..3fcac12 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -631,21 +631,21 @@ general framework for compilation of HLLs to \azx.
Since most existing quantum HLLs can output circuit descriptions, and
since 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:testBench}. This
+QASM~\cite{Cross2017Open-Quantum-As} in \ref{task:HHL} before moving
+towards more expressive HHLs. This
will allow \azx terms to be produced from virtually any extant quantum
HLL, albeit rather naively. Later, we will perform concrete front-end
-experiments using more sophisticated existing HLLs, for example
+experiments using more sophisticated existing HLLs in, for example
\emph{Quipper}, Q\#~\cite{qsharp}, or ProjectQ
-\cite{Steiger2016ProjectQ:-An-Op} during the
-task~\ref{task:betterboxes}.
-%
+\cite{Steiger2016ProjectQ:-An-Op}, with the help of
+Task~\ref{task:betterboxes}.
+
The open database of tests developed in \ref{task:testBench} will
serve as a measuring tool for the quality of the output. The database
will also be made available to the community for rating and testing
future compilers or optimisation techniques. To encourage interaction
from other research groups, and to support other languages, both our
-interface and the \azx language will be made
-public.
+interface and the \azx language will be made public.
%% OUTDATED
% This work package consists of a back-and-forth interaction between
@@ -669,7 +669,9 @@ Primitive operations will require different amounts of time,
different qubit implementations have different failure
modes.\REM{noise,fidelitY}
-Due to its novelty, we adopt an exploratory approach. Initially, and
+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
@@ -1299,9 +1301,16 @@ In the first instance we make contact between \zx and standard circuit and measu
}
%
+ \WPtask[\label{task:HHL}]{Front-end (M3--M36; responsible 3;
+ involved 2,4,5) }{%
+ Propose compiler front-end from known HLLs such as QASM, Quipper
+ or Q\# to \azx. This task serves as a test-bed
+ for~\ref{task:testBench} and~\ref{task:trans1}.
+ %
+ }
\WPtask[\label{task:testBench}]{Open test-suite (M3--M36;
responsible 3; involved 2,4,5) }{%
- Devise a test-suite of concrete instances of circuits and
+Devise test-suite of concrete instances of circuits and
algorithms to rate success of other WPs. This includes the task of protocol extraction from current known HLLs.
The tests will rate various aspects of algorithms, such as controls, manipulation of
classical wires, scalability, depth of circuits, topologies of
--
GitLab