確率論

最近のトポロジーと確率論の関係としては, 計算トポロジーでの persistent homology がある。Bubenik と Kim の [BK07] を読むとよい。 Mileyko, Mukherjee, Harer らは [MMH11; Tur+14] で persistence diagram の空間上の確率測度を考えている。

トポロジーというより 微分幾何学寄りの話題であるが, Bismut が [Bis86] で確率論の応用について述べている。 Atiyah-Singer の index theorem や Witten Morse complex など。

よりトポロジーに近い問題として, 単体的複体などで, 頂点集合に辺や面を適当な確率で貼り付けたときにホモトピー型がどう変わるか, というものがある。最近盛んに研究されている。

単体的複体との関係では, qualitative probability order という概念がある。有限集合上の probability measure の一般化になっているようなもののようである。

  • qualitative probability order

Edelman と Gvozdeva と Slinko の [EGS13] では, qualitative probability order から作られる simplicial complex が考えられている。

単体的複体の 幾何学的実現を, 確率論的なアプローチで定義することを Ivan Marin [Mar20] が提案している。 Simplicial set の幾何学的実現についても, Gavrilovich と Pimenov [GP] が確率論的アプローチを提案している。

グラフを確率論的に扱うには, subgraph density という量も重要なようである。 Lovasz と Szegedy の [LS11] によると, それによりグラフの列を考える際には graphon という \([0,1]\times [0,1]\) 上の関数が, グラフの列の一般化として考えられる。

Random walk については, graphsimplicial complexarrangement など, 様々な幾何学的 (組せ合せ論的) 構造の上のものが考えられている。

確率論の一般化として, noncommutative probability と呼ばれるものがある。 確率空間上の measurable function の成す可換な algebra (algebra of random varialbes) を非可換な algebra に変えようというアイデアである。その一種として Voiculescu と Dykema と Nica [VDN92] により導入された free probability がある。 やはり Tao による解説が分かりやすい。

  • algebra of random variables
  • free probability
  • noncommutative probability

Noncrossing partition [Spe97] や complex cobordism [FM] などとも関係あるようである。

関連して, Park ら [DPT15a; DPT15b] が \(A_{\infty }\)-algebra\(L_{\infty }\)-algebra などの homotopy algebra を使うことを提案している。 彼等は homotopy probability theory と呼んでいる。

Vargas [Var] がそれに関連して, noncommutative probability と TDA の関係について議論してい る。

別の方向では, Gauthier の algebraic stochastic calculus [Gau]がある。 Grothendieck topologyやそれに関する sheafなどを使おうとして いる。当然 \((\infty ,1)\)-categoryなども使 われている。

確率論に触発された abstract simplicial complex幾何学的実現が Ivan Marin [Mar20] により導入されている。普通の幾何学的実現と弱ホモトピー同値になるようであるが, どのような利点があるのだろうか。

ホモロジーを導入した人もいる。Baudot と Bennequin [BB15] の information homology である。 Vigneaux の thesis [Vig20] を見るとよい。

  • information homology

圏論的なアプローチも, 何人かの人が考えている。Sturtz の [CS14; Stu] や Gogioso と Scandolo の [GS18] など。 他にも, Fritz ら [Fri20; FGP21; FL23] が調べている Markov category という構造もある。最初 Golubtsov [Gol99] により導入され, Cho と Jacobs [CJ19] により再発見されたらしい。

  • Markov category

確率論に現れる概念を例にとった圏論の入門 [GF] もある。

References

[BB15]

Pierre Baudot and Daniel Bennequin. “The homological nature of entropy”. In: Entropy 17.5 (2015), pp. 3253–3318. url: https://doi.org/10.3390/e17053253.

[Bis86]

Jean-Michel Bismut. “Probability and geometry”. In: Probability and analysis (Varenna, 1985). Vol. 1206. Lecture Notes in Math. Berlin: Springer, 1986, pp. 1–60. url: http://dx.doi.org/10.1007/BFb0076299.

[BK07]

Peter Bubenik and Peter T. Kim. “A statistical approach to persistent homology”. In: Homology, Homotopy Appl. 9.2 (2007), pp. 337–362. arXiv: math/0607634. url: http://projecteuclid.org/euclid.hha/1201127341.

[CJ19]

Kenta Cho and Bart Jacobs. “Disintegration and Bayesian inversion via string diagrams”. In: Math. Structures Comput. Sci. 29.7 (2019), pp. 938–971. arXiv: 1709.00322. url: https://doi.org/10.1017/s0960129518000488.

[CS14]

Jared Culbertson and Kirk Sturtz. “A categorical foundation for Bayesian probability”. In: Appl. Categ. Structures 22.4 (2014), pp. 647–662. arXiv: 1205.1488. url: https://doi.org/10.1007/s10485-013-9324-9.

[DPT15a]

Gabriel C. Drummond-Cole, Jae-Suk Park, and John Terilla. “Homotopy probability theory I”. In: J. Homotopy Relat. Struct. 10.3 (2015), pp. 425–435. arXiv: 1302.3684. url: https://doi.org/10.1007/s40062-013-0067-y.

[DPT15b]

Gabriel C. Drummond-Cole, Jae-Suk Park, and John Terilla. “Homotopy probability theory II”. In: J. Homotopy Relat. Struct. 10.3 (2015), pp. 623–635. arXiv: 1302.5325. url: https://doi.org/10.1007/s40062-014-0078-3.

[EGS13]

Paul H. Edelman, Tatiana Gvozdeva, and Arkadii Slinko. “Simplicial complexes obtained from qualitative probability orders”. In: SIAM J. Discrete Math. 27.4 (2013), pp. 1820–1843. arXiv: 1108.3700. url: https://doi.org/10.1137/110844568.

[FGP21]

Tobias Fritz, Tomáš Gonda, and Paolo Perrone. “de Finetti’s theorem in categorical probability”. In: J. Stoch. Anal. 2.4 (2021), Art. 6, 26. arXiv: 2105.02639.

[FL23]

Tobias Fritz and Wendong Liang. “Free gs-monoidal categories and free Markov categories”. In: Appl. Categ. Structures 31.2 (2023), Paper No. 21, 31. arXiv: 2204.02284. url: https://doi.org/10.1007/s10485-023-09717-0.

[FM]

Roland Friedrich and John McKay. Formal Groups, Witt vectors and Free Probability. arXiv: 1204.6522.

[Fri20]

Tobias Fritz. “A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics”. In: Adv. Math. 370 (2020), pp. 107239, 105. arXiv: 1908.07021. url: https://doi.org/10.1016/j.aim.2020.107239.

[Gau]

Renaud Gauthier. Algebraic Stochastic Calculus. arXiv: 1407.6784.

[GF]

Gabriel Granda and Miguel Flores. Category theory with examples in probability theory. arXiv: 2111.13837.

[Gol99]

P. V. Golubtsov. “Axiomatic description of categories of information converters”. In: Problemy Peredachi Informatsii 35.3 (1999), pp. 80–98.

[GP]

Misha Gavrilovich and Konstantin Pimenov. Geometric realisation as the Skorokhod semi-continuous path space endofunctor. arXiv: 2009.11030.

[GS18]

Stefano Gogioso and Carlo Maria Scandolo. “Categorical probabilistic theories”. In: Proceedings 14th International Conference on Quantum Physics and Logic. Vol. 266. Electron. Proc. Theor. Comput. Sci. (EPTCS). EPTCS, [place of publication not identified], 2018, pp. 367–385. arXiv: 1701.08075. url: https://doi.org/10.4204/EPTCS.266.23.

[LS11]

L. Lovász and B. Szegedy. “Finitely forcible graphons”. In: J. Combin. Theory Ser. B 101.5 (2011), pp. 269–301. arXiv: 0901.0929. url: http://dx.doi.org/10.1016/j.jctb.2011.03.005.

[Mar20]

Ivan Marin. “Simplicial random variables”. In: North-West. Eur. J. Math. 6 (2020), pp. 199–220, i. arXiv: 1703.03987.

[MMH11]

Yuriy Mileyko, Sayan Mukherjee, and John Harer. “Probability measures on the space of persistence diagrams”. In: Inverse Problems 27.12 (2011), pp. 124007, 22. url: https://doi.org/10.1088/0266-5611/27/12/124007.

[Spe97]

Roland Speicher. “Free probability theory and non-crossing partitions”. In: Sém. Lothar. Combin. 39 (1997), Art. B39c, 38 pp. (electronic).

[Stu]

Kirk Sturtz. Categorical Probability Theory. arXiv: 1406.6030.

[Tur+14]

Katharine Turner, Yuriy Mileyko, Sayan Mukherjee, and John Harer. “Fréchet means for distributions of persistence diagrams”. In: Discrete Comput. Geom. 52.1 (2014), pp. 44–70. arXiv: 1206.2790. url: https://doi.org/10.1007/s00454-014-9604-7.

[Var]

Carlos Vargas. Non-commutative Probability Theory for Topological Data Analysis. arXiv: 1708.06078.

[VDN92]

D. V. Voiculescu, K. J. Dykema, and A. Nica. Free random variables. Vol. 1. CRM Monograph Series. A noncommutative probability approach to free products with applications to random matrices, operator algebras and harmonic analysis on free groups. Providence, RI: American Mathematical Society, 1992, pp. vi+70. isbn: 0-8218-6999-X.

[Vig20]

Juan Pablo Vigneaux. “Information structures and their cohomology”. In: Theory Appl. Categ. 35 (2020), Paper No. 38, 1476–1529. arXiv: 1709.07807.