Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-13T06:49:30.530Z Has data issue: false hasContentIssue false

The set of badly approximable vectors is strongly C1 incompressible

Published online by Cambridge University Press:  23 May 2012

RYAN BRODERICK
Affiliation:
Department of Mathematics, Brandeis University, Waltham MA 02454-9110, U.S.A. e-mail: [email protected], [email protected], [email protected], [email protected]
LIOR FISHMAN
Affiliation:
Department of Mathematics, Brandeis University, Waltham MA 02454-9110, U.S.A. e-mail: [email protected], [email protected], [email protected], [email protected]
DMITRY KLEINBOCK
Affiliation:
Department of Mathematics, Brandeis University, Waltham MA 02454-9110, U.S.A. e-mail: [email protected], [email protected], [email protected], [email protected]
ASAF REICH
Affiliation:
Department of Mathematics, Brandeis University, Waltham MA 02454-9110, U.S.A. e-mail: [email protected], [email protected], [email protected], [email protected]
BARAK WEISS
Affiliation:
Department of Mathematics, Ben Gurion University, Be'er Sheva, Israel84105 e-mail: [email protected]

Abstract

We prove that the countable intersection of C1-diffeomorphic images of certain Diophantine sets has full Hausdorff dimension. For example, we show this for the set of badly approximable vectors in ℝd, improving earlier results of Schmidt and Dani. To prove this, inspired by ideas of McMullen, we define a new variant of Schmidt's (α,β)-game and show that our sets are hyperplane absolute winning (HAW), which in particular implies winning in the original game. The HAW property passes automatically to games played on certain fractals, thus our sets intersect a large class of fractals in a set of positive dimension. This extends earlier results of Fishman to a more general set-up, with simpler proofs.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 2012

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

REFERENCES

[1]Aravinda, C. S.Bounded geodesics and Hausdorff dimension. Math. Proc. Camb. Phil. Soc. 116 (1994), no. 3, 505511.CrossRefGoogle Scholar
[2]Broderick, R., Bugeaud, Y., Fishman, L., Kleinbock, D. and Weiss, B.Schmidt's game, fractals and numbers normal to no base. Math. Research Letters 17 (2010), 307321.CrossRefGoogle Scholar
[3]Broderick, R., Fishman, L. and Kleinbock, D.Schmidt's game, fractals, and orbits of toral endomorphisms. Ergodic Theory Dynam. Systems 31 (2011), 10951107.CrossRefGoogle Scholar
[4]Dani, S. G.Bounded orbits of flows on homogeneous spaces. Comment. Math. Helv. 61 (1986), 636660.CrossRefGoogle Scholar
[5]Dani, S. G.On orbits of endomorphisms of tori and the Schmidt game. Ergodic Theory Dynam. Systems 8 (1988), 523529.CrossRefGoogle Scholar
[6]Dani, S. G. On badly approximable numbers, Schmidt games and bounded orbits of flows, in: Number theory and dynamical systems (York, 1987), 69–86. London Math. Soc. Lecture Note Ser., 134 (Cambridge University Press, 1989).CrossRefGoogle Scholar
[7]Durand, A.Sets with large intersection and ubiquity. Math. Proc. Camb. Phil. Soc. 144 (2008), no. 1, 119144.CrossRefGoogle Scholar
[8]Einsiedler, M. and Tseng, J.Badly approximable systems of affine forms, fractals and Schmidt games. J. Reine Angew. Math. 660 (2011), 8397.Google Scholar
[9]Falconer, K.Sets with large intersection properties. J. London Math. Soc (2). 49 (1994), 267280.CrossRefGoogle Scholar
[10]Färm, D.Simultaneously non-dense orbits under different expanding maps. Dyn. Syst. 25 (2010), no. 4, 531545.CrossRefGoogle Scholar
[11]Färm, D., Persson, T. and Schmeling, J.Dimension of countable intersections of some sets arising in expansions in non-integer bases. Fund. Math. 209 (2010), 157176.CrossRefGoogle Scholar
[12]Fishman, L.Schmidt's game on fractals Israel J. Math. 171 (2009), no. 1, 7792.CrossRefGoogle Scholar
[13]Fishman, L.Schmidt's game, badly approximable matrices and fractals. J. Number Theory 129 (2009), no. 9, 21332153.CrossRefGoogle Scholar
[14]Furstenberg, H.Ergodic fractal measures and dimension conservation. Ergodic Theory Dynam. Systems 28 (2008), no. 2, 405422.CrossRefGoogle Scholar
[15]Gehring, F. W.Topics in quasiconformal mappings. Lecture Notes in Math. 1508 (1992), 6280.Google Scholar
[16]Hutchinson, J. E.Fractals and self-similarity. Indiana Univ. Math. J. 30 (1981), no. 5, 713747.CrossRefGoogle Scholar
[17]Kleinbock, D., Lindenstrauss, E. and Weiss, B.On fractal measures and diophantine approximation. Selecta Math. 10 (2004), 479523.CrossRefGoogle Scholar
[18]Kleinbock, D. and Weiss, B.Badly approximable vectors on fractals. Israel J. Math. 149 (2005), 137170.CrossRefGoogle Scholar
[19]Kleinbock, D. and Weiss, B.Modified Schmidt games and Diophantine approximation with weights. Adv. Math. 223 (2010), 12761298.CrossRefGoogle Scholar
[20]Kleinbock, D. and Weiss, B. Modified Schmidt games and a conjecture of Margulis. Preprint, arXiv:1001.5017.Google Scholar
[21]Kristensen, S., Thorn, R. and Velani, S. L.Diophantine approximation and badly approximable sets. Adv. Math. 203 (2006), 132169.CrossRefGoogle Scholar
[22]Kronecker, L.Zwei Sätse über Gleichungen mit ganzzahligen Coefcienten. J. Reine Angew. Math. 53 (1857), 173175; see also Werke, Vol. 1, 103–108 (Chelsea Publishing Co., New York, 1968).Google Scholar
[23]McMullen, C.Winning sets, quasiconformal maps and Diophantine approximation. To appear in Geom. Funct. Anal. 20 (2010), 726740.CrossRefGoogle Scholar
[24]Moshchevitin, N. G.A note on badly approximable affine forms and winning sets. Moscow Math. J 11 (2011), no. 1, 129137.CrossRefGoogle Scholar
[25]Pollington, A. D. and Velani, S. L.Metric Diophantine approximation and ‘absolutely friendly’ measures. Selecta Math. 11 (2005), 297307.CrossRefGoogle Scholar
[26]Schmidt, W. M.On badly approximable numbers and certain games. Trans. Amer. Math. Soc. 123 (1966), 2750.CrossRefGoogle Scholar
[27]Schmidt, W. M.Badly approximable systems of linear forms. J. Number Theory 1 (1969), 139154.CrossRefGoogle Scholar
[28]Schmidt, W. M. Diophantine approximation. Lecture Notes in Mathematics. vol. 785 (Springer-Verlag, Berlin, 1980).Google Scholar
[29]Stratmann, B. and Urbanski, M.Diophantine extremality of the Pa terson measure. Math. Proc. Cam. Phil. Soc. 140 (2006), 297304.CrossRefGoogle Scholar
[30]Tseng, J.Schmidt games and Markov partitions. Nonlinearity 22 (2009), no. 3, 525543.CrossRefGoogle Scholar
[31]Tseng, J.Badly approximable affine forms and Schmidt games. J. Number Theory 129 (2009), 30203025.CrossRefGoogle Scholar
[32]Urbanski, M.Diophantine approximation of self-conformal measures. J. Number Theory 110 (2005), 219235.CrossRefGoogle Scholar
[33]Weiss, B.Almost no points on a Cantor set are very well approximable. Proc. Roy. Soc. Lond. A 457 (2001), 949952.CrossRefGoogle Scholar