Model Checking Matrix Product States against Linear Chain Logic

Ming Xu, Yihao Chen, Ji Guan

Matrix product states (MPS) are a standard tensor-network representation for ground states of one-dimensional quantum many-body systems, and they underpin widely used simulation to…