Introduces Linear Chain Logic (LCL) and approximate algorithms to model-check spatial and asymptotic properties of periodic MPS families via their induced completely positive maps.
If the sum hits zero periodically, we need the terms of the second largest modulus to determine the sign
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Model Checking Matrix Product States against Linear Chain Logic
Introduces Linear Chain Logic (LCL) and approximate algorithms to model-check spatial and asymptotic properties of periodic MPS families via their induced completely positive maps.