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 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 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.

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.

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 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.

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.

For a positive integer $n \geq 2$, define tn to be the smallest number such that the additive energy E(A) of any subset $A \subset \{0,1,\cdots,n-1\}^d$ and any d is at most $|A|^{t_n}$. Trivially, we have $t_n \leq 3$ and

\begin{equation*} t_n \geq 3 - \log_n\frac{3n^3}{2n^3+n} \end{equation*}

by considering $A = \{0,1,\cdots,n-1\}^d$. In this note, we investigate the behaviour of tn for large n and obtain the following non-trivial bounds:

\begin{equation*} 3 - (1+o_{n\rightarrow\infty}(1)) \log_n \frac{3\sqrt{3}}{4} \leq t_n \leq 3 - \log_n(1+c), \end{equation*}

where c > 0 is an absolute constant.

In the present article, we study compact complex manifolds admitting a Hermitian metric which is strong Kähler with torsion (SKT) and Calabi–Yau with torsion (CYT) and whose Bismut torsion is parallel. We first obtain a characterization of the universal cover of such manifolds as a product of a Kähler Ricci-flat manifold with a Bismut flat one. Then, using a mapping torus construction, we provide non-Bismut flat examples. The existence of generalized Kähler structures is also investigated.

In this article, we explore the bifurcation problem of limit cycles near the double eight figure loop (compound cycle with a 2-polycycle connecting two homoclinic loops). A general theory is established to find the lower bound of the maximal number of limit cycles (isolated periodic orbits) near the double eight figure loop. The Liénard system, a well-known nonlinear dynamical model, appears in a natural way in physics, chemistry, engineering, and so on, where periodic phenomena play a relevant role. As an application, we investigate an $(n+1)$th-order generalized Liénard system and prove the system has at least $7[\frac{n}{6}]+2[\frac{r}{2}]-[\frac{r}{4}]$ limit cycles near the double eight figure loop for any $n\geq5$ and $r=\rm mod(n,6)$, and their distribution is also gained.

In this article, we study the following Dirichlet problem to the sub-linear Lane–Emden equation

\begin{equation*}\left\{\begin{array}{ll}-\Delta u=u^{p},\quad u(x)\geq0,\quad x\in\mathbb{R}^n_+, \\u(x)\equiv0,\quad x\in\partial\mathbb{R}^n_+,\end{array}\right.\end{equation*}

where $n\geq3$, $0 \lt p\leq1$. By establishing an equivalent integral equation, we give a lower bound of the Kelvin transformation $\bar{u}$. Then, by constructing a new comparison function, we apply the maximum principle based on comparisons and the method of moving planes to obtain that u only depends on xn. Based on this, we prove the non-existence of non-negative solutions.

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.

We study the topological structure of the space $\mathcal{X}$ of isomorphism classes of metric measure spaces equipped with the box or concentration topologies. We consider the scale-change action of the multiplicative group ${\mathbb{R}}_+$ of positive real numbers on $\mathcal{X}$, which has a one-point metric measure space, say $*$, as only one fixed-point. We prove that the ${\mathbb{R}}_+$-action on $\mathcal{X}_* := \mathcal{X} \setminus \{*\}$ admits the structure of non-trivial and locally trivial principal ${\mathbb{R}}_+$-bundle over the quotient space. Our bundle ${\mathbb{R}}_+ \to \mathcal{X}_* \to \mathcal{X}_*/{\mathbb{R}}_+$ is a curious example of a non-trivial principal fibre bundle with contractible fibre. A similar statement is obtained for the pyramidal compactification of $\mathcal{X}$, where we completely determine the structure of the fixed-point set of the ${\mathbb{R}}_+$-action on the compactification.

We introduce the concept of ‘irrational paths’ for a given subshift and useit to characterize all minimal left ideals in the associated unital subshift algebra. Consequently, we characterize the socle as the sum of the ideals generated by irrational paths. Proceeding, we construct a graph such that the Leavitt path algebra of this graph is graded isomorphic to the socle. This realization allows us to show that the graded structure of the socle serves as an invariant for the conjugacy of Ott–Tomforde–Willis subshifts and for the isometric conjugacy of subshifts constructed with the product topology. Additionally, we establish that the socle of the unital subshift algebra is contained in the socle of the corresponding unital subshift C*-algebra.

We are interested in the two-dimensional four-constant Riemann problem to the isentropic compressible Euler equations. In terms of the self-similar variables, the governing system is of nonlinear mixed-type and the solution configuration typically contains transonic and small-scale structures. We construct a supersonic-sonic patch along a pseudo-streamline from the supersonic part to a sonic point. This kind of patch appears frequently in the two-dimensional Riemann problem and is a building block for constructing a global solution. To overcome the difficulty caused by the sonic degeneracy, we apply the characteristic decomposition technique to handle the problem in a partial hodograph plane. We establish a regular supersonic solution for the original problem by showing the global one-to-one property of the partial hodograph transformation. The uniform regularity of the solution and the regularity of an associated sonic curve are also discussed.

The structure of groups in which every element has prime power order (CP-groups) is extensively studied. We first investigate the properties of group $G$ such that each element of $G\setminus N$ has prime power order. It is proved that $N$ is solvable or every non-solvable chief factor $H/K$ of $G$ satisfying $H\leq N$ is isomorphic to $PSL_2(3^f)$ with $f$ a 2-power. This partially answers the question proposed by Lewis in 2023, asking whether $G\cong M_{10}$? Furthermore, we prove that if each element $x\in G\backslash N$ has prime power order and ${\bf C}_G(x)$ is maximal in $G$, then $N$ is solvable. Relying on this, we give the structure of group $G$ with normal subgroup $N$ such that ${\bf C}_G(x)$ is maximal in $G$ for any element $x\in G\setminus N$. Finally, we investigate the structure of a normal subgroup $N$ when the centralizer ${\bf C}_G(x)$ is maximal in $G$ for any element $x\in N\setminus {\bf Z}(N)$, which is a generalization of results of Zhao, Chen, and Guo in 2020, investigating a special case that $N=G$ for our main result. We also provide a new proof for Zhao, Chen, and Guo's results above.

In loving memory of my beloved miniature dachshund Maddie (16 March 2002 – 16 March 2020). We consider nonlocal differential equations with convolution coefficients of the form

\[{-}M\Big(\big(a*(g\circ |u|)\big)(1)\Big)u''(t)=\lambda f\big(t,u(t)\big),\quad t\in(0,1), \]

$g$

$M$

$M$

$f$

The Choquard equation is a partial differential equation that has gained significant interest and attention in recent decades. It is a nonlinear equation that combines elements of both the Laplace and Schrödinger operators, and it arises frequently in the study of numerous physical phenomena, from condensed matter physics to nonlinear optics.

In particular, the steady states of the Choquard equation were thoroughly investigated using a variational functional acting on the wave functions.

In this article, we introduce a dual formulation for the variational functional in terms of the potential induced by the wave function, and use it to explore the existence of steady states of a multi-state version the Choquard equation in critical and sub-critical cases.

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure quotients and pure extensions, as well as providing a way to show the existence of approximations. One key ingredient is a new characterization of phantom maps. We then introduce an axiomatic form of Auslander–Gruson–Jensen duality, from which we define dual definable categories, and show that these coincide with symmetric coproduct closed duality pairs. This framework is ubiquitous, encompassing both algebraic triangulated categories and stable homotopy theories. Accordingly, we provide many applications in both settings, with a particular emphasis on silting theory and stratified tensor-triangulated categories.