From Copying to Corelations via Ancestry Partitions

तकनीकी सारांश: वंशावली विभाजन (Ancestry Partitions) के माध्यम से प्रतिलिपि (Copying) से सहसंबंध (Corelations) तक

1. समस्या और उद्देश्य

यह शोध पत्र एक न्यूनतम वाक्यात्मक मूल तत्व (minimal syntactic primitive)—एक सममित मोनॉइडल सेटिंग में एक एकल बाइनरी जनरेटर $\delta: 1 \to 2$—और परिमित सहसंबंधों (finite corelations) की संरचनात्मक जटिलता (जिसे $\text{FinCorel}$ PROP द्वारा दर्शाया गया है) के बीच श्रेणीगत संबंध की जांच करता है।

केंद्रीय समस्या यह समझना है कि किसी मॉर्फिज्म की "वंशावली" (ancestry)—अर्थात उसके अंतर्निहित ग्राफ की संबद्धता (connectivity)—उसके बीजगणितीय गुणों को कैसे निर्धारित करती है। लेखक एक विशुद्ध रूप से वाक्यात्मक, मुक्त निर्माण ($\text{Syn}(\delta)$) और कस्पैन श्रेणियों (cospan categories) तथा फ्रोबेनियस बीजगणित (Frobenius algebras) में पाए जाने वाले समृद्ध, अर्थपूर्ण संरचनाओं के बीच के अंतर को पाटने का प्रयास करते हैं।

2. कार्यप्रणाली (Methodology)

लेखक एक बहु-चरणीय श्रेणीगत निर्माण का उपयोग करते हैं, जो निम्नलिखित चरणों के माध्यम से वाक्यात्मकता (syntax) से अर्थशास्त्र (semantics) की ओर बढ़ता है:

• वाक्यात्मक निर्माण (Syntactic Construction): मॉर्फिज्म को दर्शाने के लिए निर्देशित अचक्रीय ग्राफ़ (directed acyclic graphs - DAGs) का उपयोग करके मुक्त PROP $\text{Syn}(\delta)$ को परिभाषित करना।
• वंशावली फलन (Ancestry Functor): एक फलन $\Pi: \text{Syn}(\delta) \to \text{FinCorel}$ को परिभाषित करना जो अपने अंतर्निहित अनडिरेक्टेड ग्राफ के संबद्ध घटकों (connected components) के आधार पर एक ग्राफ को एक तुल्यता संबंध (equivalence relation) यानी "वंशावली विभाजन" (ancestry partition) में मैप करता है।
• भागफल (Quotienting): उन मॉर्फिज्मों को पहचानने के लिए $\text{Syn}(\delta)$ पर एक कर्नेल कॉंग्रुएंस (kernel congruence) लागू करना जो "वंशावली-तुल्य" (ancestry-equivalent) हैं, जिसके परिणामस्वरूप वंशावली भागफल $\text{AncQ}$ प्राप्त होता है।
• साक्षात्कार और परिवहन (Realization and Transport): कस्पैन श्रेणियों (cospan categories) और ग्लूइंग होस्ट्स (gluing hosts) के सिद्धांत (Fong–Spivak के अनुसरण में) का उपयोग यह दिखाने के लिए करना कि कैसे बीजगणितीय संरचनाएं (जैसे फ्रोबेनियस बीजगणित) स्वाभाविक रूप से पुशआउट-शैली के ग्लूइंग (pushout-style gluing) द्वारा प्रेरित होती हैं और एक आधार श्रेणी से साक्षात्कार (realization) तक परिवहन की जा सकती हैं।
• अर्थपूर्ण पूर्णता (Semantic Completion): परिणामी संरचनाओं के लिए एक तार्किक वातावरण (predicates, modalities, और fixed points) प्रदान करने हेतु योनडा एनवेलप (Yoneda envelope) और $\infty$-topoi के सिद्धांत (Lurie के अनुसरण में) का उपयोग करना।

3. मुख्य योगदान और परिणाम

A. वंशावली भागफल (The Ancestry Quotient) (Theorem 1.1 / 2.16)
शोध पत्र का प्राथमिक मौलिक परिणाम वंशावली फलन के प्रतिबिंब (image) की पहचान करना है।

• $\Pi$ का प्रतिबिंब $\text{FinCorel}$ का एक उचित उप-PROP ($\text{FinCorel}^\circ$) है, जिसमें प्रत्येक तुल्यता वर्ग (equivalence class) में ठीक एक इनपुट और कम से कम एक आउटपुट होता है।
• लेखक सिद्ध करते हैं कि भागफल $\text{AncQ} := \text{Syn}(\delta) / \ker(\Pi)$ $\text{Cocom}$ के तुल्य है, जो गैर-कौंटल (non-counital) कोकम्यूटेटिव कोमोनॉइड्स का PROP है। यह स्थापित करता है कि एक बाइनरी जनरेटर की "संबद्धता" (connectivity) कोकम्यूटेटिव को-एसोसिएटिव को-मल्टीप्लिकेशन की संरचना को पुनः प्राप्त करने के लिए पर्याप्त है।

B. कस्पैन साक्षात्कार और पतन (Cospan Realization and Collapse) (Theorem 1.3 / 3.12)
शोध पत्र वाक्यात्मक परिणामों को कस्पैन श्रेणियों के व्यापक ढांचे से जोड़ता है:

• यह पुष्टि करता है कि $\text{Cospan}(\text{FinSet})$ पर वंशावली फलन $\bar{\Pi}$, श्रेणी को $\text{FinCorel}$ में पतनशील (collapse) बना देता है।
• इस भागफल को $\text{ESCFM}$ (एक्स्ट्रास्पेशल कम्यूटेटिव फ्रोबेनियस मोनॉइड्स का PROP) के रूप में पहचाना गया है, जो प्रभावी रूप से यह दिखाता है कि जब हम एक एकल जनरेटर से ऐसी श्रेणी की ओर बढ़ते हैं जो पुशआउट्स में सक्षम है, तो "अतिरिक्त" नियम (unit, counit, multiplication) कैसे उभरते हैं।

C. फ्रोबेनियस परिवहन (Frobenius Transport) (Corollary 1.4)
लेखक सिद्ध करते हैं कि किसी भी "ग्लूइंग होस्ट" (एक सममित मोनॉइडल श्रेणी जो कस्पान-शैली के ग्लूइंग का साक्षात्कार करती है) में, आधार वस्तु (base object) पर कैनोनिकल स्पेशल कम्यूटेटिव फ्रोबेनियस अलजेब्रा (SCFA) संरचना को अद्वितीय रूप से और स्वचालित रूप से सीमा वस्तुओं (boundary objects) तक परिवहन किया जाता है।

D. अर्थपूर्ण आवरण (The Semantic Envelope) (Proposition 1.5)
शोध पत्र स्थापित करता है कि योनडा एनवेलप $W = \text{Fun}(\text{FinCorel}^{op}, \text{Spc})$ एक प्रेशेफ $\infty$-टोपोस (presheaf $\infty$-topos) है। यह सुनिश्चित करता है कि वातावरण "तार्किक रूप से पूर्ण" है, जिसका अर्थ है कि यह समर्थन करता है:

• उप-वस्तुओं (subobjects) का एक पूर्ण हेयटिंग बीजगणित (Heyting algebra) (विधेय/predicates)।
• रिलेशनल मोडैलिटीज ($\Diamond, \Box$)।
• Knaster–Tarski प्रमेय के माध्यम से न्यूनतम और उच्चतम स्थिर बिंदु (least and greatest fixed points) का अस्तित्व।

4. महत्व

यह शोध पत्र ग्राफ थ्योरी (वंशावली/संबद्धता) और उच्च श्रेणीगत बीजगणित (फ्रोबेनियस मोनॉइड्स और $\infty$-topoi) के बीच एक कठोर गणितीय सेतु प्रदान करता है।

यह दिखाकर कि एक एकल बाइनियल ऑपरेशन $\delta$ वंशावली के लेंस के माध्यम से संपूर्ण कोकम्यूटेटिव कोमोनॉइड्स की संरचना उत्पन्न कर सकता है, लेखक डायग्रामेटिक रीजनिंग, हाइपरग्राफ श्रेणियों और क्वांटम सूचना सिद्धांत में उपयोग की जाने वाली बीजगणितीय संरचनाओं का एक मौलिक "बॉटम-अप" व्युत्पत्ति प्रदान करते हैं। इसके अतिरिक्त, इन परिणामों को प्रेशेफ $\infty$-टोपोस के भीतर रखकर, यह कार्य कोरलेशन पर आंतरिक तर्क (internal logic) और फिक्स्ड-पॉइंट सिमेंटिक्स (fixed-point semantics) करने के लिए एक औपचारिक अर्थपूर्ण आधार प्रदान करता है।