Special Theme Quantum Computing
Total Page:16
File Type:pdf, Size:1020Kb
Number 112 January 2018 ERCIM NEWS www.ercim.eu Special theme Quantum Computing Also in this issue: Research and Innovation: Computers that negotiate on our behalf Editorial Information Contents ERCIM News is the magazine of ERCIM. Published quar - terly, it reports on joint actions of the ERCIM partners, and aims to reflect the contribution made by ERCIM to the European Community in Information Technology and Applied Mathematics. Through short articles and news items, it pro - vides a forum for the exchange of information between the JoINt ERCIM ACtIoNS SPECIAL tHEME institutes and also with the wider scientific community. This issue has a circulation of about 6,000 printed copies and is 4 Foreword from the President The special theme section “Quantum also available online. Computing” has been coordinated by 4 Jos Baeten, Elected President of Jop Briët (CWI) and Simon Perdrix ERCIM News is published by ERCIM EEIG ERCIM AISBL (CNRS, LORIA) BP 93, F-06902 Sophia Antipolis Cedex, France Tel: +33 4 9238 5010, E-mail: [email protected] 5 Tim Baarslag Winner of the 2017 8 Quantum Computation and Director: Philipp Hoschka, ISSN 0926-4981 Cor Baayen Young Researcher Information - Introduction to the Award Special Theme Contributions by Jop Briët (CWI) and Simon Contributions should be submitted to the local editor of your 6 ERCIM Cor Baayen Award 2017 Perdrix (CNRS, LORIA) country 7 ERCIM Established Working 10 How Classical Beings Can Test Copyrightnotice Group on Blockchain Technology Quantum Devices All authors, as identified in each article, retain copyright of their by Stacey Jeffery (CWI) work. ERCIM News is licensed under a Creative Commons 7 HORIZON 2020 Project Attribution 4.0 International License (CC-BY). Management 11 Keeping Quantum Computers Honest (or Verification of Advertising 7 ERCIM “Alain Bensoussan” Fel- Quantum Computing) For current advertising rates and conditions, see lowship Programme by Alexandru Gheorghiu http://ercim-news.ercim.eu/ or contact [email protected] (University of Edinburgh) and Elham Kashefi (University of ERCIMNewsonlineedition Edinburgh, CNRS) http://ercim-news.ercim.eu/ 13 Experimental Requirements for Nextissue Quantum Computational October 2017, Special theme: Digital Humanities Supremacy by Boson Sampling by Alex Neville and Chris Sparrow Subscription (University of Bristol) Subscribe to ERCIM News by sending an email to [email protected] or by filling out the form at the 14 From Classical to Quantum ERCIM News website: http://ercim-news.ercim.eu/ Information – Or: When You Have Less Than No Uncertainty EditorialBoard: by Serge Fehr (CWI) Central editor: Peter Kunz, ERCIM office ([email protected]) 15 Preparing Ourselves for the Threats of the Post-Quantum Era Local Editors: by Thijs Veugen (TNO and CWI), Austria: Erwin Schoitsch ([email protected]) Thomas Attema (TNO), Maran van Cyprus: Georgia Kapitsaki ([email protected] Heesch (TNO), and Léo Ducas France: Steve Kremer ([email protected]) (CWI) Germany: Michael Krapp ([email protected]) Greece: Lida Harami ([email protected]), 17 Quantum Cryptography Beyond Artemios Voyiatzis ([email protected]) Key Distribution Hungary: Andras Benczur ([email protected]) by Georgios M. Nikolopoulos Italy: Maurice ter Beek ([email protected]) (IESL-FORTH, Greece) Luxembourg: Thomas Tamisier ([email protected]) Norway: Poul Heegaard ([email protected]) 19 Quantum Lego: Graph States for Poland: Hung Son Nguyen ([email protected]) Quantum Computing and Portugal: José Borbinha, Technical University of Lisbon Information Processing ([email protected]) by Damian Markham (LIP6, CNRS Spain: Silvia Abrahão ([email protected]) - Sorbonne Université) Sweden: Kersti Hedman-Hammarström ([email protected]) Switzerland: Harry Rudin ([email protected]) The Netherlands: Annette Kik ([email protected]) W3C: Marie-Claire Forgue ([email protected]) ERCIM NEWS 112 January 2018 20 Graph Parameters and Physical RESEARCH ANd INNovAtIoN EvENtS, IN bRIEf Correlations: from Shannon to Connes, via Lovász and Tsirelson This section features news about Reports by Simone Severini (University research activities and innovative 46 4th International Indoor College London) developments from European Positioning and Indoor Navigation research institutes Competition 22 High-Speed Entanglement Sources for Photonic Quantum 36 Computers that Negotiate on Our 47 Joint 22nd International Computers Behalf Workshop on Formal Methods for by Fabian Laudenbach, Sophie by Tim Baarslag (CWI) Industrial Critical Systems and Zeiger, Bernhard Schrenk and 17th International Workshop on Hannes Hübel (AIT) 38 Faster Text Similarity Using a Automated Verification of Critical Linear-Complexity Relaxed Word Systems 23 A Formal Analysis of Quantum Mover’s Distance by Ana Cavalcanti (University of Algorithms by Kubilay Atasu, Vasileios York), Laure Petrucci (LIPN, CNRS by Benoît Valiron (LRI – Vasileiadis, Michail Vlachos (IBM & Université Paris 13) and Cristina CentraleSupelec, Univ. Paris Research – Zurich) Seceleanu (Mälardalen University) Saclay) 40 The CAPTCHA Samples Website 48 10th International Conference of 24 Diagram Transformations Give a by Alessia Amelio (University of the ERCIM Working Group on New Handle on Quantum Calabria), Darko Brodić, Sanja Computational and Circuits and Foundations Petrovska (University of Belgrade), Methodological Statistics by Aleks Kissinger (Radboud Radmila Janković (Serbian Academy University) of Sciences and Arts) Announcements 48 Visual Heritage 2018 27 Quantum Computers and Their 41 APOPSIS: A Web-based Platform Software Interfaces for the Analysis of Structured 48 IFIP Networking 2018 by Peter Mueller, Andreas Fuhrer Dialogues and Stefan Filipp (IBM Research – by Elisjana Ymeralli, Theodore 48 Web Science Conference 2018 Zurich) Patkos and Yannis Roussakis (ICS- FORTH) 49 CIDOC Conference 2018 28 Chevalley-Warning Theorem in Quantum Computing 42 Can we Trust Machine Learning 49 Postdoc Position in the Research by Gábor Ivanyos and Lajos Rónyai Results? Artificial Intelligence in Project“Approximation (MTA SZTAKI, Budapest) Safety-Critical Decision Support Algorithms, Quantum by Katharina Holzinger (SBA Information and Semidefinite 30 Hardware Shortcuts for Robust Research), Klaus Mak, (Austrian Optimization” at CWI Quantum Computing Army) Peter Kieseberg (St. Pölten by Alain Sarlette (Inria) and Pierre University of Applied Sciences), 50 ERCIM Membership Rouchon (MINES ParisTech) Andreas Holzinger (Medical University Graz, Austria) In Brief 31 Quantum Gates and Simulations 51 CWI hosts EIT Digital’s New with Strongly Interacting 44 Formal Methods for the Railway Innovation Space Rydberg Atoms Sector by David Petrosyan (IESL-FORTH) by Maurice ter Beek, Alessandro 51 CWI merges with NWO Institutes Fantechi, Alessio Ferrari, Stefania Organisation 33 Control of Quantum Systems by Gnesi (ISTI-CNR, Italy), and Broken Adiabatic Paths Riccardo Scopigno (ISMB, Italy) 51 Google Awards Grant for fake by Nicolas Augier (École News detection to FORTH and polytechnique), Ugo Boscain 45 The Impacts of Low-Quality University of Cyprus (CNRS) and Mario Sigalotti (Inria) Training Data on Information 34 The Case for Quantum Software Extraction from Clinical Reports by Harry Buhrman (CWI and by Diego Marcheggiani (University QuSoft) and Floor van de Pavert of Amsterdam) and Fabrizio (QuSoft) Sebastiani (CNR) ERCIM NEWS 112 January 2018 3 Further, experience has taught us that it is not good to limit foreword the number of members per country to one. This led to artifi - cial consortia that fell apart at some point. The model of one from the organisation or consortium per country has failed. We can and should have more ERCIM members per country. For President instance, not only CWI could be a member in the Netherlands but also TNO. The Board of Directors should ERCIM is a great organisa - see it as a joint effort to recruit new members. tion with a lot of potential. I am proud that I am the third I want to maintain ERCIM’s achievements, namely: CWI director since • ERCIM News. This magazine is widely appreciated and is ERCIM’s foundation in becoming ever more important. 1989 who has become a • Awards. In addition to the Cor Baayen Award for the more President of ERCIM, after fundamentally orientated research, we could establish an Cor Baayen and Gerard van Oortmerssen. I will outline my innovation award, which would be a good supplement and ideas on ERCIM’s strategy below. which is in line with the increased importance of valorisa - tion. The number of ERCIM Members has declined in recent • Programs such as the ERCIM Alain Bensoussan Fellow - years. I want to focus more on our roots, what we are, and ship programme and the PhD program we are currently how we started: as an association with a focus on research working on to develop young talent. institutes in the fields of both informatics and mathematics. • The Working Groups. I want to revive the former working Of course, leading research universities are also welcome to groups by setting up new working groups on hot topics become ERCIM members, as we have university members such as blockchain. This will allow us to really benefit now. Our focus will distinguish us from other organisations. from our mutual collaboration within ERCIM by coordi - Jos baeten Elected President of ERCIM AISbL The General Assembly of the ERCIM AISBL, held on 24 October in Lisbon, unanimously elected Jos Baeten, gen - eral director of Centrum Wiskunde & Informatica (CWI) in the Netherlands