Independent transversal blow-up of graphs

TL;DR

This paper investigates the conditions under which multipartite graphs contain independent transversals and complete multipartite subgraphs, extending previous results and providing tight bounds and counting methods.

Contribution

It establishes new degree and size conditions guaranteeing the existence of independent transversals and complete subgraphs in multipartite graphs, extending prior theoretical results.

Findings

Proves existence of independent transversals under specific degree and size constraints.

Shows minimum degree thresholds ensuring the presence of complete multipartite subgraphs.

Provides bounds and tightness results for part sizes relative to degrees.

Abstract

In an $r$-partite graph, an independent transversal of size $s$ (ITS) consists of $s$ vertices from each part forming an independent set. Motivated by a question from Bollob\'as, Erd\H{o}s, and Szemer\'edi (1975), Di Braccio and Illingworth (2024) inquired about the minimum degree needed to ensure an $n \times \cdots \times n$ $r$-partite graph contains $K_r(s)$, a complete $r$-partite graph with $s$ vertices in each part. We reformulate this as finding the smallest $n$ such that any $n \times \cdots \times n$ $r$-partite graph with maximum degree $\Delta$ has an ITS. For any $\varepsilon>0$, we prove the existence of a $\gamma>0$ ensuring that if $G$ is a multipartite graph partitioned as $(V_1, V_2, \ldots, V_r)$, where the average degree of each part $V_i$ is at most $D$, the maximum degree of any vertex to any part $V_i$ is at most $\gamma D$, and the size of each part $V_i$ is at least $(s + \varepsilon)D$, then $G$ possesses an ITS. The constraint $(s + \varepsilon)D$ on the part size is tight. This extends results of Loh and Sudakov (2007), Glock and Sudakov (2022), and Kang and Kelly (2022). We also show that any $n \times \cdots \times n$ $r$-partite graph with minimum degree at least $\left(r-1-\frac{1}{2s^2}\right)n$ contains $K_r(s)$ and provide a relative Tur\'an-type result. Additionally, this paper explores counting ITSs in multipartite graphs.