On rainbow Turán Densities of Trees (2312.15956v1)

Abstract: For a given collection $\mathcal{G} = (G_1,\dots, G_k)$ of graphs on a common vertex set $V$, which we call a \emph{graph system}, a graph $H$ on a vertex set $V(H) \subseteq V$ is called a \emph{rainbow subgraph} of $\mathcal{G}$ if there exists an injective function $\psi:E(H) \rightarrow [k]$ such that $e \in G_{\psi(e)}$ for each $e\in E(H)$. The maximum value of $\min_{i}{|E(G_i)|}$ over $n$-vertex graph systems $\mathcal{G}$ having no rainbow subgraph isomorphic to $H$ is called the rainbow Tur\'{a}n number $\mathrm{ex}k^{\ast}(n, H)$ of $H$. In this article, we study the rainbow Tur\'{a}n density $\pi_k^{\ast}(T) = \lim{n \rightarrow \infty} \frac{\mathrm{ex}_k^{\ast}(n, T)}{\binom{n}{2}}$ of a tree $T$. While the classical Tur\'{a}n density $\pi(H)$ of a graph $H$ lies in the set ${1-\frac{1}{t} : t\in \mathbb{N}}$, the rainbow Tur\'{a}n density exhibits different behaviors as it can even be an irrational number. Nevertheless, we conjecture that the rainbow Tur\'{a}n density is always an algebraic number. We provide evidence for this conjecture by proving that the rainbow Tur\'{a}n density of a tree is an algebraic number. To show this, we identify the structure of extremal graphs for rainbow trees. Moreover, we further determine all tuples $(\alpha_1,\dots, \alpha_k)$ such that every graph system $(G_1,\dots,G_k)$ satisfying $|E(G_i)|>(\alpha_i+o(1))\binom{n}{2}$ contains all rainbow $k$-edge trees. In the course of proving these results, we also develop the theory on the limit of graph systems.