Showing quant-phShow all
3 papers · 1 filter
quant-ph2025
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…
quant-ph2025
Quantum Design Automation: Foundations, Challenges, and the Road Ahead
Feng Wu, Jingzhe Guo, Tian Xia +12
Quantum computing is transitioning from laboratory research to industrial deployment, yet significant challenges persist: system scalability and performance, fabrication yields, an…
quant-ph2025
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…