We consider numbers and sizes of independent sets in graphs with minimum degree at least d. In particular, we investigate which of these graphs yield the maximum numbers of independent sets of different sizes, and which yield the largest random independent sets. We establish a strengthened form of a conjecture of Galvin concerning the first of these topics.

A colouring of a graph G is called distinguishing if its stabilizer in Aut G is trivial. It has been conjectured that, if every automorphism of a locally finite graph moves infinitely many vertices, then there is a distinguishing 2-colouring. We study properties of random 2-colourings of locally finite graphs and show that the stabilizer of such a colouring is almost surely nowhere dense in Aut G and a null set with respect to the Haar measure on the automorphism group. We also investigate random 2-colourings in several classes of locally finite graphs where the existence of a distinguishing 2-colouring has already been established. It turns out that in all of these cases a random 2-colouring is almost surely distinguishing.

For k-graphs F0 and H, an F0-packing of H is a family $\mathscr{F}$ of pairwise edge-disjoint copies of F0 in H. Let νF0(H) denote the maximum size |$\mathscr{F}$| of an F0-packing of H. Already in the case of graphs, computing νF0(H) is NP-hard for most fixed F0 (Dor and Tarsi [6]).

In this paper, we consider the case when F0 is a fixed linear k-graph. We establish an algorithm which, for ζ > 0 and a given k-graph H, constructs in time polynomial in |V(H)| an F0-packing of H of size at least νF0(H) − ζ |V(H)|k. Our result extends one of Haxell and Rödl, who established the analogous algorithm for graphs.

A minimum feedback arc set of a directed graph G is a smallest set of arcs whose removal makes G acyclic. Its cardinality is denoted by β(G). We show that a simple Eulerian digraph with n vertices and m arcs has β(G) ≥ m2/2n2+m/2n, and this bound is optimal for infinitely many m, n. Using this result we prove that a simple Eulerian digraph contains a cycle of length at most 6n2/m, and has an Eulerian subgraph with minimum degree at least m2/24n3. Both estimates are tight up to a constant factor. Finally, motivated by a conjecture of Bollobás and Scott, we also show how to find long cycles in Eulerian digraphs.

This work models and analyses the dynamics of a general spring-mass-damper system that is in frictional contact with its support, taking into account frictional heat generation and a reactive obstacle. Friction, heat generation and contact are modelled with subdifferentials of, possibly non-convex, potential functions. The model consists of a non-linear system of first-order differential inclusions for the position, velocity and temperature of the mass. The existence of a global solution is established and additional assumptions yield its uniqueness. Nine examples of conditions arising in applications, for which the analysis results are valid, are presented.

Let $k\geq 2$ and $\Pi (n)= { \mathop{\prod }\nolimits}_{i= 1}^{k} ({a}_{i} n+ {b}_{i} )$ for some integers ${a}_{i} , {b}_{i} $ ($1\leq i\leq k$). Suppose that $\Pi (n)$ has no fixed prime divisors. Weighted sieves have shown for infinitely many integers $n$ that the number of prime factors $\Omega (\Pi (n))$ of $\Pi (n)$ is at most ${r}_{k} $, for some integer ${r}_{k} $ depending only on $k$. We use a new kind of weighted sieve to improve the possible values of ${r}_{k} $ when $k\geq 4$.

We prove that, for operator spaces V and W, the operator space V** ⊗hW** can be completely isometrically embedded into (V ⊗hW)**, ⊗h being the Haagerup tensor product. We also show that, for exact operator spaces V and W, a jointly completely bounded bilinear form on V × W can be extended uniquely to a separately w*-continuous jointly completely bounded bilinear form on V× W**. This paves the way to obtaining a canonical embedding of into with a continuous inverse, where is the operator space projective tensor product. Further, for C*-algebras A and B, we study the (closed) ideal structure of which, in particular, determines the lattice of closed ideals of completely.