A $(d-1)$ -dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$ -coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs). Specifically, we prove the balanced analog of the celebrated lower bound theorem (LBT) for normal pseudomanifolds and characterize the case of equality; we introduce and characterize the balanced analog of the Walkup class; and we propose the balanced analog of the generalized lower bound conjecture (GLBC) and establish some related results. We close with constructions of balanced manifolds with few vertices.

We prove that among all flag triangulations of manifolds of odd dimension $2r-1$ , with a sufficient number of vertices, the unique maximizer of the entries of the $f$ -, $h$ -, $g$ - and $\unicode[STIX]{x1D6FE}$ -vector is the balanced join of $r$ cycles. Our proof uses methods from extremal graph theory.

A k-uniform hypergraph H = (V, E) is called ℓ-orientable if there is an assignment of each edge e ∈ E to one of its vertices v ∈ e such that no vertex is assigned more than ℓ edges. Let Hn,m,k be a hypergraph, drawn uniformly at random from the set of all k-uniform hypergraphs with n vertices and m edges. In this paper we establish the threshold for the ℓ-orientability of Hn,m,k for all k ⩾ 3 and ℓ ⩾ 2, that is, we determine a critical quantity c*k,ℓ such that with probability 1 − o(1) the graph Hn,cn,k has an ℓ-orientation if c < c*k,ℓ , but fails to do so if c > c*k,ℓ .

Our result has various applications, including sharp load thresholds for cuckoo hashing, load balancing with guaranteed maximum load, and massive parallel access to hard disk arrays.

For positive integers n and q and a monotone graph property $\mathcal{A}$ , we consider the two-player, perfect information game WC(n, q, $\mathcal{A}$ ), which is defined as follows. The game proceeds in rounds. In each round, the first player, called Waiter, offers the second player, called Client, q + 1 edges of the complete graph Kn which have not been offered previously. Client then chooses one of these edges which he keeps and the remaining q edges go back to Waiter. If, at the end of the game, the graph which consists of the edges chosen by Client satisfies the property $\mathcal{A}$ , then Waiter is declared the winner; otherwise Client wins the game. In this paper we study such games (also known as Picker–Chooser games) for a variety of natural graph-theoretic parameters, such as the size of a largest component or the length of a longest cycle. In particular, we describe a phase transition type phenomenon which occurs when the parameter q is close to n and is reminiscent of phase transition phenomena in random graphs. Namely, we prove that if q ⩾ (1 + ϵ)n, then Client can avoid components of order cϵ−2 ln n for some absolute constant c > 0, whereas for q ⩽ (1 − ϵ)n, Waiter can force a giant, linearly sized component in Client's graph. In the second part of the paper, we prove that Waiter can force Client's graph to be pancyclic for every q ⩽ cn, where c > 0 is an appropriate constant. Note that this behaviour is in stark contrast to the threshold for pancyclicity and Hamiltonicity of random graphs.

How many strict local maxima can a real quadratic function on {0, 1}n have? Holzman conjectured a maximum of $\binom{n }{ \lfloor n/2 \rfloor}$ . The aim of this paper is to prove this conjecture. Our approach is via a generalization of Sperner's theorem that may be of independent interest.

Answering a question raised by Dudek and Prałat, we show that if pn → ∞, w.h.p., whenever G = G(n, p) is 2-edge-coloured there is a monochromatic path of length (2/3 + o(1))n. This result is optimal in the sense that 2/3 cannot be replaced by a larger constant.

As part of the proof we obtain the following result. Given a graph G on n vertices with at least $(1-\varepsilon)\binom{n}{2}$ edges, whenever G is 2-edge-coloured, there is a monochromatic path of length at least $(2/3 - 110\sqrt{\varepsilon})n$ . This is an extension of the classical result by Gerencsér and Gyárfás which says that whenever Kn is 2-coloured there is a monochromatic path of length at least 2n/3.

We consider a threshold epidemic model on a clustered random graph model obtained from local transformations in an alternating branching process that approximates a bipartite graph. In other words, our epidemic model is such that an individual becomes infected as soon as the proportion of his/her infected neighbors exceeds the threshold q of the epidemic. In our random graph model, each individual can belong to several communities. The distributions for the community sizes and the number of communities an individual belongs to are arbitrary. We consider the case where the epidemic starts from a single individual, and we prove a phase transition (when the parameter q of the model varies) for the appearance of a cascade, i.e. when the epidemic can be propagated to an infinite part of the population. More precisely, we show that our epidemic is entirely described by a multi-type (and alternating) branching process, and then we apply Sevastyanov's theorem about the phase transition of multi-type Galton-Watson branching processes. In addition, we compute the entries of the mean progeny matrix corresponding to the epidemic. The phase transition for the contagion is given in terms of the largest eigenvalue of this matrix.

We give an exponential tail approximation for the extinction time of a subcritical multitype branching process arising from the SIR epidemic model on a random graph with given degrees, where the type corresponds to the vertex degree. As a corollary we obtain a Gumbel limit law for the extinction time, when beginning with a large population. Our contribution is to allow countably many types (this corresponds to unbounded degrees in the random graph epidemic model, as the number of vertices tends to∞). We only require a second moment for the offspring-type distribution featuring in our model.

In this paper we give an extension of the results of the generalized waiting time problem given by El-Desouky and Hussen (1990). An urn contains m types of balls of unequal numbers, and balls are drawn with replacement until first duplication. In the case of finite memory of order k, let ni be the number of type i, i = 1, 2, …, m. The probability of success pi = ni/N, i = 1, 2, …, m, where ni is a positive integer and Let Ym,k be the number of drawings required until first duplication. We obtain some new expressions of the probability function, in terms of Stirling numbers, symmetric polynomials, and generalized harmonic numbers. Moreover, some special cases are investigated. Finally, some important new combinatorial identities are obtained.

Motivated by a problem of characterising a family of Cayley graphs, we study a class of finite groups $G$ which behave similarly to elementary abelian $p$-groups with $p$ prime, that is, there exists a subgroup $N$ such that all elements of $G\setminus N$ are conjugate or inverse-conjugate under $\mathsf{Aut}(G)$. It is shown that such groups correspond to complete multipartite graphs which are normal edge-transitive Cayley graphs.

We prove the unimodality of some coloured $q$-Eulerian polynomials, which involve the flag excedances, the major index and the fixed points on coloured permutation groups, via two recurrence formulas. In particular, we confirm a recent conjecture of Mongelli about the unimodality of the flag excedances over type B derangements. Furthermore, we find the coloured version of Gessel’s hook factorisation, which enables us to interpret these two recurrences combinatorially. We also provide a combinatorial proof of a symmetric and unimodal expansion for the coloured derangement polynomial, which was first established by Shin and Zeng using continued fractions.

Li et al. [‘On finite self-complementary metacirculants’, J. Algebraic Combin.40 (2014), 1135–1144] proved that the automorphism group of a self-complementary metacirculant is either soluble or has $\text{A}_{5}$ as the only insoluble composition factor, and gave a construction of such graphs with insoluble automorphism groups (which are the first examples of self-complementary graphs with this property). In this paper, we will prove that each simple group is a subgroup (so is a section) of the automorphism groups of infinitely many self-complementary vertex-transitive graphs. The proof involves a construction of such graphs. We will also determine all simple sections of the automorphism groups of self-complementary vertex-transitive graphs of $4$-power-free order.

Let $b_{3,5}(n)$ denote the number of partitions of $n$ into parts that are not multiples of 3 or 5. We establish several infinite families of congruences modulo 2 for $b_{3,5}(n)$. In the process, we also prove numerous parity results for broken 7-diamond partitions.

For each of the notions of hypergraph quasirandomness that have been studied, we identify a large class of hypergraphs F so that every quasirandom hypergraph H admits a perfect F-packing. An informal statement of a special case of our general result for 3-uniform hypergraphs is as follows. Fix an integer r ⩾ 4 and 0 < p < 1. Suppose that H is an n-vertex triple system with r|n and the following two properties:

• • for every graph G with V(G) = V(H), at least p proportion of the triangles in G are also edges of H,

• • for every vertex x of H, the link graph of x is a quasirandom graph with density at least p.

For natural numbers $n,r\in \mathbb{N}$ with $n\geqslant r$, the Kneser graph $K(n,r)$ is the graph on the family of $r$-element subsets of $\{1,\ldots ,n\}$ in which two sets are adjacent if and only if they are disjoint. Delete the edges of $K(n,r)$ with some probability, independently of each other: is the independence number of this random graph equal to the independence number of the Kneser graph itself? We shall answer this question affirmatively as long as $r/n$ is bounded away from $1/2$, even when the probability of retaining an edge of the Kneser graph is quite small. This gives us a random analogue of the Erdős–Ko–Rado theorem, since an independent set in the Kneser graph is the same as a uniform intersecting family. To prove our main result, we give some new estimates for the number of disjoint pairs in a family in terms of its distance from an intersecting family; these might be of independent interest.

In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. The evolution of the rescaled size of the largest component in such variations of the Erdős–Rényi random graph process has recently received considerable attention, in particular for Bollobás's ‘product rule’. In this paper we establish the following result for rules such as the product rule: the limit of the rescaled size of the ‘giant’ component exists and is continuous provided that a certain system of differential equations has a unique solution. In fact, our result applies to a very large class of Achlioptas-like processes.

Our proof relies on a general idea which relates the evolution of stochastic processes to an associated system of differential equations. Provided that the latter has a unique solution, our approach shows that certain discrete quantities converge (after appropriate rescaling) to this solution.

Recently, settling a question of Erdős, Balogh, and Petříčková showed that there are at most $2^{n^{2}/8+o(n^{2})}$$n$-vertex maximal triangle-free graphs, matching the previously known lower bound. Here, we characterize the typical structure of maximal triangle-free graphs. We show that almost every maximal triangle-free graph $G$ admits a vertex partition $X\cup Y$ such that $G[X]$ is a perfect matching and $Y$ is an independent set.

Our proof uses the Ruzsa–Szemerédi removal lemma, the Erdős–Simonovits stability theorem, and recent results of Balogh, Morris, and Samotij and Saxton and Thomason on characterization of the structure of independent sets in hypergraphs. The proof also relies on a new bound on the number of maximal independent sets in triangle-free graphs with many vertex-disjoint $P_{3}$s, which is of independent interest.

Let p 1, p 2, p 3 be three noncollinear points in the plane, and let P be a set of n other points in the plane. We show that the number of distinct distances between p 1, p 2, p 3 and the points of P is Ω(n 6/11), improving the lower bound Ω(n 0.502) of Elekes and Szabó [4] (and considerably simplifying the analysis).

In the tournament game two players, called Maker and Breaker, alternately take turns in claiming an unclaimed edge of the complete graph Kn and selecting one of the two possible orientations. Before the game starts, Breaker fixes an arbitrary tournament Tk on k vertices. Maker wins if, at the end of the game, her digraph contains a copy of Tk; otherwise Breaker wins. In our main result, we show that Maker has a winning strategy for k = (2 − o(1))log2n, improving the constant factor in previous results of Beck and the second author. This is asymptotically tight since it is known that for k = (2 − o(1))log2n Breaker can prevent the underlying graph of Maker's digraph from containing a k-clique. Moreover, the precise value of our lower bound differs from the upper bound only by an additive constant of 12.

We also discuss the question of whether the random graph intuition, which suggests that the threshold for k is asymptotically the same for the game played by two ‘clever’ players and the game played by two ‘random’ players, is supported by the tournament game. It will turn out that, while a straightforward application of this intuition fails, a more subtle version of it is still valid.

Finally, we consider the orientation game version of the tournament game, where Maker wins the game if the final digraph – also containing the edges directed by Breaker – possesses a copy of Tk. We prove that in that game Breaker has a winning strategy for k = (4 + o(1))log2n.

Let $G$ be a finite group and ${\rm\Gamma}$ a $G$-symmetric graph. Suppose that $G$ is imprimitive on $V({\rm\Gamma})$ with $B$ a block of imprimitivity and ${\mathcal{B}}:=\{B^{g};g\in G\}$ a system of imprimitivity of $G$ on $V({\rm\Gamma})$. Define ${\rm\Gamma}_{{\mathcal{B}}}$ to be the graph with vertex set ${\mathcal{B}}$ such that two blocks $B,C\in {\mathcal{B}}$ are adjacent if and only if there exists at least one edge of ${\rm\Gamma}$ joining a vertex in $B$ and a vertex in $C$. Xu and Zhou [‘Symmetric graphs with 2-arc-transitive quotients’, J. Aust. Math. Soc. 96 (2014), 275–288] obtained necessary conditions under which the graph ${\rm\Gamma}_{{\mathcal{B}}}$ is 2-arc-transitive. In this paper, we completely settle one of the cases defined by certain parameters connected to ${\rm\Gamma}$ and ${\mathcal{B}}$ and show that there is a unique graph corresponding to this case.