{"title":"Symposium on Quantum Software","authors":"","doi":"10.1109/qsw55613.2022.00015","DOIUrl":"https://doi.org/10.1109/qsw55613.2022.00015","url":null,"abstract":"","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114846379","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Quantum and Digital Annealing for the Quadratic Assignment Problem","authors":"P. Codognet, Daniel Diaz, Salvador Abreu","doi":"10.1109/QSW55613.2022.00016","DOIUrl":"https://doi.org/10.1109/QSW55613.2022.00016","url":null,"abstract":"The Quadratic Assignment Problem is a a classical constrained optimization problem used to model many real-life applications. We present experiments in solving the Quadratic Assignment Problem by means of Quantum Annealing and Quantum-inspired Annealing. We describe how to model this classical combinatorial problem in terms of QUBO (Quadratic Unconstrained Binary optimization) for implementing it on hardware solvers based on quantum or quantum-inspired annealing (D-Wave, Fujitsu Digital Annealing Unit and Fixstars Amplify Annealing Engine). We present performance result for these implementations and compare them with well established metaheuristic solvers on classical hardware, such as Robust Tabu Search and External Optimization.","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133507297","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Aakash Ahmad, Arifa Ali Khan, Muhammad Waseem, M. Fahmideh, T. Mikkonen
{"title":"Towards Process Centered Architecting for Quantum Software Systems","authors":"Aakash Ahmad, Arifa Ali Khan, Muhammad Waseem, M. Fahmideh, T. Mikkonen","doi":"10.1109/QSW55613.2022.00019","DOIUrl":"https://doi.org/10.1109/QSW55613.2022.00019","url":null,"abstract":"Quantum Software Engineering (QSE) is a recent trend - focused on unifying the principles of quantum mechanics and practices of software engineering - to design, develop, validate, and evolve quantum age software systems and applications. Software architecture for quantum computing (a.k. a. quantum software architectures (QSA)) supports the design, development, and maintenance etc. phases of quantum software systems using architectural components and connectors. QSA can enable quantum software designers and developers to map the operations of Qubits to architectural components and connectors for implementing quantum software. This research aims to explore the role of QSAs by investigating (i) architectural process having architecting activities, and (ii) human roles that can exploit available tools to automate and customise architecture-centric implementation of quantum software. Results of this research can facilitate knowledge transfer, enabling researchers and practitioners, to address challenges of architecture-centric implementation of quantum software systems.","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132968431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards quantum-based Search for industrial Data-driven Services","authors":"M. Zajac, U. Störl","doi":"10.1109/QSW55613.2022.00021","DOIUrl":"https://doi.org/10.1109/QSW55613.2022.00021","url":null,"abstract":"Linking and searching the right data for operational decision support in Cyber-Physical Systems remains a challenge. Links between logically related data are difficult to establish at the time of collection. In addition, for the execution of search queries issued by data-driven services, a full collection scan must often be performed. In this paper, we design a hybrid system that allows decision support services to use a quantum search algorithm for finding the right data in sub-linear time in order to link them.","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131487807","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Keynote: Quantum Stack for the Full Stack Architecture - Koen Bertel","authors":"","doi":"10.1109/qsw55613.2022.00014","DOIUrl":"https://doi.org/10.1109/qsw55613.2022.00014","url":null,"abstract":"","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115062173","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Message from the QSW Chairs","authors":"","doi":"10.1109/qsw55613.2022.00011","DOIUrl":"https://doi.org/10.1109/qsw55613.2022.00011","url":null,"abstract":"","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128986929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards a layered architecture for error mitigation in quantum computation","authors":"J. D. Guimarães, C. Tavares","doi":"10.1109/QSW55613.2022.00022","DOIUrl":"https://doi.org/10.1109/QSW55613.2022.00022","url":null,"abstract":"In the past few years, the first commercially available quantum computers have emerged, in an early stage of development, the so-called Noisy Intermediate-Scale Quantum (NISQ) era. Although these devices are still very prone to errors of different natures, they also have shown to deal successfully with small computational problems. Nowadays, one of the challenges in quantum computation is exactly to be able to show that quantum computers are useful, whereby mitigating the effects of the faulty hardware is pivotal. Recently, a wide range of quantum error mitigation techniques have been proposed and successfully implemented, alternative to quantum error correction codes. Herein, we discuss several types of noise in a quantum computer and techniques available to mitigate them, as well as their limitations and conditions of applicability. We also suggest an hierarchy for them, towards the conception of a layered software framework of error mitigation techniques, and implement some of them in a quantum simulation of the Heisenberg model on an IBM quantum computer, improving the fidelity of the simulation by 2.8x.","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133355249","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ward van der Schoot, D. Leermakers, R. Wezeman, N. Neumann, F. Phillipson
{"title":"Evaluating the Q-score of Quantum Annealers","authors":"Ward van der Schoot, D. Leermakers, R. Wezeman, N. Neumann, F. Phillipson","doi":"10.1109/QSW55613.2022.00017","DOIUrl":"https://doi.org/10.1109/QSW55613.2022.00017","url":null,"abstract":"We report the Atos Q-score for D-Wave’s quantum devices, classical algorithms and hybrid quantum-classical solver. Computing the Q-score entails solving the Max-Cut problem for increasingly large graphs. This work presents the first computation of the Q-score on a quantum device and shows how these quantum devices compare to classical devices at solving optimisation problems. We use D-Wave’s standard methods out of the box with a time limit of 60 seconds. The Q-score for D-Wave’s 2000Q and Advantage devices are 70 and 140, respectively. The Q-score for two of D-Wave’s classical algorithms, based on tabu search and simulated annealing respectively, are 2,300 and 5,800. Finally, we report the out-of-the-box hybrid approach to have a Q-score of 12,500.","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116039592","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fault-tolerant Hybrid Quantum Software Systems","authors":"Max Scheerer, Jonas Klamroth, Oliver Denninger","doi":"10.1109/QSW55613.2022.00023","DOIUrl":"https://doi.org/10.1109/QSW55613.2022.00023","url":null,"abstract":"We are currently experiencing the Noise Intermediate-Scale Quantum (NISQ) era where quantum algorithms are forced to be small in terms of qubits and gates used. This limitation makes it infeasible to apply quantum error correction. Consequently, running quantum algorithms on NISQ devices leads to gate and measurement errors and thus unreliable calculations. In this work, we approach this problem at the software architecture level. More precisely, we instantiate well-known and established architectural patterns for fault-tolerant systems in the context of quantum computing. Our preliminary results indicate that this approach is very promising as the patterns are applicable to the context of quantum programming and allow to gain more reliable results.","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114677501","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ricardo Pérez-Castillo, Luis Jiménez-Navajas, M. Piattini
{"title":"Reverse Engineering of Hamiltonian Expressions from D-Wave programs","authors":"Ricardo Pérez-Castillo, Luis Jiménez-Navajas, M. Piattini","doi":"10.1109/qsw55613.2022.00018","DOIUrl":"https://doi.org/10.1109/qsw55613.2022.00018","url":null,"abstract":"Quantum annealing software has achieved a certain market penetration since it has demonstrated a good performance for optimization problems. The problem definitions (Hamiltonians functions to be minimized) are usually built in combination with classical software that can evolve over time. Thus, it is difficult to comprehend the underlying Hamiltonian and represent it in an accurate way for maintaining such programs. Although some reverse engineering techniques have been proposed for gate-based software, there are no choices to accomplish reverse engineering in quantum annealing. This research proposes a dynamic analysis technique of D-Wave (python) programs for reversing Hamiltonians, which has been preliminarily evaluated with nine programs. The technique also represents those expressions by using the Knowledge Discovery Metamodel (ISO/IEC 19506). Due to the usage of this standard, the outgoing expressions can be represented in combination with other parts of classical-quantum software systems. Thus, the main implication is that this technique contributes to the software modernization of/towards hybrid information systems.","PeriodicalId":238291,"journal":{"name":"2022 IEEE International Conference on Quantum Software (QSW)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125502645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}