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.
Chapter PDF
Keywords
References
Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21, 467 (1982)
Lloyd, S.: Universal quantum simulators. Science. 273, 1073–1078 (1996)
Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. Lond. A. 400, 97–117 (1985)
Preskill, J.: Quantum Computing 40 years Later. arXiv:2106.10522v3 [quant-ph] (2023)
Feynman, R.P.: Feynman Lectures on Computation, Anniversary edn. (Frontiers in Physics). Edited by Tony Hey. CRC Press, USA (2023)
Naur, P., Randell, B. (eds.): Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7–11 Oct 1968. Scientific Affairs Division, NATO, Brussels (1969)
Dahl, O.-J., Hoare, C.A.R.: Hierarchical program structures. In: Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R. (eds.) Structured Programming, pp. 175–220. Academic Press, London (1972)
Liskov, B.H., Zilles, S.: Programming with abstract data types. Proc. ACM Conference on Very High Level Languages, SIGPLAN Notices 9, vol. 4, pp. 50–59 (1974)
Brooks Jr., F.P.: The Mythical Man-Month: Essays on Software Engineering, Anniversary edn. Addison-Wesley, Boston, MA (1995)
Jackson, D.: The Essence of Software – Why Concepts Matter for Great Design. Princeton University Press, Princeton, NJ (2021)
Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM. 15(12), 1053–1058 (1972). https://doi.org/10.1145/361598.361623
Brooks Jr., F.P.: The Design of Design – Essays from a Computer Scientist. Addison-Wesley, Boston, MA (2010)
De Rosso, S.P., Jackson, D.: What’s wrong with Git? A conceptual design analysis. In: Proc. Onward! pp. 37–51, Indianapolis, IN (2013). https://doi.org/10.1145/2509578.2509584
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2010)
Rieffel, E., Polak, W.: Quantum Computing – A Gentle Introduction. MIT Press, Cambridge, MA (2011)
Von Neumann, J.: Mathematical Foundations of Quantum Mechanics, New edn. Princeton University Press, Princeton, NJ (2018)
Braunstein, S., Ghosh, S., Severini, S.: The Laplacian of a graph as a density matrix: a basic combinatorial approach to separability in mixed states. arXiv:quant-ph/0405165 (2006)
Exman, I., Sakhnini, R.: Linear software models: bipartite isomorphism between Laplacian Eigenvectors and Modularity Matrix Eigenvectors. Int J Softw Eng Knowl Eng. 28(7), 897–935 (2018). https://doi.org/10.1142/S0218194018400107
Exman, I.: Quantum software evolution. (in Preparation), (2024)
Feynman, R.P.: Quantum mechanical computers. Optics News. 11, 11–20 (1985)
Exman, I., Zvulunov, A.: Quantum software models: quantum modules tomography and recovery theorem. In: Proc. SEKE’2023, San Francisco Bay Area, CA, pp. 91–96. https://doi.org/10.18293/SEKE2023-214
Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proc. 28th Annual ACM Symposium on Theory of Computation, pp. 212–219. ACM Press, New York, NY (1996)
Barenco, A.: Quantum computation: an introduction. In: Lo, H.K., Popescu, S., Spiller, T. (eds.) Introduction to Quantum Computation and Information, pp. 143–183. World Scientific, Singapore (1998)
Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proc. 35th Annual Symposium of Foundations of Computer Science. IEEE Press, Los Alamitos, CA (1994)
Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comp. 26(5), 1484–1509 (1997)
Einstein, A., Podolsky, B., Rosen, N.: Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47, 777–780 (1935)
Preskill, J.: Lecture Notes for Quantum Information Course Ph219/CS219, Chapter 3. California Institute of Technology, version of (2018)
Mauerer, W.: Semantics and Simulation of Communication in Quantum Programming. Diploma Thesis, University Erlangen-Nuremberg (2005)
Javanainen, J.: The Software Atom. arXiv:1610.00791 [physics.atom-ph] (2017)
Perez-Delgado, C.A.: A Quantum Software Modeling Language, Chapter 6, pp. 103–119, in Serrano et al. (2022)
Serrano, M.A., Perez-Castillo, R., Piattini, M. (eds.): Quantum Software Engineering. Springer-Nature, Cham (2022). https://doi.org/10.1007/978-3-031-05324-5
Ricardo Perez-Castillo, Luis Jimenez-Navajas and Mario Piattini, “Modelling Quantum Circuits with UML.”, arXiv-2103.16169 (2021)
Baldwin, C.Y., Clark, K.B.: Design Rules The Power of Modularity, vol. 1. MIT Press (2000)
Sullivan, K., Griswold, W.G., Cai, Y., Hallen, B.: The structure and value of modularity in software design, pp. 99–108. Proc. ESEC/FSE Int. Conf., Vienna, Austria (2001)
Newman, M.E.J., Girvan, M.: Finding and evaluating community structure in networks. Phys. Rev. E. 69, 026113 (2004)
Kang, C.G., Oh, H.: Modular component-based quantum circuit synthesis. Proc. ACM Program. Lang. 7, OOPSLA1, Article 87 (2023). https://doi.org/10.1145/3586039
Thompson, J., Modi, K., Vedral, V., Mile, G.: Quantum plug n’ play: modular computation in the quantum regime. N J Phys. 20, 013004 (2018). https://doi.org/10.1088/1367-2630/aa99b3
Shende, V.V., Bullock, S.S., Markov, I.L.: Synthesis of Quantum Logic Circuits, arXiv:quant-ph/0406176v5 April 2006. IEEE Trans. Computer-Aided Des. 25, 1000–1010 (2006). https://doi.org/10.1109/TCAD.2005.855930
Hadamard, J.: The Psychology of Invention in the Mathematical Field. Dover, New York, NY (1954)
Exman, I., Shmilovich, A.T.: Quantum software models: the density matrix for classical and quantum software systems design. In: Proc. Q-SE 2nd Int. Workshop on Quantum Software Engineering, pp. 1–6 (2021) Also: arXiv:2103.13755 cs.SE quant-ph. https://doi.org/10.48550/arXiv.2103.13755
Fiedler, M.: Algebraic connectivity of graphs. Czech. Math. J. 23(2), 298–305 (1973)
De Abreu, N.M.M.: Old and new results on algebraic connectivity of graphs. Linear Algebr. Appl. 423, 53–73 (2007)
Exman, I., Nechaev, A.: Quantum software models: software density matrix is a perfect direct sum of module matrices. In: Proc. SEKE’2022, Virtual, Pittsburgh, PA, pp. 434–439. https://doi.org/10.18293/SEKE2022-158
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Exman, I. (2024). Simulating Quantum Software with Density Matrices: Reading Feynman on Fast-Forward. In: Exman, I., Pérez-Castillo, R., Piattini, M., Felderer, M. (eds) Quantum Software. Springer, Cham. https://doi.org/10.1007/978-3-031-64136-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-64136-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-64135-0
Online ISBN: 978-3-031-64136-7
eBook Packages: Computer ScienceComputer Science (R0)