We report the results of a computer enumeration that found that there are 3155 perfect 1-factorisations (P1Fs) of the complete graph $K_{16}$. Of these, 89 have a nontrivial automorphism group (correcting an earlier claim of 88 by Meszka and Rosa [‘Perfect 1-factorisations of $K_{16}$ with nontrivial automorphism group’, J. Combin. Math. Combin. Comput. 47 (2003), 97–111]). We also (i) describe a new invariant which distinguishes between the P1Fs of $K_{16}$, (ii) observe that the new P1Fs produce no atomic Latin squares of order 15 and (iii) record P1Fs for a number of large orders that exceed prime powers by one.

We give the crossing number of the join product $W_{4}+D_{n}$, where $W_{4}$ is the wheel on five vertices and $D_{n}$ consists of $n$ isolated vertices. The proof is based on calculating the minimum number of crossings between two different subgraphs from the set of subgraphs which do not cross the edges of the graph $W_{4}$ and from the set of subgraphs which cross the edges of $W_{4}$ exactly once.

A positive-definite diagonal quadratic form $a_{1}x_{1}^{2}+\cdots +a_{n}x_{n}^{2}\;(a_{1},\ldots ,a_{n}\in \mathbb{N})$ is said to be prime-universal if it is not universal and for every prime $p$ there are integers $x_{1},\ldots ,x_{n}$ such that $a_{1}x_{1}^{2}+\cdots +a_{n}x_{n}^{2}=p$. We determine all possible prime-universal ternary quadratic forms $ax^{2}+by^{2}+cz^{2}$ and all possible prime-universal quaternary quadratic forms $ax^{2}+by^{2}+cz^{2}+dw^{2}$. The prime-universal ternary forms are completely determined. The prime-universal quaternary forms are determined subject to the validity of two conjectures. We make no use of a result of Bhargava concerning quadratic forms representing primes which is stated but not proved in the literature.

The congruent number elliptic curves are defined by $E_{d}:y^{2}=x^{3}-d^{2}x$, where $d\in \mathbb{N}$. We give a simple proof of a formula for $L(\operatorname{Sym}^{2}(E_{d}),3)$ in terms of the determinant of the elliptic trilogarithm evaluated at some degree zero divisors supported on the torsion points on $E_{d}(\overline{\mathbb{Q}})$.

The $W$-operator, $W([n])$, generalises the cut-and-join operator. We prove that $W([n])$ can be written as the sum of $n!$ terms, each term corresponding uniquely to a permutation in $S_{\!n}$. We also prove that there is a correspondence between the terms of $W([n])$ with maximal degree and noncrossing partitions.

We show that for all $m,k,r\in \mathbb{N}$, there is an $n\in \mathbb{N}$ such that whenever $L$ is a Latin square of order $m$ and the Cartesian product $L^{n}$ of $n$ copies of $L$ is $r$-coloured, there is a monochrome Latin subsquare of $L^{n}$, isotopic to $L^{k}$. In particular, for every prime $p$ and for all $k,r\in \mathbb{N}$, there is an $n\in \mathbb{N}$ such that whenever the multiplication table $L({\mathbb{Z}_{p}}^{n})$ of the group ${\mathbb{Z}_{p}}^{n}$ is $r$-coloured, there is a monochrome Latin subsquare of order $p^{k}$. On the other hand, we show that for every group $G$ of order $\leq 15$, there is a 2-colouring of $L(G)$ without a nontrivial monochrome Latin subsquare.

We prove a new linear relation for multiple zeta values. This is a natural generalisation of the restricted sum formula proved by Eie, Liaw and Ong. We also present an analogous result for finite multiple zeta values.

We give a new formula for the number of cyclic subgroups of a finite abelian group. This is based on Burnside’s lemma applied to the action of the power automorphism group. The resulting formula generalises Menon’s identity.

Let $p>3$ be a prime and let $a$ be a rational $p$-adic integer with $a\not \equiv 0\;(\text{mod}\;p)$. We evaluate

$$\begin{eqnarray}\mathop{\sum }_{k=1}^{(p-1)/2}\frac{1}{k}\binom{a}{k}\binom{-1-a}{k}\quad \text{and}\quad \mathop{\sum }_{k=0}^{(p-1)/2}\frac{1}{2k-1}\binom{a}{k}\binom{-1-a}{k}\end{eqnarray}$$

$p^{2}$

Qi and Chapman [‘Two closed forms for the Bernoulli polynomials’, J. Number Theory159 (2016), 89–100] gave a closed form expression for the Bernoulli polynomials as polynomials with coefficients involving Stirling numbers of the second kind. We extend the formula to the degenerate Bernoulli polynomials, replacing the Stirling numbers by degenerate Stirling numbers of the second kind.

Under sufficiently strong assumptions about the first prime in an arithmetic progression, we prove that the number of Carmichael numbers up to $X$ is $\gg X^{1-R}$, where $R=(2+o(1))\log \log \log \log X/\text{log}\log \log X$. This is close to Pomerance’s conjectured density of $X^{1-R}$ with $R=(1+o(1))\log \log \log X/\text{log}\log X$.

For positive integers $t_{1},\ldots ,t_{k}$, let $\tilde{p}(n,t_{1},t_{2},\ldots ,t_{k})$ (respectively $p(n,t_{1},t_{2},\ldots ,t_{k})$) be the number of partitions of $n$ such that, if $m$ is the smallest part, then each of $m+t_{1},m+t_{1}+t_{2},\ldots ,m+t_{1}+t_{2}+\cdots +t_{k-1}$ appears as a part and the largest part is at most (respectively equal to) $m+t_{1}+t_{2}+\cdots +t_{k}$. Andrews et al. [‘Partitions with fixed differences between largest and smallest parts’, Proc. Amer. Math. Soc.143 (2015), 4283–4289] found an explicit formula for the generating function of $p(n,t_{1},t_{2},\ldots ,t_{k})$. We establish a $q$-series identity from which the formulae for the generating functions of $\tilde{p}(n,t_{1},t_{2},\ldots ,t_{k})$ and $p(n,t_{1},t_{2},\ldots ,t_{k})$ can be obtained.

We give an algorithmic generalisation of Dickson’s method of classifying permutation polynomials (PPs) of a given degree $d$ over finite fields. Dickson’s idea is to formulate from Hermite’s criterion several polynomial equations satisfied by the coefficients of an arbitrary PP of degree $d$. Previous classifications of PPs of degree at most 6 were essentially deduced from manual analysis of these polynomial equations, but this approach is no longer viable for $d>6$. Our idea is to calculate some radicals of ideals generated by the polynomials, implemented by a computer algebra system. Our algorithms running in SageMath 8.6 on a personal computer work very fast to determine all PPs of degree 8 over an arbitrary finite field of odd order $q>8$. Such PPs exist if and only if $q\in \{11,13,19,23,27,29,31\}$ and are explicitly listed in normalised form.

For every integer $k\geq 2$ and every $A\subseteq \mathbb{N}$, we define the $k$-directions sets of $A$ as $D^{k}(A):=\{\boldsymbol{a}/\Vert \boldsymbol{a}\Vert :\boldsymbol{a}\in A^{k}\}$ and $D^{\text{}\underline{k}}(A):=\{\boldsymbol{a}/\Vert \boldsymbol{a}\Vert :\boldsymbol{a}\in A^{\text{}\underline{k}}\}$, where $\Vert \cdot \Vert$ is the Euclidean norm and $A^{\text{}\underline{k}}:=\{\boldsymbol{a}\in A^{k}:a_{i}\neq a_{j}\text{ for all }i\neq j\}$. Via an appropriate homeomorphism, $D^{k}(A)$ is a generalisation of the ratio set$R(A):=\{a/b:a,b\in A\}$. We study $D^{k}(A)$ and $D^{\text{}\underline{k}}(A)$ as subspaces of $S^{k-1}:=\{\boldsymbol{x}\in [0,1]^{k}:\Vert \boldsymbol{x}\Vert =1\}$. In particular, generalising a result of Bukor and Tóth, we provide a characterisation of the sets $X\subseteq S^{k-1}$ such that there exists $A\subseteq \mathbb{N}$ satisfying $D^{\text{}\underline{k}}(A)^{\prime }=X$, where $Y^{\prime }$ denotes the set of accumulation points of $Y$. Moreover, we provide a simple sufficient condition for $D^{k}(A)$ to be dense in $S^{k-1}$. We conclude with questions for further research.

In the field $\mathbb{K}$ of formal power series over a finite field $K$, we consider some lacunary power series with algebraic coefficients in a finite extension of $K(x)$. We show that the values of these series at nonzero algebraic arguments in $\mathbb{K}$ are $U$-numbers.

Suppose $a^{2}(a^{2}+1)$ divides $b^{2}(b^{2}+1)$ with $b>a$. We improve a previous result and prove a gap principle, without any additional assumptions, namely $b\gg a(\log a)^{1/8}/(\log \log a)^{12}$. We also obtain $b\gg _{\unicode[STIX]{x1D716}}a^{15/14-\unicode[STIX]{x1D716}}$ under the abc conjecture.

A polynomial $f$ over a finite field $\mathbb{F}_{q}$ can be classified as a permutation polynomial by the Hermite–Dickson criterion, which consists of conditions on the powers $f^{e}$ for each $e$ from $1$ to $q-2$, as well as the existence of a unique solution to $f(x)=0$ in $\mathbb{F}_{q}$. Carlitz and Lutz gave a variant of the criterion. In this paper, we provide an alternate proof to the theorem of Carlitz and Lutz.

In this note we examine Littlewood’s proof of the prime number theorem. We show that this can be extended to provide an equivalence between the prime number theorem and the nonvanishing of Riemann’s zeta-function on the one-line. Our approach goes through the theory of almost periodic functions and is self-contained.

We prove that a reduced and irreducible algebraic surface in $\mathbb{CP}^{3}$ containing infinitely many twistor lines cannot have odd degree. Then, exploiting the theory of quaternionic slice regularity and the normalisation map of a surface, we give constructive existence results for even degrees.

Let $d_{3}(n)$ be the divisor function of order three. Let $g$ be a Hecke–Maass form for $\unicode[STIX]{x1D6E4}$ with $\unicode[STIX]{x1D6E5}g=(1/4+t^{2})g$. Suppose that $\unicode[STIX]{x1D706}_{g}(n)$ is the $n$th Hecke eigenvalue of $g$. Using the Voronoi summation formula for $\unicode[STIX]{x1D706}_{g}(n)$ and the Kuznetsov trace formula, we estimate a shifted convolution sum of $d_{3}(n)$ and $\unicode[STIX]{x1D706}_{g}(n)$ and show that

$$\begin{eqnarray}\mathop{\sum }_{n\leq x}d_{3}(n)\unicode[STIX]{x1D706}_{g}(n-1)\ll _{t,\unicode[STIX]{x1D700}}x^{8/9+\unicode[STIX]{x1D700}}.\end{eqnarray}$$

$d_{3}$