We show that for every sufficiently large n, the number of monotone subsequences of length four in a permutation on n points is at least

\begin{equation*}\binom{\lfloor{n/3}\rfloor}{4} + \binom{\lfloor{(n+1)/3}\rfloor}{4} + \binom{\lfloor{(n+2)/3}\rfloor}{4}.\end{equation*}

For any positive integer $n$, let $f(n)$ denote the number of 1-shell totally symmetric plane partitions of $n$. Recently, Hirschhorn and Sellers [‘Arithmetic properties of 1-shell totally symmetric plane partitions’, Bull. Aust. Math. Soc.89 (2014), 473–478] and Yao [‘New infinite families of congruences modulo 4 and 8 for 1-shell totally symmetric plane partitions’, Bull. Aust. Math. Soc.90 (2014), 37–46] proved a number of congruences satisfied by $f(n)$. In particular, Hirschhorn and Sellers proved that $f(10n+5)\equiv 0\ (\text{mod}\ 5)$. In this paper, we establish the generating function of $f(30n+25)$ and prove that $f(250n+125)\equiv 0\ (\text{mod\ 25}).$

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}\Gamma $ be a compact tropical curve (or metric graph) of genus  $g$ . Using the theory of tropical theta functions, Mikhalkin and Zharkov proved that there is a canonical effective representative (called a break divisor) for each linear equivalence class of divisors of degree $g$ on  $\Gamma $ . We present a new combinatorial proof of the fact that there is a unique break divisor in each equivalence class, establishing in the process an ‘integral’ version of this result which is of independent interest. As an application, we provide a‘geometric proof’ of (a dual version of) Kirchhoff’s celebrated matrix–tree theorem. Indeed, we show that each weighted graph model $G$ for $\Gamma $ gives rise to a canonical polyhedral decomposition of the $g$ -dimensional real torus $\mathrm{Pic}^g(\Gamma )$ into parallelotopes $C_T$ , one for each spanning tree $T$ of $G$ , and the dual Kirchhoff theorem becomes the statement that the volume of $\mathrm{Pic}^g(\Gamma )$ is the sum of the volumes of the cells in the decomposition.

Let $A_{3}(n)$ denote the number of bipartitions of $n$ with 3-cores. Recently, Lin [‘Some results on bipartitions with 3-core’, J. Number Theory139 (2014), 44–52] established some congruences modulo 4, 5, 7 and 8 for $A_{3}(n)$. In this paper, we prove several infinite families of congruences modulo 3 and 9 for $A_{3}(n)$ by employing two identities due to Ramanujan.

Recently, Keith used the theory of modular forms to study 9-regular partitions modulo 2 and 3. He obtained one infinite family of congruences modulo 3, and meanwhile proposed an analogous conjecture. In this note, we show that 9-regular partitions and 3-cores satisfy the same congruences modulo 3. Thus, we first derive several results on 3-cores, and then generalise Keith’s conjecture and get a stronger result, which implies that all of Keith’s results on congruences modulo 3 are consequences of our result.

In this paper, we show that the $\gamma $-vectors of Coxeter complexes (of types A and B) and associahedrons (of types A and B) can be obtained by using derivative polynomials of the tangent and secant functions. We provide a unified grammatical approach to generate these $\gamma $-vectors and the coefficient arrays of Narayana polynomials, Legendre polynomials and Chebyshev polynomials of both kinds.

We show that if a Barker sequence of length $n>13$ exists, then either n $=$ 3 979 201 339 721749 133 016 171 583 224 100, or $n > 4\cdot 10^{33}$ . This improves the lower bound on the length of a long Barker sequence by a factor of nearly $2000$ . We also obtain eighteen additional integers $n<10^{50}$ that cannot be ruled out as the length of a Barker sequence, and find more than 237 000 additional candidates $n<10^{100}$ . These results are obtained by completing extensive searches for Wieferich prime pairs and using them, together with a number of arithmetic restrictions on $n$ , to construct qualifying integers below a given bound. We also report on some updated computations regarding open cases of the circulant Hadamard matrix problem.

A colouring of the vertices of a regular polygon is symmetric if it is invariant under some reflection of the polygon. We count the number of symmetric $r$-colourings of the vertices of a regular $n$-gon.

We study an urn model introduced in the paper of Chen and Wei (2005), where at each discrete time step m balls are drawn at random from the urn containing colors white and black. Balls are added to the urn according to the inspected colors, generalizing the well known Pólya-Eggenberger urn model, case m = 1. We provide exact expressions for the expectation and the variance of the number of white balls after n draws, and determine the structure of higher moments. Moreover, we discuss extensions to more than two colors. Furthermore, we introduce and discuss a new urn model where the sampling of the m balls is carried out in a step-by-step fashion, and also introduce a generalized Friedman's urn model.

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.