4 citations · 4 across the 9 of their papers we have counts for
7 papers · 1 filter
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…
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.…
QReach: A Reachability Analysis Tool for Quantum Markov Chains
Aochu Dai, Mingsheng Ying
We present QReach, the first reachability analysis tool for quantum Markov chains based on decision diagrams CFLOBDD (presented at CAV 2023). QReach provides a novel framework for…
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…
Quantum Speedup for Hypergraph Sparsification
Chenghua Liu, Minbo Gao, Zhengfeng Ji +1
Graph sparsification serves as a foundation for many algorithms, such as approximation algorithms for graph cuts and Laplacian system solvers. As its natural generalization, hyperg…
Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
Chenjian Li, Mingsheng Ying, Ji Guan
We study the differential privacy (DP) of the quantum recommendation algorithm of Kerenidis--Prakash and its quantum-inspired classical counterpart. Under standard low-rank and inc…
Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks
Huiping Lin, Ruixuan Deng, Chris Z. Yao +2
Quantum network research at both the software stack and hardware implementation level has become an exciting area of quantum information science. Although demonstrations of small-s…