graph
34604 papers tagged with this keyword
Facets of the Total Matching Polytope for bipartite graphs
The Total Matching Polytope generalizes the Stable Set Polytope and the Matching Polytope. In this paper, we give the perfect formulation for Trees and we derive two new families of valid inequalities, the balanced biclique inequalities which are always facet-defining and the non-balanced lifted biclique inequalities obtained by a lifting procedure, which are facet-defining for bipartite graphs. Finally, we give a complete description for Complete Bipartite Graphs.
Warning Propagation: stability and subcriticality
Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on a very general class of multi-type random graphs. We prove that under mild assumptions on the random graph model and the stability of the the message limit, Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a multi-type Galton-Watson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$-core paper (JCTB 1996).
The number of cliques in graphs covered by long cycles
Published
• View Publication
• BIB
Let $G$ be a 2-connected $n$-vertex graph and $N_s(G)$ be the total number of $s$-cliques in $G$. Let $k\ge 4$ and $s\ge 2$ be integers. In this paper, we show that if $G$ has an edge $e$ which is not on any cycle of length at least $k$, then $N_s(G)\le r{k-1\choose s}+{t+2\choose s}$, where $n-2=r(k-3)+t$ and $0\le t\le k-4$. This result settles a conjecture of Ma and Yuan and provides a clique version of a theorem of Fan, Wang and Lv. As a direct corollary, if $N_s(G)> r{k-1\choose s}+{t+2\choose s}$, every edge of $G$ is covered by a cycle of length at least $k$.
Describing hereditary properties by forbidden circular orderings
Published
• View Publication
• BIB
Each hereditary property can be characterized by its set of minimal obstructions; these sets are often unknown, or known but infinite. By allowing extra structure it is sometimes possible to describe such properties by a finite set of forbidden objects. This has been studied most intensely when the extra structure is a linear ordering of the vertex set. For instance, it is known that a graph G is $k$-colourable if and only if $V(G)$ admits a linear ordering $\le$ with no vertices $v_1 \le \cdots \le v_{k+1}$ such that $v_i v_{i+1} \in E(G)$ for every $i \in \{ 1, \dots, k \}$. In this paper, we study such characterizations when the extra structure is a circular ordering of the vertex set. We show that the classes that can be described by finitely many forbidden circularly ordered graphs include forests, circular-arc graphs, and graphs with circular chromatic number less than $k$. In fact, every description by finitely many forbidden circularly ordered graphs can be translated to a description by finitely many forbidden linearly ordered graphs. Nevertheless, our observations underscore the fact that in many cases the circular order descriptions are nicer and more natural.
The tropical Manin-Mumford conjecture
Published
• View Publication
• BIB
In analogy with the Manin-Mumford conjecture for algebraic curves, one may ask how a metric graph under the Abel-Jacobi embedding intersects torsion points of its Jacobian. We show that the number of torsion points is finite for metric graphs of genus $g\geq 2$ which are biconnected and have edge lengths which are "sufficiently irrational" in a precise sense. Under these assumptions, the number of torsion points is bounded by $3g-3$. Next we study bounds on the number of torsion points in the image of higher-degree Abel-Jacobi embeddings, which send $d$-tuples of points to the Jacobian. This motivates the definition of the "independent girth" of a graph, a number which is a sharp upper bound for $d$ such that the higher-degree Manin-Mumford property holds.
Ramsey-type results for path covers and path partitions. II. Digraphs
Published
• View Publication
• BIB
Recently, the authors gave Ramsey-type results for the path cover/partition number of graphs. In this paper, we continue the research about them focusing on digraphs, and find a relationship between the path cover/partition number and forbidden structures in digraphs.
Let $D$ be a weakly connected digraph. A family $\mathcal{P}$ of subdigraphs of $D$ is called a {\it path cover} (resp. a {\it path partition}) of $D$ if $\bigcup _{P\in \mathcal{P}}V(P)=V(D)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(D)$) and every element of $\mathcal{P}$ is a directed path. The minimum cardinality of a path cover (resp. a path partition) of $D$ is denoted by ${\rm pc}(D)$ (resp. ${\rm pp}(D)$). In this paper, we find forbidden structure conditions assuring us that ${\rm pc}(D)$ (or ${\rm pp}(D)$) is bounded by a constant.
Faster algorithms for circuits in the Cayley-Menger algebraic matroid
A classical problem in Distance Geometry, with multiple practical applications (in molecular structure determination, sensor network localization etc.) is to find the possible placements of the vertices of a graph with given edge lengths. For minimally rigid graphs, the double-exponential Gröbner Bases algorithm with an elimination order can be applied, in theory, but it is impractical even for small instances. By relating the problem to the computation of circuit polynomials in the Cayley-Menger ideal, we recently proposed an algebraic-combinatorial approach and an elimination algorithm for circuit polynomials [23]. It is guided by a tree structure whose leaves correspond to complete $K_4$ graphs and whose nodes perform algebraic resultant operations. In this paper we uncover further combinatorial structure in the Cayley-Menger algebraic matroid that leads to an extension of our algorithm. In particular, we generalize the combinatorial resultant operation of [23] to take advantage of the non-circuit generators and irreducible polynomials in the Cayley-Menger ideal and use them as leaves of the tree guiding the elimination. Our new method has been implemented in Mathematica and allows previously unobtainable calculations to be carried out. In particular, the $K_{3,3}$-plus-one circuit polynomial, with over one million terms in 10 variables and whose calculation crashed after several days with the previous method of [23], succeeded now in approx. 30 minutes.
Rounds, Color, Parity, Squares
This is a sequel to our paper "Permute, Graph, Map, Derange", involving decomposable combinatorial labeled structures in the exp-log class of type a=1/2, 1, 3/2, 2. As before, our approach is to establish how well existing theory matches experimental data and to raise open questions.
Fast algorithms for solving the Hamilton Cycle problem with high probability
Published
• View Publication
• BIB
We study the Hamilton cycle problem with input a random graph G=G(n,p) in two settings. In the first one, G is given to us in the form of randomly ordered adjacency lists while in the second one we are given the adjacency matrix of G. In each of the settings we give a deterministic algorithm that w.h.p. either it finds a Hamilton cycle or it returns a certificate that such a cycle does not exists, for p > 0. The running times of our algorithms are w.h.p. O(n) and O(n/p) respectively each being best possible in its own setting.
A fast algorithm on average for solving the Hamilton Cycle problem
Published
• View Publication
• BIB
We present CertifyHAM, an algorithm which takes as input a graph G and either finds a Hamilton cycle of G or it outputs that such a cycle does not exists. If G=G(n, p) and p >2000/n then the expected running time of CertifyHAM is O(n/p). This improves upon previous results due to Gurevich and Shelah, Thomason and Alon and Krivelevich.
Symmetrically colored Gaussian graphical models with toric vanishing ideal
Published in SIAM Journal on Applied Algebra and Geometry, Volume 7, Issue 1, March 2023, Pages: 133 - 158
• View Publication
• BIB
A colored Gaussian graphical model is a linear concentration model in which equalities among the concentrations are specified by a coloring of an underlying graph. The model is called RCOP if this coloring is given by the edge and vertex orbits of a subgroup of the automorphism group of the graph. We show that RCOP Gaussian graphical models on block graphs are toric in the space of covariance matrices and we describe Markov bases for them. To this end, we learn more about the combinatorial structure of these models and their connection with Jordan algebras.
Feedback vertex sets in (directed) graphs of bounded degeneracy or treewidth
Published
• View Publication
• BIB
We study the minimum size $f$ of a feedback vertex set in directed and undirected $n$-vertex graphs of given degeneracy or treewidth. In the undirected setting the bound $\frac{k-1}{k+1}n$ is known to be tight for graphs with bounded treewidth $k$ or bounded odd degeneracy $k$. We show that neither of the easy upper and lower bounds $\frac{k-1}{k+1}n$ and $\frac{k}{k+2}n$ can be exact for the case of even degeneracy. More precisely, for even degeneracy $k$ we prove that $f < \frac{k}{k+2}n$ and for every $ε>0$, there exists a $k$-degenerate graph for which $f\geq \frac{3k-2}{3k+4}n -ε$.
For directed graphs of bounded degeneracy $k$, we prove that $f\leq\frac{k-1}{k+1}n$ and that this inequality is strict when $k$ is odd. For directed graphs of bounded treewidth $k\geq 2$, we show that $f \leq \frac{k}{k+3}n$ and for every $ε>0$, there exists a $k$-degenerate graph for which $f\geq \frac{k-2\lfloor\log_2(k)\rfloor}{k+1}n -ε$. Further, we provide several constructions of low degeneracy or treewidth and large $f$.
Tiling multipartite hypergraphs in Quasi-random Hypergraphs
Published
• View Publication
• BIB
Given $k\ge 2$ and two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, an \emph{$F$-factor} in $H$ is a set of vertex disjoint copies of $F$ that together covers the vertex set of $H$. Lenz and Mubayi studied the $F$-factor problems in quasi-random $k$-graphs with minimum degree $Ω(n^{k-1})$. In particular, they constructed a sequence of $1/8$-dense quasi-random $3$-graphs $H(n)$ with minimum degree $Ω(n^2)$ and minimum codegree $Ω(n)$ but with no $K_{2,2,2}$-factor. We prove that if $p>1/8$ and $F$ is a $3$-partite $3$-graph with $f$ vertices, then for sufficiently large $n$, all $p$-dense quasi-random $3$-graphs of order $n$ with minimum codegree $Ω(n)$ and $f\mid n$ have $F$-factors. That is, $1/8$ is the density threshold for ensuring all $3$-partite $3$-graphs $F$-factors in quasi-random $3$-graphs given a minimum codegree condition $Ω(n)$. Moreover, we show that one can not replace the minimum codegree condition by a minimum vertex degree condition. In fact, we find that for any $p\in(0,1)$ and $n\ge n_0$, there exist $p$-dense quasi-random $3$-graphs of order $n$ with minimum degree $Ω(n^2)$ having no $K_{2,2,2}$-factor. In particular, we study the optimal density threshold of $F$-factors for each $3$-partite $3$-graph $F$ in quasi-random $3$-graphs given a minimum codegree condition $Ω(n)$.
Online size Ramsey numbers: Odd cycles vs connected graphs
Published
• View Publication
• BIB
Given two graph families $\mathcal H_1$ and $\mathcal H_2$, a size Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder is trying to force Painter to create as soon as possible a red copy of a graph from $\mathcal H_1$ or a blue copy of a graph from $\mathcal H_2$. The online (size) Ramsey number $\tilde{r}(\mathcal H_1,\mathcal H_2)$ is the smallest number of rounds in the game provided Builder and Painter play optimally. We prove that if $\mathcal H_1$ is the family of all odd cycles and $\mathcal H_2$ is the family of all connected graphs on $n$ vertices and $m$ edges, then $\tilde{r}(\mathcal H_1,\mathcal H_2)\ge \varphi n + m-2\varphi+1$, where $\varphi$ is the golden ratio, and for $n\ge 3$, $m\le (n-1)^2/4$ we have $\tilde{r}(\mathcal H_1,\mathcal H_2)\le n+2m+O(\sqrt{m-n+1})$. We also show that $\tilde{r}(C_3,P_n)\le 3n-4$ for $n\ge 3$. As a consequence we get $2.6n-3\le \tilde{r}(C_3,P_n)\le 3n-4$ for every $n\ge 3$.
Decomposition of planar graphs with forbidden configurations
Published in Discrete Applied Mathematics, 331 (2023) 147-158
• View Publication
• BIB
A $(d,h)$-decomposition of a graph $G$ is an ordered pair $(D, H)$ such that $H$ is a subgraph of $G$ of maximum degree at most $h$ and $D$ is an acyclic orientation of $G-E(H)$ with maximum out-degree at most $d$. In this paper, we prove that for $l \in \{5, 6, 7, 8, 9\}$, every planar graph without $4$- and $l$-cycles is $(2,1)$-decomposable. As a consequence, for every planar graph $G$ without $4$- and $l$-cycles, there exists a matching $M$, such that $G - M$ is $3$-DP-colorable and has Alon-Tarsi number at most $3$. In particular, $G$ is $1$-defective $3$-DP-colorable, $1$-defective $3$-paintable and 1-defective 3-choosable. These strengthen the results in [Discrete Appl. Math. 157~(2) (2009) 433--436] and [Discrete Math. 343 (2020) 111797].
Relaxed DP-3-coloring of planar graphs without some cycles
Published in Bulletin of the Malaysian Mathematical Sciences Society, 45 (2022) 2681--2690
• View Publication
• BIB
Dvořák and Postle introduced the concept of DP-coloring to overcome some difficulties in list coloring. Sittitrai and Nakprasit combined DP-coloring and defective list coloring to define a new coloring -- relaxed DP-coloring. For relaxed DP-coloring, Sribunhung et al. proved that planar graphs without 4- and 7-cycles are DP-(0, 2, 2)-colorable. Li et al. proved that planar graphs without 4, 8-cycles or 4, 9-cycles are DP-(1, 1, 1)-colorable. Lu and Zhu proved that planar graphs without 4, 5-cycles, or 4, 6-cycles, or 4, 7-cycles are DP-(1, 1, 1)-colorable. In this paper, we show that planar graphs without 4, 6-cycles or 4, 8-cycles are DP-(0, 2, 2)-colorable.
Asymptotic spectra of large (grid) graphs with a uniform local structure (part II): numerical applications
Published
• View Publication
• BIB
In the current work we are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $Ω\subset {\mathbb R}^d$, $d\ge 1$. When $Ω=[0,1]$, such graphs include the standard Toeplitz graphs and, for $Ω=[0,1]^d$, the considered class includes $d$-level Toeplitz graphs. In the general case, the underlying sequence of adjacency matrices has a canonical eigenvalue distribution, in the Weyl sense, and it has been shown in the theoretical part of this work that we can associate to it a symbol $\boldsymbol{\mathfrak{f}}$. The knowledge of the symbol and of its basic analytical features provides key information on the eigenvalue structure in terms of localization, spectral gap, clustering, and global distribution. In the present paper, many different applications are discussed and various numerical examples are presented in order to underline the practical use of the developed theory. Tests and applications are mainly obtained from the approximation of differential operators via numerical schemes such as Finite Differences (FDs), Finite Elements (FEs), and Isogeometric Analysis (IgA). Moreover, we show that more applications can be taken into account, since the results presented here can be applied as well to study the spectral properties of adjacency matrices and Laplacian operators of general large graphs and networks, whenever the involved matrices enjoy a uniform local structure.
More relations between $λ$-labeling and Hamiltonian paths with emphasis on line graph of bipartite multigraphs
Published in Bull. Korean Math. Soc. 59 (2022) 119--139
• View Publication
• BIB
This paper deals with the $λ$-labeling and $L(2,1)$-coloring of simple graphs. A $λ$-labeling of a graph $G$ is any labeling of the vertices of $G$ with different labels such that any two adjacent vertices receive labels which differ at least two. Also an $L(2,1)$-coloring of $G$ is any labeling of the vertices of $G$ such that any two adjacent vertices receive labels which differ at least two and any two vertices with distance two receive distinct labels. Assume that a partial $λ$-labeling $f$ is given in a graph $G$. A general question is whether $f$ can be extended to a $λ$-labeling of $G$. We show that the extension is feasible if and only if a Hamiltonian path consistent with some distance constraints exists in the complement of $G$. Then we consider line graph of bipartite multigraphs and determine the minimum number of labels in $L(2,1)$-coloring and $λ$-labeling of these graphs. In fact we obtain easily computable formulas for the path covering number and the maximum path of the complement of these graphs. We obtain a polynomial time algorithm which generates all Hamiltonian paths in the related graphs. A special case is the Cartesian product graph $K_n\Box K_n$ and the generation of $λ$-squares.
On connected components with many edges
Published
• View Publication
• BIB
We prove that if $H$ is a subgraph of a complete multipartite graph $G$, then $H$ contains a connected component $H'$ satisfying $|E(H')||E(G)|\geq |E(H)|^2$. We use this to prove that every three-coloring of the edges of a complete graph contains a monochromatic connected subgraph with at least $1/6$ of the edges. We further show that such a coloring has a monochromatic circuit with a fraction $1/6-o(1)$ of the edges. This verifies a conjecture of Conlon and Tyomkyn. Moreover, for general $k$, we show that every $k$-coloring of the edges of $K_n$ contains a monochromatic connected subgraph with at least $\frac{1}{k^2-k+\frac{5}{4}}\binom{n}{2}$ edges.
First Betti number of the path homology of random directed graphs
Published in J Appl. and Comput. Topology. 8 (2024) 1503-1549
• View Publication
• BIB
Path homology is a topological invariant for directed graphs, which is sensitive to their asymmetry and can discern between digraphs which are indistinguishable to the directed flag complex. In Erdös-Rényi directed random graphs, the first Betti number undergoes two distinct transitions, appearing at a low-density boundary and vanishing again at a high-density boundary. Through a novel, combinatorial condition for digraphs we describe both sparse and dense regimes under which the first Betti number of path homology is zero with high probability. We combine results of Grigor'yan et al., regarding generators for chain groups, with methods of Kahle and Meckes in order to determine regimes under which the first Betti number is positive with high probability. Together, these results describe the gradient of the lower boundary and yield bounds for the gradient of the upper boundary. With a view towards hypothesis testing, we obtain tighter bounds on the probability of observing a positive first Betti number in a high-density digraph of finite size. For comparison, we apply these techniques to the directed flag complex and derive analogous results.