Model Checking Matrix Product States against Linear Chain Logic
تقدم هذه الورقة "منطق السلسلة الخطية" (LCL)، وهو إطار عمل للمنطق المكاني يستفيد من الربط بين حالات ضرب المصفوفات الدورية والخرائط الموجبة تماماً لتمكين التحقق التقريبي القابل للتوسع من الخصائص المعتمدة على الحجم والخصائص التقاربية في الأنظمة الكمومية متعددة الأجسام أحادية البعد.