🔢 mathematics

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction

यह शोधपत्र एक सार्वभौमिक अनंत टेंसर उत्पाद निर्माण प्रस्तुत करता है जो विविक्त संभाव्यता श्रेणियों, विशेष रूप से $\mathsf{FinStoch}$ को एक ऐसे ढांचे तक विस्तारित करता है जो कैंटर स्पेस (Cantor space) पर स्थानीय रूप से स्थिर मार्कोव कर्नेल के माध्यम से वास्तविक संख्याओं सहित निरंतर संभाव्यता मापों के बारे में स्वयंसिद्ध रूप से तर्क करने में सक्षम है।

मूल लेखक: Antonio Lorenzin, Fabio Zanasi

प्रकाशित 2026-06-26

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Antonio Lorenzin, Fabio Zanasi

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप मौसम का वर्णन करने की कोशिश कर रहे हैं। आप एक सिक्के के उछाल (चित या पट) या पासे के फेंकने (1 से 6 तक) का वर्णन आसानी से कर सकते हैं। ये डिस्क्रीट (discrete) घटनाएँ हैं—गणने योग्य, सीमित, और कागज पर लिखने में आसान। गणित की दुनिया में, यह विकल्पों के एक सीमित सेट के साथ काम करने जैसा है।

लेकिन क्या होगा यदि आप तापमान का वर्णन करना चाहते हैं? यह कोई भी संख्या हो सकती है: 20.1, 20.15, 20.153... यहाँ अनंत संभावनाएँ हैं। यह कंटीन्यूअस (continuous) प्रायिकता (probability) है। लंबे समय से, गणितज्ञ इन अनंत, निरंतर चीजों को उन्हीं उपकरणों का उपयोग करके वर्णित करने के लिए एक सरल, नियम-आधारित भाषा (जैसे कि व्याकरण) बनाने के लिए संघर्ष कर रहे हैं जिनका उपयोग वे सीमित चीजों के लिए करते हैं।

यह शोध पत्र, एंटोनियो लोरेन्ज़िन और फैबियो ज़नासी द्वारा, इस अंतर को पाटने के लिए एक चतुर नए तरीके का प्रस्ताव करता है। यहाँ मुख्य विचार है, जिसे सरल अवधारणाओं में विभाजित किया गया है:

1. समस्या: "अनंतता" की दीवार

डिस्क्रीट प्रायिकता (जैसे सिक्का उछालना) को LEGO ब्रिक्स से निर्माण करने के रूप में सोचें। आपके पास सीमित संख्या में ईंटें हैं, और आप उन्हें विशिष्ट तरीकों से एक साथ जोड़ सकते हैं। गणितज्ञों ने पहले ही यह समझ लिया है कि ये ईंटें एक साथ कैसे जुड़ती हैं (अक्सिओम्स/axioms)।

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

2. समाधान: "अनंत स्टैक" (Infinite Tensor Products)

लेखक एक सार्वभौमिक निर्माण पेश करते हैं जिसे वे इनफिनिट टेंसर प्रोडक्ट्स (Infinite Tensor Products) कहते हैं।

कल्पना कीजिए कि आपके पास एक एकल LEGO ब्रिक है जो एक सिक्के के उछाल (चित/पट) का प्रतिनिधित्व करती है।

यदि आप दो ईंटों को स्टैक करते हैं, तो आपको 4 संभावनाएँ मिलती हैं (HH, HT, TH, TT)।
यदि आप तीन को स्टैक करते हैं, तो आपको 8 संभावनाएँ मिलती हैं।
यदि आप उन्हें अनंत तक स्टैक करते हैं, तो आप एक ऐसी संरचना बनाते हैं जो सिक्कों के उछाल के एक अनंत अनुक्रम (sequence) का प्रतिनिधित्व करती है।

वास्तविक दुनिया में, सिक्कों के उछाल का एक अनंत अनुक्रम (0 और 1) वास्तव में किसी भी वास्तविक संख्या (जैसे तापमान या माप) का प्रतिनिधित्व कर सकता है। यह एक प्रसिद्ध गणितीय युक्ति है जिसे कोलमोगोरोव एक्सटेंशन थ्योरम (Kolmogorov extension theorem) कहा जाता है।

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

3. "प्लेट" नोटेशन: चित्र बनाने का एक नया तरीका

इसे काम करने के लिए, लेखक स्ट्रिंग डायग्राम्स (String Diagrams) और एक नए उपकरण जिसे प्लेट नोटेशन (Plate Notation) कहा जाता है, का उपयोग करते हुए एक दृश्य भाषा पेश करते हैं।

स्ट्रिंग डायग्राम्स: इन्हें प्रायिकता के सर्किट आरेख के रूप में सोचें। लंबे समीकरण लिखने के बजाय, आप बॉक्स और तार खींचते हैं। एक तार एक रैंडम वेरिएबल (यादृच्छिक चर) का प्रतिनिधित्व करता है; एक बॉक्स एक प्रक्रिया (जैसे सिक्का उछालना) का प्रतिनिधित्व करता है।
द प्लेट (The Plate): अतीत में, यदि आप किसी प्रक्रिया को 10 बार होने का चित्रण करना चाहते थे, तो आपको 10 बॉक्स बनाने पड़ते थे। यदि आप इसे अनंत बार होते हुए दिखाना चाहते थे, तो आप इसे चित्रित नहीं कर सकते थे।
- लेखक एक "प्लेट" (एक बॉक्स जिसके चारों ओर दोहरी रेखा है) पेश करते हैं। इसे एक स्टेंसिल या टेम्प्लेट के रूप में सोचें।
- अनंत स्टैक को चित्रित करने के बजाय, आप प्लेट के भीतर एक बॉक्स खींचते हैं। प्लेट पाठक को बताती है: "यह प्रक्रिया अनंत बार दोहराई जाती है।"
- यह उन्हें अपने सीमित प्रतीकों का उपयोग करके अनंत प्रक्रियाओं के लिए नियम (अक्सिओम्स) लिखने की अनुमति देता है।

4. परिणाम: "लोकल कॉन्स्टेंट" नियम

जब उन्होंने इस मशीन को परिमित सेटों (FinStoch) की श्रेणी पर लागू किया, तो उन्होंने कुछ सुंदर खोजा। परिणामी श्रेणी, जो अनंत प्रक्रियाओं की है, "लोकल कॉन्स्टेंट मार्कोव कर्नेल" (Locally Constant Markov Kernels) से बनी है।

यहाँ इसका अर्थ समझने के लिए एक रूपक है:
कल्पना कीजिए कि आप शहर के एक विशाल, उच्च-रिज़ॉल्यूशन वाले डिजिटल मानचित्र को देख रहे हैं (निरंतर दुनिया)।

एक मानक मानचित्र हर पिक्सेल पर रंग बदल सकता है।
एक लोकल कॉन्स्टेंट मानचित्र एक कम-रिज़ॉल्यूशन वाले संस्करण की तरह है जहाँ, यदि आप एक छोटे से पड़ोस में ज़ूम करते हैं, तो उस पड़ोस में हर जगह रंग एक जैसा रहता है। यह पिक्सेल-दर-पिक्सेल नहीं बदलता; यह "चंक्स" (chunks) में बदलता है।

लेखक दिखाते हैं कि भले ही वास्तविक दुनिया निरंतर और चिकनी है, फिर भी आप वास्तविक संख्याओं (जैसे जनसंख्या में ऊँचाई का वितरण) पर सभी प्रायिकता मापों का वर्णन इन "चंकी", स्थानीय रूप से स्थिर नियमों का उपयोग करके कर सकते हैं जो सीमित सेटों से प्राप्त होते हैं।

5. यह क्यों महत्वपूर्ण है

शोध पत्र एक विशिष्ट पहेली को हल करने का दावा करता है:

सार्वभौमिक निर्माण (Universal Construction): उन्होंने एक उपकरण बनाया जो किसी भी परिमित प्रायिकता प्रणाली को अनंत प्रणाली में बदल देता है।
अक्सिओमैटिक शक्ति (Axiomatic Power): उन्होंने दिखाया कि आप इन अनंत प्रणालियों को नियंत्रित करने वाले सरल नियम (समीकरण) लिख सकते हैं, ठीक वैसे ही जैसे आप परिमित प्रणालियों के लिए करते हैं।
पूर्णता (Completeness): उन्होंने सिद्ध किया कि यह नई प्रणाली वास्तविक संख्याओं पर किसी भी प्रायिकता माप (जैसे कैंटर स्पेस, जो इस संदर्भ में वास्तविक रेखा के गणितीय रूप से समकक्ष है) का वर्णन करने के लिए "पर्याप्त समृद्ध" है।

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

तकनीकी सारांश: अनंत टेंसर उत्पादों के माध्यम से विविक्त (Discrete) से सतत (Continuous) की ओर दृष्टिकोण

समस्या विवरण
कैटेगोरिकल प्रोबेबिलिटी (Categorical probability) में हालिया प्रगति ने स्ट्रिंग डायग्राममैटिक कैलकुलस (string diagrammatic calculi) का उपयोग करके विविक्त संभावabilistic प्रक्रियाओं (जैसे कि परिमित समुच्चय और स्टोकेस्टिक मैट्रिसेस) और गॉसियन प्रक्रियाओं (Gaussian processes) को सफलतापूर्वक स्वयंसिद्ध (axiomatize) किया है। हालाँकि, सामान्य सतत संभाव्यता (continuous probability), जैसे कि $\mathbf{BorelStoch}$ (मानक बोरेल स्पेस और मार्कोव कर्नेल) जैसी श्रेणियों के स्वयंसिद्धिकरण में एक महत्वपूर्ण अंतराल बना हुआ है। मुख्य कठिनाई मौजूदा ढांचे के भीतर, जो आमतौर पर परिमित जनरेटर (finite generators) और समीकरणों पर निर्भर करता है, अनंत व्यवहार को बीजगणितीय रूप से एनकोड करने में निहित है। जबकि कोलमोगोरोव एक्सटेंशन थ्योरम (Kolmogorov extension theorem) यह सुझाव देता है कि सतत मापों (continuous measures) को विविक्त संरचनाओं के सीमा (limits) के रूप में देखा जा सकता है, अनंत टेंसर उत्पादों के माध्यम से विविक्त परिवेश से सतत परिवेश को जोड़ने वाले एक कठोर कैटेगोरिकल निर्माण का अभाव रहा है।

कार्यप्रणाली (Methodology)
लेखक एक सार्वभौमिक निर्माण (universal construction) प्रस्तावित करते हैं जो एक दिए गए सेमीकार्टेशियन श्रेणी (semicartesian category) $\mathcal{C}$ में अनंत टेंसर उत्पादों को जोड़ता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

सार्वभौमिक निर्माण (Universal Construction): शोध पत्र में एक श्रेणी $\mathcal{C}^{\otimes\infty}$ को परिभाषित किया गया है जिसे एक सेमीकार्टियन श्रेणी $\mathcal{C}$ में अनंत टेंसर उत्पादों को जोड़कर प्राप्त किया गया है। इसे एक सार्वभौमिक गुण के माध्यम से प्राप्त किया जाता है: $\mathcal{C}^{\otimes\infty}$ वह प्रारंभिक सेमीकार्टियन श्रेणी है जिसमें $\mathcal{C}$ से प्राप्त होने वाले अनंत टेंसर उत्पाद होते हैं।
ठोस प्रतिनिधित्व (Finite Approximation Families): $\mathcal{C}^{\otimes\infty}$ में मोर्फिज्म (morphisms) को सुलभ बनाने के लिए, लेखक उन श्रेणियों पर ध्यान केंद्रित करते हैं जिनमें कैंसलेटिव डिलीशन (cancellative deletions) होते हैं (जहाँ $f \otimes \text{del} = g \otimes \text{del} \implies f=g$ )। इस सेटिंग में, अनंत टेंसर उत्पादों के बीच मोर्फिज्म को अमूर्त सीमाओं (abstract limits) के रूप में नहीं, बल्कि फाइनाइट एप्रोक्सिमेशन फैमिलीज (finite approximation families) के रूप में वर्णित किया जाता है। एक मोर्फिज्म, प्राकृतिकता (naturality), कवरेज (covering), और हेरेडिटैरिनेस (hereditariness) की शर्तों को पूरा करने वाले परिमित मोर्फिज्म $(f_{F,G})$ के परिवारों के तुल्यता वर्ग (equivalence class) के रूप में होता है।
डायग्राममैटिक सिंटैक्स (Diagrammatic Syntax): लेखक इन फाइनाइट एप्रोक्सिमेशन फैमिलीज को स्ट्रिंग डायग्राम के रूप में प्रदर्शित करने के लिए "प्लेट नोटेशन" (plate notation) पेश करते हैं। यह स्वयंसिद्ध प्रस्तुतियों के उत्थान (lifting) की अनुमति देता है: यदि $\mathcal{C}$ को एक सिमेट्रिक मोनोइडल थ्योरी $(\Sigma, E)$ द्वारा प्रस्तुत किया जाता है, तो $\mathcal{C}^{\otimes\infty}$ को थ्योरी $\text{Free}_\infty(\Sigma, E)$ द्वारा प्रस्तुत किया जाता है, जिसमें मूल जनरेटर और समीकरणों के साथ-साथ अनंत टेंसर उत्पादों (प्लेट्स) को संभालने के नियम शामिल होते हैं।
$\mathbf{FinStoch}$ पर अनुप्रयोग: इस निर्माण को $\mathbf{FinStoch}$ (परिमित सेट और स्टोकेस्टिक मैट्रिसेस) और इसके उप-श्रेणी $\mathbf{BinStoch}$ ( $\{0,1\}$ की पावर्स) पर लागू किया गया है।

प्रमुख परिणाम

$\mathbf{FinStoch}^{\otimes\infty}$ का लक्षण वर्णन: लेखक सिद्ध करते हैं कि श्रेणी $\mathbf{FinStoch}^{\otimes\infty}$ , स्टोन स्पेस (Stone spaces) की एक श्रेणी के समतुल्य है जो लोकली कांस्टेंट मार्कोव कर्नेल्स ( $\mathbf{StoneStoch}_{lc}$ ) से सुसज्जित है। इस श्रेणी में, ऑब्जेक्ट्स परिमित सेटों के अनंत उत्पाद हैं (जो ब्रौवर के प्रमेय द्वारा, या तो परिमित सेट या कैंटर स्पेस $2^\mathbb{N}$ हैं), और मोर्फिज्म कर्नेल्स $f: X \to Y$ हैं जहाँ क्लॉपन (clopen) सेट की प्रायिकता इनपुट के केवल परिमित निर्देशांकों (coordinates) पर निर्भर करती है।
सतत संभाव्यता का स्वयंसिद्धिकरण: $\mathbf{BinStoch}$ तक सीमित करके, लेखक $\mathbf{CantorStoch}_{lc}$ (पावर्स ऑफ 2 और कैंटर स्पेस वाले $\mathbf{StoneStoch}_{lc}$ की उप-श्रेणी) के लिए एक स्वयंसिद्धिकरण प्राप्त करते हैं। वे दिखाते हैं कि $\mathbf{CantorStoch}_{lc}$ , $\text{Free}_\infty(\Sigma, E)$ के समरूप (isomorphic) है, जहाँ $(\Sigma, E)$ $\mathbf{CausCirc}$ (जो $\mathbf{BinStoch}$ का स्वयंसिद्धिकरण है) की थ्योरी है।
अभिव्यक्ति (Expressivity): शोध पत्र प्रदर्शित करता है कि $\mathbf{CantorStoch}_{lc}$ वास्तविक रेखा $\mathbb{R}$ पर सभी संभाव्यता मापों को समाहित करने के लिए पर्याप्त अभिव्यंजक है। ऐसा इसलिए है क्योंकि $\mathbb{R}$ , $\mathbf{BorelStoch}$ में 2 के एक अनंत टेंसर उत्पाद के रूप में आइसोमोर्फिक है, और निर्माण $\mathbb{R}$ पर मापों और कैंटर स्पेस $2^\mathbb{N}$ पर मापों के बीच एक द्वैत संबंध (bijective correspondence) स्थापित करता है।
सीमाएँ: लेखक स्पष्ट करते हैं कि $\mathbf{FinStoch}^{\otimes\infty}$ , संपूर्ण $\mathbf{BorelStoch}$ को पुनः प्राप्त नहीं करता है। हालांकि यह सभी संभाव्यता मापों को पकड़ता है, यह मनमाने ढंग से मापने योग्य कार्यों (measurable functions) के व्यवहार को पूरी तरह से कैप्चर नहीं कर सकता है (जो गैर-स्थानीय रूप से स्थिर हो सकते हैं), जिससे यह एक पूर्ण सतत श्रेणी के बजाय एक विशिष्ट, अभिव्यंजक उप-श्रेणी बनाता है।

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

लेखक इस बात पर जोर देते हैं कि यह दृष्टिकोण सतत संभाव्यता में सिमेंटिक समानताओं (semantic equalities) को सीधे विविक्त स्वयंसिद्धों से प्राप्त करने की अनुमति देता है। वे उल्लेख करते हैं कि हालांकि यह निर्माण $\mathbf{BorelStoch}$ की पूर्ण व्यापकता (विशेष रूप से गैर-लोकली कांस्टेंट कर्नेल्स के संबंध में) को कैप्चर नहीं करता है, फिर भी यह कैंटर स्पेस के माध्यम से $\mathbb{R}$ और अन्य निरंतर स्थानों पर संभाव्यता मापों का अध्ययन करने के लिए एक समृद्ध ढांचा प्रदान करता है। इस कार्य को सतत संभाव्यता के लिए सिमेंटिक दृष्टिकोणों को स्ट्रिंग डायग्राममैटिक विधियों से जोड़ने के लिए एक आधारभूत कदम के रूप में प्रस्तुत किया गया है, जिसमें भविष्य के कार्य के रूप में सामान्य मार्कोव कर्नेल्स और गॉसियन मिश्रणों जैसे अन्य संभाव्यता मॉडलों तक विस्तार करने का सुझाव दिया गया है।

1. समस्या: "अनंतता" की दीवार

2. समाधान: "अनंत स्टैक" (Infinite Tensor Products)

3. "प्लेट" नोटेशन: चित्र बनाने का एक नया तरीका

4. परिणाम: "लोकल कॉन्स्टेंट" नियम

5. यह क्यों महत्वपूर्ण है

इसी तरह के और पेपर