For $n\in \mathbb{Z}$ and $A\subseteq \mathbb{Z}$, define $r_{A}(n)$ and ${\it\delta}_{A}(n)$ by $r_{A}(n)=\#\{(a_{1},a_{2})\in A^{2}:n=a_{1}+a_{2},a_{1}\leq a_{2}\}$ and ${\it\delta}_{A}(n)=\#\{(a_{1},a_{2})\in A^{2}:n=a_{1}-a_{2}\}$. We call $A$ a unique representation bi-basis if $r_{A}(n)=1$ for all $n\in \mathbb{Z}$ and ${\it\delta}_{A}(n)=1$ for all $n\in \mathbb{Z}\setminus \{0\}$. In this paper, we prove that there exists a unique representation bi-basis $A$ such that $\limsup _{x\rightarrow \infty }A(-x,x)/\sqrt{x}\geq 1/\sqrt{2}$.

For any positive integer $M$ we show that there are infinitely many real quadratic fields that do not admit $M$-ary universal quadratic forms (without any restriction on the parity of their cross coefficients).

In this paper, we shall prove that any subset of $\overline{\mathbb{Q}}$, which is closed under complex conjugation, is the exceptional set of uncountably many transcendental entire functions with rational coefficients. This solves an old question proposed by Mahler [Lectures on Transcendental Numbers, Lecture Notes in Mathematics, 546 (Springer, Berlin, 1976)].

A graph is called arc-regular if its full automorphism group acts regularly on its arc set. In this paper, we completely determine all the arc-regular Frobenius metacirculants of prime valency.

Let $p$ be an odd prime. In this note, we show that a finite group $G$ is solvable if all degrees of irreducible complex characters of $G$ not divisible by $p$ are either 1 or a prime.

Necessary and sufficient conditions for the existence of an orthogonal $\ast$-basis of symmetry classes of tensors associated to nonabelian groups of order $pq$ are provided by using vanishing sums of roots of unity.

We show that the proportion of permutations $g$ in $S_{\!n}$ or $A_{n}$ such that $g$ has even order and $g^{|g|/2}$ is an involution with support of cardinality at most $\lceil n^{{\it\varepsilon}}\rceil$ is at least a constant multiple of ${\it\varepsilon}$. Using this result, we obtain the same conclusion for elements in a classical group of natural dimension $n$ in odd characteristic that have even order and power up to an involution with $(-1)$-eigenspace of dimension at most $\lceil n^{{\it\varepsilon}}\rceil$ for a linear or unitary group, or $2\lceil \lfloor n/2\rfloor ^{{\it\varepsilon}}\rceil$ for a symplectic or orthogonal group.

Groups of infinite rank in which every subgroup is either normal or contranormal are characterised in terms of their subgroups of infinite rank.

For each positive $n$, let $\mathbf{u}_{n}\approx \boldsymbol{v}_{n}$ denote the identity obtained from the Adjan identity $(xy)(yx)(xy)(xy)(yx)\approx (xy)(yx)(yx)(xy)(yx)$ by substituting $(xy)\rightarrow (x_{1}x_{2}\ldots x_{n})$ and $(yx)\rightarrow (x_{n}\ldots x_{2}x_{1})$. We show that every monoid which satisfies $\mathbf{u}_{n}\approx \boldsymbol{v}_{n}$ for each positive $n$ and generates a variety containing the bicyclic monoid is nonfinitely based. This implies that the monoid $U_{2}(\mathbb{T})$ (respectively, $U_{2}(\overline{\mathbb{Z}})$) of two-by-two upper triangular tropical matrices over the tropical semiring $\mathbb{T}=\mathbb{R}\cup \{-\infty \}$ (respectively, $\overline{\mathbb{Z}}=\mathbb{Z}\cup \{-\infty \}$) is nonfinitely based.

It is proved that any surjective morphism $f:\mathbb{Z}^{{\it\kappa}}\rightarrow K$ onto a locally compact group $K$ is open for every cardinal ${\it\kappa}$. This answers a question posed by Hofmann and the second author.

We consider a special kind of structure resolvability and irresolvability for measurable spaces and discuss analogues of the criteria for topological resolvability and irresolvability.

We discuss the existence of finite critical trajectories connecting two zeros in certain families of quadratic differentials. In addition, we reprove some results about the support of the limiting root-counting measures of the generalised Laguerre and Jacobi polynomials with varying parameters.

Clunie and Sheil-Small [‘Harmonic univalent functions’, Ann. Acad. Sci. Fenn. Ser. A. I. Math.9 (1984), 3–25] gave a simple and useful univalence criterion for harmonic functions, usually called the shear construction. However, the application of this theorem is limited to planar harmonic mappings that are convex in the horizontal direction. In this paper, a natural generalisation of the shear construction is given. More precisely, our results are obtained under the hypothesis that the image of a harmonic function is a union of two sets that are convex in the horizontal direction.

We show that the solution of the dynamic boundary value problem $y^{{\rm\Delta}{\rm\Delta}}=f(t,y,y^{{\rm\Delta}})$, $y(t_{1})=y_{1}$, $y(t_{2})=y_{2}$, on a general time scale, may be delta-differentiated with respect to $y_{1},~y_{2},~t_{1}$ and $t_{2}$. By utilising an analogue of a theorem of Peano, we show that the delta derivative of the solution solves the boundary value problem consisting of either the variational equation or its dynamic analogue along with interesting boundary conditions.

This paper concerns the quenching phenomena of a reaction–diffusion equation $u_{t}=u_{xx}+1/(1-u)$ in a one dimensional varying domain $[g(t),h(t)]$, where $g(t)$ and $h(t)$ are two free boundaries evolving by a Stefan condition. We prove that all solutions will quench regardless of the choice of initial data, and we also show that the quenching set is a compact subset of the initial occupying domain and that the two free boundaries remain bounded.

In this note we give a simple proof of the endpoint regularity for the uncentred Hardy–Littlewood maximal function on $\mathbb{R}$. Our proof is based on identities for the local maximum points of the corresponding maximal functions, which are of interest in their own right.

We prove that all convolution products of pairs of continuous orbital measures in rank one, compact symmetric spaces are absolutely continuous and determine which convolution products are in $L^{2}$ (meaning that their density function is in $L^{2}$). We characterise the pairs whose convolution product is either absolutely continuous or in $L^{2}$ in terms of the dimensions of the corresponding double cosets. In particular, we prove that if $G/K$ is not $\text{SU}(2)/\text{SO}(2)$, then the convolution of any two regular orbital measures is in $L^{2}$, while in $\text{SU}(2)/\text{SO}(2)$ there are no pairs of orbital measures whose convolution product is in $L^{2}$.

We study the strong continuity of semigroups of composition operators on local Dirichlet spaces.

In this paper we give a proof of the Green–Osher inequality in relative geometry using the minimal convex annulus, including the necessary and sufficient condition for the case of equality.