Paper-Conference

Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks
引用 DOI
FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
Applications of decision diagrams in quantum circuit analysis have been an active research area. Our work introduces FeynmanDD, a new …
引用
Quantum Approximate k-Minimum Finding
Minbo Gao, Zhengfeng Ji, Qisheng Wang
引用 DOI URL
One Gate Scheme to Rule Them All: Introducing a Complex Yet Reduced Instruction Set for Quantum Computing
The design and architecture of a quantum instruction set are paramount to the performance of a quantum computer. This work introduces a …
Jianxin Chen, Dawei Ding, Weiyuan Gong, Cupjin Huang, Qi Ye
引用
QReach: A Reachability Analysis Tool for Quantum Markov Chains
We present QReach, the first reachability analysis tool for quantum Markov chains based on decision diagrams CFLOBDD (presented at CAV …
引用
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits
This paper proposes an efficient stabilizer circuit simulation algorithm that only traverses the circuit forward once. We introduce …
Wang Fang, Mingsheng Ying
引用 DOI URL
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying
引用 DOI
Detecting Violations of Differential Privacy for Quantum Algorithms
Quantum algorithms for solving a wide range of practical problems have been proposed in the last ten years, such as data search and …
Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying
引用 DOI URL
Logarithmic-Regret Quantum Learning Algorithms for Zero-Sum Games
Minbo Gao, Zhengfeng Ji, Tongyang Li, Qisheng Wang
PDF 引用
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
引用 DOI