Sequences that omit a box (modulo 1) (Q549209): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(a_1<a_2<\dots\) be an increasing sequence of positive integers. For an open interval \(I\) in \([0,1)\) of length \(|I|\) denote the set \(X=\{x\in[0,1); a_nx\bmod 1\not\in I,\, n=1,2,\dots\}\). \textit{H. Weyl} [Math. Ann. 77, 313--352 (1916; JFM 46.0278.06)] proved that \(X\) has zero Lebesgue measure. \textit{M. D. Boshernitzan} [Adv. Math. 108, No. 1, 104--117 (1994; Zbl 0815.11013)] showed that the Hausdorff dimension \(\dim X=0\), whenever \(\frac{a_{n+1}}{a_n}\to 1\). Assuming \(a_n=O(n)\), both \textit{J.-P. Kahane} [Ann. Inst. Fourier 14, No. 2, 519--526 (1964; Zbl 0151.04402)] and \textit{Y. Amice} [Ann. Inst. Fourier 14, No. 2, 527--531 (1964; Zbl 0178.38003)] found that \(X\) is finite. In this paper the author extends the Kahane-Amice and Boshernitzan results to higher dimension. Take \(\mathbb I=I_1\times\dots\times I_d\) to be an open box in \([0,1)^d\) and denote by \(\mathbb X\) the set which corresponds to the above \(X\), then he proves \(\dim\mathbb X=d-1\). Define that an increasing sequence \(a_1<a_2<\dots\) of positive integers satisfies condition \(D(c)\) if there exists a sequence of intervals \([u_j,v_j]\), \(j=1,2,\dots\), such that \(v_j-u_j\to\infty\), \(1+v_j-u_j\leq c\#\{n=1,2,\dots;a_n\in[u_j,v_j]\}\). For integer sequences \(a^{(i)}_1<a^{(i)}_2<\dots\), \(i=1,2,\dots,d\), define \(\mathbb X\) to be the set of \(\mathbf x\in[0,1)^d\) for which \(a^{(1)}_{k_1}x_1\bmod 1\not\in I_1,\) \(\dots\), \(a^{(d)}_{k_d}x_d\bmod 1\not\in I_d\) for all \(a^{(1)}_{k_1}<\dots<a^{(d)}_{k_d}\). \textit{R. Kaufman} [Proc. Am. Math. Soc. 19, 1501--1503 (1968; Zbl 0179.06902)] proved that whenever \(a^{(i)}_1<a^{(i)}_2<\dots\), \(i=1,2,\dots,d\) satisfy \(D(c_i)\), then \(\mathbb X\) is countable. The author proves that \(\mathbb X\) is finite and \[ \#\mathbb X\leq\frac{18d(5d)^{2d}}{(|I_1|\dots|I_d|)^2}\max_{i}\frac{c_i}{|I_i|}. \] | |||
Property / review text: Let \(a_1<a_2<\dots\) be an increasing sequence of positive integers. For an open interval \(I\) in \([0,1)\) of length \(|I|\) denote the set \(X=\{x\in[0,1); a_nx\bmod 1\not\in I,\, n=1,2,\dots\}\). \textit{H. Weyl} [Math. Ann. 77, 313--352 (1916; JFM 46.0278.06)] proved that \(X\) has zero Lebesgue measure. \textit{M. D. Boshernitzan} [Adv. Math. 108, No. 1, 104--117 (1994; Zbl 0815.11013)] showed that the Hausdorff dimension \(\dim X=0\), whenever \(\frac{a_{n+1}}{a_n}\to 1\). Assuming \(a_n=O(n)\), both \textit{J.-P. Kahane} [Ann. Inst. Fourier 14, No. 2, 519--526 (1964; Zbl 0151.04402)] and \textit{Y. Amice} [Ann. Inst. Fourier 14, No. 2, 527--531 (1964; Zbl 0178.38003)] found that \(X\) is finite. In this paper the author extends the Kahane-Amice and Boshernitzan results to higher dimension. Take \(\mathbb I=I_1\times\dots\times I_d\) to be an open box in \([0,1)^d\) and denote by \(\mathbb X\) the set which corresponds to the above \(X\), then he proves \(\dim\mathbb X=d-1\). Define that an increasing sequence \(a_1<a_2<\dots\) of positive integers satisfies condition \(D(c)\) if there exists a sequence of intervals \([u_j,v_j]\), \(j=1,2,\dots\), such that \(v_j-u_j\to\infty\), \(1+v_j-u_j\leq c\#\{n=1,2,\dots;a_n\in[u_j,v_j]\}\). For integer sequences \(a^{(i)}_1<a^{(i)}_2<\dots\), \(i=1,2,\dots,d\), define \(\mathbb X\) to be the set of \(\mathbf x\in[0,1)^d\) for which \(a^{(1)}_{k_1}x_1\bmod 1\not\in I_1,\) \(\dots\), \(a^{(d)}_{k_d}x_d\bmod 1\not\in I_d\) for all \(a^{(1)}_{k_1}<\dots<a^{(d)}_{k_d}\). \textit{R. Kaufman} [Proc. Am. Math. Soc. 19, 1501--1503 (1968; Zbl 0179.06902)] proved that whenever \(a^{(i)}_1<a^{(i)}_2<\dots\), \(i=1,2,\dots,d\) satisfy \(D(c_i)\), then \(\mathbb X\) is countable. The author proves that \(\mathbb X\) is finite and \[ \#\mathbb X\leq\frac{18d(5d)^{2d}}{(|I_1|\dots|I_d|)^2}\max_{i}\frac{c_i}{|I_i|}. \] / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Oto Strauch / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11K38 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11K55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11K31 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5918247 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Distribution modulo one | |||
Property / zbMATH Keywords: Distribution modulo one / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hausdorff dimension | |||
Property / zbMATH Keywords: Hausdorff dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hausdorff metric | |||
Property / zbMATH Keywords: Hausdorff metric / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
exponential sum | |||
Property / zbMATH Keywords: exponential sum / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.aim.2011.03.020 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2001788313 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Un théorème de finitude / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3081657 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on a Diophantine inequality in several variables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotically Dense Dilations of Sets on the Circle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Density modulo 1 of dilations of sublacunary sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4175646 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Numbers contravening a condition in density modulo 1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3714302 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur les mauvaises répartitions modulo 1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5556050 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Density of Integer Sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Fundamental Geometrical Properties of Plane Sets of Fractional Dimensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hausdorff dimension, orthogonal projections and intersections with planes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4064159 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the density of sequences \(\{n_k\xi\}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5813260 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:56, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sequences that omit a box (modulo 1) |
scientific article |
Statements
Sequences that omit a box (modulo 1) (English)
0 references
7 July 2011
0 references
Let \(a_1<a_2<\dots\) be an increasing sequence of positive integers. For an open interval \(I\) in \([0,1)\) of length \(|I|\) denote the set \(X=\{x\in[0,1); a_nx\bmod 1\not\in I,\, n=1,2,\dots\}\). \textit{H. Weyl} [Math. Ann. 77, 313--352 (1916; JFM 46.0278.06)] proved that \(X\) has zero Lebesgue measure. \textit{M. D. Boshernitzan} [Adv. Math. 108, No. 1, 104--117 (1994; Zbl 0815.11013)] showed that the Hausdorff dimension \(\dim X=0\), whenever \(\frac{a_{n+1}}{a_n}\to 1\). Assuming \(a_n=O(n)\), both \textit{J.-P. Kahane} [Ann. Inst. Fourier 14, No. 2, 519--526 (1964; Zbl 0151.04402)] and \textit{Y. Amice} [Ann. Inst. Fourier 14, No. 2, 527--531 (1964; Zbl 0178.38003)] found that \(X\) is finite. In this paper the author extends the Kahane-Amice and Boshernitzan results to higher dimension. Take \(\mathbb I=I_1\times\dots\times I_d\) to be an open box in \([0,1)^d\) and denote by \(\mathbb X\) the set which corresponds to the above \(X\), then he proves \(\dim\mathbb X=d-1\). Define that an increasing sequence \(a_1<a_2<\dots\) of positive integers satisfies condition \(D(c)\) if there exists a sequence of intervals \([u_j,v_j]\), \(j=1,2,\dots\), such that \(v_j-u_j\to\infty\), \(1+v_j-u_j\leq c\#\{n=1,2,\dots;a_n\in[u_j,v_j]\}\). For integer sequences \(a^{(i)}_1<a^{(i)}_2<\dots\), \(i=1,2,\dots,d\), define \(\mathbb X\) to be the set of \(\mathbf x\in[0,1)^d\) for which \(a^{(1)}_{k_1}x_1\bmod 1\not\in I_1,\) \(\dots\), \(a^{(d)}_{k_d}x_d\bmod 1\not\in I_d\) for all \(a^{(1)}_{k_1}<\dots<a^{(d)}_{k_d}\). \textit{R. Kaufman} [Proc. Am. Math. Soc. 19, 1501--1503 (1968; Zbl 0179.06902)] proved that whenever \(a^{(i)}_1<a^{(i)}_2<\dots\), \(i=1,2,\dots,d\) satisfy \(D(c_i)\), then \(\mathbb X\) is countable. The author proves that \(\mathbb X\) is finite and \[ \#\mathbb X\leq\frac{18d(5d)^{2d}}{(|I_1|\dots|I_d|)^2}\max_{i}\frac{c_i}{|I_i|}. \]
0 references
Distribution modulo one
0 references
Hausdorff dimension
0 references
Hausdorff metric
0 references
exponential sum
0 references