For positive integers $p$ and $q$, let ${ \mathcal{G} }_{p, q} $ be a class of graphs such that $\vert E(G)\vert \leq p\vert V(G)\vert - q$ for every $G\in { \mathcal{G} }_{p, q} $. In this paper, we consider the sum of the $k\mathrm{th} $ powers of the degrees of the vertices of a graph $G\in { \mathcal{G} }_{p, q} $ with $\Delta (G)\geq 2p$. We obtain an upper bound for this sum that is linear in ${\Delta }^{k- 1} $. These graphs include the planar, 1-planar, $t$-degenerate, outerplanar, and series-parallel graphs.

Let ${ \mathcal{T} }_{X} $ be the full transformation semigroup on a set $X$ and $E$ be a nontrivial equivalence relation on $X$. Denote

$$\begin{eqnarray*}{T}_{\exists } (X)= \{ f\in { \mathcal{T} }_{X} : \forall x, y\in X, (f(x), f(y))\in E\Rightarrow (x, y)\in E\} ,\end{eqnarray*}$$

${T}_{\exists } (X)$

${ \mathcal{T} }_{X} $

${T}_{\exists } (X)$

We prove that any surjective isometry between unit spheres of the ${\ell }^{\infty } $-sum of strictly convex normed spaces can be extended to a linear isometry on the whole space, and we solve the isometric extension problem affirmatively in this case.

Let $T(S)$ be the Teichmüller space of a hyperbolic Riemann surface $S$. Suppose that $\mu $ is an extremal Beltrami differential at a given point $\tau $ of $T(S)$ and $\{ {\phi }_{n} \} $ is a Hamilton sequence for $\mu $. It is an open problem whether the sequence $\{ {\phi }_{n} \} $ is always a Hamilton sequence for all extremal differentials in $\tau $. S. Wu [‘Hamilton sequences for extremal quasiconformal mappings of the unit disk’, Sci. China Ser. A 42 (1999), 1033–1042] gave a positive answer to this problem in the case where $S$ is the unit disc. In this paper, we show that it is also true when $S$ is a doubly-connected domain.

In this short paper, we show that, with three exceptions, if the Wiener index of a connected graph of order $n$ is at most $(n+ 5)(n- 2)/ 2$, then it is traceable.

We give an affirmative answer to one of the questions posed by Bourin regarding a special type of inequality referred to as subadditivity inequalities in the case of the Hilbert–Schmidt and the trace norms. We formulate the solution for arbitrary commuting positive operators, and we conjecture that it is true for all unitarily invariant norms and all commuting positive operators. New related trace inequalities are also presented.

Gama and Nguyen [‘Finding short lattice vectors within Mordell’s inequality’, in: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, New York, 2008, 257–278] have presented slide reduction which is currently the best SVP approximation algorithm in theory. In this paper, we prove the upper and lower bounds for the ratios $\Vert { \mathbf{b} }_{i}^{\ast } \Vert / {\lambda }_{i} (\mathbf{L} )$ and $\Vert {\mathbf{b} }_{i} \Vert / {\lambda }_{i} (\mathbf{L} )$, where ${\mathbf{b} }_{1} , \ldots , {\mathbf{b} }_{n} $ is a slide reduced basis and ${\lambda }_{1} (\mathbf{L} ), \ldots , {\lambda }_{n} (\mathbf{L} )$ denote the successive minima of the lattice $\mathbf{L} $. We define generalised slide reduction and use slide reduction to approximate $i$-SIVP, SMP and CVP. We also present a critical slide reduced basis for blocksize 2.

Khovanov homology, an invariant of links in ${ \mathbb{R} }^{3} $, is a graded homology theory that categorifies the Jones polynomial in the sense that the graded Euler characteristic of the homology is the Jones polynomial. Asaeda et al. [‘Categorification of the Kauffman bracket skein module of $I$-bundles over surfaces’, Algebr. Geom. Topol. 4 (2004), 1177–1210] generalised this construction by defining a double graded homology theory that categorifies the Kauffman bracket skein module of links in $I$-bundles over surfaces, except for the surface $ \mathbb{R} {\mathrm{P} }^{2} $, where the construction fails due to strange behaviour of links when projected to the nonorientable surface $ \mathbb{R} {\mathrm{P} }^{2} $. This paper categorifies the missing case of the twisted $I$-bundle over $ \mathbb{R} {\mathrm{P} }^{2} $, $ \mathbb{R} {\mathrm{P} }^{2} \widetilde {\times } I\approx \mathbb{R} {\mathrm{P} }^{3} \setminus \{ \ast \} $, by redefining the differential in the Khovanov chain complex in a suitable manner.

Let $p(z)= z{f}^{\prime } (z)/ f(z)$ for a function $f(z)$ analytic on the unit disc $\mid z\mid \lt 1$ in the complex plane and normalised by $f(0)= 0, {f}^{\prime } (0)= 1$. We provide lower and upper bounds for the best constants ${\delta }_{0} $ and ${\delta }_{1} $ such that the conditions ${e}^{- {\delta }_{0} / 2} \lt \mid p(z)\mid \lt {e}^{{\delta }_{0} / 2} $ and $\mid p(w)/ p(z)\mid \lt {e}^{{\delta }_{1} } $ for $\mid z\mid , \mid w\mid \lt 1$ respectively imply univalence of $f$ on the unit disc.

We use a generalisation of Vinogradov’s mean value theorem of Parsell et al. [‘Near-optimal mean value estimates for multidimensional Weyl sums’, arXiv:1205.6331] and ideas of Schmidt [‘Irregularities of distribution. IX’, Acta Arith. 27 (1975), 385–396] to give nontrivial bounds for the number of solutions to polynomial congruences, when the solutions lie in a very general class of sets, including all convex sets.

The commutativity degree of a finite group is the probability that two randomly chosen group elements commute. The object of this paper is to compute the commutativity degree of a class of finite groups obtained by semidirect product of two finite abelian groups. As a byproduct of our result, we provide an affirmative answer to an open question posed by Lescot.

The $p$-length of a finite $p$-soluble group is an important invariant parameter. The well-known Hall–Higman $p$-length theorem states that the $p$-length of a $p$-soluble group is bounded above by the nilpotent class of its Sylow $p$-subgroups. In this paper, we improve this result by giving a better estimation on the $p$-length of a $p$-soluble group in terms of other invariant parameters of its Sylow $p$-subgroups.

Two arithmetic functions $f$ and $g$ form a Möbius pair if $f(n)= {\mathop{\sum }\nolimits}_{d\mid n} g(d)$ for all natural numbers $n$. In that case, $g$ can be expressed in terms of $f$ by the familiar Möbius inversion formula of elementary number theory. In a previous paper, the first-named author showed that if the members $f$ and $g$ of a Möbius pair are both finitely supported, then both functions vanish identically. Here we prove two significantly stronger versions of this uncertainty principle. A corollary is that in a nonzero Möbius pair, one cannot have both ${\mathop{\sum }\nolimits}_{f(n)\not = 0} 1/ n\lt \infty $ and ${\mathop{\sum }\nolimits}_{g(n)\not = 0} 1/ n\lt \infty $.

It is well known to be impossible to trisect an arbitrary angle and duplicate an arbitrary cube by a ruler and a compass. On the other hand, it is known from ancient times that these constructions can be performed when the use of several conic curves is allowed. In this paper, we prove that any point constructible from conics can be constructed using a ruler and a compass, together with a single fixed nondegenerate conic different from a circle.

A graph $\mit{\Gamma} $ is called $1$-regular if $ \mathsf{Aut} \mit{\Gamma} $ acts regularly on its arcs. In this paper, a classification of $1$-regular Cayley graphs of valency $7$ is given; in particular, it is proved that there is only one core-free graph up to isomorphism.

Let $a, b, c$ be relatively prime positive integers such that ${a}^{2} + {b}^{2} = {c}^{2} $. In 1956, Jeśmanowicz conjectured that for any positive integer $n$, the only solution of $\mathop{(an)}\nolimits ^{x} + \mathop{(bn)}\nolimits ^{y} = \mathop{(cn)}\nolimits ^{z} $ in positive integers is $(x, y, z)= (2, 2, 2)$. In this paper, we consider Jeśmanowicz’ conjecture for Pythagorean triples $(a, b, c)$ if $a= c- 2$ and $c$ is a Fermat prime. For example, we show that Jeśmanowicz’ conjecture is true for $(a, b, c)= (3, 4, 5)$, $(15, 8, 17)$, $(255, 32, 257)$, $(65535, 512, 65537)$.

Towards an involutive analogue of a result on the semisimplicity of ${\ell }^{1} (S)$ by Hewitt and Zuckerman, we show that, given an abelian $\ast $-semigroup $S$, the commutative convolution Banach $\ast $-algebra ${\ell }^{1} (S)$ is $\ast $-semisimple if and only if Hermitian bounded semicharacters on $S$ separate the points of $S$; and we search for an intrinsic separation property on $S$ equivalent to $\ast $-semisimplicity. Very many natural involutive analogues of Hewitt and Zuckerman’s separation property are shown not to work, thereby exhibiting intricacies involved in analysis on $S$.

A $\ast $-ring $R$ is called (strongly) $\ast $-clean if every element of $R$ is the sum of a unit and a projection (that commute). Vaš [‘$\ast $-Clean rings; some clean and almost clean Baer $\ast $-rings and von Neumann algebras’, J. Algebra 324(12) (2010), 3388–3400] asked whether there exists a $\ast $-ring that is clean but not $\ast $-clean and whether a unit regular and $\ast $-regular ring is strongly $\ast $-clean. In this paper, we answer these two questions. We also give some characterisations related to $\ast $-regular rings.

In this paper, we show that there exist a Tychonoff quasi-Lindelöf space $X$ and a compact space $Y$ such that $X\times Y$ is not quasi-Lindelöf. This answers negatively an open question of Petra Staynova.

Let $L(s, E)= {\mathop{\sum }\nolimits}_{n\geq 1} {a}_{n} {n}^{- s} $ be the $L$-series corresponding to an elliptic curve $E$ defined over $ \mathbb{Q} $ and $\mathbf{u} = \mathop{\{ {u}_{m} \} }\nolimits_{m\geq 0} $ be a nondegenerate binary recurrence sequence. We prove that if ${ \mathcal{M} }_{E} $ is the set of $n$ such that ${a}_{n} \not = 0$ and ${ \mathcal{N} }_{E} $ is the subset of $n\in { \mathcal{M} }_{E} $ such that $\vert {a}_{n} \vert = \vert {u}_{m} \vert $ holds with some integer $m\geq 0$, then ${ \mathcal{N} }_{E} $ is of density $0$ as a subset of ${ \mathcal{M} }_{E} $.