Article-Journal

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
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties
In this paper, we study a model of quantum Markov chains that is a quantum analogue of Markov chains and is obtained by replacing …
Lvzhou Li, Yuan Feng
引用 DOI URL
The minimum size of unextendible product bases in the bipartite case (and some multipartite cases)
Jianxin Chen, Nathaniel Johnston
引用
Universal subspaces for local unitary groups of fermionic systems
Lin Chen, Jianxin Chen, Dragomir Ž Đoković, Bei Zeng
引用
Partial long-range order in antiferromagnetic Potts models
M. P. Qin, Q. N. Chen, Z. Y. Xie, J. Chen, J. F. Yu, Huihai Zhao, B. Normand, T. Xiang
引用 DOI URL
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