Table of Contents
Fetching ...

On Tuza's Conjecture in Dense Graphs

Luis Chahua, Juan Gutierrez

TL;DR

This work advances Tuza's conjecture in dense graphs by establishing a density-based boundary for split graphs ($\delta(G)\ge \frac{3}{5}n$) that ensures $\tau(G)\le 2\,\nu(G)$, and by deriving a new bound for dense tripartite graphs $\tau(G) \le \frac{n^2}{3(4m-n^2)}\,\nu(G)$, yielding $\tau(G)<1.8\,\nu(G)$ under a minimum-degree condition of $0.59n$. It also proves a tight, general bound for complete $4$-partite graphs, $\tau(G)\le \frac{3}{2}\,\nu(G)$, for graphs with at least five vertices. Collectively, these results extend the reach of Tuza-type bounds to several dense multipartite graph classes and introduce methods based on packing-extending via edge-colorings and $f$-factor techniques that may generalize further.

Abstract

In 1982, Tuza conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. This conjecture was proved for several graph classes. In this paper, we present three results regarding Tuza's Conjecture for dense graphs. By using a probabilistic argument, Tuza proved its conjecture for graphs on $n$ vertices with minimum degree at least $\frac{7n}{8}$. We extend this technique to show that Tuza's conjecture is valid for split graphs with minimum degree at least $\frac{3n}{5}$; and that $τ(G) < \frac{28}{15}ν(G)$ for every tripartite graph with minimum degree more than $\frac{33n}{56}$. Finally, we show that $τ(G)\leq \frac{3}{2}ν(G)$ when $G$ is a complete 4-partite graph. Moreover, this bound is tight.

On Tuza's Conjecture in Dense Graphs

TL;DR

This work advances Tuza's conjecture in dense graphs by establishing a density-based boundary for split graphs () that ensures , and by deriving a new bound for dense tripartite graphs , yielding under a minimum-degree condition of . It also proves a tight, general bound for complete -partite graphs, , for graphs with at least five vertices. Collectively, these results extend the reach of Tuza-type bounds to several dense multipartite graph classes and introduce methods based on packing-extending via edge-colorings and -factor techniques that may generalize further.

Abstract

In 1982, Tuza conjectured that the size of a minimum set of edges that intersects every triangle of a graph is at most twice the size of a maximum set of edge-disjoint triangles of . This conjecture was proved for several graph classes. In this paper, we present three results regarding Tuza's Conjecture for dense graphs. By using a probabilistic argument, Tuza proved its conjecture for graphs on vertices with minimum degree at least . We extend this technique to show that Tuza's conjecture is valid for split graphs with minimum degree at least ; and that for every tripartite graph with minimum degree more than . Finally, we show that when is a complete 4-partite graph. Moreover, this bound is tight.
Paper Structure (5 sections, 15 theorems, 16 equations, 1 figure)

This paper contains 5 sections, 15 theorems, 16 equations, 1 figure.

Key Result

Lemma 2

Let $G$ be a graph, let $\{X,Y\}$ be a partition of $V(G)$ such that all edges between $X$ and $Y$ exist. Then, there exists a packing of size at least $\min\{1,\frac{|Y|}{\chi'(G[X])}\}|E(G[X])|$. Moreover, all triangles in such packing have two vertices in $X$ and one vertex in $Y$.

Figures (1)

  • Figure 1: A complete 4-partite graph with $a = 4$, $b = 4$, $c = 4$, $d = 3$, and $x = 2$. Packing $P$ is formed by the solid edges, and packing $P'$ is formed by the dashed edges.

Theorems & Definitions (29)

  • Conjecture 1: Tuza81
  • Lemma 2
  • proof
  • Proposition 3: Vizing64, see also Diestel10
  • Lemma 4
  • proof
  • Theorem 5
  • Proposition 6: see also Bonamy2022
  • proof
  • Proposition 7: Feder2012
  • ...and 19 more