English

Long-eared digraphs

Combinatorics 2025-04-03 v1

Abstract

Let HH be a subdigraph of a digraph DD. An ear of HH in DD is a path or a cycle in DD whose ends lie in HH but whose internal vertices do not. An \emph{ear decomposition} of a strong digraph DD is a nested sequence (D0,D1,,Dk)(D_0,D_1,\ldots , D_k) of strong subdigraphs of DD such that: 1) D0D_0 is a cycle, 2) Di+1=DiPiD_{i+1} = D_i\cup P_i, where PiP_i is an ear of DiD_i in DD, for every i{0,1,,k1}i\in \{0,1,\ldots,k-1\}, and 3) Dk=DD_k=D. In this work, the LEi\mathcal{LE}_i is defined as the family of strong digraphs, with an ear decomposition such that every ear has a length of at least i1i\geq 1. It is proved that Seymour's second Neighborhood Conjecture and the Laborde, Payan, and Soung conjecture, are true in the family LE2\mathcal{LE}_2, and the Small quasi-kernel conjecture is true for digraphs in LE3\mathcal{LE}_3. Also, some sufficient conditions for a strong nonseparable digraph in LE2\mathcal{LE}_2 with a kernel to imply that the previous (following) subdigraph in the ear decomposition has a kernel too, are presented. It is proved that digraphs in LE2\mathcal{LE}_2 have a chromatic number at most 3, and a dichromatic number 2 or 3. Finally, the oriented chromatic number of asymmetrical digraphs in LE3\mathcal{LE}_3 is bounded by 6, and it is shown that the oriented chromatic number of asymmetrical digraphs in LE2\mathcal{LE}_2 is not bounded.

Cite

@article{arxiv.2504.01918,
  title  = {Long-eared digraphs},
  author = {Germán Benítez-Bobadilla and Hortensia Galeana-Sánchez and César Hernández-Cruz},
  journal= {arXiv preprint arXiv:2504.01918},
  year   = {2025}
}
R2 v1 2026-06-28T22:44:12.397Z