6 papers
Parallelizable Exact Synthesis of Quantum Circuits via Semi-Tensor Product
Chenjian Li, Dingchao Gao, Xiangzhen Zhou +3
Exact synthesis is a key infrastructure in quantum circuit synthesis and optimization, which provides optimal implementations of small circuit shards and is widely used as a circui…
Optimal Compilation of Syndrome Extraction Circuits for General Quantum LDPC Codes
Kai Zhang, Dingchao Gao, Zhaohui Yang +4
Quantum error correcting codes (QECC) are essential for constructing large-scale quantum computers that deliver faithful results. As strong competitors to the conventional surface…
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…
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…
DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation
Yunqi Huang, Dingchao Gao, Shenggang Ying +1
Neutral atom (NA) quantum systems are emerging as a leading platform for quantum computation, offering superior or competitive qubit count and gate fidelity compared to superconduc…