Article-Journal

Termination of nondeterministic quantum programs
We define a language-independent model of nondeterministic quantum programs in which a quantum program consists of a finite set of …
Yangjia Li, Nengkun Yu, Mingsheng Ying
引用 DOI URL
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose
Nengkun Yu, Runyao Duan, Mingsheng Ying
引用 DOI
Five two-qubit gates are necessary for implementing the Toffoli gate
Nengkun Yu, Runyao Duan, Mingsheng Ying
引用 DOI URL
Partial Order in Potts Models on the Generalized Decorated Square Lattice
Mingpu Qin, Jing Chen, Qiaoni Chen, Zhiyuan Xie, Xin Kong, Huihai Zhao, Bruce Normand, Tao Xiang
引用 DOI URL
Uniqueness of quantum states compatible with given measurement results
Jianxin Chen, Hillary Dawkins, Zhengfeng Ji, Nathaniel Johnston, David Kribs, Frederic Shultz, Bei Zeng
引用 DOI URL
A tighter bound for the self-stabilization time in Hermanʼs algorithm
We study the expected self-stabilization time of Hermanʼs algorithm. For N processors the lower bound is 427N2 (0.148N2), and an upper …
Yuan Feng, Lijun Zhang
引用 DOI URL
Model checking quantum Markov chains
Although security of quantum cryptography is provable based on principles of quantum mechanics, it can be compromised by flaws in the …
Yuan Feng, Nengkun Yu, Mingsheng Ying
引用 DOI URL
Removing measurements from quantum walks
Shenggang Ying, Mingsheng Ying
引用 DOI URL
Verification of quantum programs
This paper develops verification methodology for quantum programs, and the contribution of the paper is two-fold. •Sharir, Pnueli and …
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
引用 DOI URL
Ground-state spaces of frustration-free Hamiltonians
Jianxin Chen, Zhengfeng Ji, David Kribs, Zhaohui Wei, Bei Zeng
引用 DOI URL