In 1964, Erdős proposed the problem of estimating the Turán number of the d-dimensional hypercube $Q_d$. Since $Q_d$ is a bipartite graph with maximum degree d, it follows from results of Füredi and Alon, Krivelevich, Sudakov that $\mathrm {ex}(n,Q_d)=O_d(n^{2-1/d})$. A recent general result of Sudakov and Tomon implies the slightly stronger bound $\mathrm {ex}(n,Q_d)=o(n^{2-1/d})$. We obtain the first power-improvement for this old problem by showing that $\mathrm {ex}(n,Q_d)=O_d\left (n^{2-\frac {1}{d-1}+\frac {1}{(d-1)2^{d-1}}}\right )$. This answers a question of Liu. Moreover, our techniques give a power improvement for a larger class of graphs than cubes.

We use a similar method to prove that any n-vertex, properly edge-coloured graph without a rainbow cycle has at most $O(n(\log n)^2)$ edges, improving the previous best bound of $n(\log n)^{2+o(1)}$ by Tomon. Furthermore, we show that any properly edge-coloured n-vertex graph with $\omega (n\log n)$ edges contains a cycle which is almost rainbow: that is, almost all edges in it have a unique colour. This latter result is tight.

We study the distribution of the length of longest increasing subsequences in random permutations of n integers as n grows large and establish an asymptotic expansion in powers of $n^{-1/3}$. Whilst the limit law was already shown by Baik, Deift and Johansson to be the GUE Tracy–Widom distribution F, we find explicit analytic expressions of the first few finite-size correction terms as linear combinations of higher order derivatives of F with rational polynomial coefficients. Our proof replaces Johansson’s de-Poissonization, which is based on monotonicity as a Tauberian condition, by analytic de-Poissonization of Jacquet and Szpankowski, which is based on growth conditions in the complex plane; it is subject to a tameness hypothesis concerning complex zeros of the analytically continued Poissonized length distribution. In a preparatory step an expansion of the hard-to-soft edge transition law of LUE is studied, which is lifted to an expansion of the Poissonized length distribution for large intensities. Finally, expansions of Stirling-type approximations and of the expected value and variance of the length distribution are given.

Let $S=K[x_1,\ldots ,x_n]$ be the polynomial ring over a field K, and let A be a finitely generated standard graded S-algebra. We show that if the defining ideal of A has a quadratic initial ideal, then all the graded components of A are componentwise linear. Applying this result to the Rees ring $\mathcal {R}(I)$ of a graded ideal I gives a criterion on I to have componentwise linear powers. Moreover, for any given graph G, a construction on G is presented which produces graphs whose cover ideals $I_G$ have componentwise linear powers. This, in particular, implies that for any Cohen–Macaulay Cameron–Walker graph G all powers of $I_G$ have linear resolutions. Moreover, forming a cone on special graphs like unmixed chordal graphs, path graphs, and Cohen–Macaulay bipartite graphs produces cover ideals with componentwise linear powers.

We study a variant of the color-avoiding percolation model introduced by Krause et al., namely we investigate the color-avoiding bond percolation setup on (not necessarily properly) edge-colored Erdős–Rényi random graphs. We say that two vertices are color-avoiding connected in an edge-colored graph if, after the removal of the edges of any color, they are in the same component in the remaining graph. The color-avoiding connected components of an edge-colored graph are maximal sets of vertices such that any two of them are color-avoiding connected. We consider the fraction of vertices contained in color-avoiding connected components of a given size, as well as the fraction of vertices contained in the giant color-avoidin g connected component. It is known that these quantities converge, and the limits can be expressed in terms of probabilities associated to edge-colored branching process trees. We provide explicit formulas for the limit of the fraction of vertices contained in the giant color-avoiding connected component, and we give a simpler asymptotic expression for it in the barely supercritical regime. In addition, in the two-colored case we also provide explicit formulas for the limit of the fraction of vertices contained in color-avoiding connected components of a given size.

We conduct a systematic study of the Ehrhart theory of certain slices of rectangular prisms. Our polytopes are generalizations of the hypersimplex and are contained in the larger class of polypositroids introduced by Lam and Postnikov; moreover, they coincide with polymatroids satisfying the strong exchange property up to an affinity. We give a combinatorial formula for all the Ehrhart coefficients in terms of the number of weighted permutations satisfying certain compatibility properties. This result proves that all these polytopes are Ehrhart positive. Additionally, via an extension of a result by Early and Kim, we give a combinatorial interpretation for all the coefficients of the $h^*$-polynomial. All of our results provide a combinatorial understanding of the Hilbert functions and the h-vectors of all algebras of Veronese type, a problem that had remained elusive up to this point. A variety of applications are discussed, including expressions for the volumes of these slices of prisms as weighted combinations of Eulerian numbers; some extensions of Laplace’s result on the combinatorial interpretation of the volume of the hypersimplex; a multivariate generalization of the flag Eulerian numbers and refinements; and a short proof of the Ehrhart positivity of the independence polytope of all uniform matroids.

We investigate the notion of a semi-retraction between two first-order structures (in typically different signatures) that was introduced by the second author as a link between the Ramsey property and generalized indiscernible sequences. We look at semi-retractions through a new lens establishing transfers of the Ramsey property and finite Ramsey degrees under quite general conditions that are optimal as demonstrated by counterexamples. Finally, we compare semi-retractions to the category theoretic notion of a pre-adjunction.

Let G be a graph with m edges, minimum degree $\delta $ and containing no cycle of length 4. Answering a question of Bollobás and Scott, Fan et al. [‘Bisections of graphs without short cycles’, Combinatorics, Probability and Computing 27(1) (2018), 44–59] showed that if (i) G is $2$-connected, or (ii) $\delta \ge 3$, or (iii) $\delta \ge 2$ and the girth of G is at least 5, then G admits a bisection such that $\max \{e(V_1),e(V_2)\}\le (1/4+o(1))m$, where $e(V_i)$ denotes the number of edges of G with both ends in $V_i$. Let $s\ge 2$ be an integer. In this note, we prove that if $\delta \ge 2s-1$ and G contains no $K_{2,s}$ as a subgraph, then G admits a bisection such that $\max \{e(V_1),e(V_2)\}\le (1/4+o(1))m$.

We prove the following conjecture of Z.-W. Sun [‘On congruences related to central binomial coefficients’, J. Number Theory 13(11) (2011), 2219–2238]. Let p be an odd prime. Then

$$ \begin{align*} \sum_{k=1}^{p-1}\frac{\binom{2k}k}{k2^k}\equiv-\frac12H_{{(p-1)}/2}+\frac7{16}p^2B_{p-3}\pmod{p^3}, \end{align*} $$

where $H_n$ is the nth harmonic number and $B_n$ is the nth Bernoulli number. In addition, we evaluate $\sum _{k=0}^{p-1}(ak+b)\binom {2k}k/2^k$ modulo $p^3$ for any p-adic integers $a, b$.

We give an elementary symmetric function expansion for the expressions $M\Delta _{m_\gamma e_1}\Pi e_\lambda ^{\ast }$ and $M\Delta _{m_\gamma e_1}\Pi s_\lambda ^{\ast }$ when $t=1$ in terms of what we call $\gamma $-parking functions and lattice $\gamma $-parking functions. Here, $\Delta _F$ and $\Pi $ are certain eigenoperators of the modified Macdonald basis and $M=(1-q)(1-t)$. Our main results, in turn, give an elementary basis expansion at $t=1$ for symmetric functions of the form $M \Delta _{Fe_1} \Theta _{G} J$ whenever F is expanded in terms of monomials, G is expanded in terms of the elementary basis, and J is expanded in terms of the modified elementary basis $\{\Pi e_\lambda ^\ast \}_\lambda $. Even the most special cases of this general Delta and Theta operator expression are significant; we highlight a few of these special cases. We end by giving an e-positivity conjecture for when t is not specialized, proposing that our objects can also give the elementary basis expansion in the unspecialized symmetric function.

In this paper, we mainly prove the following conjectures of Sun [16]: Let p > 3 be a prime. Then

\begin{align*}&A_{2p}\equiv A_2-\frac{1648}3p^3B_{p-3}\ ({\rm{mod}}\ p^4),\\&A_{2p-1}\equiv A_1+\frac{16p^3}3B_{p-3}\ ({\rm{mod}}\ p^4),\\&A_{3p}\equiv A_3-36738p^3B_{p-3}\ ({\rm{mod}}\ p^4),\end{align*}

where $A_n=\sum_{k=0}^n\binom{n}k^2\binom{n+k}{k}^2$ is the nth Apéry number, and Bn is the nth Bernoulli number.

We show that for every $\eta \gt 0$ every sufficiently large $n$-vertex oriented graph $D$ of minimum semidegree exceeding $(1+\eta )\frac k2$ contains every balanced antidirected tree with $k$ edges and bounded maximum degree, if $k\ge \eta n$. In particular, this asymptotically confirms a conjecture of the first author for long antidirected paths and dense digraphs.

Further, we show that in the same setting, $D$ contains every $k$-edge antidirected subdivision of a sufficiently small complete graph, if the paths of the subdivision that have length $1$ or $2$ span a forest. As a special case, we can find all antidirected cycles of length at most $k$.

Finally, we address a conjecture of Addario-Berry, Havet, Linhares Sales, Reed, and Thomassé for antidirected trees in digraphs. We show that this conjecture is asymptotically true in $n$-vertex oriented graphs for all balanced antidirected trees of bounded maximum degree and of size linear in $n$.

A result of Gyárfás [12] exactly determines the size of a largest monochromatic component in an arbitrary $r$-colouring of the complete $k$-uniform hypergraph $K_n^k$ when $k\geq 2$ and $k\in \{r-1,r\}$. We prove a result which says that if one replaces $K_n^k$ in Gyárfás’ theorem by any ‘expansive’ $k$-uniform hypergraph on $n$ vertices (that is, a $k$-uniform hypergraph $G$ on $n$ vertices in which $e(V_1, \ldots, V_k)\gt 0$ for all disjoint sets $V_1, \ldots, V_k\subseteq V(G)$ with $|V_i|\gt \alpha$ for all $i\in [k]$), then one gets a largest monochromatic component of essentially the same size (within a small error term depending on $r$ and $\alpha$). As corollaries we recover a number of known results about large monochromatic components in random hypergraphs and random Steiner triple systems, often with drastically improved bounds on the error terms.

Gyárfás’ result is equivalent to the dual problem of determining the smallest possible maximum degree of an arbitrary $r$-partite $r$-uniform hypergraph $H$ with $n$ edges in which every set of $k$ edges has a common intersection. In this language, our result says that if one replaces the condition that every set of $k$ edges has a common intersection with the condition that for every collection of $k$ disjoint sets $E_1, \ldots, E_k\subseteq E(H)$ with $|E_i|\gt \alpha$, there exists $(e_1, \ldots, e_k)\in E_1\times \cdots \times E_k$ such that $e_1\cap \cdots \cap e_k\neq \emptyset$, then the smallest possible maximum degree of $H$ is essentially the same (within a small error term depending on $r$ and $\alpha$). We prove our results in this dual setting.

For a graph $H$ and a hypercube $Q_n$, $\textrm{ex}(Q_n, H)$ is the largest number of edges in an $H$-free subgraph of $Q_n$. If $\lim _{n \rightarrow \infty } \textrm{ex}(Q_n, H)/|E(Q_n)| \gt 0$, $H$ is said to have a positive Turán density in a hypercube or simply a positive Turán density; otherwise, it has zero Turán density. Determining $\textrm{ex}(Q_n, H)$ and even identifying whether $H$ has a positive or zero Turán density remains a widely open question for general $H$. By relating extremal numbers in a hypercube and certain corresponding hypergraphs, Conlon found a large class of graphs, ones having so-called partite representation, that have zero Turán density. He asked whether this gives a characterisation, that is, whether a graph has zero Turán density if and only if it has partite representation. Here, we show that, as suspected by Conlon, this is not the case. We give an example of a class of graphs which have no partite representation, but on the other hand, have zero Turán density. In addition, we show that any graph whose every block has partite representation has zero Turán density in a hypercube.

The minimum number of idempotent generators is calculated for an incidence algebra of a finite poset over a commutative ring. This quantity equals either $\lceil \log _2 n\rceil $ or $\lceil \log _2 n\rceil +1$, where n is the cardinality of the poset. The two cases are separated in terms of the embedding of the Hasse diagram of the poset into the complement of the hypercube graph.

In this paper, we introduce a slight variation of the dominated-coupling-from-the-past (DCFTP) algorithm of Kendall, for bounded Markov chains. It is based on the control of a (typically non-monotonic) stochastic recursion by another (typically monotonic) one. We show that this algorithm is particularly suitable for stochastic matching models with bounded patience, a class of models for which the steady-state distribution of the system is in general unknown in closed form. We first show that the Markov chain of this model can easily be controlled by an infinite-server queue. We then investigate the particular case where patience times are deterministic, and this control argument may fail. In that case we resort to an ad-hoc technique that can also be seen as a control (this time, by the arrival sequence). We then compare this algorithm to the primitive coupling-from-the-past (CFTP) algorithm and to control by an infinite-server queue, and show how our perfect simulation results can be used to estimate and compare, for instance, the loss probabilities of various systems in equilibrium.

We propose generating functions, $\textrm {RGF}_p(x)$, for the quotients of numerical semigroups which are related to the Sylvester denumerant. Using MacMahon’s partition analysis, we can obtain $\textrm {RGF}_p(x)$ by extracting the constant term of a rational function. We use $\textrm {RGF}_p(x)$ to give a system of generators for the quotient of the numerical semigroup $\langle a_1,a_2,a_3\rangle $ by p for a small positive integer p, and we characterise the generators of ${\langle A\rangle }/{p}$ for a general numerical semigroup A and any positive integer p.

The asymptotic behavior of the Jaccard index in G(n, p), the classical Erdös–Rényi random graph model, is studied as n goes to infinity. We first derive the asymptotic distribution of the Jaccard index of any pair of distinct vertices, as well as the first two moments of this index. Then the average of the Jaccard indices over all vertex pairs in G(n, p) is shown to be asymptotically normal under an additional mild condition that $np\to\infty$ and $n^2(1-p)\to\infty$.

Centrality measures aim to indicate who is important in a network. Various notions of ‘being important’ give rise to different centrality measures. In this paper, we study how important the central vertices are for the connectivity structure of the network, by investigating how the removal of the most central vertices affects the number of connected components and the size of the giant component. We use local convergence techniques to identify the limiting number of connected components for locally converging graphs and centrality measures that depend on the vertex’s neighbourhood. For the size of the giant, we prove a general upper bound. For the matching lower bound, we specialise to the case of degree centrality on one of the most popular models in network science, the configuration model, for which we show that removal of the highest-degree vertices destroys the giant most.

We show that the independence number of $ G_{n,p}$ is concentrated on two values if $ n^{-2/3+ \epsilon } < p \le 1$. This result is roughly best possible as an argument of Sah and Sawhney shows that the independence number is not, in general, concentrated on two values for $ p = o ( (\log (n)/n)^{2/3} )$. The extent of concentration of the independence number of $ G_{n,p}$ for $ \omega (1/n) < p \le n^{-2/3}$ remains an interesting open question.

For a subset $A$ of an abelian group $G$, given its size $|A|$, its doubling $\kappa =|A+A|/|A|$, and a parameter $s$ which is small compared to $|A|$, we study the size of the largest sumset $A+A'$ that can be guaranteed for a subset $A'$ of $A$ of size at most $s$. We show that a subset $A'\subseteq A$ of size at most $s$ can be found so that $|A+A'| = \Omega (\!\min\! (\kappa ^{1/3},s)|A|)$. Thus, a sumset significantly larger than the Cauchy–Davenport bound can be guaranteed by a bounded size subset assuming that the doubling $\kappa$ is large. Building up on the same ideas, we resolve a conjecture of Bollobás, Leader and Tiba that for subsets $A,B$ of $\mathbb{F}_p$ of size at most $\alpha p$ for an appropriate constant $\alpha \gt 0$, one only needs three elements $b_1,b_2,b_3\in B$ to guarantee $|A+\{b_1,b_2,b_3\}|\ge |A|+|B|-1$. Allowing the use of larger subsets $A'$, we show that for sets $A$ of bounded doubling, one only needs a subset $A'$ with $o(|A|)$ elements to guarantee that $A+A'=A+A$. We also address another conjecture and a question raised by Bollobás, Leader and Tiba on high-dimensional analogues and sets whose sumset cannot be saturated by a bounded size subset.