11 papers
Fast Template Matching for Quantum Circuits Using Hypergraph
Xin Hong, Jintao Yu, Runhong He +3
Quantum circuit optimization is a key step toward the efficient execution of quantum algorithms. Template matching has emerged as one of the dominant approaches for simplifying qua…
XBDD: A Highly Optimized ROBDD with Per-Edge Variable-Flip Maps
Yinglong Gan, Jintao Yu, Shenggang Ying +2
The Reduced Ordered Binary Decision Diagram (ROBDD) is a canonical representation of Boolean functions and is widely used in tasks such as equivalence checking and satisfiability c…
Oracle Synthesis Based on X-Map Decision Diagrams
Xin Hong, Kezhen Zhang, Aochu Dai +3
Quantum oracles act as reversible black-box operators that encode classical Boolean functions into quantum states, enabling efficient function evaluation in quantum superposition.…
Hamiltonian-Aware ADAPT Variational Quantum Eigensolver for Molecular Ground-State Simulation
Runhong He, Chao Liu, Xin Hong +5
Designing compact ansätze in Variational Quantum Eigensolver (VQE) is crucial for solving energetic problems of practical molecules on near-term quantum devices. However, existing…
Constructing Compact ADAPT Unitary Coupled-Cluster Ansatz with Parameter-Based Criterion
Runhong He, Xin Hong, Qiaozhen Chai +5
The adaptive derivative-assembled pseudo-trotter variational quantum eigensolver (ADAPT-VQE) is a promising hybrid quantum-classical algorithm for molecular ground state energy cal…
Hamiltonian-Informed Point Group Symmetry-Respecting Ansatz for Variational Quantum Eigensolver
Runhong He, Arapat Ablimit, Xin Hong +5
Solving molecular energy levels via the Variational Quantum Eigensolver (VQE) algorithm represents one of the most promising applications for demonstrating practically meaningful q…
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…
Gradient-Based Excitation Filter for Molecular Ground-State Simulation
Runhong He, Qiaozhen Chai, Xin Hong +4
Molecular ground-state simulation is one of the most promising fields for demonstrating practical quantum advantage on near-term quantum computers. However, the Variational Quantum…
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…
RH: An Architecture for Redesigning Quantum Circuits on Quantum Hardware Devices
Runhong He, Ji Guan, Xin Hong +3
In this paper we present an architecture that enables the redesign of large-scale quantum circuits on quantum hardware based on the entangling quantum generative adversarial networ…