On the Weakly Prime-Additive Numbers with Length 4
In 1992, Erd$ő$s and Hegyv$á$ri showed that for any prime p, there exist infinitely many length 3 weakly prime-additive numbers divisible by p. In 2018, Fang and Chen showed that for any positive integer m, there exists infinitely many length 3 weakly prime-additive numbers divisible by m if and only if 8 does not divide m. Under the assumption (*) of existence of a prime in certain arithmetic progression with prescribed primitive root, which is true under the Generalized Riemann Hypothesis (GRH), we show for any positive integer m, there exists infinitely many length 4 weakly prime-additive numbers divisible by m. We also present another related result analogous to the length 3 case shown by Fang and Chen.
\section{Introduction}

A number $n$ with at least 2 distinct prime divisors is called \textit{prime-additive} if $n=\sum_{p|n}p^{a_p}$ for some $a_p>0$. If additionally $p^{a_p}<n\leq p^{a_p+1}$ for all $p|n$, then $n$ is called \textit{strongly prime-additive}. In 1992, Erd\H{o}s and Hegyv\'{a}ri \cite{Erdos} stated a few examples and conjectured that there are infinitely many strongly prime-additive numbers. However, this problem was and is still far from being solved. For example, not even the infinitude of prime-additive numbers is known. Therefore they introduced the following weaker version of prime-additive numbers.

\begin{defn}
A positive integer $n$ is said to be \textit{weakly prime-additive} if $n$ has 2 distinct prime divisors, and there exists distinct prime divisors $p_1,...,p_t$ of $n$ and positive integers $a_1,...,a_t$ such that $n=p_1^{a_1}+\cdots+p_t^{a_t}$. The minimal value of such $t$ is defined to be the \textit{length} of $n$, denoted as $\kappa_n$.

Note that if $n$ is a weakly prime-additive number, then $\kappa_n\geq3$. So we call a weakly prime-additive number with length 3 a \textit{shortest weakly prime-additive} number.
\end{defn}

Erd\H{o}s and Hegyv\'{a}ri \cite{Erdos} showed that for any prime $p$, there exist infinitely many weakly prime-additive numbers divisible by $p$. In fact, they showed that these weakly prime-additive numbers can be taken to be shortest weakly prime-additive in their proof. They also showed that the number of shortest weakly prime-additive numbers up to some integer $N$ is at least $c(\log N)^3$ for sufficiently small constant $c>0$.

In 2018, Fang and Chen \cite{JHF} showed that for any positive integer $m$, there exists infinitely many shortest weakly prime-additive numbers divisible by $m$ if any only if $8$ does not divide $m$. This is Theorem \ref{shortest} stated in this paper. Also, they showed that for any positive integer $m$, there exists infinitely many weakly prime-additive numbers with length $\kappa_n\leq 5$ and divisible by $m$.

In the same paper, Fang and Chen posted 4 open problems, the first one asking for any positive integer $m$, if there are infinitely many weakly prime-additive numbers $n$ with $m|n$ and $\kappa_n=4$. In Theorem 1 of this paper, we confirm this is true under the assumption $(\ast)$ of existence of a prime in certain arithmetic progression with prescribed primitive root, and such assumption is true under the Generalized Riemann Hypothesis (GRH).

Finally, it was also shown in \cite{JHF} that for any distinct primes $p,q$, there exists a prime $r$ and infinitely many $a,b,c$ such that $pqr|p^a+q^b+r^c$. In Theorem 2, we showed an analogous result for 4 primes with a mild congruence conditions assuming $(\ast)$, the same assumption as above.

\section{Main Results}

\begin{assump}
Let $1\leq a\leq f$ be positive integers with $(a,f)=1$ and $4|f$. Let $g$ be an odd prime dividing $f$ such that $\left(\frac{g}{a}\right)=-1$ with $\left(\frac{\cdot}{\cdot}\right)$ being the Kronecker symbol. Then there exists a prime $p$ such that $p\equiv a\Mod f$ and $g$ is a primitive root of $p$.
\end{assump}

It is known that ($\ast$) is a consequence of the Grand Riemann Hypothesis (GRH), see Corollary \ref{moree} in the next section for details. Under the assumption ($\ast$), we have the following.

\begin{thm}\label{main}
Assume ($\ast$). For any positive integer $m$, there exist infinitely many weakly prime-additive numbers $n$ with $m|n$ and $\kappa_n=4$.
\end{thm}

Note that if a positive integer $n=p^a+q^b+r^c+s^d$ for some distinct primes $p,q,r,s$, and positive integers $a,b,c,d$ such that $p,q,r,s|n$, then $p,q,r,s$ are all odd primes. We have the following partial converse and analog to Theorem 1.4 in \cite{JHF}.

\begin{thm}
Assume ($\ast$). For any distinct odd primes $p,q,r$ with one of them $\equiv 3$ or $5\Mod 8$, there exists infinitely many prime $s$, infinitely many positive integers $a,b,c,d$ such that $$pqrs|p^a+q^b+r^c+s^d.$$
\end{thm}

\section{Preliminaries}
\begin{lemma}\label{fermat}
(The Fermat-Euler Theorem, Theorem 72, \cite{elementary}) Let $a,n$ be coprime positive integers, then $$a^{\phi(n)}\equiv1\Mod n$$
where $\phi$ is the Euler totient function.
\end{lemma}

We will need the following properties of the Kronecker Symbol $(\frac{\cdot}{\cdot})$, a generalization of the Legendre symbol. Whenever we write $(\frac{a}{b})$ for some integers $a,b$, it means the Kronecker symbol.

\begin{lemma}\label{kronecker}
For any nonzero integers $a,b,c$, and any odd primes $p,q$. Let $a'$, $b'$ be the odd part of $a$ and $b$ respectively, then we have:\\
\begin{align*}
1. & \left(\frac{ab}{c}\right)=\left(\frac{a}{c}\right)\left(\frac{b}{c}\right) \text{ unless c=-1}\\
2. & \left(\frac{a}{b}\right)=(-1)^{\frac{a'-1}{2}\frac{b'-1}{2}}\left(\frac{b}{a}\right)\\
3. & \left(\frac{-2}{p}\right)=\begin{cases}1&\text{ if } p\equiv 1,3\Mod 8\\ -1&\text{ if } p\equiv 5,7\Mod 8\end{cases}\\
4. & \left(\frac{a}{p}\right)\equiv a^\frac{p-1}{2}\Mod p\\
5. & \left(\frac{p}{q}\right)=\left(\frac{q}{p}\right) \text{ unless } p\equiv q\equiv 3\Mod 4.\\
& If p\equiv q\equiv 3\Mod 4, \left(\frac{p}{q}\right)=-\left(\frac{q}{p}\right)
\end{align*}
\end{lemma}
\begin{proof}
See \cite{kronecker}, p. 289-290.
\end{proof}

\begin{thm}\label{dirichlet}
(Dirichlet's Theorem) Let $a,d$ be coprime positive integers, then there are infinitely many primes $p$ such that $p\equiv a\Mod d$. 
\end{thm}
\begin{proof}
See \cite{kronecker}, chapter 1.
\end{proof}

Under GRH, we have the following generalization.

\begin{thm}\label{more}
(Theorem 1.3, \cite{PM}) Let $1\leq a\leq f$ be positive integers with $(a,f)=1$. Let $g$ be an integer that is not equal to $-1$ or a square, and let $h\geq1$ be the largest integer such that $g$ is a $h$th power. Write $g=g_1g_2^2$ with $g_1$ square free, $g_1,g_2$ are integers. Let $$\beta=\frac{g_1}{(g_1,f)} \text{ and } \gamma_1=\begin{cases}(-1)^\frac{\beta-1}{2}(f,g_1) & \text{if }\beta \text{ is odd;}\\1 & \text{otherwise.}\end{cases}$$
Let $\pi_g(x;f,a)$ be the number of primes $p\leq x$ such that $p\equiv a\Mod{f}$ and $g$ is a primitive root $\Mod{p}$. Then, assuming GRH, we have $$\pi_g(x;f,a)=\delta(a,f,g)\frac{x}{\log x}+O_{f,g}\left(\frac{x\log\log x}{\log^2 x}\right)$$
where $$\delta(a,f,g)=\frac{A(a,f,h)}{\phi(f)}\left(1-\left(\frac{\gamma_1}{a}\right)\frac{\mu(|\beta|)}{\prod_{\substack{p|\beta\\ p|h}}(p-1)\prod_{\substack{p|\beta \\ p\not|h}}(p^2-p-1)}\right)$$
if $g_1\equiv1\Mod{4}$ or $(g_1\equiv 2\Mod{4}$ and $8|f)$ or $(g_1\equiv3\Mod{4}$ and $4|f$), and $$\delta(a,f,g)=\frac{A(a,f,h)}{\phi(f)}$$ otherwise. 
Here $\mu$ is the mobius function, $\left(\frac{\cdot}{\cdot}\right)$ is the Kronecker symbol, and $$A(a,f,h)=\prod_{p|(a-1,f)}\left(1-\frac{1}{p}\right)\prod_{\substack{p\not| f \\ p|h}}\left(1-\frac{1}{p-1}\right)\prod_{\substack{p\not| f\\ p\not| h}}\left(1-\frac{1}{p(p-1)}\right)$$ if $(a-1,f,h)=1$ and $A(a,f,h)=0$ otherwise.
\end{thm}

\begin{cor}\label{moree}
Assume GRH. Let $a,f,g$ as above and $\left(\frac{g}{a}\right)=-1$. Then there exists a prime $p$ such that $p\equiv a\Mod f$ and $g$ is a primitive root of $p$, i.e. ($\ast$) is true under GRH.
\end{cor}
\begin{proof}
This is a special case of Theorem \ref{more}, where with our conditions on $a,f,g$, $\beta=h=1$, $\gamma_1=g$.
$$\delta(a,f,g)=\frac{2}{\phi(f)}\prod_{p|(a-1,f)}\left(1-\frac{1}{p}\right)\prod_{p\not| f}\left(1-\frac{1}{p(p-1)}\right)>0$$
\end{proof}

\begin{remark}
This shows that our result also follows from GRH, which is a much stronger assumption than ($\ast$).
\end{remark}

\begin{thm}\label{shortest}
(Corollary 1.1, \cite{JHF}) Let $m$ be a positive integer, then there exists infinitely many shortest weakly prime-additive numbers $n$ with $m|n$ if and only if 8 does not divide $m$.
\end{thm}

\section{Proof of Theorem 1}
We first prove the following weaker version of Theorem 1.
\begin{thm}\label{main}
Assume ($\ast$). For any positive integer $m$, there exist infinitely many weakly prime-additive numbers $n$ with $m|n$ and $\kappa_n\leq4$.
\end{thm}
\begin{proof}
Let $m$ be a positive integer. Write $m=2^km_1$ with $(m_1,2)=1$ and $k\geq0\in\Z$. Without loss of generality, we assume $k\geq3$. We will construct a family of distinct primes $p,q,r,s$ and positive integers $a,b,c$ such that $m,p,q,r,s|n:=p^a+q^b+r^c+s$.

Let $p$ be an odd prime such that $(p,m)=1$. By the Chinese Remainder Theorem and Theorem \ref{dirichlet}, there exists an odd prime $q$ such that $$q\equiv 1 \Mod{2^kp}\text{ and }q\equiv-1\Mod{m_1}$$
Again by the same two theorems, there exists an odd prime $r$ such that $$r\equiv 3\Mod{2^k}\text{ and }r\equiv1\Mod{pqm_1}$$
By the Chinese Remainder Theorem, let $s_0$ be the unique integer such that $1\leq s_0\leq pqrm$ and \begin{align*}\label{acong}
&s_0\equiv -5\Mod{2^k}\\
&s_0\equiv -1\Mod{m_1}\\
&s_0\equiv -2\Mod{pqr}
\end{align*}
Then we can see that $(s_0,pqrm)=1$.

Now note that as $k\geq3$, $r\equiv3\Mod{2^k}$, $s_0\equiv -5\mod{2^k}$ gives $r\equiv 3\Mod 8$ and $s_0\equiv 3\Mod 8$ respectively, so we have by Lemma \ref{kronecker}, \begin{align*}
    \left(\frac{r}{s_0}\right)=\left(\frac{s_0}{r}\right)(-1)^{\frac{s_0-1}{2}\frac{r-1}{2}}=-\left(\frac{s_0}{r}\right)=-\left(\frac{-2}{r}\right)=-1
\end{align*}
where we used $s_0\equiv -2\Mod r$ as $s_0\equiv -2\Mod{pqr}$.

Hence applying Corollary \ref{moree} with $a=s_0$, $f=pqrm$ and $g=r$, there exists an odd prime $s$ such that $s\equiv s_0\Mod{pqrm}$ and $r$ is a primitive root of $s$. So $s$ satisfies all of the above congruence relations satisfied by $s_0$, and there exists a positive integer $c_0$ s.t. $$r^{c_0}\equiv -2 \Mod s$$
Note by construction, $p,q,r,s$ are all distinct odd primes.

Now for any positive integer $c'$, take $$c=(p-1)(q-1)(r-1)\phi(m)c'+c_0$$
and for any positive odd integer $b'$, take $$b=\frac{1}{4}(r-1)(s-1)b'$$
Note that since $r\equiv 3\Mod{2^k}$ and $s\equiv -5\Mod{2^k}$, we have $r,s\equiv 3\Mod 4$. So $b$ is odd.

Finally, for any positive integer $a'$, take $$a=(q-1)(r-1)(s-1)\phi(m)a'$$
where $\phi$ is the euler $\phi$ function, and let $$n=p^a+q^b+r^c+s$$
Then we have the following congruence conditions:\\
1. As $q\equiv r\equiv1\Mod p$, $s\equiv -2\Mod p$, we have $$n\equiv p^a+q^b+r^c+s\equiv0+1+1-2\equiv 0\Mod p$$
2. As $q-1|a$, by Lemma \ref{fermat}, $p^a\equiv1\mod q$. So we have $$n\equiv p^a+q^b+r^c+s\equiv1+0+1-2\equiv0\Mod q$$
3. Similarly, $p^a\equiv1\Mod r$ as $r-1|a$. Since $q\equiv1\Mod{2^kp}$, $q\equiv 1\Mod 8$. By Lemma \ref{kronecker}, with $r\equiv3\Mod 8$ and $r\equiv1\Mod q$, $$q^b\equiv (q^{\frac{1}{2}(r-1)})^{\frac{1}{2}(s-1)b'}\equiv\left(\frac{q}{r}\right)^{\frac{1}{2}(s-1)b'}\equiv\left(\frac{r}{q}\right)\equiv\left(\frac{1}{q}\right)\equiv1\Mod{r}$$

So we have $$n\equiv p^a+q^b+r^c+s\equiv1+1+0-2\equiv0\Mod r$$
4. Similarly, $p^a\equiv q^b\equiv1\Mod s$. As $r^c\equiv-2\Mod s$, we have $$n\equiv p^a+q^b+r^c+s\equiv1+1-2+0\equiv 0\Mod s$$
5. As $\phi(m)|a$, by Lemma \ref{fermat}, $p^a\equiv1\Mod m$. Since $b$ is odd and $q\equiv-1\Mod{m_1}$, we get $q^b\equiv -1\Mod{m_1}$. Together with $r\equiv1\Mod{m_1}$ and $s\equiv -1\Mod{m_1}$, we have $$n\equiv p^a+q^b+r^c+s\equiv1-1+1-1\equiv0\Mod{m_1}$$
6. As $p^a\equiv1\Mod m$, $q\equiv 1\Mod{2^k}$, $r\equiv 3\Mod{2^k}$ and $s\equiv -5\Mod{2^k}$, we have $$n\equiv p^a+q^b+r^c+s\equiv1+1+3-5\equiv0\Mod{2^k}$$

Hence $n=p^a+q^b+r^c+s$ is weakly prime additive and is divisible by $m$. Since $a',c'$ can be any positive integer, $b'$ can be any positive odd integer and $p$ can be any arbitrary odd prime coprime to $m$, we have constructed infinitely many weakly prime-additive $n$ with length $\leq 4$.
\end{proof}

\begin{remark}
In the above construction, $s$ can be raised to any $d$-th power for any positive integer $d\equiv 1\Mod{\phi(pqrm)}$.
\end{remark}

Together with Theorem \ref{shortest}, we can prove Theorem 1.

\begin{proof}[Proof of Theorem 1]
Let $m$ be a positive integer. Then by Theorem \ref{main}, there exists infinitely many weakly prime-additive numbers with length $\leq4$ such that they are divisible by $8m$. By Theorem \ref{shortest}, as $8|8m$, these numbers cannot be shortest weakly prime-additive, hence they are all weakly prime-additive numbers with length 4.
\end{proof}

\section{Proof of Theorem 2}
Let $p,q,r$ be distinct odd primes with one of them, WLOG say, $r\equiv 3$ or $5\Mod 8$. Let $k\in\N$ such that $\frac{(p-1)(q-1)}{2^k}$ is odd, and let $A=\frac{(p-1)(q-1)}{2^k}$. Let $f=8Apqr$ and by the Chinese Remainder Theorem, let $s_0$ be the unique integer such that $1\leq s_0\leq f$ and \begin{align*}
    &s_0\equiv3\Mod{8}\\
    &s_0\equiv -2\Mod{Apqr}
\end{align*}
Note that by Lemma \ref{kronecker}, using $r\equiv3$ or $5\Mod 8$, we have \begin{align*}
    \left(\frac{r}{s_0}\right)=(-1)^{\frac{r-1}{2}\frac{s_0-1}{2}}\left(\frac{s_0}{r}\right)=(-1)^\frac{r-1}{2}\left(\frac{-2}{r}\right)=-1
\end{align*}
Apply Theorem 5 with the above $a, f$, and $g=r$, there exists an odd prime $s$ such that\\
$s\equiv s_0\Mod{8Apqr}$ and $r$ is a primitive root of $s$. So there exists $0<c_0<s-1$ such that $$r^{c_0}\equiv -2\Mod{s}.$$
Now note that as $s\equiv3\Mod{8}$, we have $\left(\frac{-2}{s}\right)=1$. So $c_0$ is even.

Now by the Chinese Remainder Theorem, take any positive integer $c$ such that \begin{align*}
    &c\equiv c_0\Mod{\frac{s-1}{2}}\\
    &c\equiv 0\Mod{(p-1)(q-1)}
\end{align*}
This is possible as $s\equiv3\Mod{8}$ and $s\equiv -2\Mod{A}$, so $(\frac{s-1}{2},(p-1)(q-1))=1$. Since $c_0$ is even and $\frac{s-1}{2}$ is odd, this makes $c\equiv c_0\Mod{s-1}$. So we have $r^c\equiv -2\Mod{s}$ and $r^c\equiv1\Mod{pq}$.

Finally, for any positive integers $a,b,d$ such that $(q-1)(r-1)(s-1)|a$, $(p-1)(r-1)(s-1)|b$, $d\equiv1\Mod{(p-1)(q-1)(r-1)}$, we have the following:\begin{align*}
    p^a+q^b+r^c+s^d&\equiv0+1+1-2\equiv0\Mod p\\
    p^a+q^b+r^c+s^d&\equiv1+0+1-2\equiv0\Mod q\\
    p^a+q^b+r^c+s^d&\equiv1+1+0-2\equiv0\Mod r\\
    p^a+q^b+r^c+s^d&\equiv1+1-2+0\equiv0\Mod s
\end{align*}
So we get for any positive integers $a,b,c,d$ as above, $$pqrs|p^a+q^b+r^c+s^d.$$ \qed


2019-03-27T01:08:12.000
1903
1903.10668
en
https://arxiv.org/abs/1903.10668
In 1992, Erd$ő$s and Hegyv$á$ri showed that for any prime p, there exist infinitely many length 3 weakly prime-additive numbers divisible by p. In 2018, Fang and Chen showed that for any positive integer m, there exists infinitely many length 3 weakly prime-additive numbers divisible by m if and only if 8 does not divide m. Under the assumption (*) of existence of a prime in certain arithmetic progression with prescribed primitive root, which is true under the Generalized Riemann Hypothesis (GRH), we show for any positive integer m, there exists infinitely many length 4 weakly prime-additive numbers divisible by m. We also present another related result analogous to the length 3 case shown by Fang and Chen.
Number Theory (math.NT)
On the Weakly Prime-Additive Numbers with Length 4
Qwen/Qwen-72B
1. YES
2. YES