diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex index 5020f0aa0ef3b3e913ec45fd1098474b73a00944..7baf6f761a9820c710dc375517daec7e020ffe0b 100644 --- a/NEWPROPOSAL/FULLPROP.tex +++ b/NEWPROPOSAL/FULLPROP.tex @@ -1382,7 +1382,7 @@ We develop practical logical and algorithmic techniques for transforming ``abst fidelities. Provide formal methods to propagate these quantities from local to global properties. } - \WPtask[\label{task:basic-opt}]{Generic optimisations of ZX-terms + \WPtask[\label{task:basic-opt}]{Generic optimisations of \zx-terms (M12--M24; {Responsible: \partnerref{partner:oxford}; Involved: \partnerref{partner:loria}, \partnerref{partner:CQC}, \partnerref{partner:radboud}})}{% Use the results of task~\ref{task:algorithms} to develop procedures to optimise \zx-terms, in a way which is applicable diff --git a/NEWPROPOSAL/ganttchart.tex b/NEWPROPOSAL/ganttchart.tex index 8dcec0657e1e4ee19089d8559bedfcde53b63641..5eda5ede0f64c3d6f1063dd41633da9bcad7a3ed 100644 --- a/NEWPROPOSAL/ganttchart.tex +++ b/NEWPROPOSAL/ganttchart.tex @@ -28,34 +28,30 @@ \\ %%%% WP 1 \ganttset{bar/.append style={fill=red!50}} - \ganttbar{\ref{task:HHL} HLL $\to$ \azx}{3}{36}\\ - \ganttbar{\ref{task:trans1} Front-end API}{1}{36}\\ - \ganttbar{\ref{task:testBench} Test Suite}{6}{36}\\ - \ganttbar{\ref{task:circuit-model} Circuit model}{1}{12}\\ - \ganttbar{\ref{task:mbqc-model} 1WQC model}{1}{15}\\ + \ganttbar{\ref{task:HHL} Front-end}{3}{36}\\ + \ganttbar{\ref{task:trans1} Open API for \dzxc}{1}{36}\\ + \ganttbar{\ref{task:testBench} Open test-suite}{6}{36}\\ + \ganttbar{\ref{task:circuit-model} Idealised quantum circuits}{1}{12}\\ + \ganttbar{\ref{task:mbqc-model} Idealised 1WQC}{1}{15}\\ \ganttbar{\ref{task:backendapi} Back-end API}{24}{36}\\ %%%% WP 2 \ganttset{bar/.append style={fill=yellow}} - \ganttbar{\ref{task:axioms} Beyond qubits}{1}{14}\\ - \ganttbar{\ref{task:betterboxes} Control constructs in \azx}{1}{18}\\ + \ganttbar{\ref{task:axioms} Beyond qubits and stabilisers}{1}{14}\\ + \ganttbar{\ref{task:betterboxes} Control in \zx}{1}{18}\\ \ganttbar{\ref{task:resources} Resources and axioms}{1}{36}\\ \ganttbar{\ref{task:resourcesagain} Computational resources}{12}{36}\\ - - -% \ganttbar{\ref{task:HPC-sim-model} HPC simulator}{10}{24}\\ -% \ganttbar{\ref{task:delft-model} Superconducting model}{13}{30}\\ %%%% WP 3 \ganttset{bar/.append style={fill=green!50}} - \ganttbar{\ref{task:algorithms} Algorithms for \azx}{1}{24}\\ - \ganttbar{\ref{task:annotate1} Topology and causality}{1}{18}\\ + \ganttbar{\ref{task:algorithms} Reduction strategies etc.}{1}{24}\\ + \ganttbar{\ref{task:annotate1} Topological \& causal constraints}{1}{18}\\ \ganttbar{\ref{task:annotate2} Quantitative properties}{13}{24}\\ - \ganttbar{\ref{task:basic-opt} Model-independent optimisations}{12}{24}\\ - \ganttbar{\ref{task:ECC} Error Correction}{1}{24}\\ + \ganttbar{\ref{task:basic-opt} Generic optimisations of \zx-terms}{12}{24}\\ + \ganttbar{\ref{task:ECC} Application of Error-Correction}{1}{24}\\ %%% WP 4 \ganttset{bar/.append style={fill=blue!50}} - \ganttbar{\ref{task:qdot-model} Quantum dot model}{13}{36}\\ - \ganttbar{\ref{task:NQIT-model} NQIT model}{13}{30}\\ - \ganttbar{\ref{task:runnable} Execution layout}{15}{30}\\ + \ganttbar{\ref{task:qdot-model} Grenoble silicon spin qubits}{13}{36}\\ + \ganttbar{\ref{task:NQIT-model} Oxford ion traps}{13}{30}\\ + \ganttbar{\ref{task:runnable} Formatting for target systems}{15}{30}\\ \ganttbar{\ref{task:opt-machine} Model-guided optimisations}{21}{36}\\ %%% WP 5 -- don't use % \ganttset{bar/.append style={fill=gray!50}}