Related papers: On the Duffin-Schaeffer conjecture

We prove versions of Khintchine's Theorem (1924) for approximations by rational numbers whose numerators lie in randomly chosen sets of integers, and we explore the extent to which the monotonicity assumption can be removed. Roughly…

The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to [2,\infty)$, we determine…

The classical Khintchine and Jarn\'ik theorems, generalizations of a consequence of Dirichlet's theorem, are fundamental results in the theory of Diophantine approximation. These theorems are concerned with the size of the set of real…

Recently, the authors showed that for every irrational number $\alpha$, there exist infinitely many positive integers $n$ represented by any given positive definite binary quadratic form $Q$, satisfying $||\alpha n||<n^{-(1/2-\varepsilon)}$…

Our main result concerns a perturbation of a classic theorem of Khintchine in Diophantine approximation. We give sufficient conditions on a sequence of positive real numbers $(\psi_n)_{n \in \mathbb{N}}$ and differentiable functions…

The Mittag-Leffler function $E_{\alpha}$ being a natural generalization of the exponential function, an infinite-dimensional version of the fractional Poisson measure would have a characteristic functional \[ C_{\alpha}(\phi)…

Khabibullin's conjecture for integral inequalities has two numeric parameters $n$ and $\alpha$ in its statement, $n$ being a positive integer and $\alpha$ being a positive real number. This conjecture is already proved in the case where…

This paper takes a new step in the direction of proving the Duffin-Schaeffer Conjecture for measures arbitrarily close to Lebesgue. The main result is that under a mild `extra divergence' hypothesis, the conjecture is true.

Let $\psi:\mathbb R_+\to\mathbb R_+$ be a non-increasing function. A real number $x$ is said to be $\psi$-Dirichlet improvable if the system $$|qx-p|< \, \psi(t) \ \ {\text{and}} \ \ |q|<t$$ has a non-trivial integer solution for all large…

Let $\psi:\mathbb R_+\to\mathbb R_+$ be a non-increasing function. A real number $x$ is said to be $\psi$-Dirichlet improvable if it admits an improvement to Dirichlet's theorem in the following sense: the system $$|qx-p|< \, \psi(t) \ \…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Let $\alpha$ be an irrational real number. We show that the set of $\epsilon$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (\alpha) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| q\alpha -x \| \geq \varepsilon \} \]…

A theorem of Kurzweil ('55) on inhomogeneous Diophantine approximation states that if $\theta$ is an irrational number, then the following are equivalent: (A) for every decreasing positive function $\psi$ such that $\sum_{q = 1}^\infty…

We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erd\"os similarity…

Duffin and Schaeffer have generalized the classical theorem of Khintchine in metric Diophantine approximation in the case of any error function under the assumption that all the rational approximants are irreducible. This result is extended…

The most versatile version of the classical divergence Borel-Cantelli lemma shows that for any divergent sequence of events $E_n$ in a probability space satisfying a quasi-independence condition, its corresponding limsup set $E_\infty$ has…

We prove the inhomogeneous generalization of the Duffin-Schaeffer conjecture in dimension $m \geq 3$. That is, given $\mathbf{y}\in \mathbb{R}^m$ and $\psi:\mathbb{N}\to\mathbb{R}_{\geq 0}$ such that $\sum (\varphi(q)\psi(q)/q)^m = \infty$,…

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

It is a classical result from Diophantine approximation that the set of badly approximable numbers has Lebesgue measure zero. In this paper we generalise this result to more general sequences of balls. Given a countable set of closed…

We quantify the density of rational points in the unit sphere $S^n$, proving analogues of the classical theorems on the embedding of $\q^n$ into $\r^n$. Specifically, we prove a Dirichlet theorem stating that every point $\alpha \in S^n$ is…