Model Checking Matrix Product States against Linear Chain Logic
Dit artikel introduceert Lineaire Ketenlogica (LCL), een ruimtelijk logisch raamwerk dat de connectie tussen periodieke Matrix Product-toestanden en volledig positieve afbeeldingen benut om schaalbare, benaderde modelcontrole van grootte-afhankelijke en asymptotische eigenschappen in één-dimensionale kwantumveeldeeltjessystemen mogelijk te maken.