An interval in a combinatorial structure R is a set I of points that are related to every point in R∖I in the same way. A structure is simple if it has no proper intervals. Every combinatorial structure can be expressed as an inflation of a simple structure by structures of smaller sizes—this is called the substitution (or modular) decomposition. In this paper we prove several results of the following type: an arbitrary structure S of size n belonging to a class 𝒞 can be embedded into a simple structure from 𝒞 by adding at most f(n) elements. We prove such results when 𝒞 is the class of all tournaments, graphs, permutations, posets, digraphs, oriented graphs and general relational structures containing a relation of arity greater than two. The functions f(n) in these cases are 2, ⌈log 2(n+1)⌉, ⌈(n+1)/2⌉, ⌈(n+1)/2⌉, ⌈log 4(n+1)⌉, ⌈log 3(n+1)⌉ and 1, respectively. In each case these bounds are the best possible.

The partition monoid is a salient natural example of a *-regular semigroup. We find a Galois connection between elements of the partition monoid and binary relations, and use it to show that the partition monoid contains copies of the semigroup of transformations and the symmetric and dual-symmetric inverse semigroups on the underlying set. We characterize the divisibility preorders and the natural order on the (straight) partition monoid, using certain graphical structures associated with each element. This gives a simpler characterization of Green’s relations. We also derive a new interpretation of the natural order on the transformation semigroup. The results are also used to describe the ideal lattices of the straight and twisted partition monoids and the Brauer monoid.

In this paper we consider a generalized coupon collection problem in which a customer repeatedly buys a random number of distinct coupons in order to gather a large number n of available coupons. We address the following question: How many different coupons are collected after k = k n draws, as n → ∞? We identify three phases of k n : the sublinear, the linear, and the superlinear. In the growing sublinear phase we see o(n) different coupons, and, with true randomness in the number of purchases, under the appropriate centering and scaling, a Gaussian distribution is obtained across the entire phase. However, if the number of purchases is fixed, a degeneracy arises and normality holds only at the higher end of this phase. If the number of purchases have a fixed range, the small number of different coupons collected in the sublinear phase is upgraded to a number in need of centering and scaling to become normally distributed in the linear phase with a different normal distribution of the type that appears in the usual central limit theorems. The Gaussian results are obtained via martingale theory. We say a few words in passing about the high probability of collecting nearly all the coupons in the superlinear phase. It is our aim to present the results in a way that explores the critical transition at the ‘seam line’ between different Gaussian phases, and between these phases and other nonnormal phases.

In this paper, we present a combinatorial proof for an identity involving the triangular numbers. The proof resembles Franklin’s proof of Euler’s pentagonal number theorem.

The Ehrenfest urn is a model for the diffusion of gases between two chambers. Classic research deals with this system as a Markovian model with a fixed number of balls, and derives the steady-state behavior as a binomial distribution (which can be approximated by a normal distribution). We study the gradual change for an urn containing n (a very large number) balls from the initial condition to the steady state. We look at the status of the urn after k n draws. We identify three phases of k n : the growing sublinear, the linear, and the superlinear. In the growing sublinear phase the amount of gas in each chamber is normally distributed, with parameters that are influenced by the initial conditions. In the linear phase a different normal distribution applies, in which the influence of the initial conditions is attenuated. The steady state is not a good approximation until a certain superlinear amount of time has elapsed. At the superlinear stage the mix is nearly perfect, with a nearly perfect symmetrical normal distribution in which the effect of the initial conditions is completely washed away. We give interpretations for how the results in different phases conjoin at the ‘seam lines’. In fact, these Gaussian phases are all manifestations of one master theorem. The results are obtained via martingale theory.

In this paper, compositions of a natural number are studied. The number of restricted compositions is given in a closed form, and some applications are presented.

We prove that there are permutation classes (hereditary properties of permutations) of every growth rate (Stanley–Wilf limit) at least λ≈2.48187, the unique real root of x5−2x4−2x2−2x−1, thereby establishing a conjecture of Albert and Linton.

The probability that two randomly selected phylogenetic trees of the same size are isomorphic is found to be asymptotic to a decreasing exponential modulated by a polynomial factor. The number of symmetrical nodes in a random phylogenetic tree of large size obeys a limiting Gaussian distribution, in the sense of both central and local limits. The probability that two random phylogenetic trees have the same number of symmetries asymptotically obeys an inverse square-root law. Precise estimates for these problems are obtained by methods of analytic combinatorics, involving bivariate generating functions, singularity analysis, and quasi-powers approximations.

Using the framework of overpartitions, we give a combinatorial interpretation and proof of the q-Bailey identity. We then deduce from this identity a couple of facts about overpartitions. We show that the method of proof of the q-Bailey identity also applies to the (first) q-Gauss identity.

We show that some q-series such as universal mock theta functions are linear sums of theta quotients and mock Jacobi forms of weight 1/2, which become holomorphic parts of real analytic modular forms when they are restricted to torsion points and multiplied by suitable powers of q. We also prove that certain linear sums of q-series are weakly holomorphic modular forms of weight 1/2 due to annihilation of mock Jacobi forms or completion by mock Jacobi forms. As an application, we obtain a relation between the rank and crank of a partition.

Using elementary means, we derive an explicit formula for a3(n), the number of 3-core partitions of n, in terms of the prime factorization of 3n+1. Based on this result, we are able to prove several infinite families of arithmetic results involving a3(n), one of which specializes to the recent result of Baruah and Berndt which states that, for all n≥0, a3(4n+1)=a3(n).

Let g1, g2, …, gn be a sequence of mutually independent, normally distributed, random variables with mathematical expectation zero and variance unity. In this work, we obtain the average number of real zeros of the random algebraic equations Σnk=1 Kσ gk(ω)tk = C, where C is a constant independent of t and not necessarily zero. This average is (1/π) log n, when n is large and σ is non-negative.

Let P be a finite, connected partially ordered set containing no crowns and let Q be a subset of P. Then the following conditions are equivalent: (1) Q is a retract of P; (2) Q is the set of fixed points of an order-preserving mapping of P to P; (3) Q is obtained from P by dismantling by irreducibles.

Let fn be a sequence of nonnegative integers and let f(x): = Σn≥0 fn xn be its generating function. Assume f(x) has the following properties: it has radius of convergence r, 0 < r < 1, with its only singualarity on the circle of convergence at x = r and f(r) = s; y = f(x) satisfies an analytic identity F(x, y) = 0 near (r, s); for some k ≥ 2 F0.j = 0, 0 ≤ j < k, F0.k ≠ 0 where Fi is the value at (r, s) of the ith partial derivative with respect to x and the jth partial derivative with respect to y of F. These assumptions form the basis of what we call the typical and general cases. In both cases we show how to obtain an asymptotic expansion of fn. We apply our technique to produce several terms in the asymptotic expansion of combinatorial sequences for which previously only the first term was known.

Let = {A1, …, An} be a union-closed set. This note establishes a property which must be possessed by any smallest counterexample to the Union-Closed Sets Conjecture. Specifically, a counterexample to the conjecture with minimal n has at least three distinct elements, each of which appears in exactly (n − 1)/2 of the .

A slightly strengthened version of the union-closed sets conjecture is proposed. It is shown that this version holds for a minimum set size of one or two and an examination of a boundary function shows that it holds for collections containing up to 19 sets. Some related conjectures are outlined.

Given a group G and a finite generating set G, we take pG: G → Z to be the function which counts the number of geodesics for each group element g. This generalizes Pascal's triangle. We compute pG for word hyperbolic and describe generic behaviour in abelian groups.

A permutation π of the set {1, 2, …, n} is four-discordant if π(i) ≢ i, i+ 1, i + 2, i +3 (mod n) for 1 ≦i ≦ n. Generating functions for rook polynomials associated with four-discordant permutations are derived. Hit polynomials associated with four-discordant permutations are studied. Finally, it is shown that the leading coefficients of these rook polynomials form a “tribonacci” sequence which is a generalized Fibonacci sequence.

Some generalizations of Sperner's theorem and of the LYM inequality are given to the case when A1,… At are t families of subsets of {1,…,m} such that a set in one family does not properly contain a set in another.

A new, elementary proof of the Macdonald identities for An−1 using induction on n is given. Specifically, the Macdonald identity for An is deduced by multiplying the Macdonald identity for An−1 and n Jacobi triple product identities together.