scholarly journals Entropy as a Topological Operad Derivation

Entropy ◽  
2021 ◽  
Vol 23 (9) ◽  
pp. 1195
Author(s):  
Tai-Danae Bradley

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 bimodule 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.

1996 ◽  
Vol 61 (1) ◽  
pp. 246-249 ◽  
Author(s):  
Marion Scheepers

Let denote the ideal of Lebesgue measure zero subsets of the real line. Then add() denotes the minimal cardinality of a subset of whose union is not an element of . In [1] Bartoszynski gave an elegant combinatorial characterization of add(), namely: add() is the least cardinal number κ for which the following assertion fails:For every family of at mostκ functions from ω to ω there is a function F from ω to the finite subsets of ω such that:1. For each m, F(m) has at most m + 1 elements, and2. for each f inthere are only finitely many m such that f(m) is not an element of F(m).The symbol A(κ) will denote the assertion above about κ. In the course of his proof, Bartoszynski also shows that the cardinality restriction in 1 is not sharp. Indeed, let (Rm: m < ω) be any sequence of integers such that for each m Rm, ≤ Rm+1, and such that limm→∞Rm = ∞. Then the truth of the assertion A(κ) is preserved if in 1 we say instead that1′. For each m, F(m) has at most Rm elements.We shall use this observation later on. We now define three more statements, denoted B(κ), C(κ) and D(κ), about cardinal number κ.


2000 ◽  
Vol 09 (02) ◽  
pp. 271-284 ◽  
Author(s):  
IKUO TAYAMA

We prove the following results concerning the first Betti numbers of abelian coverings of CP2 branched over line configurations: (1) An estimate of the first Betti numbers. (2) A characterization of central and general position line configurations in terms of the first Betti numbers of abelian coverings. (3) The first Betti numbers of the abelian coverings of the real line configurations up to 7 components.


1993 ◽  
Vol 45 (6) ◽  
pp. 1167-1183 ◽  
Author(s):  
F. H. Clarke ◽  
R. J. Stern ◽  
P. R. Wolenski

AbstractLet ƒ H → (—∞,∞] be lower semicontinuous, where H is a real Hilbert space. An approach based upon nonsmooth analysis and optimization is used in order to characterize monotonicity of ƒ with respect to a cone, as well as Lipschitz behavior and constancy. The results, which involve hypotheses on the proximal subgradient ∂ πƒ, specialize on the real line to yield classical characterizations of these properties in terms of the Dini derivate. They also give new extensions of these results to the multidimensional case. A new proof of a known characterization of convexity in terms of proximal subgradient monotonicity is also given.


1985 ◽  
Vol 22 (02) ◽  
pp. 314-323
Author(s):  
A. Deffner ◽  
E. Haeusler

The results of Nawrotzki (1962), Feigin (1979) and Puri (1982) show that the class of all point processes (on the real line) with the order statistic property consists of all mixed Poisson processes up to a time-scale transformation, and of all mixed sample processes. The present note characterizes those order statistic point processes that are mixed Poisson processes and mixed sample processes simultaneously.


1974 ◽  
Vol 15 (1) ◽  
pp. 66-68 ◽  
Author(s):  
Chin-Hung Ching ◽  
Charles K. Chui

In [2], H. Delange gives the following characterization of the sine function.Theorem A. f(x)=sin x is the only infinitely differentiable real-valued function on the real line such that f'(O)= 1 andfor all real x and n = 0,1,2,….It is clear that, if f satisfies (1), then the analytic continuation of f is an entire function satisfyingfor all z in the complex plane. Hence f is of at most order one and type one. In this note, we prove the following theorem.


1995 ◽  
Vol 189 (2) ◽  
pp. 533-551 ◽  
Author(s):  
D.V. Giang ◽  
F. Moricz
Keyword(s):  

1985 ◽  
Vol 22 (2) ◽  
pp. 314-323 ◽  
Author(s):  
A. Deffner ◽  
E. Haeusler

The results of Nawrotzki (1962), Feigin (1979) and Puri (1982) show that the class of all point processes (on the real line) with the order statistic property consists of all mixed Poisson processes up to a time-scale transformation, and of all mixed sample processes. The present note characterizes those order statistic point processes that are mixed Poisson processes and mixed sample processes simultaneously.


Sign in / Sign up

Export Citation Format

Share Document