Article-Journal

Symmetric extension of two-qubit states
Jianxin Chen, Zhengfeng Ji, David Kribs, Norbert Lütkenhaus, Bei Zeng
引用 DOI URL
Model-Checking Linear-Time Properties of Quantum Systems
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in …
Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
引用 DOI URL
Unextendible product basis for fermionic systems
Jianxin Chen, Lin Chen, Bei Zeng
引用 DOI URL
Symbolic Bisimulation for Quantum Processes
With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to …
Yuan Feng, Yuxin Deng, Mingsheng Ying
引用 DOI URL
Debugging quantum processes using monitoring measurements
Yangjia Li, Mingsheng Ying
引用 DOI URL
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