Let ${𝒫}_2$ denote a positive integer with at most $2$ prime factors, counted according to multiplicity. For integers $a$, $q$ such that $(a,q)=1$, let ${𝒫}_2(q,a)$ denote the least ${𝒫}_2$ in the arithmetic progression ${\{nq+a\}}_{n=1}^{\infty }$. It is proved that for sufficiently large $q$, we have $${𝒫}_2(q,a)\ll q^{1.825}.$$ This result constitutes an improvement upon that of J. Li, M. Zhang and Y. Cai (2023), who obtained ${𝒫}_2(q,a)\ll q^{1.8345}.$

We use the estimation of the number of integers $n$ such that $\lfloor n^c\rfloor$ belongs to an arithmetic progression to study the coprimality of integers in ${\mathbb{N}}^c={\left\{\lfloor n^c\rfloor \right\}}_{n\in \mathbb{N}}$, $c>1$, $c\notin \mathbb{N}$.

A geometric progression of length k and integer ratio is a set of numbers of the form $a,ar,...,a{r}^{k-1}$ for some positive real number a and integer r ≥ 2. For each integer k ≥ 3, a greedy algorithm is used to construct a strictly decreasing sequence ${\left(a_i\right)}_{i=1}^{\infty }$ of positive real numbers with a₁ = 1 such that the set $G^{\left(k\right)}={\bigcup }_{i=1}^{\infty }(a_{2i},a_{2i-1}]$ contains no geometric progression of length k and integer ratio. Moreover, $G^{\left(k\right)}$ is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that...

The Golomb space ${\mathbb{N}}_{\tau }$ is the set $\mathbb{N}$ of positive integers endowed with the topology $\tau$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space ${\mathbb{N}}_{\tau }$ is topologically rigid in the sense that its homeomorphism group is trivial. This resolves a problem posed by T. Banakh at Mathoverflow in 2017.

A natural number $n$ is said to be a $(k,r)$-integer if $n=a^{k}b$, where $k>r>1$ and $b$ is not divisible by the $r$th power of any prime. We study the distribution of such $(k,r)$-integers in the Piatetski-Shapiro sequence $\left\{\lfloor n^c\rfloor \right\}$ with $c>1$. As a corollary, we also obtain similar results for semi-$r$-free integers.

Let ${𝒫}_r$ denote an almost-prime with at most $r$ prime factors, counted according to multiplicity. Suppose that $a$ and $q$ are positive integers satisfying $(a,q)=1$. Denote by ${𝒫}_2(a,q)$ the least almost-prime ${𝒫}_2$ which satisfies ${𝒫}_2\equiv a(modq)$. It is proved that for sufficiently large $q$, there holds $${𝒫}_2(a,q)\ll q^{1.8345}.$$ This result constitutes an improvement upon that of Iwaniec (1982), who obtained the same conclusion, but for the range $1.845$ in place of $1.8345$.

General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L{C}^{n-1}$-space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...

The Golomb space ${\mathbb{N}}_{\tau }$ is the set $\mathbb{N}$ of positive integers endowed with the topology $\tau$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space ${\mathbb{N}}_{\tau }$ has continuum many continuous self-maps, contains a countable disjoint family of infinite closed connected subsets, the set $\Pi$ of prime numbers is a dense metrizable subspace of ${\mathbb{N}}_{\tau }$, and each homeomorphism $h$ of ${\mathbb{N}}_{\tau }$ has the following properties: $h\left(1\right)=1$, $h\left(\Pi \right)=\Pi$, ${\Pi }_{h\left(x\right)}=h\left({\Pi }_x\right)$, and $h\left(x^{\mathbb{N}}\right)=h{\left(x\right)}^{\mathbb{N}}$ for all $x\in \mathbb{N}$. Here $x^{\mathbb{N}}:=\{x^n:n\in \mathbb{N}\}$ and ${\Pi }_x$ denotes the set of...

Let $\left[t\right]$ be the integral part of a real number $t$, and let $f$ be the arithmetic function satisfying some simple condition. We establish a new asymptotical formula for the sum $S_f\left(x\right)={\sum }_{n\le x}f\left([x/n]\right)$, which improves the recent result of J. Stucky (2022).

Let $f$, $g$ and $h$ be three distinct primitive holomorphic cusp forms of even integral weights $k_1$, $k_2$ and $k_3$ for the full modular group $\Gamma =\mathrm{SL}(2,\mathbb{Z})$, respectively, and let ${\lambda }_f\left(n\right)$, ${\lambda }_g\left(n\right)$ and ${\lambda }_h\left(n\right)$ denote the $n$th normalized Fourier coefficients of $f$, $g$ and $h$, respectively. We consider the cancellations of sums related to arithmetic functions ${\lambda }_g\left(n\right)$, ${\lambda }_h\left(n\right)$ twisted by ${\lambda }_f\left(n\right)$ and establish the following results: $$\sum _{n\le x}{\lambda }_f\left(n\right){\lambda }_g{\left(n\right)}^i{\lambda }_h{\left(n\right)}^j{\ll }_{f,g,h,\epsilon }{x}^{1-1/2^{i+j}+\epsilon }$$ for any $\epsilon >0$, where $1\le i\le 2$, $j\ge 5$ are any fixed positive integers.

We consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.

Given an integer $n\ge 3$, let $u_1,...,u_n$ be pairwise coprime integers $\ge 2$, $𝒟$ a family of nonempty proper subsets of $\{1,...,n\}$ with “enough” elements, and $\epsilon$ a function $𝒟\to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides ${\prod }_{i\in I}{u}_i-\epsilon \left(I\right)$ for some $I\in 𝒟$, but it does not divide $u_1\cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\epsilon$ and $𝒟$ are subjected to certain restrictions. We use the result to prove that, if ${\epsilon }_0\in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any...

For an integer $k\ge 2$, let ${\left(n\right)}_n$ be the $k-$generalized Pell sequence which starts with $0,...,0,1$ ($k$ terms) and each term afterwards is given by the linear recurrence $n=2n-1+n-2+\cdots +n-k$. In this paper, we find all $k$-generalized Pell numbers with only one distinct digit (the so-called repdigits). Some interesting estimations involving generalized Pell numbers, that we believe are of independent interest, are also deduced. This paper continues a previous work that searched for repdigits in the usual Pell sequence ${\left(P_n^{\left(2\right)}\right)}_n$. ...