-
Intersection Games and Bernstein Sets
Authors:
James Atchley,
Lior Fishman,
Saisneha Ghatti
Abstract:
The Banach-Mazur game, Schmidt's game and McMullen's absolute winning game are three quintessential intersection games. We investigate their determinacy on the real line when the target set for either player is a Bernstein set, a non-Lebesgue measurable set whose construction depends on the axiom of choice.
The Banach-Mazur game, Schmidt's game and McMullen's absolute winning game are three quintessential intersection games. We investigate their determinacy on the real line when the target set for either player is a Bernstein set, a non-Lebesgue measurable set whose construction depends on the axiom of choice.
△ Less
Submitted 14 October, 2023; v1 submitted 1 October, 2023;
originally announced October 2023.
-
Feature Importance Disparities for Data Bias Investigations
Authors:
Peter W. Chang,
Leor Fishman,
Seth Neel
Abstract:
It is widely held that one cause of downstream bias in classifiers is bias present in the training data. Rectifying such biases may involve context-dependent interventions such as training separate models on subgroups, removing features with bias in the collection process, or even conducting real-world experiments to ascertain sources of bias. Despite the need for such data bias investigations, fe…
▽ More
It is widely held that one cause of downstream bias in classifiers is bias present in the training data. Rectifying such biases may involve context-dependent interventions such as training separate models on subgroups, removing features with bias in the collection process, or even conducting real-world experiments to ascertain sources of bias. Despite the need for such data bias investigations, few automated methods exist to assist practitioners in these efforts. In this paper, we present one such method that given a dataset $X$ consisting of protected and unprotected features, outcomes $y$, and a regressor $h$ that predicts $y$ given $X$, outputs a tuple $(f_j, g)$, with the following property: $g$ corresponds to a subset of the training dataset $(X, y)$, such that the $j^{th}$ feature $f_j$ has much larger (or smaller) influence in the subgroup $g$, than on the dataset overall, which we call feature importance disparity (FID). We show across $4$ datasets and $4$ common feature importance methods of broad interest to the machine learning community that we can efficiently find subgroups with large FID values even over exponentially large subgroup classes and in practice these groups correspond to subgroups with potentially serious bias issues as measured by standard fairness metrics.
△ Less
Submitted 3 June, 2024; v1 submitted 2 March, 2023;
originally announced March 2023.
-
The no-$β$ McMullen game and the perfect set property
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson
Abstract:
Given a target set $A\subseteq \mathbb{R}^d$ and a real number $β\in (0,1)$, McMullen introduced the notion of $A$ being an absolutely $β$-winning set. This involves a two player game which we call the $β$-McMullen game. We consider the version of this game in which the parameter $β$ is removed, which we call the no-$β$ McMullen game. More generally, we consider the game with respect to arbitrary…
▽ More
Given a target set $A\subseteq \mathbb{R}^d$ and a real number $β\in (0,1)$, McMullen introduced the notion of $A$ being an absolutely $β$-winning set. This involves a two player game which we call the $β$-McMullen game. We consider the version of this game in which the parameter $β$ is removed, which we call the no-$β$ McMullen game. More generally, we consider the game with respect to arbitrary norms on $\mathbb{R}^d$, and even more generally with respect to general convex sets. We show that for strictly convex sets in $\mathbb{R}^d$, polytopes in $\mathbb{R}^d$, and general convex sets in $\mathbb{R}^2$, that player $\boldsymbol{I}$ wins the no-$β$ McMullen game iff $A$ contains a perfect set and player $\boldsymbol{I}\kern-0.05cm\boldsymbol{I}$ wins iff $A$ is countable. So, the no-$β$ McMullen game is equivalent to the perfect set game for $A$ in these cases. The proofs of these results use a connection between the geometry of the game and techniques from logic. Because of the geometry of this game, this result has strong implications for the geometry of uncountable sets in $\mathbb{R}^d$. We also present an example of a compact, convex set in $\mathbb{R}^3$ to which our methods do not apply, and also an example due to D.\ Simmons of a closed, convex set in $\ell_2(\mathbb{R})$ which illustrate the obstacles in extending the results further.
△ Less
Submitted 6 October, 2021;
originally announced October 2021.
-
Hausdorff dimensions of perturbations of a conformal iterated function system via thermodynamic formalism
Authors:
Tushar Das,
Lior Fishman,
David Simmons,
Mariusz Urbański
Abstract:
We consider small perturbations of a conformal iterated function system (CIFS) produced by either adding or removing some generators with small derivative from the original. We establish a formula, utilizing transfer operators arising from the thermodynamic formalism à la Sinai--Ruelle--Bowen, which may be solved to express the Hausdorff dimension of the perturbed limit set in series form: either…
▽ More
We consider small perturbations of a conformal iterated function system (CIFS) produced by either adding or removing some generators with small derivative from the original. We establish a formula, utilizing transfer operators arising from the thermodynamic formalism à la Sinai--Ruelle--Bowen, which may be solved to express the Hausdorff dimension of the perturbed limit set in series form: either exactly, or as an asymptotic expansion. Significant applications include strengthening Hensley's asymptotic formula from 1992, which improved on earlier bounds due to Jarník and Kurzweil, for the Hausdorff dimension of the set of real numbers whose continued fraction expansion partial quotients are all $\leq N$; as well as its counterpart for reals whose partial quotients are all $\geq N$ due to Good from 1941.
△ Less
Submitted 4 January, 2023; v1 submitted 20 July, 2020;
originally announced July 2020.
-
Hausdorff Dimension Regularity Properties and Games
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson
Abstract:
The Hausdorff $δ$-dimension game was introduced by Das, Fishman, Simmons and {Urba{ń}ski} and shown to characterize sets in $\mathbb{R}^d$ having Hausdorff dimension $\leq δ$. We introduce a variation of this game which also characterizes Hausdorff dimension and for which we are able to prove an unfolding result similar to the basic unfolding property for the Banach-Mazur game for category. We use…
▽ More
The Hausdorff $δ$-dimension game was introduced by Das, Fishman, Simmons and {Urba{ń}ski} and shown to characterize sets in $\mathbb{R}^d$ having Hausdorff dimension $\leq δ$. We introduce a variation of this game which also characterizes Hausdorff dimension and for which we are able to prove an unfolding result similar to the basic unfolding property for the Banach-Mazur game for category. We use this to derive a number of consequences for Hausdorff dimension. We show that under $\mathsf{AD}$ any wellordered union of sets each of which has Hausdorff dimension $\leq δ$ has dimension $\leq δ$. We establish a continuous uniformization result for Hausdorff dimension. The unfolded game also provides a new proof that every $\boldsymbolΣ^1_1$ set of Hausdorff dimension $\geq δ$ contains a compact subset of dimension $\geq δ'$ for any $δ'<δ$, and this result generalizes to arbitrary sets under $\mathsf{AD}$.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Equivalence Relations and Determinacy
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson
Abstract:
We introduce the notion of $(Γ,E)$-determinacy for $Γ$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\{0,1\}$ or $S=ω$. We show that for all shift actions by countable groups $G$, and any "reasonable" pointclass $Γ$, that $(Γ,E_G)$-determinacy implies $Γ$-determinacy.…
▽ More
We introduce the notion of $(Γ,E)$-determinacy for $Γ$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\{0,1\}$ or $S=ω$. We show that for all shift actions by countable groups $G$, and any "reasonable" pointclass $Γ$, that $(Γ,E_G)$-determinacy implies $Γ$-determinacy. We also prove a corresponding result when $E$ is a subshift of finite type of the shift map on $2^\mathbb{Z}$.
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
-
The Measure Game
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson,
Houston Schuerger,
David Simmons
Abstract:
We study a game first introduced by Martin (actually we use a slight variation of this game) which plays a role for measure analogous to the Banach-Mazur game for category. We first present proofs for the basic connections between this game and measure, and then use the game to prove fundamental measure theoretic results such as Fubini's theorem, the Borel-Cantelli lemma, and a general unfolding r…
▽ More
We study a game first introduced by Martin (actually we use a slight variation of this game) which plays a role for measure analogous to the Banach-Mazur game for category. We first present proofs for the basic connections between this game and measure, and then use the game to prove fundamental measure theoretic results such as Fubini's theorem, the Borel-Cantelli lemma, and a general unfolding result for the game which gives, for example, the measurability of $\boldsymbolΣ^1_1$ sets. We also use the game to give a new, more constructive, proof of a strong form of the Rényi-Lamperti lemma, an important result in probability theory with many applications to number theory. The proofs we give are all direct combinatorial arguments using the game, and do not depend on known measure theoretic arguments.
△ Less
Submitted 24 October, 2019;
originally announced October 2019.
-
A variational principle in the parametric geometry of numbers
Authors:
Tushar Das,
Lior Fishman,
David Simmons,
Mariusz Urbański
Abstract:
We extend the parametric geometry of numbers (initiated by Schmidt and Summerer, and deepened by Roy) to Diophantine approximation for systems of $m$ linear forms in $n$ variables, and establish a new connection to the metric theory via a variational principle that computes fractal dimensions of a variety of sets of number-theoretic interest. The proof relies on two novel ingredients: a variant of…
▽ More
We extend the parametric geometry of numbers (initiated by Schmidt and Summerer, and deepened by Roy) to Diophantine approximation for systems of $m$ linear forms in $n$ variables, and establish a new connection to the metric theory via a variational principle that computes fractal dimensions of a variety of sets of number-theoretic interest. The proof relies on two novel ingredients: a variant of Schmidt's game capable of computing the Hausdorff and packing dimensions of any set, and the notion of templates, which generalize Roy's rigid systems. In particular, we compute the Hausdorff and packing dimensions of the set of singular systems of linear forms and show they are equal, resolving a conjecture of Kadyrov, Kleinbock, Lindenstrauss and Margulis, as well as a question of Bugeaud, Cheung and Chevallier. As a corollary of Dani's correspondence principle, the divergent trajectories of a one-parameter diagonal action on the space of unimodular lattices with exactly two Lyapunov exponents with opposite signs has equal Hausdorff and packing dimensions. Other applications include quantitative strengthenings of theorems due to Cheung and Moshchevitin, which originally resolved conjectures due to Starkov and Schmidt respectively; as well as dimension formulas with respect to the uniform exponent of irrationality for simultaneous and dual approximation in two dimensions, completing partial results due to Baker, Bugeaud, Cheung, Chevallier, Dodson, Laurent and Rynne.
△ Less
Submitted 11 November, 2023; v1 submitted 19 January, 2019;
originally announced January 2019.
-
Equivalence of the Rothberger and $2$-Rothberger Games for Hausdorff Spaces
Authors:
Logan Crone,
Lior Fishman,
Nathaniel Hiers,
Stephen Jackson
Abstract:
We prove that in any Hausdorff space, the Rothberger game is equivalent to the $k$-Rothberger game, i.e. the game in which player II chooses $k$ open sets in each move. This result follows from a more general theorem in which we show these games are equivalent to a game we call the restricted Menger game. In this game I knows immediately in advance of playing each open cover how many open sets II…
▽ More
We prove that in any Hausdorff space, the Rothberger game is equivalent to the $k$-Rothberger game, i.e. the game in which player II chooses $k$ open sets in each move. This result follows from a more general theorem in which we show these games are equivalent to a game we call the restricted Menger game. In this game I knows immediately in advance of playing each open cover how many open sets II will choose from that open cover. This result illuminates the relationship between the Rothberger and Menger games in Hausdorff spaces. The equivalence of these games answers a question posed by Aurichi, Bella, and Dias, at least in the context of Hausdorff spaces.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Determinacy of Schmidt's Game and Other Intersection Games
Authors:
Logan Crone,
Lior Fishman,
Stephen Jackson
Abstract:
Schmidt's game, and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory. These games are real games, that is, games in which the players make moves from a complete separable metric space. The determinacy of these games trivially follows from the axiom of determinacy for real games,…
▽ More
Schmidt's game, and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory. These games are real games, that is, games in which the players make moves from a complete separable metric space. The determinacy of these games trivially follows from the axiom of determinacy for real games, $\mathsf{AD}_\mathbb{R}$, which is a much stronger axiom than that asserting all integer games are determined, $\mathsf{AD}$. One of our main results is a general theorem which under the hypothesis $\mathsf{AD}$ implies the determinacy of intersection games which have a property allowing strategies to be simplified. In particular, we show that Schmidt's $(α,β,ρ)$ game on $\mathbb{R}$ is determined from $\mathsf{AD}$ alone, but on $\mathbb{R}^n$ for $n \geq 3$ we show that $\mathsf{AD}$ does not imply the determinacy of this game. We also prove several other results specifically related to the determinacy of Schmidt's game. These results highlight the obstacles in obtaining the determinacy of Schmidt's game from $\mathsf{AD}$.
△ Less
Submitted 4 December, 2017;
originally announced December 2017.
-
A variational principle in the parametric geometry of numbers, with applications to metric Diophantine approximation
Authors:
Tushar Das,
Lior Fishman,
David Simmons,
Mariusz Urbański
Abstract:
We establish a new connection between metric Diophantine approximation and the parametric geometry of numbers by proving a variational principle facilitating the computation of the Hausdorff and packing dimensions of many sets of interest in Diophantine approximation. In particular, we show that the Hausdorff and packing dimensions of the set of singular $m\times n$ matrices are both equal to…
▽ More
We establish a new connection between metric Diophantine approximation and the parametric geometry of numbers by proving a variational principle facilitating the computation of the Hausdorff and packing dimensions of many sets of interest in Diophantine approximation. In particular, we show that the Hausdorff and packing dimensions of the set of singular $m\times n$ matrices are both equal to $mn \big(1-\frac1{m+n}\big)$, thus proving a conjecture of Kadyrov, Kleinbock, Lindenstrauss, and Margulis (preprint 2014) as well as answering a question of Bugeaud, Cheung, and Chevallier (preprint 2016). We introduce the notion of a $template$, which generalizes the notion of a $rigid$ $system$ (Roy, 2015) to the setting of matrix approximation. Our main theorem takes the following form: for any class of templates $\mathcal F$ closed under finite perturbations, the Hausdorff and packing dimensions of the set of matrices whose successive minima functions are members of $\mathcal F$ (up to finite perturbation) can be written as the suprema over $\mathcal F$ of certain natural functions on the space of templates. Besides implying KKLM's conjecture, this theorem has many other applications including computing the Hausdorff and packing dimensions of the set of points witnessing a conjecture of Starkov (2000), and of the set of points witnessing a conjecture of Schmidt (1983).
△ Less
Submitted 8 July, 2017; v1 submitted 18 April, 2017;
originally announced April 2017.
-
Quantitative results using variants of Schmidt's game: Dimension bounds, arithmetic progressions, and more
Authors:
Ryan Broderick,
Lior Fishman,
David Simmons
Abstract:
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…
▽ More
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 dimension of the set of $ε$-badly approximable numbers on the Cantor set?
We show that a variant of Schmidt's game known as the $potential$ $game$ is capable of providing better bounds on the answers to these questions than the classical Schmidt's game. We also use the potential game to provide a new proof of an important lemma in the classical proof of the existence of Hall's Ray.
△ Less
Submitted 15 September, 2017; v1 submitted 27 March, 2017;
originally announced March 2017.
-
Badly approximable points on self-affine sponges and the lower Assouad dimension
Authors:
Tushar Das,
Lior Fishman,
David Simmons,
Mariusz Urbański
Abstract:
We highlight a connection between Diophantine approximation and the lower Assouad dimension by using information about the latter to show that the Hausdorff dimension of the set of badly approximable points that lie in certain non-conformal fractals, known as self-affine sponges, is bounded below by the dynamical dimension of these fractals. In particular, for self-affine sponges with equal Hausdo…
▽ More
We highlight a connection between Diophantine approximation and the lower Assouad dimension by using information about the latter to show that the Hausdorff dimension of the set of badly approximable points that lie in certain non-conformal fractals, known as self-affine sponges, is bounded below by the dynamical dimension of these fractals. In particular, for self-affine sponges with equal Hausdorff and dynamical dimensions, the set of badly approximable points has full Hausdorff dimension in the sponge. Our results, which are the first to advance beyond the conformal setting, encompass both the case of Sierpiński sponges/carpets (also known as Bedford-McMullen sponges/carpets) and the case of Barański carpets. We use the fact that the lower Assouad dimension of a hyperplane diffuse set constitutes a lower bound for the Hausdorff dimension of the set of badly approximable points in that set.
△ Less
Submitted 13 March, 2017; v1 submitted 10 August, 2016;
originally announced August 2016.
-
Uniformly de Bruijn sequences and symbolic Diophantine approximation on fractals
Authors:
Lior Fishman,
Keith Merrill,
David Simmons
Abstract:
Intrinsic Diophantine approximation on fractals, such as the Cantor ternary set, was undoubtedly motivated by questions asked by K. Mahler (1984). One of the main goals of this paper is to develop and utilize the theory of infinite de Bruijn sequences in order to answer closely related questions. In particular, we prove that the set of infinite de Bruijn sequences in $k\geq 2$ letters, thought of…
▽ More
Intrinsic Diophantine approximation on fractals, such as the Cantor ternary set, was undoubtedly motivated by questions asked by K. Mahler (1984). One of the main goals of this paper is to develop and utilize the theory of infinite de Bruijn sequences in order to answer closely related questions. In particular, we prove that the set of infinite de Bruijn sequences in $k\geq 2$ letters, thought of as a set of real numbers via a decimal expansion, has positive Hausdorff dimension. For a given $k$, these sequences bear a strong connection to Diophantine approximation on certain fractals. In particular, the optimality of an intrinsic Dirichlet function on these fractals with respect to the height function defined by symbolic representations of rationals follows from these results.
△ Less
Submitted 17 October, 2016; v1 submitted 25 May, 2016;
originally announced May 2016.
-
Badly approximable vectors and fractals defined by conformal dynamical systems
Authors:
Tushar Das,
Lior Fishman,
David Simmons,
Mariusz Urbański
Abstract:
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$ tha…
▽ More
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 ('12) by showing that every hyperplane diffuse set supports an absolutely decaying measure.
△ Less
Submitted 30 October, 2016; v1 submitted 4 March, 2016;
originally announced March 2016.
-
Intrinsic Diophantine approximation on manifolds: General theory
Authors:
Lior Fishman,
Dmitry Kleinbock,
Keith Merrill,
David Simmons
Abstract:
We investigate the question of how well points on a nondegenerate $k$-dimensional submanifold $M \subseteq \mathbb R^d$ can be approximated by rationals also lying on $M$, establishing an upper bound on the "intrinsic Dirichlet exponent" for $M$. We show that relative to this exponent, the set of badly intrinsically approximable points is of full dimension and the set of very well intrinsically ap…
▽ More
We investigate the question of how well points on a nondegenerate $k$-dimensional submanifold $M \subseteq \mathbb R^d$ can be approximated by rationals also lying on $M$, establishing an upper bound on the "intrinsic Dirichlet exponent" for $M$. We show that relative to this exponent, the set of badly intrinsically approximable points is of full dimension and the set of very well intrinsically approximable points is of zero measure. Our bound on the intrinsic Dirichlet exponent is phrased in terms of an explicit function of $k$ and $d$ which does not seem to have appeared in the literature previously. It is shown to be optimal for several particular cases. The requirement that the rationals lie on $M$ distinguishes this question from the more common context of (ambient) Diophantine approximation on manifolds, and necessitates the development of new techniques. Our main tool is an analogue of the Simplex Lemma for rationals lying on $M$ which provides new insights on the local distribution of rational points on nondegenerate manifolds.
△ Less
Submitted 18 March, 2016; v1 submitted 17 September, 2015;
originally announced September 2015.
-
Extremality and dynamically defined measures, part II: Measures from conformal dynamical systems
Authors:
Tushar Das,
Lior Fishman,
David Simmons,
Mariusz Urbański
Abstract:
We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On…
▽ More
We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying.
△ Less
Submitted 8 June, 2020; v1 submitted 23 August, 2015;
originally announced August 2015.
-
Decaying and non-decaying badly approximable numbers
Authors:
Ryan Broderick,
Lior Fishman,
David Simmons
Abstract:
We call a badly approximable number $decaying$ if, roughly, the Lagrange constants of integer multiples of that number decay as fast as possible. In this terminology, a question of Y. Bugeaud ('15) asks to find the Hausdorff dimension of the set of decaying badly approximable numbers, and also of the set of badly approximable numbers which are not decaying. We answer both questions, showing that t…
▽ More
We call a badly approximable number $decaying$ if, roughly, the Lagrange constants of integer multiples of that number decay as fast as possible. In this terminology, a question of Y. Bugeaud ('15) asks to find the Hausdorff dimension of the set of decaying badly approximable numbers, and also of the set of badly approximable numbers which are not decaying. We answer both questions, showing that the Hausdorff dimensions of both sets are equal to one. Part of our proof utilizes a game which combines the Banach--Mazur game and Schmidt's game, first introduced in Fishman, Reams, and Simmons (preprint '15).
△ Less
Submitted 19 April, 2016; v1 submitted 15 August, 2015;
originally announced August 2015.
-
Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures
Authors:
Tushar Das,
Lior Fishman,
David Simmons,
Mariusz Urbański
Abstract:
We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis ('98) resolving Sprindžuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss ('04), hereafter abbreviated KLW. As applications we…
▽ More
We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis ('98) resolving Sprindžuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss ('04), hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality.
In Part I, we introduce and develop a systematic account of two classes of measures, which we call $quasi$-$decaying$ and $weakly$ $quasi$-$decaying$. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework (which has received much attention in recent years), thus proving a conjecture of KLW. We also prove the "inherited exponent of irrationality" version of this theorem, describing the relationship between the Diophantine properties of certain subspaces of the space of matrices and measures supported on these subspaces.
In subsequent papers, we exhibit numerous examples of quasi-decaying measures, in support of the thesis that "almost any measure from dynamics and/or fractal geometry is quasi-decaying". In addition to the examples described above, we also prove (for example) that Gibbs measures (including conformal measures) of infinite iterated function systems are quasi-decaying, even if the systems in question do not satisfy the open set condition. We also discuss examples of non-extremal measures coming from dynamics, illustrating where the theory must halt.
△ Less
Submitted 15 February, 2017; v1 submitted 18 April, 2015;
originally announced April 2015.
-
The Banach-Mazur-Schmidt game and the Banach-Mazur-McMullen game
Authors:
Lior Fishman,
Vanessa Reams,
David Simmons
Abstract:
We introduce two new mathematical games, the Banach-Mazur-Schmidt game and the Banach-Mazur-McMullen game, merging well-known games. We investigate the properties of the games, as well as providing an application to Diophantine approximation theory, analyzing the geometric structure of certain Diophantine sets.
We introduce two new mathematical games, the Banach-Mazur-Schmidt game and the Banach-Mazur-McMullen game, merging well-known games. We investigate the properties of the games, as well as providing an application to Diophantine approximation theory, analyzing the geometric structure of certain Diophantine sets.
△ Less
Submitted 1 November, 2015; v1 submitted 11 March, 2015;
originally announced March 2015.
-
Variations on Dirichlet's theorem
Authors:
Lior Fishman,
David Simmons
Abstract:
We give a necessary and sufficient condition for the following property of an integer $d\in\mathbb N$ and a pair $(a,A)\in\mathbb R^2$: There exist $κ> 0$ and $Q_0\in\mathbb N$ such that for all $\mathbf x\in \mathbb R^d$ and $Q\geq Q_0$, there exists $\mathbf p/q\in\mathbb Q^d$ such that $1\leq q\leq Q$ and $\|\mathbf x - \mathbf p/q\| \leq κq^{-a} Q^{-A}$. This generalizes Dirichlet's theorem, w…
▽ More
We give a necessary and sufficient condition for the following property of an integer $d\in\mathbb N$ and a pair $(a,A)\in\mathbb R^2$: There exist $κ> 0$ and $Q_0\in\mathbb N$ such that for all $\mathbf x\in \mathbb R^d$ and $Q\geq Q_0$, there exists $\mathbf p/q\in\mathbb Q^d$ such that $1\leq q\leq Q$ and $\|\mathbf x - \mathbf p/q\| \leq κq^{-a} Q^{-A}$. This generalizes Dirichlet's theorem, which states that this property holds (with $κ= Q_0 = 1$) when $a = 1$ and $A = 1/d$. We also analyze the set of exceptions in those cases where the statement does not hold, showing that they form a comeager set. This is also true if $\mathbb R^d$ is replaced by an appropriate "Diophantine space", such as a nonsingular rational quadratic hypersurface which contains rational points. Finally, in the case $d = 1$ we describe the set of exceptions in terms of classical Diophantine conditions.
△ Less
Submitted 7 March, 2015;
originally announced March 2015.
-
Hausdorff dimensions of very well intrinsically approximable subsets of quadratic hypersurfaces
Authors:
Lior Fishman,
Keith Merrill,
David Simmons
Abstract:
We prove an analogue of a theorem of A. Pollington and S. Velani ('05), furnishing an upper bound on the Hausdorff dimension of certain subsets of the set of very well intrinsically approximable points on a quadratic hypersurface. The proof incorporates the framework of intrinsic approximation on such hypersurfaces first developed in the authors' joint work with D. Kleinbock (preprint '14) with id…
▽ More
We prove an analogue of a theorem of A. Pollington and S. Velani ('05), furnishing an upper bound on the Hausdorff dimension of certain subsets of the set of very well intrinsically approximable points on a quadratic hypersurface. The proof incorporates the framework of intrinsic approximation on such hypersurfaces first developed in the authors' joint work with D. Kleinbock (preprint '14) with ideas from work of D. Kleinbock, E. Lindenstrauss, and B. Weiss ('04).
△ Less
Submitted 15 September, 2017; v1 submitted 26 February, 2015;
originally announced February 2015.
-
Shrinking targets for non-autonomous dynamical systems corresponding to Cantor series expansions
Authors:
Lior Fishman,
Bill Mance,
David Simmons,
Mariusz Urbanski
Abstract:
We provide a closed formula of Bowen type for the Hausdorff dimension of a very general shrinking target scheme generated by the non-autonomous dynamical system on the interval $[0,1)$, viewed as $\mathbb{R}/\mathbb{Z}$, corresponding to a given method of Cantor series expansion. We also examine a wide class of examples utilizing our theorem. In particular, we provide a Diophantine approximation i…
▽ More
We provide a closed formula of Bowen type for the Hausdorff dimension of a very general shrinking target scheme generated by the non-autonomous dynamical system on the interval $[0,1)$, viewed as $\mathbb{R}/\mathbb{Z}$, corresponding to a given method of Cantor series expansion. We also examine a wide class of examples utilizing our theorem. In particular, we provide a Diophantine approximation interpretation of our scheme.
△ Less
Submitted 11 October, 2014; v1 submitted 28 September, 2014;
originally announced September 2014.
-
Rigidity of limit sets for nonplanar geometrically finite Kleinian groups of the second kind
Authors:
Lior Fishman,
David Simmons,
Mariusz Urbański
Abstract:
We consider the relation between geometrically finite groups and their limit sets in infinite-dimensional hyperbolic space. Specifically, we show that a rigidity theorem of Susskind and Swarup ('92) generalizes to infinite dimensions, while a stronger rigidity theorem of Yang and Jiang ('10) does not.
We consider the relation between geometrically finite groups and their limit sets in infinite-dimensional hyperbolic space. Specifically, we show that a rigidity theorem of Susskind and Swarup ('92) generalizes to infinite dimensions, while a stronger rigidity theorem of Yang and Jiang ('10) does not.
△ Less
Submitted 1 October, 2014; v1 submitted 12 September, 2014;
originally announced September 2014.
-
Extrinsic Diophantine approximation on manifolds and fractals
Authors:
Lior Fishman,
David Simmons
Abstract:
Fix $d\in\mathbb N$, and let $S\subseteq\mathbb R^d$ be either a real-analytic manifold or the limit set of an iterated function system (for example, $S$ could be the Cantor set or the von Koch snowflake). An $extrinsic$ Diophantine approximation to a point $\mathbf x\in S$ is a rational point $\mathbf p/q$ close to $\mathbf x$ which lies $outside$ of $S$. These approximations correspond to a ques…
▽ More
Fix $d\in\mathbb N$, and let $S\subseteq\mathbb R^d$ be either a real-analytic manifold or the limit set of an iterated function system (for example, $S$ could be the Cantor set or the von Koch snowflake). An $extrinsic$ Diophantine approximation to a point $\mathbf x\in S$ is a rational point $\mathbf p/q$ close to $\mathbf x$ which lies $outside$ of $S$. These approximations correspond to a question asked by K. Mahler ('84) regarding the Cantor set. Our main result is an extrinsic analogue of Dirichlet's theorem. Specifically, we prove that if $S$ does not contain a line segment, then for every $\mathbf x\in S\setminus\mathbb Q^d$, there exists $C > 0$ such that infinitely many vectors $\mathbf p/q\in \mathbb Q^d\setminus S$ satisfy $\|\mathbf x - \mathbf p/q\| < C/q^{(d + 1)/d}$. As this formula agrees with Dirichlet's theorem in $\mathbb R^d$ up to a multiplicative constant, one concludes that the set of rational approximants to points in $S$ which lie outside of $S$ is large. Furthermore, we deduce extrinsic analogues of the Jarník--Schmidt and Khinchin theorems from known results.
△ Less
Submitted 9 January, 2015; v1 submitted 3 June, 2014;
originally announced June 2014.
-
Intrinsic Diophantine approximation on quadric hypersurfaces
Authors:
Lior Fishman,
Dmitry Kleinbock,
Keith Merrill,
David Simmons
Abstract:
We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by all rational points in $\mathbb Q^d$. We provide complete answers to major questions of Diophantine approximation in this context. Of particular interest are the…
▽ More
We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by all rational points in $\mathbb Q^d$. We provide complete answers to major questions of Diophantine approximation in this context. Of particular interest are the impact of the real and rational ranks of the defining quadratic form, quantities whose roles in Diophantine approximation have never been previously elucidated. Our methods include a correspondence between the intrinsic Diophantine approximation theory on a rational quadric hypersurface and the dynamics of the group of projective transformations which preserve that hypersurface, similar to earlier results in the non-intrinsic setting due to Dani ('86) and Kleinbock--Margulis ('99).
△ Less
Submitted 12 January, 2021; v1 submitted 29 May, 2014;
originally announced May 2014.
-
Unconventional height functions in simultaneous Diophantine approximation
Authors:
Lior Fishman,
David Simmons
Abstract:
Simultaneous Diophantine approximation is concerned with the approximation of a point $\mathbf x\in\mathbb R^d$ by points $\mathbf r\in\mathbb Q^d$, with a view towards jointly minimizing the quantities $\|\mathbf x - \mathbf r\|$ and $H(\mathbf r)$. Here $H(\mathbf r)$ is the so-called "standard height" of the rational point $\mathbf r$. In this paper the authors ask: What changes if we replace t…
▽ More
Simultaneous Diophantine approximation is concerned with the approximation of a point $\mathbf x\in\mathbb R^d$ by points $\mathbf r\in\mathbb Q^d$, with a view towards jointly minimizing the quantities $\|\mathbf x - \mathbf r\|$ and $H(\mathbf r)$. Here $H(\mathbf r)$ is the so-called "standard height" of the rational point $\mathbf r$. In this paper the authors ask: What changes if we replace the standard height function by a different one? As it turns out, this change leads to dramatic differences from the classical theory and requires the development of new methods. We discuss three examples of nonstandard height functions, computing their exponents of irrationality as well as giving more precise results. A list of open questions is also given.
△ Less
Submitted 13 April, 2016; v1 submitted 31 January, 2014;
originally announced January 2014.
-
Determinacy and indeterminacy of games played on complete metric spaces
Authors:
Lior Fishman,
Tue Ly,
David S. Simmons
Abstract:
Schmidt's game is a powerful tool for studying properties of certain sets which arise in Diophantine approximation theory, number theory, and dynamics. Recently, many new results have been proven using this game. In this paper we address determinacy and indeterminacy questions regarding Schmidt's game and its variations, as well as more general games played on complete metric spaces (e.g. fractals…
▽ More
Schmidt's game is a powerful tool for studying properties of certain sets which arise in Diophantine approximation theory, number theory, and dynamics. Recently, many new results have been proven using this game. In this paper we address determinacy and indeterminacy questions regarding Schmidt's game and its variations, as well as more general games played on complete metric spaces (e.g. fractals). We show that except for certain exceptional cases, these games are undetermined on Bernstein sets.
△ Less
Submitted 15 July, 2013;
originally announced July 2013.
-
Diophantine approximation in Banach spaces
Authors:
Lior Fishman,
David S. Simmons,
Mariusz Urbański
Abstract:
In this paper, we extend the theory of simultaneous Diophantine approximation to infinite dimensions. Moreover, we discuss Dirichlet-type theorems in a very general framework and define what it means for such a theorem to be optimal. We show that optimality is implied by but does not imply the existence of badly approximable points.
In this paper, we extend the theory of simultaneous Diophantine approximation to infinite dimensions. Moreover, we discuss Dirichlet-type theorems in a very general framework and define what it means for such a theorem to be optimal. We show that optimality is implied by but does not imply the existence of badly approximable points.
△ Less
Submitted 25 February, 2016; v1 submitted 9 February, 2013;
originally announced February 2013.
-
Diophantine approximation and the geometry of limit sets in Gromov hyperbolic metric spaces
Authors:
Lior Fishman,
David S. Simmons,
Mariusz Urbański
Abstract:
In this paper, we provide a complete theory of Diophantine approximation in the limit set of a group acting on a Gromov hyperbolic metric space. This summarizes and completes a long line of results by many authors, from Patterson's classic '76 paper to more recent results of Hersonsky and Paulin ('02, '04, '07). Concrete examples of situations we consider which have not been considered before incl…
▽ More
In this paper, we provide a complete theory of Diophantine approximation in the limit set of a group acting on a Gromov hyperbolic metric space. This summarizes and completes a long line of results by many authors, from Patterson's classic '76 paper to more recent results of Hersonsky and Paulin ('02, '04, '07). Concrete examples of situations we consider which have not been considered before include geometrically infinite Kleinian groups, geometrically finite Kleinian groups where the approximating point is not a fixed point of the group, and groups acting on infinite-dimensional hyperbolic space. Moreover, in addition to providing much greater generality than any prior work of which we are aware, our results also give new insight into the nature of the connection between Diophantine approximation and the geometry of the limit set within which it takes place. Two results are also contained here which are purely geometric: a generalization of a theorem of Bishop and Jones ('97) to Gromov hyperbolic metric spaces, and a proof that the uniformly radial limit set of a group acting on a proper geodesic Gromov hyperbolic metric space has zero Patterson--Sullivan measure unless the group is quasiconvex-cocompact. The latter is an application of a Diophantine theorem.
△ Less
Submitted 28 July, 2015; v1 submitted 23 January, 2013;
originally announced January 2013.
-
Badly Approximable Systems of Affine Forms and Incompressibility on Fractals
Authors:
Ryan Broderick,
Lior Fishman,
David Simmons
Abstract:
We explore and refine techniques for estimating the Hausdorff dimension of exceptional sets and their diffeomorphic images. Specifically, we use a variant of Schmidt's game to deduce the strong C^1 incompressibility of the set of badly approximable systems of linear forms as well as of the set of vectors which are badly approximable with respect to a fixed system of linear forms.
We explore and refine techniques for estimating the Hausdorff dimension of exceptional sets and their diffeomorphic images. Specifically, we use a variant of Schmidt's game to deduce the strong C^1 incompressibility of the set of badly approximable systems of linear forms as well as of the set of vectors which are badly approximable with respect to a fixed system of linear forms.
△ Less
Submitted 10 August, 2012;
originally announced August 2012.
-
Intrinsic approximation for fractals defined by rational iterated function systems - Mahler's research suggestion
Authors:
Lior Fishman,
David Simmons
Abstract:
Following K. Mahler's suggestion for further research on intrinsic approximation on the Cantor ternary set, we obtain a Dirichlet type theorem for the limit sets of rational iterated function systems. We further investigate the behavior of these approximation functions under random translations. We connect the information regarding the distribution of rationals on the limit set encoded in the syst…
▽ More
Following K. Mahler's suggestion for further research on intrinsic approximation on the Cantor ternary set, we obtain a Dirichlet type theorem for the limit sets of rational iterated function systems. We further investigate the behavior of these approximation functions under random translations. We connect the information regarding the distribution of rationals on the limit set encoded in the system to the distribution of rationals in reduced form by proving a Khinchin type theorem. Finally, using a result of S. Ramanujan, we prove a theorem motivating a conjecture regarding the distribution of rationals in reduced form on the Cantor ternary set.
△ Less
Submitted 26 July, 2014; v1 submitted 10 August, 2012;
originally announced August 2012.
-
Diophantine properties of measures invariant with respect to the Gauss map
Authors:
Lior Fishman,
David Simmons,
Mariusz Urbanski
Abstract:
Motivated by the work of D. Y. Kleinbock, E. Lindenstrauss, G. A. Margulis, and B. Weiss, we explore the Diophantine properties of probability measures invariant under the Gauss map. Specifically, we prove that every such measure which has finite Lyapunov exponent is extremal, i.e. gives zero measure to the set of very well approximable numbers. We show on the other hand that there exist examples…
▽ More
Motivated by the work of D. Y. Kleinbock, E. Lindenstrauss, G. A. Margulis, and B. Weiss, we explore the Diophantine properties of probability measures invariant under the Gauss map. Specifically, we prove that every such measure which has finite Lyapunov exponent is extremal, i.e. gives zero measure to the set of very well approximable numbers. We show on the other hand that there exist examples where the Lyapunov exponent is infinite and the invariant measure is not extremal. Finally, we answer in the negative a question posed by Kleinbock, Lindenstrauss, and Weiss, by constructing a family of measures on the real line which are Ahlfors regular and yet do not satisfy a 0-1 law for approximability.
△ Less
Submitted 20 February, 2014; v1 submitted 10 August, 2012;
originally announced August 2012.
-
The set of badly approximable vectors is strongly $C^1$ incompressible
Authors:
Ryan Broderick,
Lior Fishman,
Dmitry Kleinbock,
Asaf Reich,
Barak Weiss
Abstract:
We prove that the countable intersection of $C^1$-diffeomorphic images of certain Diophantine sets has full Hausdorff dimension. For example, we show this for the set of badly approximable vectors in $\mathbb{R}^d$, improving earlier results of Schmidt and Dani. To prove this, inspired by ideas of McMullen, we define a new variant of Schmidt's $(α, β)$-game and show that our sets are hyperplane ab…
▽ More
We prove that the countable intersection of $C^1$-diffeomorphic images of certain Diophantine sets has full Hausdorff dimension. For example, we show this for the set of badly approximable vectors in $\mathbb{R}^d$, improving earlier results of Schmidt and Dani. To prove this, inspired by ideas of McMullen, we define a new variant of Schmidt's $(α, β)$-game and show that our sets are hyperplane absolute winning (HAW), which in particular implies winning in the original game. The HAW property passes automatically to games played on certain fractals, thus our sets intersect a large class of fractals in a set of positive dimension. This extends earlier results of Fishman to a more general set-up, with simpler proofs.
△ Less
Submitted 8 June, 2011;
originally announced June 2011.
-
Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Authors:
Ryan Broderick,
Lior Fishman,
Asaf Reich
Abstract:
In 1984, Kurt Mahler posed the following fundamental question: How well can irrationals in the Cantor set be approximated by rationals in the Cantor set? Towards development of such a theory, we prove a Dirichlet-type theorem for this intrinsic diophantine approximation on Cantor-like sets, and discuss related possible theorems/conjectures. The resulting approximation function is analogous to that…
▽ More
In 1984, Kurt Mahler posed the following fundamental question: How well can irrationals in the Cantor set be approximated by rationals in the Cantor set? Towards development of such a theory, we prove a Dirichlet-type theorem for this intrinsic diophantine approximation on Cantor-like sets, and discuss related possible theorems/conjectures. The resulting approximation function is analogous to that for R^d, but with d being the Hausdorff dimension of the set, and logarithmic dependence on the denominator instead.
△ Less
Submitted 18 November, 2011; v1 submitted 2 June, 2011;
originally announced June 2011.
-
Schmidt's game, fractals, and orbits of toral endomorphisms
Authors:
Ryan Broderick,
Lior Fishman,
Dmitry Kleinbock
Abstract:
Given an integer nonsingular $n\times n$ matrix $M$ and a point $y \in \mathbb{R}^n/\mathbb{Z}^n$, consider the set $\tilde E(M,y)$ of vectors $x\in \mathbb{R}^n$ such that $y$ is not a limit point of the sequence $\{M^k x \mod \mathbb{Z}^n: k\in\mathbb{N}\}$. S.G. Dani showed in 1988 that whenever $M$ is semisimple and $y \in \mathbb{Q}^n/\mathbb{Z}^n$, the set $\tilde E(M,y)$ has full Hausdorff…
▽ More
Given an integer nonsingular $n\times n$ matrix $M$ and a point $y \in \mathbb{R}^n/\mathbb{Z}^n$, consider the set $\tilde E(M,y)$ of vectors $x\in \mathbb{R}^n$ such that $y$ is not a limit point of the sequence $\{M^k x \mod \mathbb{Z}^n: k\in\mathbb{N}\}$. S.G. Dani showed in 1988 that whenever $M$ is semisimple and $y \in \mathbb{Q}^n/\mathbb{Z}^n$, the set $\tilde E(M,y)$ has full Hausdorff dimension. In this paper we strengthen this result, extending it to arbitrary $y \in \mathbb{R}^n/\mathbb{Z}^n$ and integer nonsingular $M$, and in fact replacing the sequence of powers of $M$ by any lacunary sequence of (not necessarily integer) $m\times n$ matrices. Furthermore, we show that sets of the form $\tilde E(M,y)$ and their generalizations always intersect with `sufficiently regular' fractal subsets of $\mathbb{R}^n$. As an application we give an alternative proof of a recent result of Einsiedler and Tseng on badly approximable systems of affine forms.
△ Less
Submitted 21 September, 2018; v1 submitted 2 January, 2010;
originally announced January 2010.
-
Schmidt's game, fractals, and numbers normal to no base
Authors:
Ryan Broderick,
Yann Bugeaud,
Lior Fishman,
Dmitry Kleinbock,
Barak Weiss
Abstract:
Given $b > 1$ and $y \in \mathbb{R}/\mathbb{Z}$, we consider the set of $x\in \mathbb{R}$ such that $y$ is not a limit point of the sequence $\{b^n x \bmod 1: n\in\mathbb{N}\}$. Such sets are known to have full Hausdorff dimension, and in many cases have been shown to have a stronger property of being winning in the sense of Schmidt. In this paper, by utilizing Schmidt games, we prove that these s…
▽ More
Given $b > 1$ and $y \in \mathbb{R}/\mathbb{Z}$, we consider the set of $x\in \mathbb{R}$ such that $y$ is not a limit point of the sequence $\{b^n x \bmod 1: n\in\mathbb{N}\}$. Such sets are known to have full Hausdorff dimension, and in many cases have been shown to have a stronger property of being winning in the sense of Schmidt. In this paper, by utilizing Schmidt games, we prove that these sets and their bi-Lipschitz images must intersect with `sufficiently regular' fractals $K\subset \mathbb{R}$ (that is, supporting measures $μ$ satisfying certain decay conditions). Furthermore, the intersection has full dimension in $K$ if $μ$ satisfies a power law (this holds for example if $K$ is the middle third Cantor set). Thus it follows that the set of numbers in the middle third Cantor set which are normal to no base has dimension $\log2/\log3$.
△ Less
Submitted 20 September, 2018; v1 submitted 23 September, 2009;
originally announced September 2009.
-
Diophantine approximations on fractals
Authors:
Manfred Einsiedler,
Lior Fishman,
Uri Shapira
Abstract:
We exploit dynamical properties of diagonal actions to derive results in Diophantine approximations. In particular, we prove that the continued fraction expansion of almost any point on the middle third Cantor set (with respect to the natural measure) contains all finite patterns (hence is well approximable). Similarly, we show that for a variety of fractals in [0,1]^2, possessing some symmetry, a…
▽ More
We exploit dynamical properties of diagonal actions to derive results in Diophantine approximations. In particular, we prove that the continued fraction expansion of almost any point on the middle third Cantor set (with respect to the natural measure) contains all finite patterns (hence is well approximable). Similarly, we show that for a variety of fractals in [0,1]^2, possessing some symmetry, almost any point is not Dirichlet improvable (hence is well approximable) and has property C (after Cassels). We then settle by similar methods a conjecture of M. Boshernitzan saying that there are no irrational numbers x in the unit interval such that the continued fraction expansions of {nx mod1 : n is a natural number} are uniformly eventually bounded.
△ Less
Submitted 20 January, 2011; v1 submitted 17 August, 2009;
originally announced August 2009.
-
Schmidt's game, Badly Approximable Linear Forms and Fractals
Authors:
Lior Fishman
Abstract:
We prove that for every two natural numbers M and N, if Tau is a Borel, finite, absolutely friendly measure on a compact set K of R^MN, then the intersection of K and BA(M,N) is a winning set in Schmidt's game sense played on K, where BA(M,N) is the set of badly approximable M\times N matrices. As an immediate consequence we have the following application. If K is the attractor of an irreducible…
▽ More
We prove that for every two natural numbers M and N, if Tau is a Borel, finite, absolutely friendly measure on a compact set K of R^MN, then the intersection of K and BA(M,N) is a winning set in Schmidt's game sense played on K, where BA(M,N) is the set of badly approximable M\times N matrices. As an immediate consequence we have the following application. If K is the attractor of an irreducible finite family of contracting similarity maps of R^(M\times N) satisfying the open set condition, (the Cantor ternary set, Koch's curve and Sierpinski's gasket to name a few examples), the dimK=dimK\capBA(M,N).
△ Less
Submitted 11 September, 2008;
originally announced September 2008.
-
Schmidt's Game on Certain Fractals
Authors:
Lior Fishman
Abstract:
We construct (α,β) and α-winning sets in the sense of Schmidt's game, played on the support of certain measures (very friendly and awfully friendly measures) and show how to derive the Hausdorff dimension for some. In particular we prove that if K is the attractor of an irreducible finite family of contracting similarity maps of R^N satisfying the open set condition then for any countable collecti…
▽ More
We construct (α,β) and α-winning sets in the sense of Schmidt's game, played on the support of certain measures (very friendly and awfully friendly measures) and show how to derive the Hausdorff dimension for some. In particular we prove that if K is the attractor of an irreducible finite family of contracting similarity maps of R^N satisfying the open set condition then for any countable collection of non-singular affine transformations Λ_i:R^N \to R^N, dimK=dimK\cap (\cap ^{\infty}_{i=1}(Λ_i(BA))) where BA is the set of badly approximable vectors in R^N.
△ Less
Submitted 10 November, 2010; v1 submitted 13 June, 2006;
originally announced June 2006.
