{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T06:56:05Z","timestamp":1783234565181,"version":"3.54.6"},"reference-count":82,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF-1901381,CCF-2115104,CCF-2119352,CCF-2107241"],"award-info":[{"award-number":["CCF-1901381,CCF-2115104,CCF-2119352,CCF-2107241"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,30]]},"DOI":"10.1109\/qce65121.2025.00069","type":"proceedings-article","created":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T18:22:51Z","timestamp":1764613371000},"page":"572-583","source":"Crossref","is-referenced-by-count":2,"title":["Local Optimization of Quantum Circuits"],"prefix":"10.1109","author":[{"given":"Jatin","family":"Arora","sequence":"first","affiliation":[{"name":"Carnegie Mellon University,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingkuan","family":"Xu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Westrick","sequence":"additional","affiliation":[{"name":"New York University,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pengyu","family":"Liu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dantong","family":"Li","sequence":"additional","affiliation":[{"name":"Yale University,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yongshan","family":"Ding","sequence":"additional","affiliation":[{"name":"Yale University,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.2.017001"},{"key":"ref2","volume-title":"Formal methods in quantum circuit design","author":"Amy","year":"2019"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-04-06-252"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2341953"},{"key":"ref5","volume-title":"Local optimization of quantum circuits (extended version)","author":"Arora","year":"2025"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/VDAT50263.2020.9190279"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168906"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01011339"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1038\/nature23474"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.88.012313"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1063\/5.0082975"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/780542.780552"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/16M1087072"},{"key":"ref15","volume-title":"Engineering a compiler","author":"Cooper","year":"2022"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/QCE49297.2020.00036"},{"key":"ref17","article-title":"Circuit extraction for zx-diagrams can be\\# p-hard","author":"de Beaudrap","year":"2022","journal-title":"arXiv preprint"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00054"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-021-03582-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1201\/9780429500459-11"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1063\/1.4927100"},{"key":"ref22","article-title":"Quantum circuit optimization with deep reinforcement learning","author":"F\u00f6sel","year":"2021","journal-title":"arXiv preprint"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-04-15-433"},{"key":"ref24","article-title":"Remarks on matsumoto and amano\u2019s normal form for single-qubit clifford+ t operators","author":"Giles","year":"2013","journal-title":"arXiv preprint"},{"key":"ref25","article-title":"Optimal twoqubit circuits for universal fault-tolerant quantum computation","author":"Glaudell","year":"2020","journal-title":"arXiv preprint"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00027"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"issue":"15","key":"ref29","first-page":"150502","article-title":"Avinatan Hassidim, and Seth Lloyd","volume":"103","author":"Harrow","year":"2009","journal-title":"Quantum algorithm for linear systems of equations. Physical review letters"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908121"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3434318"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3571725"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3498325"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2019.10.004"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1142\/s0219749905001067"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0301-0104(01)00318-4"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.318.14"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.102.022406"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-conmatphys-031119-050605"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.112.140504"},{"key":"ref41","volume-title":"Quantum search compiler (qsearch) v2.0, version v2.0","author":"Lancu","year":"2020"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3649831"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370310"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2015.7059001"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.98.032309"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00077"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.93.025001"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.13.041052"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-018-0072-4"},{"key":"ref52","article-title":"Decomposing and routing quantum circuits under constraints for neutral atom architectures","author":"Nottingham","year":"2023","journal-title":"arXiv preprint"},{"key":"ref53","first-page":"18182","article-title":"Reinforcement learning for optimization of variational quantum circuit architectures","volume":"34","author":"Ostaszewski","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009894"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.125.150504"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms5213"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1216396.1216399"},{"key":"ref58","volume-title":"Qiskit: An open-source framework for quantum computing","year":"2023"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.22331\/q-2022-05-11-710"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.26421\/QIC15.11-12-4"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.26421\/qic16.11-12-1"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-025-01001-1"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-021-03585-1"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1080\/00107514.2014.964942"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304018"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/abe107"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446758"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304007"},{"key":"ref72","article-title":"An introduction to cartan\u2019s kak decomposition for qc programmers","author":"Tucci","year":"2005","journal-title":"arXiv preprint quant-ph\/0507171"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3571225"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA53966.2022.00057"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942156"},{"key":"ref76","article-title":"Qgo: Scalable quantum circuit optimization using automated synthesis","author":"Wu","year":"2020","journal-title":"arXiv preprint"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00023"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/3591254"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523433"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/QCE52317.2021.00041"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/3563297"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/3498691"}],"event":{"name":"2025 IEEE International Conference on Quantum Computing and Engineering (QCE)","location":"Albuquerque, NM, USA","start":{"date-parts":[[2025,8,30]]},"end":{"date-parts":[[2025,9,5]]}},"container-title":["2025 IEEE International Conference on Quantum Computing and Engineering (QCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11249812\/11249813\/11250322.pdf?arnumber=11250322","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T06:24:31Z","timestamp":1764656671000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11250322\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,30]]},"references-count":82,"URL":"https:\/\/doi.org\/10.1109\/qce65121.2025.00069","relation":{},"subject":[],"published":{"date-parts":[[2025,8,30]]}}}