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

বিচ্ছিন্ন থেকে ক্রমাগত অনুসরণ করা: একটি অসীম টেনসর গুণফল নির্মাণ

মৌলিক তথ্য

  • পত্র আইডি: 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 (কম্পিউটার বিজ্ঞানে যুক্তি)
  • প্রকাশনার সময়: ২০২৫ সালের ১৬ অক্টোবর (arXiv প্রাক-প্রিন্ট)
  • পত্রের লিঙ্ক: https://arxiv.org/abs/2510.14716

সারসংক্ষেপ

সম্প্রতি, সম্ভাব্যতামূলক গণনা ক্রমবর্ধমানভাবে বিভাগীয় বীজগণিতের দৃষ্টিভঙ্গি থেকে অধ্যয়ন করা হচ্ছে, বিশেষত স্ট্রিং ডায়াগ্রাম ক্যালকুলাস মাধ্যমে। যদিও বিচ্ছিন্ন এবং গাউসীয় সম্ভাব্যতা প্রক্রিয়ার বিভাগ যথাযথভাবে অধ্যয়ন করা হয়েছে এবং বিভিন্ন স্বতঃসিদ্ধ ফলাফল রয়েছে, তবে আরও প্রকাশনীয় ক্রমাগত সম্ভাব্যতা বিভাগ বোঝার অভাব রয়েছে কারণ বীজগণিতীয় পদ্ধতি দ্বারা অসীম আচরণ বর্ণনা করা অন্তর্নিহিত কঠিন।

এই পত্রটি অসীম টেনসর গুণফল সংযুক্ত করার জন্য একটি সর্বজনীন নির্মাণ প্রতিষ্ঠা করে, যাতে ক্রমাগত সম্ভাব্যতা বিচ্ছিন্ন সেটিং থেকে অধ্যয়ন করা যায়। প্রধান ফলাফল এই নির্মাণটি FinStoch-এ প্রয়োগ করে (সীমিত সেট এবং র্যান্ডম ম্যাট্রিক্সের বিভাগ), স্থানীয়ভাবে ধ্রুবক মার্কভ কার্নেলের বিভাগ পেয়েছে, যেখানে বস্তুগুলি সীমিত সেট প্লাস ক্যান্টর স্পেস 2N2^{\mathbb{N}}। বাস্তব সংখ্যার উপর যেকোনো সম্ভাব্যতা পরিমাপ এই বিভাগে যুক্তি করা যায়। অধিকন্তু, অসীম টেনসর গুণফল নির্মাণের মাধ্যমে কীভাবে স্বতঃসিদ্ধ ফলাফল উন্নীত করতে হয় তা প্রদর্শন করা হয়েছে, যার ফলে 2={0,1}2=\{0,1\}-এর গণনাযোগ্য শক্তির উপর ক্রমাগত সম্ভাব্যতার একটি স্বতঃসিদ্ধ প্রতিনিধিত্ব পাওয়া যায়।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

বিভাগ তত্ত্ব পদ্ধতি সম্ভাব্যতামূলক গণনায় প্রয়োগ সম্প্রতি ব্যাপক মনোযোগ আকর্ষণ করেছে, যার প্রয়োগের পরিসীমা প্রমাণ সিদ্ধান্ত তত্ত্ব থেকে র্যান্ডম গ্রাফ এবং সক্রিয় অনুমান পর্যন্ত বিস্তৃত। এই পদ্ধতিগুলি অন্তর্নিহিত বীজগণিতীয় কাঠামো তুলে ধরতে পারে, কঠোর শব্দার্থ প্রদান করে, আনুষ্ঠানিক স্পষ্টতা এবং সমন্বয় পদ্ধতি বৃদ্ধি করে, এবং স্ট্রিং ডায়াগ্রাম দিয়ে স্বজ্ঞাত বর্ণনা অনুমতি দেয়।

মূল সমস্যা

যদিও বিচ্ছিন্ন সম্ভাব্যতা (যেমন FinStoch এবং BinStoch) এবং গাউসীয় সম্ভাব্যতার বিভাগ সম্পূর্ণ স্বতঃসিদ্ধ করা হয়েছে, তবে ক্রমাগত সম্ভাব্যতার স্ট্রিং ডায়াগ্রাম স্বতঃসিদ্ধকরণ এখনও একটি মৌলিক ফাঁক। প্রধান চ্যালেঞ্জ হল বিদ্যমান স্ট্রিং ডায়াগ্রাম বীজগণিত কাঠামোর মধ্যে কীভাবে অসীম আচরণ সরাসরি এনকোড করতে হয়।

গবেষণা প্রেরণা

১. তাত্ত্বিক চাহিদা: ক্রমাগত সম্ভাব্যতার জন্য সম্পূর্ণ বিভাগীয় বর্ণনা প্রয়োজন ২. পদ্ধতিগত উদ্ভাবন: অসীম টেনসর গুণফলের মাধ্যমে বিচ্ছিন্ন এবং ক্রমাগত সম্ভাব্যতা সংযোগ করা ३. ব্যবহারিক মূল্য: ক্রমাগত সম্ভাব্যতা যুক্তির জন্য বীজগণিতীয় সরঞ্জাম প্রদান করা

মূল অবদান

১. সর্বজনীন নির্মাণ: যেকোনো আধা-কার্টেসিয়ান বিভাগে অসীম টেনসর গুণফল সংযুক্ত করার জন্য একটি সর্বজনীন নির্মাণ প্রবর্তন করা (উপপাদ্য ১) २. ডায়াগ্রামেটিক প্রতিনিধিত্ব: অসীম টেনসর গুণফল সহ স্বাধীনভাবে উৎপন্ন বিভাগের জন্য ডায়াগ্রামেটিক প্রতিনিধিত্ব প্রদান করা, প্লেট নোটেশন ব্যবহার করে ३. FinStoch⊗∞ বৈশিষ্ট্য: স্টোন স্পেস এবং স্থানীয়ভাবে ধ্রুবক মার্কভ কার্নেল দিয়ে FinStoch⊗∞ বৈশিষ্ট্য করা (উপপাদ্য २) ४. স্বতঃসিদ্ধ প্রতিনিধিত্ব: CantorStochlc-এর স্বতঃসিদ্ধ প্রতিনিধিত্ব প্রদান করা, যা FinStoch⊗∞ এর ২-এর শক্তি এবং ক্যান্টর স্পেস २^ℕ-এ সীমাবদ্ধতা (অনুপূরক २)

পদ্ধতি বিস্তারিত

তাত্ত্বিক ভিত্তি: আধা-কার্টেসিয়ান বিভাগ

সংজ্ঞা १: একটি আধা-কার্টেসিয়ান বিভাগ একটি প্রতিসম মোনোইডাল বিভাগ (C,⊗,I), যেখানে মোনোইডাল একক I একটি টার্মিনাল বস্তু।

মূল উদাহরণ:

  • FinStoch: বস্তু সীমিত সেট, মরফিজম র্যান্ডম ফাংশন f: X → Y
  • BinStoch: FinStoch-এর উপ-বিভাগ, বস্তু २={०,१}-এর সীমিত শক্তি
  • BorelStoch: বস্তু মান বোরেল স্পেস, মরফিজম মার্কভ কার্নেল

অসীম টেনসর গুণফলের সংজ্ঞা

সংজ্ঞা २: একটি বিমূর্ত অসীম টেনসর গুণফল একটি ফাংটর X: P_(J)^{op} → C, যা সীমিত উপসেট F কে X_F := ⊗_{j∈F} X_j-এ ম্যাপ করে।

সংজ্ঞা३: একটি কংক্রিট অসীম টেনসর গুণফল X = ⊗_{j∈J} X_j হল সংশ্লিষ্ট বিমূর্ত অসীম টেনসর গুণফলের সীমা, এবং এই সীমা -⊗Y দ্বারা সংরক্ষিত হয়।

সর্বজনীন নির্মাণ C⊗∞

মূল ধারণা: সামঞ্জস্যপূর্ণ পরিবার দ্বারা মরফিজম সংজ্ঞায়িত করা, যা সন্তুষ্ট করে:

  • প্রাকৃতিকতা: প্রজেকশন মরফিজমের সাথে যাতায়াত করা
  • কভারেজ শর্ত: প্রতিটি লক্ষ্য সীমিত উপসেটের জন্য একটি সংশ্লিষ্ট উৎস সীমিত উপসেট রয়েছে
  • বংশগতি: যদি (F,G) পরিবারে থাকে, তবে সমস্ত (F',G) (F' ⊇ F) পরিবারেও রয়েছে

সংজ্ঞা ८: C⊗∞-এর একটি মরফিজম f: X → Y হল সামঞ্জস্যপূর্ণ পরিবারের একটি সমতুল্য শ্রেণী, সমন্বয় পয়েন্টওয়াইজ সংজ্ঞায়িত:

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

প্লেট নোটেশন

সামঞ্জস্যপূর্ণ পরিবার স্বজ্ঞাত প্রতিনিধিত্ব করার জন্য, প্লেট নোটেশন প্রবর্তন করা হয়:

f_{F,G}
─────────  মরফিজম f: X → Y প্রতিনিধিত্ব করে
(F,G) ∈ Λ_f
  X    Y

এই নোটেশন বেয়েসিয়ান নেটওয়ার্কে প্লেট নোটেশনের অনুরূপ, কিন্তু বিশেষভাবে সামঞ্জস্যপূর্ণ পরিবার প্রতিনিধিত্ব করার জন্য ব্যবহৃত হয়।

প্রধান উপপাদ্য

উপপাদ্য १: সর্বজনীন সম্পত্তি

বিলোপ বিলোপ সহ একটি আধা-কার্টেসিয়ান বিভাগ C-এর জন্য, অসীম টেনসর গুণফল সহ একটি আধা-কার্টেসিয়ান বিভাগ C⊗∞ এবং একটি কঠোর প্রতিসম মোনোইডাল ফাংটর C → C⊗∞ বিদ্যমান, যাতে অসীম টেনসর গুণফল সহ যেকোনো আধা-কার্টেসিয়ান বিভাগ D এবং প্রতিসম মোনোইডাল ফাংটর φ: C → D-এর জন্য, একটি অনন্য ITP-সংরক্ষণকারী প্রতিসম মোনোইডাল ফাংটর φ̃: C⊗∞ → D বিদ্যমান যাতে ডায়াগ্রাম যাতায়াত করে।

উপপাদ্য २: স্টোন স্পেস বৈশিষ্ট্য

ITP-সংরক্ষণকারী প্রতিসম মোনোইডাল ফাংটর

φ: FinStoch⊗∞ → StoneStoch^{lc}

সম্পূর্ণভাবে অনুগত, যার অপরিহার্য চিত্র হল টোপোলজিক্যাল স্পেস অর্থে সীমিত সেটের অসীম টেনসর গুণফল।

স্থানীয়ভাবে ধ্রুবক মার্কভ কার্নেল (সংজ্ঞা११): স্টোন স্পেসের মধ্যে একটি মরফিজম f: X → Y সন্তুষ্ট করে:

  • f(U|-): X → ०,१ সমস্ত clopen সেট U-এর জন্য স্থানীয়ভাবে ধ্রুবক
  • f(-|x): Clopen(Y) → ०,१ সমস্ত 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-এ २-এর অসীম টেনসর গুণফল, এবং २^ℕ হল CantorStoch^{lc}-এ সংশ্লিষ্ট বস্তু।

স্বতঃসিদ্ধ অর্জন

অনুপূরক३: CantorStoch^{lc} Free^∞(Σ,E)-এর সাথে সমরূপ, যেখানে (Σ,E) হল CausCirc-এর একটি প্রতিসম মোনোইডাল তত্ত্ব।

এর অর্থ হল এই ক্রমাগত সম্ভাব্যতা বিভাগ সম্পূর্ণভাবে সীমিত জেনারেটর এবং সমীকরণ দিয়ে বৈশিষ্ট্য করা যায়।

সম্পর্কিত কাজ

বিভাগীয় সম্ভাব্যতা তত্ত্ব

  • Fritz এবং অন্যদের মার্কভ বিভাগ তত্ত্ব ११
  • বিচ্ছিন্ন সম্ভাব্যতার স্বতঃসিদ্ধকরণ २१
  • গাউসীয় সম্ভাব্যতার স্ট্রিং ডায়াগ্রাম २५

অসীম টেনসর গুণফল

  • Fritz এবং Rischel-এর অগ্রগামী কাজ १६
  • বিভাগীয় সম্ভাব্যতায় প্রয়োগ १३,१४

এই পত্রের উদ্ভাবন

বিদ্যমান কাজের তুলনায়, এই পত্রটি প্রথমবারের মতো বিচ্ছিন্ন থেকে ক্রমাগত সম্ভাব্যতার একটি পদ্ধতিগত নির্মাণ পদ্ধতি প্রদান করে এবং সম্পূর্ণ স্বতঃসিদ্ধ প্রতিনিধিত্ব দেয়।

সিদ্ধান্ত এবং আলোচনা

প্রধান সিদ্ধান্ত

१. অসীম টেনসর গুণফল সংযুক্ত করার সর্বজনীন নির্মাণ প্রতিষ্ঠা করা २. প্রমাণ করা যে FinStoch⊗∞ স্থানীয়ভাবে ধ্রুবক মার্কভ কার্নেল হিসাবে বৈশিষ্ট্যযুক্ত করা যায় ३. ক্রমাগত সম্ভাব্যতার সম্পূর্ণ স্বতঃসিদ্ধকরণ প্রদান করা ४. বিচ্ছিন্ন থেকে ক্রমাগত পর্যন্ত একটি পদ্ধতিগত পদ্ধতি প্রদর্শন করা

সীমাবদ্ধতা

१. প্রকাশনা ক্ষমতা সীমাবদ্ধতা: সম্পূর্ণ BorelStoch পুনরুদ্ধার করতে পারে না, কারণ পরিমাপযোগ্য ফাংশনের স্বাধীনতা সীমিত অপারেশনের মাধ্যমে সম্পূর্ণভাবে ক্যাপচার করা যায় না २. স্থানীয়ভাবে ধ্রুবক সীমাবদ্ধতা: শুধুমাত্র স্থানীয়ভাবে ধ্রুবক মার্কভ কার্নেল পরিচালনা করতে পারে, সমস্ত ক্রমাগত সম্ভাব্যতা প্রক্রিয়া অন্তর্ভুক্ত নয় ३. গণনাযোগ্য সীমাবদ্ধতা: নির্মাণ শুধুমাত্র গণনাযোগ্য অসীম টেনসর গুণফলের জন্য প্রযোজ্য

ভবিষ্যত দিকনির্দেশনা

१. সাধারণ মার্কভ কার্নেলে সম্প্রসারণ: কীভাবে স্থানীয়ভাবে ধ্রুবক কার্নেল দিয়ে সাধারণ কার্নেল বর্ণনা করতে হয় তা গবেষণা করা २. পরিমাপ বিয়োজন: মার্কভ বিভাগে শর্তাধীন অস্তিত্ব নিশ্চিত করার সর্বজনীন নির্মাণ গবেষণা করা ३. স্টোন দ্বৈততা: স্টোন দ্বৈততার মাধ্যমে বুলিয়ান বীজগণিতের মধ্যে সম্ভাব্যতা মরফিজম গবেষণা করা ४. অন্যান্য বিভাগ: গাউসীয় সম্ভাব্যতা, গাউসীয় মিশ্রণ এবং অন্যান্য বিভাগে প্রয়োগ করা

গভীর মূল্যায়ন

সুবিধা

१. তাত্ত্বিক উদ্ভাবন: প্রথমবারের মতো বিচ্ছিন্ন এবং ক্রমাগত সম্ভাব্যতার বিভাগীয় বর্ণনা পদ্ধতিগতভাবে সংযুক্ত করা २. নির্মাণ সর্বজনীন: প্রদত্ত সর্বজনীন নির্মাণ সমস্ত আধা-কার্টেসিয়ান বিভাগে প্রযোজ্য ३. সরঞ্জাম ব্যবহারিক: প্লেট নোটেশন জটিল অসীম টেনসর গুণফল যুক্তির জন্য স্বজ্ঞাত সরঞ্জাম প্রদান করে ४. ফলাফল গভীর: প্রমাণ করা যে ক্যান্টর স্পেস সমস্ত বাস্তব সংখ্যার সম্ভাব্যতা পরিমাপ প্রতিনিধিত্ব করার জন্য যথেষ্ট

অপূর্ণতা

१. সীমিত প্রয়োগ: মার্কভ চেইন কেস তুলনামূলকভাবে সহজ, আরও জটিল প্রয়োগ প্রদর্শন প্রয়োজন २. গণনা জটিলতা: বাস্তব গণনায় জটিলতা সমস্যা আলোচনা করা হয়নি ३. বাস্তবায়ন বিবরণ: নির্দিষ্ট অ্যালগরিদম বাস্তবায়ন এবং গণনা সরঞ্জাম অভাব

প্রভাব

१. তাত্ত্বিক অবদান: বিভাগীয় সম্ভাব্যতা তত্ত্বের জন্য গুরুত্বপূর্ণ তাত্ত্বিক সরঞ্জাম প্রদান করা २. পদ্ধতিগত অর্থ: বিচ্ছিন্ন থেকে ক্রমাগত অনুমান করার একটি নতুন পদ্ধতি উদ্ভাবন করা ३. প্রয়োগ সম্ভাবনা: সম্ভাব্যতা প্রোগ্রামিং এবং মেশিন লার্নিংয়ের জন্য নতুন তাত্ত্বিক ভিত্তি প্রদান করা

প্রযোজ্য পরিস্থিতি

१. তাত্ত্বিক গবেষণা: বিভাগ তত্ত্ব, সম্ভাব্যতা তত্ত্ব, যুক্তি গবেষণা २. সম্ভাব্যতা প্রোগ্রামিং: আরও কঠোর শব্দার্থ ভিত্তি প্রদান করা ३. মেশিন লার্নিং: সম্ভাব্যতা মডেলের জন্য বীজগণিতীয় সরঞ্জাম প্রদান করা ४. আনুষ্ঠানিক যাচাইকরণ: সম্ভাব্যতা সিস্টেমের আনুষ্ঠানিক বিশ্লেষণের জন্য সরঞ্জাম প্রদান করা

তথ্যসূত্র

পত্রটি २९টি সম্পর্কিত তথ্যসূত্র উদ্ধৃত করে, প্রধানত অন্তর্ভুক্ত:

  • ११ Fritz, T.: A synthetic approach to Markov kernels (মার্কভ বিভাগের ভিত্তিপ্রস্তর কাজ)
  • १६ Fritz, T., Rischel, E.F.: Infinite products and zero-one laws (অসীম টেনসর গুণফলের মূল কাজ)
  • २१ Piedeleu, R. et al.: A complete axiomatisation of equivalence for discrete probabilistic programming (বিচ্ছিন্ন সম্ভাব্যতার স্বতঃসিদ্ধকরণ)
  • २५ Stein, D. et al.: Graphical quadratic algebra (গাউসীয় সম্ভাব্যতার স্ট্রিং ডায়াগ্রাম)

এই পত্রটি বিভাগীয় সম্ভাব্যতা তত্ত্ব ক্ষেত্রে একটি গুরুত্বপূর্ণ অবদান করে, ক্রমাগত সম্ভাব্যতার জন্য একটি পদ্ধতিগত বীজগণিতীয় চিকিৎসা পদ্ধতি প্রদান করে। যদিও ব্যবহারিক প্রয়োগের দিক থেকে আরও উন্নয়ন প্রয়োজন, তবে এর তাত্ত্বিক মূল্য এবং পদ্ধতিগত উদ্ভাবন গভীর তাৎপর্য রাখে।