We discuss a truncated identity of Euler and present a combinatorial proof of it. We also derive two finite identities as corollaries. As an application, we establish two related $q$-congruences for sums of $q$-Catalan numbers, one of which has been proved by Tauraso [‘$q$-Analogs of some congruences involving Catalan numbers’, Adv. Appl. Math. 48 (2012), 603–614] by a different method.

In this note we use some $q$-congruences proved by the method of ‘creative microscoping’ to prove two conjectures on supercongruences involving central binomial coefficients. In particular, we confirm the $m=5$ case of Conjecture 1.1 of Guo [‘Some generalizations of a supercongruence of Van Hamme’, Integral Transforms Spec. Funct.28 (2017), 888–899].

We show, under some natural restrictions, that some semigroup orbits of polynomials cannot contain too many elements of small multiplicative order modulo a large prime $p$, extending previous work of Shparlinski [‘Multiplicative orders in orbits of polynomials over finite fields’, Glasg. Math. J.60(2) (2018), 487–493].

A system of quadratic forms is associated to every generalised quadratic form over a division algebra with involution of the first kind in characteristic two. It is shown that this system determines the isotropy behaviour and the isometry class of generalised quadratic forms. An application of this construction to the Witt index of generalised quadratic forms is also given.

Following recent investigations of vanishing coefficients in infinite products, we show that such instances are very rare when the infinite product is among a family of theta-quotients of modulus five. We also prove that a general family of products of theta functions of modulus five can always be effectively 5-dissected.

We present a complete characterisation of the radial asymptotics of degree-one Mahler functions as $z$ approaches roots of unity of degree $k^{n}$, where $k$ is the base of the Mahler function, as well as some applications concerning transcendence and algebraic independence. For example, we show that the generating function of the Thue–Morse sequence and any Mahler function (to the same base) which has a nonzero Mahler eigenvalue are algebraically independent over $\mathbb{C}(z)$. Finally, we discuss asymptotic bounds towards generic points on the unit circle.

Recently, Brietzke, Silva and Sellers [‘Congruences related to an eighth order mock theta function of Gordon and McIntosh’, J. Math. Anal. Appl.479 (2019), 62–89] studied the number $v_{0}(n)$ of overpartitions of $n$ into odd parts without gaps between the nonoverlined parts, whose generating function is related to the mock theta function $V_{0}(q)$ of order 8. In this paper we first present a short proof of the 3-dissection for the generating function of $v_{0}(2n)$. Then we establish three congruences for $v_{0}(n)$ along certain progressions which are subsequences of the integers $4n+3$.

Andrews [‘Binary and semi-Fibonacci partitions’, J. Ramanujan Soc. Math. Math. Sci.7(1) (2019), 1–6] recently proved a new identity between the cardinalities of the set of semi-Fibonacci partitions and the set of partitions into powers of 2 with all parts appearing an odd number of times. We extend the identity to the set of semi-$m$-Fibonacci partitions of $n$ and the set of partitions of $n$ into powers of $m$ in which all parts appear with multiplicity not divisible by $m$. We also give a new characterisation of semi-$m$-Fibonacci partitions and some congruences satisfied by the associated number sequence.

For a given prime $p$, we investigate the finite groups all of whose 2-minimal $p$-subgroups are complemented.

To study when a paratopological group becomes a topological group, Arhangel’skii et al. [‘Topological games and topologies on groups’, Math. Maced. 8 (2010), 1–19] introduced the class of $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourable spaces. We show that every $\unicode[STIX]{x1D707}$-complete (or normal) $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourable semitopological group is a topological group. We prove that the product of a $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourable space and a strongly Fréchet $(\unicode[STIX]{x1D6FC},G_{\unicode[STIX]{x1D6F1}})$-favourable space is $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourable. We also show that continuous closed irreducible mappings preserve the $(\,\unicode[STIX]{x1D6FD},G_{\unicode[STIX]{x1D6F1}})$-unfavourableness in both directions.

Barnard and Steinerberger [‘Three convolution inequalities on the real line with connections to additive combinatorics’, Preprint, 2019, arXiv:1903.08731] established the autocorrelation inequality

$$\begin{eqnarray}\min _{0\leq t\leq 1}\int _{\mathbb{R}}f(x)f(x+t)\,dx\leq 0.411||f||_{L^{1}}^{2}\quad \text{for}~f\in L^{1}(\mathbf{R}),\end{eqnarray}$$

$0.411$

$0.37$

$f$

$$\begin{eqnarray}\max _{x_{1}\in \mathbb{R}}\min _{0\leq t\leq 1}\left[f(x_{1}-t)+f(x_{1}+t)\right]\leq \min _{x_{2}\in \mathbb{R}}\max _{0\leq t\leq 1}\left[f(x_{2}-t)+f(x_{2}+t)\right].\end{eqnarray}$$

$f$

$||f||_{L^{1}}$

$d,n\in \mathbb{Z}^{+}$

$f\in L^{1}$

$A$

$d\times n$

$a_{i}$

$1\leq i\leq n$

$C$

$A$

$f$

$$\begin{eqnarray}\min _{\mathbf{t}\in [0,1]^{d}}\int _{\mathbb{R}}\mathop{\prod }_{i=1}^{n}~f(x+\mathbf{t}\cdot a_{i})\,dx\leq C||f||_{L^{1}}^{n}.\end{eqnarray}$$

We prove that if two $C^{1,1}(\unicode[STIX]{x1D6FA})$ solutions of the second boundary value problem for the generated Jacobian equation intersect in $\unicode[STIX]{x1D6FA}$ then they are the same solution. In addition, we extend this result to $C^{2}(\overline{\unicode[STIX]{x1D6FA}})$ solutions intersecting on the boundary, via an additional convexity condition on the target domain.

This paper is concerned with the static Choquard equation

$$\begin{eqnarray}-\unicode[STIX]{x1D6E5}u=\bigg(\frac{1}{|x|^{N-\unicode[STIX]{x1D6FC}}}\ast |u|^{p}\bigg)|u|^{p-2}u\quad \text{in }\mathbb{R}^{N},\end{eqnarray}$$

$N,p>2$

$\max \{0,N-4\}<\unicode[STIX]{x1D6FC}<N$

$u\in C^{1}(\mathbb{R}^{N})$

$u\equiv 0$

$\unicode[STIX]{x1D6FC}\neq 2$

It is known that the Fourier–Stieltjes coefficients of a nonatomic coin-tossing measure may not vanish at infinity. However, we show that they could vanish at infinity along some integer subsequences, including the sequence ${\{b^{n}\}}_{n\geq 1}$ where $b$ is multiplicatively independent of 2 and the sequence given by the multiplicative semigroup generated by 3 and 5. The proof is based on elementary combinatorics and lower-bound estimates for linear forms in logarithms from transcendental number theory.

We extend bifurcation results of nonlinear eigenvalue problems from real Banach spaces to any neighbourhood of a given point. For points of odd multiplicity on these restricted domains, we establish that the component of solutions through the bifurcation point either is unbounded, admits an accumulation point on the boundary, or contains an even number of odd-multiplicity points. In the simple-multiplicity case, we show that branches of solutions in the directions of corresponding eigenvectors satisfy similar conditions on such restricted domains.

We show that a class of area-preserving flows can deform every starshaped curve into a circle.

In robotics, a topological theory of motion planning was initiated by M. Farber. We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions between them and avoiding obstacles. Furthermore, we present the multi-tasking version of the algorithms.

We consider Stavskaya’s process, which is a two-state probabilistic cellular automaton defined on a one-dimensional lattice. The state of any vertex depends only on itself and on the state of its right-adjacent neighbour. This process was one of the first multicomponent systems with local interaction for which the existence of a kind of phase transition has been rigorously proved. However, the exact localisation of its critical value remains as an open problem. We provide a new lower bound for the critical value.