{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T10:14:02Z","timestamp":1775384042461,"version":"3.50.1"},"reference-count":54,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T00:00:00Z","timestamp":1699401600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000183","name":"U.S. Army Research Office","doi-asserted-by":"crossref","award":["W911NF-16-1-0070"],"award-info":[{"award-number":["W911NF-16-1-0070"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"<jats:p>The increasing capabilities of quantum computing hardware and the challenge of realizing deep quantum circuits require fully automated and efficient tools for compiling quantum circuits. To express arbitrary circuits in a sequence of native gates specific to the quantum computer architecture, it is necessary to make algorithms portable across the landscape of quantum hardware providers. In this work, we present a compiler capable of transforming and optimizing a quantum circuit targeting a shuttling-based trapped-ion quantum processor. It consists of custom algorithms set on top of the quantum circuit framework Pytket. The performance was evaluated for a wide range of quantum circuits and the results show that the gate counts can be reduced by factors up to 5.1 compared to standard Pytket and up to 2.2 compared to standard Qiskit compilation.<\/jats:p>","DOI":"10.22331\/q-2023-11-08-1176","type":"journal-article","created":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T15:06:23Z","timestamp":1699455983000},"page":"1176","update-policy":"https:\/\/doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":23,"title":["Quantum Circuit Compiler for a Shuttling-Based Trapped-Ion Quantum Computer"],"prefix":"10.22331","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8523-2112","authenticated-orcid":false,"given":"Fabian","family":"Kreppel","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Johannes Gutenberg University, Staudingerweg 9, 55128 Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7482-7682","authenticated-orcid":false,"given":"Christian","family":"Melzer","sequence":"additional","affiliation":[{"name":"Institute of Physics, Johannes Gutenberg University, Staudingerweg 7, 55128 Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0491-1576","authenticated-orcid":false,"given":"Diego","family":"Olvera Mill\u00e1n","sequence":"additional","affiliation":[{"name":"Institute of Physics, Johannes Gutenberg University, Staudingerweg 7, 55128 Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8789-9079","authenticated-orcid":false,"given":"Janis","family":"Wagner","sequence":"additional","affiliation":[{"name":"Institute of Physics, Johannes Gutenberg University, Staudingerweg 7, 55128 Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9129-1314","authenticated-orcid":false,"given":"Janine","family":"Hilder","sequence":"additional","affiliation":[{"name":"Institute of Physics, Johannes Gutenberg University, Staudingerweg 7, 55128 Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5341-7860","authenticated-orcid":false,"given":"Ulrich","family":"Poschinger","sequence":"additional","affiliation":[{"name":"Institute of Physics, Johannes Gutenberg University, Staudingerweg 7, 55128 Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5697-2568","authenticated-orcid":false,"given":"Ferdinand","family":"Schmidt-Kaler","sequence":"additional","affiliation":[{"name":"Institute of Physics, Johannes Gutenberg University, Staudingerweg 7, 55128 Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3083-2775","authenticated-orcid":false,"given":"Andr\u00e9","family":"Brinkmann","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Johannes Gutenberg University, Staudingerweg 9, 55128 Mainz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"9598","published-online":{"date-parts":[[2023,11,8]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"F. Arute et al. ``Quantum supremacy using a programmable superconducting processor&apos;&apos;. Nature 574, 505\u2013510 (2019).","DOI":"10.1038\/s41586-019-1666-5"},{"key":"1","doi-asserted-by":"publisher","unstructured":"L. Postler et al. ``Demonstration of fault-tolerant universal quantum gate operations&apos;&apos;. Nature 605, 675\u2013680 (2022). arXiv:2111.12654.","DOI":"10.1038\/s41586-022-04721-1"},{"key":"2","doi-asserted-by":"publisher","unstructured":"L. Egan et al. ``Fault-tolerant control of an error-corrected qubit&apos;&apos;. Nature 598, 281\u2013286 (2021).","DOI":"10.1038\/s41586-021-03928-y"},{"key":"3","doi-asserted-by":"publisher","unstructured":"J. Preskill. ``Quantum Computing in the NISQ era and beyond&apos;&apos;. Quantum 2, 79 (2018). arXiv:1801.00862.","DOI":"10.22331\/q-2018-08-06-79"},{"key":"4","doi-asserted-by":"publisher","unstructured":"D. Kielpinski, C. Monroe, and D. J. Wineland. ``Architecture for a large-scale ion-trap quantum computer&apos;&apos;. Nature 417, 709 (2002).","DOI":"10.1038\/nature00784"},{"key":"5","doi-asserted-by":"publisher","unstructured":"V. Kaushal et al. ``Shuttling-based trapped-ion quantum information processing&apos;&apos;. AVS Quantum Science 2, 014101 (2020). arXiv:1912.04712.","DOI":"10.1116\/1.5126186"},{"key":"6","doi-asserted-by":"publisher","unstructured":"J. M. Pino et al. ``Demonstration of the trapped-ion quantum CCD computer architecture&apos;&apos;. Nature 592, 209\u2013213 (2021).","DOI":"10.1038\/s41586-021-03318-4"},{"key":"7","doi-asserted-by":"publisher","unstructured":"P. Murali, D. M. Debroy, K. R. Brown, and M. Martonosi. ``Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers&apos;&apos;. In Proceedings of the ACM\/IEEE 47th Annual International Symposium on Computer Architecture. Page 529\u2013542. ISCA &apos;20. IEEE Press (2020). arXiv:2004.04706.","DOI":"10.1109\/ISCA45697.2020.00051"},{"key":"8","doi-asserted-by":"publisher","unstructured":"J. Hilder et al. ``Fault-Tolerant Parity Readout on a Shuttling-Based Trapped-Ion Quantum Computer&apos;&apos;. Phys. Rev. X 12, 011032 (2022). arXiv:2107.06368.","DOI":"10.1103\/PhysRevX.12.011032"},{"key":"9","unstructured":"J. Wagner. ``Automated generation of shuttling schedules for a scalable trapped-ion quantum processor&apos;&apos;. Master&apos;s thesis. Johannes Gutenberg University Mainz. (2022)."},{"key":"10","doi-asserted-by":"crossref","unstructured":"J. Durandau. ``Automated Generation of Shuttling Sequences for a Linear Segmented Ion Trap Quantum Computer&apos;&apos; (2022). arXiv:2208.04881.","DOI":"10.22331\/q-2023-11-08-1175"},{"key":"11","doi-asserted-by":"publisher","unstructured":"A. A. Saki, R. O. Topaloglu, and S. Ghosh. ``Muzzle the Shuttle: Efficient Compilation for Multi-Trap Trapped-Ion Quantum Computers&apos;&apos;. In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). Pages 322\u2013327. (2022). arXiv:2111.07961.","DOI":"10.23919\/DATE54114.2022.9774619"},{"key":"12","doi-asserted-by":"publisher","unstructured":"T. Schmale et al. ``Backend compiler phases for trapped-ion quantum computers&apos;&apos;. In 2022 IEEE International Conference on Quantum Software (QSW). Pages 32\u201337. Los Alamitos, CA, USA (2022). IEEE Computer Society. arXiv:2206.00544.","DOI":"10.1109\/QSW55613.2022.00020"},{"key":"13","doi-asserted-by":"publisher","unstructured":"M. Webber, S. Herbert, S. Weidt, and W. K. Hensinger. ``Efficient Qubit Routing for a Globally Connected Trapped Ion Quantum Computer&apos;&apos;. Advanced Quantum Technologies 3, 2000027 (2020). arXiv:2002.12782.","DOI":"10.1002\/qute.202000027"},{"key":"14","doi-asserted-by":"publisher","unstructured":"S. Sivarajah et al. ``t$\\vert$ket$\\rangle$: a retargetable compiler for NISQ devices&apos;&apos;. Quantum Science and Technology 6, 014003 (2020). arXiv:2003.10611.","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"15","unstructured":"V. Bergholm et al. ``PennyLane: Automatic differentiation of hybrid quantum-classical computations&apos;&apos; (2018). arXiv:1811.04968."},{"key":"16","doi-asserted-by":"publisher","unstructured":"R. Wille, R. Van Meter, and Y. Naveh. ``IBM\u2019s Qiskit Tool Chain: Working with and Developing for Real Quantum Computers&apos;&apos;. In 2019 Design, Automation Test in Europe Conference Exhibition (DATE). Pages 1234\u20131240. (2019).","DOI":"10.23919\/DATE.2019.8715261"},{"key":"17","doi-asserted-by":"publisher","unstructured":"E. A. Martinez, T. Monz, D. Nigg, P. Schindler, and R. Blatt. ``Compiling quantum algorithms for architectures with multi-qubit gates&apos;&apos;. New J. Phys. 18, 063029 (2016). arXiv:1601.06819.","DOI":"10.1088\/1367-2630\/18\/6\/063029"},{"key":"18","unstructured":"T. Nguyen et al. ``Quantum Circuit Transformations with a Multi-Level Intermediate Representation Compiler&apos;&apos; (2021). arXiv:2112.10677."},{"key":"19","doi-asserted-by":"publisher","unstructured":"D. Maslov. ``Basic circuit compilation techniques for an ion-trap quantum machine&apos;&apos;. New J. Phys. 19, 023035 (2017). arXiv:1603.07678.","DOI":"10.1088\/1367-2630\/aa5e47"},{"key":"20","doi-asserted-by":"publisher","unstructured":"B. Coecke and R. Duncan. ``Interacting quantum observables: categorical algebra and diagrammatics&apos;&apos;. New J. Phys. 13, 043016 (2011). arXiv:0906.4725.","DOI":"10.1088\/1367-2630\/13\/4\/043016"},{"key":"21","doi-asserted-by":"publisher","unstructured":"X. Zhou, S. Li, and Y. Feng. ``Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search&apos;&apos;. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39, 4683\u20134694 (2020). arXiv:1908.08853.","DOI":"10.1109\/TCAD.2020.2969647"},{"key":"22","doi-asserted-by":"publisher","unstructured":"A. Zulehner, A. Paler, and R. Wille. ``An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures&apos;&apos;. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 38, 1226\u20131236 (2019). arXiv:1712.04722.","DOI":"10.1109\/TCAD.2018.2846658"},{"key":"23","doi-asserted-by":"publisher","unstructured":"A. Cowtan et al. ``On the Qubit Routing Problem&apos;&apos;. In 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019). Volume 135 of Leibniz International Proceedings in Informatics (LIPIcs), pages 5:1\u20135:32. Dagstuhl, Germany (2019). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik. arXiv:1902.08091.","DOI":"10.4230\/LIPIcs.TQC.2019.5"},{"key":"24","doi-asserted-by":"publisher","unstructured":"G. Li, Y. Ding, and Y. Xie. ``Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices&apos;&apos;. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS. Pages 1001\u20131014. ACM (2019). arXiv:1809.02573.","DOI":"10.1145\/3297858.3304023"},{"key":"25","doi-asserted-by":"publisher","unstructured":"F. Zilk et al. ``A compiler for universal photonic quantum computers&apos;&apos;. In 2022 IEEE\/ACM Third International Workshop on Quantum Computing Software (QCS). Pages 57\u201367. Los Alamitos, CA, USA (2022). IEEE Computer Society. arXiv:2210.09251.","DOI":"10.1109\/QCS56647.2022.00012"},{"key":"26","doi-asserted-by":"publisher","unstructured":"Y. Shi et al. ``Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers&apos;&apos;. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. Page 1031\u20131044. ASPLOS &apos;19New York, NY, USA (2019). Association for Computing Machinery. arXiv:1902.01474.","DOI":"10.1145\/3297858.3304018"},{"key":"27","unstructured":"J. van de Wetering. ``ZX-calculus for the working quantum computer scientist&apos;&apos; (2020). arXiv:2012.13966."},{"key":"28","unstructured":"Quantinuum Ltd. ``Extension Modules&apos;&apos;. url: https:\/\/cqcl.github.io\/pytket-extensions\/api\/index.html. (accessed: 2023-10-25)."},{"key":"29","doi-asserted-by":"publisher","unstructured":"A. Y. Kitaev. ``Quantum computations: algorithms and error correction&apos;&apos;. Russian Mathematical Surveys 52, 1191\u20131249 (1997).","DOI":"10.1070\/rm1997v052n06abeh002155"},{"key":"30","doi-asserted-by":"publisher","unstructured":"C. M. Dawson and M. A. Nielsen. ``The Solovay-Kitaev algorithm&apos;&apos;. Quantum Information and Computation 6, 81\u201395 (2006). arXiv:quant-ph\/0505030.","DOI":"10.26421\/QIC6.1-6"},{"key":"31","doi-asserted-by":"publisher","unstructured":"A. S\u00f8rensen and K. M\u00f8lmer. ``Quantum Computation with Ions in Thermal Motion&apos;&apos;. Phys. Rev. Lett. 82, 1971\u20131974 (1999). arXiv:quant-ph\/9810039.","DOI":"10.1103\/PhysRevLett.82.1971"},{"key":"32","doi-asserted-by":"publisher","unstructured":"H. Kaufmann et al. ``Fast ion swapping for quantum-information processing&apos;&apos;. Phys. Rev. A 95, 052319 (2017). arXiv:1607.03734.","DOI":"10.1103\/PhysRevA.95.052319"},{"key":"33","doi-asserted-by":"publisher","unstructured":"H. Kaufmann, T. Ruster, C. T. Schmiegelow, F. Schmidt-Kaler, and U. G. Poschinger. ``Dynamics and control of fast ion crystal splitting in segmented Paul traps&apos;&apos;. New J. Phys. 16, 073012 (2014). arXiv:1403.0097.","DOI":"10.1088\/1367-2630\/16\/7\/073012"},{"key":"34","doi-asserted-by":"publisher","unstructured":"M. W. van Mourik et al. ``Coherent rotations of qubits within a surface ion-trap quantum computer&apos;&apos;. Phys. Rev. A 102, 022611 (2020). arXiv:2001.02440.","DOI":"10.1103\/PhysRevA.102.022611"},{"key":"35","unstructured":"Quantinuum Ltd. ``pytket.circuit.OpType \u2014 pytket 1.21.0 documentation&apos;&apos;. url: https:\/\/cqcl.github.io\/tket\/pytket\/api\/optype.html. (accessed: 2023-10-25)."},{"key":"36","doi-asserted-by":"publisher","unstructured":"M. A. Nielsen and I. L. Chuang. ``Quantum Computation and Quantum Information: 10th Anniversary Edition&apos;&apos;. Pages 216\u2013247. Cambridge University Press. (2010).","DOI":"10.1017\/CBO9780511976667.009"},{"key":"37","doi-asserted-by":"publisher","unstructured":"A. Fagan and R. Duncan. ``Optimising Clifford Circuits with Quantomatic&apos;&apos;. Electronic Proceedings in Theoretical Computer Science 287, 85\u2013105 (2019). arXiv:1901.10114.","DOI":"10.4204\/eptcs.287.5"},{"key":"38","unstructured":"R. R. Tucci. ``An Introduction to Cartan&apos;s KAK Decomposition for QC Programmers&apos;&apos; (2005). arXiv:QUANT-PH\/0507171."},{"key":"39","unstructured":"Quantinuum Ltd. ``Pytket User Manual \u2013 Compilation&apos;&apos;. url: https:\/\/cqcl.github.io\/pytket\/manual\/manual_compiler.html#predefined-sequences. (accessed: 2023-10-25)."},{"key":"40","doi-asserted-by":"publisher","unstructured":"D. C. McKay, C. J. Wood, S. Sheldon, J. M. Chow, and J. M. Gambetta. ``Efficient $Z$ gates for quantum computing&apos;&apos;. Phys. Rev. A 96, 022330 (2017). arXiv:1612.00858.","DOI":"10.1103\/PhysRevA.96.022330"},{"key":"41","doi-asserted-by":"publisher","unstructured":"J. Biamonte et al. ``Quantum machine learning&apos;&apos;. Nature 549, 195\u2013202 (2017). arXiv:1611.09347.","DOI":"10.1038\/nature23474"},{"key":"42","doi-asserted-by":"publisher","unstructured":"M. Cerezo et al. ``Variational quantum algorithms&apos;&apos;. Nature Reviews Physics 3, 625\u2013644 (2021). arXiv:2012.09265.","DOI":"10.1038\/s42254-021-00348-9"},{"key":"43","unstructured":"A. Edgington et al. (2021). code: CQCL\/pytket commit:8867249."},{"key":"44","doi-asserted-by":"publisher","unstructured":"A. Anand et al. ``A quantum computing view on unitary coupled cluster theory&apos;&apos;. Chem. Soc. Rev. 51, 1659\u20131684 (2022). arXiv:2109.15176.","DOI":"10.1039\/D1CS00932J"},{"key":"45","doi-asserted-by":"publisher","unstructured":"J. Tilly et al. ``The Variational Quantum Eigensolver: A review of methods and best practices&apos;&apos;. Physics Reports 986, 1\u2013128 (2022). arXiv:2111.05176.","DOI":"10.1016\/j.physrep.2022.08.003"},{"key":"46","unstructured":"Z. Xiangzhen (2019). code: BensonZhou1991\/circuittransform commit:8e6e5b1."},{"key":"47","doi-asserted-by":"publisher","unstructured":"N. Moll et al. ``Quantum optimization using variational algorithms on near-term quantum devices&apos;&apos;. Quantum Science and Technology 3, 030503 (2018). arXiv:1710.01022.","DOI":"10.1088\/2058-9565\/aab822"},{"key":"48","doi-asserted-by":"publisher","unstructured":"S. Boixo et al. ``Characterizing quantum supremacy in near-term devices&apos;&apos;. Nature Phys 14, 595\u2013600 (2018). arXiv:1608.00263.","DOI":"10.1038\/s41567-018-0124-x"},{"key":"49","unstructured":"S. Boixo (2019). code: sboixo\/GRCS commit:f4981a7."},{"key":"50","doi-asserted-by":"publisher","unstructured":"A. W. Cross, L. S. Bishop, S. Sheldon, P. D. Nation, and J. M. Gambetta. ``Validating quantum computers using randomized model circuits&apos;&apos;. Phys. Rev. A 100, 032328 (2019). arXiv:1811.12926.","DOI":"10.1103\/PhysRevA.100.032328"},{"key":"51","unstructured":"T. Tomesh and G. Contreras (2021). code: teaguetomesh\/quantum_circuit_generator commit:0225dc5."},{"key":"52","doi-asserted-by":"publisher","unstructured":"I. Pogorelov et al. ``Compact Ion-Trap Quantum Computing Demonstrator&apos;&apos;. PRX Quantum 2, 020343 (2021). arXiv:2101.11390.","DOI":"10.1103\/PRXQuantum.2.020343"},{"key":"53","doi-asserted-by":"publisher","unstructured":"Y. Shapira et al. ``Theory of robust multiqubit nonadiabatic gates for trapped ions&apos;&apos;. Phys. Rev. A 101, 032330 (2020). arXiv:1911.03073.","DOI":"10.1103\/PhysRevA.101.032330"}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2023-11-08-1176\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,12,25]],"date-time":"2023-12-25T14:14:53Z","timestamp":1703513693000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2023-11-08-1176\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,8]]},"references-count":54,"URL":"https:\/\/doi.org\/10.22331\/q-2023-11-08-1176","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,8]]},"article-number":"1176"}}