Article-Journal

Quantum state tomography for generic pure states
ShiLin Huang, Jianxin Chen, YouNing Li, Bei Zeng
引用
Reachability analysis of quantum Markov decision processes
We introduce the notion of quantum Markov decision process (qMDP) as a semantic model of nondeterministic and concurrent quantum …
Shenggang Ying, Mingsheng Ying
引用 DOI URL
Separability-entanglement classifier via machine learning
Sirui Lu, Shilin Huang, Keren Li, Jun Li, Jianxin Chen, Dawei Lu, Zhengfeng Ji, Yi Shen, Duanlu Zhou, Bei Zeng
引用
Algorithmic analysis of termination problems for quantum programs
We introduce the notion of linear ranking super-martingale (LRSM) for quantum programs (with nondeterministic choices, namely angelic …
Yangjia Li, Mingsheng Ying
引用 DOI URL
First-principles engineering of charged defects for two-dimensional quantum technologies
Feng Wu, Andrew Galatas, Ravishankar Sundararaman, Dario Rocca, Yuan Ping
引用 DOI URL
Variational Monte Carlo method for fermionic models combined with tensor networks and applications to the hole-doped two-dimensional Hubbard model
Huihai Zhao, Kota Ido, Satoshi Morita, Masatoshi Imada
引用 DOI URL
Electronic properties of ionic surfaces: A systematic theoretical investigation of alkali halides
Bulk and surface electronic band structure properties of alkali halides are investigated by using density-functional theory (DFT) in …
Feng Wu, Huihui Wang, Yu-Chen Shen, Hong Jiang
引用 DOI URL
Invariants of quantum programs: characterisations and generation
Program invariant is a fundamental notion widely used in program verification and analysis. The aim of this paper is twofold: (i) find …
Mingsheng Ying, Shenggang Ying, Xiaodi Wu
引用 DOI URL
Joint product numerical range and geometry of reduced density matrices
Jianxin Chen, Cheng Guo, Zhengfeng Ji, Yiu-Tung Poon, Nengkun Yu, Bei Zeng, Jie Zhou
引用
Precisely deciding CSL formulas through approximate model checking for CTMCs
The model checking problem of continuous-time Markov chains with respect to continuous-time stochastic logic was introduced and shown …
Yuan Feng, Lijun Zhang
引用 DOI URL