arXiv++ Combinatorics

For $\boldsymbolα = (α_1, \dots, α_k) \in \mathbb{F}_2^k$, an $\boldsymbolα$-town is a set family in which every $i$-wise intersection has parity $α_i$. Denote by $f_{\boldsymbolα}(n)$ the maximum size of an $\boldsymbolα$-town on $[n]$. The classical oddtown and eventown problems study the cases $\boldsymbolα = (1, 0)$ and $(0, 0)$, respectively. We determine the sharp asymptotics of $f_{\boldsymbolα}(n)$ for all $\boldsymbolα$, answering questions of Johnston--O'Neill and Wei--Zhang--Ge. We also study a symmetric variant $g_{\boldsymbolα}(n)$, in which $i$-wise intersection sizes $|F_1 \cap \dots \cap F_i|$ are replaced by $i$-wise intersection-union sizes $|F_1 \cap \dots \cap F_i| + |F_1 \cup \dots \cup F_i|$.

Given a system $\mathcal{G} =\{G_1,G_2,\dots,G_m\}$ of graphs/digraphs/hypergraphs on the common vertex set $V$ of size $n$, an $m$-edge graph/digraph/hypergraph $H$ on $V$ is transversal in $\mathcal{G}$ if there exists a bijection $φ:E(H)\rightarrow [m]$ such that $e \in E(G_{φ(e)})$ for all $e\in E(H)$. In this survey, we consider extremal problems for transversal structures in graph systems. More precisely, we summarize some sufficient conditions that ensure the existence of transversal structures in graph/digraph/hypergraph systems, which generalize several classical theorems in extremal graph theory to transversal version. We also include a number of conjectures and open problems.

Given a collection $\mathcal{G} =\{G_1,G_2,\dots,G_m\}$ of graphs on the common vertex set $V$ of size $n$, an $m$-edge graph $H$ on the same vertex set $V$ is transversal in $\mathcal{G}$ if there exists a bijection $\varphi :E(H)\rightarrow [m]$ such that $e \in E(G_{\varphi(e)})$ for all $e\in E(H)$. Denote $δ(\mathcal{G}):=\operatorname*{min}\left\{δ(G_i): i\in [m]\right\}$. In this paper, we first establish a minimum degree condition for the existence of transversal Hamilton paths in $\mathcal{G}$: if $n=m+1$ and $δ(\mathcal{G})\geq \frac{n-1}{2}$, then $\mathcal{G}$ contains a transversal Hamilton path. This solves a problem proposed by [Li, Li and Li, J. Graph Theory, 2023]. As a continuation of the transversal version of Dirac's theorem [Joos and Kim, Bull. Lond. Math. Soc., 2020] and the stability result for transversal Hamilton cycles [Cheng and Staden, arXiv:2403.09913v1], our second result characterizes all graph collections with minimum degree at least $\frac{n}{2}-1$ and without transversal Hamilton cycles. We obtain an analogous result for transversal Hamilton paths. The proof is a combination of the stability result for transversal Hamilton paths or cycles, transversal blow-up lemma, along with some structural analysis.