Matthew Amy (2019):
Towards Large-scale Functional Verification of Universal Quantum Circuits.
Electronic Proceedings in Theoretical Computer Science 287,
pp. 1–21,
doi:10.4204/EPTCS.287.1.
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li & Neil J. Ross (2023):
Improved Synthesis of Toffoli-Hadamard Circuits,
pp. 169–209,
doi:10.1007/978-3-031-38100-3_12.
ArXiv:2305.11305.
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski & John van de Wetering (2021):
There and back again: A circuit extraction tale.
Quantum 5,
pp. 421,
doi:10.22331/q-2021-03-25-421.
Available at http://arxiv.org/abs/2003.01664.
ArXiv:2003.01664 [quant-ph].
Jonathan M. Baker, Andrew Litteken, Casey Duckering, Henry Hoffmann, Hannes Bernien & Frederic T. Chong (2021):
Exploiting Long-Distance Interactions and Tolerating Atom Loss in Neutral Atom Quantum Architectures,
pp. 818–831,
doi:10.1109/ISCA52012.2021.00069.
Daniel Barredo, Sylvain de Léséleuc, Vincent Lienhard, Thierry Lahaye & Antoine Browaeys (2016):
An Atom-by-Atom Assembler of Defect-Free Arbitrary Two-Dimensional Atomic Arrays.
Science 354(6315),
pp. 1021–1023,
doi:10.1126/science.aah3778.
Dolev Bluvstein, Simon J. Evered, Alexandra A. Geim, Sophie H. Li, Hengyun Zhou, Tom Manovitz, Sepehr Ebadi, Madelyn Cain, Marcin Kalinowski, Dominik Hangleiter, J. Pablo Bonilla Ataides, Nishad Maskara, Iris Cong, Xun Gao, Pedro Sales Rodriguez, Thomas Karolyshyn, Giulia Semeghini, Michael J. Gullans, Markus Greiner, Vladan Vuleti\'c & Mikhail D. Lukin (2023):
Logical Quantum Processor Based on Reconfigurable Atom Arrays.
Nature,
pp. 1–3,
doi:10.1038/s41586-023-06927-3.
Dolev Bluvstein, Harry Levine, Giulia Semeghini, Tout T. Wang, Sepehr Ebadi, Marcin Kalinowski, Alexander Keesling, Nishad Maskara, Hannes Pichler, Markus Greiner, Vladan Vuleti\'c & Mikhail D. Lukin (2022):
A Quantum Processor Based on Coherent Transport of Entangled Atom Arrays.
Nature 604(7906),
pp. 451–456,
doi:10.1038/s41586-022-04592-6.
Sebastian Brandhofer, Ilia Polian & Hans Peter Büchler (2021):
Optimal Mapping for Near-Term Quantum Architectures Based on Rydberg Atoms.
In: 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD),
pp. 1–7,
doi:10.1109/ICCAD51958.2021.9643490.
Hans J Briegel, David E Browne, Wolfgang Dür, Robert Raussendorf & Maarten Van den Nest (2009):
Measurement-based quantum computation.
Nature Physics 5(1),
pp. 19–26,
doi:10.1038/nphys1157.
Alec Cao, William J. Eckner, Theodor Lukin Yelin, Aaron W. Young, Sven Jandura, Lingfeng Yan, Kyungtae Kim, Guido Pupillo, Jun Ye, Nelson Darkwah Oppong & Adam M. Kaufman (2024):
Multi-qubit gates and 'Schrödinger cat' states in an optical clock.
ArXiv:2402.16289.
Bob Coecke & Aleks Kissinger (2017):
Picturing Quantum Processes.
Cambridge University Press,
doi:10.1017/9781316219317.
Clemens Dlaska, Kilian Ender, Glen Bigan Mbeng, Andreas Kruckenhauser, Wolfgang Lechner & Rick van Bijnen (2022):
Quantum Optimization via Four-Body Rydberg Gates.
Physical Review Letters 128(12),
pp. 120503,
doi:10.1103/PhysRevLett.128.120503.
Ross Duncan, Aleks Kissinger, Simon Perdrix & John van de Wetering (2020):
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus.
Quantum 4,
pp. 279,
doi:10.22331/q-2020-06-04-279.
Available at https://quantum-journal.org/papers/q-2020-06-04-279/.
Publisher: Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften.
Simon J. Evered, Dolev Bluvstein, Marcin Kalinowski, Sepehr Ebadi, Tom Manovitz, Hengyun Zhou, Sophie H. Li, Alexandra A. Geim, Tout T. Wang, Nishad Maskara, Harry Levine, Giulia Semeghini, Markus Greiner, Vladan Vuleti\'c & Mikhail D. Lukin (2023):
High-Fidelity Parallel Entangling Gates on a Neutral-Atom Quantum Computer.
Nature 622(7982),
pp. 268–272,
doi:10.1038/s41586-023-06481-y.
ArXiv:2304.05420.
T. M. Graham, Y. Song, J. Scott, C. Poole, L. Phuttitarn, K. Jooya, P. Eichler, X. Jiang, A. Marra, B. Grinkemeyer, M. Kwon, M. Ebert, J. Cherek, M. T. Lichtman, M. Gillette, J. Gilbert, D. Bowman, T. Ballance, C. Campbell, E. D. Dahl, O. Crawford, N. S. Blunt, B. Rogers, T. Noel & M. Saffman (2022):
Multi-Qubit Entanglement and Algorithms on a Neutral-Atom Quantum Computer.
Nature 604(7906),
pp. 457–462,
doi:10.1038/s41586-022-04603-6.
Daniel Große, Robert Wille, Gerhard W Dueck & Rolf Drechsler (2009):
Exact multiple-control Toffoli network synthesis with SAT techniques.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 28(5),
pp. 703–715,
doi:10.1109/TCAD.2009.2017215.
Flavien Gyger, Maximilian Ammenwerth, Renhao Tao, Hendrik Timme, Stepan Snigirev, Immanuel Bloch & Johannes Zeiher (2024):
Continuous Operation of Large-Scale Atom Arrays in Optical Lattices.
ArXiv:2402.04994.
Loïc Henriet, Lucas Beguin, Adrien Signoles, Thierry Lahaye, Antoine Browaeys, Georges-Olivier Reymond & Christophe Jurczak (2020):
Quantum Computing with Neutral Atoms.
Quantum 4,
pp. 327,
doi:10.22331/q-2020-09-21-327.
L. Isenhower, M. Saffman & K. Mølmer (2011):
Multibit CkNOT Quantum Gates via Rydberg Blockade.
Quantum Information Processing 10(6),
pp. 755,
doi:10.1007/s11128-011-0292-4.
Sven Jandura & Guido Pupillo (2022):
Time-Optimal Two- and Three-Qubit Gates for Rydberg Atoms.
Quantum 6,
pp. 712,
doi:10.22331/q-2022-05-13-712.
Aleks Kissinger & John van de Wetering (2020):
Reducing the Number of Non-Clifford Gates in Quantum Circuits.
Physical Review A 102(2),
pp. 022406,
doi:10.1103/PhysRevA.102.022406.
Aleks Kissinger & John van de Wetering (2020):
PyZX: Large Scale Automated Diagrammatic Reasoning 318,
pp. 229–241,
doi:10.4204/EPTCS.318.14.
Vadym Kliuchnikov, Dmitri Maslov & Michele Mosca (2013):
Fast and efficient exact synthesis of single-qubit unitaries generated by clifford and T gates.
Quantum Information & Computation 13(7-8),
pp. 607–630,
doi:10.5555/2535649.2535653.
Stach Kuijpers, John van de Wetering & Aleks Kissinger:
Graphical fourier theory and the cost of quantum addition.
Available at https://doi.org/10.48550/arXiv.1904.07551.
Harry Levine, Dolev Bluvstein, Alexander Keesling, Tout T. Wang, Sepehr Ebadi, Giulia Semeghini, Ahmed Omran, Markus Greiner, Vladan Vuleti\'c & Mikhail D. Lukin (2022):
Dispersive Optical Systems for Scalable Raman Driving of Hyperfine Qubits.
Physical Review A 105(3),
pp. 032618,
doi:10.1103/PhysRevA.105.032618.
Harry Levine, Alexander Keesling, Giulia Semeghini, Ahmed Omran, Tout T. Wang, Sepehr Ebadi, Hannes Bernien, Markus Greiner, Vladan Vuleti\'c, Hannes Pichler & Mikhail D. Lukin (2019):
Parallel Implementation of High-Fidelity Multiqubit Gates with Neutral Atoms.
Physical Review Letters 123(17),
pp. 170503,
doi:10.1103/PhysRevLett.123.170503.
Ang Li, Samuel Stein, Sriram Krishnamoorthy & James Ang (2022):
QASMBench: A Low-level QASM Benchmark Suite for NISQ Evaluation and Simulation,
doi:10.48550/arXiv.2005.13018.
ArXiv:2005.13018.
Yongshang Li, Yu Zhang, Mingyu Chen, Xiangyang Li & Peng Xu (2023):
Timing-Aware Qubit Mapping and Gate Scheduling Adapted to Neutral Atom Quantum Computing.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
pp. 1–1,
doi:10.1109/TCAD.2023.3261244.
Ivaylo S. Madjarov, Jacob P. Covey, Adam L. Shaw, Joonhee Choi, Anant Kale, Alexandre Cooper, Hannes Pichler, Vladimir Schkolnik, Jason R. Williams & Manuel Endres (2020):
High-Fidelity Entanglement and Detection of Alkaline-Earth Rydberg Atoms.
Nature Physics 16(8),
pp. 857–861,
doi:10.1038/s41567-020-0903-z.
Priyanka Mukhopadhyay (2024):
Synthesizing Toffoli-optimal quantum circuits for arbitrary multi-qubit unitaries.
arXiv preprint arXiv:2401.08950.
Available at https://doi.org/10.48550/arXiv.2401.08950.
M. Müller, I. Lesanovsky, H. Weimer, H. P. Büchler & P. Zoller (2009):
Mesoscopic Rydberg Gate Based on Electromagnetically Induced Transparency.
Physical Review Letters 102(17),
pp. 170502,
doi:10.1103/PhysRevLett.102.170502.
M. A. Norcia, H. Kim, W. B. Cairncross, M. Stone, A. Ryou, M. Jaffe, M. O. Brown, K. Barnes, P. Battaglino, A. Brown, K. Cassella, C.-A. Chen, R. Coxe, D. Crow, J. Epstein, C. Griger, E. Halperin, F. Hummel, A. M. W. Jones, J. M. Kindem, J. King, K. Kotru, J. Lauigan, M. Li, M. Lu, E. Megidish, J. Marjanovic, M. McDonald, T. Mittiga, J. A. Muniz, S. Narayanaswami, C. Nishiguchi, T. Paule, K. A. Pawlak, L. S. Peng, K. L. Pudenz, A. Smull, D. Stack, M. Urbanek, R. J. M. van de Veerdonk, Z. Vendeiro, L. Wadleigh, T. Wilkason, T.-Y. Wu, X. Xie, E. Zalys-Geller, X. Zhang & B. J. Bloom (2024):
Iterative Assembly of $^{171}$Yb Atom Arrays in Cavity-Enhanced Optical Lattices,
doi:10.48550/arXiv.2401.16177.
ArXiv:2401.16177.
Natalia Nottingham, Michael A. Perlin, Ryan White, Hannes Bernien, Frederic T. Chong & Jonathan M. Baker (2023):
Decomposing and Routing Quantum Circuits Under Constraints for Neutral Atom Architectures,
doi:10.48550/arXiv.2307.14996.
ArXiv:2307.14996.
Tirthak Patel, Daniel Silver & Devesh Tiwari (2022):
Geyser: A Compilation Framework for Quantum Computing with Neutral Atoms.
In: Proceedings of the 49th Annual International Symposium on Computer Architecture,
ISCA '22.
Association for Computing Machinery,
New York, NY, USA,
pp. 383–395,
doi:10.1145/3470496.3527428.
Lars Pause, Lukas Sturm, Marcel Mittenbühler, Stephan Amann, Tilman Preuschoff, Dominik Schäffner, Malte Schlosser & Gerhard Birkl (2023):
Supercharged Two-Dimensional Tweezer Array with More than 1000 Atomic Qubits,
doi:10.48550/arXiv.2310.09191.
ArXiv:2310.09191.
Tom Peham, Lukas Burgholzer & Robert Wille (2022):
Equivalence checking of quantum circuits with the ZX-calculus.
IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12(3),
pp. 662–675,
doi:10.1109/JETCAS.2022.3202204.
Nils Quetschlich, Lukas Burgholzer & Robert Wille (2023):
MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing.
Quantum 7,
pp. 1062,
doi:10.22331/q-2023-07-20-1062.
M. Saffman, T. G. Walker & K. Mølmer (2010):
Quantum Information with Rydberg Atoms.
Reviews of Modern Physics 82(3),
pp. 2313–2363,
doi:10.1103/RevModPhys.82.2313.
Mark Saffman (2019):
Quantum Computing with Neutral Atoms.
National Science Review 6(1),
pp. 24–25,
doi:10.1093/nsr/nwy088.
Ludwig Schmid, David F Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller & Robert Wille (2024):
Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts.
Quantum Science and Technology 9(3),
pp. 033001,
doi:10.1088/2058-9565/ad33ac.
Available at https://dx.doi.org/10.1088/2058-9565/ad33ac.
Ludwig Schmid, Sunghye Park, Seokhyeong Kang & Robert Wille (2023):
Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers,
doi:10.48550/arXiv.2311.14164.
ArXiv:2311.14164.
Adam L. Shaw, Ran Finkelstein, Richard Bing-Shiun Tsai, Pascal Scholl, Tai Hyun Yoon, Joonhee Choi & Manuel Endres (2024):
Multi-Ensemble Metrology by Programming Local Rotations with Atom Movements.
Nature Physics,
pp. 1–7,
doi:10.1038/s41567-023-02323-w.
VV Shende, SS Bullock & IL Markov (2006):
Synthesis of quantum-logic circuits.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 25(6),
pp. 1000–1010,
doi:10.1109/TCAD.2005.855930.
Will Simmons (2021):
Relating Measurement Patterns to Circuits via Pauli Flow.
Electronic Proceedings in Theoretical Computer Science 343,
pp. 50–101,
doi:10.4204/eptcs.343.4.
Korbinian Staudacher, Tobias Guggemos, Sophia Grundner-Culemann & Wolfgang Gehrke (2023):
Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization.
Electronic Proceedings in Theoretical Computer Science 394,
pp. 29–45,
doi:10.4204/EPTCS.394.3.
Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille & Dieter Kranzlmüller (2024):
Multi-Controlled Phase Gate Synthesis with ZX- Calculus,
doi:10.5281/zenodo.10730427.
Daniel Bochen Tan, Dolev Bluvstein, Mikhail D. Lukin & Jason Cong (2024):
Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors.
Quantum 8,
pp. 1281,
doi:10.22331/q-2024-03-14-1281.
Daniel Bochen Tan, Shuohao Ping & Jason Cong (2024):
Depth-Optimal Addressing of 2D Qubit Array with 1D Controls Based on Exact Binary Matrix Factorization.
ArXiv:2401.13807.
Renaud Vilmart (2019):
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics,
pp. 1–10,
doi:10.1109/LICS.2019.8785765.
Hanrui Wang, Pengyu Liu, Bochen Tan, Yilian Liu, Jiaqi Gu, David Z. Pan, Jason Cong, Umut Acar & Song Han (2023):
FPQA-C: A Compilation Framework for Field Programmable Qubit Array,
doi:10.48550/arXiv.2311.15123.
ArXiv:2311.15123.
Hanrui Wang, Bochen Tan, Pengyu Liu, Yilian Liu, Jiaqi Gu, Jason Cong & Song Han (2023):
Q-Pilot: Field Programmable Quantum Array Compilation with Flying Ancillas,
doi:10.48550/arXiv.2311.16190.
ArXiv:2311.16190.
John van de Wetering (2020):
ZX-calculus for the working quantum computer scientist.
arXiv preprint arXiv:2012.13966.
Available at https://doi.org/10.48550/arXiv.2012.13966.
eptcs@eptcs.org