Computable randomness and its properties
35 mins 14 secs,
488.67 MB,
MPEG-4 Video
640x360,
29.97 fps,
44100 Hz,
1.84 Mbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Rute, J (Carnegie Mellon University)
Monday 02 July 2012, 17:30-18:00 |
|---|
| Created: | 2012-07-10 16:05 |
|---|---|
| Collection: | Semantics and Syntax: A Legacy of Alan Turing |
| Publisher: | Isaac Newton Institute |
| Copyright: | Rute, J |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
| Abstract: | Computable randomness at first does not seem as natural of a randomness notion as Schnorr and Martin-Löf randomness. However, recently Brattka, Miller, and Nies [1] have shown that computable randomness is closely linked to differentiability. Why is this so? What are the chances that, say, computable randomness will also be linked to the ergodic theorem? In this talk I will explain how computable randomness is similar to and how it is different from other notions of randomness.
Unlike other notions of randomness, computable randomness is closely linked to the Borel sigma-algebra of a space. This has a number of interesting implications: Computable randomness can be extended to other computable probability spaces, but this extension is more complicated to describe [2]. Computable randomness is invariant under isomorphisms, but not morphisms (a.e.-computable measure-preserving maps) [2]. Computable randomness is connected more with differentiability than with the ergodic theorem. Dyadic martingales and martingales whose filtration converges to a "computable" sigma-algebra characterize computable randomness, while more general computable betting strategies do not. However, this line of research still leaves many open questions about the nature of computable randomness and the nature of randomness in general. I believe the tools used to explore computable randomness may have other applications to algorithmic randomness and computable analysis. [1] Vasco Brattka, Joseph S. Miller, and André Nies. "Randomness and differentiability." Submitted. [2] Jason Rute. "Computable randomness and betting for computable probability spaces." In preparation. |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video * | 640x360 | 1.84 Mbits/sec | 488.67 MB | View | Download | |
| WebM | 640x360 | 1.08 Mbits/sec | 285.96 MB | View | Download | |
| Flash Video | 484x272 | 568.51 kbits/sec | 146.71 MB | View | Download | |
| iPod Video | 480x270 | 506.13 kbits/sec | 130.61 MB | View | Download | |
| MP3 | 44100 Hz | 125.05 kbits/sec | 32.13 MB | Listen | Download | |
| Auto | (Allows browser to choose a format it supports) | |||||