Oriented Trees in Digraphs without Oriented $4$-cycles

Maya Stein,Ana Trujillo-Negrete

2024-11-21

Abstract:We prove that if $D$ is a digraph of maximum outdegree and indegree at least $k$, and minimum semidegree at least $k/2$ that contains no oriented $4$-cycles, then $D$ contains each oriented tree $T$ with~$k$ arcs. This can be slightly improved if $T$ is either antidirected or an arborescence.

Combinatorics

What problem does this paper attempt to address?

Counting oriented trees in digraphs with large minimum semidegree

Felix Joos,Jonathan Schrodt

2024-07-24

Abstract:Let $T$ be an oriented tree on $n$ vertices with maximum degree at most $e^{o(\sqrt{\log n})}$. If $G$ is a digraph on $n$ vertices with minimum semidegree $\delta^0(G)\geq(\frac12+o(1))n$, then $G$ contains $T$ as a spanning tree, as recently shown by Kathapurkar and Montgomery (in fact, they only require maximum degree $o(n/\log n)$). This generalizes the corresponding result by Komlós, Sárközy and Szemerédi for graphs. We investigate the natural question how many copies of $T$ the digraph $G$ contains. Our main result states that every such $G$ contains at least $|Aut(T)|^{-1}(\frac12-o(1))^nn!$ copies of $T$, which is optimal. This implies the analogous result in the undirected case.

Combinatorics
Oriented trees and paths in digraphs

Maya Stein

2024-05-24

Abstract:Which conditions ensure that a digraph contains all oriented paths of some given length, or even a all oriented trees of some given size, as a subgraph? One possible condition could be that the host digraph is a tournament of a certain order. In arbitrary digraphs and oriented graphs, conditions on the chromatic number, on the edge density, on the minimum outdegree and on the minimum semidegree have been proposed. In this survey, we review the known results, and highlight some open questions in the area.

Combinatorics
Antidirected trees in dense digraphs

Maya Stein,Ana Trujillo-Negrete

2024-10-17

Abstract:We show that if $D$ is an $n$-vertex digraph with more than $(k-1)n$ arcs that does not contain any of three forbidden digraphs, then $D$ contains every antidirected tree on $k$ arcs. The forbidden digraphs are those orientations of $K_{2, \lceil k/12\rceil}$ where each of the vertices in the class of size two has either out-degree $0$ or in-degree $0$. This proves a conjecture of Addario-Berry et al. for a broad class of digraphs, and generalises a result for $K_{2, \lfloor k/12\rfloor}$-free graphs by Balasubramanian and Dobson. We also show that every digraph $D$ on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected $k$-arc caterpillar, thus solving the above conjecture for caterpillars. This generalises a result of Perles.

Combinatorics
Oriented trees in $O(k \sqrt{k})$-chromatic digraphs, a subquadratic bound for Burr's conjecture

Stéphane Bessy,Daniel Gonçalves,Amadeus Reinald

2024-03-01

Abstract:In 1980, Burr conjectured that every directed graph with chromatic number $2k-2$ contains any oriented tree of order $k$ as a subdigraph. Burr showed that chromatic number $(k-1)^2$ suffices, which was improved in 2013 to $\frac{k^2}{2} - \frac{k}{2} + 1$ by Addario-Berry et al. We give the first subquadratic bound for Burr's conjecture, by showing that every directed graph with chromatic number $8\sqrt{\frac{2}{15}} k \sqrt{k} + O(k)$ contains any oriented tree of order $k$. Moreover, we provide improved bounds of $\sqrt{\frac{4}{3}} k \sqrt{k}+O(k)$ for arborescences, and $(b-1)(k-3)+3$ for paths on $b$ blocks, with $b\ge 2$.

Combinatorics,Discrete Mathematics
Antidirected subgraphs of oriented graphs

Maya Stein,Camila Zárate-Guerén

2024-01-17

Abstract:We show that for every $\eta>0$ every sufficiently large $n$-vertex oriented graph D of minimum semidegree exceeding $(1 + \eta) k/2$ contains every balanced antidirected tree with $k$ edges and bounded maximum degree, if $k \ge \eta n$. In particular, this asymptotically confirms a conjecture of the first author for long antidirected paths and dense digraphs. Further, we show that in the same setting, D contains every $k$-edge antidirected subdivision of a sufficiently small complete graph, if the paths of the subdivision that have length 1 or 2 span a forest. As a special case, we can find all antidirected cycles of length at most $k$. Finally, we address a conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé for antidirected trees in digraphs. We show that this conjecture is asymptotically true in $n$-vertex oriented graphs for all balanced antidirected trees of bounded maximum degree and of size linear in $n$.

Combinatorics
On the minimum number of arcs in $4$-dicritical oriented graphs

Frédéric Havet,Lucas Picasarri-Arrieta,Clément Rambaud

2024-04-29

Abstract:The dichromatic number $\vec{\chi}(D)$ of a digraph $D$ is the minimum number of colours needed to colour the vertices of a digraph such that each colour class induces an acyclic subdigraph. A digraph $D$ is $k$-dicritical if $\vec{\chi}(D) = k$ and each proper subdigraph $H$ of $D$ satisfies $\vec{\chi}(H) < k$. For integers $k$ and $n$, we define $d_k(n)$ (respectively $o_k(n)$) as the minimum number of arcs possible in a $k$-dicritical digraph (respectively oriented graph). Kostochka and Stiebitz have shown that $d_4(n) \geq \frac{10}{3}n -\frac{4}{3}$. They also conjectured that there is a constant $c$ such that $o_k(n) \geq cd_k(n)$ for $k\geq 3$ and $n$ large enough. This conjecture is known to be true for $k=3$ (Aboulker et al.). In this work, we prove that every $4$-dicritical oriented graph on $n$ vertices has at least $(\frac{10}{3}+\frac{1}{51})n-1$ arcs, showing the conjecture for $k=4$. We also characterise exactly the $k$-dicritical digraphs on $n$ vertices with exactly $\frac{10}{3}n -\frac{4}{3}$ arcs.

Combinatorics,Discrete Mathematics
Long antipaths and anticycles in oriented graphs

Bin Chen,Xinmin Hou,Hongyu Zhou

2024-01-10

Abstract:Let $\delta^{0}(D)$ be the minimum semi-degree of an oriented graph $D$. Jackson (1981) proved that every oriented graph $D$ with $\delta^{0}(D)\geq k$ contains a directed path of length $2k$ when $|V(D)|>2k+2$, and a directed Hamilton cycle when $|V(D)|\le 2k+2$. Stein~(2020) further conjectured that every oriented graph $D$ with $\delta^{0}(D)>k/2$ contains any orientated path of length $k$. Recently, Klimousová and Stein (DM, 2023) introduced the minimum pseudo-semi-degree $\tilde\delta^0(D)$ (a slight weaker than the minimum semi-degree condition as $\tilde\delta^0(D)\ge \delta^0(D))$ and showed that every oriented graph $D$ with $\tilde\delta^{0}(D)\ge (3k-2)/4$ contains each antipath of length $k$ for $k\geq 3$. In this paper, we improve the result of Klimousová and Stein by showing that for all $k\geq 2$, every oriented graph with $\tilde\delta^0(D)\ge(2k+1)/3$ contains either an antipath of length at least $k+1$ or an anticycle of length at least $k+1$. Furthermore, we answer a problem raised by Klimousová and Stein in the negative.

Combinatorics
Subdivisions of Oriented Cycles in Digraphs with Hamiltonian directed path

Abbas Alhakim,Mouhamad El Joubbeh

2024-09-11

Abstract:Cohen et al. conjectured that for every oriented cycle $C$ there exist an integer $f(C)$ such that every strong $f(C)$-chromatic digraph contains a subdivision of $C$. El Joubbeh confirmed this conjecture for Hamiltonian digraphs. Indeed, he showed that every $3n$-chromatic Hamiltonian digraph contains a subdivision of every oriented cycle of order $n$. In this article, we improve this bound to $2n$. Furthermore, we show that, if $D$ is a digraph containing a Hamiltonian directed path with chromatic number at least $12n-5$, then $D$ contains a subdivision of every oriented cycle of order $n$. Note that a digraph containing a Hamiltonian directed path need not be strongly connected. Thus, our current result provides a deeper understanding of the condition that may be needed to fully solve the conjecture.

Combinatorics
On oriented cycles in randomly perturbed digraphs

Igor Araujo,József Balogh,Robert A. Krueger,Simón Piga,Andrew Treglown

2023-10-13

Abstract:In 2003, Bohman, Frieze, and Martin initiated the study of randomly perturbed graphs and digraphs. For digraphs, they showed that for every $\alpha>0$, there exists a constant $C$ such that for every $n$-vertex digraph of minimum semi-degree at least $\alpha n$, if one adds $Cn$ random edges then asymptotically almost surely the resulting digraph contains a consistently oriented Hamilton cycle. We generalize their result, showing that the hypothesis of this theorem actually asymptotically almost surely ensures the existence of every orientation of a cycle of every possible length, simultaneously. Moreover, we prove that we can relax the minimum semi-degree condition to a minimum total degree condition when considering orientations of a cycle that do not contain a large number of vertices of indegree $1$. Our proofs make use of a variant of an absorbing method of Montgomery.

Combinatorics
Oriented spanning trees and stationary distribution of digraphs

Jiang Zhou,Changjiang Bu

DOI: https://doi.org/10.1016/j.aam.2023.102576

2023-07-05

Abstract:By using biclique partitions of digraphs, this paper gives reduction formulas for the number of oriented spanning trees, stationary distribution vector and Kemeny's constant of digraphs. As applications, we give a method for enumerating spanning trees of undirected graphs by vertex degrees and biclique partitions. The biclique partition formula also extends the results of Knuth and Levine from line digraphs to general digraphs.

Combinatorics,Probability
Antipaths in oriented graphs

Tereza Klimošová,Maya Stein

2024-02-06

Abstract:We show that for any natural number $k \ge 1$, any oriented graph $D$ of minimum semidegree at least $(3k- 2)/4$ contains an antidirected path of length $k$. In fact, a slightly weaker condition on the semidegree sequence of $D$ suffices, and as a consequence, we confirm a weakened antidirected path version of a conjecture of Addario-Berry, Havet, Linhares Sales, Thomassé and Reed.

Combinatorics
Cycle Partitions in Dense Regular Digraphs and Oriented Graphs

Allan Lo,Viresh Patel,Mehmet Akif Yıldız

2024-06-08

Abstract:A conjecture of Jackson from 1981 states that every $d$-regular oriented graph on $n$ vertices with $n\leq 4d+1$ is Hamiltonian. We prove this conjecture for sufficiently large $n$. In fact we prove a more general result that for all $\alpha>0$, there exists $n_0=n_0(\alpha)$ such that every $d$-regular digraph on $n\geq n_0$ vertices with $d \geq \alpha n $ can be covered by at most $n/(d+1)$ vertex-disjoint cycles, and moreover that if $G$ is an oriented graph, then at most $n/(2d+1)$ cycles suffice.

Combinatorics
Arbitrary $H$-linked oriented graphs

Jia Zhou,Jin Yan

2024-07-09

Abstract:Suppose that $D$ is a digraph, and $H$ is a multi-digraph on $k$ vertices with $q$ arcs. Let $\mathcal{P}(D)$ be the set of paths in a digraph $D$. An $H$-subdivision $(f,g)$ in a digraph $D$ is a pair of bijections $f : V(H)\rightarrow V(D)$ and $g : A(H) \rightarrow \mathcal{P}(D)$ such that for every arc $uv\in A(H)$, $g(uv)$ is a path from $f(u)$ to $f (v)$, and distinct arcs map into internally vertex disjoint paths in $D$. Further, $D$ is arbitrary $H$-linked if any $k$ distinct vertices in $D$ can be extended to an $H$-subdivision $(f,g)$, and the length of each subdivision path can be specified as a number of at least four. In this paper, we prove that there exists a positive integer $n_0 = n_0(k,q)$ such that if $D$ is an oriented graph of order $n\geq n_0$ with minimum semi-degree at least $(3n+3k+6q-3)/8$, then $D$ is arbitrary $H$-linked. This minimum semi-degree is sharp. Also, we refine the bounds on the semi-degree of sufficiently large arbitrary $k$-linked oriented graphs, sufficiently large arbitrary $l$-ordered oriented graphs, and sufficiently large oriented graphs with disjoint cycles of prescribed lengths containing prescribed arcs.

Combinatorics
Randomly perturbed digraphs also have bounded-degree spanning trees

Patryk Morawski,Kalina Petrova

2024-08-20

Abstract:We show that a randomly perturbed digraph, where we start with a dense digraph $D_\alpha$ and add a small number of random edges to it, will typically contain a fixed orientation of a bounded degree spanning tree. This answers a question posed by Araujo, Balogh, Krueger, Piga and Treglown and generalizes the corresponding result for randomly perturbed graphs by Krivelevich, Kwan and Sudakov. More specifically, we prove that there exists a constant $c = c(\alpha, \Delta)$ such that if $T$ is an oriented tree with maximum degree $\Delta$ and $D_\alpha$ is an $n$-vertex digraph with minimum semidegree $\alpha n$, then the graph obtained by adding $cn$ uniformly random edges to $D_\alpha$ will contain $T$ with high probability.

Combinatorics
On the Minimum Number of Arcs in [math]-Dicritical Oriented Graphs

Pierre Aboulker,Thomas Bellitto,Frédéric Havet,Clément Rambaud

DOI: https://doi.org/10.1137/23m1553753

IF: 0.868

2024-06-14

SIAM Journal on Discrete Mathematics

Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 2, Page 1863-1901, June 2024. The dichromatic number [math] of a digraph [math] is the least integer [math] such that [math] can be partitioned into [math] directed acyclic digraphs. A digraph is [math]-dicritical if [math] and each proper subgraph [math] of [math] satisfies [math]. An oriented graph is a digraph with no directed cycle of length 2. For integers [math] and [math], we denote by [math] the minimum number of edges of a [math]-dicritical oriented graph on [math] vertices. The main result of this paper is a proof that [math] together with a construction witnessing that [math] for all [math]. We also give a construction showing that for all sufficiently large [math] and all [math], [math], disproving a conjecture of Hoshino and Kawarabayashi.

mathematics, applied
Hamilton Cycles in Dense Regular Digraphs and Oriented Graphs

Allan Lo,Viresh Patel,Mehmet Akif Yıldız

2023-09-14

Abstract:We prove that for every $\varepsilon > 0$ there exists $n_0=n_0(\varepsilon)$ such that every regular oriented graph on $n > n_0$ vertices and degree at least $(1/4 + \varepsilon)n$ has a Hamilton cycle. This establishes an approximate version of a conjecture of Jackson from 1981. We also establish a result related to a conjecture of Kühn and Osthus about the Hamiltonicity of regular directed graphs with suitable degree and connectivity conditions.

Combinatorics
Alternating paths in oriented graphs with large semidegree

Jozef Skokan,Mykhaylo Tyomkyn

2024-06-06

Abstract:In new progress on conjectures of Stein, and Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, we prove that every oriented graph with all in- and out-degrees greater than 5k/8 contains an alternating path of length k. This improves on previous results of Klimošová and Stein, and Chen, Hou and Zhou.

Combinatorics
Subdivisions in dicritical digraphs with large order or digirth

Lucas Picasarri-Arrieta,Clément Rambaud

2024-05-22

Abstract:Aboulker et al. proved that a digraph with large enough dichromatic number contains any fixed digraph as a subdivision. The dichromatic number of a digraph is the smallest order of a partition of its vertex set into acyclic induced subdigraphs. A digraph is dicritical if the removal of any arc or vertex decreases its dichromatic number. In this paper we give sufficient conditions on a dicritical digraph of large order or large directed girth to contain a given digraph as a subdivision. In particular, we prove that (i) for every integers $k,\ell$, large enough dicritical digraphs with dichromatic number $k$ contain an orientation of a cycle with at least $\ell$ vertices; (ii) there are functions $f,g$ such that for every subdivision $F^*$ of a digraph $F$, digraphs with directed girth at least $f(F^*)$ and dichromatic number at least $g(F)$ contain a subdivision of $F^*$, and if $F$ is a tree, then $g(F)=|V(F)|$; (iii) there is a function $f$ such that for every subdivision $F^*$ of $TT_3$ (the transitive tournament on three vertices), digraphs with directed girth at least $f(F^*)$ and minimum out-degree at least $2$ contain $F^*$ as a subdivision.

Combinatorics,Discrete Mathematics
Blow-ups and extensions of trees in tournaments

Pierre Aboulker,Frédéric Havet,William Lochet,Raul Lopes,Lucas Picasarri-Arrieta,Clément Rambaud

2024-10-31

Abstract:A class of acyclic digraphs $\mathscr{C}$ is linearly unavoidable if there exists a constant $c$ such that every digraph $D\in \mathscr{C}$ is contained in all tournaments of order $c\cdot |V(D)|$. The class of all acyclic digraphs is not linearly avoidable, and Fox, He, and Widgerson recently showed that this is not even the case for acyclic digraphs with bounded maximum degree. On the positive side, Thomason and Häggkvist proved that the class of oriented trees is linearly unavoidable. In this work, we generalize this result to acyclic digraphs obtained from an oriented tree by adding at most $k$ vertices, and $k$-blow-ups of oriented trees, for every fixed integer $k$. More precisely, we show that if $D$ is obtained from an oriented tree $F$ of order $n$ by adding $k$ universal vertices, then $D$ is contained in every tournament of order $2\cdot 3^{(k+1)(2k+1)} \cdot n$; and if $D$ is obtained from $F$ by replacing each vertex $u$ by an independent set $X_u$ of size $k$ and every arc $uv$ by all possible arcs from $X_u$ to $X_v$, then $D$ is contained in every tournament of order $2^{10+18k}k \cdot n$.

Combinatorics
Every toroidal graph without triangles adjacent to $5$-cycles is DP-$4$-colorable

Tao Wang

DOI: https://doi.org/10.48550/arXiv.1803.01197

2019-08-14

Abstract:DP-coloring, also known as correspondence coloring, is introduced by Dvo{ř}{á}k and Postle. It is a generalization of list coloring. In this paper, we show that every connected toroidal graph without triangles adjacent to $5$-cycles has minimum degree at most three unless it is a 2-connected $4$-regular graph with Euler characteristic $\epsilon(G) = 0$. Consequently, every toroidal graph without triangles adjacent to $5$-cycles is DP-$4$-colorable. In the final, we show that every planar graph without two certain subgraphs is DP-$4$-colorable. As immediate consequences, (i) every planar graph without $3$-cycles adjacent to $4$-cycles is DP-$4$-colorable; (ii) every planar graph without $3$-cycles adjacent to $5$-cycles is DP-$4$-colorable; (iii) every planar graph without $4$-cycles adjacent to $5$-cycles is DP-$4$-colorable.

Combinatorics,Discrete Mathematics

Oriented Trees in Digraphs without Oriented $4$-cycles

Counting oriented trees in digraphs with large minimum semidegree

Oriented trees and paths in digraphs

Antidirected trees in dense digraphs

Oriented trees in $O(k \sqrt{k})$-chromatic digraphs, a subquadratic bound for Burr's conjecture

Antidirected subgraphs of oriented graphs

On the minimum number of arcs in $4$-dicritical oriented graphs

Long antipaths and anticycles in oriented graphs

Subdivisions of Oriented Cycles in Digraphs with Hamiltonian directed path

On oriented cycles in randomly perturbed digraphs

Oriented spanning trees and stationary distribution of digraphs

Antipaths in oriented graphs

Cycle Partitions in Dense Regular Digraphs and Oriented Graphs

Arbitrary $H$-linked oriented graphs

Randomly perturbed digraphs also have bounded-degree spanning trees

On the Minimum Number of Arcs in [math]-Dicritical Oriented Graphs

Hamilton Cycles in Dense Regular Digraphs and Oriented Graphs

Alternating paths in oriented graphs with large semidegree

Subdivisions in dicritical digraphs with large order or digirth

Blow-ups and extensions of trees in tournaments

Every toroidal graph without triangles adjacent to $5$-cycles is DP-$4$-colorable