arXiv++ Combinatorics

Let $χ_l(G)$ denote the list chromatic number of the $r$-uniform hypergraph~$G$. Extending a result of Alon for graphs, Saxton and the second author used the method of containers to prove that, if $G$ is simple and $d$-regular, then $χ_l(G)\ge (1/(r-1)+o(1))\log_r d$. To see how close this inequality is to best possible, we examine $χ_l(G)$ when $G$ is a random $r$-partite hypergraph with $n$ vertices in each class. The value when $r=2$ was determined by Alon and Krivelevich, here we show that $χ_l(G)= (g(r,α)+o(1))\log_r d$ almost surely, where $d$ is the expected average degree of~$G$ and $α=\log_nd$. The function $g(r,α)$ is defined in terms of "preference orders" and can be determined fairly explicitly. This is enough to show that the container method gives an optimal lower bound on $χ_l(G)$ for $r=2$ and $r=3$, but, perhaps surprisingly, apparently not for $r\ge4$.

We prove that for every partially ordered set $P$, there exists $c(P)$ such that every family $\mathcal{F}$ of subsets of $[n]$ ordered by inclusion and which contains no induced copy of $P$ satisfies $\sum_{F\in \mathcal{F}}1/{n\choose |F|}\leq c(P)$. This confirms a conjecture of Lu and Milans.

Recently Kostochka, Mubayi and Verstraëte initiated the study of the Ramsey numbers of uniform loose cycles versus cliques. In particular they proved that $R(C^r_3,K^r_n) = \tildeθ(n^{3/2})$ for all fixed $r\geq 3$. For the case of loose cycles of length five they proved that $R(C_5^r,K_n^r)=Ω((n/\log n)^{5/4})$ and conjectured that $R(C^r_5,K_n^r) = O(n^{5/4})$ for all fixed $r\geq 3$. Our main result is that $R(C_5^3,K_n^3) = O(n^{4/3})$ and more generally for any fixed $l\geq 3$ that $R(C_l^3,K_n^3) = O(n^{1 + 1/\lfloor(l+1)/2 \rfloor})$. We also explain why for every fixed $l\geq 5$, $r\geq 4$, $R(C^r_l,K^r_n) = O(n^{1+1/\lfloor l/2 \rfloor})$ if $l$ is odd, which improves upon the result of Collier-Cartaino, Graber and Jiang who proved that for every fixed $r\geq 3$, $l\geq 4$, we have $R(C_l^r,K_n^r) = O(n^{1 + 1/(\lfloor l/2 \rfloor-1)})$.

In this paper we consider a pursuit-evasion game on a graph. A team of cats, which may choose any vertex of the graph at any turn, tries to catch an invisible mouse, which is constrained to moving along the vertices of the graph. Our main focus shall be on trees. We prove that $\lceil (1/2)\log_2(n)\rceil$ cats can always catch a mouse on a tree of order $n$ and give a collection of trees where the mouse can avoid being caught by $ (1/4 - o(1))\log_2(n)$ cats.

Given a $k\times l$ $(0,1)$-matrix $F$, we denote by $\mathrm{fs}(m,F)$ the largest number for which there is an $m \times \mathrm{fs}(m,F)$ $(0,1)$-matrix with no repeated columns and no induced submatrix equal to $F$. A conjecture of Anstee, Frankl, Füredi and Pach states that $\mathrm{fs}(m,F) = O(m^k)$ for a fixed matrix $F$. The main results of this paper are that $\mathrm{fs}(m,F) = m^{2+ o(1)}$ if $k=2$ and that $\mathrm{fs}(m,F) = m^{5k/3 -1 + o(1)}$ if $k\geq 3$.