Skip to main content
    • Aa
    • Aa

On the computability of a construction of Brownian motion


We examine a construction due to Fouché in which a Brownian motion is constructed from an algorithmically random infinite binary sequence. We show that although the construction is provably not computable in the sense of computable analysis, a lower bound for the rate of convergence is computable in any upper bound for the compressibilty of the sequence, making the construction layerwise computable.

Hide All

The research in this paper was supported by the National Research Foundation (NRF) of South Africa and by the European Union grant agreement PIRSES-GA-2011-2011-294962 in Computable Analysis (COMPUTAL).

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

C. S. Calude (2002) Information and randomness, Texts in Theoretical Computer Science, Springer-Verlag.

G. Chaitin (1987a) A theory of program size formally identical to information theory. Journal of the ACM 22 329340.

G. A. Chaitin (1987b) Algorithmic information theory, Cambridge University Press.

G. Davie (2001) The Borel–Cantelli lemmas, probability laws and Kolmogorov complexity. Annals of Probability 29 (4) 14261434.

W. L. Fouché (2000b) The descriptive complexity of Brownian motion. Advances in Mathematics 155 317343.

W. L. Fouché (2008) Dynamics of a generic Brownian motion: Recursive aspects. In: Beckmann, A. (ed.) From Gödel to Einstein: Computability between Logic and Physics. Theoretical Computer Science 394 175186.

W. L. Fouché (2009) Fractals generated by algorithmically random Brownian motion. In: Ambos-Spies, K., Löwe, B. and Merkle, W. (eds.) Proceedings CiE 2009. Springer-Verlag Lecture Notes in Computer Science 5635 208217.

P. Gács (2005) Uniform test of algorithmic randomness over a general space. Theoretical Computer Science 341 91137.

M. Hoyrup and C. Rojas (2009a) Computability of probability measures and Martin-Löf randomness over metric spaces. Information and Computation 207 830847.

M. Hoyrup and C. Rojas (2009b) An application of Martin-Löf randomness to effective probability theory. Mathematical theory and computational practice. Springer-Verlag Lecture Notes in Computer Science 5635 260269.

M. Hoyrup (2011) Randomness and the ergodic decomposition. In: Löwe, B., Normann, D., Soskov, I. and Soskova, A. A. (eds.) Proceedings CiE 2011. Springer-Verlag Lecture Notes in Computer Science 6735 122131.

B. Kjos-Hanssen and A. Nerode (2007) The law of the iterated logarithm for algorithmically random Brownian motion. In: Artemov, S. N. and Nerode, A. (eds.) Proceedings on Logical Foundations of Computer Science, LFCS 2007. Springer-Verlag Lecture Notes in Computer Science 4514 310317.

B. Kjos-Hanssen and A. Nerode (2009) Effective dimension of points visited by Brownian motion. Theoretical Computer Science 410 347354.

B. Kjos-Hanssen and T. Szabados (2011) Kolmogorov complexity and strong approximation of Brownian motion. Proceedings of the American Mathematical Society 139 33073316.

M. Li and P. Vitanyi (2008) An Introduction to Kolmogorov Complexity and Its Applications, 3rd edition, Texts in Computer Science, Springer.

P. Martin-Löf (1966) The definition of random sequences. Information and Control 9 602619.

R. Solomonoff (1964a) A formal theory of inductive inference, I. Information and Control 7 122.

K. Weihrauch (1999) Computability on the probability measures on the Borel sets of the unit interval. Theoretical Computer Science 219 421437.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 9 *
Loading metrics...

Abstract views

Total abstract views: 73 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd June 2017. This data will be updated every 24 hours.