Table of Contents
Fetching ...

Rainbow Turán numbers for short brooms

John Byrne, E. G. K. M Gamlath, Anastasia Halfpap, Sydney Miyasaki, Alex Parker

TL;DR

The paper studies rainbow-Turán numbers ex^*(n,F) for broom trees B_{t,3}, focusing on the dependence of ex^*(n,B_{t,3}) on the parity and divisibility of t. It establishes the sharp asymptotic for odd t: ex^*(n,B_{t,3}) = \\frac{t}{2}n + O(1), and derives nuanced upper bounds for even t that hinge on whether t+2 is a power of two. For t = 2^s and t = 3^s - 1, it provides explicit algebraic colorings that asymptotically achieve the lower bound, while for t ≡ 0 \\pmod{4} it proves a tighter upper bound of ex^*(n,B_{t,3}) \\le \\frac{t}{2}n + O(1). The work also analyzes a concrete unresolved case, t = 10, and demonstrates the non-uniform extremal landscape of rainbow brooms, highlighting how divisibility properties influence the extremal structure and potential constructions.

Abstract

A graph $G$ is rainbow-$F$-free if it admits a proper edge-coloring without a rainbow copy of $F$. The rainbow Turán number of $F$, denoted $\mathrm{ex^*}(n,F)$, is the maximum number of edges in a rainbow-$F$-free graph on $n$ vertices. We determine bounds on the rainbow Turán numbers of stars with a single edge subdivided twice; we call such a tree with $t$ total edges a $t$-edge \textit{broom} with length-$3$ handle, denoted by $B_{t,3}$. We improve the best known upper bounds on $\mathrm{ex^*}(n,B_{t,3})$ in all cases where $t \neq 2^s - 2$. Moreover, in the case where $t$ is odd and in a few cases when $t \equiv 0 \mod 4$, we provide constructions asymptotically achieving these upper bounds. Our results also demonstrate a dependence of $\mathrm{ex^*}(n,B_{t,3})$ on divisibility properties of $t$.

Rainbow Turán numbers for short brooms

TL;DR

The paper studies rainbow-Turán numbers ex^*(n,F) for broom trees B_{t,3}, focusing on the dependence of ex^*(n,B_{t,3}) on the parity and divisibility of t. It establishes the sharp asymptotic for odd t: ex^*(n,B_{t,3}) = \\frac{t}{2}n + O(1), and derives nuanced upper bounds for even t that hinge on whether t+2 is a power of two. For t = 2^s and t = 3^s - 1, it provides explicit algebraic colorings that asymptotically achieve the lower bound, while for t ≡ 0 \\pmod{4} it proves a tighter upper bound of ex^*(n,B_{t,3}) \\le \\frac{t}{2}n + O(1). The work also analyzes a concrete unresolved case, t = 10, and demonstrates the non-uniform extremal landscape of rainbow brooms, highlighting how divisibility properties influence the extremal structure and potential constructions.

Abstract

A graph is rainbow--free if it admits a proper edge-coloring without a rainbow copy of . The rainbow Turán number of , denoted , is the maximum number of edges in a rainbow--free graph on vertices. We determine bounds on the rainbow Turán numbers of stars with a single edge subdivided twice; we call such a tree with total edges a -edge \textit{broom} with length- handle, denoted by . We improve the best known upper bounds on in all cases where . Moreover, in the case where is odd and in a few cases when , we provide constructions asymptotically achieving these upper bounds. Our results also demonstrate a dependence of on divisibility properties of .

Paper Structure

This paper contains 13 sections, 29 theorems, 26 equations, 14 figures.

Key Result

Theorem 1.1

For any graph $F$,

Figures (14)

  • Figure 1: The structure of $N[v]$
  • Figure 2: $H_{u,v}$ where $t=4$, with good coloring $c$. Here $\sigma_{u,v} = (12)(34)$
  • Figure 3: The construction of permutations $\sigma_1,\sigma_2,$ and $\sigma_3$
  • Figure 4: $C_4$-copies in $G' + zv$ containing $zv$
  • Figure 5: Contradiction proving $c_1 = 3$
  • ...and 9 more figures

Theorems & Definitions (45)

  • Theorem 1.1: Keevash-Mubayi-Sudakov-Verstraëte KMSV
  • Theorem 1.2: Johnston-Rombach JoRo
  • Theorem 1.3: Johnston-Rombach JoRo
  • Theorem 1.4
  • Theorem 1.5
  • Theorem 1.6
  • Theorem 1.7
  • Theorem 1.8
  • Theorem 2.1
  • proof
  • ...and 35 more