3 papers
quant-ph2025
Optimal Compilation Strategies for QFT Circuits in Neutral-Atom Quantum Computing
Dingchao Gao, Yongming Li, Shenggang Ying +1
Neutral-atom quantum computing (NAQC) offers distinct advantages such as dynamic qubit reconfigurability, long coherence times, and high gate fidelities, making it a promising plat…
cs.DS2025
LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations
Xin Hong, Aochu Dai, Dingchao Gao +3
Tensor networks serve as a powerful tool for efficiently representing and manipulating high-dimensional data in applications such as quantum physics, machine learning, and data com…
cs.DS2025
Image Computation for Quantum Transition Systems
Xin Hong, Dingchao Gao, Sanjiang Li +2
With the rapid progress in quantum hardware and software, the need for verification of quantum systems becomes increasingly crucial. While model checking is a dominant and very suc…