Let G be a graph with m edges, minimum degree $\delta $ and containing no cycle of length 4. Answering a question of Bollobás and Scott, Fan et al. [‘Bisections of graphs without short cycles’, Combinatorics, Probability and Computing 27(1) (2018), 44–59] showed that if (i) G is $2$-connected, or (ii) $\delta \ge 3$, or (iii) $\delta \ge 2$ and the girth of G is at least 5, then G admits a bisection such that $\max \{e(V_1),e(V_2)\}\le (1/4+o(1))m$, where $e(V_i)$ denotes the number of edges of G with both ends in $V_i$. Let $s\ge 2$ be an integer. In this note, we prove that if $\delta \ge 2s-1$ and G contains no $K_{2,s}$ as a subgraph, then G admits a bisection such that $\max \{e(V_1),e(V_2)\}\le (1/4+o(1))m$.

We prove the following conjecture of Z.-W. Sun [‘On congruences related to central binomial coefficients’, J. Number Theory 13(11) (2011), 2219–2238]. Let p be an odd prime. Then

$$ \begin{align*} \sum_{k=1}^{p-1}\frac{\binom{2k}k}{k2^k}\equiv-\frac12H_{{(p-1)}/2}+\frac7{16}p^2B_{p-3}\pmod{p^3}, \end{align*} $$

where $H_n$ is the nth harmonic number and $B_n$ is the nth Bernoulli number. In addition, we evaluate $\sum _{k=0}^{p-1}(ak+b)\binom {2k}k/2^k$ modulo $p^3$ for any p-adic integers $a, b$.

Lehmer [‘On certain character matrices’, Pacific J. Math. 6 (1956), 491–499, and ‘Power character matrices’, Pacific J. Math. 10 (1960), 895–907] defines four classes of matrices constructed from roots of unity for which the characteristic polynomials and the kth powers can be determined explicitly. We study a class of matrices which arise naturally in transformation formulae of finite field hypergeometric functions and whose entries are roots of unity and zeroes. We determine the characteristic polynomial, eigenvalues, eigenvectors and kth powers of these matrices. The eigenvalues are natural families of products of Jacobi sums.

We propose generating functions, $\textrm {RGF}_p(x)$, for the quotients of numerical semigroups which are related to the Sylvester denumerant. Using MacMahon’s partition analysis, we can obtain $\textrm {RGF}_p(x)$ by extracting the constant term of a rational function. We use $\textrm {RGF}_p(x)$ to give a system of generators for the quotient of the numerical semigroup $\langle a_1,a_2,a_3\rangle $ by p for a small positive integer p, and we characterise the generators of ${\langle A\rangle }/{p}$ for a general numerical semigroup A and any positive integer p.

We show that there is a set $S \subseteq {\mathbb N}$ with lower density arbitrarily close to $1$ such that, for each sufficiently large real number $\alpha $, the inequality $|m\alpha -n| \geq 1$ holds for every pair $(m,n) \in S^2$. On the other hand, if $S \subseteq {\mathbb N}$ has density $1$, then, for each irrational $\alpha>0$ and any positive $\varepsilon $, there exist $m,n \in S$ for which $|m\alpha -n|<\varepsilon $.

Let $[a_1(x),a_2(x),a_3(x),\ldots ]$ be the continued fraction expansion of an irrational number $x\in [0,1)$. We are concerned with the asymptotic behaviour of the product of consecutive partial quotients of x. We prove that, for Lebesgue almost all $x\in [0,1)$,

$$ \begin{align*} \liminf_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n} = 0\quad \text{and}\quad \limsup_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n}=1. \end{align*} $$

We also study the Baire category and the Hausdorff dimension of the set of points for which the above liminf and limsup have other different values and similarly analyse the weighted product of consecutive partial quotients.

Let ${\mathbb {Z}}_{K}$ denote the ring of algebraic integers of an algebraic number field $K = {\mathbb Q}(\theta )$, where $\theta $ is a root of a monic irreducible polynomial $f(x) = x^n + a(bx+c)^m \in {\mathbb {Z}}[x]$, $1\leq m<n$. We say $f(x)$ is monogenic if $\{1, \theta , \ldots , \theta ^{n-1}\}$ is a basis for ${\mathbb {Z}}_K$. We give necessary and sufficient conditions involving only $a, b, c, m, n$ for $f(x)$ to be monogenic. Moreover, we characterise all the primes dividing the index of the subgroup ${\mathbb {Z}}[\theta ]$ in ${\mathbb {Z}}_K$. As an application, we also provide a class of monogenic polynomials having non square-free discriminant and Galois group $S_n$, the symmetric group on n letters.

We construct a new family of quintic non-Pólya fields with large Pólya groups. We show that the Pólya number of such a field never exceeds five times the size of its Pólya group. Finally, we show that these non-Pólya fields are nonmonogenic of field index one.

We solve the problem of finding the inverse connection formulae for the generalised Bessel polynomials and their reciprocals, the reverse generalised Bessel polynomials. The connection formulae express monomials in terms of the generalised Bessel polynomials. They enable formulae for the elements of change of basis matrices for both kinds of generalised Bessel polynomials to be derived and proved correct directly.

The minimum number of idempotent generators is calculated for an incidence algebra of a finite poset over a commutative ring. This quantity equals either $\lceil \log _2 n\rceil $ or $\lceil \log _2 n\rceil +1$, where n is the cardinality of the poset. The two cases are separated in terms of the embedding of the Hasse diagram of the poset into the complement of the hypercube graph.

If E is a graph and K is a field, we consider an ideal I of the Leavitt path algebra $L_K(E)$ of E over K. We describe the admissible pair corresponding to the smallest graded ideal which contains I where the grading in question is the natural grading of $L_K(E)$ by ${\mathbb {Z}}$. Using this description, we show that the right and the left annihilators of I are equal (which may be somewhat surprising given that I may not be self-adjoint). In particular, we establish that both annihilators correspond to the same admissible pair and its description produces the characterisation from the title. Then, we turn to the property that the right (equivalently left) annihilator of any ideal is a direct summand and recall that a unital ring with this property is said to be quasi-Baer. We exhibit a condition on E which is equivalent to unital $L_K(E)$ having this property.

Carlsen [‘$\ast $-isomorphism of Leavitt path algebras over $\Bbb Z$’, Adv. Math. 324 (2018), 326–335] showed that any $\ast $-homomorphism between Leavitt path algebras over $\mathbb Z$ is automatically diagonal preserving and hence induces an isomorphism of boundary path groupoids. His result works over conjugation-closed subrings of $\mathbb C$ enjoying certain properties. In this paper, we characterise the rings considered by Carlsen as precisely those rings for which every $\ast $-homomorphism of algebras of Hausdorff ample groupoids is automatically diagonal preserving. Moreover, the more general groupoid result has a simpler proof.

Let $\alpha $ be a complex-valued $2$-cocycle of a finite group G with $\alpha $ chosen so that the $\alpha $-characters of G are class functions and analogues of the orthogonality relations for ordinary characters are valid. Then the real or rational elements of G that are also $\alpha $-regular are characterised by the values that the irreducible $\alpha $-characters of G take on those respective elements. These new results generalise two known facts concerning such elements and irreducible ordinary characters of $G;$ however, the initial choice of $\alpha $ from its cohomology class is not unique in general and it is shown the results can vary for a different choice.

Let G be a finite group. A subgroup A of G is said to be S-permutable in G if A permutes with every Sylow subgroup P of G, that is, $AP=PA$. Let $A_{sG}$ be the subgroup of A generated by all S-permutable subgroups of G contained in A and $A^{sG}$ be the intersection of all S-permutable subgroups of G containing A. We prove that if G is a soluble group, then S-permutability is a transitive relation in G if and only if the nilpotent residual $G^{\mathfrak {N}}$ of G avoids the pair $(A^{s G}, A_{sG})$, that is, $G^{\mathfrak {N}}\cap A^{sG}= G^{\mathfrak {N}}\cap A_{sG}$ for every subnormal subgroup A of G.

We give a new proof of a theorem of Bell and Coons [‘Transcendence tests for Mahler functions’, Proc. Amer. Math. Soc. 145(3) (2017), 1061–1070] on the leading order radial asymptotics of Mahler functions that are the generating functions of regular sequences. Our method allows us to provide a description of the oscillations whose existence was shown by Bell and Coons. This extends very recent results of Poulet and Rivoal [‘Radial behavior of Mahler functions’, Int. J. Number Theory, to appear].

We use potential analysis to study the properties of positive solutions of a discrete Wolff-type equation

$$ \begin{align*} w(i)=W_{\beta,\gamma}(w^q)(i), \quad i \in \mathbb{Z}^n. \end{align*} $$

Here, $n \geq 1$, $\min \{q,\beta \}>0$, $1<\gamma \leq 2$ and $\beta \gamma <n$. Such an equation can be used to study nonlinear problems on graphs appearing in the study of crystal lattices, neural networks and other discrete models. We use the method of regularity lifting to obtain an optimal summability of positive solutions of the equation. From this result, we obtain the decay rate of $w(i)$ when $|i| \to \infty $.

We prove that every smooth complex normed space X has the Wigner property. That is, for any complex normed space Y and every surjective mapping $f: X\rightarrow Y$ satisfying

$$ \begin{align*} \{\|f(x)+\alpha f(y)\|: \alpha\in \mathbb{T}\}=\{\|x+\alpha y\|: \alpha\in \mathbb{T}\}, \quad x,y\in X, \end{align*} $$

where $\mathbb {T}$ is the unit circle of the complex plane, there exists a function $\sigma : X\rightarrow \mathbb {T}$ such that $\sigma \cdot f$ is a linear or anti-linear isometry. This is a variant of Wigner’s theorem for complex normed spaces.

Given maps $f_1,\ldots ,f_n:X\to Y$ between (finite and connected) graphs, with $n\geq 3$ (the case $n=2$ is well known), we say that they are loose if they can be deformed by homotopy to coincidence free maps, and totally loose if they can be deformed by homotopy to maps which are two by two coincidence free. We prove that: (i) if Y is not homeomorphic to the circle, then any maps are totally loose; (ii) otherwise, any maps are loose and they are totally loose if and only if they are homotopic.