Related papers: Smallest totient in a residue class

A composite number $n$ is called Lehmer when $\phi(n) | n - 1$, where $\phi$ is the Euler totient function. In 1932, D.~H.~Lehmer conjectured that there are no composite Lehmer numbers and showed that Lehmer numbers must be odd and…

We study for bounded multiplicative functions $f$ sums of the form \begin{align*} \sum_{\substack{n\leq x \atop n\equiv a\pmod q}}f(n), \end{align*} establishing that their variance over residue classes $a \pmod q$ is small as soon as…

We fix a positive integer $k$ and look for solutions of the equations $\phi(n+k) = \phi(n)$ and $\phi(n + k) = 2\phi(n)$. We prove that Fermat primes can be used to build five solutions for the first equation when $k$ is even and five for…

In 1963, Edward Spence published a proof of the following With $\phi$ being Euler totient function, if $n>1$ is an integer, and if \begin{equation*} 0<a_1<\cdots<a_{\phi(n)}<n, \end{equation*} are the positive integers less than $n$,…

We prove that every arithmetic progression either contains infinitely many Carmichael numbers or none at all. Furthermore, there is a simple criterion for determining which category a given arithmetic progression falls into. In particular,…

For a fixed positive integer $k$, let $C(k,n)$ denote the number of two-color partitions of $n$ with odd smallest part and restrictions on even parts, and let $C_k(q)$ be its generating function. We show that $C(1,n)\equiv d(2n-1)\pmod{4}$…

Let $p(n)$ denote the partition function. In this article, we will show that congruences of the form $$ p(m^j\ell^kn+B)\equiv 0\mod m \text{for all} n\ge 0 $$ exist for all primes $m$ and $\ell$ satisfying $m\ge 13$ and $\ell\neq 2,3,m$.…

Let $a$ and $m>0$ be integers. We show that for any integer $b$ relatively prime to $m$, the set $\{a^n+bn:\ n=1,\ldots,m^2\}$ contains a complete system of residues modulo $m$. We also pose several conjectures for further research; for…

We consider a tuple $\Phi = (\phi_1,\ldots,\phi_m)$ of commuting maps on a finitary matroid $X$. We show that if $\Phi$ satisfies certain conditions, then for any finite set $A\subseteq X$, the rank of $\{\phi_1^{r_1}\cdots\phi_m^{r_m}(a):a…

We obtain an upper bound for the sum $\sum_{n\leq N} (a_{n}/\varphi (a_{n}))^{s}$, where $\varphi$ is Euler's totient function, $s\in \mathbb{N}$, and $a_{1},\ldots, a_{N}$ are positive integers (not necessarily distinct) with some…

Let $l$ and $m$ be two integers with $l>m\ge 0$, and let $f(x)$ be the product of two linear polynomials with integer coefficients. In this paper, we show that $\log {\rm lcm}_{mn<i\le ln}\{f(i)\}=An+o(n)$, where $A$ is a constant depending…

We show that if $\frac{L}{\varphi(q)\log X}\to\infty$ as $X\to\infty$, almost all $(a, x)\in (\mathbb Z/q\mathbb Z)^\times\times [X, 2X]$ are such that there exists a product of at most two primes in $[x, x + L]$ congruent to $a\mod{q}$.

We provide a uniform bound on the partial sums of multiplicative functions under very general hypotheses. As an application, we give a nearly optimal estimate for the count of $n \le x$ for which the Alladi-Erd\H{o}s function $A(n) =…

We present a short, self-contained, and purely combinatorial proof of Linnik's theorem: for any $\varepsilon > 0$ there exists a constant $C_\varepsilon$ such that for any $N$, there are at most $C_\varepsilon$ primes $p \leqslant N$ such…

If an $m+2$-manifold $M$ is locally modeled on $\RR^{m+2}$ with coordinate changes lying in the subgroup $G=\RR^{m+2}\rtimes ({\rO}(m+1,1)\times \RR^+)$ of the affine group ${\rA}(m+2)$, then $M$ is said to be a \emph{Lorentzian similarity…

Let $A$ be a unital associative ring and let $T^{(k)}$ be the two-sided ideal of $A$ generated by all commutators $[a_1, a_2, \dots , a_k]$ $(a_i \in A)$ where $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots , a_{k-1}, a_k] = \bigl[ [a_1,…

We consider an almost o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$ and its tame extension $\mathcal N=(N,<,+,0,\ldots)$. We demonstrate that the subset $\{x \in M^n\;|\; \mathcal N \models \Phi(x,a)\}$ of $M^n$…

We prove unconditionally that for each $\ell \geq 1$, the difference $\phi(p-\ell) - \phi(p+\ell)$ is positive for $50\%$ of odd primes $p$ and negative for $50\%$.

We say that the order of an algebraic number $A$ is the minimum of positive integers $k$ such that $A^k$ is rational. In this paper, we show that the number of algebraic numbers $A$ with order $k$ such that \[ A,\ A^A,\ A^{A^A},\ \ldots \]…

Let $m$ and $n$ be positive integers with $m,n \geq 2$. The second Hardy-Littlewood conjecture states that the number of primes in the interval $(m,m+n]$ is always less than or equal to the number of primes in the interval $[2,n]$. Based on…