FULLPROP.tex

% !TEX TS-program = pdflatexmk 
\RequirePackage[l2tabu,orthodox]{nag}
\documentclass[11pt,a4paper]{article} 
\usepackage{etex}



%%%% do rwd stuff %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\pdfoutput=1
%\usepackage{rwd-drafting}
\usepackage[suppress]{rwd-drafting} 
\input{margins.tex} % font and other formatting in here
\input{preamble.tex}


\usepackage{wrapfig}
\usepackage{diagrams}  
\input{figures/cnot.tex}  

\begin{document} 

\newcommand\projtitle{Deep quantum compilation using the ZX-calculus}
\newcommand\projacro{DZXC}  

\title{QuantERA Full Proposal}   
\author{}
\date{} 
\maketitle 

\begin{center}
  {\Huge \projacro :}\\[1ex]
  {\LARGE \projtitle } 
\end{center}

\newpage
%\textit{Title page will be replaced with file Front-Page\\
%\oldt{Text from previous proposal in blue}}
%\newt{/ Very recent revisions for the new proposal are in violet}
  
\REM{\textbf{Everything below this needs to fit under 4000 
    characters for the online submission system}}

\paragraph{Duration:}  36 months
\label{sec:duration}



\section*{Summary of the project}

\label{sec:abstract}
%currently 2510 characters

  \REM{(publishable abstract, max. 1/2 page): Be precise and
    concise. This summary will be used to select suited reviewers for 
    the proposal.}  

We propose the development of ``deep quantum compilation'' technology, which is the concept of a compiler for quantum systems which can be used to develop large portions of the software stack, in a way which is modular in design but tightly integrated once compiled.
We propose to develop deep quantum compilation technology by leveraging the \zxcalculus, a versatile formal tool to efficiently reason about tensors, which recently demonstrated state-of-the-art capability to optimise unitary circuits.
This provides us with the opportunity to develop compiler technology with a scope that would be difficult to achieve otherwise.

Recent investment in quantum technologies has brought us into the era of noisy intermediate-scale quantum (NISQ) devices.
These computers are not so much single devices, but instead patchworks of components (including classical) which vary greatly between implementations such as silicon qubits, superconducting circuits, or ion traps.
Even as the technology matures, we may expect that even fault-tolerant quantum computers will be accompanied by a myriad of control systems, and a scarcity of resources.

Programming such devices currently requires intimate knowledge of the hardware.
This is a barrier to the realisation of quantum software, as programs must be rewritten for every new device to closely match the hardware model.
Furthermore, whereas classical computers have had a roughly static concept of ``low-level instructions'' for decades, the analogous notion for quantum hardware is constantly changing and evolving to cope with the rapid progress in quantum technology. We face a situation where the ever-multiplying range of quantum computers has minimal software support.

Solving this problem requires a ``deep'' quantum compiler --- one which can transform algorithms to match the resources and capabilities of diverse hardware platforms.
To develop such a compiler, we will leverage the versatility and the power of the \zxcalculus.