Skip to main content
Log in

Random matrix products and applications to cellular automata

  • Published:
Journal d’Analyse Mathématique Aims and scope

Abstract

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X i) 0/∞i over ℂ. Assume that theX i's are chosen from a finite set {D 0,D 1...,D t-1(ℂ), withP(X i=Dj)>0, and that the monoid generated byD 0, D1,…, Dq−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22].

Our results on λ enable us to provide an approximation for the numberN ≠0(F(x)n,r) of nonzero coefficients inF(x) n.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN ≠0(F(x)n,r) ≈n α for “almost” everyn.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. J.-P. Allouche and V. Berthé,Triangle de Pascal, complexité et automates, Bull. Belg. Math. Soc.4 (1997), 1–23.

    MATH  Google Scholar 

  2. J.-P. Allouche, M. Courbage and G. Skordev,Notes on cellular automata, Cubo Mat. Educ.3 (2001), 213–244.

    MATH  MathSciNet  Google Scholar 

  3. J.-P. Allouche, F. von Haeseler, H.-O. Peitgen, A. Petersen and G. Skordev,Automaticity of double sequences generated by one-dimensional linear cellular automata, Theoret. Comput. Sci.188 (1997), 195–209.

    Article  MATH  MathSciNet  Google Scholar 

  4. G. Benettin,Power-law behavior of Lyapunov exponents in some conservative dynamical systems, Phys. D13 (1984), 211–220.

    Article  MATH  MathSciNet  Google Scholar 

  5. D. Berend and N. Kriger,On some questions of Razpet regarding binomial coefficients, Discrete Math.260 (2003), 177–182.

    Article  MATH  MathSciNet  Google Scholar 

  6. V. Berthé,Complexité et automates cellulaires linéaires, Theor. Inform. Appl.34 (2000), 403–423.

    Article  MATH  MathSciNet  Google Scholar 

  7. V. D. Blondel and J.N. Tsitsiklis,The Lyapunov exponent and joint spectral radius of pairs of matrices are hard—when not impossible—to compute and to approximate, Math. Control Signals Systems10 (1997), 31–40.

    Article  MATH  MathSciNet  Google Scholar 

  8. J. Cohen and C. Newman,The stability of large random matrices and their products, Ann. Probab.12 (1984), 283–310.

    Article  MATH  MathSciNet  Google Scholar 

  9. B. Derrida and E. Gardner,Lyapounov exponent of the one-dimensional Anderson model: weak disorder expansions, J. Physique45 (1984), 1283–1295.

    Article  MathSciNet  Google Scholar 

  10. N. J. Fine,Binomial coefficients modulo a prime, Amer. Math. Monthly54 (1947), 589–592.

    Article  MATH  MathSciNet  Google Scholar 

  11. H. Furstenberg,Recurrence in Ergodic Theory and Combinatorial Number Theory, Princeton University Press, Princeton, N.J. 1981.

    MATH  Google Scholar 

  12. H. Furstenberg and H. Kesten,Products of random matrices, Ann. Math. Statist.31 (1960), 457–469.

    Article  MathSciNet  MATH  Google Scholar 

  13. M. Goldstein and W. Schlag,Hölder continuity of the integrated density of states for quasi-periodic Schrödinger equations and averages of shifts of subharmonic functions, Ann. of Math. (2)154 (2001), 155–203.

    Article  MATH  MathSciNet  Google Scholar 

  14. A. Granville,Arithmetic properties of binomial coefficients. I. Binomial coefficients modulo prime powers, Organic mathematics, (Burnaby, BC, 1995), Amer. Math. Soc., Providence, RI, 1997, pp. 253–276.

    Google Scholar 

  15. F. Haeseler, H.-O. Peitgen and G. Skordev,Self-similar structure of rescaled evolution sets of cellular automata, Internat. J. Bifur. Chaos Appl. Sci. Engrg.11 (2001), 927–941.

    Article  MATH  MathSciNet  Google Scholar 

  16. J. G. Huard, B. K. Spearman and K. S. Williams,Pascal's triangle (mod 9), European J. Combin.19 (1998), 45–62.

    Article  MATH  MathSciNet  Google Scholar 

  17. J. G. Huard, B. K. Spearman and K. S. Williams,Pascal's triangle (mod 9), Acta Arith.78 (1997), 331–349.

    MATH  MathSciNet  Google Scholar 

  18. J. Kari,Linear cellular automata with multiple state variables, Lecture Notes in Comput. Sci.1770 (2000), 110–121.

    Article  MathSciNet  Google Scholar 

  19. R. Kenyon and Y. Peres,Intersecting random translates of invariant Cantor sets, Invent. Math.104 (1991), 601–629.

    Article  MATH  MathSciNet  Google Scholar 

  20. E. Kummer,Über die Ergänzungssätze zu den allgemainen Reciprocitätsgesetzen, J. Reine Angew. Math.44 (1852), 93–146.

    MATH  Google Scholar 

  21. F. Ledrappier,Examples of applications of Oseledec's theorem, Contemp. Math.50, Amer. Math. Soc., Providence, RI, 1986, pp. 55–64.

    Google Scholar 

  22. R. Lima and M. Rahibe,Exact Lyapunov exponent for infinite products of random matrices, J. Phys. A27 (1994), 3427–3437.

    Article  MATH  MathSciNet  Google Scholar 

  23. Y. Moshe,The density of 0's in recurrence double sequences, J. Number Theory103 (2003), 109–121.

    Article  MATH  MathSciNet  Google Scholar 

  24. Y. Moshe,The distribution of elements in automatic double sequences, Discrete Math.297 (2005), 91–103.

    Article  MATH  MathSciNet  Google Scholar 

  25. V. I. Oseledec,A multiplicative ergodic theorem, Trans. Moscow Math. Soc.19 (1968), 179–231.

    MathSciNet  Google Scholar 

  26. Y. Peres,Domains of analytic continuation for the top Lyapunov exponent, Ann. Inst. H. Poincaré Probab. Statist.28 (1992), 131–148.

    MATH  MathSciNet  Google Scholar 

  27. S. Pincus,Strong laws of large numbers for products of random matrices, Trans. Amer. Math. Soc.287 (1985), 65–89.

    Article  MATH  MathSciNet  Google Scholar 

  28. A. Robison,Fast computation of additive cellular automata, Complex Systems1 (1987), 211–216.

    MathSciNet  MATH  Google Scholar 

  29. D. Singmaster,Notes on binomial coefficients. III. Any integer divides almost all binomial coefficients, J. London Math. Soc. (2)8 (1974), 555–560.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yossi Moshe.

Additional information

Supported in part by FWF Project P16004-N05

Rights and permissions

Reprints and permissions

About this article

Cite this article

Moshe, Y. Random matrix products and applications to cellular automata. J. Anal. Math. 99, 267–294 (2006). https://doi.org/10.1007/BF02789448

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02789448

Keywords

Navigation