Quantum Software Theory

Lingyi Zhou, Sen Huang, Xuezhong Wu

Michael Felderer, Ricardo Pérez‐Castillo, Mario G. Piattini +1 more

Abstract The chapter discusses the importance of quantum software and defines it as a multifaceted concept comprising a theoretical, engineering, and application viewpoint. Hence, it covers aspects of quantum software theory, quantum software systems, as well as quantum software laboratory. The chapter also outlines the entire book and its individual chapters structured into three parts on quantum software theory, quantum software system design, as well as quantum software laboratory and applications.

Manuel Serrano, Ricardo Pérez‐Castillo, Mario G. Piattini

Iaakov Exman

Abstract Richard P. Feynman’s 1982 paper “Simulating Physics with Computers” is often recognized as a pioneer of quantum computing. However, careful reading between the lines finds further meaningful content. This work reinterprets the pioneering paper, as a precursor of Quantum Software. Feynman’s proposal to represent the simulated system by a Density Matrix opens the way toward a mathematical Quantum Software systems theory. Density Matrix modularization leads to software modules as high-level abstractions unifying conceptual software units and matrix basis kets, stimulating new software-related questions and novel quantum solutions. Software modules are building blocks for any imaginable Quantum Software computations in practice, such as software system evolution, measurement, compositionality, and future potential applications.

Yoann Marquer, Domenico Bianculli

Iaakov Exman, Ricardo Pérez-Castillo, Mario Piattini +1 more

This OA book explains the state of the art in quantum software theory and engineering and provides examples of applications and laboratory experiences.