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.

Dynamical weight reduction of Pauli measurements

Reducing Depth and Measurement Weights in Pauli-based Computation

Improving Quantum Simulation Efficiency of Final State Radiation with Dynamic Quantum Circuits

Qubit-count optimization using ZX-calculus

Adaptive variational quantum dynamics simulations with compressed circuits and fewer measurements

Powerful Quantum Circuit Resizing with Resource Efficient Synthesis

Wire Recycling for Quantum Circuit Optimization

Fault-tolerant quantum computation using low-cost joint measurements

Heisenberg-limited continuous-variable distributed quantum metrology with arbitrary weights

Deep Circuit Compression for Quantum Dynamics via Tensor Networks

Efficient Mean-Field Simulation of Quantum Circuits Inspired by Density Functional Theory

Experimental decoherence mitigation using a weak measurement-based scheme and the duality quantum algorithm

An alternative approach to optimal wire cutting without ancilla qubits

Reducing Mid-Circuit Measurements via Probabilistic Circuits

Measurement-Based Long-Range Entangling Gates in Constant Depth

Floquetifying stabiliser codes with distance-preserving rewrites

Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting

Synergistic Dynamical Decoupling and Circuit Design for Enhanced Algorithm Performance on Near-Term Quantum Devices

Highly optimized quantum circuits synthesized via data-flow engines

Dynamic quantum circuit compilation

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