{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:11:28Z","timestamp":1743124288904,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031641350"},{"type":"electronic","value":"9783031641367"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T00:00:00Z","timestamp":1724371200000},"content-version":"vor","delay-in-days":235,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100012163","name":"Universit\u00e4t Innsbruck","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012163","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>As implementations of quantum computers grow in size and maturity, the question of how to program this new class of machines is attracting increasing attention in the software engineering domain. Yet, many questions from how to design expressible quantum languages augmented with formal semantics via implementing appropriate optimizing compilers to abstracting details of machine properties in software systems remain challenging. Performing research at this intersection of quantum computing and software engineering requires sufficient knowledge of the physical processes underlying quantum computations, and how to model these. In this chapter, we review a superoperator-based approach to quantum dynamics, as it can provide means that are sufficiently abstract, yet concrete enough to be useful in quantum software and systems engineering, and outline how it is used in several important applications in the field.<\/jats:p>","DOI":"10.1007\/978-3-031-64136-7_3","type":"book-chapter","created":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T13:48:28Z","timestamp":1724420908000},"page":"45-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Superoperators for Quantum Software Engineering"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Mauerer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,23]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Auletta, G., Fortunato, M., Parisi, G.: Quantum Mechanics. Cambridge University Press, Cambridge (2009). https:\/\/doi.org\/10.1017\/CBO9780511813955","DOI":"10.1017\/CBO9780511813955"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bichsel, B., et al. (June 2020) Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics. In: Proc. 41st ACM SIGPLAN, pp. 286\u2013300. ACM. ISBN: 978-1-4503-7613-6. https:\/\/doi.org\/10.1145\/3385412.3386007 (visited on 24\/04\/2023)","DOI":"10.1145\/3385412.3386007"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Cirac, J.I. et al.: Distributed quantum computation over noisy channels. Phys. Rev. A 59(6), 4249\u20134254 (1999). https:\/\/doi.org\/10.1103\/PhysRevA.59.4249https:\/\/link.aps.org\/doi\/10.1103\/PhysRevA.59.4249","DOI":"10.1103\/PhysRevA.59.4249"},{"key":"3_CR4","unstructured":"Ekert, A., Hosgold, T.: Introduction to Quantum Information Science (2022). https:\/\/qubit.guide\/qubit_guide.pdf"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Garhwal, S., Ghorani, M., Ahmad, A.: Quantum programming language: a systematic review of research topic and top cited languages. Arch. Comput. Methods Eng. 28(2), 289\u2013310 (Mar. 2021). ISSN: 1134-3060, 1886-1784. https:\/\/doi.org\/10.1007\/s11831-019-09372-6","DOI":"10.1007\/s11831-019-09372-6"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Georgopoulos, K., Emary, C., Zuliani, P.: Modeling and simulating the noisy behavior of near-term quantum computers. Phys. Rev. A 104(6), 062432 (Dec. 2021). https:\/\/doi.org\/10.1103\/PhysRevA.104.062432. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevA.104.062432","DOI":"10.1103\/PhysRevA.104.062432"},{"issue":"6","key":"3_CR7","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/2499370.2462177","volume":"48","author":"AS Green","year":"2013","unstructured":"Green, A.S. et al.: Quipper: a scalable quantum programming language. SIGPLAN Not. 48(6), 333\u2013342 (2013). ISSN: 0362-1340. https:\/\/doi.org\/10.1145\/2499370.2462177","journal-title":"SIGPLAN Not."},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Greiwe, F., Kr\u00fcger, T., Mauerer, W.: Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective. In: 2023 IEEE International Conference on Quantum Software (QSW), pp. 31\u201342. https:\/\/doi.org\/10.1109\/QSW59989.2023.00014","DOI":"10.1109\/QSW59989.2023.00014"},{"issue":"12","key":"3_CR9","doi-asserted-by":"publisher","first-page":"1184","DOI":"10.1038\/s41567-020-0992-8","volume":"16","author":"R Harper","year":"2020","unstructured":"Harper, R., Flammia, S.T., Wallman, J.J.: Efficient learning of quantum noise. Nature Phys. 16(12), 1184\u20131188 (2020). https:\/\/doi.org\/10.1038\/s41567-020-0992-8","journal-title":"Nature Phys."},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Khatri, S., Wilde, M.M.: Principles of quantum communication theory: A modern approach. Preprint (2020). arXiv:2011.04672. https:\/\/doi.org\/10.48550\/arXiv.2011.04672","DOI":"10.48550\/arXiv.2011.04672"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Kraus, K.: States, Effects, and Operations Fundamental Notions of Quantum Theory, vol. 190. In: Lecture Notes in Physics. Springer, Berlin, Heidelberg (1983). ISBN: 9783540127321. https:\/\/doi.org\/10.1007\/3-540-12732-1. http:\/\/link.springer.com\/10.1007\/3-540-12732-1","DOI":"10.1007\/3-540-12732-1"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Lewis, M., Soudjani, S., Zuliani, P.: Formal verification of quantum programs: theory, tools and challenges. ACM Trans. Quantum Comput. (2023). https:\/\/doi.org\/10.1145\/3624483","DOI":"10.1145\/3624483"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Leymann, F.: Towards a Pattern Language for Quantum Algorithms. Quantum Technology and Optimization Problems, vol. 11413. In: Lecture Notes in Computer Science (LNCS), pp. 218\u2013230. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-14082-3_19","DOI":"10.1007\/978-3-030-14082-3_19"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","DOI":"10.1088\/2633-1357\/abb0d7","volume":"1","author":"J Marshall","year":"2020","unstructured":"Marshall, J. et al.: Characterizing local noise in QAOA circuits. IOP SciNotes 1(2), 025208 (2020). https:\/\/doi.org\/10.1088\/2633-1357\/abb0d7","journal-title":"IOP SciNotes"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Mauerer, W.: Semantics and Simulation of Communication in Quantum Programming (2005). https:\/\/doi.org\/10.48550\/ARXIV.QUANT-PH\/0511145. https:\/\/arxiv.org\/abs\/quant-ph\/0511145","DOI":"10.48550\/ARXIV.QUANT-PH\/0511145"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), (1991). Selections from 1989 IEEE Symposium on Logic in Computer Science, pp. 55\u201392. ISSN: 0890-5401. https:\/\/doi.org\/10.1016\/0890-5401(91)90052-4. https:\/\/www.sciencedirect.com\/science\/article\/pii\/0890540191900524","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"3_CR17","unstructured":"Mu, S.-C., Bird, R.: Functional Quantum Programming. In: Asian Workshop on Programming Languages and Systems KAIST, Dajeaon, Korea (Dec. 2001). http:\/\/www.cs.ox.ac.uk\/people\/richard.bird\/online\/MuBird2001Functional.pdf"},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, Cambridge (2010). https:\/\/doi.org\/10.1017\/CBO9780511976667","DOI":"10.1017\/CBO9780511976667"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"\u00d6mer, B.: Procedural quantum programming. AIP Confer. Proc. 627(1), 276\u2013285 (Sept. 2002). ISSN: 0094-243X. https:\/\/doi.org\/10.1063\/1.1503695. eprint: https:\/\/pubs.aip.org\/aip\/acp\/article-pdf\/627\/1\/276\/11571870\/276_1_online.pdf","DOI":"10.1063\/1.1503695"},{"key":"3_CR20","unstructured":"Peduri, A., Schaefer, I., Walter, M.: QbC: Quantum Correctness by Construction (2023). arXiv: 2307.15641 [quant-ph]"},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.entcs.2008.10.028","volume":"192","author":"S Perdrix","year":"2008","unstructured":"Perdrix, S.: A hierarchy of quantum semantics. Electron. Notes Theor. Comput. Sci. 192(3), 71\u201383 (Nov. 2008). ISSN: 1571-0661. https:\/\/doi.org\/10.1016\/j.entcs.2008.10.028","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3_CR22","unstructured":"Preskill, J.: Lecture Notes for Physics 229:Quantum Information and Computation. CreateSpace Independent Publishing Platform (2015). ISBN: 9781506189918. https:\/\/books.google.de\/books?id=MIv8rQEACAAJ"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Safi, H., Winterspergerm, K., Mauerer, W.: Influence of HW-SW-Co-Design on Quantum Computing Scalability. In: 2023 IEEE International Conference on Quantum Software (QSW), pp. 104\u2013115 (2023). https:\/\/doi.org\/10.1109\/QSW59989.2023.00022","DOI":"10.1109\/QSW59989.2023.00022"},{"key":"3_CR24","doi-asserted-by":"publisher","unstructured":"Sch\u00f6nberger, M., et al.: Peel \u2014 Pile? Cross-Framework Portability of Quantum Software. In: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), pp. 164\u2013169 (2022). https:\/\/doi.org\/10.1109\/ICSA-C54293.2022.00039","DOI":"10.1109\/ICSA-C54293.2022.00039"},{"key":"3_CR25","unstructured":"Scott, D., Strachey, C.: Toward a Mathematical Semantics for Computer Languages. Technical Monograph PRG-6. Programming Research Group. Oxford Univ. Computing Lab., Oxford (1971)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Selinger, P.: Towards a quantum programming language. Math. Struct. Comput. Sci. 14(4), 527\u2013586 (Aug. 2004). ISSN: 0960-1295, 1469-8072. https:\/\/doi.org\/10.1017\/S0960129504004256","DOI":"10.1017\/S0960129504004256"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Svore, K., et al.: Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. In: Proceedings of the Real World Domain Specific Languages Workshop 2018, pp. 1\u201310. ACM, (Feb. 2018). ISBN: 978-1-4503-6355-6. https:\/\/doi.org\/10.1145\/3183895.3183901 (visited on 24\/08\/2023)","DOI":"10.1145\/3183895.3183901"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Vedral, V.: Introduction to Quantum Information Science (Oxford Graduate Texts). Oxford University Press, USA (2006). ISBN: 0199215707","DOI":"10.1093\/acprof:oso\/9780199215706.001.0001"},{"issue":"3","key":"3_CR29","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1017\/S0960129506005287","volume":"16","author":"J Vizotto","year":"2006","unstructured":"Vizotto, J., Altenkirch, T., Sabry, A.: Structuring quantum effects: superoperators as arrows. Math. Struct. Comput. Sci. 16(3), 453\u2013468 (2006). https:\/\/doi.org\/10.1017\/S0960129506005287","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Voichick, F., et al.: Qunity: a unified language for quantum and classical computing. Proc. ACM Program. Lang. 7(POPL), (2023). https:\/\/doi.org\/10.1145\/357122510.1145\/3571225","DOI":"10.1145\/3571225"},{"key":"3_CR31","doi-asserted-by":"publisher","unstructured":"Wecker, D., Svore, K.M.: LIQUi$$\\mid >$$: A Software Design Architecture and Domain-Specific Language for Quantum Computing (Feb. 2014). CoRR abs\/1402.4467. https:\/\/doi.org\/10.48550\/arXiv.1402.4467","DOI":"10.48550\/arXiv.1402.4467"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Wintersperger, K., Safi, H., Mauerer, W.: QPU-System Co-Design for Quantum HPC Accelerators. In: Schulz, M., et al. (eds.) Proceedings of the 35th GI\/ITG International Conference on the Architecture of Computing Systems. Gesellschaft f\u00fcr Informatik, pp. 100\u2013114 (Aug. 2022). ISBN: 978-3-031-21867-5. https:\/\/doi.org\/10.1007\/978-3-031-21867-5_7","DOI":"10.1007\/978-3-031-21867-5_7"},{"issue":"3","key":"3_CR33","doi-asserted-by":"publisher","DOI":"10.1088\/0256-307X\/38\/3\/030302","volume":"38","author":"C Xue","year":"2021","unstructured":"Xue, C., et al.: Effects of quantum noise on quantum approximate optimization algorithm. Chin. Phys. Lett. 38(3), 030302 (2021). https:\/\/dx.doi.org\/10.1088\/0256-307X\/38\/3\/030302","journal-title":"Chin. Phys. Lett."},{"key":"3_CR34","doi-asserted-by":"publisher","unstructured":"Ying, M., Zhou, L., Li, Y.: Reasoning about Parallel Quantum Programs (Aug. 2019). https:\/\/doi.org\/10.48550\/arXiv.1810.11334. http:\/\/arxiv.org\/abs\/1810.11334","DOI":"10.48550\/arXiv.1810.11334"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Zhou, L., et al.: CoqQ: Foundational verification of quantum programs. Proc. ACM Program. Lang. 7(POPL), (Jan. 2023). https:\/\/doi.org\/10.1145\/3571222","DOI":"10.1145\/3571222"}],"container-title":["Quantum Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64136-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T13:05:44Z","timestamp":1727355944000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64136-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031641350","9783031641367"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64136-7_3","relation":{},"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"23 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}