Abstract:We obtain a totient analogue for Linnik's theorem in arithmetic progressions. Specifically, for any coprime pair of positive integers $(m,a)$ such that $m$ is odd, there exists $n\le m^{2+o(1)}$ such that $\varphi(n)\equiv a\,\mathrm{mod}\,{m}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the distribution of the Euler function in congruence classes. Specifically, it is to find the smallest positive integer \(n\) such that \(\phi(n)\equiv a\pmod{m}\), where \(m\) and \(a\) are relatively prime positive integers and \(m\) is odd. This problem is related to the generalization of Linnik's theorem in arithmetic progressions.
### Background and Problem Description
1. **Euler function**: Let \(\phi(n)\) denote the Euler function, that is, the number of positive integers less than or equal to \(n\) and relatively prime to \(n\).
2. **Totient (Euler function value)**: A totient refers to an integer that can be a value of \(\phi(n)\).
3. **Distribution of totients in congruence classes**: Studying the distribution of totients in different congruence classes is an important mathematical problem.
### Specific Problem
For any pair of relatively prime positive integers \((m, a)\), where \(m\) is odd, define \(N(a, m)\) as the smallest positive integer \(n\) that satisfies \(\phi(n)\equiv a\pmod{m}\). The goal of this paper is to obtain an upper bound estimate of \(N(a, m)\) and prove that for all odd \(m\), there is a uniform upper bound:
\[N(a, m)\ll_{\epsilon}m^{2 + \epsilon}\]
### Related Work
- **Existing Results**:
- Friedlander and Shparlinski [5] proved that if \(m\) is a prime number, then \(N(a, m)\ll_{\epsilon}m^{2.5+\epsilon}\).
- Garaev [7] improved this result to \(N(a, m)\ll_{\epsilon}m^{2+\epsilon}\).
- For composite numbers \(m\), Friedlander and Shparlinski established upper bound estimates under more complex conditions.
- Cilleruelo and Garaev [1] finally improved these results to \(N(a, m)\ll_{\epsilon}m^{2+\epsilon}\).
### Main Contributions of the Paper
By introducing new methods and techniques, especially dealing with sums of small - conductor characters and large - conductor characters, this paper successfully proves that the above upper bound estimate holds for all odd \(m\). This provides a more unified and concise proof for solving this problem.
### Conclusion
The main conclusion of the paper is:
\[ \text{For any }\epsilon > 0\text{ and all odd }m\text{ and integers }a\text{ such that }\gcd(a, m)= 1, \text{ we have:}\]
\[N(a, m)\ll_{\epsilon}m^{2+\epsilon}\]
This result significantly advances the understanding of the distribution of the Euler function in congruence classes and provides an important basis for further research in related fields.