Evaporation within porous media is both a multiscale and interface-driven process, since the phase change at the evaporating interfaces within the pores generates a vapour flow and depends on the transport of vapour through the porous medium. While homogenised models of flow and chemical transport in porous media allow multiscale processes to be modelled efficiently, it is not clear how the multiscale effects impact the interface conditions required for these homogenised models. In this paper, we derive a homogenised model, including effective interface conditions, for the motion of an evaporation front through a porous medium, using a combined homogenisation and boundary layer analysis. This analysis extends previous work for a purely diffusive problem to include both gas flow and the advective–diffusive transport of material. We investigate the effect that different microscale models describing the chemistry of the evaporation have on the homogenised interface conditions. In particular, we identify a new effective parameter, $\mathcal{L}$, the average microscale interface length, which modifies the effective evaporation rate in the homogenised model. Like the effective diffusivity and permeability of a porous medium, $\mathcal{L}$ may be found by solving a periodic cell problem on the microscale. We also show that the different microscale models of the interface chemistry result in fundamentally different fine-scale behaviour at, and near, the interface.

We calculate asymptotic estimates for the conjugacy growth function of finitely generated class 2 nilpotent groups whose derived subgroups are infinite cyclic, including the so-called higher Heisenberg groups. We prove that these asymptotics are stable when passing to commensurable groups, by understanding their twisted conjugacy growth. We also use these estimates to prove that, in certain cases, the conjugacy growth series cannot be a holonomic function.

The Horikawa index and the local signature are introduced for relatively minimal fibered surfaces whose general fiber is a non-hyperelliptic curve of genus 4 with unique trigonal structure.

We study a class of left-invertible operators which we call weakly concave operators. It includes the class of concave operators and some subclasses of expansive strict $m$-isometries with $m > 2$. We prove a Wold-type decomposition for weakly concave operators. We also obtain a Berger–Shaw-type theorem for analytic finitely cyclic weakly concave operators. The proofs of these results rely heavily on a spectral dichotomy for left-invertible operators. It provides a fairly close relationship, written in terms of the reciprocal automorphism of the Riemann sphere, between the spectra of a left-invertible operator and any of its left inverses. We further place the class of weakly concave operators, as the term $\mathcal {A}_1$, in the chain $\mathcal {A}_0 \subseteq \mathcal {A}_1 \subseteq \ldots \subseteq \mathcal {A}_{\infty }$ of collections of left-invertible operators. We show that most of the aforementioned results can be proved for members of these classes. Subtleties arise depending on whether the index $k$ of the class $\mathcal {A}_k$ is finite or not. In particular, a Berger–Shaw-type theorem fails to be true for members of $\mathcal {A}_{\infty }$. This discrepancy is better revealed in the context of $C^*$- and $W^*$-algebras.

We discuss several versions of the Family Signature Theorem: in rational cohomology using ideas of Meyer, in $KO[\tfrac {1}{2}]$-theory using ideas of Sullivan, and finally in symmetric $L$-theory using ideas of Ranicki. Employing recent developments in Grothendieck–Witt theory, we give a quite complete analysis of the resulting invariants. As an application we prove that the signature is multiplicative modulo 4 for fibrations of oriented Poincaré complexes, generalizing a result of Hambleton, Korzeniewski and Ranicki, and discuss the multiplicativity of the de Rham invariant.

The classic game of Battleship involves two players taking turns attempting to guess the positions of a fleet of vertically or horizontally positioned enemy ships hidden on a $10\times 10$ grid. One variant of this game, also referred to as Battleship Solitaire, Bimaru or Yubotu, considers the game with the inclusion of X-ray data, represented by knowledge of how many spots are occupied in each row and column in the enemy board. This paper considers the Battleship puzzle problem: the problem of reconstructing an enemy fleet from its X-ray data. We generate non-unique solutions to Battleship puzzles via certain reflection transformations akin to Ryser interchanges. Furthermore, we demonstrate that solutions of Battleship puzzles may be reliably obtained by searching for solutions of the associated classical binary discrete tomography problem which minimise the discrete Laplacian. We reformulate this optimisation problem as a quadratic unconstrained binary optimisation problem and approximate solutions via a simulated annealer, emphasising the future practical applicability of quantum annealers to solving discrete tomography problems with predefined structure.

Let $X$ and $Y$ be oriented topological manifolds of dimension $n\!+\!2$, and let $K\! \subset \! X$ and $J \! \subset \! Y$ be connected, locally-flat, oriented, $n$–dimensional submanifolds. We show that up to orientation preserving homeomorphism there is a well-defined connected sum $(X,K)\! \mathbin {\#}\! (Y,J)$. For $n = 1$, the proof is classical, relying on results of Rado and Moise. For dimensions $n=3$ and $n \ge 6$, results of Edwards-Kirby, Kirby, and Kirby-Siebenmann concerning higher dimensional topological manifolds are required. For $n = 2, 4,$ and $5$, Freedman and Quinn's work on topological four-manifolds is required along with the higher dimensional theory.

Using Cohen’s classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group, are themselves symplectic reflection groups. This is the symplectic analog of Steinberg’s Theorem for complex reflection groups.

Using computational results required in the proof, we show the nonexistence of symplectic resolutions for symplectic quotient singularities corresponding to three exceptional symplectic reflection groups, thus reducing further the number of cases for which the existence question remains open.

Another immediate consequence of our result is that the singular locus of the symplectic quotient singularity associated to a symplectic reflection group is pure of codimension two.

Under the assumption that sequences of graphs equipped with resistances, associated measures, walks and local times converge in a suitable Gromov-Hausdorff topology, we establish asymptotic bounds on the distribution of the $\varepsilon$-blanket times of the random walks in the sequence. The precise nature of these bounds ensures convergence of the $\varepsilon$-blanket times of the random walks if the $\varepsilon$-blanket time of the limiting diffusion is continuous at $\varepsilon$ with probability 1. This result enables us to prove annealed convergence in various examples of critical random graphs, including critical Galton-Watson trees and the Erdős-Rényi random graph in the critical window. We highlight that proving continuity of the $\varepsilon$-blanket time of the limiting diffusion relies on the scale invariance of a finite measure that gives rise to realizations of the limiting compact random metric space, and therefore we expect our results to hold for other examples of random graphs with a similar scale invariance property.

We consider the global existence for the following fully parabolic chemotaxis system with two populations

\[\left\{ \begin{array}{@{}ll} \partial_tu_i=\kappa_i\Delta u_i-\chi_i\nabla\cdot(u_i\nabla v),\quad i\in\{1,2\}, & x\in\Omega,\ t>0, \\ v_t=\Delta v-v+u_1+u_2, & x\in\Omega,\ t>0,\\ u_i(x,t=0)=u_{i0}(x),\quad v(x,t=0)=v_0(x), & x\in\Omega, \end{array} \right. \]

$\Omega =\mathbb {R}^2$

$\Omega =B_R(0)\subset \mathbb {R}^2$

$\kappa _i,\chi _i>0,$

$i=1,2$

$0=\Delta v-v+u_1+u_2$

$0=\Delta v+u_1+u_2$