1117 पेपर
यह शोध पत्र एक अनुशासन-अज्ञेय उद्भव कलन (डििसिप्लिन-अग्नोस्टिक इमर्जेंस कैलकुलस) प्रस्तुत करता है जो सीमित प्रेक्षणीय इंटरफेस पर इडेम्पोटेंट ऑपरेटरों के माध्यम से स्थिर "वस्तुओं" को उत्पन्न करने के लिए छह अपरिहार्य मूल तत्वों की पहचान करता है, जबकि साथ ही कोर्स-ग्रेनिंग के तहत समय विषमता की एकतुल्यता और परिभाषित विधेयकों की घातीय दुर्लभता के माध्यम से एक एंटी-सैचुरेशन तंत्र को भी स्थापित करता है।
यह शोध पत्र AMBER को प्रस्तुत करता है, जो अनुप्रयुक्त गणित के लिए एक नया Lean 4 बेंचमार्क है जो सत्यापन से पहले स्पष्ट समाधानों के निर्माण पर जोर देता है, जिससे यह पता चलता है कि सामान्य-उद्देश्य वाले रीजनिंग मॉडल विशिष्ट थ्योरम प्रूवर्स (theorem provers) से बेहतर प्रदर्शन करते हैं क्योंकि बाद वाले में "टैक्टिकल ओवरफिटिंग" (tactical overfitting) की प्रवृत्ति होती है जो जटिल निर्देश पालन में बाधा डालती है।
यह शोधपत्र क्यूबिकल टाइप थ्योरी (cubical type theory) की तकनीकों को अनुकूलित करके सिमपलीशियल टाइप थ्योरी (simplicial type theory) के भीतर -कैटेगरीज की -कैटेगरी का निर्माण करता है, जिससे स्ट्रेटनिंग-अनस्ट्रेटनिंग (straightening–unstraightening) प्रमेय का विशुद्ध रूप से टाइप-थ्योरेटिक प्रमाण सक्षम होता है और स्ट्रक्चर होमोमोर्फिज्म सिद्धांत (structure homomorphism principle) के नए अनुप्रयोगों का प्रदर्शन होता है।
यह शोध पत्र कुछ सौम्य शर्तों के तहत परिमित रूप से बाध्य (finitely bounded) सजातीय संरचनाओं (homogeneous structures) के प्रथम-क्रम रिडक्ट्स (first-order reducts) के लिए pp-bi-interpretability की निर्णयक्षमता (decidability) स्थापित करता है और यह सिद्ध करता है कि यह तुल्यता संबंध (equivalence relation) बिना बीजगणितीयता (without algebraicity) वाले अनुक्रमिक (transitive) -categorical संरचनाओं के लिए सुगम (smooth) है, जबकि साथ ही मॉडल-पूर्ण कोर (model-complete cores) की गणना करने के लिए एक रचनात्मक विधि भी प्रदान करता है।
यह शोध पत्र मुक्त मोनॉइड्स की तार्किक सीमाओं को संबोधित करने के लिए मनमाने परिवेशी मोनॉइड्स पर स्ट्रिंग रीराइटिंग के एक एब्स्ट्रैक्शन के रूप में मोनॉइडल रीराइटिंग सिस्टम्स (MRS) को प्रस्तुत करता है, और नोएथेरियन कॉन्फ्लुएंट (Noetherian Confluent) MRS के 2-कैटगरी और मोनॉइड्स की श्रेणी के बीच एक कैनोनिकल बाइएडजंक्शन (canonical biadjunction) स्थापित करता है तथा जेनरालाइज्ड एलीमेंट्री टिएटज़ ट्रांसफॉर्मेशन (Generalized Elementary Tietze Transformations) के माध्यम से एक निश्चित मोनॉइड प्रस्तुत करने वाले सभी ऐसे सिस्टम्स का वर्गीकरण करता है।
यह शोध पत्र मानक म्यूटेक्स (mutexes) के लिए सेपरेशन लॉजिक स्पेसिफिकेशन्स को रिकर्सिव म्यूटेक्स (recursive mutexes) तक विस्तारित करता है, जो इस आधार पर एक ही थ्रेड द्वारा कई अधिग्रहणों (acquisitions) और रिलीजों (releases) के लिए समान उपचार प्रदान करता है कि क्लाइंट लॉक को धारण करता है या नहीं।
यह शोध पत्र आंशिक रूप से क्रमबद्ध ढांचों (partially ordered frames) का उपयोग करते हुए पूर्ण पूर्ण वितरक अर्ध-संबंध बीजगणितों (complete perfect distributive quasi relation algebras) और DInFL-बीजगणितों के लिए द्वैतता स्थापित करता है, इन परिणामों को प्रिएस्टली टोपोलॉजी (Priestley topology) वाले द्वि-बिंदित ढांचों (doubly-pointed frames) के माध्यम से सभी बीजगणितों तक विस्तारित करता है, और बाइनरी संबंधों के जालों (lattices of binary relations) के रूप में उनकी प्रतिनिधित्व क्षमता की जांच करता है, जिसमें आकार छह तक के बीजगणितों का विस्तृत विश्लेषण शामिल है।
यह शोध पत्र सेमी-कंपिटिटिव डिफरेंशियल गेम लॉजिक (dGLsc) प्रस्तुत करता है, जो एक सुदृढ़ और अपेक्षाकृत पूर्ण प्रमाण कैलकुलस वाला एक औपचारिक ढांचा है, जिसे उन सुरक्षा-महत्वपूर्ण हाइब्रिड सिस्टम को सत्यापित करने के लिए डिज़ाइन किया गया है जहाँ दो एजेंट सहयोग और प्रतिस्पर्धा के मिश्रण के माध्यम से व्यक्तिगत, संभावित रूप से ओवरलैपिंग लक्ष्यों का पीछा करते हैं, जिससे पारंपरिक ज़ीरो-सम धारणाओं की अत्यधिक रूढ़िवादी सीमाओं पर विजय प्राप्त होती है।
यह शोध पत्र सिग्नल डाइस सिमिलरिटी कोएफिशिएंट (SDSC) प्रस्तुत करता है, जो डाइस सिमिलरिटी कोएफिशिएंट से व्युत्पन्न एक संरचना-जागरूक मीट्रिक है जो संरचनात्मक सहमति को मात्रात्मक रूप से मापकर टाइम सीरीज़ सेल्फ-सुपरवाइज्ड लर्निंग में पारंपरिक दूरी-आधारित उद्देश्यों की सीमाओं को दूर करता है, जिससे पूर्वानुमान और वर्गीकरण कार्यों में सिमेंटिक रिप्रजेंटेशन की गुणवत्ता और प्रदर्शन में वृद्धि होती है।
यह शोध पत्र विभिन्न मॉडल वर्गों में मोडल फिक्स्डपॉइंट फॉर्मुला के लिए मोडल सेपरेबिलिटी और डेफिनिबिलिटी की कम्प्यूटेशनल जटिलता और डैसिडेबिलिटी (decidability) की जांच करता है, जो PSpace, ExpTime और TwoExpTime पूर्णता परिणाम स्थापित करते हुए बाउंडेड आउटडिग्री मॉडल्स के अद्वितीय व्यवहार को उजागर करता है जहाँ क्रेग इंटरपोलेशन विफल हो जाता है और प्रभावी सेपरेटर्स के निर्माण के लिए एल्गोरिदम प्रदान करता है।