Section: Partnerships and Cooperations

National Initiatives

ANR

• Project acronym: ANR PRCE SoftQPro (ANR-17-CE25-0009)

  Project title: Solutions logicielles pour l'optimisation des programmes et ressources quantiques.

  Duration: Dec. 2017 - Dec. 2022

  Coordinator: Simon Perdrix

  Other partners: Atos-Bull, LRI, CEA-Saclay.

  Participants: Simon Perdrix, Emmanuel Jeandel, Emmanuel Hainry, and Romain Péchoux

  Abstract: Quantum computers can theoretically solve problems out of reach of classical computers. We aim at easing the crucial back and forth interactions between the theoretical approach to quantum computing and the technological efforts made to implement the quantum computer. Our software-based quantum program and resource optimisation (SoftQPRO) project consists in developing high level techniques based on static analysis, certification, transformations of quantum graphical languages, and optimisation techniques to obtain a compilation suite for quantum programming languages. We will target various computational model back-ends (e.g. QRAM, measurement-based quantum computations) as well as classical simulation. Classical simulation is central in the development of the quantum computer, on both ends: as a way to test quantum programs but also as a way to test quantum computer prototypes. For this reason we aim at designing sophisticated simulation techniques on classical high-performance computers (HPC).

• Project acronym: ANR PRCI VanQuTe (ANR-17-CE24-0035)

  Project title: Validation of near-future quantum technologies.

  Duration: Fev. 2018 - Jan. 2022

  Coordinator: Damian Markham (Laboratoire d'informatique de Paris 6)

  Other partners: NTU (Nanyang Technological University), SUTD (Singapore University of Technology and Design), NUS (Nationl University of Singapore), LIP6 (Laboratoire d'informatique de Paris 6)

  Participants: Simon Perdrix, Emmanuel Jeandel

  Abstract: In the last few years we have seen unprecedented advances in quantum information technologies. Already quantum key distribution systems are available commercially. In the near future we will see waves of new quantum devices, offering unparalleled benefits for security, communication, computation and sensing. A key question to the success of this technology is their verification and validation.

  Quantum technologies encounter an acute verification and validation problem: On one hand, since classical computations cannot scale-up to the computational power of quantum mechanics, verifying the correctness of a quantum-mediated computation is challenging. On the other hand, the underlying quantum structure resists classical certification analysis. Members of our consortium have shown, as a proof-of-principle, that one can bootstrap a small quantum device to test a larger one. The aim of VanQuTe is to adapt our generic techniques to the specific applications and constraints of photonic systems being developed within our consortium. Our ultimate goal is to develop techniques to unambiguously verify the presence of a quantum advantage in near future quantum technologies.

Other initiatives

• Quantex. Project acronym: PIA-GDN/Quantex. (initially an ITEA3 project finally funded by the Grands défis du Numérique / Programme d'investissements d'avenir).

  Project title: Simulation/Emulation of Quantum Computation.

  Duration: Feb. 2018 - Jan 2021.

  Coordinator: Huy-Nam Nguyen (Atos Bull).

  Other partners: Atos-Bull, LRI, CEA Grenoble.

  Participants: Simon Perdrix (WP leader), Emmanuel Jeandel

  Abstract: The lack of quantum computers leads to the development of a variety of software-based simulators to assist in the research and development of quantum algorithms. This proposal focuses on the development of a combined software-based and hardware-accelerated toolbox for quantum computation. A quantum computing stack including specification language, libraries and optimisation/execution tools will be built upon a well-defined mathematical framework mixing classical and quantum computation. Such an environment will be dedicated to support the expression of quantum algorithms for the purpose of investigation and verification.