Minghui Xu

collaborators

2 papers

quant-ph2026

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…

math.DS2026

Reverse Iterated Function Systems: Density, Dimensions, and $p$ -adic Extension

Junjie Miao, Minghui Xu

Strichartz initiated the study of reverse iterated function systems (RIFSs) on integer lattices and the dimensions of their invariant sets. We develop a dimension theory for RIFSs…

Model Checking Matrix Product States against Linear Chain Logic

Reverse Iterated Function Systems: Density, Dimensions, and p-adic Extension

Reverse Iterated Function Systems: Density, Dimensions, and $p$ -adic Extension