Stephen Harrap

On shrinking targets for Zm actions on tori

Let A be an n by m matrix with real entries. Consider the set Bad_A of x \in [0,1)^n for which there exists a constant c(x)>0 such that for any q \in Z^m the distance between x and the point {Aq} is at least c(x) |q|^{-m/n}. It is shown that the intersection of Bad_A with any suitably regular fractal set is of maximal Hausdorff dimension. The linear form systems investigated in this paper are natural extensions of irrational rotations of the circle. Even in the latter one-dimensional case, the results obtained are new.

AN INHOMOGENEOUS JARNÍK TYPE THEOREM FOR PLANAR CURVES

In metric Diophantine approximation there are classically four main classes of approximations: simultaneous and dual for both homogeneous and inhomogeneous settings. The well known measure-theoretic theorems of Khintchine and Jarnik are fundamental to each of them. Recently, there has been substantial progress towards establishing a metric theory of Diophantine approximation on manifolds for each of the classes above. In particular, both Khintchine and Jarnik-type results have been established for approximation on planar curves except for only one case. In this paper, we prove an inhomogeneous Jarnik type theorem for convergence on planar curves in the setting of dual approximation and in so doing complete the metric theory of Diophantine approximation on planar curves.

A note on weighted badly approximable linear forms.

We prove a result in the area of twisted Diophantine approximation related to the theory of Schmidt games. In particular, under certain restrictions we give a affirmative answer to the analogue in this setting of a famous conjecture of Schmidt from Diophantine approximation.

A problem in non-linear Diophantine approximation.

In this paper we obtain the Lebesgue and Hausdorff measure results for the set of vectors satisfying infinitely many fully non-linear Diophantine inequalities. The set is associated with a class of linear inhomogeneous partial differential equations whose solubility depends on a certain Diophantine condition. The failure of the Diophantine condition guarantees the existence of a smooth solution.

A note on badly approximabe sets in projective space

Recently, Ghosh and Haynes (J Reine Angew Math 712:39–50, 2016) proved a Khintchine-type result for the problem of Diophantine approximation in certain projective spaces. In this note we complement their result by observing that a Jarník-type result also holds for ‘badly approximable’ points in real projective space. In particular, we prove that the natural analogue in projective space of the classical set of badly approximable numbers has full Hausdorff dimension when intersected with certain compact subsets of real projective space. Furthermore, we also establish an analogue of Khintchine’s theorem for convergence relating to ‘intrinsic’ approximation of points in these compact sets.