7 papers
dSABRE: A SABRE-Style Router for Multi-Core Distributed Quantum Computers
Sanjiang Li
Minimising EPR consumption is the dominant objective when routing a quantum circuit on a distributed quantum computer (DQC). We present dSABRE, a SABRE-style router for multi-core…
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…
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
Xin Hong, Aochu Dai, Chenjian Li +3
Quantum state preparation (QSP) is a fundamental task in quantum computing and quantum information processing. It is critical to the execution of many quantum algorithms, including…
Quantum State Preparation Based on LimTDD
Xin Hong, Chenjian Li, Aochu Dai +3
Quantum state preparation is a fundamental task in quantum computing and quantum information processing. With the rapid advancement of quantum technologies, efficient quantum state…
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…
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…