1115 पेपर
यह शोधपत्र ट्यूरिन, इटली में आयोजित 7वें 'मॉडेल्स फॉर फॉर्मल एनालिसिस ऑफ रियल सिस्टम्स' (MARS 2026) के कार्यवाही विवरण को प्रस्तुत करता है, जिसका उद्देश्य मानक अनुसंधान में अक्सर छोड़े जाने वाले बहुमूल्य सबक साझा करने के लिए सत्यापन परिणामों के बजाय जटिल प्रणालियों के विस्तृत मॉडलिंग को प्राथमिकता देकर सैद्धांतिक औपचारिकताओं और वास्तविक दुनिया के अनुप्रयोगों के बीच के अंतर को पाटना है।
यह शोध पत्र यह सिद्ध करके कि ऐसी संक्रियाएँ तभी अस्तित्व में होती हैं जब बीजगणक (algebra) बुलियन (Boolean) हो, स्वयंसिद्ध (S4) को परिमित MV-इफेक्ट बीजगणकों (finite MV-effect algebras) पर क्रमिक उत्पादों (sequential products) के अस्तित्व के लिए प्रथम घातक स्थिति के रूप में पहचानता है, और साथ ही गैर-ऋणात्मक पूर्णांक आव्यूहों (nonnegative integer matrices) के माध्यम से निम्न-रैंक की संक्रियाओं का पूर्ण वर्गीकरण प्रदान करता है तथा रैंक-दो बुलियन मामले के लिए ठीक 34 समाधानों को सूचीबद्ध करता है।
यह शोधपत्र अल्टरनेटिंग टाइम टेम्पोरल लॉजिक (ATL) और डायनेमिक ग्राफ में खिलाड़ी की अनिश्चितता और जीतने की रणनीतियों के बारे में तर्क देने के लिए इसके विस्तारों के माध्यम से टेम्पोरल और एपिस्टेमिक दृष्टिकोणों को एकीकृत करके, सैबोटेज गेम्स (sabotage games) के विश्लेषण के लिए एक फ्रेमवर्क प्रस्तावित करता है।
यह शोध पत्र CHSH रिजिडिटी प्रमेय का Lean 4 में एक औपचारिकीकरण प्रस्तुत करता है, जो यह प्रदर्शित करता है कि कोई भी रणनीति जो निकट-इष्टतम CHSH मान प्राप्त करती है, वह मानक क्वबिट रणनीति के स्थानीय समरूप (locally isometric) है, और साथ ही मैके, यांग और स्कारानी के मूल प्रमाण में एक अंतराल की पहचान करता है।
यह शोध पत्र प्रदर्शित करता है कि सांख्यिकीय मॉडल चेकिंग (Statistical Model Checking), विशेष रूप से Multi-VeStA टूल का उपयोग करते हुए, फजियोलो और डोसी आइलैंड मॉडल (Fagiolo and Dosi Island Model) के औपचारिक विश्लेषण के लिए एक सिद्धांतगत और पुनरुत्पादनीय ढांचा प्रदान करता है, जो आत्मविश्वास अंतराल (confidence intervals) के साथ प्रमुख आर्थिक शैलीगत तथ्यों (economic stylized facts) को सफलतापूर्वक पुनरुत्पादित करता है और कठोर प्रतितथ्यात्मक संवेदनशीलता विश्लेषण (counterfactual sensitivity analysis) के माध्यम से अन्वेषण दरों (exploration rates) और ज्ञान स्थानीयता (knowledge locality) में सूक्ष्म अंतर्दृष्टि को प्रकट करता है।
यह शोध पत्र "fracterm", "fracvalue" और "fracsign" जैसे सटीक भेदों को पेश करके प्रारंभिक अंकगणित में "fraction" (भिन्न) शब्द की अस्पष्टता को संबोधित करता है ताकि इसे एक एकल गणितीय अवधारणा के बजाय अवधारणाओं की एक सामूहिक श्रेणी के रूप में पुनर्वर्गीकृत किया जा सके, साथ ही संख्या प्रणालियों की परिभाषा और संरचनावाद (structuralism) के लिए इसके निहितार्थों का भी अन्वेषण किया जा सके।
यह शोध पत्र सिमेट्रिक मॉड्यूलर सर्किटों का उपयोग करके बूलियन AND फंक्शन की गणना करने के लिए सटीक उप-घातांकीय (subexponential) निचली सीमाएं स्थापित करके सर्किट जटिलता की एक लंबे समय से चली आ रही खुली समस्या को हल करता है, जो यह प्रदर्शित करता है कि इष्टतम आकार गहराई 2 पर प्राप्त किया जाता है और इन परिणामों को नेस्टेड ब्लॉक सिमेट्री वाले सर्किटों तक विस्तारित करता है।
यह शोध पत्र सिग्नल टेम्पोरल लॉजिक (STL) के लिए एक नवीन स्तरीकरण-आधारित अर्थविज्ञान (stratification-based semantics) प्रस्तावित करता है जो STL सूत्रों और स्पेस-टाइम स्तरीकरणों के बीच एक पत्राचार स्थापित करता है, जो डीप रिइन्फोर्समेंट लर्निंग एजेंटों के एम्बेडिंग स्पेस का विश्लेषण और व्याख्या करने के लिए एक सैद्धांतिक ढांचा प्रदान करता है, जिसे मिनीग्रिड (Minigrid) खेलों में अनुप्रयोगों के माध्यम से मान्य किया गया है।
यह शोध पत्र UNSAT के लिए एक रेज़ोल्यूशन-आधारित इंटरैक्टिव प्रूफ सिस्टम प्रस्तुत करता है जो घातीय प्रमाणों (exponential certificates) के बिना कुशल सत्यापन सक्षम बनाता है, विशेष रूप से डेविस-पुटनम रेज़ोल्यूशन प्रक्रिया के लिए पहला प्रतिस्पर्धी इंटरैक्टिव प्रोटोकॉल अरिथमेटिककरण (arithmetization) के सैद्धांतिक ढांचे और प्रयोगात्मक परिणामों के साथ प्रस्तुत करता है।
यह शोधपत्र प्रदर्शित करता है कि एक गणनीय मीट्रिक स्पेस (computable metric space) के भीतर प्रत्येक अर्ध-गणनीय ग्राफ (semicomputable graph) को गणनीय अंतबिंदुओं (computable endpoints) वाले एक गणनीय उपग्राफ द्वारा स्वेच्छा से बेहतर तरीके से अनुमानित किया जा सकता है।