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 (ロンドン大学ユニバーシティ・カレッジ)
分類: math.CT (圏論)、cs.LO (計算機科学における論理)
発表日: 2025年10月16日 (arXiv プレプリント)
論文リンク: https://arxiv.org/abs/2510.14716

要約

近年、確率計算はますます圏代数の観点から研究されており、特に文字列図解計算を通じて研究されています。離散および高斯確率過程の圏はすでに十分に研究されており、様々な公理化結果が存在しますが、より表現力豊かな連続確率の圏は理解が不足しています。これは代数的方法で無限挙動を記述することの本質的な困難さが原因です。

本論文は、無限テンソル積を付加するための一般的な構成を確立し、連続確率を離散設定から研究できるようにします。主な結果は、この構成をFinStoch（有限集合と確率行列の圏）に適用し、局所定数マルコフ核の圏を得ています。その対象は有限集合とカントール空間 $2^{\mathbb{N}}$ です。実数上のあらゆる確率測度はこの圏内で推論できます。さらに、無限テンソル積構成を通じて公理化結果を持ち上げる方法を示し、 $2=\{0,1\}$ の可算べき乗上の連続確率の公理化表現を得ています。

研究背景と動機

問題背景

圏論的方法の確率計算への応用は近年広く注目されており、その応用範囲は証拠決定理論からランダムグラフ、能動推論まで及びます。これらの方法は基礎となる代数構造を強調し、厳密な意味論を提供し、形式的明確性と組合せ方法論を強化し、文字列図による直感的記述を可能にします。

中心的課題

離散確率（FinStochやBinStochなど）およびガウス確率の圏は完全な公理化を有していますが、連続確率の文字列図公理化は依然として根本的な欠落です。主な課題は、既存の文字列図代数枠組み内で無限挙動を直接符号化する方法です。

研究動機

理論的必要性：連続確率に対する完全な圏論的記述が必要
方法論的革新：無限テンソル積を通じて離散と連続確率を接続
実用的価値：連続確率推論に対する代数的ツール

核心的貢献

一般的構成：任意の半デカルト圏に無限テンソル積を付加する一般的構成を導入（定理1）
図解表現：無限テンソル積を持つ自由生成圏に対する図解表現を提供し、プレート記法を使用
FinStoch⊗∞の特性化：Stone空間と局所定数マルコフ核によるFinStoch⊗∞の特性化（定理2）
公理化表現：CantorStochlcの公理化表現を提供。これはFinStoch⊗∞の2のべき乗およびカントール空間 $2^{\mathbb{N}}$ への制限（系2）

方法の詳細

理論的基礎：半デカルト圏

定義1：半デカルト圏は対称モノイド圏 $(C,\otimes,I)$ であり、モノイド単位 $I$ が終対象です。

主要な例：

FinStoch：対象は有限集合、射は確率関数 $f: X \to Y$
BinStoch：FinStochの部分圏、対象は $2=\{0,1\}$ の有限べき乗
BorelStoch：対象は標準ボレル空間、射はマルコフ核

無限テンソル積の定義

定義2：抽象無限テンソル積は関手 $X: P_{\text{fin}}(J)^{\text{op}} \to C$ であり、有限部分集合 $F$ を $X_F := \bigotimes_{j \in F} X_j$ に写します。

定義3：具体的無限テンソル積 $X = \bigotimes_{j \in J} X_j$ は対応する抽象無限テンソル積の極限であり、この極限は $-\otimes Y$ により保存されます。

一般的構成 $C^{\otimes \infty}$

中心的考え方：互換族（compatible families）により射を定義します。これらの族は以下を満たします：

自然性：投影射と交換可能
被覆条件：各目標有限部分集合に対応する源有限部分集合が存在
遺伝性： $(F,G)$ が族に属する場合、すべての $(F',G)$ （ $F' \supseteq F$ ）も族に属する

定義8： $C^{\otimes \infty}$ の射 $f: X \to Y$ は互換族の等価類であり、合成は点ごとに定義されます：

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

プレート記法（Plate Notation）

互換族を直感的に表現するため、プレート記法を導入します：

    f_{F,G}
─────────────  は射 f: X → Y を表す
(F,G) ∈ Λ_f
  X    Y

この記法はベイズネットワークのプレート記法に類似していますが、互換族の表現に特化しています。

主要定理

定理1：普遍性

消去削除を持つ半デカルト圏 $C$ に対して、無限テンソル積を持つ半デカルト圏 $C^{\otimes \infty}$ と厳密対称モノイド関手 $C \to C^{\otimes \infty}$ が存在し、無限テンソル積を持つ任意の半デカルト圏 $D$ と対称モノイド関手 $\varphi: C \to D$ に対して、図式が交換するような唯一のITP保存対称モノイド関手 $\tilde{\varphi}: C^{\otimes \infty} \to D$ が存在します。

定理2：Stone空間の特性化

ITP保存対称モノイド関手

φ: FinStoch⊗∞ → StoneStoch^{lc}

は完全忠実であり、その本質像は位相空間の意味での有限集合の無限テンソル積です。

局所定数マルコフ核（定義11）：Stone空間間の射 $f: X \to Y$ は以下を満たします：

すべてのclopen集合 $U$ に対して $f(U|-): X \to [0,1]$ は局所定数
すべての $x \in X$ に対して $f(-|x): \text{Clopen}(Y) \to [0,1]$ は有限加法確率測度

実験設定と応用

マルコフ連鎖の事例

論文はマルコフ連鎖を通じてプレート記法の応用を示しています。時間斉次マルコフ連鎖は以下のように表現できます：

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

無限テンソル積設定では、無限マルコフ連鎖 $c: X \to X^{\mathbb{N}}$ を定義でき、前置ステップの追加下での不変性を証明できます：

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

実験結果

表現能力

主要結果： $\text{CantorStoch}^{\text{lc}}$ は $\mathbb{R}$ 上のすべての確率測度を含みます。これは $\mathbb{R}$ がBorelStochにおける2の無限テンソル積であり、 $2^{\mathbb{N}}$ がCantorStoch^{lc}における対応する対象だからです。

公理化の成果

系3： $\text{CantorStoch}^{\text{lc}}$ は $\text{Free}^{\infty}(\Sigma,E)$ と同型です。ここで $(\Sigma,E)$ はCausCircの対称モノイド理論です。

これは、有限の生成元と方程式を使用してこの連続確率圏を完全に特性化できることを意味します。

結論と考察

主要な結論

無限テンソル積を付加する一般的構成を確立
FinStoch⊗∞が局所定数マルコフ核として特性化できることを証明
連続確率の完全な公理化を提供
離散から連続への体系的方法を示唆

限界

表現能力の制限：完全なBorelStochを復元できません。測度関数の自由度を有限操作で完全に捉えることができないためです
局所定数制約：局所定数マルコフ核のみを処理でき、すべての連続確率過程は含まれません
可算性制限：構成は可算無限テンソル積にのみ適用可能

将来の方向性

一般マルコフ核への拡張：局所定数核で一般核を記述する方法の研究
測度分解：マルコフ圏における条件の存在を保証する一般的構成の研究
Stone双対性：ブール代数間の確率射をStone双対性を通じて研究
他の圏への応用：ガウス確率、ガウス混合など他の圏への応用

深い評価

利点

理論的革新：離散と連続確率の圏論的記述を初めて体系的に接続
構成の一般性：提供される一般的構成はすべての半デカルト圏に適用可能
ツールの実用性：プレート記法は複雑な無限テンソル積推論に対する直感的ツール
結果の深さ：カントール空間が実数上のすべての確率測度を表現するのに十分であることを証明

不足

応用の限定性：マルコフ連鎖の事例は比較的単純であり、より複雑な応用の実証が必要
計算複雑性：実際の計算における複雑性問題について議論されていない
実装詳細：具体的なアルゴリズム実装と計算ツールが不足

影響力

理論的貢献：圏確率理論に重要な理論的ツールを提供
方法論的意義：離散から連続への逼近の新しい方法を開拓
応用の見通し：確率プログラミングと機械学習に新しい理論的基礎を提供

適用場面

理論研究：圏論、確率論、論理学の研究
確率プログラミング：より厳密な意味論の基礎を提供
機械学習：確率モデルに対する代数的ツール
形式検証：確率システムの形式的分析のためのツール

参考文献

論文は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（ガウス確率の文字列図）

本論文は圏確率理論の分野に重要な貢献をしており、連続確率に対する体系的な代数的処理方法を提供しています。実際の応用面ではさらなる発展の余地がありますが、その理論的価値と方法論的革新は深遠な意義を持っています。