Abstract
We study the problem of embedding minimal dynamical systems into the shift action on the Hilbert cube \(\left( [0,1]^N\right) ^{\mathbb {Z}}\). This problem is intimately related to the theory of mean dimension, which counts the average number of parameters for describing a dynamical system. Lindenstrauss proved that minimal systems of mean dimension less than cN for \(c=1/36\) can be embedded in \(\left( [0,1]^N\right) ^{\mathbb {Z}}\), and asked what is the optimal value for c. We solve this problem by showing embedding is possible when \(c=1/2\). The value \(c=1/2\) is optimal. The proof exhibits a new interaction between harmonic analysis and dynamical coding techniques.
Similar content being viewed by others
Notes
A dynamical system (X, T) is called an infinite minimal system if X is an infinite set and (X, T) is a minimal dynamical system. This is equivalent to the condition that (X, T) is a minimal system having no periodic points.
It becomes a bit simpler because we do not need to use harmonic analysis. Indeed the authors first found the proof of this discrete signal version and then turned their attention to band-limited signals.
When the authors were trying to prove Theorem 1.4, we were stuck here for a while. After some struggle, we realized that we can overcome the difficulty by using band-limited signals.
Here we have used real algebraic geometry in an essential way. We cannot hope that the topological dimension of \(\bigcup _{a\ge 0} a \mathcal {B}\) will behave nicely if \(\mathcal {B}\) is a fractal.
Another reason why short intervals cause a difficulty comes from the nature of mean dimension theory. Mean dimension provides a good control of the behavior of sufficiently long orbit segments of a dynamical system. But it tells us nothing about short ones. See Sect. 7.1 for more precise explanation.
References
Ahlfors, L.V.: Complex Analysis, 3rd edn. McGraw-Hill, New York (1978)
Auslander, J.: Minimal Flows and their Extensions. North-Holland, Amsterdam (1988)
Bochnak, J., Coste, M., Roy, M.-F.: Real algebraic geometry, Translated from the 1987 French original, revised by the authors. Springer, Berlin (1998)
Collected works of Arne Beurling, Vol. 2, Harmonic Analysis, Edited by L. Carleson, P. Malliavan, J. Neuberger, and J. Wermer, Birkhäuser, Boston (1989)
Cover, T.M., Thomas, J.A.: Elements of Information Theory, 2nd edn. Wiley, New York (2006)
Dym, H., McKean, H.P.: Fourier Series and Integrals. Academic Press, New York-London (1972)
Gromov, M.: Topological invariants of dynamical systems and spaces of holomorphic maps: I. Math. Phys. Anal. Geom. 2, 323–415 (1999)
Gutman, Y.: Embedding \(\mathbb{Z}^k\)-actions in cubical shifts and \(\mathbb{Z}^k\)-symbolic extensions. Ergod. Theory Dyn. Syst. 31, 383–403 (2011)
Gutman, Y.: Mean dimension and Jaworski-type theorems. Proc. Lond. Math. Soc. 111(4), 831–850 (2015)
Gutman, Y., Lindenstrauss, E., Tsukamoto, M.: Mean dimension of \(\mathbb{Z}^k\)-actions. Geom. Funct. Anal. 26(3), 778–817 (2016)
Gutman, Y., Qiao, Y., Tsukamoto, M.: Application of signal analysis to the embedding problem of \(\mathbb{Z}^k\)-actions. Geom. Funct. Anal. 29, 1440–1502 (2019)
Gutman, Y., Tsukamoto, M.: Mean dimension and a sharp embedding theorem: extensions of aperiodic subshifts. Ergod. Theory Dyn. Syst. 34, 1888–1896 (2014)
Hayman, W.K.: Meromorphic Functions. Clarendon Press, Oxford (1964)
Hurewicz, W., Wallman, H.: Dimension Theory. Princeton University Press, Princeton (1941)
Jaworski, A.: Ph.D. Thesis, University of Maryland (1974)
Lightwood, S.J.: Morphisms from non-periodic \(\mathbb{Z}^{2}\)-subshifts. I. Constructing embeddings from homomorphisms. Ergod. Theory Dyn. Syst. 23, 587–609 (2003)
Lightwood, S.J.: Morphisms from non-periodic \(\mathbb{Z}^{2}\) subshifts. II. Constructing homomorphisms to square-filling mixing shifts of finite type. Ergod. Theory Dyn. Syst. 24, 1227–1260 (2004)
Lindenstrauss, E.: Mean dimension, small entropy factors and an embedding theorem. Inst. Hautes Études Sci. Publ. Math. 89, 227–262 (1999)
Lindenstrauss, E., Tsukamoto, M.: Mean dimension and an embedding problem: an example. Isr. J. Math. 199, 573–584 (2014)
Lindenstrauss, E., Weiss, B.: Mean topological dimension. Isr. J. Math. 115, 1–24 (2000)
Nikol’skii, S.M.: Approximation of functions of several variables and imbedding theorems, Translated from the Russian by John M. Danskin, Jr. Springer, New York (1975)
Noguchi, J., Winkelmann, J.: Nevanlinna Theory in Several Complex Variables and Diophantine Approximation. Springer, Tokyo (2014)
Schwartz, L.: Théorie Des Distributions. Hermann, Paris (1966)
Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27, 379–423, 623–656 (1948)
Acknowledgements
The authors would like to deeply thank Professor Elon Lindenstrauss. His influence is prevailing in the paper. The authors learned from him the most important ideas such as signal processing and Voronoi diagram in one-dimension higher space. The authors also would like to thank the referee for many helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Y.G. was partially supported by the Marie Curie Grant PCIG12-GA-2012-334564 and the National Science Center (Poland) Grants 2013/08/A/ST1/00275 and 2016/22/E/ST1/00448. M.T. was supported by Grant-in-Aid for Young Scientists (B) 25870334 from JSPS.
Rights and permissions
About this article
Cite this article
Gutman, Y., Tsukamoto, M. Embedding minimal dynamical systems into Hilbert cubes. Invent. math. 221, 113–166 (2020). https://doi.org/10.1007/s00222-019-00942-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-019-00942-w