Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-18T03:32:14.267Z Has data issue: false hasContentIssue false

On the finite-dimensional marginals of shift-invariant measures

Published online by Cambridge University Press:  08 November 2011

J.-R. CHAZOTTES
Affiliation:
CPHT, CNRS-École polytechnique, 91128 Palaiseau Cedex, France (email: jeanrene@cpht.polytechnique.fr)
J.-M. GAMBAUDO
Affiliation:
Laboratoire J. A. Dieudonné, CNRS-Université de Nice-Sophia Antipolis, Parc Valrose, 06108 Nice Cedex 02, France (email: gambaudo@unice.fr)
M. HOCHMAN
Affiliation:
Department of Mathematics, Fine Hall, Washington Rd., Princeton, NJ 08544, USA (email: hochman@math.princeton.edu)
E. UGALDE
Affiliation:
Instituto de Física, Universidad Autónoma de San Luis Potosí, Av. Manuel Nava #6, Zona Universitaria, San Luis Potosí, S.L.P., 78290, México (email: ugalde@ifisica.uaslp.mx)

Abstract

Let Σ be a finite alphabet, Ω=Σd equipped with the shift action, and ℐ the simplex of shift-invariant measures on Ω. We study the relation between the restriction ℐn of ℐ to the finite cubes {−n,…,n}d⊂ℤd, and the polytope of ‘locally invariant’ measures ℐlocn. We are especially interested in the geometry of the convex set ℐn, which turns out to be strikingly different when d=1 and when d≥2 . A major role is played by shifts of finite type which are naturally identified with faces of ℐn, and uniquely ergodic shifts of finite type, whose unique invariant measure gives rise to extreme points of ℐn, although in dimension d≥2 there are also extreme points which arise in other ways. We show that ℐn =ℐlocn when d=1 , but in higher dimensions they differ for n large enough. We also show that while in dimension one ℐn are polytopes with rational extreme points, in higher dimensions every computable convex set occurs as a rational image of a face of ℐn for all large enough n.

Type
Research Article
Copyright
Copyright © Cambridge University Press 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Aubrun, N. and Sablik, M.. Simulation of effective subshifts by two-dimensional subshifts. Preprint, 2010.Google Scholar
[2]Berger, R.. The undecidability of the domino problem. Mem. Amer. Math. Soc. 72(66) (1966).Google Scholar
[3]Durand, B., Romashchenko, A. and Shen, A.. Fixed-point tile sets and their applications. Preprint, 2009.Google Scholar
[4]Georgii, H.-O.. Gibbs Measures and Phase Transitions (de Gruyter Studies in Mathematics, 9). Walter de Gruyter & Co., Berlin, 1988.Google Scholar
[5]Grünbaum, B. and Shephard, G. C.. Tilings and Patterns (A Series of Books in the Mathematical Sciences). W. H. Freeman and Company, New York, 1989, An introduction.Google Scholar
[6]Hochman, M.. On the dynamics and recursive properties of multi-dimensional symbolic systems. Invent. Math. 176(1) (2009), 131167.CrossRefGoogle Scholar
[7]Hochman, M. and Meyerovitch, T.. A characterization of the entropies of multi-dimensional shifts of finite type. Ann. of Math. (2) 171(3) (2010), 20112038.Google Scholar
[8]Lee, J.-Y., Moody, R. and Solomyak, B.. Pure point dynamical and diffraction spectra. Ann. Henri Poincaré 3 (2002), 117.Google Scholar
[9]Mozes, S.. Tilings, substitution systems and dynamical systems generated by them. J. Anal. Math. 53 (1989), 139186.CrossRefGoogle Scholar
[10]Pivato, M.. Building a stationary stochastic process from a finite-dimensional marginal. Canad. J. Math. 53(2) (2001), 382413.Google Scholar
[11]Robinson, E. A. Jr. The dynamical properties of Penrose tilings. Trans. Amer. Math. Soc. 348(11) (1996), 44474464.Google Scholar
[12]Robinson, E. A. Jr. Symbolic dynamics and tilings of . Symbolic Dynamics and its Applications (Proceedings of Symposia in Applied Mathematics, 60). American Mathematical Society, Providence, RI, 2004, pp. 81119.CrossRefGoogle Scholar
[13]Robinson, R. M.. Undecidability and non-periodicity for tilings of the plane. Invent. Math. 12 (1971), 177209.CrossRefGoogle Scholar
[14]Ruelle, D.. Thermodynamic Formalism, 2nd edn(The Mathematical Structures of Equilibrium Statistical Mechanics). Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2004.Google Scholar
[15]Sadun, L. and Williams, R. F.. Tiling spaces are Cantor set fiber bundles. Ergod. Th. & Dynam. Sys. 23(1) (2003), 307316.CrossRefGoogle Scholar
[16]Schmidt, K.. Multi-dimensional symbolic dynamical systems. Codes, Systems, and Graphical Models (Minneapolis, MN, 1999) (The IMA Volumes in Mathematics and its Applications, 123). Springer, New York, 2001, pp. 6782.CrossRefGoogle Scholar
[17]Simpson, S. G.. Medvedev degrees of two-dimensional subshifts of finite type. Ergod. Th. & Dynam. Sys. to appear. Preprint, 2011, available at www.math.psu.edu/simpson/papers/2dim.pdf.CrossRefGoogle Scholar