A Mobius-guided compiler is proposed that maps a diagonal phase function to a phase hypergraph via subset-lattice Mobius inversion, allowing sparse or local high-order structure to be routed as native multiqubit controlled-phase candidates when feasible and decomposed otherwise.
Abstract
Diagonal gates are ubiquitous primitives in quantum algorithms, from phase oracles, hypergraph-state preparation, and multi-control logic to Hamiltonian simulation of spin models and digitized lattice field theories, where Ising interactions and local potential terms are diagonal in the encoded basis. Standard compilers, however, often lower diagonal structure into one- and two-qubit gates before neutral-atom hardware can exploit native Rydberg-mediated multiqubit controlled-phase operations. We propose a M\"obius-guided compiler that maps a diagonal phase function to a phase hypergraph via subset-lattice M\"obius inversion. The hypergraph retains the support and angle of each many-body phase term, allowing sparse or local high-order structure to be routed as native multiqubit controlled-phase candidates when feasible and decomposed otherwise. The neutral-atom scheduler accounts for atom motion, interaction-zone constraints, blockade feasibility, and error costs, enabling a direct comparison between native high-order execution and decomposed alternatives. Benchmarks against routed ZAP and ZX-calculus baselines show improved estimated success for algorithmic instances with exploitable three- and four-body phase terms, and comparable performance on predominantly two-body instances. These results provide a feasible compilation strategy for more fully exploiting the native capabilities of neutral-atom hardware, using atom reconfigurability and Rydberg-mediated multiqubit phase operations as practical resources for more efficient quantum computation.
QaiJi IR, an eight-layer family organized by a five-axis semantic contract, is presented, an eight-layer family organized by a \emph{five-axis semantic contract} for data, semantics, lowering, runtime, and verification.
A fan-out-based gadget compiler that trades circuit depth for width in simulations of Heisenberg-type nuclear magnetic resonance (NMR) Hamiltonians is introduced and the zero-field NMR spectrum of tetramethylsilane, a 13-spin star system is simulated.
This work develops PTN constructions based on different native entangling-gate realizations, namely CZ, CZSWAP, and iSWAP, providing flexibility to accommodate different hardware capabilities on both static and mobile neutral-atom platforms.
Javad Kazemi, M. Fellner, Riccardo J. Valencia-Tortora et al.· 0 citations
By co-designing BB-code abstractions with hardware execution, Park-n-Ride provides a practical path from qLDPC primitives to resource-efficient, high-throughput execution on reconfigurable neutral-atom arrays.
J. Ludmir, Aditya Ranjan, Nicholas S. DiBrita et al.· 1 citation
A layer of diagonal quantum gates can be specified by an integer-valued function on computational basis states. This description suggests implementing the layer by evaluating that function reversibly and translating its value into a phase using a shared quantum register. We develop this viewpoint for parallel phase kic...
An-Bang Wu, Li-Qiang Lu, Pu Pang et al.· 0 citations
A new qubit mapping method and analyses to tackle hierarchical dynamic circuits, including modeling (statically) sub-circuits in disjoint control-flow paths, introducing a novel Qubit Reconciliation pass to maintain consistency between sub-circuit and control-flow boundaries, and a refined cost function enhanced for SW...
Marouane Benbetka, Merwan Bekkar, Bokyeong Yoon et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.