Article-Journal

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
Probabilistic bisimilarity as testing equivalence
Larsen and Skou initiated the study of probabilistic bisimilarity and its characterisation in terms of tests. Later on, van Breugel et …
Yuxin Deng, Yuan Feng
引用 DOI URL
Quantum State Tomography via Reduced Density Matrices
Tao Xin, Dawei Lu, Joel Klassen, Nengkun Yu, Zhengfeng Ji, Jianxin Chen, Xian Ma, Guilu Long, Bei Zeng, Raymond Laflamme
引用 DOI URL
Physical origins of ruled surfaces on the reduced density matrices geometry
The reduced density matrices (RDMs) of many-body quantum states form a convex set. The boundary of low dimensional projections of this …
Ji-Yao Chen, Zhengfeng Ji, Zheng-Xin Liu, Xiaofei Qi, Nengkun Yu, Bei Zeng, Duanlu Zhou
引用 DOI URL
Entanglement depth for symmetric states
Ji-Yao Chen, Zhengfeng Ji, Nengkun Yu, Bei Zeng
引用 DOI URL
Quantifying the coherence of pure quantum states
Jianxin Chen, Shane Grogan, Nathaniel Johnston, Chi-Kwong Li, Sarah Plosker
引用 DOI URL