Table of Contents
Fetching ...

The Prime times of twisted Diophantine approximation

Manuel Hauke

Abstract

The seminal work of Kurzweil (1955) provides for any fixed badly approximable $α$ and monotonically decreasing $ψ$ a Khintchine-type statement on the set of the inhomogeneous real parameters $γ$ for which $\lVert n α+ γ\rVert \leq ψ(n)$ has infinitely many integer solutions, and further shows that the assumption of $α$ being badly approximable is necessary. In this article, we generalize Kurzweil's statement to restricting $n \in \mathcal{A}$, where $\mathcal{A} \subseteq \mathbb{N}$ is a set with some multiplicative structure. We show that for badly approximable $α$, the result of Kurzweil extends to a general class of sets $\mathcal{A}$, which allows us to establish the Kurzweil-type result in particular along the primes and along the sums of two squares. Furthermore, we construct non-trivial sets $\mathcal{A}$ where the assumption of $α$ being badly approximable is necessary. In particular, this criterion applies to $\mathcal{A}$ being the set of square-free numbers, providing a novel characterization of the badly approximable numbers. These statements in particular allow for improving the best known bounds for $\lVert n α+ γ\rVert \leq ψ(n)$ for infinitely many $n \in \mathcal{A}$ for fixed badly approximable $α$ and for various sets $\mathcal{A}$ of number-theoretic interest when accepting an exceptional set for $γ$ of Lebesgue measure $0$.

The Prime times of twisted Diophantine approximation

Abstract

The seminal work of Kurzweil (1955) provides for any fixed badly approximable and monotonically decreasing a Khintchine-type statement on the set of the inhomogeneous real parameters for which has infinitely many integer solutions, and further shows that the assumption of being badly approximable is necessary. In this article, we generalize Kurzweil's statement to restricting , where is a set with some multiplicative structure. We show that for badly approximable , the result of Kurzweil extends to a general class of sets , which allows us to establish the Kurzweil-type result in particular along the primes and along the sums of two squares. Furthermore, we construct non-trivial sets where the assumption of being badly approximable is necessary. In particular, this criterion applies to being the set of square-free numbers, providing a novel characterization of the badly approximable numbers. These statements in particular allow for improving the best known bounds for for infinitely many for fixed badly approximable and for various sets of number-theoretic interest when accepting an exceptional set for of Lebesgue measure .

Paper Structure

This paper contains 17 sections, 22 theorems, 156 equations.

Key Result

Theorem 1

Let $\psi: \mathop{\mathrm{\mathbb{N}}}\nolimits \to [0,\infty)$ be a monotonically decreasing function. Writing where $\lVert.\rVert$ stands for the distance to the nearest integer, we have that where $\lambda$ denotes the ($1$-dimensional) Lebesgue measure.

Theorems & Definitions (35)

  • Theorem : Khintchine's Theorem (1924)
  • Theorem : Kurzweil's Theorem (1955)
  • Theorem 1
  • Corollary 2: Prime case
  • Corollary 3: Case of sum of two squares
  • Corollary 4: Case of Löschian integers
  • Corollary 5: Case of $\mathop{\mathrm{\mathbb{S}}}\nolimits_2 \cap \mathbb{L}$
  • Theorem 6
  • Corollary 7
  • Proposition 8: Helpful assumptions for $\psi$
  • ...and 25 more