Appendix is added concerning hyperplane absolute winning. A picture is added to illustrate the inductive winning strategy. Some minor mistakes are corrected
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.
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.
$\mathbf{Bad}(s,t)$ is hyperplane absolute winning
J. An（2013）证明了对于任何$s,t \geq 0$，使得$s + t = 1$，$\mathbf{Bad}(s,t)$是$(34\sqrt 2)^{-1}$ -Schmidt博弈的赢家。我们证明，使用An的论文中的主要引理，可以得到一个更强的结果，即$\mathbf{Bad}(s,t)$是Broderick，Fishman，Kleinbock，Reich和Weiss（2012）意义下的超平面绝对获胜。因此，人们可以用某些分形来推导出$\mathbf{Bad}(s,t)$的全维数。
For any i,j>0 with i+j =1, let Bad(i,j) denote the set of points (x,y) \in R^2 such that max \{ ||qx||^{1/i}, \, ||qy||^{1/j} \} > c/q for some positive constant c = c(x,y) and all q in N. We show that \Bad(i,j) \cap C is winning in the sense of Schmidt games for a large class of planar curves C, namely, everywhere non-degenerate planar curves and straight lines satisfying a natural Diophantine condition. This strengthens recent results solving a problem of Davenport from the sixties. In short, within the context of Davenport's problem, the winning statement is best possible. Furthermore, we o…
Hyperplane absolute winning property of bounded orbits under diagonalizable flows on $\mathrm{SL}_3(\mathbb{C})/\mathrm{SL}_3(\mathcal{O}_{\mathbb{K}})$
This paper is motivated by Davenport's problem and the subsequent work regarding badly approximable points in submanifolds of a Euclidian space. We study the problem in the area of twisted Diophantine approximation and present two different approaches. The first approach shows that, under a certain restriction, any countable intersection of the sets of weighted badly approximable points on any non-degenerate C^1 submanifold of R^n has full dimension. In the second approach we introduce the property of isotropically winning and show that the sets of weighted badly approximable points are isotro…
We give an example of irrational vector $\pmbθ \in \mathbb{R}^2$ such that the set $Bad_{\pmbθ} := \{(η_1,η_2): \inf_{x\in\mathbb{N}} x^{\frac{1}{2}} \max_{i=1,2} \|x θ_i-η_i\|>0\}$ is not absolutely winning with respect to McMullen's game.
Winning property of counterexamples to Uniform Littlewood's Conjecture
Brandeis University（布兰迪斯大学）；University of Chicago（芝加哥大学）；Shanghai Institute for Mathematics and Interdisciplinary Sciences（上海数学与交叉学科研究院）；Fudan University（复旦大学）
Let $K$ be a number field, let $S$ be the set of all normalized, non-conjugate Archimedean valuations of $K$, and let $K_{S} = \prod_{v \in S} K_v$ be the Minkowski space associated with $K$. We strengthen recent results of \cite{EsdahlKristensen10} and \cite{EinsiedlerGhoshLytle13} by showing that the set of badly approximable elements of $K_S$ is $\mathcal{H}$-absolute winning for a certain family of subspaces of $K_{S}$.
We prove that if $J$ is the limit set of an irreducible conformal iterated function system (with either finite or countably infinite alphabet), then the badly approximable vectors form a set of full Hausdorff dimension in $J$. The same is true if $J$ is the radial Julia set of an irreducible meromorphic function (either rational or transcendental). The method of proof is to find subsets of $J$ that support absolutely friendly and Ahlfors regular measures of large dimension. In the appendix to this paper, we answer a question of Broderick, Kleinbock, Reich, Weiss, and the second-named author ('…
Schmidt's game is generally used to deduce qualitative information about the Hausdorff dimensions of fractal sets and their intersections. However, one can also ask about quantitative versions of the properties of winning sets. In this paper we show that such quantitative information has applications to various questions including: * What is the maximal length of an arithmetic progression on the "middle $ε$" Cantor set? * What is the smallest $n$ such that there is some element of the ternary Cantor set whose continued fraction partial quotients are all $\leq n$? * What is the Hausdorff dimens…
