A spectral strong approximation theorem for measure-preserving actions

Let $\unicode[STIX]{x1D6E4}$ be a finitely generated group acting by probability measure-preserving maps on the standard Borel space $(X,\unicode[STIX]{x1D707})$. We show that if $H\leq \unicode[STIX]{x1D6E4}$ is a subgroup with relative spectral radius greater than the global spectral radius of the action, then $H$ acts with finitely many ergodic components and spectral gap on $(X,\unicode[STIX]{x1D707})$. This answers a question of Shalom who proved this for normal subgroups.

An Sir Epidemic Model on a Population with Random Network and Household Structure, and Several Types of Individuals

We consider a stochastic SIR (susceptible → infective → removed) epidemic model with several types of individuals. Infectious individuals can make infectious contacts on two levels, within their own ‘household’ and with their neighbours in a random graph representing additional social contacts. This random graph is an extension of the well-known configuration model to allow for several types of individuals. We give a strong approximation theorem which leads to a threshold theorem for the epidemic model and a method for calculating the probability of a major outbreak given few initial infectives. A multitype analogue of a theorem of Ball, Sirl and Trapman (2009) heuristically motivates a method for calculating the expected size of such a major outbreak. We also consider vaccination and give some short numerical illustrations of our results.

An Sir Epidemic Model on a Population with Random Network and Household Structure, and Several Types of Individuals

We consider a stochastic SIR (susceptible → infective → removed) epidemic model with several types of individuals. Infectious individuals can make infectious contacts on two levels, within their own ‘household’ and with their neighbours in a random graph representing additional social contacts. This random graph is an extension of the well-known configuration model to allow for several types of individuals. We give a strong approximation theorem which leads to a threshold theorem for the epidemic model and a method for calculating the probability of a major outbreak given few initial infectives. A multitype analogue of a theorem of Ball, Sirl and Trapman (2009) heuristically motivates a method for calculating the expected size of such a major outbreak. We also consider vaccination and give some short numerical illustrations of our results.

Homology stability for unitary groups over S-arithmetic rings

We prove that the homology of unitary groups over rings of S-integers in number fields stabilizes. Results of this kind are well known to follow from the high acyclicity of ad-hoc polyhedra. Given this, we exhibit two simple conditions on the arithmetic of hermitian forms over a ring A relatively to an anti-automorphism which, if they are satisfied, imply the stabilization of the homology of the corresponding unitary groups. When R is a ring of S-integers in a number field K, and A is a maximal R-order in an associative composition algebra F over K, we use the strong approximation theorem to show that both of these properties are satisfied. Finally we take a closer look at the case of On(ℤ[½]).

On the Computation of Integral Closures of Cyclic Extensions of Function Fields

Let S be a non-empty proper subset of the set of places of a global function field F and E a cyclic Kummer or Artin–Schreier–Witt extension of F. We present a method of efficiently computing the ring of elements of E which are integral at all places of S. As an important tool, we include an algorithmic version of the strong approximation theorem. We conclude with several examples.