{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:40:33Z","timestamp":1742956833326,"version":"3.40.3"},"publisher-location":"Cham","reference-count":43,"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>Richard P. Feynman\u2019s 1982 paper \u201cSimulating Physics with Computers\u201d 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\u2019s proposal to represent the simulated system by a Density Matrix opens the way toward a mathematical Quantum Software systems theory.<\/jats:p><jats:p>Density Matrix modularization leads to <jats:italic>software modules<\/jats:italic> as high-level abstractions unifying conceptual software units and matrix basis kets, stimulating new software-related questions and novel quantum solutions. <jats:italic>Software modules<\/jats:italic> are building blocks for any imaginable Quantum Software computations in practice, such as software system evolution, measurement, compositionality, and future potential applications.<\/jats:p>","DOI":"10.1007\/978-3-031-64136-7_2","type":"book-chapter","created":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T13:48:28Z","timestamp":1724420908000},"page":"11-43","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Simulating Quantum Software with Density Matrices: Reading Feynman on Fast-Forward"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9917-3950","authenticated-orcid":false,"given":"Iaakov","family":"Exman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,23]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"RP Feynman","year":"1982","unstructured":"Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21, 467 (1982)","journal-title":"Int. J. Theor. Phys."},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"1073","DOI":"10.1126\/science.273.5278.1073","volume":"273","author":"S Lloyd","year":"1996","unstructured":"Lloyd, S.: Universal quantum simulators. Science. 273, 1073\u20131078 (1996)","journal-title":"Science"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"400","author":"D Deutsch","year":"1985","unstructured":"Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. Lond. A. 400, 97\u2013117 (1985)","journal-title":"Proc. R. Soc. Lond. A"},{"doi-asserted-by":"crossref","unstructured":"Preskill, J.: Quantum Computing 40 years Later. arXiv:2106.10522v3 [quant-ph] (2023)","key":"2_CR4","DOI":"10.1201\/9781003358817-7"},{"key":"2_CR5","volume-title":"Feynman Lectures on Computation, Anniversary edn. (Frontiers in Physics)","author":"RP Feynman","year":"2023","unstructured":"Feynman, R.P.: Feynman Lectures on Computation, Anniversary edn. (Frontiers in Physics). Edited by Tony Hey. CRC Press, USA (2023)"},{"volume-title":"Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7\u201311 Oct 1968","year":"1969","unstructured":"Naur, P., Randell, B. (eds.): Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7\u201311 Oct 1968. Scientific Affairs Division, NATO, Brussels (1969)","key":"2_CR6"},{"key":"2_CR7","first-page":"175","volume-title":"Structured Programming","author":"O-J Dahl","year":"1972","unstructured":"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\u2013220. Academic Press, London (1972)"},{"doi-asserted-by":"crossref","unstructured":"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\u201359 (1974)","key":"2_CR8","DOI":"10.1145\/942572.807045"},{"key":"2_CR9","volume-title":"The Mythical Man-Month: Essays on Software Engineering, Anniversary edn","author":"FP Brooks Jr","year":"1995","unstructured":"Brooks Jr., F.P.: The Mythical Man-Month: Essays on Software Engineering, Anniversary edn. Addison-Wesley, Boston, MA (1995)"},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctv1nj340p","volume-title":"The Essence of Software \u2013 Why Concepts Matter for Great Design","author":"D Jackson","year":"2021","unstructured":"Jackson, D.: The Essence of Software \u2013 Why Concepts Matter for Great Design. Princeton University Press, Princeton, NJ (2021)"},{"issue":"12","key":"2_CR11","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM. 15(12), 1053\u20131058 (1972). https:\/\/doi.org\/10.1145\/361598.361623","journal-title":"Commun. ACM"},{"key":"2_CR12","volume-title":"The Design of Design \u2013 Essays from a Computer Scientist","author":"FP Brooks Jr","year":"2010","unstructured":"Brooks Jr., F.P.: The Design of Design \u2013 Essays from a Computer Scientist. Addison-Wesley, Boston, MA (2010)"},{"doi-asserted-by":"publisher","unstructured":"De Rosso, S.P., Jackson, D.: What\u2019s wrong with Git? A conceptual design analysis. In: Proc. Onward! pp. 37\u201351, Indianapolis, IN (2013). https:\/\/doi.org\/10.1145\/2509578.2509584","key":"2_CR13","DOI":"10.1145\/2509578.2509584"},{"key":"2_CR14","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2010","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2010)"},{"key":"2_CR15","volume-title":"Quantum Computing \u2013 A Gentle Introduction","author":"E Rieffel","year":"2011","unstructured":"Rieffel, E., Polak, W.: Quantum Computing \u2013 A Gentle Introduction. MIT Press, Cambridge, MA (2011)"},{"key":"2_CR16","doi-asserted-by":"publisher","DOI":"10.1515\/9781400889921","volume-title":"Mathematical Foundations of Quantum Mechanics, New edn","author":"J Von Neumann","year":"2018","unstructured":"Von Neumann, J.: Mathematical Foundations of Quantum Mechanics, New edn. Princeton University Press, Princeton, NJ (2018)"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"2_CR17","DOI":"10.1007\/s00026-006-0289-3"},{"issue":"7","key":"2_CR18","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1142\/S0218194018400107","volume":"28","author":"I Exman","year":"2018","unstructured":"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\u2013935 (2018). https:\/\/doi.org\/10.1142\/S0218194018400107","journal-title":"Int J Softw Eng Knowl Eng"},{"doi-asserted-by":"crossref","unstructured":"Exman, I.: Quantum software evolution. (in Preparation), (2024)","key":"2_CR19","DOI":"10.1007\/978-3-031-64136-7"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1364\/ON.11.2.000011","volume":"11","author":"RP Feynman","year":"1985","unstructured":"Feynman, R.P.: Quantum mechanical computers. Optics News. 11, 11\u201320 (1985)","journal-title":"Optics News"},{"doi-asserted-by":"publisher","unstructured":"Exman, I., Zvulunov, A.: Quantum software models: quantum modules tomography and recovery theorem. In: Proc. SEKE\u20192023, San Francisco Bay Area, CA, pp. 91\u201396. https:\/\/doi.org\/10.18293\/SEKE2023-214","key":"2_CR21","DOI":"10.18293\/SEKE2023-214"},{"key":"2_CR22","first-page":"212","volume-title":"Proc. 28th Annual ACM Symposium on Theory of Computation","author":"LK Grover","year":"1996","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proc. 28th Annual ACM Symposium on Theory of Computation, pp. 212\u2013219. ACM Press, New York, NY (1996)"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1142\/9789812385253_0006","volume-title":"Introduction to Quantum Computation and Information","author":"A Barenco","year":"1998","unstructured":"Barenco, A.: Quantum computation: an introduction. In: Lo, H.K., Popescu, S., Spiller, T. (eds.) Introduction to Quantum Computation and Information, pp. 143\u2013183. World Scientific, Singapore (1998)"},{"key":"2_CR24","volume-title":"Proc. 35th Annual Symposium of Foundations of Computer Science","author":"PW Shor","year":"1994","unstructured":"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)"},{"issue":"5","key":"2_CR25","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"PW Shor","year":"1997","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comp. 26(5), 1484\u20131509 (1997)","journal-title":"SIAM J. Comp."},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1103\/PhysRev.47.777","volume":"47","author":"A Einstein","year":"1935","unstructured":"Einstein, A., Podolsky, B., Rosen, N.: Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 47, 777\u2013780 (1935)","journal-title":"Phys. Rev."},{"unstructured":"Preskill, J.: Lecture Notes for Quantum Information Course Ph219\/CS219, Chapter 3. California Institute of Technology, version of (2018)","key":"2_CR27"},{"unstructured":"Mauerer, W.: Semantics and Simulation of Communication in Quantum Programming. Diploma Thesis, University Erlangen-Nuremberg (2005)","key":"2_CR28"},{"doi-asserted-by":"crossref","unstructured":"Javanainen, J.: The Software Atom. arXiv:1610.00791 [physics.atom-ph] (2017)","key":"2_CR29","DOI":"10.1016\/j.cpc.2016.09.017"},{"doi-asserted-by":"crossref","unstructured":"Perez-Delgado, C.A.: A Quantum Software Modeling Language, Chapter 6, pp. 103\u2013119, in Serrano et al. (2022)","key":"2_CR30","DOI":"10.1007\/978-3-031-05324-5_6"},{"key":"2_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05324-5","volume-title":"Quantum Software Engineering","year":"2022","unstructured":"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"},{"key":"2_CR32","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE52541.2021.00009","volume-title":"Modelling Quantum Circuits with UML","author":"R Perez-Castillo","year":"2021","unstructured":"Ricardo Perez-Castillo, Luis Jimenez-Navajas and Mario Piattini, \u201cModelling Quantum Circuits with UML.\u201d, arXiv-2103.16169 (2021)"},{"key":"2_CR33","series-title":"The Power of Modularity","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2366.001.0001","volume-title":"Design Rules","author":"CY Baldwin","year":"2000","unstructured":"Baldwin, C.Y., Clark, K.B.: Design Rules The Power of Modularity, vol. 1. MIT Press (2000)"},{"key":"2_CR34","first-page":"99","volume-title":"The structure and value of modularity in software design","author":"K Sullivan","year":"2001","unstructured":"Sullivan, K., Griswold, W.G., Cai, Y., Hallen, B.: The structure and value of modularity in software design, pp. 99\u2013108. Proc. ESEC\/FSE Int. Conf., Vienna, Austria (2001)"},{"key":"2_CR35","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.69.026113","volume":"69","author":"MEJ Newman","year":"2004","unstructured":"Newman, M.E.J., Girvan, M.: Finding and evaluating community structure in networks. Phys. Rev. E. 69, 026113 (2004)","journal-title":"Phys. Rev. E"},{"key":"2_CR36","doi-asserted-by":"publisher","DOI":"10.1145\/3586039","volume":"7","author":"CG Kang","year":"2023","unstructured":"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","journal-title":"Proc. ACM Program. Lang."},{"key":"2_CR37","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/aa99b3","volume":"20","author":"J Thompson","year":"2018","unstructured":"Thompson, J., Modi, K., Vedral, V., Mile, G.: Quantum plug n\u2019 play: modular computation in the quantum regime. N J Phys. 20, 013004 (2018). https:\/\/doi.org\/10.1088\/1367-2630\/aa99b3","journal-title":"N J Phys"},{"key":"2_CR38","doi-asserted-by":"publisher","first-page":"1000","DOI":"10.1109\/TCAD.2005.855930","volume":"25","author":"VV Shende","year":"2006","unstructured":"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\u20131010 (2006). https:\/\/doi.org\/10.1109\/TCAD.2005.855930","journal-title":"IEEE Trans. Computer-Aided Des."},{"key":"2_CR39","volume-title":"The Psychology of Invention in the Mathematical Field","author":"J Hadamard","year":"1954","unstructured":"Hadamard, J.: The Psychology of Invention in the Mathematical Field. Dover, New York, NY (1954)"},{"key":"2_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.48550\/arXiv.2103.13755","volume-title":"Proc. Q-SE 2nd Int. Workshop on Quantum Software Engineering","author":"I Exman","year":"2021","unstructured":"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\u20136 (2021) Also: arXiv:2103.13755 cs.SE quant-ph. https:\/\/doi.org\/10.48550\/arXiv.2103.13755"},{"issue":"2","key":"2_CR41","doi-asserted-by":"publisher","first-page":"298","DOI":"10.21136\/CMJ.1973.101168","volume":"23","author":"M Fiedler","year":"1973","unstructured":"Fiedler, M.: Algebraic connectivity of graphs. Czech. Math. J. 23(2), 298\u2013305 (1973)","journal-title":"Czech. Math. J."},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.laa.2006.08.017","volume":"423","author":"NMM De Abreu","year":"2007","unstructured":"De Abreu, N.M.M.: Old and new results on algebraic connectivity of graphs. Linear Algebr. Appl. 423, 53\u201373 (2007)","journal-title":"Linear Algebr. Appl."},{"doi-asserted-by":"publisher","unstructured":"Exman, I., Nechaev, A.: Quantum software models: software density matrix is a perfect direct sum of module matrices. In: Proc. SEKE\u20192022, Virtual, Pittsburgh, PA, pp. 434\u2013439. https:\/\/doi.org\/10.18293\/SEKE2022-158","key":"2_CR43","DOI":"10.18293\/SEKE2022-158"}],"container-title":["Quantum Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64136-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T13:06:00Z","timestamp":1727355960000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64136-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031641350","9783031641367"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64136-7_2","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"}}]}}