Article-Journal

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
From ground states to local Hamiltonians
Jianxin Chen, Zhengfeng Ji, Bei Zeng, D. L. Zhou
引用 DOI URL
Comment on some results of Erdahl and the convex structure of reduced density matrices
Jianxin Chen, Zhengfeng Ji, Mary Beth Ruskai, Bei Zeng, Duan-Lu Zhou
引用 DOI URL
Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States
Nengkun Yu, Runyao Duan, Mingsheng Ying
引用 DOI URL
Quantum programming: From theories to implementations
This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential …
Mingsheng Ying, Yuan Feng, RunYao Duan, YangJia Li, NengKun Yu
引用 DOI URL
Correlations in excited states of local Hamiltonians
Jianxin Chen, Zhengfeng Ji, Zhaohui Wei, Bei Zeng
引用 DOI URL