Quantum Computing

Projection-based runtime assertions for testing and debugging Quantum programs
In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer. The …
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
引用 DOI URL
A monte carlo tree search framework for quantum circuit transformation
In Noisy Intermediate-Scale Quantum (NISQ) era, quantum processing units (QPUs) suffer from, among others, highly limited connectivity …
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
引用 DOI URL
Quantum Supremacy Circuit Simulation on Sunway TaihuLight
Riling Li, Bujiao Wu, Mingsheng Ying, Xiaoming Sun, Guangwen Yang
引用 DOI
Quantum capacities for entanglement networks
Shawn X Cui, Zhengfeng Ji, Nengkun Yu, Bei Zeng
引用 DOI
Zero-Knowledge Proof Systems for QMA
Anne Broadbent, Zhengfeng Ji, Fang Song, John Watrous
引用 DOI
On hybrid models of quantum finite automata
In the literature, there exist several interesting hybrid models of quantum finite automata (QFA) which have both quantum and classical …
Lvzhou Li, Yuan Feng
引用 DOI URL
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose
Nengkun Yu, Runyao Duan, Mingsheng Ying
引用 DOI
Quantum Information-Flow Security: Noninterference and Access Control
Mingsheng Ying, Yuan Feng, Nengkun Yu
引用 DOI
A Flowchart Language for Quantum Programming
引用 DOI
Bisimulation for quantum processes
Quantum cryptographic systems have been commercially available, with a striking advantage over classical systems that their security …
Yuan Feng, Runyao Duan, Mingsheng Ying
引用 DOI URL