2025-11-17T00:16:13.462169

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

Lorenzin, Zanasi
Increasingly in recent years, probabilistic computation has been investigated through the lenses of categorical algebra, especially via string diagrammatic calculi. Whereas categories of discrete and Gaussian probabilistic processes have been thoroughly studied, with various axiomatisation results, more expressive classes of continuous probability are less understood, because of the intrinsic difficulty of describing infinite behaviour by algebraic means. In this work, we establish a universal construction that adjoins infinite tensor products, allowing continuous probability to be investigated from discrete settings. Our main result applies this construction to $\mathsf{FinStoch}$, the category of finite sets and stochastic matrices, obtaining a category of locally constant Markov kernels, where the objects are finite sets plus the Cantor space $2^{\mathbb{N}}$. Any probability measure on the reals can be reasoned about in this category. Furthermore, we show how to lift axiomatisation results through the infinite tensor product construction. This way we obtain an axiomatic presentation of continuous probability over countable powers of $2=\lbrace 0,1\rbrace$.
academic

असतत से सतत तक पहुँचना: एक अनंत टेंसर गुणनफल निर्माण

मूल जानकारी

  • पेपर ID: 2510.14716
  • शीर्षक: Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
  • लेखक: Antonio Lorenzin (a.lorenzin.95@gmail.com), Fabio Zanasi (University College London)
  • वर्गीकरण: math.CT (श्रेणी सिद्धांत), cs.LO (कंप्यूटर विज्ञान में तर्क)
  • प्रकाशन समय: 16 अक्टूबर 2025 (arXiv प्रीप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2510.14716

सारांश

हाल के वर्षों में, संभाव्य संगणना को तेजी से श्रेणीबद्ध बीजगणित के दृष्टिकोण से अध्ययन किया जा रहा है, विशेष रूप से स्ट्रिंग आरेख कलन के माध्यम से। यद्यपि असतत और गाऊसी संभाव्य प्रक्रियाओं की श्रेणियों का पर्याप्त अध्ययन किया गया है और विभिन्न स्वयंसिद्ध परिणाम हैं, अधिक अभिव्यक्तिशील सतत संभाव्य श्रेणियों की समझ में कमी है, क्योंकि बीजगणितीय विधियों से अनंत व्यवहार का वर्णन करना आंतरिक रूप से कठिन है।

यह पेपर अनंत टेंसर गुणनफल संलग्न करने के लिए एक सामान्य निर्माण स्थापित करता है, जिससे सतत संभाव्यता को असतत सेटिंग से अध्ययन किया जा सके। मुख्य परिणाम इस निर्माण को FinStoch (परिमित समुच्चय और यादृच्छिक आव्यूह की श्रेणी) पर लागू करता है, जिससे स्थानीय स्थिर मार्कोव कर्नेल की श्रेणी प्राप्त होती है, जिसकी वस्तुएं परिमित समुच्चय और कैंटर स्पेस 2N2^{\mathbb{N}} हैं। वास्तविक संख्याओं पर कोई भी संभाव्य माप इस श्रेणी में तर्क किया जा सकता है। इसके अलावा, यह दिखाया गया है कि अनंत टेंसर गुणनफल निर्माण के माध्यम से स्वयंसिद्ध परिणामों को कैसे उठाया जाए, जिससे 2={0,1}2=\{0,1\} की गणनीय शक्ति पर सतत संभाव्यता का स्वयंसिद्ध प्रतिनिधित्व प्राप्त हो।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

श्रेणी सिद्धांत विधियों का संभाव्य संगणना में अनुप्रयोग हाल के वर्षों में व्यापक ध्यान आकर्षित कर रहा है, जिसका अनुप्रयोग साक्ष्य निर्णय सिद्धांत से लेकर यादृच्छिक ग्राफ और सक्रिय अनुमान तक है। ये विधियां अंतर्निहित बीजगणितीय संरचना को उजागर करती हैं, कठोर शब्दार्थ प्रदान करती हैं, औपचारिक स्पष्टता और संयोजक पद्धति को बढ़ाती हैं, और स्ट्रिंग आरेखों के साथ सहज वर्णन की अनुमति देती हैं।

मूल समस्या

यद्यपि असतत संभाव्यता (जैसे FinStoch और BinStoch) और गाऊसी संभाव्यता की श्रेणियों का पूर्ण स्वयंसिद्धकरण है, सतत संभाव्यता का स्ट्रिंग आरेख स्वयंसिद्धकरण अभी भी एक मौलिक अंतराल है। मुख्य चुनौती यह है कि मौजूदा स्ट्रिंग आरेख बीजगणितीय ढांचे के भीतर अनंत व्यवहार को सीधे कैसे एन्कोड किया जाए।

अनुसंधान प्रेरणा

  1. सैद्धांतिक आवश्यकता: सतत संभाव्यता के लिए पूर्ण श्रेणीबद्ध विवरण की आवश्यकता है
  2. पद्धति संबंधी नवाचार: अनंत टेंसर गुणनफल के माध्यम से असतत और सतत संभाव्यता को जोड़ना
  3. व्यावहारिक मूल्य: सतत संभाव्यता तर्क के लिए बीजगणितीय उपकरण प्रदान करना

मुख्य योगदान

  1. सामान्य निर्माण: किसी भी अर्ध-कार्टेशियन श्रेणी के लिए अनंत टेंसर गुणनफल संलग्न करने के लिए एक सामान्य निर्माण प्रस्तुत किया (प्रमेय 1)
  2. आरेख प्रतिनिधित्व: अनंत टेंसर गुणनफल के साथ स्वतंत्र रूप से उत्पन्न श्रेणी के लिए आरेख प्रतिनिधित्व प्रदान किया, प्लेट संकेतन का उपयोग करते हुए
  3. FinStoch⊗∞ लक्षण वर्णन: Stone स्पेस और स्थानीय स्थिर मार्कोव कर्नेल के साथ FinStoch⊗∞ का लक्षण वर्णन किया (प्रमेय 2)
  4. स्वयंसिद्ध प्रतिनिधित्व: CantorStochlc का स्वयंसिद्ध प्रतिनिधित्व प्रदान किया, अर्थात् 2 की शक्तियों और कैंटर स्पेस 2^ℕ पर FinStoch⊗∞ का प्रतिबंध (अनुपात 2)

विधि विवरण

सैद्धांतिक आधार: अर्ध-कार्टेशियन श्रेणियां

परिभाषा 1: अर्ध-कार्टेशियन श्रेणी एक सममित मोनोइडल श्रेणी (C,⊗,I) है, जहां मोनोइडल इकाई I एक टर्मिनल वस्तु है।

मुख्य उदाहरण:

  • FinStoch: परिमित समुच्चय वस्तुएं हैं, आकारिकाएं यादृच्छिक फलन f: X → Y हैं
  • BinStoch: FinStoch की उप-श्रेणी, वस्तुएं 2={0,1} की परिमित शक्तियां हैं
  • BorelStoch: मानक Borel स्पेस वस्तुएं हैं, आकारिकाएं मार्कोव कर्नेल हैं

अनंत टेंसर गुणनफल की परिभाषा

परिभाषा 2: अमूर्त अनंत टेंसर गुणनफल एक फंक्टर X: P_(J)^{op} → C है, जो परिमित उपसमुच्चय F को X_F := ⊗_{j∈F} X_j में मैप करता है।

परिभाषा 3: ठोस अनंत टेंसर गुणनफल X = ⊗_{j∈J} X_j संबंधित अमूर्त अनंत टेंसर गुणनफल की सीमा है, और यह सीमा -⊗Y द्वारा संरक्षित है।

सामान्य निर्माण C⊗∞

मूल विचार: संगत परिवारों (compatible families) के माध्यम से आकारिकाओं को परिभाषित करना, जो निम्नलिखित को संतुष्ट करते हैं:

  • प्राकृतिकता: प्रक्षेपण आकारिकाओं के साथ क्रमविनिमय
  • कवरेज शर्त: प्रत्येक लक्ष्य परिमित उपसमुच्चय के लिए संबंधित स्रोत परिमित उपसमुच्चय है
  • वंशानुक्रमिकता: यदि (F,G) परिवार में है, तो सभी (F',G) (F' ⊇ F) भी परिवार में हैं

परिभाषा 8: C⊗∞ में आकारिकाएं f: X → Y संगत परिवारों की समतुल्य श्रेणियां हैं, संयोजन बिंदुवार परिभाषित है:

(gf)_{F,H} := g_{G,H} f_{F,G}

प्लेट संकेतन (Plate Notation)

संगत परिवारों का सहज प्रतिनिधित्व करने के लिए, प्लेट संकेतन प्रस्तुत किया गया है:

f_{F,G}
─────────  आकारिकाएं f: X → Y को दर्शाता है
(F,G) ∈ Λ_f
  X    Y

यह संकेतन बेयेसियन नेटवर्क में प्लेट संकेतन के समान है, लेकिन विशेष रूप से संगत परिवारों को दर्शाने के लिए उपयोग किया जाता है।

मुख्य प्रमेय

प्रमेय 1: सार्वभौमिक गुण

विलोपन विलोपन के साथ अर्ध-कार्टेशियन श्रेणी C के लिए, अनंत टेंसर गुणनफल के साथ अर्ध-कार्टेशियन श्रेणी C⊗∞ और कठोर सममित मोनोइडल फंक्टर C → C⊗∞ मौजूद है, जैसे कि किसी भी अनंत टेंसर गुणनफल के साथ अर्ध-कार्टेशियन श्रेणी D और सममित मोनोइडल फंक्टर φ: C → D के लिए, एक अद्वितीय ITP-संरक्षण सममित मोनोइडल फंक्टर φ̃: C⊗∞ → D मौजूद है जैसे कि आरेख क्रमविनिमय है।

प्रमेय 2: Stone स्पेस लक्षण वर्णन

ITP-संरक्षण सममित मोनोइडल फंक्टर

φ: FinStoch⊗∞ → StoneStoch^{lc}

पूर्ण विश्वस्त है, जिसका आवश्यक प्रतिबिंब स्थलीय स्पेस अर्थ में परिमित समुच्चय का अनंत टेंसर गुणनफल है।

स्थानीय स्थिर मार्कोव कर्नेल (परिभाषा 11): Stone स्पेस के बीच आकारिकाएं f: X → Y निम्नलिखित को संतुष्ट करती हैं:

  • f(U|-): X → 0,1 सभी clopen समुच्चय U के लिए स्थानीय स्थिर है
  • f(-|x): Clopen(Y) → 0,1 सभी x∈X के लिए परिमित योज्य संभाव्य माप है

प्रायोगिक सेटअप और अनुप्रयोग

मार्कोव श्रृंखला केस

पेपर मार्कोव श्रृंखला के माध्यम से प्लेट संकेतन के अनुप्रयोग को प्रदर्शित करता है। समय-सजातीय मार्कोव श्रृंखला को इस प्रकार दर्शाया जा सकता है:

c_n: X → X^n := f ∘ c_{n-1}

अनंत टेंसर गुणनफल सेटिंग में, अनंत मार्कोव श्रृंखला c: X → X^ℕ को परिभाषित किया जा सकता है, और पूर्व-चरण जोड़ने के तहत इसके अपरिवर्तनीयता को प्रमाणित किया जा सकता है:

c_n = c_{n-1} ∘ f = c ∘ f

प्रायोगिक परिणाम

अभिव्यक्ति क्षमता

मुख्य परिणाम: CantorStoch^{lc} में ℝ पर सभी संभाव्य माप शामिल हैं। यह इसलिए है क्योंकि ℝ BorelStoch में 2 का अनंत टेंसर गुणनफल है, और 2^ℕ CantorStoch^{lc} में संबंधित वस्तु है।

स्वयंसिद्ध परिणाम

अनुपात 3: CantorStoch^{lc} Free^∞(Σ,E) के समरूप है, जहां (Σ,E) CausCirc का सममित मोनोइडल सिद्धांत है।

इसका अर्थ है कि इस सतत संभाव्य श्रेणी को परिमित जनरेटर और समीकरणों के साथ पूरी तरह से लक्षण वर्णित किया जा सकता है।

संबंधित कार्य

श्रेणीबद्ध संभाव्य सिद्धांत

  • Fritz आदि का मार्कोव श्रेणी सिद्धांत 11
  • असतत संभाव्यता का स्वयंसिद्धकरण 21
  • गाऊसी संभाव्यता का स्ट्रिंग आरेख 25

अनंत टेंसर गुणनफल

  • Fritz और Rischel का अग्रणी कार्य 16
  • श्रेणीबद्ध संभाव्यता में अनुप्रयोग 13,14

इस पेपर का नवाचार

मौजूदा कार्य की तुलना में, यह पेपर पहली बार असतत से सतत संभाव्यता तक एक व्यवस्थित निर्माण विधि प्रदान करता है, और पूर्ण स्वयंसिद्ध प्रतिनिधित्व देता है।

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. अनंत टेंसर गुणनफल संलग्न करने के लिए सामान्य निर्माण स्थापित किया
  2. सिद्ध किया कि FinStoch⊗∞ को स्थानीय स्थिर मार्कोव कर्नेल के रूप में लक्षण वर्णित किया जा सकता है
  3. सतत संभाव्यता का पूर्ण स्वयंसिद्धकरण प्रदान किया
  4. असतत से सतत तक की व्यवस्थित विधि प्रदर्शित की

सीमाएं

  1. अभिव्यक्ति क्षमता सीमा: पूर्ण BorelStoch को पुनः प्राप्त नहीं कर सकते, क्योंकि मापनीय फलनों की स्वतंत्रता को परिमित संचालन के माध्यम से पूरी तरह से कैप्चर नहीं किया जा सकता
  2. स्थानीय स्थिर बाधा: केवल स्थानीय स्थिर मार्कोव कर्नेल को संभाल सकते हैं, सभी सतत संभाव्य प्रक्रियाओं को नहीं
  3. गणनीय सीमा: निर्माण केवल गणनीय अनंत टेंसर गुणनफल पर लागू होता है

भविष्य की दिशाएं

  1. सामान्य मार्कोव कर्नेल तक विस्तार: यह अनुसंधान करना कि स्थानीय स्थिर कर्नेल के साथ सामान्य कर्नेल का वर्णन कैसे किया जाए
  2. माप अपघटन: मार्कोव श्रेणी में सशर्त अस्तित्व की गारंटी देने वाले सार्वभौमिक निर्माण का अनुसंधान
  3. Stone द्वैत: Stone द्वैत के माध्यम से बूलियन बीजगणित के बीच संभाव्य आकारिकाओं का अनुसंधान
  4. अन्य श्रेणियां: गाऊसी संभाव्यता, गाऊसी मिश्रण आदि अन्य श्रेणियों पर अनुप्रयोग

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक नवाचार: पहली बार असतत और सतत संभाव्यता के श्रेणीबद्ध विवरण को व्यवस्थित रूप से जोड़ा
  2. निर्माण सार्वभौमिकता: प्रदान किया गया सामान्य निर्माण सभी अर्ध-कार्टेशियन श्रेणियों पर लागू होता है
  3. उपकरण व्यावहारिकता: प्लेट संकेतन जटिल अनंत टेंसर गुणनफल तर्क के लिए सहज उपकरण प्रदान करता है
  4. परिणाम गहराई: सिद्ध किया कि कैंटर स्पेस सभी वास्तविक संख्याओं पर संभाव्य माप को दर्शाने के लिए पर्याप्त है

कमियां

  1. सीमित अनुप्रयोग: मार्कोव श्रृंखला केस अपेक्षाकृत सरल है, अधिक जटिल अनुप्रयोग प्रदर्शन की आवश्यकता है
  2. कम्प्यूटेशनल जटिलता: व्यावहारिक संगणना में जटिलता समस्या पर चर्चा नहीं की गई है
  3. कार्यान्वयन विवरण: ठोस एल्गोरिदम कार्यान्वयन और कम्प्यूटेशनल उपकरणों की कमी है

प्रभाव

  1. सैद्धांतिक योगदान: श्रेणीबद्ध संभाव्य सिद्धांत के लिए महत्वपूर्ण सैद्धांतिक उपकरण प्रदान करता है
  2. पद्धति संबंधी महत्व: असतत से सतत तक पहुंचने की नई विधि का आविष्कार करता है
  3. अनुप्रयोग संभावना: संभाव्य प्रोग्रामिंग और मशीन लर्निंग के लिए नई सैद्धांतिक नींव प्रदान करता है

लागू परिदृश्य

  1. सैद्धांतिक अनुसंधान: श्रेणी सिद्धांत, संभाव्य सिद्धांत, तर्क अनुसंधान
  2. संभाव्य प्रोग्रामिंग: अधिक कठोर शब्दार्थ आधार प्रदान करता है
  3. मशीन लर्निंग: संभाव्य मॉडल के लिए बीजगणितीय उपकरण प्रदान करता है
  4. औपचारिक सत्यापन: संभाव्य प्रणालियों के औपचारिक विश्लेषण के लिए उपकरण प्रदान करता है

संदर्भ

पेपर 29 संबंधित संदर्भों का हवाला देता है, मुख्य रूप से:

  • 11 Fritz, T.: A synthetic approach to Markov kernels (मार्कोव श्रेणी की नींव कार्य)
  • 16 Fritz, T., Rischel, E.F.: Infinite products and zero-one laws (अनंत टेंसर गुणनफल का मूल कार्य)
  • 21 Piedeleu, R. et al.: A complete axiomatisation of equivalence for discrete probabilistic programming (असतत संभाव्यता का स्वयंसिद्धकरण)
  • 25 Stein, D. et al.: Graphical quadratic algebra (गाऊसी संभाव्यता का स्ट्रिंग आरेख)

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