Entropy, cocycles, and their diagrammatics

Mee Seong Im,Mikhail Khovanov
2024-10-09
Abstract:The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the representation floating in the regions, and suitable rules for manipulation of these diagrams. When the group is a semidirect product, there is a similar presentation via overlapping networks for the two subgroups involved. M. Kontsevich and J.-L. Cathelineau have shown how to interpret the entropy of a finite random variable and infinitesimal dilogarithms, including their four-term functional relations, via 2-cocycles on the group of affine symmetries of a line. We convert their construction into a diagrammatical calculus evaluating planar networks that describe morphisms in suitable monoidal categories. In particular, the four-term relations become equalities of networks analogous to associativity equations. The resulting monoidal categories complement existing categorical and operadic approaches to entropy.
K-Theory and Homology,Information Theory,Mathematical Physics,Category Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around how to interpret the entropy of finite random variables through appropriate monoidal categories and transform this interpretation into a diagrammatic calculus. Specifically, the author aims to: 1. **Interpret entropy and infinitesimal dilogarithms**: Re - interpret the entropy of finite random variables and infinitesimal dilogarithms by using the interpretation of a specific 2 - cocycle on the affine symmetries of the real line. These concepts are represented in the network through diagrammatic calculus. 2. **Construct a diagrammatic calculus**: By constructing a diagrammatic calculus, the author converts the work of M. Kontsevich and J. - L. Cathelineau into a method for evaluating planar networks that describe morphisms in appropriate tensor categories. In particular, four - term relations become network equalities similar to associativity equations. 3. **Expand to other fields**: The author also explores how to apply these methods to other fields, such as defect networks in topological quantum field theories (TQFTs), and shows how to represent semidirect product groups through overlapping networks. 4. **Propose new categorical structures**: By introducing the diagram of a cross - product group, using two types of lines to mark the elements of two subgroups and their interactions, new categorical structures are proposed. 5. **Explore the nature of probability**: The author poses a rather speculative question, namely whether larger categories (such as \(C_H\) and \(C^\circ_H\)) can provide some clues about the nature of probability, beyond its familiar classical and quantum interpretations. In summary, the main goal of this paper is to re - interpret the work of Kontsevich and Cathelineau on entropy and infinitesimal dilogarithms through diagrammatic calculus and generalize it to broader mathematical and physical problems.