{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-03-25T00:00:00Z","publication":"Proceedings of the National Academy of Sciences of the United States of America","issue":"12","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"doi":"10.1073/pnas.2419273122","publisher":"National Academy of Sciences","publication_identifier":{"eissn":["1091-6490"],"issn":["0027-8424"]},"publication_status":"published","day":"25","abstract":[{"lang":"eng","text":"Quantum hardware is inherently fragile and noisy. We find that the accuracy of traditional quantum error correction algorithms can be improved depending on the hardware. Given different hardware specifications, we automatically synthesize hardware-optimal algorithms for parity correction, qubit resetting, and GHZ (Greenberger–Horne–Zeilinger) state preparation. Using stochastic techniques from computer science, our method presents a computational tool to compute exact accuracy guarantees and synthesize optimal algorithms that are often different from traditional ones. We also show that improvements can be gained with respect to the Qiskit transpiler as we compute the hardware-optimal qubit mapping for the GHZ state-preparation problem."}],"OA_place":"publisher","related_material":{"link":[{"relation":"software","url":"https://github.com/smml1996/algorithm_synthesis"}]},"ec_funded":1,"external_id":{"pmid":["40106357"]},"scopus_import":"1","status":"public","article_number":"e2419273122","oa_version":"Published Version","quality_controlled":"1","acknowledgement":"We thank the reviewers. In particular, they inspired us to analyze the reset and state-preparation problems, to compute optimal qubit mappings, and to apply our method to a quantum error correction scheme that includes both bitflip and phaseflip corrections. We also thank Raimundo Saona and Marek Chalupa for their time spent in insightful discussions. This research was partially supported by the European Research Council CoG 863818 (ForM-SMArt) grant.","title":"Hardware-optimal quantum algorithms","volume":122,"citation":{"chicago":"Muroya Lei, Stefanie, Krishnendu Chatterjee, and Thomas A Henzinger. “Hardware-Optimal Quantum Algorithms.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences, 2025. <a href=\"https://doi.org/10.1073/pnas.2419273122\">https://doi.org/10.1073/pnas.2419273122</a>.","ieee":"S. Muroya Lei, K. Chatterjee, and T. A. Henzinger, “Hardware-optimal quantum algorithms,” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 122, no. 12. National Academy of Sciences, 2025.","ista":"Muroya Lei S, Chatterjee K, Henzinger TA. 2025. Hardware-optimal quantum algorithms. Proceedings of the National Academy of Sciences of the United States of America. 122(12), e2419273122.","short":"S. Muroya Lei, K. Chatterjee, T.A. Henzinger, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).","ama":"Muroya Lei S, Chatterjee K, Henzinger TA. Hardware-optimal quantum algorithms. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. 2025;122(12). doi:<a href=\"https://doi.org/10.1073/pnas.2419273122\">10.1073/pnas.2419273122</a>","mla":"Muroya Lei, Stefanie, et al. “Hardware-Optimal Quantum Algorithms.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 122, no. 12, e2419273122, National Academy of Sciences, 2025, doi:<a href=\"https://doi.org/10.1073/pnas.2419273122\">10.1073/pnas.2419273122</a>.","apa":"Muroya Lei, S., Chatterjee, K., &#38; Henzinger, T. A. (2025). Hardware-optimal quantum algorithms. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.2419273122\">https://doi.org/10.1073/pnas.2419273122</a>"},"corr_author":"1","author":[{"last_name":"Muroya Lei","first_name":"Stefanie","full_name":"Muroya Lei, Stefanie","id":"a376de31-8972-11ed-ae7b-d0251c13c8ff"},{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"_id":"19499","month":"03","intvolume":"       122","file_date_updated":"2025-04-07T11:42:22Z","oa":1,"project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"year":"2025","OA_type":"hybrid","file":[{"file_name":"2025_PNAS_Muroya.pdf","file_size":6805668,"date_created":"2025-04-07T11:42:22Z","success":1,"relation":"main_file","content_type":"application/pdf","date_updated":"2025-04-07T11:42:22Z","checksum":"83501b8a65ee5fdd3f5604fc28eddc22","access_level":"open_access","creator":"dernst","file_id":"19524"}],"has_accepted_license":"1","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","date_created":"2025-04-06T22:01:32Z","article_type":"original","type":"journal_article","article_processing_charge":"Yes (in subscription journal)","pmid":1,"tmp":{"short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"date_updated":"2025-05-14T11:38:28Z","ddc":["000"],"language":[{"iso":"eng"}]}