{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T23:02:58Z","timestamp":1777676578837,"version":"3.51.4"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031976315","type":"print"},{"value":"9783031976322","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-97632-2_10","type":"book-chapter","created":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T00:42:27Z","timestamp":1751589747000},"page":"135-150","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Dead Gate Elimination"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1123-1432","authenticated-orcid":false,"given":"Yanbin","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6386-0230","authenticated-orcid":false,"given":"Christian B.","family":"Mendl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2135-1593","authenticated-orcid":false,"given":"Helmut","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,7,5]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"Abedi, E., Beigi, S., Taghavi, L.: Quantum lazy training. Quantum 7, 989 (2023). https:\/\/doi.org\/10.22331\/q-2023-04-27-989","DOI":"10.22331\/q-2023-04-27-989"},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Bermot, E., et al.: Quantum generative adversarial networks for anomaly detection in high energy physics. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 331\u2013341. IEEE Computer Society, Los Alamitos (2023). https:\/\/doi.org\/10.1109\/QCE57702.2023.00045. https:\/\/doi.ieeecomputersociety.org\/10.1109\/QCE57702.2023.00045","DOI":"10.1109\/QCE57702.2023.00045"},{"key":"10_CR3","unstructured":"Bouland, A., van Dam, W., Joorati, H., Kerenidis, I., Prakash, A.: Prospects and challenges of quantum finance (2020). https:\/\/arxiv.org\/abs\/2011.06492"},{"key":"10_CR4","doi-asserted-by":"publisher","unstructured":"Chen, T.F., Jiang, J.H.R., Hsieh, M.H.: Partial equivalence checking of quantum circuits. In: 2022 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 594\u2013604. IEEE (2022).https:\/\/doi.org\/10.1109\/qce53715.2022.00082","DOI":"10.1109\/qce53715.2022.00082"},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"Chen, Y., Fulginiti, I., Mendl, C.B.: Probabilistic circuit model. In: 2024 International Conference on Quantum Computing and Engineering (2024). https:\/\/doi.org\/10.1109\/QCE60285.2024.10379","DOI":"10.1109\/QCE60285.2024.10379"},{"key":"10_CR6","doi-asserted-by":"publisher","unstructured":"Chen, Y., Stade, Y.: Quantum constant propagation. In: Hermenegildo, M.V., Morales, J.F. (eds.) Static Analysis, pp. 164\u2013189. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-44245-2_9","DOI":"10.1007\/978-3-031-44245-2_9"},{"key":"10_CR7","unstructured":"Coppersmith, D.: An approximate fourier transform useful in quantum factoring (2002). https:\/\/arxiv.org\/abs\/quant-ph\/0201067"},{"key":"10_CR8","doi-asserted-by":"publisher","unstructured":"De\u00a0Luca, G.: A survey of nisq era hybrid quantum-classical machine learning research. J. Artif. Intell. Technol. 2(1), 9\u201315 (2021). https:\/\/doi.org\/10.37965\/jait.2021.12002. https:\/\/ojs.istp-press.com\/jait\/article\/view\/60","DOI":"10.37965\/jait.2021.12002"},{"key":"10_CR9","unstructured":"Dob\u0161\u00ed\u010dek, M.: Quantum computing, phase estimation and applications. arXiv preprint arXiv:0803.0909 (2008)"},{"key":"10_CR10","unstructured":"Elsharkawy, A., et al.: Integration of quantum accelerators with high performance computing \u2013 a review of quantum programming tools (2023). https:\/\/arxiv.org\/abs\/2309.06167"},{"key":"10_CR11","doi-asserted-by":"publisher","unstructured":"Elsharkawy, A., et al.: Challenges in hpcqc integration. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol.\u00a002, pp. 405\u2013406 (2023). https:\/\/doi.org\/10.1109\/QCE57702.2023.10304","DOI":"10.1109\/QCE57702.2023.10304"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1186\/s41313-021-00032-6","volume":"6","author":"DA Fedorov","year":"2022","unstructured":"Fedorov, D.A., Peng, B., Govind, N., Alexeev, Y.: VQE method: a short survey and recent developments. Mater. Theory 6(1), 2 (2022)","journal-title":"Mater. Theory"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Jojo, J., Khandelwal, A., Chandra, M.G.: Quantum algorithms for tensor-svd (2024). https:\/\/arxiv.org\/abs\/2405.19485","DOI":"10.1109\/QCE60285.2024.00018"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Kaye, P., Laflamme, R., Mosca, M.: An introduction to quantum computing. OUP Oxford (2006)","DOI":"10.1093\/oso\/9780198570004.001.0001"},{"key":"10_CR15","unstructured":"Kitaev, A.Y.: Quantum measurements and the abelian stabilizer problem. arXiv preprint quant-ph\/9511026 (1995)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Li, P., Liu, J., Gonzales, A., Saleem, Z.H., Zhou, H., Hovland, P.: Qutracer: mitigating quantum gate and measurement errors by tracing subsets of qubits (2024). https:\/\/arxiv.org\/abs\/2404.19712","DOI":"10.1109\/ISCA59077.2024.00018"},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Matondo-Mvula, N., Elleithy, K.: Advances in quantum medical image analysis using machine learning: current status and future directions. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), vol.\u00a001, pp. 367\u2013377 (2023). https:\/\/doi.org\/10.1109\/QCE57702.2023.00049","DOI":"10.1109\/QCE57702.2023.00049"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"McCaskey, A., Dumitrescu, E., Liakh, D., Humble, T.: Hybrid programming for near-term quantum computing systems. In: 2018 IEEE International Conference on Rebooting Computing (ICRC), pp. 1\u201312 (2018). https:\/\/doi.org\/10.1109\/ICRC.2018.8638598","DOI":"10.1109\/ICRC.2018.8638598"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"McCaskey, A., Dumitrescu, E., Liakh, D., Humble, T.: Hybrid programming for near-term quantum computing systems. In: 2018 IEEE International Conference on Rebooting Computing (ICRC), pp. 1\u201312. IEEE (2018)","DOI":"10.1109\/ICRC.2018.8638598"},{"key":"10_CR20","doi-asserted-by":"publisher","unstructured":"McClean, J.R., Romero, J., Babbush, R., Aspuru-Guzik, A.: The theory of variational hybrid quantum-classical algorithms. New J. Phys. 18(2), 023023 (2016). https:\/\/doi.org\/10.1088\/1367-2630\/18\/2\/023023","DOI":"10.1088\/1367-2630\/18\/2\/023023"},{"key":"10_CR21","unstructured":"Muchnick, S.: Advanced Compiler Design Implementation. Morgan kaufmann (1997)"},{"key":"10_CR22","doi-asserted-by":"publisher","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information: 10th Anniversary Edition, 1 edn. Cambridge University Press, Cambridge. (2012). https:\/\/doi.org\/10.1017\/CBO9780511976667","DOI":"10.1017\/CBO9780511976667"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Paltenghi, M., Pradel, M.: Analyzing quantum programs with lintq: a static analysis framework for qiskit. Proc. ACM Softw. Eng. 1(FSE), 2144\u20132166 (2024)","DOI":"10.1145\/3660802"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Peruzzo, A., et al.: A variational eigenvalue solver on a photonic quantum processor. Nat. Commun. 5(1), 4213 (2014)","DOI":"10.1038\/ncomms5213"},{"key":"10_CR25","doi-asserted-by":"publisher","unstructured":"Qiskit contributors: Qiskit: an open-source framework for quantum computing (2023). https:\/\/doi.org\/10.5281\/zenodo.2573505","DOI":"10.5281\/zenodo.2573505"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Quetschlich, N., Forster, T., Osterwind, A., Helms, D., Wille, R.: Towards equivalence checking of classical circuits using quantum computing (2024). https:\/\/arxiv.org\/abs\/2408.14539","DOI":"10.1109\/QCE60285.2024.00040"},{"issue":"3","key":"10_CR27","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/367701.367709","volume":"32","author":"E Rieffel","year":"2000","unstructured":"Rieffel, E., Polak, W.: An introduction to quantum computing for non-physicists. ACM Comput. Surv. (CSUR) 32(3), 300\u2013335 (2000)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Rohe, T., Gr\u00e4tz, S., K\u00f6lle, M., Zielinski, S., Stein, J., Linnhoff-Popien, C.: From problem to solution: a general pipeline to solve optimisation problems on quantum hardware (2024). https:\/\/arxiv.org\/abs\/2406.19876","DOI":"10.1007\/978-3-031-84460-7_2"},{"issue":"1","key":"10_CR29","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aad3e4","volume":"4","author":"J Romero","year":"2018","unstructured":"Romero, J., Babbush, R., McClean, J.R., Hempel, C., Love, P.J., Aspuru-Guzik, A.: Strategies for quantum computing molecular energies using the unitary coupled cluster ansatz. Quant. Sci. Technol. 4(1), 014008 (2018). https:\/\/doi.org\/10.1088\/2058-9565\/aad3e4","journal-title":"Quant. Sci. Technol."},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Seidl, H., Wilhelm, R., Hack, S.: Compiler Design: Analysis and Transformation. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-17548-0"},{"issue":"5","key":"10_CR31","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. Comput. 26(5), 1484\u20131509 (1997). https:\/\/doi.org\/10.1137\/S0097539795293172","journal-title":"SIAM J. Comput."},{"key":"10_CR32","doi-asserted-by":"publisher","unstructured":"Veshchezerova, M., et al.: A hybrid quantum-classical approach to the electric mobility problem. In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 636\u2013641. IEEE Computer Society, Los Alamitos (2023). https:\/\/doi.org\/10.1109\/QCE57702.2023.00078. https:\/\/doi.ieeecomputersociety.org\/10.1109\/QCE57702.2023.00078","DOI":"10.1109\/QCE57702.2023.00078"},{"key":"10_CR33","doi-asserted-by":"publisher","unstructured":"Xia, S., Zhao, J.: Static entanglement analysis of quantum programs. In: 2023 IEEE\/ACM 4th International Workshop on Quantum Software Engineering (Q-SE), pp. 42\u201349 (2023). https:\/\/doi.org\/10.1109\/Q-SE59154.2023.00013","DOI":"10.1109\/Q-SE59154.2023.00013"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Zhao, P., Wu, X., Li, Z., Zhao, J.: Qchecker: detecting bugs in quantum programs via static analysis. In: 2023 IEEE\/ACM 4th International Workshop on Quantum Software Engineering (Q-SE), pp. 50\u201357. IEEE (2023)","DOI":"10.1109\/Q-SE59154.2023.00014"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97632-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T08:19:30Z","timestamp":1777450770000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97632-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031976315","9783031976322"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97632-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"5 July 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ICCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccs-computsci2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iccs-meeting.org\/iccs2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}