{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:46:08Z","timestamp":1772725568877,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T00:00:00Z","timestamp":1714176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2338773"],"award-info":[{"award-number":["2338773"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,27]]},"DOI":"10.1145\/3620666.3651371","type":"proceedings-article","created":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T12:08:21Z","timestamp":1713960501000},"page":"382-397","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-2822-0448","authenticated-orcid":false,"given":"Yuhao","family":"Liu","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9044-193X","authenticated-orcid":false,"given":"Shize","family":"Che","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-5564-8401","authenticated-orcid":false,"given":"Junyu","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0824-6107","authenticated-orcid":false,"given":"Yunong","family":"Shi","sequence":"additional","affiliation":[{"name":"AWS Quantum Technologies, New York, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6233-0334","authenticated-orcid":false,"given":"Gushu","family":"Li","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2024,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Armin Biere Katalin Fazekas Mathias Fleury and Maximillian Heisinger. CaDiCaL Kissat Paracooba Plingeling and Treengeling entering the SAT Competition 2020. In Tomas Balyo Nils Froleyks Marijn Heule Markus Iser Matti J\u00e4rvisalo and Martin Suda editors Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions volume B-2020-1 of Department of Computer Science Report Series B pages 51--53. University of Helsinki 2020."},{"key":"e_1_3_2_1_2_1","unstructured":"Armin Biere and Mathias Fleury. Gimsatul IsaSAT and Kissat entering the SAT Competition 2022. In Tomas Balyo Marijn Heule Markus Iser Matti J\u00e4rvisalo and Martin Suda editors Proc. of SAT Competition 2022 - Solver and Benchmark Descriptions volume B-2022-1 of Department of Computer Science Series of Publications B pages 10--11. University of Helsinki 2022."},{"key":"e_1_3_2_1_3_1","volume-title":"Tapering off qubits to simulate fermionic hamiltonians","author":"Bravyi Sergey","year":"2017","unstructured":"Sergey Bravyi, Jay M. Gambetta, Antonio Mezzacapo, and Kristan Temme. Tapering off qubits to simulate fermionic hamiltonians, 2017."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/aphy.2002.6254"},{"key":"e_1_3_2_1_5_1","volume-title":"Analysis of superfast encoding performance for electronic structure simulations. Physical Review A, 100(3), sep","author":"Chien Riley W.","year":"2019","unstructured":"Riley W. Chien, Sha Xue, Tarini S. Hardikar, Kanav Setia, and James D. Whitfield. Analysis of superfast encoding performance for electronic structure simulations. Physical Review A, 100(3), sep 2019."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.318.13"},{"key":"e_1_3_2_1_7_1","volume-title":"A generic compilation strategy for the unitary coupled cluster ansatz","author":"Cowtan Alexander","year":"2020","unstructured":"Alexander Cowtan, Will Simmons, and Ross Duncan. A generic compilation strategy for the unitary coupled cluster ansatz, 2020."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_9_1","unstructured":"Cirq Developers. Cirq July 2023."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character, 114(767)","author":"Dirac P. A. M.","year":"1927","unstructured":"P. A. M. Dirac. The quantum theory of the emission and absorption of radiation. Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character, 114(767):243--265, 1927."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2017215"},{"key":"e_1_3_2_1_12_1","volume-title":"Term grouping and travelling salesperson for digital quantum simulation","author":"Gui Kaiwen","year":"2021","unstructured":"Kaiwen Gui, Teague Tomesh, Pranav Gokhale, Yunong Shi, Frederic T. Chong, Margaret Martonosi, and Martin Suchara. Term grouping and travelling salesperson for digital quantum simulation, 2021."},{"key":"e_1_3_2_1_13_1","volume-title":"Improving quantum algorithms for quantum chemistry. Quantum Info. Comput., 15(1--2):1--21, jan","author":"Hastings Matthew B.","year":"2015","unstructured":"Matthew B. Hastings, Dave Wecker, Bela Bauer, and Matthias Troyer. Improving quantum algorithms for quantum chemistry. Quantum Info. Comput., 15(1--2):1--21, jan 2015."},{"issue":"1365","key":"e_1_3_2_1_14_1","first-page":"238","article-title":"Electron correlations in narrow energy bands","volume":"276","author":"Hubbard J.","year":"1963","unstructured":"J. Hubbard and Brian Hilton Flowers. Electron correlations in narrow energy bands. Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 276(1365):238--257, 1963.","journal-title":"Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-06-04-276"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01331938"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01331938"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507715"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.92.015003"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8ebc"},{"key":"e_1_3_2_1_21_1","unstructured":"Microsoft. Q# Language Specification 2020."},{"key":"e_1_3_2_1_22_1","volume-title":"December","author":"Miller Aaron","year":"2022","unstructured":"Aaron Miller, Zolt\u00e1n Zimbor\u00e1s, Stefan Knecht, Sabrina Maniscalco, and Guillermo Garc\u00eda-P\u00e9rez. The Bonsai algorithm: grow your own fermion-to-qubit mapping, December 2022. arXiv:2212.09731 [quant-ph]."},{"key":"e_1_3_2_1_23_1","volume-title":"August","author":"Molavi Abtin","year":"2022","unstructured":"Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit Tannu, and Aws Albarghouthi. Qubit Mapping and Routing via MaxSAT, August 2022. arXiv:2208.13679 [quant-ph]."},{"key":"e_1_3_2_1_24_1","volume-title":"Frederic T. Chong, and Margaret Martonosi. Noise-adaptive compiler mappings for noisy intermediate-scale quantum computers","author":"Murali Prakash","year":"2019","unstructured":"Prakash Murali, Jonathan M. Baker, Ali Javadi Abhari, Frederic T. Chong, and Margaret Martonosi. Noise-adaptive compiler mappings for noisy intermediate-scale quantum computers, 2019."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2019.02.005"},{"key":"e_1_3_2_1_26_1","volume-title":"Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information, 4(1), may","author":"Nam Yunseong","year":"2018","unstructured":"Yunseong Nam, Neil J. Ross, Yuan Su, Andrew M. Childs, and Dmitri Maslov. Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information, 4(1), may 2018."},{"key":"e_1_3_2_1_27_1","volume-title":"Chuang. Quantum Computation and Quantum Information: 10th Anniversary Edition","author":"Michael","year":"2010","unstructured":"Michael A. Nielsen and Isaac L. Chuang. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, 2010."},{"key":"e_1_3_2_1_28_1","volume-title":"ALCC program awards nearly 6 million summit node hours across 31 projects. https:\/\/www.olcf.ornl.gov\/2020\/08\/05\/alcc-program-awards-nearly-6-million-summit-node-hours-across-31-projects\/","author":"Oak Ridge National Lab.","year":"2020","unstructured":"Oak Ridge National Lab. ALCC program awards nearly 6 million summit node hours across 31 projects. https:\/\/www.olcf.ornl.gov\/2020\/08\/05\/alcc-program-awards-nearly-6-million-summit-node-hours-across-31-projects\/, 2020. Accessed: 2020-08-16."},{"key":"e_1_3_2_1_29_1","volume-title":"Qiskit: An open-source framework for quantum computing","author":"Qiskit","year":"2023","unstructured":"Qiskit contributors. Qiskit: An open-source framework for quantum computing, 2023."},{"key":"e_1_3_2_1_30_1","first-page":"0","volume-title":"Handbook of Computational Quantum Chemistry By David B. Cook","author":"Raman Venkat K.","year":"1998","unstructured":"Venkat K. Raman. Handbook of Computational Quantum Chemistry By David B. Cook. Oxford University Press: New York. 1998. 743 pp. ISBN 0-19-850114-5. $140.00. Journal of Chemical Information and Computer Sciences, 40(3):882--882, May 2000. Publisher: American Chemical Society."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.70.3339"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.1.033033"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_16"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415620"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643554"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1021\/acs.jctc.8b00450"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1959-0108732-6"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"e_1_3_2_1_39_1","volume-title":"Architecture-aware synthesis of phase polynomials for nisq devices","author":"van de Griend Arianne Meijer","year":"2020","unstructured":"Arianne Meijer van de Griend and Ross Duncan. Architecture-aware synthesis of phase polynomials for nisq devices, 2020."},{"key":"e_1_3_2_1_40_1","volume-title":"Circuit optimization of hamiltonian simulation by simultaneous diagonalization of pauli clusters. Quantum, 4:322, sep","author":"van den Berg Ewout","year":"2020","unstructured":"Ewout van den Berg and Kristan Temme. Circuit optimization of hamiltonian simulation by simultaneous diagonalization of pauli clusters. Quantum, 4:322, sep 2020."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317859"}],"event":{"name":"ASPLOS '24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","location":"La Jolla CA USA","acronym":"ASPLOS '24","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620666.3651371","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3620666.3651371","content-type":"text\/html","content-version":"vor","intended-application":"syndication"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:43Z","timestamp":1750291423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620666.3651371"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,27]]},"references-count":41,"alternative-id":["10.1145\/3620666.3651371","10.1145\/3620666"],"URL":"https:\/\/doi.org\/10.1145\/3620666.3651371","relation":{},"subject":[],"published":{"date-parts":[[2024,4,27]]},"assertion":[{"value":"2024-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}