Let Γ =(V,E) be a point-symmetric reflexive relation and let υ ∈ V such that |Γ(υ)| is finite (and hence |Γ(x)| is finite for all x, by the transitive action of the group of automorphisms). Let j ∈ℕ be an integer such that Γj(υ)∩ Γ−(υ)={υ}. Our main result states that

As an application we have |Γj(υ)| ≥ 1+(|Γ(υ)|−1)j. The last result confirms a recent conjecture of Seymour in the case of vertex-symmetric graphs. Also it gives a short proof for the validity of the Caccetta–Häggkvist conjecture for vertex-symmetric graphs and generalizes an additive result of Shepherdson.

A maximal symmetry group is a group of isomorphisms of a three-dimensional hyperbolic manifold of maximal order in relation to the volume of the manifold. In this paper we determine all maximal symmetry groups of the types PSL(2, q) and PGL(2, q). Depending on the prime p there are one or two such groups with q=pk and k always equals 1, 2 or 4.

Zeilberger's enumeration schemes can be used to completely automate the enumeration of many permutation classes. We extend his enumeration schemes so that they apply to many more permutation classes and describe the Maple package WilfPlus, which implements this process. We also compare enumeration schemes to three other systematic enumeration techniques: generating trees, substitution decompositions, and the insertion encoding.

A regular semigroup (cf. [4, p. 38]) is a C0-semigroup T(⋅) that has an extension as a holomorphic semigroup W(⋅) in the right halfplane , such that ||W(⋅)|| is bounded in the ‘unit rectangle’ Q:=(0, 1]× [−1, 1]. The important basic facts about a regular semigroup T(⋅) are: (i) it possesses a boundary groupU(⋅), defined as the limit lims → 0+W(s+i⋅) in the strong operator topology; (ii) U(⋅) is a C0-group, whose generator is iA, where A denotes the generator of T(⋅); and (iii) W(s+it)=T(s)U(t) for all s+it ∈ (cf. Theorems 17.9.1 and 17.9.2 in [3]). The following converse theorem is proved here. Let A be the generator of a C0-semigroup T(⋅). If iA generates a C0-group, U(⋅), then T(⋅) is a regular semigroup, and its holomorphic extension is given by (iii). This result is related to (but not included in) known results of Engel (cf. Theorem II.4.6 in [2]), Liu [7] and the author [6] for holomorphic extensions into arbitrary sectors, of C0-semigroups that are bounded in every proper subsector. The method of proof is also different from the method used in these references. Criteria for generators of regular semigroups follow as easy corollaries.

Let T be a bounded operator on a complex Banach space X. Let V be an open subset of the complex plane. We give a condition sufficient for the mapping f(z)↦ (T−z)f(z) to have closed range in the Fréchet space H(V, X) of analytic X-valued functions on V. Moreover, we show that there is a largest open set U for which the map f(z)↦ (T−z)f(z) has closed range in H(V, X) for all V⊆U. Finally, we establish analogous results in the setting of the weak–* topology on H(V, X*).

In this paper, we present some geometric characterizations of the Moufang quadrangles of mixed type, i.e., the Moufang quadrangles all the points and lines of which are regular. Roughly, we classify generalized quadrangles with enough (to be made precise) regular points and lines with the property that the dual nets associated to the regular points satisfy the Axiom of Veblen-Young, or a very weak version of the Axiom of Desargues. As an application we obtain a geometric characterization and axiomatization of the generalized inversive planes arising from the Suzuki-Tits ovoids related to a polarity in a mixed quadrangle. In the perfect case this gives rise to a characterization with one axiom less than in a previous result by the second author.

Let be an arbitrary strictly increasing infinite sequence of positive integers. For an integer n≥1, let . Let r>0 be a real number and q≥ 1 a given integer. Let be the eigenvalues of the reciprocal power LCM matrix having the reciprocal power of the least common multiple of xi and xj as its i, j-entry. We show that the sequence converges and . We show that the sequence converges if and . We show also that if r> 1, then the sequence converges and , where t and l are given positive integers such that t≤l−1.

We make explicit Poincaré duality for the equivariant K-theory of equivariant complex projective spaces. The case of the trivial group provides a new approach to the K-theory orientation [3].

We consider random graphs with a fixed degree sequence. Molloy and Reed [11, 12] studied how the size of the giant component changes according to degree conditions. They showed that there is a phase transition and investigated the order of components before and after the critical phase. In this paper we study more closely the order of components at the critical phase, using singularity analysis of a generating function for a branching process which models the random graph with a given degree sequence.

Let denote the set of unrooted labelled trees of size n and let ℳ be a particular (finite, unlabelled) tree. Assuming that every tree of is equally likely, it is shown that the limiting distribution as n goes to infinity of the number of occurrences of ℳ is asymptotically normal with mean value and variance asymptotically equivalent to μn and σ2n, respectively, where the constants μ>0 and σ≥0 are computable.

The k-core of a graph G is the maximal subgraph of G having minimum degree at least k. In 1996, Pittel, Spencer and Wormald found the threshold λc for the emergence of a non-trivial k-core in the random graph G(n, λ/n), and the asymptotic size of the k-core above the threshold. We give a new proof of this result using a local coupling of the graph to a suitable branching process. This proof extends to a general model of inhomogeneous random graphs with independence between the edges. As an example, we study the k-core in a certain power-law or ‘scale-free’ graph with a parameter c controlling the overall density of edges. For each k ≥ 3, we find the threshold value of c at which the k-core emerges, and the fraction of vertices in the k-core when c is ϵ above the threshold. In contrast to G(n, λ/n), this fraction tends to 0 as ϵ→0.

The unit sum number u(R) of a ring R is the least k such that every element is the sum of k units; if there is no such k then u(R) is ω or ∞ depending whether the units generate R additively or not. If RM is a left R-module, then the unit sum number of M is defined to be the unit sum number of the endomorphism ring of M. Here we show that if R is a ring such that R/J(R) is semisimple and is not a factor of R/J(R) and if P is a projective R-module such that JP ≪ P, (JP small in P), then u(P)= 2. As a result we can see that if P is a projective module over a perfect ring then u(P)=2.

In a balls-in-bins process with feedback, balls are sequentially thrown into bins so that the probability that a bin with n balls obtains the next ball is proportional to f(n) for some function f. A commonly studied case where there are two bins and f(n) = np for p > 0, and our goal is to study the fine behaviour of this process with two bins and a large initial number t of balls. Perhaps surprisingly, Brownian Motions are an essential part of both our proofs.

For p > 1/2, it was known that with probability 1 one of the bins will lead the process at all large enough times. We show that if the first bin starts with balls (for constant λ∈ℝ), the probability that it always or eventually leads has a non-trivial limit depending on λ.

For p ≤ 1/2, it was known that with probability 1 the bins will alternate in leadership. We show, however, that if the initial fraction of balls in one of the bins is > 1/2, the time until it is overtaken by the remaining bin scales like Θ(t1+1/(1-2p)) for p < 1/2 and exp(Θ(t)) for p = 1/2. In fact, the overtaking time has a non-trivial distribution around the scaling factor, which we determine explicitly.

Our proofs use a continuous-time embedding of the balls-in-bins process (due to Rubin) and a non-standard approximation of the process by Brownian Motion. The techniques presented also extend to more general functions f.

We relate the coefficients of the probabilistic zeta function of a finite monolithic group to those of an almost simple group.

We consider transversally harmonic foliated maps between two Riemannian manifolds equipped with Riemannian foliations. We give various characterisations of such maps and we study the relation between the properties ‘harmonic’ and ‘transversally harmonic’ for a given map. We also consider these problems for particular classes of manifolds: manifolds with transversally almost Hermitian foliations and Riemannian flows.

We study the Friedrichs extensions of unbounded cyclic subnormals. The main result of the present paper is the identification of the Friedrichs extensions of certain cyclic subnormals with their closures. This generalizes as well as complements the main result obtained in [5]. Such characterizations lead to abstract Galerkin approximations, generalized wave equations, and bounded -functional calculi.

The paper deals with a criterion for the sum of a special series to be a transcendental number. The result does not make use of divisibility properties or any kind of equation and depends only on the random oscillation of convergence.

We construct a bad field in characteristic zero. That is, we construct an algebraically closed field which carries a notion of dimension analogous to Zariski-dimension, with an infinite proper multiplicative subgroup of dimension one, and such that the field itself has dimension two. This answers a longstanding open question by Zilber.

For a linear group $G$ acting on an absolutely irreducible variety $X$ over $\mathbb{Q}$, we describe the orbits of $X(\mathbb{Q}_p)$ under $G(\mathbb{Q}_p)$ and of $X(\mathbb{F}_p((t)))$ under $G(\mathbb{F}_p((t)))$ for $p$ big enough. This allows us to show that the degree of a wide class of orbital integrals over $\mathbb{Q}_p$ or $\mathbb{F}_p((t))$ is less than or equal to $0$ for $p$ big enough, and similarly for all finite field extensions of $\mathbb{Q}_p$ and $\mathbb{F}_p((t))$.

A diffeomorphism $f$ has a heterodimensional cycle if there are (transitive) hyperbolic sets $\varLambda$ and $\varSigma$ having different indices (dimension of the unstable bundle) such that the unstable manifold of $\varLambda$ meets the stable one of $\varSigma$ and vice versa. This cycle has co-index $1$ if $\mathop{\mathrm{index}}(\varLambda)=\mathop{\mathrm{index}}(\varSigma)\pm1$. This cycle is robust if, for every $g$ close to $f$, the continuations of $\varLambda$ and $\varSigma$ for $g$ have a heterodimensional cycle.

We prove that any co-index $1$ heterodimensional cycle associated with a pair of hyperbolic saddles generates $C^1$-robust heterodimensioal cycles. Therefore, in dimension three, every heterodimensional cycle generates robust cycles.

We also derive some consequences from this result for $C^1$-generic dynamics (in any dimension). Two of such consequences are the following. For tame diffeomorphisms (generic diffeomorphisms with finitely many chain recurrence classes) there is the following dichotomy: either the system is hyperbolic or it has a robust heterodimensional cycle. Moreover, any chain recurrence class containing saddles having different indices has a robust cycle.