The DOI matches its DataCite record.
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices
Open accessAbstract
We propose a new algorithm to synthesise quantum circuits for phase polynomials, which takes into account the qubit connectivity of the quantum computer. We focus on the architectures of currently available NISQ devices. Our algorithm generates circuits with a smaller CNOT depth than the algorithms currently used in Staq and tket, while improving the runtime with respect the former.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The cited source says what the claim attributes to it.
In the citing paper
“Ref. (de Griend and Duncan, 2020) solves the qubit routing problem for phase polynomial circuits, which are circuits that only contain CNOTs and R z gates.”
From Noisy intermediate-scale quantum algorithms (2022) · cites this paper as de Griend and Duncan, 2020
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
No references could be resolved yet.
Research works printed but not linked: 18
- Matthew Amy, Parsiad Azimzadeh & Michele Mosca (2018): On the controlled-NOT complexity of controlled- NOT-phase circuits. Quantum Science and Technology 4(1), p. 015002, doi:10.1088/2058-9565/aad8ca. · DOI
- Matthew Amy & Vlad Gheorghiu (2020): staq-A full-stack quantum processing toolkit. Quantum Science and Technology 5(3), p. 034016, doi:10.1088/2058-9565/ab9359. · DOI
- Matthew Amy, Dmitri Maslov & Michele Mosca (2014): Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33(10), pp. 1476-1489, doi:10.1109/TCAD.2014.2341953. · DOI
- Bob Coecke (2010): Quantum picturalism. Contemporary Physics 51(1), pp. 59-83, doi:10.1080/00107510903257624. · DOI
- Bob Coecke & Aleks Kissinger (2017): Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, doi:10.1017/9781316219317. · DOI
- Alexander Cowtan, Silas Dilkes, Ross Duncan, Alexandre Krajenbrink, Will Simmons & Seyon Sivarajah (2019): On the Qubit Routing Problem. In Wim van Dam & Laura Mancinska, editors: 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019), Leibniz International Proceedings in Informatics (LIPIcs) 135, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 5:1-5:32, doi:10.4230/LIPIcs.TQC.2019.5. Available at http://drops.dagstuhl.de/opus/ volltexte/2019/10397. · DOI
- Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons & Seyon Sivarajah (2020): Phase Gadget Synthesis for Shallow Circuits. Electronic Proceedings in Theoretical Computer Science 318, pp. 213-228, doi:10.4204/eptcs.318.13. · DOI
- Christopher M. Dawson, Andrew P. Hines, Duncan Mortimer, Henry L. Haselgrove, Michael A. Nielsen & Tobias J. Osborne (2005): Quantum Computing and Polynomial Equations over the Finite Field Z2. Quantum Info. Comput. 5(2), p. 102-112, doi:10.26421/QIC5.2-2. · DOI
- Richard M. Karp (2010): Reducibility Among Combinatorial Problems, pp. 219-241. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-540-68279-0_8. · DOI
- Aleks Kissinger & Arianne Meijer-van de Griend (2020): Cnot circuit extraction for topologically-constrained quantum memories. Quantum information & computation 20(7-8), pp. 581-596, doi:10.26421/QIC20.7-8-4. · DOI
- Patel K.N., Markov I.L. & Hayes J.P. (2008): Optimal synthesis of linear reversible circuits. Quantum Information and Computation 8(3&4), pp. 282-294, doi:10.26421/qic8.3-4-4. Available at https://cir. nii.ac.jp/crid/1360294647045719424. · DOI
- Beatrice Nash, Vlad Gheorghiu & Michele Mosca (2020): Quantum circuit optimizations for NISQ architec- tures. Quantum Science and Technology 5(2), p. 025010, doi:10.1088/2058-9565/ab79b1. · DOI · Paper page
- John Preskill (2018): Quantum Computing in the NISQ era and beyond. Quantum 2, p. 79, doi:10.22331/q- 2018-08-06-79. · DOI · Paper page
- Seyon Sivarajah, Silas Dilkes, Alexander Cowtan, Will Simmons, Alec Edgington & Ross Duncan (2021): T|ket : A Retargetable Compiler for NISQ Devices. Quantum Science and Technology 6(1), p. 014003, doi:10.1088/2058-9565/ab8e92. · DOI · Paper page
- Mathias Soeken, Giulia Meuli, Bruno Schmitt, Fereshte Mozafari, Heinz Riener & Giovanni De Micheli (2020): Boolean satisfiability in quantum compilation. Philosophical Transactions Of The Royal Society A-Mathematical Physical And Engineering Sciences 378(2164), p. 20190161, doi:10.1098/rsta.2019.0161. Available at http://infoscience.epfl.ch/record/275628. · DOI
- Robert Wille, Lukas Burgholzer & Alwin Zulehner (2019): Mapping Quantum Circuits to IBM QX Architec- tures Using the Minimal Number of SWAP and H Operations. In: Proceedings of the 56th Annual Design Automation Conference 2019, DAC '19, Association for Computing Machinery, New York, NY, USA, pp. 1-6, doi:10.1145/3316781.3317859. · DOI · Paper page
- Bujiao Wu, Xiaoyu He, Shuai Yang, Lifu Shou, Guojing Tian, Jialin Zhang & Xiaoming Sun (2023): Optimization of CNOT circuits on limited-connectivity architecture. Phys. Rev. Res. 5, p. 013065, doi:10.1103/PhysRevResearch.5.013065. · DOI
- Alwin Zulehner, Alexandru Paler & Robert Wille (2019): An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 38(7), pp. 1226-1236, doi:10.1109/TCAD.2018.2846658. t|ket Nash Proposed Qubits count depth time count depth time count depth time 9 1444.30 1142.75 0.117s 836.45 422.75 0.186s 575.40 318.65 0.038s 16 4565.50 3846.85 0.362s 2480.10 629.95 1.121s 1818.75 499.85 0.168s 25 9240.80 8004.30 0.905s 4724.60 711.55 4.269s 3673.35 627.50 0.609s 36 14761.20 13074.70 1.863s 7866.50 788.75 13.198s 6211.55 739.30 2.072s 49 24291.45 21651.35 3.867s 11920.00 886.60 36.099s 9592.70 875.40 6.484s 64 27632.10 24473.65 5.462s 16960.45 975.30 82.994s 13750.00 1017.30 17 · DOI
Cited by
Noisy intermediate-scale quantum algorithms
Bharti, K., Cervera-Lierta, A., Kyaw, T. H., Haug, T., Alperin-Lea, S., Anand, A., Degroote, M., Heimonen, H., Kottmann, J. S., Menke, T., et al. (2022) · Reviews of Modern Physics · doi:10.1103/revmodphys.94.015004 · Cited by 2,231
Metadata
- Authors
- de Griend, A. M.-V., & Duncan, R.
- Affiliations
- Cambridge Quantum Computing (United Kingdom) (GB)
- University of Strathclyde (GB)
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2020
- Volume
- 394
- Pages
- 116-140
- ISSN
- 2075-2180 (ISSN-L)
- arXiv
- 2004.06052
- OpenAlex
- W3016020519
- Cited by
- 27
- References
- 0
- Citations by year
- 2025: 1 · 2024: 4 · 2023: 10 · 2022: 7 · 2021: 5
- FWCI
- 1.33
- Type
- journal article
- Language
- en
- Open access
- diamond
- doi.org
- Licence
- cc-by-nc-nd
- arxiv.org/licenses/nonexclusive-distrib/1.0/
- Locations
- Electronic Proceedings in Theoretical Computer Science (publishedVersion, cc-by-nc-nd)
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Information and Cryptography
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum many-body systems
- Keywords
- quantum circuit synthesis, NISQ devices, qubit connectivity
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
