Blecher [‘Geometry for totally symmetric plane partitions (TSPPs) with self-conjugate main diagonal’, Util. Math. 88 (2012), 223–235] defined the combinatorial objects known as 1-shell totally symmetric plane partitions of weight $n$. He also proved that the generating function for $f(n), $ the number of 1-shell totally symmetric plane partitions of weight $n$, is given by

$$\begin{eqnarray*}\displaystyle \sum _{n\geq 0}f(n){q}^{n} = 1+ \sum _{n\geq 1}{q}^{3n- 2} \prod _{i= 0}^{n- 2} (1+ {q}^{6i+ 3} ).\end{eqnarray*}$$

$f(n)$

An $r$-ary necklace (bracelet) of length $n$ is an equivalence class of $r$-colourings of vertices of a regular $n$-gon, taking all rotations (rotations and reflections) as equivalent. A necklace (bracelet) is symmetric if a corresponding colouring is invariant under some reflection. We show that the number of symmetric $r$-ary necklaces (bracelets) of length $n$ is $\frac{1}{2} (r+ 1){r}^{n/ 2} $ if $n$ is even, and ${r}^{(n+ 1)/ 2} $ if $n$ is odd.

In 2007, Andrews and Paule introduced a new class of combinatorial objects called broken $k$-diamond partitions. Recently, Shishuo Fu generalised the notion of broken $k$-diamond partitions to combinatorial objects which he termed $k$ dots bracelet partitions. Fu denoted the number of $k$ dots bracelet partitions of $n$ by ${\mathfrak{B}}_{k} (n)$ and proved several congruences modulo primes and modulo powers of 2. More recently, Radu and Sellers extended the set of congruences proven by Fu by proving three congruences modulo squares of primes for ${\mathfrak{B}}_{5} (n)$, ${\mathfrak{B}}_{7} (n)$ and ${\mathfrak{B}}_{11} (n)$. In this note, we prove some congruences modulo powers of 2 for ${\mathfrak{B}}_{5} (n)$. For example, we find that for all integers $n\geq 0$, ${\mathfrak{B}}_{5} (16n+ 7)\equiv 0\hspace{0.167em} ({\rm mod} \hspace{0.334em} {2}^{5} )$.

We investigate island systems with continuous height functions and strongly laminar systems which are laminar systems containing sets with disjoint boundaries. In the discrete case, we show that for a maximal rectangular system of islands $ \mathcal{H} $ on an $m$ by $n$ rectangular grid we have $\lceil \min (m, n)/ 4\rceil \leq \vert \mathcal{H} \vert \leq \lceil m/ 2\rceil \lceil n/ 2\rceil $. In the continuous case we show that under some conditions maximal strongly laminar systems $ \mathcal{H} $ have cardinality ${\aleph }_{0} $ or ${2}^{{\aleph }_{0} } $ and present examples with $\vert \mathcal{H} \vert = {\aleph }_{0} $.

For $n= 1, 2, 3, \ldots $ let ${S}_{n} $ be the sum of the first $n$ primes. We mainly show that the sequence ${a}_{n} = \sqrt[n]{{S}_{n} / n}~(n= 1, 2, 3, \ldots )$ is strictly decreasing, and moreover the sequence ${a}_{n+ 1} / {a}_{n} ~(n= 10, 11, \ldots )$ is strictly increasing. We also formulate similar conjectures involving twin primes or partitions of integers.

For $k\geq 2$ and $r\geq 1$, we prove that the number of odd $k$-perfect numbers with $r$ distinct prime factors is at most $4^{r^2}(k-1)^{2r^2+3}$.

We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok in [Computing the Ehrhart quasi-polynomial of a rational simplex. Math. Comp. 75 (2006), 1449–1466]. For a given polytope 𝔭 with facets parallel to rational hyperplanes and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope 𝔭 parallel to the subspace L and sum up the integrals. We first develop an algorithmic theory of parametric intermediate generating functions. Then we study the Ehrhart theory of these intermediate sums, that is, the dependence of the result as a function of a dilation of the polytope. We provide an algorithm to compute the resulting Ehrhart quasi-polynomials in the form of explicit step-polynomials. These formulas are naturally valid for real (not just integer) dilations and thus provide a direct approach to real Ehrhart theory.

We prove that a stochastic process of pure coagulation has at any time t ≥ 0 a time-dependent Gibbs distribution if and only if the rates ψ(i, j) of single coagulations are of the form ψ(i; j) = if(j) + jf(i), where f is an arbitrary nonnegative function on the set of positive integers. We also obtain a recurrence relation for weights of these Gibbs distributions that allow us to derive the general form of the solution and the explicit solutions in three particular cases of the function f. For the three corresponding models, we study the probability of coagulation into one giant cluster by time t > 0.

We study a class of tenable, irreducible, nondegenerate zero-balanced Pólya urn schemes. We give a full characterization of the class by sufficient and necessary conditions. Only forms with a certain cyclic structure in their replacement matrix are admissible. The scheme has a steady state into proportions governed by the principal (left) eigenvector of the average replacement matrix. We study the gradual change for any such urn containing n → ∞ balls from the initial condition to the steady state. We look at the status of an urn starting with an asymptotically positive proportion of each color after j n draws. We identify three phases of j n : the growing sublinear, the linear, and the superlinear. In the growing sublinear phase the number of balls of different colors has an asymptotic joint multivariate normal distribution, with mean and covariance structure that are influenced by the initial conditions. In the linear phase a different multivariate normal distribution kicks in, 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. 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 multivariate martingale theory. We conclude with some illustrating examples.

The ‘coupon collection problem’ refers to a class of occupancy problems in which j identical items are distributed, independently and at random, to n cells, with no restrictions on multiple occupancy. Identifying the cells as coupons, a coupon is ‘collected’ if the cell is occupied by one or more of the distributed items; thus, some coupons may never be collected, whereas others may be collected once or twice or more. We call the number of coupons collected exactly r times coupons of type r. The coupon collection model we consider is general, in that a random number of purchases occurs at each stage of collecting a large number of coupons; the sample sizes at each stage are independent and identically distributed according to a sampling distribution. The joint behavior of the various types is an intricate problem. In fact, there is a variety of joint central limit theorems (and other limit laws) that arise according to the interrelation between the mean, variance, and range of the sampling distribution, and of course the phase (how far we are in the collection processes). According to an appropriate combination of the mean of the sampling distribution and the number of available coupons, the phase is sublinear, linear, or superlinear. In the sublinear phase, the normalization that produces a Gaussian limit law for uncollected coupons can be used to obtain a multivariate central limit law for at most two other types — depending on the rates of growth of the mean and variance of the sampling distribution, we may have a joint central limit theorem between types 0 and 1, or between types 0, 1, and 2. In the linear phase we have a multivariate central limit theorem among the types 0, 1,…, k for any fixed k.

An algebra A is said to be finitely related if the clone Clo(A) of its term operations is determined by a finite set of finitary relations. We prove that each finite idempotent semigroup satisfying the identity xyxzx≈xyzx is finitely related.

We investigate the number of symmetric matrices of nonnegative integers with zero diagonal such that each row sum is the same. Equivalently, these are zero-diagonal symmetric contingency tables with uniform margins, or loop-free regular multigraphs. We determine the asymptotic value of this number as the size of the matrix tends to infinity, provided the row sum is large enough. We conjecture that one form of our answer is valid for all row sums. An example appears in Figure 1.

In this paper we present a combinatorial proof of an identity involving the two kinds of Stirling numbers and the numbers of permutations with prescribed numbers of excedances and cycles. Several recurrence relations related to the numbers of excedances, fixed points and cycles are also obtained.

In two recent papers, Albrecht and White [‘Counting paths in a grid’, Austral. Math. Soc. Gaz.35 (2008), 43–48] and Hirschhorn [‘Comment on “Counting paths in a grid”’, Austral. Math. Soc. Gaz.36 (2009), 50–52] considered the problem of counting the total number Pm,n of certain restricted lattice paths in an m×n grid of cells, which appeared in the context of counting train paths through a rail network. Here we give a precise study of the asymptotic behaviour of these numbers for the square grid, extending the results of Hirschhorn, and furthermore provide an asymptotic equivalent of these numbers for a rectangular grid with a constant proportion α=m/n between the side lengths.

In this paper we give an extension of a curious combinatorial identity due to B. Sury. Our proof is very simple and elementary. As an application, we obtain two congruences for Fermat quotients modulo p3. Moreover, we prove an extension of a result by H. Pan that generalizes Carlitz’s congruence.

The Möbius inversion formula for a locally finite partially ordered set is realized as a Lagrange inversion formula. Schauder bases are introduced to interpret Möbius inversion.

In this paper we derive congruences expressing Bell numbers and derangement numbers in terms of each other modulo any prime.

We provide certain unusual generalizations of Clausen's and Orr's theorems for solutions of fourth-order and fifth-order generalized hypergeometric equations. As an application, we present several examples of algebraic transformations of Calabi–Yau differential equations.

We consider a generalized form of the coupon collection problem in which a random number, S, of balls is drawn at each stage from an urn initially containing n white balls (coupons). Each white ball drawn is colored red and returned to the urn; red balls drawn are simply returned to the urn. The question considered is then: how many white balls (uncollected coupons) remain in the urn after the k n draws? Our analysis is asymptotic as n → ∞. We concentrate on the case when k n draws are made, where k n / n → ∞ (the superlinear case), although we sketch known results for other ranges of k n . A Gaussian limit is obtained via a martingale representation for the lower superlinear range, and a Poisson limit is derived for the upper boundary of this range via the Chen-Stein approximation.

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.