We introduce the concept of almost $\mathcal {P}$-numbers where $\mathcal {P}$ is a class of groups. We survey the existing results in the literature for almost cyclic numbers, and give characterisations for almost abelian and almost nilpotent numbers proving these two concepts are equivalent.

A graph G is called an $[s,t]$-graph if any induced subgraph of G of order s has size at least $t.$ We prove that every $2$-connected $[4,2]$-graph of order at least $7$ is pancyclic. This strengthens existing results. There are $2$-connected $[4,2]$-graphs which do not satisfy the Chvátal–Erdős condition on Hamiltonicity. We also determine the triangle-free graphs among $[p+2,p]$-graphs for a general $p.$

We continue our study of exponent semigroups of rational matrices. Our main result is that the matricial dimension of a numerical semigroup is at most its multiplicity (the least generator), greatly improving upon the previous upper bound (the conductor). For many numerical semigroups, including all symmetric numerical semigroups, our upper bound is tight. Our construction uses combinatorially structured matrices and is parametrised by Kunz coordinates, which are central to enumerative problems in the study of numerical semigroups.

We investigate the relationship between lower bounds for the Mahler measure and splitting of primes, and prove various lower bounds for the Mahler measure of algebraic integers in terms of the least common multiples of all inertia degrees of primes. The results generalise work of the second author and Kumar [‘Lehmer’s problem and splitting of rational primes in number fields’, Acta Math. Hungar. 169(2) (2023), 349–358].

We investigate neighbourhood sizes in the enhanced power graph (also known as the cyclic graph) associated with a finite group. In particular, we characterise finite p-groups with the smallest maximum size for neighbourhoods of a nontrivial element in its enhanced power graph.

Given a positive integer m, let $\mathbb {Z}_m$ be the set of residue classes mod m. For $A\subseteq \mathbb {Z}_m$ and $n\in \mathbb {Z}_m$, let $\sigma _A(n)$ be the number of solutions to the equation $n=x+y$ with $x,y\in A$. Let $\mathcal {H}_m$ be the set of subsets $A\subseteq \mathbb {Z}_m$ such that $\sigma _A(n)\geq 1$ for all $n\in \mathbb {Z}_m$. Let

$$ \begin{align*} \ell_m=\min\limits_{A\in \mathcal{H}_m}\bigg\lbrace m^{-1}\sum_{n\in \mathbb{Z}_m}\sigma_A(n)\bigg\rbrace. \end{align*} $$

Ding and Zhao [‘A new upper bound on Ruzsa’s numbers on the Erdős–Turán conjecture’, Int. J. Number Theory 20 (2024), 1515–1523] showed that $\limsup _{m\rightarrow \infty }\ell _m\le 192$. We prove

$$ \begin{align*} \limsup\limits_{m\rightarrow\infty}\ell_m\leq 144 \end{align*} $$

and investigate parallel results on subtractive bases of $ \mathbb {Z}_m$.

Recently, Alanazi et al. [‘Refining overpartitions by properties of nonoverlined parts’, Contrib. Discrete Math. 17(2) (2022), 96–111] considered overpartitions wherein the nonoverlined parts must be $\ell $-regular, that is, the nonoverlined parts cannot be divisible by the integer $\ell $. In the process, they proved a general parity result for the corresponding enumerating functions. They also proved some specific congruences for the case $\ell =3$. In this paper we use elementary generating function manipulations to significantly extend this set of known congruences for these functions.

Let $[a_1(x),a_2(x),\ldots ,a_n(x),\ldots ]$ be the continued fraction expansion of $x\in [0,1)$ and $q_n(x)$ be the denominator of its nth convergent. The irrationality exponent and Khintchine exponent of x are respectively defined by

$$ \begin{align*} \overline{v}(x)=2+\limsup_{n\to\infty}\frac{\log a_{n+1}(x)}{\log q_n(x)} \quad \text{and}\quad \gamma(x)=\lim_{n\to\infty}\frac{1}{n}\sum_{i=1}^{n}\log a_i(x). \end{align*} $$

We study the multifractal spectrum of the irrationality exponent and the Khintchine exponent for continued fractions with nondecreasing partial quotients. For any $v>2$, we completely determine the Hausdorff dimensions of the sets $\{x\in [0,1): a_1(x)\leq a_2(x)\leq \cdots , \overline {v}(x)=v\}$ and

$$ \begin{align*}\bigg\{x\in[0,1): a_1(x)\leq a_2(x)\leq\cdots, \lim\limits_{n\to\infty}\frac{\log a_1(x)+\log a_2(x)+\cdots+\log a_n(x)}{\psi(n)}=1\bigg\},\end{align*} $$

where $\psi :\mathbb {N}\rightarrow \mathbb {R}^+$ is a function satisfying $\psi (n)\to \infty $ as $n\to \infty $.

Previously [‘Radicals and idempotents I, II’, Comm. Alg. 49(1) (2021), 73–84 and 50(11) (2022), 4791–4804], we have studied the interaction between radicals of rings and idempotents in general or those of particular types, for example, left semicentral. Here we carry out similar investigations for q-central idempotents, that is, those idempotents e satisfying the condition $(ea-eae)(be-ebe) = 0$ for all a, b.

We prove a local gradient estimate for positive eigenfunctions of the $\mathcal {L}$-operator on conformal solitons given by a general conformal vector field. As an application, we obtain a Liouville type theorem for $\mathcal {L} u=0$, which improves the one of Li and Sun [‘Gradient estimate for the positive solutions of $\mathcal Lu = 0$ and $\mathcal Lu ={\partial u}/{\partial t}$ on conformal solitons’, Acta Math. Sin. (Engl. Ser.) 37(11) (2021), 1768–1782]. We also consider applications where manifolds are special conformal solitons and obtain a better Liouville type theorem in the case of self-shrinkers.

We give an explicit formula for the Frobenius number of triples associated with the Diophantine equation $x^2+y^2=z^3$, that is, the largest positive integer that can only be represented in p ways by combining the three integers of the solutions of $x^2+y^2=z^3$. For the equation $x^2+y^2=z^2$, the Frobenius number has already been given. Our approach can be extended to the general equation $x^2+y^2=z^r$ for $r>3$.

We investigate the set $T_{n}$ of the possible number of triangles in a graph on n vertices. The first main result says that every natural number less than $\binom {n}{3} - (\sqrt {2}+o(1) )n^{3/2} $ belongs to $T_{n}$. On the other hand, we show that there is a number $m = \binom {n}{3}-( \sqrt {2} +o(1))n^{3/2}$ that is not a member of $T_{n}$. In addition, we prove that there are two interlacing sequences $\binom {n}{3} - ( \sqrt {2} + o(1) )n^{3/2} = c_{1} \le d_{1} \le c_{2} \le d_{2} \le \cdots \le c_{s} \le d_{s} = \binom {n}{3}$ with $| c_{t} - d_{t}| = n-2-\binom {s - t +1}{2}$ such that $( c_{t}, d_{t} ) \cap T_{n} = \emptyset $ for all t. Moreover, we obtain a generalisation of these results for the set of the possible number of copies of a connected graph H in a graph on n vertices.

We establish explicit constructions of Mahler’s p-adic $U_{m}$-numbers by using Ruban p-adic continued fraction expansions of algebraic irrational p-adic numbers of degree m.

Let G be a finite group and let $\chi $ be an irreducible character of G. The number $|G:\mathrm {ker}\chi |/\chi (1)$ is called the codegree of the character $\chi $. We provide several relations between the structure of G and the codegrees of the characters in a given subset of $\mathrm {Irr}(G)$, where $\mathrm {Irr}(G)$ is the set of all complex irreducible characters of G. For example, we show that if the codegrees of all strongly monolithic characters of G are odd, then G is solvable, analogous to the well-known fact that if all irreducible character degrees of a finite group are odd, then that group is solvable.

Ishitsuka et al. [‘Explicit calculation of the mod 4 Galois representation associated with the Fermat quartic’, Int. J. Number Theory 16(4) (2020), 881–905] found all points on the Fermat quartic ${F_4\colon x^4+y^4=z^4}$ over quadratic extensions of ${\mathbb {Q}}(\zeta _8)$, where $\zeta _8$ is the eighth primitive root of unity $e^{i\pi /4}$. Using Mordell’s technique, we give an alternative proof for the result of Ishitsuka et al. and extend it to the rational function field ${\mathbb {Q}}({\zeta _8})(T_1,T_2,\ldots ,T_n)$.

Let A be an F-central simple algebra of degree $m^2=\prod _{i=1}^k p_i^{2\alpha _i}$ and G be a subgroup of the unit group of A such that $F[G]=A$. We prove that if G is a central product of two of its subgroups M and N, then $F[M]\otimes _F F[N]\cong F[G]$. Also, if G is locally nilpotent, then G is a central product of subgroups $H_i$, where $[F[H_i]:F]=p_i^{2\alpha _i}$, $A=F[G]\cong F[H_1]\otimes _F \cdots \otimes _F F[H_k]$ and $H_i/Z(G)$ is the Sylow $p_i$-subgroup of $G/Z(G)$ for each i with $1\leq i\leq k$. Additionally, there is an element of order $p_i$ in F for each i with $1\leq i\leq k$.

Let $\mathcal {S}$ denote the class of univalent functions in the open unit disc $\mathbb {D}:=\{z\in \mathbb {C}:\, |z|<1\}$ with the form $f(z)= z+\sum _{n=2}^{\infty }a_n z^n$. The logarithmic coefficients $\gamma _{n}$ of $f\in \mathcal {S}$ are defined by $F_{f}(z):= \log (f(z)/z)=2\sum _{n=1}^{\infty }\gamma _{n}z^{n}$. The second Hankel determinant for logarithmic coefficients is defined by

$$ \begin{align*} H_{2,2}(F_f/2) = \begin{vmatrix} \gamma_2 & \gamma_3 \\ \gamma_3 & \gamma_4 \end{vmatrix} =\gamma_2\gamma_4 -\gamma_3^2. \end{align*} $$

We obtain sharp upper bounds of the second Hankel determinant of logarithmic coefficients for starlike and convex functions.