Related papers: Metric Diophantine approximation and 'absolutely f…

We prove that for any proper metric space $X$ and a function $\psi:(0,\infty)\to(0,\infty)$ from a suitable class of approximation functions, the Hausdorff dimensions of the set $W_\psi(Q)$ of all points $\psi$-well-approximable by a…

For an m by n real matrix A, we investigate the set of badly approximable targets for A as a subset of the m-torus. It is well known that this set is large in the sense that it is dense and has full Hausdorff dimension. We investigate the…

In this paper we prove a conjecture of Kleinbock and Tomanov \cite[Conjecture~FP]{KT} on Diophantine properties of a large class of fractal measures on $\mathbb{Q}_p^n$. More generally, we establish the $p$-adic analogues of the influential…

Theorems of Khintchine, Groshev, Jarn\'ik, and Besicovitch in Diophantine approximation are fundamental results on the metric properties of $\Psi$-well approximable sets. These foundational results have since been generalised to the…

The goal of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to $p$-adic numbers. Firstly, we establish complete analogues of Khintchine's theorem, the Duffin-Schaeffer theorem and the…

Let $\psi : \mathbb{R}_{>0}\rightarrow \mathbb{R}_{>0}$ be a non-increasing function. Denote by $W(\psi)$ the set of $\psi$-well-approximable points and by $E(\psi)$ the set of points $x\in[0,1]$ such that for any $0 < \epsilon < 1$ there…

Recently, Ghosh \& Haynes \cite{HG} 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\'{\i}k-type result also holds…

There are two fundamental results in the classical theory of metric Diophantine approximation: Khintchine's theorem and Jarnik's theorem. The former relates the size of the set of well approximable numbers, expressed in terms of Lebesgue…

Let $E\subset [0,1]$ be a set that supports a probability measure $\mu$ with the property that $|\widehat{\mu}(t)|\ll (\log |t|)^{-A}$ for some constant $A>2.$ Let $\mathcal{A}=(q_n)_{n\in \N}$ be a positive, real-valued, lacunary sequence.…

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…

In these notes, we begin by recalling aspects of the classical theory of metric Diophantine approximation; such as theorems of Khintchine, Jarn\'{\i}k, Duffin-Schaeffer and Gallagher. We then describe recent strengthening of various…

We provide an algorithm to approximate a finitely supported discrete measure $\mu$ by a measure $\nu_{N}$ corresponding to a set of $N$ points so that the total variation between $\mu$ and $\nu_N$ has an upper bound. As a consequence if…

In this paper we develop a general framework of badly approximable points in a metric space $X$ equipped with a $\sigma$-finite doubling Borel regular measure $\mu$. We establish that under mild assumptions the $\mu$-measure of the set of…

Let $k \ge 1$ be an integer and $f$ a holomorphic endomorphism of $\mathbb P^k (\mathbb C)$ of algebraic degree $d\geq 2$. We introduce a volume dimension for ergodic $f$-invariant probability measures with strictly positive Lyapunov…

In metric Diophantine approximation, one frequently encounters the problem of showing that a limsup set has positive or full measure. Often it is a set of points in $m$-dimensional Euclidean space, or a set of $n$-by-$m$ systems of linear…

We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…

Let $K$ denote the middle third Cantor set and ${\cal A}:= \{3^n : n = 0,1,2, >... \} $. Given a real, positive function $\psi$ let $ W_{\cal A}(\psi)$ denote the set of real numbers $x$ in the unit interval for which there exist infinitely…

Let $E\subset [0,1)^{d}$ be a set supporting a probability measure $\mu$ with Fourier decay $|\widehat{\mu}({\bf{t}})|\ll (\log |{\bf{t}}|)^{-s}$ for some constant $s>d+1.$ Consider a sequence of expanding integral matrices…

In this note we consider a generalisation to the metric setting of the recent work [Gu-Yung, JFA 281 (2021), 109075]. In particular, we show that under relatively weak conditions on a metric measure space $(X,d,\nu)$, it holds true that \[…

By introducing a ubiquity property for rectangles, we prove the mass transference principle from rectangles to rectangles, i.e., if a sequence of rectangles forms a ubiquity system (a full measure property), then the limsup set defined by…