Entropy as a Topological Operad Derivation

Abstract

We share a small connection between information theory, algebra, and topology-namely, a correspondence between Shannon entropy and derivations of the operad of topological simplices. We begin with a brief review of operads and their representations with topological simplices and the real line as the main example. We then give a general definition for a derivation of an operad in any category with values in an abelian module over the operad. The main result is that Shannon entropy defines a derivation of the operad of topological simplices, and that for every derivation of this operad there exists a point at which it is given by a constant multiple of Shannon entropy. We show this is compatible with, and relies heavily on, a well-known characterization of entropy given by Faddeev in 1956 and a recent variation given by Leinster.

The Information Loss of a Stochastic Map

“…Many other axiomatic characterizations of related entropy functions can be found in Refs. [3,7,8,12,51,61,81] and the references therein.…”

Entropy, Derivation Operators and Huffman Trees

“…Definition 2. Given a scalar k ∈ N, and multisets X, Y , we have that k acts on trees recursively as (1)…”