Bounded colorings of multipartite graphs and hypergraphs

Let $c$ be an edge-coloring of the complete $n$-vertex graph $K_n$. The problem of finding properly colored and rainbow Hamilton cycles in $c$ was initiated in 1976 by Bollob\'as and Erd\H os and has been extensively studied since then. Recently it was extended to the hypergraph setting by Dudek, Frieze and Ruci\'nski. We generalize these results, giving sufficient local (resp. global) restrictions on the colorings which guarantee a properly colored (resp. rainbow) copy of a given hypergraph $G$. We also study multipartite analogues of these questions. We give (up to a constant factor) optimal sufficient conditions for a coloring $c$ of the complete balanced $m$-partite graph to contain a properly colored or rainbow copy of a given graph $G$ with maximum degree $\Delta$. Our bounds exhibit a surprising transition in the rate of growth, showing that the problem is fundamentally different in the regimes $\Delta \gg m$ and $\Delta \ll m$ Our main tool is the framework of Lu and Sz\'ekely for the space of random bijections, which we extend to product spaces

Unavoidable patterns in locally balanced colourings

Which patterns must a two-colouring of $K_n$ contain if each vertex has at least $\varepsilon n$ red and $\varepsilon n$ blue neighbours? In this paper, we investigate this question and its multicolour variant. For instance, we show that any such graph contains a $t$-blow-up of an \textit{alternating 4-cycle} with $t = \Omega(\log n)$.Comment: Improved expositio

The Tur\'an density of tight cycles in three-uniform hypergraphs

The Tur\'an density of an $r$-uniform hypergraph $\mathcal{H}$, denoted $\pi(\mathcal{H})$, is the limit of the maximum density of an $n$-vertex $r$-uniform hypergraph not containing a copy of $\mathcal{H}$, as $n \to \infty$. Denote by $\mathcal{C}_{\ell}$ the $3$-uniform tight cycle on $\ell$ vertices. Mubayi and R\"odl gave an ``iterated blow-up'' construction showing that the Tur\'an density of $\mathcal{C}_5$ is at least $2\sqrt{3} - 3 \approx 0.464$, and this bound is conjectured to be tight. Their construction also does not contain $\mathcal{C}_{\ell}$ for larger $\ell$ not divisible by $3$, which suggests that it might be the extremal construction for these hypergraphs as well. Here, we determine the Tur\'an density of $\mathcal{C}_{\ell}$ for all large $\ell$ not divisible by $3$, showing that indeed $\pi(\mathcal{C}_{\ell}) = 2\sqrt{3} - 3$. To our knowledge, this is the first example of a Tur\'an density being determined where the extremal construction is an iterated blow-up construction. A key component in our proof, which may be of independent interest, is a $3$-uniform analogue of the statement ``a graph is bipartite if and only if it does not contain an odd cycle''.Comment: 34 pages, 4 figures (final version accepted to IMRN plus a few comments in conclusion

The Turán Density of Tight Cycles in Three-Uniform Hypergraphs

The Turán density of an $r$-uniform hypergraph ${\mathcal {H}}$, denoted $\pi ({\mathcal {H}})$, is the limit of the maximum density of an $n$-vertex $r$-uniform hypergraph not containing a copy of ${\mathcal {H}}$, as $n \to \infty$. Denote by ${\mathcal {C}}_{\ell }$ the $3$-uniform tight cycle on $\ell$ vertices. Mubayi and Rödl gave an “iterated blow-up” construction showing that the Turán density of ${\mathcal {C}}_{5}$ is at least $2\sqrt {3} - 3 \approx 0.464$, and this bound is conjectured to be tight. Their construction also does not contain ${\mathcal {C}}_{\ell }$ for larger $\ell$ not divisible by $3$, which suggests that it might be the extremal construction for these hypergraphs as well. Here, we determine the Turán density of ${\mathcal {C}}_{\ell }$ for all large $\ell$ not divisible by $3$, showing that indeed $\pi ({\mathcal {C}}_{\ell }) = 2\sqrt {3} - 3$. To our knowledge, this is the first example of a Turán density being determined where the extremal construction is an iterated blow-up construction. A key component in our proof, which may be of independent interest, is a $3$-uniform analogue of the statement “a graph is bipartite if and only if it does not contain an odd cycle”

Towards a characterisation of Sidorenko systems

A system of linear forms $L=\{L_1,\ldots,L_m\}$ over $\mathbb{F}_q$ is said to be Sidorenko if the number of solutions to $L=0$ in any $A \subseteq \mathbb{F}_{q}^n$ is asymptotically as $n\to\infty$ at least the expected number of solutions in a random set of the same density. Work of Saad and Wolf (2017) and of Fox, Pham and Zhao (2019) fully characterises single equations with this property and both sets of authors ask about a characterisation of Sidorenko systems of equations. In this paper, we make progress towards this goal. Firstly, we find a simple necessary condition for a system to be Sidorenko, thus providing a rich family of non-Sidorenko systems. In the opposite direction, we find a large family of structured Sidorenko systems, by utilising the entropy method. We also make significant progress towards a full classification of systems of two equations.Comment: 18 page