For a graph $G$, let $f(G)$ denote the maximum number of edges in a bipartite subgraph of $G$. For an integer $m$ and for a fixed graph $H$, let $f(m,H)$ denote the minimum possible cardinality of $f(G)$ as $G$ ranges over all graphs on $m$ edges that contain no copy of $H$. We give a general lower bound for $f(m,H)$ which extends a result of Erdős and Lovász and we study this function for any bipartite graph $H$ with maximum degree at most $t\geq 2$ on one side.

Rodriguez-Villegas conjectured four supercongruences associated to certain elliptic curves, which were first confirmed by Mortenson by using the Gross–Koblitz formula. In this paper we prove four supercongruences between two truncated hypergeometric series $_{2}F_{1}$. The results generalise the four Rodriguez-Villegas supercongruences.

The quotient set of $A\subseteq \mathbb{N}$ is defined as $R(A):=\{a/b:a,b\in A,b\neq 0\}$. Using algebraic number theory in $\mathbb{Q}(\sqrt{5})$, Garcia and Luca [‘Quotients of Fibonacci numbers’, Amer. Math. Monthly, to appear] proved that the quotient set of Fibonacci numbers is dense in the $p$-adic numbers $\mathbb{Q}_{p}$ for all prime numbers $p$. For any integer $k\geq 2$, let $(F_{n}^{(k)})_{n\geq -(k-2)}$ be the sequence of $k$-generalised Fibonacci numbers, defined by the initial values $0,0,\ldots ,0,1$ ($k$ terms) and such that each successive term is the sum of the $k$ preceding terms. We use $p$-adic analysis to generalise the result of Garcia and Luca, by proving that the quotient set of $k$-generalised Fibonacci numbers is dense in $\mathbb{Q}_{p}$ for any integer $k\geq 2$ and any prime number $p$.

In 1956, Jeśmanowicz conjectured that, for any positive integers $m$ and $n$ with $m>n$, $\gcd (m,n)=1$ and $2\nmid m+n$, the Diophantine equation $(m^{2}-n^{2})^{x}+(2mn)^{y}=(m^{2}+n^{2})^{z}$ has only the positive integer solution $(x,y,z)=(2,2,2)$. In this paper, we prove the conjecture if $4\nmid mn$ and $y\geq 2$.

This paper concerns the problem of algebraic differential independence of the gamma function and ${\mathcal{L}}$-functions in the extended Selberg class. We prove that the two kinds of functions cannot satisfy a class of algebraic differential equations with functional coefficients that are linked to the zeros of the ${\mathcal{L}}$-function in a domain $D:=\{z:0<\text{Re}\,z<\unicode[STIX]{x1D70E}_{0}\}$ for a positive constant $\unicode[STIX]{x1D70E}_{0}$.

Let $K$ be a number field with ring of integers $\mathbb{Z}_{K}$. We prove two asymptotic formulas connected with the distribution of irreducible elements in $\mathbb{Z}_{K}$. First, we estimate the maximum number of nonassociated irreducibles dividing a nonzero element of $\mathbb{Z}_{K}$ of norm not exceeding $x$ (in absolute value), as $x\rightarrow \infty$. Second, we count the number of irreducible elements of $\mathbb{Z}_{K}$ of norm not exceeding $x$ lying in a given arithmetic progression (again, as $x\rightarrow \infty$). When $K=\mathbb{Q}$, both results are classical; a new feature in the general case is the influence of combinatorial properties of the class group of $K$.

Let $S|_{R}$ be a groupoid Galois extension with Galois groupoid $G$ such that $E_{g}^{G_{r(g)}}\subseteq C1_{g}$, for all $g\in G$, where $C$ is the centre of $S$, $G_{r(g)}$ is the principal group associated to $r(g)$ and $\{E_{g}\}_{g\in G}$ are the ideals of $S$. We give a complete characterisation in terms of a partial isomorphism groupoid for such extensions, showing that $G=\dot{\bigcup }_{g\in G}\text{Isom}_{R}(E_{g^{-1}},E_{g})$ if and only if $E_{g}$ is a connected commutative algebra or $E_{g}=E_{g}^{G_{r(g)}}\oplus E_{g}^{G_{r(g)}}$, where $E_{g}^{G_{r(g)}}$ is connected, for all $g\in G$.

Let $M$ be an $n$-dimensional closed oriented smooth manifold with $n\equiv 4\;\text{mod}\;8$, and $\unicode[STIX]{x1D702}$ be a complex vector bundle over $M$. We determine the final obstruction for $\unicode[STIX]{x1D702}$ to admit a stable real form in terms of the characteristic classes of $M$ and $\unicode[STIX]{x1D702}$. As an application, we obtain the criteria to determine which complex vector bundles over a simply connected four-dimensional manifold admit a stable real form.

In this paper, we give an explicit construction of a quasi-idempotent in the $q$-rook monoid algebra $R_{n}(q)$ and show that it generates the whole annihilator of the tensor space $U^{\otimes n}$ in $R_{n}(q)$.

The Laub–Ilani inequality [‘A subtle inequality’, Amer. Math. Monthly97 (1990), 65–67] states that $x^{x}+y^{y}\geqslant x^{y}+y^{x}$ for nonnegative real numbers $x,y$. We introduce and prove new trigonometric and algebraic-trigonometric inequalities of Laub–Ilani type and propose some conjectural algebraic-trigonometric inequalities of similar forms.

We prove the existence of infinitely many solutions $u\in W_{0}^{1,2}(\unicode[STIX]{x1D6FA})$ for the Kirchhoff equation

$$\begin{eqnarray}\displaystyle -\biggl(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FD}\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x1D6FB}u|^{2}\,dx\biggr)\unicode[STIX]{x1D6E5}u=a(x)|u|^{q-1}u+\unicode[STIX]{x1D707}f(x,u)\quad \text{in }\unicode[STIX]{x1D6FA}, & & \displaystyle \nonumber\end{eqnarray}$$

$\unicode[STIX]{x1D6FA}\subset \mathbb{R}^{N}$

$a(x)$

$0<q<1$

$\unicode[STIX]{x1D6FC}>0$

$\unicode[STIX]{x1D6FD}\geq 0$

$\unicode[STIX]{x1D707}>0$

$f$

Assume that $(G,+)$ is a commutative semigroup, $\unicode[STIX]{x1D70F}$ is an endomorphism of $G$ and an involution, $D$ is a nonempty subset of $G$ and $(H,+)$ is an abelian group uniquely divisible by two. We prove that if $D$ is ‘sufficiently large’, then each function $g:D\rightarrow H$ satisfying $g(x+y)+g(x+\unicode[STIX]{x1D70F}(y))=2g(x)$ for $x,y\in D$ with $x+y,x+\unicode[STIX]{x1D70F}(y)\in D$ can be extended to a unique solution $f:G\rightarrow H$ of the generalised Jensen functional equation $f(x+y)+f(x+\unicode[STIX]{x1D70F}(y))=2f(x)$.

Let $\ell >0$ be arbitrary. We introduce the extremal quantities

$$\begin{eqnarray}G(\ell ):=\sup _{f}\int _{-\ell }^{\ell }f\,dx\,\bigg/\int _{-1}^{1}f\,dx,\quad C(\ell ):=\sup _{f}\sup _{a\in \mathbb{R}}\int _{a-\ell }^{a+\ell }f\,dx\,\bigg/\int _{-1}^{1}f\,dx,\end{eqnarray}$$

$\ell =2$

$\overline{\lim }_{\unicode[STIX]{x1D700}\rightarrow 0+}G(k+\unicode[STIX]{x1D700})$

$\overline{\lim }_{\unicode[STIX]{x1D700}\rightarrow 0+}C(k+\unicode[STIX]{x1D700})$

$(k\in \mathbb{N})$

$\ell$

A Littlewood–Paley operator associated with the reflection part of the Dunkl operator is introduced and proved to be of type $(p,p)$ for $1<p<\infty$, based on boundedness of a generalised vector-valued singular integral. This fills a gap for $2<p<\infty$ concerning the boundedness of a $g$-function in the Dunkl setting. The paper also supplies new proofs for $1<p<\infty$ on the $(p,p)$ boundedness of various $g$-functions associated with the Dunkl operator.

For a normed infinite-dimensional space, we prove that the family of all locally convex topologies which are compatible with the original norm topology has cardinality greater or equal to $\mathfrak{c}$.

We study function multipliers between spaces of holomorphic functions on the unit disc of the complex plane generated by symmetric sequence spaces. In the case of sequence $\ell ^{p}$ spaces we recover Nikol’skii’s results [‘Spaces and algebras of Toeplitz matrices operating on $\ell ^{p}$’, Sibirsk. Mat. Zh.7 (1966), 146–158].

We investigate $L^{p}(\unicode[STIX]{x1D6FE})$–$L^{q}(\unicode[STIX]{x1D6FE})$ off-diagonal estimates for the Ornstein–Uhlenbeck semigroup $(e^{tL})_{t>0}$. For sufficiently large $t$ (quantified in terms of $p$ and $q$), these estimates hold in an unrestricted sense, while, for sufficiently small $t$, they fail when restricted to maximal admissible balls and sufficiently small annuli. Our counterexample uses Mehler kernel estimates.

The Krasnosel’skiĭ–Mann (KM) iteration is a widely used method to solve fixed point problems. This paper investigates the convergence rate for the KM iteration. We first establish a new convergence rate for the KM iteration which improves the known big-$O$ rate to little-$o$ without any other restrictions. The proof relies on the connection between the KM iteration and a useful technique on the convergence rate of summable sequences. Then we apply the result to give new results on convergence rates for the proximal point algorithm and the Douglas–Rachford method.

A killer of a group $G$ is an element that normally generates $G$. We show that the group of a cable knot contains infinitely many killers such that no two lie in the same automorphic orbit.