Spanning subdivisions in dense digraphs

Hyunwoo Lee

2023-06-11

Abstract:We prove that an $n$-vertex digraph $D$ with minimum semi-degree at least $\left(\frac{1}{2} + \varepsilon \right)n$ and $n = \Omega_{\varepsilon}(m)$ contains a subdivision of all $m$-arc digraphs. This is the best possible and settles a conjecture raised by Pavez-Singé in a stronger form.

Combinatorics

What problem does this paper attempt to address?

Spanning $H$-subdivisions and perfect $H$-subdivision tilings in dense digraphs

Yangyang Cheng,Zhilan Wang,Jin Yan

2024-11-12

Abstract:Given a digraph $H$, we say a digraph $H^\prime$ is an $H$-subdivision if $H^\prime$ is obtained from $H$ by replacing one or more arcs from $H$ with internally vertex-disjoint path(s). In this paper, we prove that for any digraph $H$ with $h$ arcs and no isolated vertices, there is a constant $C_0>0$ such that the following hold. $(1)$ For any integer $C\geq C_0$ and every digraph $D$ on $n\geq Ch$ vertices, if the minimum in- and out-degree of $D$ is at least $n/2$, then it contains an $H$-subdivision covering all vertices of $D$. $(2)$ For any integer partition $n=n_1+\cdots+n_m$ such that the sum of the $n_i$ less than $\alpha n$ is no more than $\beta n$, if a digraph $D$ has the order $n\geq Cm$ and the minimum in- and out-degree at least $\sum_{i=1}^m\lceil\frac{n_i}{2}\rceil$, then it contains $m$ disjoint $H$-subdivisions, where the order of these $H$-subdivisions is $n_1, \ldots, n_m$, respectively. The result of $(1)$ settles the conjecture raised by Pavez-Singé \cite{Pavez} in a stronger form, and ameliorate the result of Lee \cite{Lee}. Also, the conclusion of $(2)$ partly answers of the conjecture of Lee \cite{Lee1} and generalizes the recent work of Lee \cite{Lee1}.

Combinatorics
Spanning subdivisions in Dirac graphs

Matías Pavez-Signé

2023-09-12

Abstract:We show that for every $n\in\mathbb N$ and $\log n\le d\le n$, if a graph $G$ has $N=\Theta(dn)$ vertices and minimum degree $(1+o(1))\frac{N}{2}$, then it contains a spanning subdivision of every $n$-vertex $d$-regular graph.

Combinatorics
On a variant of dichromatic number for digraphs with prescribed sets of arcs

O-joung Kwon,Xiaopan Lian

2023-07-12

Abstract:In this paper, we consider a variant of dichromatic number on digraphs with prescribed sets of arcs. Let $D$ be a digraph and let $Z_1, Z_2$ be two sets of arcs in $D$. For a subdigraph $H$ of $D$, let $A(H)$ denote the set of all arcs of $H$. Let $\mu(D, Z_1, Z_2)$ be the minimum number of parts in a vertex partition $\mathcal{P}$ of $D$ such that for every $X\in \mathcal{P}$, the subdigraph of $D$ induced by $X$ contains no directed cycle $C$ with $|A(C)\cap Z_1|\neq |A(C)\cap Z_2|$. For $Z_1=A(D)$ and $Z_2=\emptyset$, $\mu(D, Z_1, Z_2)$ is equal to the dichromatic number of $D$. We prove that for every digraph $F$ and every tuple $(a_e,b_e,r_e, q_e)$ of integers with $q_e\ge 2$ and $\gcd(a_e,q_e)=\gcd(b_e,q_e)=1$ for each arc $e$ of $F$, there exists an integer $N$ such that if $\mu(D, Z_1, Z_2)\ge N$, then $D$ contains a subdigraph isomorphic to a subdivision of $F$ in which each arc $e$ of $F$ is subdivided into a directed path~$P_e$ such that~$a_e|A(P_e)\cap Z_1|+b_e|A(P_e)\cap Z_2|\equiv {r_e}\pmod {q_e}$. This generalizes a theorem of Steiner [Subdivisions with congruence constraints in digraphs of large chromatic number, <a class="link-https" data-arxiv-id="2208.06358" href="https://arxiv.org/abs/2208.06358">arXiv:2208.06358</a>] which corresponds to the case when $(a_e, b_e, Z_1, Z_2)=(1, 1, A(D), \emptyset)$.

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
Digraph analogues for the Nine Dragon Tree Conjecture

Hui Gao,Daqing Yang

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

2022-05-05

Abstract:The fractional arboricity of a digraph $D$, denoted by $\gamma(D)$, is defined as $\gamma(D)= \max_{H \subseteq D, |V(H)| >1} \frac {|A(H)|} {|V(H)|-1}$. Frank in [Covering branching, Acta Scientiarum Mathematicarum (Szeged) 41 (1979), 77-81] proved that a digraph $D$ decomposes into $k$ branchings, if and only if $\Delta^{-}(D) \leq k$ and $\gamma(D) \leq k$. In this paper, we study digraph analogues for the Nine Dragon Tree Conjecture. We conjecture that, for positive integers $k$ and $d$, if $D$ is a digraph with $\gamma(D) \leq k + \frac{d-k}{d+1}$ and $\Delta^{-}(D) \leq k+1$, then $D$ decomposes into $k + 1$ branchings $B_{1}, \ldots, B_{k}, B_{k+1}$ with $\Delta^{+}(B_{k+1}) \leq d$. This conjecture, if true, is a refinement of Frank's characterization. A series of acyclic bipartite digraphs is also presented to show the bound of $\gamma(D)$ given in the conjecture is best possible. We prove our conjecture for the cases $d \leq k$. As more evidence to support our conjecture, we prove that if $D$ is a digraph with the maximum average degree $mad(D)$ $\leq$ $2k + \frac{2(d-k)}{d+1}$ and $\Delta^{-}(D) \leq k+1$, then $D$ decomposes into $k + 1$ pseudo-branchings $C_{1}, \ldots, C_{k}, C_{k+1}$ with $\Delta^{+}(C_{k+1}) \leq d$.

Combinatorics
Balanced subdivisions of a large clique in graphs with high average degree

Yan Wang

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

2023-02-08

Abstract:In 1984, Thomassen conjectured that for every constant $k \in \mathbb{N}$, there exists $d$ such that every graph with average degree at least $d$ contains a balanced subdivision of a complete graph on $k$ vertices, i.e. a subdivision in which each edge is subdivided the same number of times. Recently, Liu and Montgomery confirmed Thomassen's conjecture. We show that for every constant $0<c<1/2$, every graph with average degree at least $d$ contains a balanced subdivision of a complete graph of size at least $\Omega(d^{c})$. Note that this bound is almost optimal. Moreover, we show that every sparse expander with minimum degree at least $d$ contains a balanced subdivision of a complete graph of size at least $\Omega(d)$.

Combinatorics
Subgraphs with a positive minimum semidegree in digraphs with large outdegree

Andrzej Grzesik,Vojtech Rodl,Jan Volec

2024-08-12

Abstract:We prove that every $n$-vertex directed graph $G$ with the minimum outdegree $\delta^+(G) = d$ contains a subgraph $H$ satisfying \[ \min\left\{\delta^+(H), \delta^-(H) \right\} \ge \frac{d(d+1)}{2n} \,.\] We also show that if $d = o(n)$ then this bound is asymptotically best possible.

Combinatorics
Tight minimum degree conditions for apex-outerplanar minors and subdivisions in graphs and digraphs

Chun-Hung Liu,Youngho Yoo

2024-03-18

Abstract:Motivated by Hadwiger's conjecture and related problems for list-coloring, we study graphs $H$ for which every graph with minimum degree at least $|V(H)|-1$ contains $H$ as a minor. We prove that a large class of apex-outerplanar graphs satisfies this property. Our result gives the first examples of such graphs whose vertex cover numbers are significantly larger than half of the number of its vertices, which breaks a barrier for attacking related coloring problems via extremal functions, and recovers all known such graphs that have arbitrarily large maximum degree. Our proof can be adapted to directed graphs to show that if $\vec H$ is the digraph obtained from a directed cycle or an in-arborescence by adding an apex source, then every digraph with minimum out-degree $|V(\vec H)|-1$ contains $\vec H$ as a subdivision or a butterfly minor respectively. These results provide the optimal upper bound for the chromatic number and dichromatic number of graphs and digraphs that do not contain the aforementioned graphs or digraphs as a minor, butterfly minor and a subdivision, respectively. Special cases of our results solve an open problem of Aboulker, Cohen, Havet, Lochet, Moura and Thomassé and strengthen results of Gishboliner, Steiner and Szabó.

Combinatorics
Approximately Packing Dijoins via Nowhere-Zero Flows

Gérard Cornuéjols,Siyue Liu,R. Ravi

2023-11-08

Abstract:In a digraph, a dicut is a cut where all the arcs cross in one direction. A dijoin is a subset of arcs that intersects each dicut. Woodall conjectured in 1976 that in every digraph, the minimum size of a dicut is equal to the maximum number of disjoint dijoins. However, prior to our work, it was not even known whether at least $3$ disjoint dijoins exist in a digraph whose minimum dicut size is arbitrarily large. By building connections with nowhere-zero (circular) $k$-flows, we prove that every digraph with minimum dicut size $\tau$ contains $\frac{\tau}{k}$ disjoint dijoins if the underlying undirected graph admits a nowhere-zero (circular) $k$-flow. The existence of nowhere-zero $6$-flows in $2$-edge-connected graphs (Seymour 1981) directly leads to the existence of $\frac{\tau}{6}$ disjoint dijoins in any digraph with minimum dicut size $\tau$, which can be found in polynomial time as well. The existence of nowhere-zero circular $(2+\frac{1}{p})$-flows in $6p$-edge-connected graphs (Lovász et al 2013) directly leads to the existence of $\frac{\tau p}{2p+1}$ disjoint dijoins in any digraph with minimum dicut size $\tau$ whose underlying undirected graph is $6p$-edge-connected.

Combinatorics
Various Bounds on the Minimum Number of Arcs in a $k$-Dicritical Digraph

Pierre Aboulker,Quentin Vermande

DOI: https://doi.org/10.37236/11549

2024-01-26

The Electronic Journal of Combinatorics

Abstract:The dichromatic number $\vec{\chi}(G)$ of a digraph $G$ is the least integer $k$ such that $G$ can be partitioned into $k$ acyclic digraphs. A digraph is $k$-dicritical if $\vec{\chi}(G) = k$ and each proper subgraph $H$ of $G$ satisfies $\vec{\chi}(H) \leq k-1$. We prove various bounds on the minimum number of arcs in a $k$-dicritical digraph, a structural result on $k$-dicritical digraphs and a result on list-dicolouring. We characterise $3$-dicritical digraphs $G$ with $(k-1)|V(G)| + 1$ arcs. For $k \geq 4$, we characterise $k$-dicritical digraphs $G$ on at least $k+1$ vertices and with $(k-1)|V(G)| + k-3$ arcs, generalising a result of Dirac. We prove that, for $k \geq 5$, every $k$-dicritical digraph $G$ has at least $(k-\frac 1 2 - \frac 1 {k-1}) |V(G)| - k(\frac 1 2 - \frac 1 {k-1})$ arcs, which is the best known lower bound. We prove that the number of connected components induced by the vertices of degree $2(k-1)$ of a $k$-dicritical digraph is at most the number of connected components in the rest of the digraph, generalising a result of Stiebitz. Finally, we generalise a Theorem of Thomassen on list-chromatic number of undirected graphs to list-dichromatic number of digraphs.

mathematics, applied
Twin-width of subdivisions of multigraphs

Jungho Ahn,Debsoumya Chakraborti,Kevin Hendrey,Sang-il Oum

2024-06-04

Abstract:For each $d\leq3$, we construct a finite set $F_d$ of multigraphs such that for each graph $H$ of girth at least $5$ obtained from a multigraph $G$ by subdividing each edge at least two times, $H$ has twin-width at most $d$ if and only if $G$ has no minor in $F_d$. This answers a question of Bergé, Bonnet, and Déprés asking for the structure of graphs $G$ such that each long subdivision of $G$ has twin-width $4$. As a corollary, we show that the $7\times7$ grid has twin-width $4$, which answers a question of Schidler and Szeider.

Combinatorics,Discrete Mathematics
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
Arc‐disjoint out‐branchings and in‐branchings in semicomplete digraphs

J. Bang‐Jensen,Y. Wang

DOI: https://doi.org/10.1002/jgt.23072

2024-01-04

Journal of Graph Theory

Abstract:An out‐branching B u + (in‐branching B u − ) in a digraph D is a connected spanning subdigraph of D in which every vertex except the vertex u , called the root, has in‐degree (out‐degree) one. It is well known that there exists a polynomial algorithm for deciding whether a given digraph has k arc‐disjoint out‐branchings with prescribed roots (k is part of the input). In sharp contrast to this, it is already NP‐complete to decide if a digraph has one out‐branching which is arc‐disjoint from some in‐branching. A digraph is semicomplete if it has no pair of nonadjacent vertices. A tournament is a semicomplete digraph without directed cycles of length 2. In this paper we give a complete classification of semicomplete digraphs that have an out‐branching B u + which is arc‐disjoint from some in‐branching B v − where u , v are prescribed vertices of D . Our characterization, which is surprisingly simple, generalizes a complicated characterization for tournaments from 1991 by the first author and our proof implies the existence of a polynomial algorithm for checking whether a given semicomplete digraph has such a pair of branchings for prescribed vertices u , v and construct a solution if one exists. This confirms a conjecture of Bang‐Jensen for the case of semicomplete digraphs.

mathematics
Digraph Colouring and Arc-Connectivity

Pierre Aboulker,Guillaume Aubian,Pierre Charbit

2023-09-13

Abstract:The dichromatic number $\vec\chi(D)$ of a digraph $D$ is the minimum size of a partition of its vertices into acyclic induced subgraphs. We denote by $\lambda(D)$ the maximum local edge connectivity of a digraph $D$. Neumann-Lara proved that for every digraph $D$, $\vec\chi(D) \leq \lambda(D) + 1$. In this paper, we characterize the digraphs $D$ for which $\vec\chi(D) = \lambda(D) + 1$. This generalizes an analogue result for undirected graph proved by Stiebitz and Toft as well as the directed version of Brooks' Theorem proved by Mohar. Along the way, we introduce a generalization of Hajós join that gives a new way to construct families of dicritical digraphs that is of independent interest.

Combinatorics,Discrete Mathematics
Arc-disjoint in- and out-branchings in semicomplete split digraphs

Jiangdong Ai,Yiming Hao,Zhaoxiang Li,Qi Shao

2024-10-16

Abstract:An \emph{out-tree (in-tree)} is an oriented tree where every vertex except one, called the \emph{root}, has in-degree (out-degree) one. An \emph{out-branching $B^+_u$ (in-branching $B^-_u$)} of a digraph $D$ is a spanning out-tree (in-tree) rooted at $u$. A \emph{good $(u,v)$-pair} in $D$ is a pair of branchings $B^+_u, B^-_v$ which are arc-disjoint. Thomassen proved that deciding whether a digraph has any good pair is NP-complete. A \emph{semicomplete split digraph} is a digraph where the vertex set is the disjoint union of two non-empty sets, $V_1$ and $V_2$, such that $V_1$ is an independent set, the subdigraph induced by $V_2$ is semicomplete, and every vertex in $V_1$ is adjacent to every vertex in $V_2$. In this paper, we prove that every $2$-arc-strong semicomplete split digraph $D$ contains a good $(u, v)$-pair for any choice of vertices $u, v$ of $D$, thereby confirming a conjecture by Bang-Jensen and Wang [Bang-Jensen and Wang, J. Graph Theory, 2024].

Combinatorics
Spanning tree-connected subgraphs with small degrees

Morteza Hasanvand

2024-08-22

Abstract:Let $G$ be a graph with a spanning subgraph $F$, let $m$ be a positive integer, and let $f$ be a positive integer-valued function on $V(G)$. In this paper, we show that if for all $S\subseteq V(G)$, $$\Omega_m(G\setminus S)\le \sum_{v\in S}\big(f(v)-2m\big)+m+\Omega_m(G[S]),$$ then $G$ has a spanning $m$-tree-connected subgraph $H$ containing $F$ such that for each vertex $ v$, $d_H(v)\le f(v)+\max\{0,d_F(v)-m\}$, where $G[S]$ denotes the induced subgraph of $G$ with the vertex set $S$ and $\Omega_m(G_0)$ is a parameter to measure $m$-tree-connectivity of a given graph $G_0$. By applying this result, we show that every $k$-edge-connected graph $G$ with $k\ge 2m$ has a spanning $m$-tree-connected subgraph $H$ such that $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-2m)\big\rceil+2m$ for each $v\in V(H)$; moreover, if $G$ is $k$-tree-connected and $k\ge m$, then $G$ has a spanning $m$-tree-connected subgraph $H$ such that $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-m)\big\rceil+m$ for each $v\in V(H)$. As a consequence, we conclude that every $(r-2m)$-edge-connected graph with $r\ge 4m$ admits a spanning $m$-tree-connected subgraph with maximum degree at most $3m$. Next, we prove that a graph $G$ admits a spanning $m$-tree-connected subgraph $H$ satisfying $\Delta(H) \le 2m+1$, if for all $S\subseteq V(G)$, $$ \omega(G\setminus S)+\small {\frac{m+1}{2}}\, iso(G\setminus S) \le \frac{1}{m}|S|+1,$$ where $\omega(G\setminus S)$ and $iso(G\setminus S)$ denote the number of components and the number of isolated vertices of $G\setminus S$, respectively. As a consequence, we conclude that every $m(n-1)$-connected $K_{1, n}$-free simple graph with a sufficiently large minimum degree and $n\ge 3$ admits a spanning $m$-tree-connected subgraph with maximum degree at most $2m+1$.

Combinatorics
Large Degree Vertices in Longest Cycles of Graphs, II

Binlong Li,Liming Xiong,Jun Yin

DOI: https://doi.org/10.5614/ejgta.2019.7.2.7

2015-01-01

Discussiones Mathematicae Graph Theory

Abstract:In this paper, we consider the least integer d such that every k-connected graph G of order n (and of independent number α) has a longest cycle containing all vertices of degree at least d. We completely determine the d when k = 2. We propose a conjecture for those k-connected graph, where k ≥ 3.
Counting spanning subgraphs in dense hypergraphs

Richard Montgomery,Matías Pavez-Signé

DOI: https://doi.org/10.1017/S0963548324000178

2023-09-12

Abstract:We give a simple method to estimate the number of distinct copies of some classes of spanning subgraphs in hypergraphs with high minimum degree. In particular, for each $k\geq 2$ and $1\leq \ell\leq k-1$, we show that every $k$-graph on $n$ vertices with minimum codegree at least $$\cases{\left(\dfrac{1}{2}+o(1)\right)n & if $(k-\ell)\mid k$,\\ & \\ \left(\dfrac{1}{\lceil \frac{k}{k-\ell}\rceil(k-\ell)}+o(1)\right)n & if $(k-\ell)\nmid k$,}$$ contains $\exp(n\log n-\Theta(n))$ Hamilton $\ell$-cycles as long as $(k-\ell)\mid n$. When $(k-\ell)\mid k$ this gives a simple proof of a result of Glock, Gould, Joos, Kühn and Osthus, while, when $(k-\ell)\nmid k$ this gives a weaker count than that given by Ferber, Hardiman and Mond or, when $\ell<k/2$, by Ferber, Krivelevich and Sudakov, but one that holds for an asymptotically optimal minimum codegree bound.

Combinatorics
Linear arboricity of graphs with large minimum degree

Yuping Gao,Songling Shan

2024-05-29

Abstract:In 1980, Akiyama, Exoo, and Harary conjectured that any graph $G$ can be decomposed into at most $\lceil(\Delta(G)+1)/2\rceil$ linear forests. We confirm the conjecture for sufficiently large graphs with large minimum degree. Precisely, we show that for any given $0<\varepsilon <1$, there exists $n_0 \in \mathbb{N}$ for which the following statement holds: If $G$ is a graph on $n\ge n_0$ vertices of minimum degree at least $(1+\varepsilon )n/2$, then $G$ can be decomposed into at most $\lceil(\Delta(G)+1)/2\rceil$ linear forests.

Combinatorics

Spanning subdivisions in dense digraphs

Spanning $H$-subdivisions and perfect $H$-subdivision tilings in dense digraphs

Spanning subdivisions in Dirac graphs

On a variant of dichromatic number for digraphs with prescribed sets of arcs

Subdivisions in dicritical digraphs with large order or digirth

Digraph analogues for the Nine Dragon Tree Conjecture

Balanced subdivisions of a large clique in graphs with high average degree

Subgraphs with a positive minimum semidegree in digraphs with large outdegree

Tight minimum degree conditions for apex-outerplanar minors and subdivisions in graphs and digraphs

Approximately Packing Dijoins via Nowhere-Zero Flows

Various Bounds on the Minimum Number of Arcs in a $k$-Dicritical Digraph

Twin-width of subdivisions of multigraphs

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

Arc‐disjoint out‐branchings and in‐branchings in semicomplete digraphs

Digraph Colouring and Arc-Connectivity

Arc-disjoint in- and out-branchings in semicomplete split digraphs

Spanning tree-connected subgraphs with small degrees

Large Degree Vertices in Longest Cycles of Graphs, II

Counting spanning subgraphs in dense hypergraphs

Linear arboricity of graphs with large minimum degree