Inspired by a twist map theorem of Mather. we study recurrent invariant sets that are ordered like rigid rotation under the action of the lift of a bimodal circle map g to the k-fold cover. For each irrational in the rotation set’s interior, the collection of the k-fold ordered semi-Denjoy minimal sets with that rotation number contains a $(k-1)$-dimensional ball with the weak topology on their unique invariant measures. We also describe completely their periodic orbit analogs for rational rotation numbers. The main tool used is a generalization of a construction of Hedlund and Morse that generates symbolic analogs of these k-fold well-ordered invariant sets.

We study the existence of large solutions for nonlocal Dirichlet problems posed on a bounded, smooth domain, associated with fully nonlinear elliptic equations of order $2\,s$, with $s\in (1/2,\,1)$, and a coercive gradient term with subcritical power $0< p<2\,s$. Due to the nonlocal nature of the diffusion, new blow-up phenomena arise within the range $0< p<2\,s$, involving a continuum family of solutions and/or solutions blowing-up to $-\infty$ on the boundary. This is in striking difference with the local case studied by Lasry–Lions for the subquadratic case $1< p<2$.

Reflection in a strictly convex bounded planar billiard acts on the space of oriented lines and preserves a standard area form. A caustic is a curve C whose tangent lines are reflected by the billiard to lines tangent to C. The famous Birkhoff conjecture states that the only strictly convex billiards with a foliation by closed caustics near the boundary are ellipses. By Lazutkin’s theorem, there always exists a Cantor family of closed caustics approaching the boundary. In the present paper, we deal with an open billiard, whose boundary is a strictly convex embedded (non-closed) curve $\gamma $. We prove that there exists a domain U adjacent to $\gamma $ from the convex side and a $C^\infty $-smooth foliation of $U\cup \gamma $ whose leaves are $\gamma $ and (non-closed) caustics of the billiard. This generalizes a previous result by Melrose on the existence of a germ of foliation as above. We show that there exists a continuum of above foliations by caustics whose germs at each point in $\gamma $ are pairwise different. We prove a more general version of this statement for $\gamma $ being an (immersed) arc. It also applies to a billiard bounded by a closed strictly convex curve $\gamma $ and yields infinitely many ‘immersed’ foliations by immersed caustics. For the proof of the above results, we state and prove their analogue for a special class of area-preserving maps generalizing billiard reflections: the so-called $C^{\infty }$-lifted strongly billiard-like maps. We also prove a series of results on conjugacy of billiard maps near the boundary for open curves of the above type.

We analyse a nonlinear partial differential equation system describing the motion of a microswimmer in a nematic liquid crystal environment. For the microswimmer’s motility, the squirmer model is used in which self-propulsion enters the model through the slip velocity on the microswimmer’s surface. The liquid crystal is described using the well-established Beris–Edwards formulation. In previous computational studies, it was shown that the squirmer, regardless of its initial configuration, eventually orients itself either parallel or perpendicular to the preferred orientation dictated by the liquid crystal. Furthermore, the corresponding solution of the coupled nonlinear system converges to a steady state. In this work, we rigorously establish the existence of steady state and also the finite-time existence for the time-dependent problem in a periodic domain. Finally, we will use a two-scale asymptotic expansion to derive a homogenised model for the collective swimming of squirmers as they reach their steady-state orientation and speed.

This paper is devoted to the study of generalized tilting theory of functor categories in different levels. First, we extend Miyashita’s proof (Math Z 193:113–146,1986) of the generalized Brenner–Butler theorem to arbitrary functor categories $\mathop{\textrm{Mod}}\nolimits\!(\mathcal{C})$ with $\mathcal{C}$ an annuli variety. Second, a hereditary and complete cotorsion pair generated by a generalized tilting subcategory $\mathcal{T}$ of $\mathop{\textrm{Mod}}\nolimits \!(\mathcal{C})$ is constructed. Some applications of these two results include the equivalence of Grothendieck groups $K_0(\mathcal{C})$ and $K_0(\mathcal{T})$, the existences of a new abelian model structure on the category of complexes $\mathop{\textrm{C}}\nolimits \!(\!\mathop{\textrm{Mod}}\nolimits\!(\mathcal{C}))$, and a t-structure on the derived category $\mathop{\textrm{D}}\nolimits \!(\!\mathop{\textrm{Mod}}\nolimits \!(\mathcal{C}))$.

In numerical linear stability investigations, the rates of change of the kinetic and thermal energy of the perturbation flow are often used to identify the dominant mechanisms by which kinetic or thermal energy is exchanged between the basic and the perturbation flow. Extending the conventional energy analysis for a single-phase Boussinesq fluid, the energy budgets of arbitrary infinitesimal perturbations to the basic two-phase liquid–gas flow are derived for an axisymmetric thermocapillary bridge when the material parameters in both phases depend on the temperature. This allows identifying individual transport terms and assessing their contributions to the instability if the basic flow and the critical mode are evaluated at criticality. The full closed-form energy budgets of linear modes have been derived for thermocapillary two-phase flow taking into account the temperature dependence of all thermophysical parameters. The influence of different approximations to the temperature dependence on the linear stability boundary of the axisymmetric flow in thermocapillary liquid bridges is tested regarding their accuracy. The general mechanism of symmetry breaking turns out to be very robust.

Let $p \;:\; Y \to X$ be a finite, regular cover of finite graphs with associated deck group $G$, and consider the first homology $H_1(Y;\;{\mathbb{C}})$ of the cover as a $G$-representation. The main contribution of this article is to broaden the correspondence and dictionary between the representation theory of the deck group $G$ on the one hand and topological properties of homology classes in $H_1(Y;\;{\mathbb{C}})$ on the other hand. We do so by studying certain subrepresentations in the $G$-representation $H_1(Y;\;{\mathbb{C}})$.

The homology class of a lift of a primitive element in $\pi _1(X)$ spans an induced subrepresentation in $H_1(Y;\;{\mathbb{C}})$, and we show that this property is never sufficient to characterize such homology classes if $G$ is Abelian. We study $H_1^{\textrm{comm}}(Y;\;{\mathbb{C}}) \leq H_1(Y;\;{\mathbb{C}})$—the subrepresentation spanned by homology classes of lifts of commutators of primitive elements in $\pi _1(X)$. Concretely, we prove that the span of such a homology class is isomorphic to the quotient of two induced representations. Furthermore, we construct examples of finite covers with $H_1^{\textrm{comm}}(Y;\;{\mathbb{C}}) \neq \ker\!(p_*)$.

A left orderable monster is a finitely generated left orderable group all of whose fixed point-free actions on the line are proximal: the action is semiconjugate to a minimal action so that for every bounded interval I and open interval J, there is a group element that sends I into J. In his 2018 ICM address, Navas asked about the existence of left orderable monsters. By now there are several examples, all of which are finitely generated but not finitely presentable. We provide the first examples of left orderable monsters that are finitely presentable, and even of type $F_\infty $. These groups satisfy several additional properties separating them from the previous examples: they are not simple, they act minimally on the circle, and they have an infinite-dimensional space of homogeneous quasimorphisms. Our construction is flexible enough that it produces infinitely many isomorphism classes of finitely presented (and type $F_{\infty }$) left orderable monsters.

We exhibit, for arbitrary $\epsilon> 0$, subshifts admitting weakly mixing (probability) measures with word complexity p satisfying $\limsup p(q) / q < 1.5 + \epsilon $. For arbitrary $f(q) \to \infty $, said subshifts can be made to satisfy $p(q) < q + f(q)$ infinitely often. We establish that every subshift associated to a rank-one transformation (on a probability space) which is not an odometer satisfies $\limsup p(q) - 1.5q = \infty $ and that this is optimal for rank-ones.

We prove the convergence of the Adams spectral sequence based on Morava K-theory and relate it to the filtration by powers of the maximal ideal in the Lubin–Tate ring through a Miller square. We use the filtration by powers to construct a spectral sequence relating the homology of the K-local sphere to derived functors of completion and express the latter as cohomology of the Morava stabiliser group. As an application, we compute the zeroth limit at all primes and heights.

Sending microwaves through bauxite ore allows almost continuous measurement of moisture content during offload by conveyor belt from a ship. Data and results from a microwave analyser were brought to a European Study Group with Industry at the University of Limerick, with the over-arching question of whether the results are accurate enough. The analyser equipment uses linear regression against phase shifts and signal attenuation to infer moisture content in real time. Simple initial modelling conducted during the Study Group supports this use of linear regression for phase shift data. However, that work also revealed striking and puzzling differences between model and attenuation data.

We present an improved model that allows for multiple reflections of travelling microwaves within the bauxite and in the air above it. Our new model uses four differential equations to describe how electric fields change with distance in each of four layers. By solving these equations and taking reflections into account, we can accurately predict what the receiving antenna will pick up.

Our new solution provides much-improved matches to data from the microwave analyser, and indicates the deleterious effects of reflections. Modelled signal strength behaviour features a highly undesirable noninvertible dependence on bauxite mixture permittivity.

Practical measures that might be expected to reduce the effects of microwave reflections and improve the accuracy of microwave analyser results are suggested based on our improved model solution. This modelling approach and these results are anticipated to extend to the analysis of moisture content during transport on conveyor belts of other ores, slurries, coal, grains and pharmaceutical powders, especially when the depth of the conveyed material is variable.

We develop a Thom–Mather theory of frontals analogous to Ishikawa's theory of deformations of Legendrian singularities but at the frontal level, avoiding the use of the contact setting. In particular, we define concepts like frontal stability, versality of frontal unfoldings or frontal codimension. We prove several characterizations of stability, including a frontal Mather–Gaffney criterion, and of versality. We then define the method of reduction with which we show how to construct frontal versal unfoldings of plane curves and show how to construct stable unfoldings of corank 1 frontals with isolated instability which are not necessarily versal. We prove a frontal version of Mond's conjecture in dimension 1. Finally, we classify stable frontal multigerms and give a complete classification of corank 1 stable frontals from $\mathbb {C}^3$ to $\mathbb {C}^4$.