The sum of a prime power and an almost prime

Abstract For any fixed <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>k</m:mi> <m:mo>≥</m:mo> <m:mn>2</m:mn> </m:mrow> </m:math> {k\geq 2} , we prove that every sufficiently large integer can be expressed as the sum of a k th power of a prime and a number with at most <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>M</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>k</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:mn>6</m:mn> <m:mo>⁢</m:mo> <m:mi>k</m:mi> </m:mrow> </m:mrow> </m:math> {M(k)=6k} prime factors. For sufficiently large k we also show that one can take <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>M</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>k</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mn>2</m:mn> <m:mo>+</m:mo> <m:mi>ε</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> <m:mo>⁢</m:mo> <m:mi>k</m:mi> </m:mrow> </m:mrow> </m:math> {M(k)=(2+\varepsilon)k} for any <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>ε</m:mi> <m:mo>&gt;</m:mo> <m:mn>0</m:mn> </m:mrow> </m:math> {\varepsilon&gt;0} , or <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mrow> <m:mi>M</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>k</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mrow> <m:mn>1</m:mn> <m:mo>+</m:mo> <m:mi>ε</m:mi> </m:mrow> <m:mo stretchy="false">)</m:mo> </m:mrow> <m:mo>⁢</m:mo> <m:mi>k</m:mi> </m:mrow> </m:mrow> </m:math> {M(k)=(1+\varepsilon)k} under the assumption of the Elliott–Halberstam conjecture. Moreover, we give a variant of this result which accounts for congruence conditions and strengthens a classical theorem of Erdős and Rao. The main tools we employ are the weighted sieve method of Diamond, Halberstam and Richert, bounds on the number of representations of an integer as the sum of two k th powers, and results on k th power residues. We also use some simple computations and arguments to conjecture an optimal value of <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>M</m:mi> <m:mo>⁢</m:mo> <m:mrow> <m:mo stretchy="false">(</m:mo> <m:mi>k</m:mi> <m:mo stretchy="false">)</m:mo> </m:mrow> </m:mrow> </m:math> {M(k)} , as well as a related variant of Hardy and Littlewood’s Conjecture H.