{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:14:00Z","timestamp":1743135240631,"version":"3.40.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T00:00:00Z","timestamp":1732752000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T00:00:00Z","timestamp":1732752000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2023YFA1009403"],"award-info":[{"award-number":["2023YFA1009403"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62072176"],"award-info":[{"award-number":["62072176"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"``Digital Silk Road'' Shanghai International Joint Lab of Trustworthy Intelligent Software","award":["22510750100"],"award-info":[{"award-number":["22510750100"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1007\/s00236-024-00471-x","type":"journal-article","created":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T19:43:01Z","timestamp":1732822981000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A binary integer programming-based method for qubit mapping in sparse architectures"],"prefix":"10.1007","volume":"62","author":[{"given":"Hui","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianling","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuxin","family":"Deng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,11,28]]},"reference":[{"key":"471_CR1","doi-asserted-by":"publisher","unstructured":"Almeida, A.A.A., Dueck, G.W., Silva, A.C.R.: Finding optimal qubit permutations for IBM\u2019s quantum computer architectures. In: Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design. SBCCI\u201919, pp. 1\u20136. ACM, Sao Paulo, Brazil (2019). https:\/\/doi.org\/10.1145\/3338852.3339829","DOI":"10.1145\/3338852.3339829"},{"key":"471_CR2","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/BF01011339","volume":"22","author":"P Benioff","year":"1980","unstructured":"Benioff, P.: The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers as represented by turing machines. J. Stat. Phys. 22, 563\u2013591 (1980). https:\/\/doi.org\/10.1007\/BF01011339","journal-title":"J. Stat. Phys."},{"key":"471_CR3","doi-asserted-by":"publisher","unstructured":"Bernal, D.E., Booth, K.E.C., Dridi, R., Alghassi, H., Tayur, S.R., Venturelli, D.: Integer programming techniques for minor-embedding in quantum annealers. In: Proceedings of the 17th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp. 112\u2013129. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58942-4_8","DOI":"10.1007\/978-3-030-58942-4_8"},{"key":"471_CR4","doi-asserted-by":"publisher","unstructured":"Cowtan, A., Dilkes, S., Duncan, R., Krajenbrink, A., Simmons, W., Sivarajah, S.: On the qubit routing problem. In: Proceedings of the 14th Conference on the Theory of Quantum Computation, Communication and Cryptography. LIPIcs, vol. 135, pp. 1\u201332. Dagstuhl, Germany (2019). https:\/\/doi.org\/10.4230\/LIPIcs.TQC.2019.5","DOI":"10.4230\/LIPIcs.TQC.2019.5"},{"issue":"7614","key":"471_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1038\/nature18648","volume":"536","author":"S Debnath","year":"2016","unstructured":"Debnath, S., Linke, N.M., Figgatt, C., Landsman, K.A., Wright, K., Monroe, C.: Demonstration of a small programmable quantum computer with atomic qubits. Nature 536(7614), 63\u201366 (2016). https:\/\/doi.org\/10.1038\/nature18648","journal-title":"Nature"},{"key":"471_CR6","unstructured":"Gray, F.: Pulse Code Communication, US (1953)"},{"issue":"2","key":"471_CR7","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s11390-023-2121-5","volume":"39","author":"H Jiang","year":"2023","unstructured":"Jiang, H., Deng, Y., Xu, M.: Qubit mapping based on Tabu search. J. Comput. Sci. Technol. 39(2), 421\u2013433 (2023). https:\/\/doi.org\/10.1007\/s11390-023-2121-5","journal-title":"J. Comput. Sci. Technol."},{"key":"471_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-024-2726-3","author":"H Jiang","year":"2024","unstructured":"Jiang, H., Li, D., Deng, Y., Xu, M.: A pattern matching-based framework for quantum circuit rewriting. J. Comput. Sci. Technol. (2024). https:\/\/doi.org\/10.1007\/s11390-024-2726-3","journal-title":"J. Comput. Sci. Technol."},{"key":"471_CR9","doi-asserted-by":"publisher","first-page":"042319","DOI":"10.1103\/PhysRevA.76.042319","volume":"76","author":"J Koch","year":"2007","unstructured":"Koch, J., Yu, T.M., Gambetta, J., Houck, A.A., Schuster, D.I., Majer, J., Blais, A., Devoret, M.H., Girvin, S.M., Schoelkopf, R.J.: Charge-insensitive qubit design derived from the cooper pair box. Phys. Rev. A 76, 042319 (2007). https:\/\/doi.org\/10.1103\/PhysRevA.76.042319","journal-title":"Phys. Rev. A"},{"issue":"2","key":"471_CR10","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1109\/TCAD.2021.3057583","volume":"41","author":"L Lao","year":"2021","unstructured":"Lao, L., Someren, H., Ashraf, I., Almudever, C.G.: Timing and resource-aware mapping of quantum circuits to superconducting processors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(2), 359\u2013371 (2021). https:\/\/doi.org\/10.1109\/TCAD.2021.3057583","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"471_CR11","doi-asserted-by":"publisher","unstructured":"Li, G., Ding, Y., Xie, Y.: Tackling the qubit mapping problem for NISQ-era quantum devices. In: Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems. ASPLOS\u201919, pp. 1001\u20131014. ACM, New York (2019).https:\/\/doi.org\/10.1145\/3297858.3304023","DOI":"10.1145\/3297858.3304023"},{"issue":"11","key":"471_CR12","doi-asserted-by":"publisher","first-page":"1777","DOI":"10.1109\/TC.2020.3023247","volume":"70","author":"S Li","year":"2021","unstructured":"Li, S., Zhou, X., Feng, Y.: Qubit mapping based on subgraph isomorphism and filtered depth-limited search. IEEE Trans. Comput. 70(11), 1777\u20131788 (2021). https:\/\/doi.org\/10.1109\/TC.2020.3023247","journal-title":"IEEE Trans. Comput."},{"key":"471_CR13","doi-asserted-by":"publisher","unstructured":"Liu, L., Dou, X.: Qucloud: a new qubit mapping mechanism for multi-programming quantum computing in cloud environment. In: 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA), Seoul, Korea (South), pp. 167\u2013178 (2021). https:\/\/doi.org\/10.1109\/HPCA51647.2021.00024","DOI":"10.1109\/HPCA51647.2021.00024"},{"key":"471_CR14","doi-asserted-by":"publisher","unstructured":"Molavi, A., Xu, A., Diges, M., Pick, L., Tannu, S.S., Albarghouthi, A.: Qubit mapping and routing via maxsat. In: 55th IEEE\/ACM International Symposium on Microarchitecture, pp. 1078\u20131091. IEEE, Chicago, Illinois (2022). https:\/\/doi.org\/10.1109\/MICRO56248.2022.00077","DOI":"10.1109\/MICRO56248.2022.00077"},{"key":"471_CR15","doi-asserted-by":"publisher","unstructured":"Murali, P., Mckay, D.C., Martonosi, M., Javadi-Abhari, A.: Software mitigation of crosstalk on noisy intermediate-scale quantum computers. In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. ASPLOS\u201920, pp. 1001\u20131016. ACM, New York (2020). https:\/\/doi.org\/10.1145\/3373376.3378477","DOI":"10.1145\/3373376.3378477"},{"key":"471_CR16","volume-title":"Quantum Computation and Quantum Information: 10th Anniversary Edition","author":"MA Nielsen","year":"2011","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information: 10th Anniversary Edition, 10th edn. Cambridge University Press, Cambridge (2011)","edition":"10"},{"key":"471_CR17","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-030-14082-3_18","volume-title":"Quantum Technology and Optimization Problems","author":"A Paler","year":"2019","unstructured":"Paler, A.: On the influence of initial qubit placement during nisq circuit compilation. In: Feld, S., Linnhoff-Popien, C. (eds.) Quantum Technology and Optimization Problems, pp. 207\u2013217. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-14082-3_18"},{"key":"471_CR18","doi-asserted-by":"publisher","unstructured":"Siraichi, M.Y., Santos, V.F., Collange, C., Pereira, F.M.Q.: Qubit allocation. In: Proceedings of the 2018 International Symposium on Code Generation and Optimization. CGO 2018, pp. 113\u2013125. ACM, New York (2018). https:\/\/doi.org\/10.1145\/3168822","DOI":"10.1145\/3168822"},{"key":"471_CR19","doi-asserted-by":"publisher","unstructured":"Venturelli, D., Do, M., Rieffel, E.G., Frank, J.: Temporal planning for compilation of quantum approximate optimization circuits. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp. 4440\u20134446 (2017). https:\/\/doi.org\/10.24963\/ijcai.2017\/620","DOI":"10.24963\/ijcai.2017\/620"},{"key":"471_CR20","doi-asserted-by":"publisher","unstructured":"Wille, R., Burgholzer, L., Zulehner, A.: Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations. In: Proceedings of the 56th Annual Design Automation Conference 2019. DAC\u201919, pp. 1\u20136. ACM, New York (2019). https:\/\/doi.org\/10.1145\/3316781.3317859","DOI":"10.1145\/3316781.3317859"},{"key":"471_CR21","doi-asserted-by":"publisher","unstructured":"Wille, R., Groe, D., Teuber, L., Dueck, G.W., Drechsler, R.: Revlib: An online resource for reversible functions and reversible circuits. In: Proceedings of the 38th International Symposium on Multiple Valued Logic. ISMVL\u201908, pp. 220\u2013225. IEEE Computer Society, Dallas (2008). https:\/\/doi.org\/10.1109\/ISMVL.2008.43","DOI":"10.1109\/ISMVL.2008.43"},{"key":"471_CR22","doi-asserted-by":"publisher","unstructured":"Zhang, C., Hayes, A.B., Qiu, L., Jin, Y., Chen, Y., Zhang, E.Z.: Time-optimal qubit mapping. In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. ASPLOS\u201921, pp. 360\u2013374. ACM, New York (2021). https:\/\/doi.org\/10.1145\/3445814.3446706","DOI":"10.1145\/3445814.3446706"},{"issue":"6523","key":"471_CR23","doi-asserted-by":"publisher","first-page":"1460","DOI":"10.1126\/science.abe8770","volume":"370","author":"H-S Zhong","year":"2020","unstructured":"Zhong, H.-S., Wang, H., Deng, Y.-H., Chen, M.-C., Peng, L.-C., Luo, Y.-H., Qin, J., Wu, D., Ding, X., Hu, Y., Hu, P., Yang, X.-Y., Zhang, W.-J., Li, H., Li, Y., Jiang, X., Gan, L., Yang, G., You, L., Wang, Z., Li, L., Liu, N.-L., Lu, C.-Y., Pan, J.-W.: Quantum computational advantage using photons. Science 370(6523), 1460\u20131463 (2020). https:\/\/doi.org\/10.1126\/science.abe8770","journal-title":"Science"},{"issue":"12","key":"471_CR24","doi-asserted-by":"publisher","first-page":"4683","DOI":"10.1109\/TCAD.2020.2969647","volume":"39","author":"X Zhou","year":"2020","unstructured":"Zhou, X., Li, S., Feng, Y.: Quantum circuit transformation based on simulated annealing and heuristic search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12), 4683\u20134694 (2020). https:\/\/doi.org\/10.1109\/TCAD.2020.2969647","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"12","key":"471_CR25","doi-asserted-by":"publisher","first-page":"4721","DOI":"10.1109\/TCAD.2020.2970594","volume":"39","author":"P Zhu","year":"2020","unstructured":"Zhu, P., Guan, Z., Cheng, X.: A dynamic look-ahead heuristic for the qubit mapping problem of NISQ computers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12), 4721\u20134735 (2020). https:\/\/doi.org\/10.1109\/TCAD.2020.2970594","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"7","key":"471_CR26","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1109\/TCAD.2018.2846658","volume":"38","author":"A Zulehner","year":"2019","unstructured":"Zulehner, A., Paler, A., Wille, R.: An efficient methodology for mapping quantum circuits to the IBM QX architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(7), 1226\u20131236 (2019). https:\/\/doi.org\/10.1109\/TCAD.2018.2846658","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-024-00471-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00236-024-00471-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-024-00471-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:45:21Z","timestamp":1743126321000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00236-024-00471-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,28]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["471"],"URL":"https:\/\/doi.org\/10.1007\/s00236-024-00471-x","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2024,11,28]]},"assertion":[{"value":"28 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 November 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"4"}}