Abstract:We estimate from below the lower density of the set of prime numbers p such that p-1 has a prime factor of size at least p^c, where c lies in between 1/4 and 1/2. We also establish upper and lower bounds on the counting function of the set of positive integers n up to x with exactly k prime factors, counted with or without multiplicity, such that the largest prime factor of gcd(p-1 : p | n) exceeds n^{1/2k}.
What problem does this paper attempt to address?
This paper attempts to solve two main problems, both of which are related to prime numbers and their specific properties. Specifically:
1. **Estimating the lower bound density of shifted primes with large prime factors**:
- The paper studies expressions of the form \(p - 1\) and focuses on cases where there are large prime factors. Specifically, the author estimates the lower bound density of the set \(N_\alpha\) of prime numbers \(p\) satisfying \(P(p - 1)\geq p^{1/2-\alpha}\), where \(0\leq\alpha\leq1/4\). Here \(P(n)\) represents the largest prime factor of the integer \(n\).
- By estimating the lower bound density of these prime numbers, the author generalizes Goldfeld's result, that is, for \(\alpha = 0\), \(\kappa(1/2)\geq1/2\).
2. **Estimating the counting function of positive integers with specific properties**:
- For a given \(k\geq1\) and \(a\in(0, 1/k)\), define the set \(A_{k,a}\) as all positive integers of the form \(n = p_1\cdots p_k\), where \(p_i\) are prime numbers, and the largest prime factor of \(\gcd(p_1 - 1,\ldots,p_k - 1)\) is greater than \(n^a\).
- The author gives upper and lower bound estimates of \(A_{k,a}(x)\), and in particular, when \(a = 1/(2k)\), provides a more accurate asymptotic estimate.
### Formula Summary
- **Theorem 1**: Let \(0\leq\alpha\leq1/4\), and let
\[
N_\alpha=\{p\text{ prime}: P(p - 1)\geq p^{1/2-\alpha}\}
\]
Then
\[
\#N_\alpha(x)\geq\left(\frac{1}{2}+\alpha\right)\frac{x}{\log x}+E(x)
\]
where
\[
E(x)=\begin{cases}
O\left(\frac{x\log\log x}{(\log x)^2}\right)&(\alpha < 1/4)\\
O\left(\frac{x}{(\log x)^{5/3}}\right)&(\alpha = 1/4)
\end{cases}
\]
- **Theorem 2**: For fixed \(k\geq2\) and \(a\in\left[\frac{1}{2k},\frac{17}{32k}\right)\), we have
\[
x^{1 - a(k - 1)}(\log x)^{-k - 1}\ll\#A_{k,a}(x)\ll x^{1 - a(k - 1)}(\log\log x)^{k - 1}(\log x)^{-2}
\]
In particular, when \(a=\frac{1}{2k}\),
\[
\#A_{k,1/(2k)}(x)=x^{1/2+1/2k+o(1)},\quad x\rightarrow\infty
\]
The research motivation for these two problems comes from a technical method for estimating the relationship between the degree of the coefficient field of a new form and its level. The paper makes new progress in these directions by improving and expanding existing mathematical tools (such as the Brun - Titchmarsh inequality, the Bombieri - Vinogradov theorem, etc.).