For any positive integer n, let $\sigma (n)$ be the sum of all positive divisors of n. We prove that for every integer k with $1\leq k\leq 29$ and $(k,30)=1,$

$$ \begin{align*} \sum_{n\leq K}\sigma(30n)>\sum_{n\leq K}\sigma(30n+k) \end{align*} $$

for all $K\in \mathbb {N},$ which gives a positive answer to a problem posed by Pongsriiam [‘Sums of divisors on arithmetic progressions’, Period. Math. Hungar. 88 (2024), 443–460].

We prove an asymptotic formula for the sum $\sum _{n\leq N}d(n^{2}-1)$, where $d(n)$ denotes the number of divisors of $n$. During the course of our proof, we also furnish an asymptotic formula for the sum $\sum _{d\leq N}g(d)$, where $g(d)$ denotes the number of solutions $x$ in $\mathbb{Z}_{d}$ to the equation $x^{2}\equiv 1~(\text{mod}~d)$.

We study positive integers $n$ such that $n\phi (n)\equiv 2\hspace{0.167em} {\rm mod}\hspace{0.167em} \sigma (n)$, where $\phi (n)$ and $\sigma (n)$ are the Euler function and the sum of divisors function of the positive integer $n$, respectively. We give a general ineffective result showing that there are only finitely many such $n$ whose prime factors belong to a fixed finite set. When this finite set consists only of the two primes $2$ and $3$ we use continued fractions to find all such positive integers $n$.

A general analytic scheme for Poisson approximation to discrete distributions is studied in which the asymptotic behaviours of the generalized total variation, Fortet-Mourier (or Wasserstein), Kolmogorov and Matusita (or Hellinger) distances are explicitly characterized. Applications of this result include many number-theoretic functions and combinatorial structures. Our approach differs from most of the existing ones in the literature and is easily amended for other discrete approximations; arithmetic and combinatorial examples for Bessel approximation are also presented. A unified approach is developed for deriving uniform estimates for probability generating functions of the number of components in general decomposable combinatorial structures, with or without analytic continuation outside their circles of convergence.