The shrinking target problem for matrix transformations of tori: revisiting the standard problem

Metric theory (11J83) Diophantine approximation in probabilistic number theory (11K60) Fractals (28A80) Measure-preserving transformations (28D05) Relations between ergodic theory and number theory (37A44) Zero-one laws (60F20)

Abstract: Let

T

be a

d i m e s d

matrix with real coefficients. Then

T

determines a self-map of the

d

-dimensional torus

{B b b T}^{d} = {m a t h b b R}^{d} / {B b b Z}^{d}

. Let

{E_{n}}_{n i n m a t h b b N}

be a sequence of subsets of

{B b b T}^{d}

and let

W (T, E_{n})

be the set of points

m a t h b f x i n {B b b T}^{d}

such that

T^{n} (m a t h b f x) i n E_{n}

for infinitely many

n i n m a t h b b N

. For a large class of subsets (namely, those satisfying the so called bounded property

which includes balls, rectangles, and hyperboloids) we show that the

d

-dimensional Lebesgue measure of the shrinking target set

W (T, E_{n})

is zero (resp. one) if a natural volume sum converges (resp. diverges). In fact, we prove a quantitative form of this zero-one criteria that describes the asymptotic behaviour of the counting function

. The counting result makes use of a general quantitative statement that holds for a large class measure-preserving dynamical systems (namely, those satisfying the so called summable-mixing property). We next turn our attention to the Hausdorff dimension of

W (T, E_{n})

. In the case the subsets

E_{n}

are balls, rectangles or hyperboloids we obtain precise formulae for the dimension. These shapes correspond, respectively, to the simultaneous, weighted and multiplicative theories of classical Diophantine approximation. The dimension results for balls generalises those obtained in an earlier paper by Hill and the third-named author for integer matrices to real matrices. In the final section, we discuss various problems that stem from the results proved in the paper.

Review text

Let \(T\) be a \(d \times d\) matrix with real coefficients. Then \(T\) determines a self-map of the \(d\)-dimensional torus \(\mathbb T^d=\mathbb R^d/\mathbb Z^d\). Let \(\{E_n \}_{n\in \mathbb N}\) be a sequence of subsets of \(\mathbb T^d\) and let \(W(T,\{E_n\})\) be the set of points \(\mathbf{x} \in \mathbb T^d\) such that \(T^n(\mathbf{x})\in E_n\) for infinitely many \(n\in \mathbb N\). For a large class of subsets which includes balls, rectangles, and hyperboloids (these shapes correspond, respectively, to the simultaneous, weighted and multiplicative theories of classical Diophantine approximation), the authors show that the \(d\)-dimensional Lebesgue measure of the shrinking target set \(W(T,\{E_n\})\) is either zero or one according to whether a natural volume sum either converges or diverges. In fact, they prove a quantitative form of this zero-one criterion that describes the asymptotic behaviour of the counting function \(R(\mathbf{x},N)=\#\{1\leq n\leq N: T^n(\mathbf{x})\in E_n\}\). The counting result uses a general quantitative statement that holds for a large class of measure-preserving dynamical systems (namely, those satisfying the so called summable-mixing property). Then the authors investigate the Hausdorff dimension of \(W(T,\{E_n\})\) (whenever the \(d\)-dimensional Lebesgue measure of \(W(T,\{E_n\})\) is zero, it comes quite natural to estimate its size in the sense of Hausdorff dimension). Again, in the case the subsets are balls, rectangles or hyperboloids they obtain precise formulae for the dimension. The dimension results for balls generalise those obtained in [\textit{R. Hill} and \textit{S. L. Velani}, J. Lond. Math. Soc., II. Ser. 60, No. 2, 381--398 (1999; Zbl 0987.37008)] from integer matrices to real matrices. In the last section the authors discuss various problems originating from the results proved in the paper. The final appendix includes a contribution provided by Baowei Wang.

Recommendations

Cites work

Cited in

(24)

This page was built for publication: The shrinking target problem for matrix transformations of tori: revisiting the standard problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6046524)