A set of complex numbers $S$ is called invariant if it is closed under addition and multiplication, namely, for any $x, y \in S$ we have $x+y \in S$ and $xy \in S$. For each $s \in {\mathbb {C}}$ the smallest invariant set ${\mathbb {N}}[s]$ containing $s$ consists of all possible sums $\sum _{i \in I} a_i s^i$, where $I$ runs over all finite nonempty subsets of the set of positive integers ${\mathbb {N}}$ and $a_i \in {\mathbb {N}}$ for each $i \in I$. In this paper, we prove that for $s \in {\mathbb {C}}$ the set ${\mathbb {N}}[s]$ is everywhere dense in ${\mathbb {C}}$ if and only if $s \notin {\mathbb {R}}$ and $s$ is not a quadratic algebraic integer. More precisely, we show that if $s \in {\mathbb {C}} \setminus {\mathbb {R}}$ is a transcendental number, then there is a positive integer $n$ such that the sumset ${\mathbb {N}} t^n+{\mathbb {N}} t^{2n} +{\mathbb {N}} t^{3n}$ is everywhere dense in ${\mathbb {C}}$ for either $t=s$ or $t=s+s^2$. Similarly, if $s \in {\mathbb {C}} \setminus {\mathbb {R}}$ is an algebraic number of degree $d \ne 2, 4$, then there are positive integers $n, m$ such that the sumset ${\mathbb {N}} t^n+{\mathbb {N}} t^{2n} +{\mathbb {N}} t^{3n}$ is everywhere dense in ${\mathbb {C}}$ for $t=ms+s^2$. For quadratic and some special quartic algebraic numbers $s$ it is shown that a similar sumset of three sets cannot be dense. In each of these two cases the density of ${\mathbb {N}}[s]$ in ${\mathbb {C}}$ is established by a different method: for those special quartic numbers, it is possible to take a sumset of four sets.

We formulate haptotaxis models of cancer invasion wherein the infiltrating cancer cells can occupy a spectrum of states in phenotype space, ranging from ‘fully mesenchymal’ to ‘fully epithelial’. The more mesenchymal cells are those that display stronger haptotaxis responses and have greater capacity to modify the extracellular matrix (ECM) through enhanced secretion of matrix-degrading enzymes (MDEs). However, as a trade-off, they have lower proliferative capacity than the more epithelial cells. The framework is multiscale in that we start with an individual-based model that tracks the dynamics of single cells, which is based on a branching random walk over a lattice representing both physical and phenotype space. We formally derive the corresponding continuum model, which takes the form of a coupled system comprising a partial integro-differential equation for the local cell population density function, a partial differential equation for the MDE concentration and an infinite-dimensional ordinary differential equation for the ECM density. Despite the intricacy of the model, we show, through formal asymptotic techniques, that for certain parameter regimes it is possible to carry out a detailed travelling wave analysis and obtain invading fronts with spatial structuring of phenotypes. Precisely, the most mesenchymal cells dominate the leading edge of the invasion wave and the most epithelial (and most proliferative) dominate the rear, representing a bulk tumour population. As such, the model recapitulates similar observations into a front to back structuring of invasion waves into leader-type and follower-type cells, witnessed in an increasing number of experimental studies over recent years.

The paper is concerned with positive solutions to problems of the type

\[ -\Delta_{\mathbb{B}^{N}} u - \lambda u = a(x) |u|^{p-1}\;u + f \text{ in }\mathbb{B}^{N}, \quad u \in H^{1}{(\mathbb{B}^{N})}, \]

$\mathbb {B}^N$

$1< p<2^*-1:=\frac {N+2}{N-2}$

$\;\lambda < \frac {(N-1)^2}{4}$

$f \in H^{-1}(\mathbb {B}^{N})$

$f \not \equiv 0$

$a\in L^\infty (\mathbb {B}^N)$

$\lim _{d(x, 0) \rightarrow \infty } a(x) \rightarrow 1,$

$d(x,\, 0)$

$a(x) \leq 1$

$a(x) \geq 1$

$\mu ( \{ x : a(x) \neq 1\}) > 0.$

$a(x) \equiv 1$

We generalize the known collision results for a solid in a 3D compressible Newtonian fluid to compressible non-Newtonian ones, and to Newtonian fluids with temperature-depending viscosities.

In this paper, we consider the following non-linear system involving the fractional Laplacian0.1

\begin{equation} \left\{\begin{array}{@{}ll} (-\Delta)^{s} u (x)= f(u,\,v), \\ (-\Delta)^{s} v (x)= g(u,\,v), \end{array} \right. \end{equation}

$0< s<1$

$x_n$

In this note, we prove a formula for the cancellation exponent $k_{v,n}$ between division polynomials $\psi _n$ and $\phi _n$ associated with a sequence $\{nP\}_{n\in \mathbb {N}}$ of points on an elliptic curve $E$ defined over a discrete valuation field $K$. The formula greatly generalizes the previously known special cases and treats also the case of non-standard Kodaira types for non-perfect residue fields.

In this paper, we review some recent results on nonlocal interaction problems. The focus is on interaction kernels that are anisotropic variants of the classical Coulomb kernel. In other words, while preserving the same singularity at zero of the Coulomb kernel, they present preferred directions of interaction. For kernels of this kind and general confinement we will prove existence and uniqueness of minimizers of the corresponding energy. In the case of a quadratic confinement we will review a recent result by Carrillo and Shu about the explicit characterization of minimizers, and present a new proof, which has the advantage of being extendable to higher dimensions. In light of this result, we will re-examine some previous works motivated by applications to dislocation theory in materials science. Finally, we will discuss some related results and open questions.

For a subset $A$ of an abelian group $G$, given its size $|A|$, its doubling $\kappa =|A+A|/|A|$, and a parameter $s$ which is small compared to $|A|$, we study the size of the largest sumset $A+A'$ that can be guaranteed for a subset $A'$ of $A$ of size at most $s$. We show that a subset $A'\subseteq A$ of size at most $s$ can be found so that $|A+A'| = \Omega (\!\min\! (\kappa ^{1/3},s)|A|)$. Thus, a sumset significantly larger than the Cauchy–Davenport bound can be guaranteed by a bounded size subset assuming that the doubling $\kappa$ is large. Building up on the same ideas, we resolve a conjecture of Bollobás, Leader and Tiba that for subsets $A,B$ of $\mathbb{F}_p$ of size at most $\alpha p$ for an appropriate constant $\alpha \gt 0$, one only needs three elements $b_1,b_2,b_3\in B$ to guarantee $|A+\{b_1,b_2,b_3\}|\ge |A|+|B|-1$. Allowing the use of larger subsets $A'$, we show that for sets $A$ of bounded doubling, one only needs a subset $A'$ with $o(|A|)$ elements to guarantee that $A+A'=A+A$. We also address another conjecture and a question raised by Bollobás, Leader and Tiba on high-dimensional analogues and sets whose sumset cannot be saturated by a bounded size subset.

Opinion dynamics is an important and very active area of research that delves into the complex processes through which individuals form and modify their opinions within a social context. The ability to comprehend and unravel the mechanisms that drive opinion formation is of great significance for predicting a wide range of social phenomena such as political polarisation, the diffusion of misinformation, the formation of public consensus and the emergence of collective behaviours. In this paper, we aim to contribute to that field by introducing a novel mathematical model that specifically accounts for the influence of social media networks on opinion dynamics. With the rise of platforms such as Twitter, Facebook, and Instagram and many others, social networks have become significant arenas where opinions are shared, discussed and potentially altered. To this aim after an analytical construction of our new model and through incorporation of real-life data from Twitter, we calibrate the model parameters to accurately reflect the dynamics that unfold in social media, showing in particular the role played by the so-called influencers in driving individual opinions towards predetermined directions.

We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group.

For graphs $G$ and $H$, the Ramsey number $r(G,H)$ is the smallest positive integer $N$ such that any red/blue edge colouring of the complete graph $K_N$ contains either a red $G$ or a blue $H$. A book $B_n$ is a graph consisting of $n$ triangles all sharing a common edge.

Recently, Conlon, Fox, and Wigderson conjectured that for any $0\lt \alpha \lt 1$, the random lower bound $r(B_{\lceil \alpha n\rceil },B_n)\ge (\sqrt{\alpha }+1)^2n+o(n)$ is not tight. In other words, there exists some constant $\beta \gt (\sqrt{\alpha }+1)^2$ such that $r(B_{\lceil \alpha n\rceil },B_n)\ge \beta n$ for all sufficiently large $n$. This conjecture holds for every $\alpha \lt 1/6$ by a result of Nikiforov and Rousseau from 2005, which says that in this range $r(B_{\lceil \alpha n\rceil },B_n)=2n+3$ for all sufficiently large $n$.

We disprove the conjecture of Conlon, Fox, and Wigderson. Indeed, we show that the random lower bound is asymptotically tight for every $1/4\leq \alpha \leq 1$. Moreover, we show that for any $1/6\leq \alpha \le 1/4$ and large $n$, $r(B_{\lceil \alpha n\rceil }, B_n)\le \left (\frac 32+3\alpha \right ) n+o(n)$, where the inequality is asymptotically tight when $\alpha =1/6$ or $1/4$. We also give a lower bound of $r(B_{\lceil \alpha n\rceil }, B_n)$ for $1/6\le \alpha \lt \frac{52-16\sqrt{3}}{121}\approx 0.2007$, showing that the random lower bound is not tight, i.e., the conjecture of Conlon, Fox, and Wigderson holds in this interval.

In this article, we explore the problem of determining isomorphisms between the twisted complex group algebras of finite $p$-groups. This problem bears similarity to the classical group algebra isomorphism problem and has been recently examined by Margolis-Schnabel. Our focus lies on a specific invariant, referred to as the generalized corank, which relates to the twisted complex group algebra isomorphism problem. We provide a solution for non-abelian $p$-groups with generalized corank at most three.

We construct an unfolding path in Outer space which does not converge in the boundary, and instead it accumulates on the entire 1-simplex of projectivized length measures on a nongeometric arational ${\mathbb R}$-tree T. We also show that T admits exactly two dual ergodic projective currents. This is the first nongeometric example of an arational tree that is neither uniquely ergodic nor uniquely ergometric.

In this paper, we obtain the $H^{p_1}\times H^{p_2}\times H^{p_3}\to H^p$ boundedness for trilinear Fourier multiplier operators, which is a trilinear analogue of the multiplier theorem of Calderón and Torchinsky [4]. Our result improves the trilinear estimate in [22] by additionally assuming an appropriate vanishing moment condition, which is natural in the boundedness into the Hardy space $H^p$ for $0<p\le 1$.

We study the turnpike phenomenon for optimal control problems with mean-field dynamics that are obtained as the limit $N\rightarrow \infty$ of systems governed by a large number $N$ of ordinary differential equations. We show that the optimal control problems with large time horizons give rise to a turnpike structure of the optimal state and the optimal control. For the proof, we use the fact that the turnpike structure for the problems on the level of ordinary differential equations is preserved under the corresponding mean-field limit.

In this work, we study the Sobolev stability of shear flows near Couette in the 2D incompressible magnetohydrodynamics (MHD) equations with background magnetic field $(\alpha,0 )^\top$ on $\mathbb {T}\times \mathbb {R}$. More precisely, for sufficiently large $\alpha$, we show that when the initial datum of the shear flow satisfies $\left \| U(y)-y\right \|_{H^{N+6}}\ll 1$, with $N>1$, and the initial perturbations ${u}_{\mathrm {in}}$ and ${b}_{\mathrm {in}}$ satisfy $\left \| ( {u}_{\mathrm {in}},{b}_{\mathrm {in}}) \right \| _{H^{N+1}}=\epsilon \ll \nu ^{\frac 56+\tilde \delta }$ for any fixed $\tilde \delta >0$, then the solution of the 2D MHD equations remains $\nu ^{-(\frac {1}{3}+\frac {\tilde \delta }{2})}\epsilon$-close to $( e^{\nu t \partial _{yy}}U(y),0)^\top$ for all $t>0$.

For $-1\leq B \lt A\leq 1$, let $\mathcal{C}(A,B)$ denote the class of normalized Janowski convex functions defined in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z| \lt 1\}$ that satisfy the subordination relation $1+zf''(z)/f'(z)\prec (1+Az)/(1+Bz)$. In the present article, we determine the sharp estimate of the Schwarzian norm for functions in the class $\mathcal{C}(A,B)$. The Dieudonné’s lemma which gives the exact region of variability for derivatives at a point of bounded functions, plays the key role in this study, and we also use this lemma to construct the extremal functions for the sharpness by a new method.

We study minimizers of the Allen–Cahn system. We consider the $\varepsilon$-energy functional with Dirichlet values and we establish the $\Gamma$-limit. The minimizers of the limiting functional are closely related to minimizing partitions of the domain. Finally, utilizing that the triod and the straight line are the only minimal cones in the plane together with regularity results for minimal curves, we determine the precise structure of the minimizers of the limiting functional, and thus the limit of minimizers of the $\varepsilon$-energy functional as $\varepsilon \rightarrow 0$.

The connection between Residual Neural Networks (ResNets) and continuous-time control systems (known as NeurODEs) has led to a mathematical analysis of neural networks, which has provided interesting results of both theoretical and practical significance. However, by construction, NeurODEs have been limited to describing constant-width layers, making them unsuitable for modelling deep learning architectures with layers of variable width. In this paper, we propose a continuous-time Autoencoder, which we call AutoencODE, based on a modification of the controlled field that drives the dynamics. This adaptation enables the extension of the mean-field control framework originally devised for conventional NeurODEs. In this setting, we tackle the case of low Tikhonov regularisation, resulting in potentially non-convex cost landscapes. While the global results obtained for high Tikhonov regularisation may not hold globally, we show that many of them can be recovered in regions where the loss function is locally convex. Inspired by our theoretical findings, we develop a training method tailored to this specific type of Autoencoders with residual connections, and we validate our approach through numerical experiments conducted on various examples.