Abstract
We define the notion of a measure family: a pre-cosheaf of finite measures over a finite set; every joint measure on a product of finite sets has an associated measure family. To each measure family there is an associated index, or “Euler characteristic”, related to the Tsallis deformation of mutual information. This index is further categorified by a (weighted) simplicial complex whose topology retains information about the correlations between various subsystems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See [15] for a precise categorical equivalence between commutative W\(^*\)-algebras and (localizable) measurable spaces.
- 2.
The empty measure corresponds to the zero expectation value on the zero algebra.
- 3.
If one works with probability measures and measure-preserving maps, \(\boxplus \) instead manifests as an operadic structure which encapsulates the ability to take convex linear combinations of probability measures; this is the approach taken by [6].
- 4.
It is easy to write down a natural bijection of \([\textsf{Meas}]\) with \(\coprod _{n=0}^{\infty } (\mathbb {R}_{\ge 0})^{\times n}\), taking \(\mathbb {R}^{\times 0} {:}{=}\{\star \}\) to correspond to the empty measure. This observation can be used to equip \([\textsf{Meas}]\) with a topology as in [3].
- 5.
In some sense a 2-measure is an “acyclic cosheaf” of measures.
- 6.
One can define an index with respect to any cover of \(P_{\mu }\); but our primary interest will be the cover that is the complement of the finest partition of \(P_{\upmu }\).
- 7.
Augmented in this context means there is an additional degree \(-1\) component and a single map from the degree 0 component to the degree \(-1\) component.
- 8.
All interesting quantities are equivariant under change of total order.
- 9.
If \(\mu _{P}\) does not vanish everywhere, then \(| {\texttt{S}} \mu _{\emptyset }| = |\{\star \}| = 1\). Consequently, one can show that \(\mathfrak {X}_{0}[\texttt{A}^{\boldsymbol{\mu }}] = 1 - \chi (\varDelta '_{\upmu })\).
- 10.
This is a specialization of a functor from (localizable) measurable spaces to the Banach space underlying the W\(^*\)-algebra of essentially bounded measurable functions.
- 11.
The classical analog of the GNS and the commutant complexes of [11] both reduce to the alternating sum of face maps complex that is used in this note.
References
Stacks Project. https://stacks.math.columbia.edu. Accessed 16 May 2023
Baez, J., Fritz, T., Leinster, T.: Entropy as a functor (2011). https://ncatlab.org/johnbaez/revision/Entropy+as+a+functor/55
Baez, J., Fritz, T., Leinster, T.: A characterization of entropy in terms of information loss. Entropy 13(11), 1945–1957 (2011)
Baudot, P., Bennequin, D.: The homological nature of entropy. Entropy 17, 3253–3318 (2015). https://doi.org/10.3390/e17053253
Bennequin, D., Peltre, O., Sergeant-Perthuis, G., Vigneaux, J.P.: Extra-fine sheaves and interaction decompositions (2020). arXiv:2009.12646
Bradley, T.D.: Entropy as a topological operad derivation. Entropy 23(9), 1195 (2021)
Drummond-Cole, G., Park, J.S., Terilla, J.: Homotopy probability theory I (2015). arXiv:1302.3684
Drummond-Cole, G., Park, J.S., Terilla, J.: Homotopy probability theory II (2015). arXiv:1302.5385
Geiko, R., Mainiero, T., Moore, G.: A categorical triality: Matrix product factors, positive maps and von Neumann bimodules (2022)
Lang, L., Baudot, P., Quax, R., Forré, P.: Information decomposition diagrams applied beyond shannon entropy: a generalization of Hu’s theorem (2022). arXiv:2202.09393
Mainiero, T.: Homological tools for the quantum mechanic (2019). arXiv: 1901.02011
Mainiero, T.: The secret topological life of shared information (2020). https://youtu.be/XgbZSwRlAjU, String-Math
Mainiero, T.: Higher entropy. In: Symposium on Categorical Semantics of Entropy at CUNY (2022). https://youtu.be/6cFDviX0hUs,
Parzygnat, A.J.: A functorial characterization of von Neumann entropy (2020). arXiv:2009.07125
Pavlov, D.: Gelfand-type duality for commutative von Neumann algebras. J. Pure Appl. Algebra 226(4), 106884 (2022). arXiv:2005.05284
Sergeant-Perthuis, G.: Intersection property, interaction decomposition, regionalized optimization and applications (2021). https://doi.org/10.13140/RG.2.2.19278.38729
Stanley, R.P.: Combinatorics and Commutative Algebra, Progress in Mathematics, vol. 41, 2nd edn. Birkhäuser Boston Inc., Boston (1996)
Vigneaux, J.: The structure of information: from probability to homology (2017). arXiv: 1709.07807
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Mainiero, T. (2023). Higher Information from Families of Measures. In: Nielsen, F., Barbaresco, F. (eds) Geometric Science of Information. GSI 2023. Lecture Notes in Computer Science, vol 14071. Springer, Cham. https://doi.org/10.1007/978-3-031-38271-0_25
Download citation
DOI: https://doi.org/10.1007/978-3-031-38271-0_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-38270-3
Online ISBN: 978-3-031-38271-0
eBook Packages: Computer ScienceComputer Science (R0)