-
Bad($\mathbf{w}$) is hyperplane absolute winning
Authors:
Victor Beresnevich,
Erez Nesharim,
Lei Yang
Abstract:
In 1998 Kleinbock conjectured that any set of weighted badly approximable $d\times n$ real matrices is a winning subset in the sense of Schmidt's game. In this paper we prove this conjecture in full for vectors in $\mathbf{R}^d$ in arbitrary dimensions by showing that the corresponding set of weighted badly approximable vectors is hyperplane absolute winning. The proof uses the Cantor potential ga…
▽ More
In 1998 Kleinbock conjectured that any set of weighted badly approximable $d\times n$ real matrices is a winning subset in the sense of Schmidt's game. In this paper we prove this conjecture in full for vectors in $\mathbf{R}^d$ in arbitrary dimensions by showing that the corresponding set of weighted badly approximable vectors is hyperplane absolute winning. The proof uses the Cantor potential game played on the support of Ahlfors regular absolutely decaying measures and the quantitative non-divergence estimate for a class of fractal measures due to Kleinbock, Lindenstrauss and Weiss. To establish the existence of a relevant winning strategy in the Cantor potential game we introduce a new approach using two independent diagonal actions on the space of lattices.
△ Less
Submitted 8 December, 2020; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Winning property of badly approximable points on curves
Authors:
Victor Beresnevich,
Erez Nesharim,
Lei Yang
Abstract:
In this paper we prove that badly approximable points on any analytic non-degenerate curve in $\mathbb{R}^n$ is an absolute winning set. This confirms a key conjecture in the area stated by Badziahin and Velani (2014) which represents a far-reaching generalisation of Davenport's problem from the 1960s. Amongst various consequences of our main result is a solution to Bugeaud's problem on real numbe…
▽ More
In this paper we prove that badly approximable points on any analytic non-degenerate curve in $\mathbb{R}^n$ is an absolute winning set. This confirms a key conjecture in the area stated by Badziahin and Velani (2014) which represents a far-reaching generalisation of Davenport's problem from the 1960s. Amongst various consequences of our main result is a solution to Bugeaud's problem on real numbers badly approximable by algebraic numbers of arbitrary degree. The proof relies on new ideas from fractal geometry and homogeneous dynamics.
△ Less
Submitted 22 December, 2020; v1 submitted 5 May, 2020;
originally announced May 2020.
-
Schmidt's game on Hausdorff metric and function spaces: generic dimension of sets and images
Authors:
Ábel Farkas,
Jonathan M. Fraser,
Erez Nesharim,
David Simmons
Abstract:
We consider Schmidt's game on the space of compact subsets of a given metric space equipped with the Hausdorff metric, and the space of continuous functions equipped with the supremum norm. We are interested in determining the generic behaviour of objects in a metric space, mostly in the context of fractal dimensions, and the notion of `generic' we adopt is that of being winning for Schmidt's game…
▽ More
We consider Schmidt's game on the space of compact subsets of a given metric space equipped with the Hausdorff metric, and the space of continuous functions equipped with the supremum norm. We are interested in determining the generic behaviour of objects in a metric space, mostly in the context of fractal dimensions, and the notion of `generic' we adopt is that of being winning for Schmidt's game. We find properties whose corresponding sets are winning for Schmidt's game that are starkly different from previously established, and well-known, properties which are generic in other contexts, such as being residual or of full measure.
△ Less
Submitted 2 February, 2021; v1 submitted 17 July, 2019;
originally announced July 2019.
-
Metric Diophantine approximation with congruence conditions
Authors:
Erez Nesharim,
Rene Rühr,
Ronggang Shi
Abstract:
We prove a version of the Khinchine--Groshev theorem for Diophantine approximation of matrices subject to a congruence condition. The proof relies on an extension of the Dani correspondence to the quotient by a congruence subgroup. This correspondence together with a multiple ergodic theorem are used to study rational approximations in several congruence classes simultaneously. The result in this…
▽ More
We prove a version of the Khinchine--Groshev theorem for Diophantine approximation of matrices subject to a congruence condition. The proof relies on an extension of the Dani correspondence to the quotient by a congruence subgroup. This correspondence together with a multiple ergodic theorem are used to study rational approximations in several congruence classes simultaneously. The result in this part holds in the generality of weighted approximation but is restricted to simple approximation functions.
△ Less
Submitted 5 February, 2019; v1 submitted 4 February, 2019;
originally announced February 2019.
-
On the $t$-adic Littlewood Conjecture
Authors:
Faustin Adiceam,
Erez Nesharim,
Fred Lunnon
Abstract:
The $p$-adic Littlewood Conjecture due to De Mathan and Teulié asserts that for any prime number $p$ and any real number $α$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle mα\rangle|\, =\, 0 $$ holds. Here, $|m|$ is the usual absolute value of the integer $m$, $|m|_p$ its $p$-adic absolute value and $ |\langle x\rangle|$ denotes the distance from a real number $x$ to the set of integ…
▽ More
The $p$-adic Littlewood Conjecture due to De Mathan and Teulié asserts that for any prime number $p$ and any real number $α$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle mα\rangle|\, =\, 0 $$ holds. Here, $|m|$ is the usual absolute value of the integer $m$, $|m|_p$ its $p$-adic absolute value and $ |\langle x\rangle|$ denotes the distance from a real number $x$ to the set of integers. This still open conjecture stands as a variant of the well-known Littlewood Conjecture. In the same way as the latter, it admits a natural counterpart over the field of formal Laurent series $\mathbb{K}\left(\left(t^{-1}\right)\right)$ of a ground field $\mathbb{K}$. This is the so-called \emph{$t$-adic Littlewood Conjecture} ($t$-LC).
It is known that $t$--LC fails when the ground field $\mathbb{K}$ is infinite. This article is concerned with the much more difficult case when the latter field is finite. More precisely, a \emph{fully explicit} counterexample is provided to show that $t$-LC does not hold in the case that $\mathbb{K}$ is a finite field with characteristic 3. Generalizations to fields with characteristics different from 3 are also discussed.
The proof is computer assisted. It reduces to showing that an infinite matrix encoding Hankel determinants of the Paper-Folding sequence over $\mathbb{F}_3$, the so-called Number Wall of this sequence, can be obtained as a two-dimensional automatic tiling satisfying a finite number of suitable local constraints.
△ Less
Submitted 11 October, 2020; v1 submitted 12 June, 2018;
originally announced June 2018.
-
Schmidt games and Cantor winning sets
Authors:
Dzmitry Badziahin,
Stephen Harrap,
Erez Nesharim,
David Simmons
Abstract:
Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting…
▽ More
Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting a unifying framework. We prove surprising new results such as the coincidence of absolute winning and $1$ Cantor winning in doubling metric spaces, and the fact that $1/2$ winning implies absolute winning for subsets of $\mathbb{R}$, and we suggest a prototypical example of a Cantor winning set to show the ubiquity of such sets in metric number theory and ergodic theory.
△ Less
Submitted 25 May, 2020; v1 submitted 17 April, 2018;
originally announced April 2018.
-
Solution of Cassels' Problem on a Diophantine Constant over Function Fields
Authors:
Efrat Bank,
Erez Nesharim,
Steffen Højris Pedersen
Abstract:
This paper deals with the analogue of Inhomogeneous Diophantine Approximation in function fields. The inhomogeneous approximation constant of a Laurent series $θ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)$ with respect to $γ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)$ is defined to be $c(θ,γ)=\inf_{0\neq N\in\mathbb F_q\left[t\right]}|N|\cdot|\langle Nθ- γ\rangle|$. We show that fo…
▽ More
This paper deals with the analogue of Inhomogeneous Diophantine Approximation in function fields. The inhomogeneous approximation constant of a Laurent series $θ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)$ with respect to $γ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)$ is defined to be $c(θ,γ)=\inf_{0\neq N\in\mathbb F_q\left[t\right]}|N|\cdot|\langle Nθ- γ\rangle|$. We show that for every $θ$ there exists $γ$ such that $c(θ,γ)\geq q^{-2}$, and find a sufficient condition on $θ$ which forces $c(θ,γ) \leq q^{-2}$ for every $γ$. Given $θ$, we prove that the set $BA_θ=\left\{γ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)\;:\; c(θ,γ)>0\right\}$ has full Hausdorff dimension. Our methods allow us to solve the case of vectors in $\mathbb F_q\left(\left(\frac{1}{t}\right)\right)^d$ as well. Our results offer a strengthening to analogues of results for real inhomogeneous approximation.
△ Less
Submitted 22 March, 2021; v1 submitted 22 December, 2015;
originally announced December 2015.
-
$\mathbf{Bad}(s,t)$ is hyperplane absolute winning
Authors:
Erez Nesharim,
David S. Simmons
Abstract:
J. An (2013) proved that for any $s,t \geq 0$ such that $s + t = 1$, $\mathbf{Bad}(s,t)$ is $(34\sqrt 2)^{-1}$-winning for Schmidt's game. We show that using the main lemma from An's paper one can derive a stronger result, namely that $\mathbf{Bad}(s,t)$ is hyperplane absolute winning in the sense of Broderick, Fishman, Kleinbock, Reich, and Weiss (2012). As a consequence one can deduce the full d…
▽ More
J. An (2013) proved that for any $s,t \geq 0$ such that $s + t = 1$, $\mathbf{Bad}(s,t)$ is $(34\sqrt 2)^{-1}$-winning for Schmidt's game. We show that using the main lemma from An's paper one can derive a stronger result, namely that $\mathbf{Bad}(s,t)$ is hyperplane absolute winning in the sense of Broderick, Fishman, Kleinbock, Reich, and Weiss (2012). As a consequence one can deduce the full dimension of $\mathbf{Bad}(s,t)$ intersected with certain fractals.
△ Less
Submitted 31 January, 2014; v1 submitted 18 July, 2013;
originally announced July 2013.
-
Badly approximable vectors on a vertical Cantor set
Authors:
Erez Nesharim
Abstract:
For $i, j > 0, i + j = 1$, the set of badly approximable vectors with weight $(i, j)$ is defined by $Bad(i, j) = \{(x, y) \in \R^2 : \exists c > 0 \forall q\in\N, \;\; \max\{q||qx||^{1/i}, q||qy||^{1/j} \} > c\}$, where $||x||$ is the distance of $x$ to the nearest integer. In 2010 Badziahin-Pollington-Velani solved Schmidt's conjecture which was stated in 1982, proving that…
▽ More
For $i, j > 0, i + j = 1$, the set of badly approximable vectors with weight $(i, j)$ is defined by $Bad(i, j) = \{(x, y) \in \R^2 : \exists c > 0 \forall q\in\N, \;\; \max\{q||qx||^{1/i}, q||qy||^{1/j} \} > c\}$, where $||x||$ is the distance of $x$ to the nearest integer. In 2010 Badziahin-Pollington-Velani solved Schmidt's conjecture which was stated in 1982, proving that $Bad(i, j) \cap Bad(j, i)$ is nonempty. Using Badziahin-Pollington-Velani's technique with reference to fractal sets, we were able to improve their results: Assume that we are given a sequence $(i_t, j_t)$ with $i_t, j_t > 0, i_t + j_t = 1$. Then, the intersection of $Bad(i_t, j_t)$ over all t is nonempty.
△ Less
Submitted 9 July, 2013; v1 submitted 31 March, 2012;
originally announced April 2012.