Abstract:Quantum 8, 1281 (2024). https://doi.org/10.22331/q-2024-03-14-1281 Dynamically field-programmable qubit arrays (DPQA) have recently emerged as a promising platform for quantum information processing. In DPQA, atomic qubits are selectively loaded into arrays of optical traps that can be reconfigured during the computation itself. Leveraging qubit transport and parallel, entangling quantum operations, different pairs of qubits, even those initially far away, can be entangled at different stages of the quantum program execution. Such reconfigurability and non-local connectivity present new challenges for compilation, especially in the layout synthesis step which places and routes the qubits and schedules the gates. In this paper, we consider a DPQA architecture that contains multiple arrays and supports 2D array movements, representing cutting-edge experimental platforms. Within this architecture, we discretize the state space and formulate layout synthesis as a satisfiability modulo theories problem, which can be solved by existing solvers optimally in terms of circuit depth. For a set of benchmark circuits generated by random graphs with complex connectivities, our compiler OLSQ-DPQA reduces the number of two-qubit entangling gates on small problem instances by 1.7x compared to optimal compilation results on a fixed planar architecture. To further improve scalability and practicality of the method, we introduce a greedy heuristic inspired by the iterative peeling approach in classical integrated circuit routing. Using a hybrid approach that combined the greedy and optimal methods, we demonstrate that our DPQA-based compiled circuits feature reduced scaling overhead compared to a grid fixed architecture, resulting in 5.1X less two-qubit gates for 90 qubit quantum circuits. These methods enable programmable, complex quantum circuits with neutral atom quantum computers, as well as informing both future compilers and future hardware choices.

A Quantum Dot Plot Generation Algorithm for Pairwise Sequence Alignment

An algorithm for DNA read alignment on quantum accelerators

Modified Multiple Sequence Alignment Algorithm on Quantum Annealers (MAQ)

Multi-sequence alignment using the Quantum Approximate Optimization Algorithm

A Linear Time Quantum Algorithm for Pairwise Sequence Alignment

Short-depth QAOA circuits and quantum annealing on higher-order ising models

Quantum gate algorithm for reference-guided DNA sequence alignment

Scaling of the quantum approximate optimization algorithm on superconducting qubit based hardware

Parity Quantum Optimization: Benchmarks

On Quantum Annealing Without a Physical Quantum Annealer

Quantum Approximate Optimization With Parallelizable Gates

Quantum-parallel vectorized data encodings and computations on trapped-ion and transmon QPUs

Quantum Gram-Schmidt Processes and Their Application to Efficient State Readout for Quantum Algorithms

Quantum Annealing Learning Search Implementations

Algorithm for DNA sequence assembly by quantum annealing

Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors

Enhancing Quantum Optimization with Parity Network Synthesis

Optimal Qubit Mapping with Simultaneous Gate Absorption

Projective Quantum Eigensolver with Generalized Operators

Efficient Classical Computation of Single-Qubit Marginal Measurement Probabilities to Simulate Certain Classes of Quantum Algorithms

Error correction of parity-encoding-based annealing through post-readout decoding