For $\unicode[STIX]{x1D6FC}$ an algebraic integer of any degree $n\geqslant 2$, it is known that the discriminants of the orders $\mathbb{Z}[\unicode[STIX]{x1D6FC}^{k}]$ go to infinity as $k$ goes to infinity. We give a short proof of this result.

It is shown that Jamison sequences, introduced in 2007 by Badea and Grivaux, arise naturally in the study of topological groups with no small subgroups, of Banach or normed algebra elements whose powers are close to identity along subsequences, and in characterizations of (self-adjoint) positive operators by the accretiveness of some of their powers. The common core of these results is a description of those sequences for which non-identity elements in Lie groups or normed algebras escape an arbitrary small neighborhood of the identity in a number of steps belonging to the given sequence. Several spectral characterizations of Jamison sequences are given, and other related results are proved.

We consider expansions of o-minimal structures on the real field by collections of restrictions to the positive real line of the canonical Weierstrass products associated with sequences such as $(-n^{s})_{n>0}$ (for $s>0$) and $(-s^{n})_{n>0}$ (for $s>1$), and also expansions by associated functions such as logarithmic derivatives. There are only three possible outcomes known so far: (i) the expansion is o-minimal (that is, definable sets have only finitely many connected components); (ii) every Borel subset of each $\mathbb{R}^{n}$ is definable; (iii) the expansion is interdefinable with a structure of the form $(\mathfrak{R}^{\prime },\unicode[STIX]{x1D6FC}^{\mathbb{Z}})$ where $\unicode[STIX]{x1D6FC}>1$, $\unicode[STIX]{x1D6FC}^{\mathbb{Z}}$ is the set of all integer powers of $\unicode[STIX]{x1D6FC}$, and $\mathfrak{R}^{\prime }$ is o-minimal and defines no irrational power functions.

One of the approaches to the Riemann Hypothesis is the Nyman–Beurling criterion. Cotangent sums play a significant role in this criterion. Here we investigate the values of these cotangent sums for various shifts of the argument.

Given an entire function $f$ of finite order $\unicode[STIX]{x1D70C}$ and positive lower order $\unicode[STIX]{x1D706}$, Boxall and Jones proved a bound of the form $C(\log H)^{\unicode[STIX]{x1D702}(\unicode[STIX]{x1D706},\unicode[STIX]{x1D70C})}$ for the density of algebraic points of bounded degree and height at most $H$ on the restrictions to compact sets of the graph of $f$. The constant $C$ and exponent $\unicode[STIX]{x1D702}$ are effectively computable from certain data associated with the function. In this followup note, using different measures of the growth of entire functions, we obtain similar bounds for other classes of functions to which the original theorem does not apply.

We study the number of limit cycles bifurcating from the origin of a Hamiltonian system of degree 4. We prove, using the averaging theory of order 7, that there are quartic polynomial systems close these Hamiltonian systems having 3 limit cycles.

Component graphs $\unicode[STIX]{x1D6E4}_{0}(F)$ are defined for arrays of sets $F$, and, in particular, for arrays of path components for Vietoris–Rips complexes and Lesnick complexes. The path components of $\unicode[STIX]{x1D6E4}_{0}(F)$ are the stable components of the array $F$. The stable components for the system of Lesnick complexes $\{L_{s,k}(X)\}$ for a finite data set $X$ decompose into layers, which are themselves path components of a graph. Combinatorial scoring functions are defined for layers and stable components.

This paper investigates the computational complexity of deciding if a given finite idempotent algebra has a ternary term operation $m$ that satisfies the minority equations $m(y,x,x)\approx m(x,y,x)\approx m(x,x,y)\approx y$. We show that a common polynomial-time approach to testing for this type of condition will not work in this case and that this decision problem lies in the class NP.

We discuss the geometry of rational maps from a projective space of an arbitrary dimension to the product of projective spaces of lower dimensions induced by linear projections. In particular, we give an algebro-geometric variant of the projective reconstruction theorem by Hartley and Schaffalitzky.

We study the following problem: For which Tychonoff spaces $X$ do the free topological group $F(X)$ and the free abelian topological group $A(X)$ admit a quotient homomorphism onto a separable and nontrivial (i.e., not finitely generated) group? The existence of the required quotient homomorphisms is established for several important classes of spaces $X$, which include the class of pseudocompact spaces, the class of locally compact spaces, the class of $\unicode[STIX]{x1D70E}$-compact spaces, the class of connected locally connected spaces, and some others.

We also show that there exists an infinite separable precompact topological abelian group $G$ such that every quotient of $G$ is either the one-point group or contains a dense non-separable subgroup and, hence, does not have a countable network.

We formulate a coupled system of renewal equations for the forces of infections in interacting subgroups through a contact network. We use the theory of order-preserving and sub-homogeneous discrete dynamical systems to show the existence and uniqueness of the disease outbreak final sizes in the sub-populations. We illustrate the general theory through a simple SIR model with exponentially and non-exponentially distributed infectious period.

In 1993, N. Danikas and A. G. Siskakis showed that the Cesàro operator ${\mathcal{C}}$ is not bounded on $H^{\infty }$; that is, ${\mathcal{C}}(H^{\infty })\nsubseteq H^{\infty }$, but ${\mathcal{C}}(H^{\infty })$ is a subset of $BMOA$. In 1997, M. Essén and J. Xiao gave that ${\mathcal{C}}(H^{\infty })\subsetneq {\mathcal{Q}}_{p}$ for every $0<p<1$. In this paper, we characterize positive Borel measures $\unicode[STIX]{x1D707}$ such that ${\mathcal{C}}(H^{\infty })\subseteq M({\mathcal{D}}_{\unicode[STIX]{x1D707}})$ and show that ${\mathcal{C}}(H^{\infty })\subsetneq M({\mathcal{D}}_{\unicode[STIX]{x1D707}_{0}})\subsetneq \bigcap _{0<p<\infty }{\mathcal{Q}}_{p}$ by constructing some measures $\unicode[STIX]{x1D707}_{0}$. Here, $M({\mathcal{D}}_{\unicode[STIX]{x1D707}})$ denotes the Möbius invariant function space generated by ${\mathcal{D}}_{\unicode[STIX]{x1D707}}$, where ${\mathcal{D}}_{\unicode[STIX]{x1D707}}$ is a Dirichlet space with superharmonic weight induced by a positive Borel measure $\unicode[STIX]{x1D707}$ on the open unit disk. Our conclusions improve results mentioned above.

Let $({\mathcal{X}},d,\unicode[STIX]{x1D707})$ be a metric measure space satisfying the geometrically doubling condition and the upper doubling condition. In this paper, the authors establish the John-Nirenberg inequality for the regularized BLO space $\widetilde{\operatorname{RBLO}}(\unicode[STIX]{x1D707})$.

Effective and accurate high-degree spline interpolation is still a challenging task in today’s applications. Higher degree spline interpolation is not so commonly used, because it requires the knowledge of higher order derivatives at the nodes of a function on a given mesh.

In this article, our goal is to demonstrate the continuity of the piecewise polynomials and their derivatives at the connecting points, obtained with a method initially developed by Beaudoin (1998, 2003) and Beauchemin (2003). This new method, involving the discrete Fourier transform (DFT/FFT), leads to higher degree spline interpolation for equally spaced data on an interval $[0,T]$. To do this, we analyze the singularities that may occur when solving the system of equations that enables the construction of splines of any degree. We also note an important difference between the odd-degree splines and even-degree splines. These results prove that Beaudoin and Beauchemin’s method leads to spline interpolation of any degree and that this new method could eventually be used to improve the accuracy of spline interpolation in traditional problems.

Let $f(x)=x^{6}+ax^{4}+bx^{2}+c$ be an irreducible sextic polynomial with coefficients from a field $F$ of characteristic $\neq 2$, and let $g(x)=x^{3}+ax^{2}+bx+c$. We show how to identify the conjugacy class in $S_{6}$ of the Galois group of $f$ over $F$ using only the discriminants of $f$ and $g$ and the reducibility of a related sextic polynomial. We demonstrate that our method is useful for producing one-parameter families of even sextic polynomials with a specified Galois group.

In this paper, we study both the existence and uniqueness of nonnegative solutions for the nonlocal $p$-Laplace equation with singular term

$$\begin{eqnarray}\left\{\begin{array}{@{}ll@{}}-B\Bigl(\frac{1}{p}\int _{\unicode[STIX]{x1D6FA}}|\unicode[STIX]{x1D6FB}u|^{p}\text{d}x\Bigr)\unicode[STIX]{x1D6E5}_{p}u=\frac{h(x)}{u^{\unicode[STIX]{x1D6FE}}}+k(x)u^{q},\quad & x\in \unicode[STIX]{x1D6FA},\\ u>0,\quad & x\in \unicode[STIX]{x1D6FA},\\ u=0,\quad & x\in \unicode[STIX]{x2202}\unicode[STIX]{x1D6FA},\end{array}\right.\end{eqnarray}$$

$\unicode[STIX]{x1D6FA}\subset \mathbb{R}^{N}(N\geqslant 1)$

$\unicode[STIX]{x2202}\unicode[STIX]{x1D6FA}$

$h\in L^{1}(\unicode[STIX]{x1D6FA})$

$h>0$

$\unicode[STIX]{x1D6FA}$

$k\in L^{\infty }(\unicode[STIX]{x1D6FA})$

$B:[0,+\infty )\rightarrow [m,+\infty )$

$m$

$p>1$

$0\leqslant q\leqslant p-1$

$\unicode[STIX]{x1D6FE}>1$

$(h(x),\unicode[STIX]{x1D6FE})$

$u_{0}\in W_{0}^{1,p}(\unicode[STIX]{x1D6FA})$

$\int _{\unicode[STIX]{x1D6FA}}h(x)u_{0}^{1-\unicode[STIX]{x1D6FE}}\text{d}x<\infty$

$k(x)\equiv 0$

In this paper, we initiate the study of fixed point properties of amenable or reversible semitopological semigroups in modular spaces. Takahashi’s fixed point theorem for amenable semigroups of nonexpansive mappings, and T. Mitchell’s fixed point theorem for reversible semigroups of nonexpansive mappings in Banach spaces are extended to the setting of modular spaces. Among other things, we also generalize another classical result due to Mitchell characterizing the left amenability property of the space of left uniformly continuous functions on semitopological semigroups by introducing the notion of a semi-modular space as a generalization of the concept of a locally convex space.