We show that a nearly square independent and identically distributed random integral matrix is surjective over the integral lattice with very high probability. This answers a question by Koplewitz [6]. Our result extends to sparse matrices as well as to matrices of dependent entries.

We consider the coupled chemotaxis-fluid model for periodic pattern formation on two- and three-dimensional domains with mixed nonhomogeneous boundary value conditions, and prove the existence of nontrivial time periodic solutions. It is worth noticing that this system admits more than one periodic solution. In fact, it is not difficult to verify that (0, c, 0, 0) is a time periodic solution. Our purpose is to obtain a time periodic solution with nonconstant bacterial density.

For a rumour spreading protocol, the spread time is defined as the first time everyone learns the rumour. We compare the synchronous push&pull rumour spreading protocol with its asynchronous variant, and show that for any n-vertex graph and any starting vertex, the ratio between their expected spread times is bounded by $O({n^{1/3}}{\log ^{2/3}}n)$. This improves the $O(\sqrt n)$ upper bound of Giakkoupis, Nazari and Woelfel (2016). Our bound is tight up to a factor of O(log n), as illustrated by the string of diamonds graph. We also show that if, for a pair α, β of real numbers, there exist infinitely many graphs for which the two spread times are nα and nβ in expectation, then $0 \le \alpha \le 1$ and $\alpha \le \beta \le {1 \over 3} + {2 \over 3} \alpha $; and we show each such pair α, β is achievable.

We study random composite structures considered up to symmetry that are sampled according to weights on the inner and outer structures. This model may be viewed as an unlabelled version of Gibbs partitions and encompasses multisets of weighted combinatorial objects. We describe a general setting characterized by the formation of a giant component. The collection of small fragments is shown to converge in total variation toward a limit object following a Pólya–Boltzmann distribution.

The study of radially symmetric motion is important for the theory of explosion waves. We construct rigorously self-similar entropy solutions to Riemann initial-boundary value problems for the radially symmetric relativistic Euler equations. We use the assumption of self-similarity to reduce the relativistic Euler equations to a system of nonlinear ordinary differential equations, from which we obtain detailed structures of solutions besides their existence. For the ultra-relativistic Euler equations, we also obtain the uniqueness of the self-similar entropy solution to the Riemann initial-boundary value problems.

We analyse the structure of equilibria of a coagulation–fragmentation–death model of silicosis. We present exact multiplicity results in the particular case of piecewise constant coefficients, results on existence and non-existence of equilibria in the general case, as well as precise asymptotics for the infinite series that arise in the case of power law coefficients.

In this article, we study compactifications of homogeneous spaces coming from equivariant, open embeddings into a generalized flag manifold $G/P$. The key to this approach is that in each case $G/P$ is the homogeneous model for a parabolic geometry; the theory of such geometries provides a large supply of geometric tools and invariant differential operators that can be used for this study. A classical theorem of Wolf shows that any involutive automorphism of a semisimple Lie group $G$ with fixed point group $H$ gives rise to a large family of such compactifications of homogeneous spaces of $H$. Most examples of (classical) Riemannian symmetric spaces as well as many non-symmetric examples arise in this way. A specific feature of the approach is that any compactification of that type comes with the notion of ‘curved analog’ to which the tools we develop also apply. The model example of this is a general Poincaré–Einstein manifold forming the curved analog of the conformal compactification of hyperbolic space. In the first part of the article, we derive general tools for the analysis of such compactifications. In the second part, we analyze two families of examples in detail, which in particular contain compactifications of the symmetric spaces $\mathit{SL}(n,\mathbb{R})/\mathit{SO}(p,n-p)$ and $\mathit{SO}(n,\mathbb{C})/\mathit{SO}(n)$. We describe the decomposition of the compactification into orbits, show how orbit closures can be described as the zero sets of smooth solutions to certain invariant differential operators and prove a local slice theorem around each orbit in these examples.

Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\text{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections). These results follow from Milne and Shih’s construction of canonical models of Shimura varieties, based on a conjecture of Langlands which was proved by Borovoi and Milne.

We provide evidence for this conclusion: given a finite Galois cover $f:X\rightarrow \mathbb{P}_{\mathbb{Q}}^{1}$ of group $G$, almost all (in a density sense) realizations of $G$ over $\mathbb{Q}$ do not occur as specializations of $f$. We show that this holds if the number of branch points of $f$ is sufficiently large, under the abc-conjecture and, possibly, the lower bound predicted by the Malle conjecture for the number of Galois extensions of $\mathbb{Q}$ of given group and bounded discriminant. This widely extends a result of Granville on the lack of $\mathbb{Q}$-rational points on quadratic twists of hyperelliptic curves over $\mathbb{Q}$ with large genus, under the abc-conjecture (a diophantine reformulation of the case $G=\mathbb{Z}/2\mathbb{Z}$ of our result). As a further evidence, we exhibit a few finite groups $G$ for which the above conclusion holds unconditionally for almost all covers of $\mathbb{P}_{\mathbb{Q}}^{1}$ of group $G$. We also introduce a local–global principle for specializations of Galois covers $f:X\rightarrow \mathbb{P}_{\mathbb{Q}}^{1}$ and show that it often fails if $f$ has abelian Galois group and sufficiently many branch points, under the abc-conjecture. On the one hand, such a local–global conclusion underscores the ‘smallness’ of the specialization set of a Galois cover of $\mathbb{P}_{\mathbb{Q}}^{1}$. On the other hand, it allows to generate conditionally ‘many’ curves over $\mathbb{Q}$ failing the Hasse principle, thus generalizing a recent result of Clark and Watson devoted to the hyperelliptic case.

The Brownian separable permuton is a random probability measure on the unit square, which was introduced by Bassino, Bouvel, Féray, Gerin and Pierrot (2016) as the scaling limit of the diagram of the uniform separable permutation as size grows to infinity. We show that, almost surely, the permuton is the pushforward of the Lebesgue measure on the graph of a random measure-preserving function associated to a Brownian excursion whose strict local minima are decorated with independent and identically distributed signs. As a consequence, its support is almost surely totally disconnected, has Hausdorff dimension one, and enjoys self-similarity properties inherited from those of the Brownian excursion. The density function of the averaged permuton is computed and a connection with the shuffling of the Brownian continuum random tree is explored.

We prove the existence of global minimisers for a class of attractive–repulsive interaction potentials that are in general not radially symmetric. The global minimisers have compact support. For potentials including degenerate power-law diffusion, the interaction potential can be unbounded from below. Further, a formal calculation indicates that for non-symmetric potentials global minimisers may neither be radial symmetric nor unique.

Akbari and Alipour [1] conjectured that any Latin array of order n with at least n2/2 symbols contains a transversal. For large n, we confirm this conjecture, and moreover, we show that n399/200 symbols suffice.

The Friedgut–Kalai–Naor (FKN) theorem states that if ƒ is a Boolean function on the Boolean cube which is close to degree one, then ƒ is close to a dictator, a function depending on a single coordinate. The author has extended the theorem to the slice, the subset of the Boolean cube consisting of all vectors with fixed Hamming weight. We extend the theorem further, to the multislice, a multicoloured version of the slice.

As an application, we prove a stability version of the edge-isoperimetric inequality for settings of parameters in which the optimal set is a dictator.

The hedgehog Ht is a 3-uniform hypergraph on vertices $1, \ldots ,t + \left({\matrix{t \cr 2}}\right)$ such that, for any pair (i, j) with 1 ≤ i < j ≤ t, there exists a unique vertex k > t such that {i, j, k} is an edge. Conlon, Fox and Rödl proved that the two-colour Ramsey number of the hedgehog grows polynomially in the number of its vertices, while the four-colour Ramsey number grows exponentially in the square root of the number of vertices. They asked whether the two-colour Ramsey number of the hedgehog Ht is nearly linear in the number of its vertices. We answer this question affirmatively, proving that r(Ht) = O(t2 ln t).

In lubrication problems, which concern thin film flow, cavitation has been considered as a fundamental element to correctly describe the characteristics of lubricated mechanisms. Here, the well-posedness of a cavitation model that can explain the interaction between viscous effects and micro-bubbles of gas is studied. This cavitation model consists of a coupled problem between the compressible Reynolds partial differential equation (PDE) (that describes the flow) and the Rayleigh–Plesset ordinary differential equation (that describes micro-bubbles evolution). A simplified form without bubbles convection is studied here. This coupled model seems never to be studied before from its mathematical aspects. Local times existence results are proved and stability theorems are obtained based on the continuity of the spectrum for bounded linear operators. Numerical results are presented to illustrate these theoretical results.

For $$\tau \in {S_3}$$, let $$\mu _n^\tau $$ denote the uniformly random probability measure on the set of $$\tau $$-avoiding permutations in $${S_n}$$. Let $${\mathbb {N}^*} = {\mathbb {N}} \cup \{ \infty \} $$ with an appropriate metric and denote by $$S({\mathbb{N}},{\mathbb{N}^*})$$ the compact metric space consisting of functions $$\sigma {\rm{= }}\{ {\sigma _i}\} _{i = 1}^\infty {\rm{}}$$ from $$\mathbb {N}$$ to $${\mathbb {N}^ * }$$ which are injections when restricted to $${\sigma ^{ - 1}}(\mathbb {N})$$; that is, if $${\sigma _i}{\rm{= }}{\sigma _j}$$, $$i \ne j$$, then $${\sigma _i} = \infty $$. Extending permutations $$\sigma \in {S_n}$$ by defining $${\sigma _j} = j$$, for $$j \gt n$$, we have $${S_n} \subset S({\mathbb{N}},{{\mathbb{N}}^*})$$. For each $$\tau \in {S_3}$$, we study the limiting behaviour of the measures $$\{ \mu _n^\tau \} _{n = 1}^\infty $$ on $$S({\mathbb{N}},{\mathbb{N}^*})$$. We obtain partial results for the permutation $$\tau= 321$$ and complete results for the other five permutations $$\tau \in {S_3}$$.

In this article, we functorially associate definable sets to $k$-analytic curves, and definable maps to analytic morphisms between them, for a large class of $k$-analytic curves. Given a $k$-analytic curve $X$, our association allows us to have definable versions of several usual notions of Berkovich analytic geometry such as the branch emanating from a point and the residue curve at a point of type 2. We also characterize the definable subsets of the definable counterpart of $X$ and show that they satisfy a bijective relation with the radial subsets of $X$. As an application, we recover (and slightly extend) results of Temkin concerning the radiality of the set of points with a given prescribed multiplicity with respect to a morphism of $k$-analytic curves. In the case of the analytification of an algebraic curve, our construction can also be seen as an explicit version of Hrushovski and Loeser’s theorem on iso-definability of curves. However, our approach can also be applied to strictly $k$-affinoid curves and arbitrary morphisms between them, which are currently not in the scope of their setting.