Groups, information theory, and Einstein's likelihood principle

We propose a unifying picture where the notion of generalized entropy is related to information theory by means of a group-theoretical approach. The group structure comes from the requirement that an entropy be well defined with respect to the composition of independent systems, in the context of a recently proposed generalization of the Shannon-Khinchin axioms. We associate to each member of a large class of entropies a generalized information measure, satisfying the additivity property on a set of independent systems as a consequence of the underlying group law. At the same time, we also show that Einstein's likelihood function naturally emerges as a byproduct of our informational interpretation of (generally nonadditive) entropies. These results confirm the adequacy of composable entropies both in physical and social science contexts.

On the nullstellensätze for stein spaces and C-analytic sets.

In this work we prove the real Nullstellensatz for the ring O(X) of analytic functions on a C-analytic set X ⊂ Rn in terms of the saturation of Łojasiewicz’s radical in O(X): The ideal I(Ƶ(a)) of the zero-set Ƶ(a) of an ideal a of O(X) coincides with the saturation (Formula presented) of Łojasiewicz’s radical (Formula presented). If Ƶ(a) has ‘good properties’ concerning Hilbert’s 17th Problem, then I(Ƶ(a)) = (Formula presented) where (Formula presented) stands for the real radical of a. The same holds if we replace (Formula presented) with the real-analytic radical (Formula presented) of a, which is a natural generalization of the real radical ideal in the C-analytic setting. We revisit the classical results concerning (Hilbert’s) Nullstellensatz in the framework of (complex) Stein spaces. Let a be a saturated ideal of O(Rn) and YRn the germ of the support of the coherent sheaf that extends aORn to a suitable complex open neighborhood of Rn. We study the relationship between a normal primary decomposition of a and the decomposition of YRn as the union of its irreducible components. If a:= p is prime, then I(Ƶ(p)) = p if and only if the (complex) dimension of YRn coincides with the (real) dimension of Ƶ(p).