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.

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.

Let $\mathbb {F}$ be a field and $(s_0,\ldots ,s_{n-1})$ be a finite sequence of elements of $\mathbb {F}$. In an earlier paper [G. H. Norton, ‘On the annihilator ideal of an inverse form’, J. Appl. Algebra Engrg. Comm. Comput. 28 (2017), 31–78], we used the $\mathbb {F}[x,z]$ submodule $\mathbb {F}[x^{-1},z^{-1}]$ of Macaulay’s inverse system $\mathbb {F}[[x^{-1},z^{-1}]]$ (where z is our homogenising variable) to construct generating forms for the (homogeneous) annihilator ideal of $(s_0,\ldots ,s_{n-1})$. We also gave an $\mathcal {O}(n^2)$ algorithm to compute a special pair of generating forms of such an annihilator ideal. Here we apply this approach to the sequence r of the title. We obtain special forms generating the annihilator ideal for $(r_0,\ldots ,r_{n-1})$ without polynomial multiplication or division, so that the algorithm becomes linear. In particular, we obtain its linear complexities. We also give additional applications of this approach.

Weighing matrices with entries in the complex cubic and sextic roots of unity are employed to construct Hermitian self-dual codes and Hermitian linear complementary dual codes over the finite field $\mathrm {GF}(4).$ The parameters of these codes are explored for small matrix orders and weights.

Let $\zeta _K(s)$ denote the Dedekind zeta-function associated to a number field K. We give an effective upper bound for the height of the first nontrivial zero other than $1/2$ of $\zeta _K(s)$ under the generalised Riemann hypothesis. This is a refinement of the earlier bound obtained by Sami [‘Majoration du premier zéro de la fonction zêta de Dedekind’, Acta Arith. 99(1) (2000), 61–65].

A complete Reidemeister characterisation of welded links is a long-standing open problem. We present a Reidemeister theorem for a related class of four-dimensional links: solid ribbon torus links, that is, immersed solid tori in $\mathbb {R}^4$ with only ribbon singularities, considered up to generalised ribbon isotopy.

Let G be a finite group. We investigate the structure of finite groups whose irreducible character codegrees are consecutive integers.

We elaborate on the construction of the Evans chain complex for higher-rank graph $C^*$-algebras. Specifically, we introduce a block matrix presentation of the differential maps. These block matrices are then used to identify a wide family of higher-rank graph $C^*$-algebras with trivial K-theory. Additionally, in the specialised case where the higher-rank graph consists of one vertex, we are able to use the Künneth theorem to explicitly compute the homology groups of the Evans chain complex.

We recover Reidemeister’s theorem using $\mathcal {C}^{\infty }$ functions and transversality.

A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree N is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta ,\theta ^2,\ldots ,\theta ^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta )$, where $f(\theta )=0$. We use the classification of the Galois groups of quartic polynomials, due to Kappe and Warren [‘An elementary test for the Galois group of a quartic polynomial’, Amer. Math. Monthly 96(2) (1989), 133–137], to investigate the existence of infinite collections of monogenic quartic polynomials having a prescribed Galois group, such that each member of the collection generates a distinct quartic field. With the exception of the cyclic case, we provide such an infinite single-parameter collection for each possible Galois group. We believe these examples are new and we provide evidence to support this belief by showing that they are distinct from other infinite collections in the literature. Finally, we devote a separate section to the cyclic case.

We investigate when a group of the form $G\times \mathbb {Z}^m\ (m\geq 1)$ has the finitely generated fixed subgroup property of automorphisms ($\mathrm {FGFP_a}$), by using the BNS-invariant, and provide some partial answers and nontrivial examples.

For fixed m and a, we give an explicit description of those subsets of ${\mathbb F}_{q}$, q odd, for which both x and $mx+a$ are quadratic residues (and other combinations). These results extend and refine results that date back to Gauss.

If $\mu $ is a smooth measure supported on a real-analytic submanifold of ${\mathbb {R}}^{2n}$ which is not contained in any affine hyperplane, then the Weyl transform of $\mu $ is a compact operator.