3
$\begingroup$

Let $q$ be a positive integer greater than one, and let $a$ be an integer such that $\gcd(a,q) = 1$. Define $$D(a,q) = \{n \in \mathbb{N} : p | n \Rightarrow p \equiv a \pmod{q} \}.$$ Do we know the density of $D(a,q)$ as a subset of the natural numbers? More precisely, define $$D(a,q; x) = \{n \in \mathbb{N} : n \in D(a,q), n \leq x\}.$$ What is the limit of $$\lim_{x \rightarrow \infty} \frac{\#D(a,q;x)}{x}?$$ More generally, let $\mathfrak{P}$ denote a subset of the primes with positive density. Define $$D(\mathfrak{P}) = \{n \in \mathbb{N} : p | n \Rightarrow p \in \mathfrak{P}\}.$$ Can we compute the density of $D(\mathfrak{P})$ as a subset of the natural numbers, given the relative density of $\mathfrak{P}$ in the primes?

$\endgroup$
3
  • 2
    $\begingroup$ I would recommend looking at the paper of Granville, Koukoulopoulos, and Matomaki at arxiv.org/abs/1205.0413 for the state of the art on the latter question. It looks like $D(a,q;x)$ should be something like $x \log^{1/\phi(q) - 1} x$. $\endgroup$
    – Terry Tao
    Mar 2, 2015 at 18:05
  • 3
    $\begingroup$ Taken literally, the question is not really interesting: if $\mathfrak P$ has (upper) relative density $< 1$ (which is the case for $D(a,q)$), then the density of $D(\mathfrak P)$ is at most $\prod_{p\notin\mathfrak P}(1-p^{-1})=0$, whereas if $\mathfrak P$ has relative density $1$, the density of $D(\mathfrak P)$ can be most anything. $\endgroup$ Mar 2, 2015 at 19:03
  • $\begingroup$ In the definition of $D(a,q)$ did you mean to assert that $p\mid n$ is a prime? $\endgroup$
    – gen
    Mar 26, 2019 at 10:35

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.