💻 Category

cs.LO

1086 पेपर

🔢 mathematics

Between Markov and restriction. Two more monads on categories for relations

यह शोध पत्र "संबंधों के श्रेणियों" (categories for relations) के मौजूदा वर्गीकरण का विस्तार करते हुए, द्रव्यमान (mass) और डोमेन (domain) की अवधारणाओं द्वारा अभिलक्षित दो नई, अधिक अमूर्त gs-मोनॉयडल श्रेणियों को प्रस्तुत करता है, और यह प्रदर्शित करता है कि द्रव्यमान और डोमेन संरक्षित मोनाड्स (monads) स्वाभाविक रूप से सेमिरिंग-भारित संबंधों (semiring-weighted relations) के लिए क्लेस्ली श्रेणियों (Kleisli categories) के रूप में इन श्रेणियों को उत्पन्न करते हैं।

Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta2026-07-07
🔢 mathematics

Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes

यह शोध पत्र स्टेटफुल मोनॉइडल प्रोसेस (stateful monoidal processes) के लिए एक बाइकैटेगोरिकल सेमेंटिक्स (bicategorical semantics) प्रस्तुत करता है जो प्रणालियों को उनके आंतरिक अवस्थाओं के बजाय उनके परिमित प्रेक्षण संबंधी बाधाओं (finite observational constraints) के आधार पर समान बनाता है, फीडबैक श्रेणियों (feedback categories) के लिए एक फन्क्टरियल ढांचे (functorial framework) प्रदान करता है और एक कैटेगॉरिफाइड कॉम्पैक्टनेस प्रमेय (categorified compactness theorem) स्थापित करता है जो गैर-नियतात्मक (non-deterministic) और लीनियर टाइम-इनवेरिएंट (linear time-invariant) प्रणालियों सहित विविध प्रक्रिया प्रकारों को एकीकृत करता है।

Cole Comfort, Giovanni de Felice2026-07-07
⚛️ quantum physics

The Delayed Stabilizer ZX-Calculus

यह शोध पत्र डिलेड स्टेबलाइजर ZX-कैलकुलस (delayed stabilizer ZX-calculus) प्रस्तुत करता है, जो एक नए डिले जनरेटर, चैनलों के तुल्यता वर्गों (equivalence classes) और जनरेटिंग फंक्शन्स से जुड़े द्वैत अर्थों (dual semantics), और सामान्यीकृत यूलर अपघटन (generalized Euler decomposition) एवं स्थानीय पूरकता नियमों (local complementation rules) से व्युत्पन्न एक अद्वितीय सामान्य रूप के माध्यम से अनंत, अनुवाद-अपरिवर्तनीय (translation-invariant) स्टेबलाइजर क्वांटम प्रक्रियाओं को प्रदर्शित करने के लिए एक पूर्ण और सार्वभौमिक ग्राफिकल भाषा है।

Cole Comfort, Giovanni de Felice2026-07-07
🔢 mathematics

On Strong Structural Completeness of Varieties and Quasivarieties

यह शोध पत्र विविधताओं (varieties) और अर्ध-विविधताओं (quasivarieties) में सुदृढ़ संरचनात्मक पूर्णता (strong structural completeness) की जांच करता है, यह स्थापित करते हुए कि अनंत अपरिमेय बीजगणितीय संरचनाओं (infinite irreducible algebras) को समाहित करने वाली परिमित-जनित अर्ध-विविधताएं (finite-generated quasivarieties), जिनमें सर्वांगसमता विस्तार गुण (congruence extension property) होता है, इस गुण में विफल रहती हैं, जबकि टैबुलैरिटी (tabularity) की अवधारणा के माध्यम से सर्वांगसमता-वितरणात्मक (congruence-distributive) और मीट-अर्ध-वितरणात्मक (meet-semidistributive) परिवेशों में सुदृढ़ संरचनात्मक पूर्णता और सुदृढ़ मौलिकता (strong primitivity) का लक्षण वर्णन करता है।

Alex Citkin (Metropolitan Telecommunications, NewYork USA)2026-07-03
💬 NLP

ADVENT: LLM-Driven Automatic Predicate Invention for ILP

यह शोध पत्र ADVENT को प्रस्तुत करता है, जो एक LLM-संचालित फ्रेमवर्क है जो मानव-व्याख्या योग्य नियमों को बनाने और क्रॉस-टास्क ज्ञान पुन: उपयोग को सक्षम करने के लिए एबडक्टिव जनरेशन (abductive generation) को डिडक्टिव वेरिफिकेशन (deductive verification) के साथ जोड़कर इंडक्टिव लॉजिक प्रोग्रामिंग में प्रेडिकेट इन्वेंशन (predicate invention) को स्वचालित करता है, जिससे उन मामलों में सफलता दर में महत्वपूर्ण सुधार होता है जहाँ पारंपरिक ILP विधियाँ विफल रहती हैं।

Tingting Yu, Pei-Cing Huang, Chan Hsu, Chan-Tung Ku, Yihuang Kang2026-07-03
🔢 mathematics

Self-Referential KK-SAT and the Finite Analogue of Gödel's Incompleteness Theorem

यह शोधपत्र स्व-संदर्भित, अविभेद्य SAT/UNSAT युग्मों का निर्माण करके Boolean KK-SAT के भीतर गोडेल के अपूर्णता प्रमेयों का एक परिमित संयोजनपरक (combinatorial) अनुरूप स्थापित करता है, जो घातीय प्रमाण जटिलता (exponential proof complexity) को अनिवार्य बनाते हैं, जिससे स्ट्रॉन्ग एक्सपोनेंशियल टाइम हाइपोथीसिसिस (Strong Exponential Time Hypothesis) को स्थानीय निगमनात्मक प्रणालियों (local deductive systems) में निहित एक मौलिक सूचनात्मक अंध बिंदु (informational blind spot) के रूप में पुनर्गठित किया जाता है और शास्त्रीय एवं क्वांटम दोनों एल्गोरिदम के लिए कुशल समाधानों को रोकता है।

Wen Fang, Xianxian Li, Jun Liu, Jie Luo, Yongxin Tong, Ke Xu2026-07-03
🔢 mathematics

Conceptual completeness for subgeometric logics

यह शोध पत्र विभिन्न उप-ज्यामितीय तर्कशास्त्रों (subgeometric logics) के लिए वैचारिक पूर्णता (conceptual completeness) को सिद्धांतों और टोपोई (topoi) के बीच एक द्वैत के रूप में अभिलक्षणित करके स्थापित करता है, पूर्ण ज्यामितीय तर्कशास्त्र में उनके रूढ़िवादी समावेशन (conservative embedding) को प्रदर्शित करता है, और सेट-आधारित मॉडल पूर्णता धारणाओं के तहत मक्काई के पुनर्निर्माण प्रमेय (Makkai's reconstruction theorem) को पुनः प्राप्त करता है।

Ivan Di Liberti, Umberto Tarantino, Lingyuan Ye2026-07-03
💻 computer science

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)

यह शोध पत्र लाइटवेट स्ट्रैटेजी सैंपलिंग का उपयोग करते हुए मल्टी-ऑब्जेक्टिव पारेटो क्वेरीज़ के लिए पहले सांख्यिकीय मॉडल चेकिंग दृष्टिकोण को प्रस्तुत करता है, जिसमें एसिम्प्टोटिक कन्वर्जेंस के लिए एक इंक्रीमेंटल स्कीम और परिमित-समय सन्निकटन (फाइनाइट-टाइम एप्रोक्सिमेशन) के लिए ह्यूरिस्टिक विधियाँ शामिल हैं, जिन्हें मॉडस्ट टूलसेट (Modest Toolset) के भीतर कार्यान्वित और मान्य किया गया है।

Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft, Mark van Wijk2026-07-02
💻 computer science

Minimal and Canonical Quotients for Simulation Equivalences

यह शोध पत्र अद्वितीय प्रतिनिधियों और अवस्था-संक्रमण-न्यूनतम (state-transition-minimal) LTSs उत्पन्न करने के लिए अमूर्त प्रक्रियाओं को प्रस्तुत करते हुए, कैनोनिकल और मिनिमल कोटिएंट्स के परिणामों को वीक सिम्युलेशन इक्विवेलेंस (weak simulation equivalence) और कपल्ड सिमिलरिटी (coupled similarity) तक विस्तारित करता है, साथ ही यह भी सिद्ध करता है कि इन इक्विवेलेंस के लिए मिनिमाइजेशन समस्या NP-कम्प्लीट है।

Eduardo Costa Martins, Tim Willemse2026-07-02
💻 computer science

Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)

यह शोध पत्र सामान्य संभाव्यता वितरणों वाले स्टोकेस्टिक ऑटोमेटा के लिए रिफिनेबल इंटरवल एब्स्ट्रैक्शन को "बिग टाइम स्टेप्स" सिमेंटिक्स के साथ जोड़कर पहुंच संभाव्यता सीमाओं (reachability probability bounds) की गणना करने के लिए पहला सामान्य और प्रभावी मॉडल चेकिंग दृष्टिकोण प्रस्तुत करता है, जो मॉडस्ट (Modest) और जानी (Jani) औपचारिकताओं के विस्तार और एक रस्ट (Rust) प्रोटोटाइप कार्यान्वयन द्वारा समर्थित है।

Pedro R. D'Argenio, Arnd Hartmanns, Annabell Petri2026-07-02