1117 पेपर
यह शोध पत्र लगभग रैखिक पुनरावर्ती अनुक्रमों (nearly linearly recurrent sequences) के लिए धनात्मकता समस्या (Positivity Problem) प्रस्तुत करता है, जो रैखिक पुनरावर्तनों का एक सामान्यीकरण है, और अनंत श्रेणियों के लिए एक नवीन अपरिमेयता परिणाम (transcendence result) द्वारा समर्थित क्रम-दो (order-two) मामलों के लिए एक निर्णय प्रक्रिया प्रस्तुत करता है।
यह शोध पत्र रोबस्टनेस-आधारित सिमेंटिक्स को परिभाषित करके, बाउंडेड-रिस्पॉन्स फॉर्मुलों को कुशलतापूर्वक मॉनिटर करने योग्य पास्ट-टाइम फ्रैगमेंट में रूपांतरित करके, और बेंचमार्क मूल्यांकन के माध्यम से दृष्टिकोण की व्यावहारिकता को प्रदर्शित करके सिग्नल फर्स्ट-ऑर्डर लॉजिक (SFO) की ऑनलाइन क्वांटिटेटिव मॉनिटरिंग के लिए पहले सार्वजनिक रूप से उपलब्ध प्रोटोटाइप को प्रस्तुत करता है।
यह शोध पत्र यह सिद्ध करके कि केवल दो परतों वाले CRASP (और इस प्रकार सामान्य ट्रांसफॉर्मर) के लिए ऐसे बाउंड्स गैर-गणना योग्य (non-computable) हैं, CRASP के लिए कंप्यूट करने योग्य लेंथ जनरलाइजेशन बाउंड्स की खुली समस्या को हल करता है, और साथ ही CRASP के सकारात्मक अंश (positive fragment) और फिक्स्ड-प्रिसिजन ट्रांसफॉर्मर के लिए इष्टतम घातीय (exponential) बाउंड्स स्थापित करता है।
यह शोध पत्र लोकप्रिय वितरण वर्गों (distribution classes) के लिए ई-चरों (e-variables) के निर्माण हेतु ई-चर-सन्निकटता (e-variable-approximability) की विधि प्रस्तुत करता है और यह प्रदर्शित करता है कि कैसे ये निर्माण एल्गोरिदमिक सूचना सिद्धांत (Algorithmic Information Theory) से लेविन (Levin) की अवधारणा पर आधारित स्पष्ट रैंडमनेस परीक्षण (randomness tests) प्रदान करते हैं।
यह खंड स्टेफ़ानो बेराडी के करियर का उत्सव मनाने और प्रूफ़ थ्योरी (Proof Theory) तथा टाइप थ्योरी (Type Theory), विशेष रूप से कंस्ट्रक्टिव लॉजिक (constructive logic), डिपेंडेंट टाइप्स (dependent types) और साइक्लिक प्रूफ़्स (cyclic proofs) में हालिया प्रगति को उजागर करने के लिए उनके सहयोगियों और सह-लेखकों के निबंधों को संकलित करता है।
यह शोधपत्र द्विदिशात्मक टाइपिंग सिद्धांतों (bidirectional typing principles) का उपयोग करते हुए सिंपली-टाइप्ड लैम्ब्डा-कैलकुलस के लिए चुब्रिक (Čubrić) के प्रूफ-रेलेवेंट इंटरपोलेशन प्रमेय का एक नया प्रमाण प्रस्तुत करता है और रॉक (Rocq) प्रूफ असिस्टेंट में इसका औपचारिक रूप प्रदान करता है।
यह शोध पत्र "AI स्पेस फिजिक्स" (AI Space Physics) को प्रस्तुत करता है, जो एक विधात्मक अर्थविज्ञान ढांचा (constitutive semantics framework) है जो सत्ता-सतह विस्तार (authority-surface expansion) को एक प्रथम श्रेणी की सीमा घटना (first-class boundary event) के रूप में पुनर्वर्गीकृत करता है, जिसके लिए निरंतर, स्व-विस्तारित AI संस्थानों को नियंत्रित करने हेतु विशिष्ट साक्षी और मध्यस्थता प्रोटोकॉल की आवश्यकता होती है।
यह शोध पत्र स्थानीय रूप से रंगीन ग्राफों (locally colored graphs) के लिए येओ के प्रमेय (Yeo's theorem) का सामान्यीकरण करते हुए, एक "कस्प मिनिमाइजेशन" (cusp minimization) लेम्मा का उपयोग करके, उनके अंतर्निहित ग्राफ संरचना को बदले बिना प्रूफ नेट्स (proof nets) से स्प्लिटिंग वर्टिसिस (splitting vertices) निकालने और सीक्वेंट कैलकुलस (sequent calculus) व्युत्पत्तियों को पुनः प्राप्त करने के माध्यम से लीनियर लॉजिक में अनुक्रमिकरण (sequentialization) के लिए एक मॉड्यूलर दृष्टिकोण प्रस्तुत करता है।
यह शोध पत्र 'होमोटॉपी टाइप थ्योरी' का उपयोग करके "पॉलीनोमियल यूनिवर्स" को अनिवेलेंट संरचनाओं के रूप में परिभाषित करते हुए, जो स्वाभाविक रूप से उच्च सुसंगतता (higher coherences) को संतुष्ट करते हैं और नेचुरल मॉडल्स के सिद्धांत को सरल बनाते हैं, पॉलीनोमियल फंक्टर्स की मानक श्रेणी के भीतर ही डिपेंडेंट टाइप थ्योरी के कैटेगोरिकल सिमेंटिक्स को स्वयंसिद्ध (axiomatize) करता है।
यह शोध पत्र टाइपिंग व्युत्पत्तियों (typing derivations) पर एक घटते माप (decreasing measure) के माध्यम से अपने चर्च-शैली समकक्ष के लिए गुण स्थापित करके और फिर पारस्परिक सिमुलेशन (mutual simulation) के माध्यम से परिणाम का विस्तार करके, इडेम्पोटेंट इंटरसेक्शन टाइप सिस्टम के स्ट्रॉन्ग नॉर्मलाइज़ेशन का एक नवीन सिंटैक्टिकल प्रमाण प्रस्तुत करता है।