Skip to main content
8 events
when toggle format what by license comment
Nov 25, 2014 at 21:39 vote accept Paul-Benjamin
Nov 24, 2014 at 22:42 comment added Pablo Shmerkin @Asaf - this has very little to do with Shannon-McMillan-Breiman or ergodic theory in general. Besides giving only a.e. results, S-M-B or the ergodic theorem give information about local dimension (i.e. asymptotic behavior of $\log \mu(B(x,r))/\log r$), not about densities (i.e. asymptotic behavior of $\mu(B(x,r))/(2r)^s$). But for this simple construction one can still find sharp bounds valid at every point by direct geometric considerations.
Nov 24, 2014 at 22:38 history edited Pablo Shmerkin CC BY-SA 3.0
added 1230 characters in body
Nov 24, 2014 at 16:02 comment added Asaf I think that in-general, using the Shannon-McMillan-Breiman theorem, one can get a bound for "most points", although a bound for every point is much more delicate, and I don't think it there will be one in general (as the exceptional sets for the ergodic theorem in a Bernoulli system is rather large).
S Nov 24, 2014 at 11:07 history suggested Paul-Benjamin CC BY-SA 3.0
Intersection with C
Nov 24, 2014 at 10:44 comment added Paul-Benjamin Thank you very much for your answer Mr. Shmerkin. But there is still something's missing. In the exercise, I had to determine bounds $0<a<b<c<d<\infty$ such that $a\leq\Theta_*\leq b<c\leq \Theta^*\leq d$. As far as I can see, we can take $a=2^{(-s+1)},c=2^{-s},d=1$, but I don't know how to get $b$ such that $a<b<c$, because in the article you mentionned, there is an upper bound for the lower density almost everywhere, but I'm supposed to get an estimate everywhere.
Nov 24, 2014 at 10:29 review Suggested edits
S Nov 24, 2014 at 11:07
Nov 24, 2014 at 1:24 history answered Pablo Shmerkin CC BY-SA 3.0