graph
34665 papers tagged with this keyword
The canonical directed tree decomposition and its applications to the directed disjoint paths problem
The canonical tree-decomposition theorem, given by Robertson and Seymour in their seminal graph minors series, turns out to be one of the most important tool in structural and algorithmic graph theory. In this paper, we provide the canonical tree decomposition theorem for digraphs. More precisely, we construct directed tree-decompositions of digraphs that distinguish all their tangles of order $k$, for any fixed integer $k$, in polynomial time. As an application of this canonical tree-decomposition theorem, we provide the following result for the directed disjoint paths problem:
For every fixed $k$ there is a polynomial-time algorithm which, on input $G$, and source and terminal vertices $(s_1, t_1), \dots, (s_k, t_k)$, either
1. determines that there is no set of pairwise vertex-disjoint paths connecting each source $s_i$ to its terminal $t_i$, or
2.finds a half-integral solution, i.e., outputs paths $P_1, \dots, P_k$ such that $P_i$ links $s_i$ to $t_i$, so that every vertex of the graph is contained in at most two paths.
Given known hardness results for the directed disjoint paths problem, our result cannot be improved for general digraphs, neither to fixed-parameter tractability nor to fully vertex-disjoint directed paths. As far as we are aware, this is the first time to obtain a tractable result for the $k$-disjoint paths problem for general digraphs. We expect more applications of our canonical tree-decomposition for directed results.
Extension of Gyarfas-Sumner conjecture to digraphs
Published
• View Publication
• BIB
The dichromatic number of a digraph $D$ is the minimum number of colors needed to color its vertices in such a way that each color class induces an acyclic digraph. As it generalizes the notion of the chromatic number of graphs, it has been a recent center of study. In this work we look at possible extensions of Gyárfás-Sumner conjecture. More precisely, we propose as a conjecture a simple characterization of finite sets $\mathcal F$ of digraphs such that every oriented graph with sufficiently large dichromatic number must contain a member of $\mathcal F$ as an induce subdigraph.
Among notable results, we prove that oriented triangle-free graphs without a directed path of length $3$ are $2$-colorable. If condition of "triangle-free" is replaced with "$K_4$-free", then we have an upper bound of $414$. We also show that an orientation of complete multipartite graph with no directed triangle is 2-colorable. To prove these results we introduce the notion of \emph{nice sets} that might be of independent interest.
On the proportion of transverse-free plane curves
Published
• View Publication
• BIB
We study the asymptotic proportion of smooth plane curves over a finite field $\mathbb{F}_q$ which are tangent to every line defined over $\mathbb{F}_q$. This partially answers a question raised by Charles Favre. Our techniques include applications of Poonen's Bertini theorem and Schrijver's theorem on perfect matchings in regular bipartite graphs. Our main theorem implies that a random smooth plane curve over $\mathbb{F}_q$ admits a transverse $\mathbb{F}_q$-line with very high probability.
Densities of minor-closed graph classes are rational
For a graph class $\mathcal{F}$, let $ex_{\mathcal{F}}(n)$ denote the maximum number of edges in a graph in $\mathcal{F}$ on $n$ vertices. We show that for every proper minor-closed graph class $\mathcal{F}$ the function $ex_{\mathcal{F}}(n) - Δn$ is eventually periodic, where $Δ= \lim_{n \to \infty} ex_{\mathcal{F}}(n)/n$ is the limiting density of $\mathcal{F}$. This confirms a special case of a conjecture by Geelen, Gerards and Whittle. In particular, the limiting density of every proper minor-closed graph class is rational, which answers a question of Eppstein.
As a major step in the proof we show that every proper minor-closed graph class contains a subclass of bounded pathwidth with the same limiting density, confirming a conjecture of the second author.
Finally, we investigate the set of limiting densities of classes of graphs closed under taking topological minors.
Orthogonal Colourings of Tensor Graphs
Published
• View Publication
• BIB
In this paper, perfect k-orthogonal colourings of tensor graphs are studied. First, the problem of determining if a given graph has a perfect 2-orthogonal colouring is reformulated as a tensor subgraph problem. Then, it is shown that if two graphs have a perfect $k$-orthogonal colouring, then so does their tensor graph. This provides an upper bound on the $k$-orthogonal chromatic number for general tensor graphs. Lastly, two other conditions for a tensor graph to have a perfect $k$-orthogonal colouring are given.
Zero-Divisor Graphs of $\mathbb{Z}_n$, their products and $D_n$
Published
• View Publication
• BIB
This paper is an endeavor to discuss some properties of zero-divisor graphs of the ring $\mathbb{Z}_n$, the ring of integers modulo $n$. The zero divisor graph of a commutative ring $R$, is an undirected graph whose vertices are the nonzero zero-divisors of $R$, where two distinct vertices are adjacent if their product is zero. The zero divisor graph of $R$ is denoted by $Γ(R)$. We discussed $Γ(\mathbb{Z}_n)$'s by the attributes of completeness, k-partite structure, complete k-partite structure, regularity, chordality, $γ- β$ perfectness, simplicial vertices. The clique number for arbitrary $Γ(\mathbb{Z}_n)$ was also found. This work also explores related attributes of finite products $Γ(\mathbb{Z}_{n_1}\times\cdots\times\mathbb{Z}_{n_k})$, seeking to extend certain results to the product rings. We find all $Γ(\mathbb{Z}_{n_1}\times\cdots\times\mathbb{Z}_{n_k})$ that are perfect. Likewise, a lower bound of clique number of $Γ(\mathbb{Z}_m\times\mathbb{Z}_n)$ was found. Later, in this paper we discuss some properties of the zero divisor graph of the poset $D_n$, the set of positive divisors of a positive integer $n$ partially ordered by divisibility.
Graph theoretic and algorithmic aspect of the equitable coloring problem in block graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 2, special issue in honour of Maurice Pouzet, Special issues (November 30, 2022) dmtcs:6860
• View Publication
• BIB
An equitable coloring of a graph $G=(V,E)$ is a (proper) vertex-coloring of $G$, such that the sizes of any two color classes differ by at most one. In this paper, we consider the equitable coloring problem in block graphs. Recall that the latter are graphs in which each 2-connected component is a complete graph. The problem remains hard in the class of block graphs. In this paper, we present some graph theoretic results relating various parameters. Then we use them in order to trace some algorithmic implications, mainly dealing with the fixed-parameter tractability of the problem.
A characterization for graphs having strong parity factors
Published
• View Publication
• BIB
A graph $G$ has the \emph{strong parity property} if for every subset $X\subseteq V$ with $|X|$ even, $G$ has a spanning subgraph $F$ with minimum degree at least one such that $d_F(v)\equiv 1\pmod 2$ for all $v\in X$, $d_F(y)\equiv 0\pmod 2$ for all $y\in V(G)-X$. Bujtás, Jendrol and Tuza (On specific factors in graphs, \emph{Graphs and Combin.}, 36 (2020), 1391-1399.) introduced the concept and conjectured that every 2-edge-connected graph with minimum degree at least three has the strong parity property. In this paper, we give a characterization for graphs to have the strong parity property and construct a counterexample to disprove the conjecture proposed by Bujtás, Jendrol and Tuza.
On Turán numbers of the complete $4$-graphs
Published in Discrete Math, vol. 344, no.11, #112544, 2021
• View Publication
• BIB
The Turán number $T(n,α+1,r)$ is the minimum number of edges in an $n$-vertex $r$-graph whose independence number does not exceed $α$. For each $r\geq 2$, there exists $t_*(r)$ such that $T(n,α+1,r) = t_*(r) \: n^r \: α^{1-r} \: (1+o(1))$ as $α/ r \to\infty$ and $n / α\to\infty$. It is known that $t_*(2) = 1/2$, and the conjectured value of $t_*(3)$ is $2/3$. We prove that $t_*(4) < 0.706335\:$.
Unavoidable Induced Subgraphs of Large 2-Connected Graphs
Published
• View Publication
• BIB
Ramsey proved that for every positive integer $n$, every sufficiently large graph contains an induced $K_n$ or $\overline{K}_n$. Among the many extensions of Ramsey's Theorem there is an analogue for connected graphs: for every positive integer $n$, every sufficiently large connected graph contains an induced $K_n$, $K_{1,n}$, or $P_n$. In this paper, we establish an analogue for 2-connected graphs. In particular, we prove that for every integer exceeding two, every sufficiently large 2-connected graph contains one of the following as an induced subgraph: $K_n$, a subdivision of $K_{2,n}$, a subdivision of $K_{2,n}$ with an edge between the two vertices of degree $n$, and a well-defined structure similar to a ladder.
Generalizing Kirchhoff laws for Signed Graphs
Kirchhoff-type Laws for signed graphs are characterized by generalizing transpedances through the incidence-oriented structure of bidirected graphs. The classical $2$-arborescence interpretation of Tutte is shown to be equivalent to single-element Boolean classes of reduced incidence-based cycle covers, called contributors. A generalized contributor-transpedance is introduced using entire Boolean classes that naturally cancel in a graph; classical conservation is proven to be property of the trivial Boolean classes. The contributor-transpedances on signed graphs are shown to produce non-conservative Kirchhoff-type Laws, where every contributor possesses the unique source-sink path property. Finally, the maximum value of a contributor-transpedance is calculated through the signless Laplacian.
Problems and results in Extremal Combinatorics -- IV
Extremal Combinatorics is among the most active topics in Discrete Mathematics, dealing with problems that are often motivated by questions in other areas, including Theoretical Computer Science and Information Theory. This paper contains a collection of problems and results in the area, including solutions or partial solutions to open problems suggested by various researchers. The topics considered here include questions in Extremal Graph Theory, Coding Theory and Social Choice. This is by no means a comprehensive survey of the area, and is merely a collection of problems, results and proofs, which are hopefully interesting. As the title of the paper suggests, this is a sequel of three previous papers of the same flavour. Each section of this paper is essentially self contained, and can be read separately.
Modifying a Graph's Degree Sequence and the Testablity of Degree Sequence Properties
We show that if the degree sequence of a graph $G$ is close in $\ell_1$-distance to a given realizable degree sequence $(d_1,\dots,d_n)$, then $G$ is close in edit distance to a graph with degree sequence $(d_1,\dots,d_n)$. We then use this result to prove that every graph property defined in terms of the degree sequence is testable in the dense graph model with query complexity independent of $n$.
Cut Bounds for Some Weighted Graphs
In communication field, an important issue is to group users and base stations to as many as possible subnetworks satisfying certain interference constraints. These problems are usually formulated as a graph partition problems which minimize some forms of graph cut. Previous research already gave some results about the cut bounds for unweighted regular graph. In this paper, we prove a result about the lower bound for weighted graphs that have some regular properties and show similar results for more general case.
Expansion in Matrix-Weighted Graphs
Published
• View Publication
• BIB
A matrix-weighted graph is an undirected graph with a $k\times k$ positive semidefinite matrix assigned to each edge. There are natural generalizations of the Laplacian and adjacency matrices for such graphs. These matrices can be used to define and control expansion for matrix-weighted graphs. In particular, an analogue of the expander mixing lemma and one half of a Cheeger-type inequality hold for matrix-weighted graphs. A new definition of a matrix-weighted expander graph suggests the tantalizing possibility of families of matrix-weighted graphs with better-than-Ramanujan expansion.
On the signed chromatic number of some classes of graphs
Published
• View Publication
• BIB
A signed graph $(G, σ)$ is a graph $G$ along with a function $σ: E(G) \to \{+,-\}$. A closed walk of a signed graph is positive (resp., negative) if it has an even (resp., odd) number of negative edges, counting repetitions. A homomorphism of a (simple) signed graph to another signed graph is a vertex-mapping that preserves adjacencies and signs of closed walks. The signed chromatic number of a signed graph $(G, σ)$ is the minimum number of vertices $|V(H)|$ of a signed graph $(H, π)$ to which $(G, σ)$ admits a homomorphism.Homomorphisms of signed graphs have been attracting growing attention in the last decades, especially due to their strong connections to the theories of graph coloring and graph minors. These homomorphisms have been particularly studied through the scope of the signed chromatic number. In this work, we provide new results and bounds on the signed chromatic number of several families of signed graphs (planar graphs, triangle-free planar graphs, $K_n$-minor-free graphs, and bounded-degree graphs).
Planar lattice subsets with minimal vertex boundary
Published
• View Publication
• BIB
A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization elucidates the structure of all minimal sets, and we are able to use it to obtain several applications. We characterize uniquely minimal sets of X: those which are congruent to any other minimal set of the same size. We also classify all efficient sets of X: those that have maximal size amongst all such sets with a fixed vertex boundary. We define and investigate the graph G of minimal sets whose vertices are congruence classes of minimal sets of X and whose edges connect vertices which can be represented by minimal sets that differ by exactly one vertex. We prove that G has exactly one infinite component, has infinitely many isolated vertices and has bounded components of arbitrarily large size. Finally, we show that all minimal sets, except one, are connected.
The birth of the strong components
Published
• View Publication
• BIB
Random directed graphs $D(n,p)$ undergo a phase transition around the point $p = 1/n$, and the width of the transition window has been known since the works of Luczak and Seierstad. They have established that as $n \to \infty$ when $p = (1 + μn^{-1/3})/n$, the asymptotic probability that the strongly connected components of a random directed graph are only cycles and single vertices decreases from 1 to 0 as $μ$ goes from $-\infty$ to $\infty$.
By using techniques from analytic combinatorics, we establish the exact limiting value of this probability as a function of $μ$ and provide more properties of the structure of a random digraph around, below and above its transition point. We obtain the limiting probability that a random digraph is acyclic and the probability that it has one strongly connected complex component with a given difference between the number of edges and vertices (called excess). Our result can be extended to the case of several complex components with given excesses as well in the whole range of sparse digraphs.
Our study is based on a general symbolic method which can deal with a great variety of possible digraph families, and a version of the saddle point method which can be systematically applied to the complex contour integrals appearing from the symbolic method. While the technically easiest model is the model of random multidigraphs, in which multiple edges are allowed, and where edge multiplicities are sampled independently according to a Poisson distribution with a fixed parameter $p$, we also show how to systematically approach the family of simple digraphs, where multiple edges are forbidden, and where 2-cycles are either allowed or not.
Our theoretical predictions are supported by numerical simulations, and we provide tables of numerical values for the integrals of Airy functions that appear in this study.
Topology of Clique Complexes of Line Graphs
Published
• View Publication
• BIB
The clique complex of a graph G is a simplicial complex whose simplices are all the cliques of G, and the line graph L(G) of G is a graph whose vertices are the edges of G and the edges of L(G) are incident edges of G. In this article, we determine the homotopy type of the clique complexes of line graphs for several classes of graphs including triangle-free graphs, chordal graphs, complete multipartite graphs, wheel-free graphs, and 4-regular circulant graphs. We also give a closed form formula for the homotopy type of these complexes in several cases.
Spectral Fundamentals and Characterizations of Signed Directed Graphs
Published
• View Publication
• BIB
The spectral properties of signed directed graphs, which may be naturally obtained by assigning a sign to each edge of a directed graph, have received substantially less attention than those of their undirected and/or unsigned counterparts. To represent such signed directed graphs, we use a striking equivalence to $\mathbb{T}_6$-gain graphs to formulate a Hermitian adjacency matrix, whose entries are the unit Eisenstein integers $\exp(kπi/3),$ $k\in \mathbb{Z}_6.$ Many well-known results, such as (gain) switching and eigenvalue interlacing, naturally carry over to this paradigm. We show that non-empty signed directed graphs whose spectra occur uniquely, up to isomorphism, do not exist, but we provide several infinite families whose spectra occur uniquely up to switching equivalence. Intermediate results include a classification of all signed digraphs with rank $2,3$, and a deep discussion of signed digraphs with extremely few (1 or 2) non-negative (eq. non-positive) eigenvalues.