# Spanning eulerian subdigraphs in semicomplete digraphs

## TL;DR

This paper characterizes spanning eulerian subdigraphs in semicomplete digraphs, showing conditions for their existence and avoidance of certain arcs, and introduces bounds on arc-strongness needed for these properties.

## Contribution

It provides new characterizations and bounds for spanning eulerian subdigraphs in semicomplete digraphs, including arc-avoidance and connectivity properties, extending known Hamiltonian cycle results.

## Key findings

- Every 2-arc-strong semicomplete digraph contains a spanning eulerian subdigraph avoiding any arc.
- Characterization of pairs (D,a) where D has a spanning eulerian subdigraph containing or avoiding a specific arc.
- Established bounds on arc-strongness for the existence of spanning eulerian subdigraphs avoiding multiple arcs.

## Abstract

A digraph is eulerian if it is connected and every vertex has its in-degree equal to its out-degree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. In this paper, we first characterize the pairs $(D,a)$ of a semicomplete digraph $D$ and an arc $a$ such that $D$ has a spanning eulerian subdigraph containing $a$. In particular, we show that if $D$ is $2$-arc-strong, then every arc is contained in a spanning eulerian subdigraph. We then characterize the pairs $(D,a)$ of a semicomplete digraph $D$ and an arc $a$ such that $D$ has a spanning eulerian subdigraph avoiding $a$. In particular, we prove that every $2$-arc-strong semicomplete digraph has a spanning eulerian subdigraph avoiding any prescribed arc. We also prove the existence of a (minimum) function $f(k)$ such that every $f(k)$-arc-strong semicomplete digraph contains a spanning eulerian subdigraph avoiding any prescribed set of $k$ arcs: we prove $f(k)\leq (k+1)^2/4 +1$, conjecture $f(k)=k+1$ and establish this conjecture for $k\leq 3$ and when the $k$ arcs that we delete form a forest of stars. A digraph $D$ is eulerian-connected if for any two distinct vertices $x,y$, the digraph $D$ has a spanning $(x,y)$-trail. We prove that every $2$-arc-strong semicomplete digraph is eulerian-connected. All our results may be seen as arc analogues of well-known results on hamiltonian cycles in semicomplete digraphs.