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

कल्पना कीजिए कि आप विभिन्न प्रकार के "संबंधों" (relationships) के एक विशाल पुस्तकालय को व्यवस्थित करने की कोशिश कर रहे हैं। गणित और कंप्यूटर विज्ञान में, इन संबंधों को कैटेगरी (categories) नामक संरचनाओं का उपयोग करके मॉडल किया जाता है। कुछ श्रेणियाँ ऐसी होती हैं जो निश्चित और पूर्ण चीजों का वर्णन करती हैं (जैसे एक सटीक मानचित्र), जबकि अन्य आंशिक, संभाव्य या अव्यवस्थित चीजों का वर्णन करती हैं (जैसे एक कच्चा नक्शा या एक अनुमान)।

यह शोध पत्र, जिसका शीर्षक "Between Markov and restriction" है, एक ऐसे लाइब्रेरियन की तरह है जिसने अभी-अभी इन 'रिलेशनशिप बुक्स' को रखने के लिए दो नए, बहुत विशिष्ट शेल्फ खोजे हैं। ये नए शेल्फ दो मौजूदा, सुप्रसिद्ध अनुभागों के ठीक बीच में स्थित हैं: मार्कोव (Markov) अनुभाग (जो प्रायिकता और संभावना से संबंधित है) और रेस्ट्रिक्शन (Restriction) अनुभाग (जो आंशिक या अपूर्ण जानकारी से संबंधित है)।

यहाँ इस शोध पत्र के मुख्य विचारों का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. व्यापक चित्र: "संबंधों" का पुस्तकालय

एक सिमेट्रिक मोनॉइडल कैटेगरी (Symmetric Monoidal Category) को एक विशाल गोदाम के रूप में सोचें जहाँ आप चीजों को मिला सकते हैं (जैसे सामग्री मिलाना) और उनकी प्रतियां बना सकते हैं (जैसे दस्तावेज़ की फोटोकॉपी करना)।

• मार्कोव कैटेगरीज़ (Markov Categories) ऐसे गोदाम हैं जहाँ आपके द्वारा निकाली गई हर वस्तु "पूर्ण" और "संपूर्ण" होने की गारंटी देती है। कुछ भी गायब नहीं है। यह प्रायिकता (probability) के लिए बेहतरीन है।
• कार्टेशियन रेस्ट्रिक्शन कैटेगरीज़ (Cartesian Restriction Categories) ऐसे गोदाम हैं जहाँ वस्तुएं "टूटी हुई" या "अपूर्ण" हो सकती हैं। आपके पास एक ऐसा फंक्शन हो सकता है जो केवल कुछ इनपुट्स पर काम करता है, सभी पर नहीं। यह आंशिक कार्यों (partial functions) के लिए बेहतरीन है।

लेखकों ने पहले एक मानचित्र (वर्गीकरण) बनाया था जो दिखाता है कि ये विभिन्न गोदाम एक-दूसरे से कैसे संबंधित हैं। इस नए शोध पत्र में, उन्होंने पाया कि वास्तव में दो नए प्रकार के गोदाम हैं जो "पूर्ण" और "टूटे हुए" वाले खंडों के ठीक बीच में स्थित हैं।

2. दो नई अवधारणाएँ: "मास" (Mass) और "डोमेन" (Domain)

लेखक इन श्रेणियों में एक तीर (arrow - एक संबंध या प्रक्रिया) को मापने के दो नए तरीके पेश करते हैं।

• मास (Mass - भार/द्रव्यमान):
  कल्पना कीजिए कि आप एक पैकेज शिप कर रहे हैं। एक तीर का मास गोदाम से बाहर निकलते समय पैकेज के कुल वजन की जांच करने जैसा है।

  • एक मास कैटेगरी में, नियम यह है: "यदि आप प्रक्रिया से गुजरने के बाद पैकेज के वजन की जांच करते हैं, तो यह वजन जांचने के समान ही है जो प्रक्रिया से गुजरने से पहले किया गया था, बशर्ते आप गंतव्य के विवरणों को अनदेखा कर दें।"
  • यह कहने का एक तरीका है कि प्रक्रिया जादुई रूप से "चीजें" (प्रोबेबिलिटी मास) पैदा नहीं करती या नष्ट नहीं करती है।

• डोमेन (Domain - क्षेत्र):
  कल्पना कीजिए कि एक स्टैम्प (मोहर) जो केवल कागज के कुछ हिस्सों पर काम करती है। डोमेन वह विशिष्ट क्षेत्र है जहाँ स्टैम्प वास्तव में निशान छोड़ती है।

  • एक डोमेन कैटेगरी में, नियम यह है: "यदि आप उस क्षेत्र को देखते हैं जहाँ स्टैम्प काम करती है, और फिर उस स्टैम्प को प्रक्रिया के माध्यम से चलाते हैं, तो आपको वही परिणाम मिलता है जो केवल स्टैम्प चलाने से मिलता।"
  • यह "आंशिक कार्यों" के विचार का एक सामान्यीकरण है। यह सुनिश्चित करता है कि यदि कोई प्रक्रिया किसी विशिष्ट इनपुट के लिए परिभाषित है, तो वह सुसंगत व्यवहार करती है।

3. खोज: एक नया मध्य मार्ग

लेखकों ने महसूस किया कि आपको पूरी तरह से "मार्कोव" (पूरी तरह से पूर्ण) या पूरी तरह से "रेस्ट्रिक्शन" (पूरी तरह से आंशिक) होने की आवश्यकता नहीं है ताकि एक उपयोगी प्रणाली बनाई जा सके।

• आपके पास एक ऐसी प्रणाली हो सकती है जो मास का सम्मान करती है लेकिन आवश्यक रूप से पूरी तरह से मार्कोव नहीं है।
• आपके पास एक ऐसी प्रणाली हो सकती है जो डोमेन का सम्मान करती है लेकिन आवश्यक रूप से पूरी तरह से रेस्ट्रिक्शन नहीं है।

उन्होंने सिद्ध किया कि प्रसिद्ध मार्कोव कैटेगरीज़ वास्तव में इन दो नए प्रकार की श्रेणियों का प्रतिच्छेदन (intersection) हैं: एक कैटेगरी मार्कोव है यदि और केवल यदि वह एक मास कैटेगरी और एक "वीकली मार्कोव" (एक विशिष्ट प्रकार की मास कैटेगरी) दोनों है। यह कहने जैसा है कि एक "परफेक्ट स्क्वायर" वह आकार है जो एक "परफेक्ट रेक्टेंगल" और एक "परफेक्ट रोंबस" दोनों है।

4. "लिफ्ट" तंत्र: क्लेस्किली कैटेगरीज़ (Kleisli Categories)

कंप्यूटर विज्ञान में, एक उपकरण होता है जिसे मोनैड (Monad) कहा जाता है (इसे एक मशीन के रूप में सोचें जो डेटा को एक विशेष कंटेनर में लपेटती है, जैसे एक बॉक्स में)। जब आप एक कैटेगरी को एक मोनैड के माध्यम से लागू करते हैं, तो आपको एक नई कैटेगरी प्राप्त होती है जिसे क्लेस्किली कैटेगरी (Kleisli Category) कहा जाता है।

लेखक पूछते हैं: यदि मैं एक "डोमेन" या "मास" कैटेगरी से शुरू करता हूँ, और इसे एक मशीन (मोनैड) के माध्यम से गुजारता हूँ, तो क्या नई कैटेगरी उन गुणों को बनाए रखती है?

• उत्तर: हाँ, लेकिन केवल तभी जब मशीन (मोनैड) सही ढंग से बनाई गई हो।
• उन्होंने "डोमेन-संरक्षण करने वाले" (Domain-preserving) और "मास-संरक्षण करने वाले" (Mass-preserving) मशीनों को परिभाषित किया। यदि मशीन "डोमेन" या "मास" नियमों का सम्मान करने के लिए बनाई गई है, तो दूसरी ओर से आने वाली नई कैटेगरी भी उन नियमों का सम्मान करेगी।
• यह एक बड़ी बात है क्योंकि यह शोधकर्ताओं को जटिल संभाव्य या आंशिक प्रणालियों को बनाने की अनुमति देता है, जबकि वे यह जानते हुए कि कौन से नियम (axioms) अभी भी लागू रहेंगे।

5. वास्तविक दुनिया के उदाहरण (केस स्टडीज)

अपने सिद्धांत को सिद्ध करने के लिए, लेखकों ने दो ठोस उदाहरणों को देखा:

1. सेमिरिंग-वेटेड रिलेशंस (Semiring-Weighted Relations): कल्पना कीजिए कि एक प्रणाली जहाँ संबंध केवल "हाँ/नहीं" (जैसे एक मानक मानचित्र) नहीं हैं, बल्कि उनके "भार" हैं (जैसे एक मानचित्र जहाँ सड़कों के ट्रैफिक स्कोर होते हैं)। उन्होंने दिखाया कि यदि इन भारों (जिसे "सेमिरिंग" कहा जाता है) के पीछे का गणित कुछ विशिष्ट गुणों (जैसे "इडम्पोटेंट", जहाँ $x + x = x$) को रखता है, तो परिणामी प्रणाली स्वतः ही एक डोमेन कैटेगरी बन जाती है। यह समझाता है कि क्यों कुछ फजी लॉजिक या प्रोबेबिलिटी सिस्टम इस तरह व्यवहार करते हैं।
2. पार्शियल मार्कोव कैटेगरीज़ (Partial Markov Categories): उन्होंने Partial(FinStoch) नामक एक प्रणाली को देखा, जो उन प्रायिकता वितरणों (probability distributions) से निपटती है जो शायद मौजूद न हों (आंशिकता)। उन्होंने अपने नए "डोमेन-संरक्षण करने वाले" उपकरणों का उपयोग करके यह सिद्ध किया कि यह प्रणाली वास्तव में एक डोमेन कैटेगरी है, जिससे एक तथ्य को सिद्ध करने के लिए एक नया और सरल प्रमाण मिला जो पहले कठिन था।

सारांश

सरल शब्दों में, यह शोध पत्र गणितीय तर्क के मानचित्र को परिष्कृत करने के बारे में है।

• लेखकों ने दो नए "पड़ोस" (मास और डोमेन कैटेगरीज़) खोजे जो "प्रायिकता" और "आंशिकता" के पड़ोस के बीच स्थित हैं।
• उन्होंने दिखाया कि कैसे ऐसी मशीनें (मोनैड्स) बनाई जा सकती हैं जो डेटा को इन पड़ोसों के बीच ले जा सकें बिना उस पड़ोस के नियमों को तोड़े।
• उन्होंने सिद्ध किया कि प्रसिद्ध "मार्कोव" पड़ोस वास्तव में इन दो नए पड़ोसों का ओवरलैप (overlap) है।

यह कंप्यूटर वैज्ञानिकों और गणितज्ञों को यह बेहतर ढंग से समझने में मदद करता है कि कोड और तर्क में अनिश्चितता, आंशिक जानकारी और संबंधों को मॉडल करने वाले संरचनात्मक नियमों को कैसे नियंत्रित किया जाता है।