PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Jan Reimann, Stephen Simpson.

Title:Effective ergodic theorems and randomness
Seminar:Logic Seminar
Speaker:Johanna Franklin, Dartmouth College
Abstract:
We show that in any computable probability space and for any computable measure-preserving map, any point that is Poincaré for that map with respect to effectively closed subsets is also Birkhoff for that map with respect to effectively closed subsets. When combined with a result of Bienvenu, Hoyrup, and Shen, this proves that a point in a computable probability space is Martin-Löf random if and only if it is Birkhoff for any computable ergodic map with respect to effectively closed subsets. This work is joint with Noam Greenberg, Joseph S. Miller, and Keng Meng Ng.

Room Reservation Information

Room Number:MB315
Date:04 / 26 / 2011
Time:02:30pm - 03:45pm