Typicality for stratified measures

Publication date 21 December 2022

Length, area, volume, other geometric measure theory (28A75) Limit theorems in probability theory (60F99) Measures of information, entropy (94A17) Coding theorems (Shannon theory) (94A24)

Abstract: Stratified measures on Euclidean space are defined here as convex combinations of rectifiable measures. They are possibly singular with respect to the Lebesgue measure and generalize continuous-discrete mixtures. A stratified measure

h o

can thus be represented as

s u m_{i = 1}^{k} q_{i} h o_{i}

, where

(q_{1}, .., q_{k})

is a probability vector and each

h o_{i}

is

m_{i}

-rectifiable for some integer

m_{i}

i.e. absolutely continuous with respect to the

m_{i}

-Hausdorff measure

m u_{i}

on a

m_{i}

-rectifiable set

E_{i}

(e.g. a smooth

m_{i}

-manifold). We introduce a set of strongly typical realizations of

h o^{o t i m e s n}

(memoryless source) that occur with high probability. The typical realizations are supported on a finite union of strata

E_{i_{1}} i m e s c d o t s i m e s E_{i_{n}}

whose dimension concentrates around the mean dimension

s u m_{i = 1}^{k} q_{i} m_{i}

. For each

n

, an appropriate sum of Hausdorff measures on the different strata gives a natural notion of reference "volume"; the exponential growth rate of the typical set's volume is quantified by Csiszar's generalized entropy of

h o

with respect to

m u = s u m_{i = 1}^{k} m u_{i}

. Moreover, we prove that this generalized entropy satisfies a chain rule and that the conditional term is related to the volume growth of the typical realizations in each stratum. The chain rule and its asymptotic interpretation hold in the more general framework of piecewise continuous measures: convex combinations of measures restricted to pairwise disjoint sets equipped with reference

s i g m a

-finite measures. Finally, we establish that our notion of mean dimension coincides with R'enyi's information dimension when applied to stratified measures, but the generalized entropy used here differs from R'enyi's dimensional entropy.

This page was built for publication: Typicality for stratified measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6421184)