Table of Contents
Fetching ...

Non-uniform degrees and rainbow versions of the Caccetta-Häggkvist conjecture

Ron Aharoni, Eli Berger, Maria Chudnovsky, He Guo, Shira Zerbib

Abstract

The Caccetta-Häggkvist conjecture (denoted below CHC) states that the directed girth (the smallest length of a directed cycle) $dgirth(D)$ of a directed graph $D$ on $n$ vertices is at most $\lceil \frac{n}{δ^+(D)}\rceil$, where $δ^+(D)$ is the minimum out-degree of~$D$. We consider a version involving all out-degrees, not merely the minimum one, and prove that if $D$ does not contain a sink, then $dgirth(D) \le 2 \sum_{v\in V(D)} \frac{1}{deg^+(v)+1}$. In the spirit of a generalization of the CHC to rainbow cycles in \cite{ADH2019}, this suggests the conjecture that given non-empty sets $F_1, \ldots,F_n$ of edges of $K_n$, there exists a rainbow cycle of length at most $2\sum_{1\le i \le n}\frac{1}{|F_i|+1}$. We prove a bit stronger result when $1\le |F_i|\le 2$, thereby strengthening a result of DeVos et. al \cite{DDFGGHMM2021}. We prove a logarithmic bound on the rainbow girth in the case that the sets $F_i$ are triangles.

Non-uniform degrees and rainbow versions of the Caccetta-Häggkvist conjecture

Abstract

The Caccetta-Häggkvist conjecture (denoted below CHC) states that the directed girth (the smallest length of a directed cycle) of a directed graph on vertices is at most , where is the minimum out-degree of~. We consider a version involving all out-degrees, not merely the minimum one, and prove that if does not contain a sink, then . In the spirit of a generalization of the CHC to rainbow cycles in \cite{ADH2019}, this suggests the conjecture that given non-empty sets of edges of , there exists a rainbow cycle of length at most . We prove a bit stronger result when , thereby strengthening a result of DeVos et. al \cite{DDFGGHMM2021}. We prove a logarithmic bound on the rainbow girth in the case that the sets are triangles.

Paper Structure

This paper contains 4 sections, 22 theorems, 36 equations.

Key Result

Theorem 1.1

Every $n$-vertex digraph with minimum out-degree at least 0.3465n contains a directed triangle.

Theorems & Definitions (43)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Definition 1.4
  • Conjecture 1.5
  • Remark 1.6
  • Theorem 1.7
  • Theorem 1.8
  • Theorem 1.9
  • Theorem 1.10
  • ...and 33 more