arXiv++ Combinatorics

Browse math.CO papers from arXiv

A Bound Below 2.8 for Tuza's Conjecture

Published: 2026-09-12 | Updated: 2026-09-15
Comments: 5 pages. Formalized in Lean 4 with Mathlib: https://github.com/sichen-wang/tuza-lean

Abstract

Let $ν(G)$ be the maximum number of edge-disjoint triangles in a graph $G$ and $τ(G)$ the minimum number of edges meeting every triangle. Tuza conjectured that $τ(G)\le 2ν(G)$. We prove that $τ(G)\le (165/59)ν(G)$. The constant $165/59\approx 2.797$ improves the bound $66/23\approx 2.870$ that Haxell proved in 1999. The key observation is that, for a suitable red-blue coloring, the families left over in Haxell's construction contain every triangle with exactly one red edge. Such a family $\mathcal{F}$ admits an exchange that forces certain red edges to lie in a single triangle once the blue edges of a maximum packing are deleted, which gives $τ(\mathcal{F})\le (8/3)ν(\mathcal{F})$.

BibTeX

Loading...