Model Checking Matrix Product States against Linear Chain Logic
यह शोध पत्र लिनियर चेन लॉजिक (LCL) प्रस्तुत करता है, जो एक स्थानिक तर्क ढांचा (spatial logic framework) है जो आवधिक मैट्रिक्स प्रोडक्ट स्टेट्स (periodic Matrix Product States) और पूर्णतः धनात्मक मानचित्रों (completely positive maps) के बीच संबंध का लाभ उठाता है ताकि एक-आयामी क्वांटम मेनी-बॉडी सिस्टम में आकार-निर्भर और स्पर्शोन्मुख गुणों (asymptotic properties) की स्केलेबल, अनुमानित मॉडल चेकिंग को सक्षम बनाया जा सके।