Searcharxiv⌕ Search

arXiv subjects

Lior Fishman

Publications and source records attributed to Lior Fishman.

At least 37 records · Page 2Linked to original sources
arXiv2017

Badly approximable points on self-affine sponges and the lower Assouad dimension

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.

math.DS↗
arXiv2017

Extremality and dynamically defined measures, part I: Diophantine properties of quasi-decaying measures

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.

math.DS↗
arXiv2016

Badly approximable vectors and fractals defined by conformal dynamical systems

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.

math.NT↗
arXiv2016

Uniformly de Bruijn sequences and symbolic Diophantine approximation on fractals

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.

math.CO↗
arXiv2016

Decaying and non-decaying badly approximable numbers

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).

math.NT↗
arXiv2016

Unconventional height functions in simultaneous Diophantine approximation

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.

math.NT↗
arXiv2016

Intrinsic Diophantine approximation on manifolds: General theory

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.

math.NT↗
arXiv2016

Diophantine approximation in Banach spaces

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.

math.NT↗
arXiv2015

The Banach-Mazur-Schmidt game and the Banach-Mazur-McMullen game

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.

math.NT↗
arXiv2015

Diophantine approximation and the geometry of limit sets in Gromov hyperbolic metric spaces

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.

math.DS↗
arXiv2015

Variations on Dirichlet's theorem

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.

math.NT↗
arXiv2015

Extrinsic Diophantine approximation on manifolds and fractals

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.

math.NT↗
arXiv2014

Shrinking targets for non-autonomous dynamical systems corresponding to Cantor series expansions

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.

math.DS↗
arXiv2014

Intrinsic approximation for fractals defined by rational iterated function systems - Mahler's research suggestion

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.

math.NT↗
arXiv2014

Diophantine properties of measures invariant with respect to the Gauss map

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.

math.NT↗
arXiv2013

Determinacy and indeterminacy of games played on complete metric spaces

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.

math.LO↗
arXiv2012

Badly Approximable Systems of Affine Forms and Incompressibility on Fractals

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.

math.NT↗