To date, the bestmethodsfor estimating the growth of mean values of arithmetic functions rely on the Voronoï summation formula. By noticing a general pattern in the proof of his summation formula, Voronoï postulated that analogous summation formulas for $\sum a(n)f(n)$ can be obtained with ‘nice’ test functions f(n), provided a(n) is an ‘arithmetic function’. These arithmetic functions a(n) are called so because they are expected to appear as coefficients of some L-functions satisfying certain properties. It has been well-known that the functional equation for a general L-function can be used to derive a Voronoï-type summation identity for that L-function. In this article, we show that such a Voronoï-typesummation identity in fact endows the L-function with some structural properties, yielding in particular the functional equation. We do this by considering Dirichlet series satisfying functional equations involving multiple Gamma factors and show that a given arithmetic function appears as a coefficient of such a Dirichlet series if and only if it satisfies the aforementioned summation formulas.

The aim of this article is to study the asymptotic behaviour of non-autonomous stochastic lattice systems. We first show the existence and uniqueness of a pullback measure attractor. Moreover, when deterministic external forcing terms are periodic in time, we show the pullback measure attractors are periodic. We then study the upper semicontinuity of pullback measure attractors as the noise intensity goes to zero. Pullback asymptotic compact for a family of probability measures with respect to probability distributions of the solutions is demonstrated by using uniform a priori estimates for far-field values of solutions.

In a two-dimensional plane, entire solutions of the Allen–Cahn type equation with a finite Morse index necessarily have finite ends. In the case that the nonlinearity is a sine function, all the finite-end solutions have been classified. However, for the classical Allen–Cahn nonlinearity, the structure of the moduli space of these solutions remains unknown. We construct in this paper new finite-end solutions to the Allen–Cahn equation, which will be called fence of saddle solutions, by gluing saddle solutions together. Our construction can be generalized to the case of gluing multiple four-end solutions, with some of their ends being almost parallel.

Consider a flow in $\mathbb{R}^3$ and let K be the biggest invariant subset of some compact region of interest $N \subseteq \mathbb{R}^3$. The set K is often not computable, but the way the flow crosses the boundary of N can provide indirect information about it. For example, classical tools such as Ważewski’s principle or the Poincaré–Hopf theorem can be used to detect whether K is non-empty or contains rest points, respectively. We present a criterion that can establish whether K has a non-trivial homology by looking at the subset of the boundary of N along which the flow is tangent to N. We prove that the criterion is as sharp as possible with the information it uses as an input. We also show that it is algorithmically checkable.

We study the real-valued modified KdV equation on the real line and the circle in both the focusing and the defocusing cases. By employing the method of commuting flows introduced by Killip and Vişan (2019), we prove global well-posedness in Hs for $0\leq s \lt \tfrac{1}{2}$. On the line, we show how the arguments in the recent article by Harrop-Griffiths, Killip, and Vişan (2020) may be simplified in the higher regularity regime $s\geq 0$. On the circle, we provide an alternative proof of the sharp global well-posedness in L2 due to Kappeler and Topalov (2005) and also extend this to the large-data focusing case.

We introduce the notion of the equivariant covering type of a space X on which a finite group G acts and study its properties. The equivariant covering type measures the size of G-equivariant good covers of X and is thus an extension of the covering type of a space, introduced by Karoubi and Weibel. We show that the equivariant covering type is a G-homotopy invariant and describe its relation with other G-invariants, like the equivariant LS-category, G-genus, and the multiplicative structures of equivariant cohomology theories. We also compute the G-covering type of regular G-graphs, give estimates for orientation-preserving actions on surfaces and for the projectivizations of complex representations of G and cohomology spheres. As an application, we derive estimates of sizes of minimal G-triangulations for various G-spaces.

In this paper, we study random walks on groups that contain superlinear-divergent geodesics, in the line of thoughts of Goldsborough and Sisto. The existence of a superlinear-divergent geodesic is a quasi-isometry invariant which allows us to execute Gouëzel’s pivoting technique. We develop the theory of superlinear divergence and establish a central limit theorem for random walks on these groups.

Entropy of measure-preserving or continuous actions of amenable discrete groups allows for various equivalent approaches. Among them are those given by the techniques developed by Ollagnier and Pinchon on the one hand and the Ornstein–Weiss lemma on the other. We extend these two approaches to the context of actions of amenable topological groups. In contrast to the discrete setting, our results reveal a remarkable difference between the two concepts of entropy in the realm of non-discrete groups: while the first quantity collapses to 0 in the non-discrete case, the second yields a well-behaved invariant for amenable unimodular groups. Concerning the latter, we moreover study the corresponding notion of topological pressure, prove a Goodwyn-type theorem, and establish the equivalence with the uniform lattice approach (for locally compact groups admitting a uniform lattice). Our study elaborates on a version of the Ornstein–Weiss lemma due to Gromov.

We study the global well-posedness and uniform boundedness of a two-dimensional reaction–advection–diffusion system with nonlinear advection. This strongly coupled system of nonlinear partial differential equations represents the continuum of a 2D lattice model designed to describe residential burglary, where each location is characterised by a tractability value that varies in both space and time. We show that the model with sublinear advection enhancement is globally well-posed, with a unique solution that is classical and uniformly bounded in time. Our results provide valuable insights into the development of urban crime models with nonlinear advection enhancements, making them suitable for broader applications, including nonlocal or heterogeneous near-repeat victimisation effects.

We prove the existence of solutions to the Kuramoto–Sivashinsky equation with low regularity data in function spaces based on the Wiener algebra and in pseudomeasure spaces. In any spatial dimension, we allow the data to have its antiderivative in the Wiener algebra. In one spatial dimension, we also allow data that are in a pseudomeasure space of negative order. In two spatial dimensions, we also allow data that are in a pseudomeasure space one derivative more regular than in the one-dimensional case. In the course of carrying out the existence arguments, we show a parabolic gain of regularity of the solutions as compared to the data. Subsequently, we show that the solutions are in fact analytic at any positive time in the interval of existence.

We consider continuous ${\mathrm {SL}}(2,{\mathbb R})$ valued cocycles over general dynamical systems and discuss a variety of uniformity notions. In particular, we provide a description of uniform one-parameter families of continuous ${\mathrm {SL}}(2,{\mathbb R})$ cocycles as $G_\delta $-sets. These results are then applied to Schrödinger operators with dynamically defined potentials. In the case where the base dynamics is given by a subshift satisfying the Boshernitzan condition, we show that for a generic continuous sampling function, the associated Schrödinger cocycles are uniform for all energies and, in the aperiodic case, the spectrum is a Cantor set of zero Lebesgue measure.

We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the ai and b are fixed coefficients and h is an arbitrary integer polynomial of degree d. We establish that the natural necessary conditions for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers are also sufficient when the equation has at least $(1+o(1))d^2$ variables. We similarly characterize when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain lower bounds for the number of monochromatic or dense solutions in primes that are of the correct order of magnitude. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.

We identify a class of smooth Banach *-algebras that are differential subalgebras of commutative C*-algebras whose openness of multiplication is completely determined by the topological stable rank of the target C*-algebra. We then show that group algebras of Abelian groups of unbounded exponent fail to have uniformly open convolution. Finally, we completely characterize in the complex case (uniform) openness of multiplication in algebras of continuous functions in terms of the covering dimension.

Coffee berry diseases (CBD) pose significant threats to coffee production worldwide, affecting the livelihoods of millions of farmers and the global coffee market. Fractional calculus provides a powerful framework for describing non-local and memory-dependent phenomena, making it suitable for modelling the long-range interactions inherent in CBD spread. This study aims to formulate and analyse fractional order model for CBD transmission dynamics in the sense of Atangana–Baleanu–Caputo. Fixed point theorems were utilised to test the existence and uniqueness of the model’s solutions using fractional order. The basic reproduction number was calculated utilising the next-generation matrix. The model has locally asymptotically stable equilibrium positions (disease-free and endemic). Furthermore, the Lyapunov function was used to conduct a global stability analysis of the equilibrium locations. A numerical simulation of the CBD model was created using the fractional Adam–Bashforth–Moulton approach to validate the analytical findings. Our findings contribute to the development of more accurate predictive models and inform the design of targeted interventions to mitigate the impact of CBD on coffee production systems.

We study a skew product transformation associated to an irrational rotation of the circle $[0,1]/\sim $. This skew product keeps track of the number of times an orbit of the rotation lands in the two complementary intervals of $\{0,1/2\}$ in the circle. We show that under certain conditions on the continued fraction expansion of the irrational number defining the rotation, the skew product transformation has certain dense orbits. This is in spite of the presence of numerous non-dense orbits. We use this to construct laminations on infinite type surfaces with exotic properties. In particular, we show that for every infinite type surface with an isolated planar end, there is an infinite clique of $2$-filling rays based at that end. These $2$-filling rays are relevant to Bavard and Walker’s loop graphs.

The study applies a two-dimensional adaptive mesh refinement (AMR) method to estimate the coordinates of the locations of the centre of vortices in steady, incompressible flow around a square cylinder placed within a channel. The AMR method is robust and low cost, and can be applied to any incompressible fluid flow. The considered channel has a blockage ratio of $1/8$. The AMR is tested on eight cases, considering flows with different Reynolds numbers ($5\le Re\le 50$), and the estimated coordinates of the location of the centres of vortices are reported. For all test cases, the initial coarse meshes are refined four times, and the results are in good agreement with the literature where a very fine mesh was used. Furthermore, this study shows that the AMR method can capture the location of the centre of vortices within the fourth refined cells, and further confirms an improvement in the estimation with more refinements.

Anosov automorphisms with Jordan blocks are not periodic data rigid. We introduce a refinement of the periodic data and show that this refined periodic data characterizes $C^{1+}$ conjugacy for Anosov automorphisms on $\mathbb {T}^4$ with a Jordan block.

An important question in dynamical systems is the classification problem, that is, the ability to distinguish between two isomorphic systems. In this work, we study the topological factors between a family of multidimensional substitutive subshifts generated by morphisms with uniform support. We prove that it is decidable to check whether two minimal aperiodic substitutive subshifts are isomorphic. The strategy followed in this work consists of giving a complete description of the factor maps between these subshifts. Then, we deduce some interesting consequences on coalescence, automorphism groups, and the number of aperiodic symbolic factors of substitutive subshifts. We also prove other combinatorial results on these substitutions, such as the decidability of defining a subshift, the computability of the constant of recognizability, and the conjugacy between substitutions with different supports.

For $ \beta>1 $, let $ T_\beta $ be the $\beta $-transformation on $ [0,1) $. Let $ \beta _1,\ldots ,\beta _d>1 $ and let $ \mathcal P=\{P_n\}_{n\ge 1} $ be a sequence of parallelepipeds in $ [0,1)^d $. Define

$$ \begin{align*}W(\mathcal P)=\{\mathbf{x}\in[0,1)^d:(T_{\beta_1}\times\cdots \times T_{\beta_d})^n(\mathbf{x})\in P_n\text{ infinitely often}\}.\end{align*} $$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}}$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}} W(\mathcal P)$

We develop a new method suitable for establishing lower bounds on the ball measure of noncompactness of operators acting between considerably general quasinormed function spaces. This new method removes some of the restrictions oft-presented in the previous work. Most notably, the target function space need not be disjointly superadditive nor equipped with a norm. Instead, a property that is far more often at our disposal is exploited—namely the absolute continuity of the target quasinorm.

We use this new method to prove that limiting Sobolev embeddings into spaces of Brezis–Wainger type are so-called maximally noncompact, i.e. their ball measure of noncompactness is the worst possible.