Uniform dilations in higher dimensions

DOI10.1112/JLMS/JDT054MaRDI QIDQ2869837zbMATH OpenOpenAlexFDO

Authors Michael Kelly, Thái Hoàng Lê

Publication date 7 January 2014

Published in Journal of the London Mathematical Society. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1210.2083

zbMATH Keywords

\(\varepsilon\)-dense dilation in higher dimensions

Mathematics Subject Classification ID

Distribution modulo one (11J71) Trigonometric and exponential sums (general theory) (11L03)

Abstract: A theorem of Glasner says that if $X$ is an infinite subset of the torus $mathbbT$, then for any $epsilon>0$, there exists an integer $n$ such that the dilation $nX=nx:xinmathbbT$ is $epsilon$-dense (i.e, it intersects any interval of length $2epsilon$ in $mathbbT$). Alon and Peres provided a general framework for this problem, and showed quantitatively that one can restrict the dilation to be of the form $f(n)X$ where $finmathbbZ[x]$ is not constant. Building upon the work of Alon and Peres, we study this phenomenon in higher dimensions. Let $$ be an $LimesN$ matrix whose entries are in $mathbbZ[x]$, and $X$ be an infinite subset of $mathbb{T}^N$. Contrarily to the case $N=L=1$, it's not always true that there is an integer $n$ such that $$ is $epsilon$-dense in a translate of a subtorus of $mathbb{T}^L$. We give a necessary and sufficient condition for matrices $$ for which this is true. We also prove an effective version of the result.

Review text

By a theorem of \textit{S. Glasner} [Isr. J. Math. 32, 161--172 (1979; Zbl 0406.54023)] for any infinite subset \(X\) of the torus \(\mathbb T=\mathbb R/\mathbb Z\) and \(\varepsilon>0\) there is a \(n\in\mathbb N\) such that the set \(nX\) is \(\varepsilon\)-dense in \(\mathbb T\). \textit{N. Alon} and \textit{Y. Peres} [Geom. Funct. Anal. 2, No. 1, 1--28 (1992; Zbl 0756.11020)] gave estimates on the number \(k(\epsilon)\) for which every set \(X\) of cardinality \(k(\varepsilon)\) has some dilation \(nX\) which is \(\varepsilon\)-dense in \(\mathbb T\).NEWLINENEWLINEHere generalizations to higher dimensions are given, where dilations are replaced by continuous endomorphisms \(A(n)\), \(\mathbb T^N\to\mathbb T^L\) with \(A(x)\in M_{L\times N}(\mathbb Z[x])\). Necessary and sufficient conditions are given for \(A\) such that any infinite subset \(X\) of \(\mathbb T^N\) is mapped by \(A(n)\) to an \(\varepsilon\)-dense subset of some translate of a subtorus of \(\mathbb T^L\). An estimate (depending on \(\varepsilon,N,L,A)\)) on the cardinality of \(X\) is given which guarantees the existence of such a \(n\in\mathbb N\).

Recommendations

• Uniform dilations
• On density of infinite subsets. I
• On the Glasner property for matrices with polynomial entries
• Asymptotically Dense Dilations of Sets on the Circle
• On the uniform distribution of endomorphisms of s-dimensional torus

Cited in

(11)

• On density of infinite subsets. I
• On the Glasner property for matrices with polynomial entries
• Glasner property for linear group actions and their products
• Asymptotically Dense Dilations of Sets on the Circle
• scientific article; zbMATH DE number 125828 (Why is no real title available?)
• On density of infinite subsets. Part II: Dynamics on homogeneous spaces
• On the image in the torus of sparse points on dilating analytic curves
• Glasner property for unipotently generated group actions on tori
• Equidistribution of polynomial sequences in function fields, with applications
• On the Glasner property of linear maps with prime entries on tori
• One-sided band-limited approximations of some radial functions

This page was built for publication: Uniform dilations in higher dimensions

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