\subsection{Targeted breakthrough, baseline of knowledge and skills}
\label{sec:targ-breakthr-basel}
\TODOb{Would like to see the word "outperform" prominently with direct single reference to the consortium members recent paper on circuit optimization/PyZX.}
\TODOb{In general, how are we doing with page limits?}
\REM{
Describe the targeted breakthroughs of the project.
Describe how the science and technology contribute to the establishment of a solid baseline of knowledge and skills for the specific theme addressed.
...
...
@@ -912,12 +915,10 @@ The advent of quantum computation, and the diverse set of skills needed to bring
\paragraph{Spread excellence throughout Europe by involving partners from the widening countries ---\!\!}
\newt{Oxford site head Coecke was involved in establishing Sainz' new team at Gdansk's new ICTQT institute, as a member of the institutes' International Scientific Committee. With this project we involve this new institute, and Sainz' Foundational Underpinnings of Quantum Technologies team in particular, within an established research community. In particular, one mission of Sainz' team is the study of process theories, and ZX-calculus is the Swiss army knife of process theories, bringing process theory in direct contact with quantum technology.}\bR ... more needed probably as this is a key feature of this round ... \e
\newt{Oxford site head Coecke was involved in establishing Sainz' new team at Gdansk's new ICTQT institute, as a member of the institutes' International Scientific Committee. With this project we involve this new institute, and Sainz' Foundational Underpinnings of Quantum Technologies team in particular, within an established research community. In particular, part of the mission statement of Sainz' team is the study of process theories, and ZX-calculus is the Swiss army knife of process theories, bringing process theory in direct contact with quantum technology. More generally, the experienced project partners will adopt a mentoring role towards this newly formed ICTQT group.}
\paragraph{Build leading innovation capacity across Europe by involvement of key actors that can make a difference in the future, for example excellent young researchers, ambitious high-tech SMEs or first-time participants ---\!\!}
\newt{The consortium team is well-balanced between young and established researchers. We are building innovation capacity by involving many excellent early-career researchers as well as several research groups that have been founded in the past few years, namely those of D.~Horsman, A.~Kissinger, B.~Valiron, and A.~B.~Sainz (the latter shortly to be established at the proposal writing phase; see previous paragraph).
Our industrial partner Cambridge Quantum Computing is an ambitious high-tech SME with expertise in quantum information processing and optimisation.}\bR ... Ross elaborate? ...\e
\newt{The consortium team is well-balanced between young and established researchers. We are building innovation capacity by involving many excellent early-career researchers as well as several research groups that have been founded in the past few years, namely those of D.~Horsman, A.~Kissinger, B.~Valiron, and A.~B.~Sainz (the latter shortly to be established at the proposal writing phase; see previous paragraph). The team also includes senior researchers on the brink of of group development (Backens, de Beaudrap, Wang). With team members like Coecke who had over 30 grants including several large networks, know-how on project design at the drafting stage to execution will carry over to the more junior partners, as Coecke will adopt a mentoring role throughout the project. Our industrial partner Cambridge Quantum Computing is an ambitious high-tech SME with expertise in quantum information processing and optimisation.}\bR ... Ross elaborate? ...\e
\subsection{Dissemination, exploitation of results, communication}
...
...
@@ -1737,7 +1738,7 @@ often and deliver new features more than once a year.
%the results of the project.
%}
The members of the consortium are chosen to provide the best
\newt{The members of the consortium are chosen to provide the best
combination of skills to deliver this project, including the fathers of \zxcalculus, those who established it as a universal and complete calculus, those who have developed applications of \zxcalculus to quantum technologies, and those who have outperformed all other methods using ZX-calculus.
%They also contributed greatly to community building.
...
...
@@ -1747,17 +1748,17 @@ Several members have ongoing collaborations with Cambridge Quantum Computing Inc
%We now provide details on each of these.
\TODOb{Probably missing some papers here.}
\TODOb{Probably missing some papers here.}
Expertise on the
{\bf theoretical aspects} underpinning the project is provided by Oxford site leader Coecke and CQC research leader Duncan
who jointly invented the \zxcalculus\ \cite{Coecke:2009aa}. Backens, Perdrix, Jeandel and Wang are the key contributors to establishing universal completeness of ZX-calculus \cite{1367-2630-16-9-093021, Jeandel2017A-Complete-Axio, HFW}. Coecke pioneered general categorical and diagrammatic methods in quantum commuting \cite{AbrCoe:CatSemQuant:2004}, and with Kissinger co-authored the textbook of the field \cite{Coecke2017Picturing-Quant}.
Expertise on {\bf quantum technology applications} is provided by those who pioneered these applications. Duncan, Perdrix and Horsman pioneered ZX-based translations between different computational models \cite{Duncan:2010aa, Horsman:2011lr}, Horsman and Kissinger pioneered ZX-based error-correction \cite{Chancellor2016Coherent-Parity}, and Horsman and de Beaudrap demonstrated the equivalence of ZX-rules and lattice surgery \cite{BH-2017}.
Expertise on {\bf quantum technology applications} is provided by those who pioneered these applications. Duncan, Perdrix and Horsman pioneered ZX-based translations between different computational models \cite{Duncan:2010aa, Horsman:2011lr}, Horsman and Kissinger pioneered ZX-based error-correction \cite{Chancellor2016Coherent-Parity}, and Horsman and de Beaudrap demonstrated the equivalence of ZX-rules and lattice surgery \cite{BH-2017}. \bR ... recent {\bf outperforming} work ... \e
Duncan and Kissinger pioneered {\bf automation} of diagrammatic reasoning (cf.~{\tt quantomatic} and {\tt PyZX}), which also will play a key role in this project.
Duncan and Kissinger pioneered {\bf automation} of diagrammatic reasoning (cf.~{\tt quantomatic} and {\tt PyZX}), which also will play a key role in this project, as they already have in setting the state-of-the-art in circuit optomization. }
\bR ... recent {\bf outperforming} work ... \e
\bR We include pioneers in quantum
programming languages (Valiron) and important contributors to the
...
...
@@ -2024,7 +2025,7 @@ Stuff
\end{minipage}
}
\newpage
\newpage\TODOb{It should be prominently indicated that before the start of the project new team member will be hired who will also contribute, possible by list as member "postdoc TBA", "senior postdoc TBS" etc.}
%%% Gdansk
\fbox{
\begin{minipage}{1.0\linewidth}
...
...
@@ -2035,7 +2036,7 @@ Stuff
\vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Expertise:} The International Centre for Theory of Quantum Technologies (ICTQT) is a newly created research institute, funded by the Foundation for Polish Science, and hosted by the University of Gdansk, which is the pioneering and leading center of quantum information research in Poland. The founders of ICTQT are Marek Zukowski as the director, and Pawel Horodecki as a co-applicant, and the Centre's official foreign partner is IQOQI-Vienna of the Austrian Academy of Sciences. ICTQT aims to address the central theoretical problems of quantum technologies, with emphasis on communication methods and quantum computation. The Centre consists of 7 groups, which cover different aspects of quantum resources, quantum computation and quantum cybersecurity. ICTQT hosts leading experts in the field, including M. Horodecki and M. Pawlowski. The Centre harnesses the knowledge and skills of established researchers with strong track records on quantum information theory and the foundations of quantum mechanics, and combines it with the drive and vision of young researchers. Research highlights of the members of ICTQT include the development of (i) quantum entanglement detection and quantification, (ii) quantum security beyond pure entanglement, (iii) device-independent quantum cryptographic protocols (iv) topological self-correcting memories for quantum computing, and (v) contextuality as a resource for one-way communication.
\textbf{Dr Ana Bel\'en Sainz} is shortly to be appointed as Group Leader for the Foundational Underpinnings of Quantum Technologies group at ICTQT, Gdansk. She has previously held postdoctoral positions at the University of Bristol (UK) and ICFO (Castellfdefels, Spain). Dr. Sainz is an expert on the nonclassical properties of Nature. Her research has focused on developing an operational understanding of these nonclassical features (see e.g. (1),(3) and (5)), which enables their use as a resource for information processing tasks. Dr. Sainz also has expertise on the development of Resource Theories, which enable the quantification of the nonclassicality (i.e. the power) of these resources. Her research moreover includes the search for an understanding of both the possibilities and limitations of quantum resources (see e.g. (2) and (4) ) for technological applications.
\textit{\color{gray}\textbf{Publications:} (1) A. Ac\'in T. Fritz, A. Leverrier and ---. A Combinatorial Approach to Nonlocality and Contextuality. Comm. Math. Phys. 334:533, 2015. (2) T. Fritz, ---, R. Augusiak, J. B. Brask, R. Chaves, A. Leverrier and A. Ac\'in. Local Orthogonality as a multipartite principle for quantum correlations. Nat. Comm. 4:2263, 2013. (3) ---, N. Brunner, D. Cavalcanti, P. Skrzypczyk and T. V\'ertesi. Postquantum steering. Phys. Rev. Lett. 115:190403, 2015. (4) ---, Y. Guryanova, A. Ac\'in and M. Navascu\'es. Almost quantum correlations violate the no-restriction hypothesis. Phys. Rev. Lett. 120:200402, 2018. (5) Matty J. Hoban and ---. A channel-based framework for steering, non-locality and beyond. New J. Phys. 20:053048, 2018.}
