7 papers
ArcTN: Efficient Tensor-Network Contraction Planning for Quantum Circuit Simulation
Zhengyi Liu, Li Liu, Songtao Liu +7
Tensor-network simulation of quantum circuits depends on contraction orders with low computational cost and small intermediate tensors, found without excessive planning time. We pr…
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…
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…
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…
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…