Sufficient conditions for closed-trailable in digraphs

TL;DR

This paper establishes new sufficient conditions involving degree sums and structural properties of subsets in digraphs that guarantee the existence of closed ditrails through all vertices of a subset, generalizing previous theorems on supereulerianity.

Contribution

It introduces generalized degree and structural conditions that ensure a subset is closed-trailable in digraphs, extending earlier results on supereulerian digraphs.

Findings

If a digraph is S-strong and degree sums meet the threshold, S is closed-trailable.

If a digraph is S-strictly strong with minimum semi-degree and matching number conditions, S is closed-trailable.

The results generalize previous theorems on supereulerianity in digraphs.

Abstract

A digraph $D$ with a subset $S$ of $V(D)$ is called $\boldsymbol{S}${\bf -strong} if for every pair of distinct vertices $u$ and $v$ of $S$, there is a $(u, v)$-dipath and a $(v, u)$-dipath in $D$. We define a digraph $D$ with a subset $S$ of $V(D)$ to be $\boldsymbol{S}${\bf -strictly strong} if there exist two nonadjacent vertices $u,v\in S$ such that $D$ contains a closed ditrail through the vertices $u$ and $v$; and define a subset $S\subseteq V(D)$ to be {\bf closed-trailable} if $D$ contains a closed ditrail through all the vertices of $S$. In this paper, we prove that for a digraph $D$ with $n$ vertices and a subset $S$ of $V(D)$, if $D$ is $S$-strong and if $d(u) + d(v)\geq 2n -3$ for any two nonadjacent vertices $u,v$ of $S$, then $S$ is closed-trailable. This result generalizes the theorem of Bang-Jensen et al. \cite{BaMa14} on supereulerianity. Moveover, we show that for a digraph $D$ and a subset $S$ of $V(D)$, if $D$ is $S$-strictly strong and if $\delta^0(D\langle S\rangle)\geq\alpha'(D\langle S\rangle)>0$, where $\delta^0(D\langle S\rangle)$ is the minimum semi-degree of $D\langle S\rangle$ and $\alpha'(D\langle S\rangle)$ is the matching number of $D\langle S\rangle$, then $S$ is closed-trailable. This result generalizes the theorem of Algefari et al. \cite{AlLa15} on supereulerianity.