graph
34665 papers tagged with this keyword
The categorical graph minor theorem
We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour graph minor theorem. In addition, we generalize Sam and Snowden's Gröbner theory of categories to the setting of pairs consisting of a category along with a functor to sets, and we apply this theory to the edge functor on the graph minor category. As an application, we study homology groups of unordered configuration spaces of graphs, improving upon various finite generation results in this subject.
A lower bound on the saturation number, and graphs for which it is sharp
Published
• View Publication
• BIB
Let $H$ be a fixed graph. We say that a graph $G$ is $H$-saturated if it has no subgraph isomorphic to $H$, but the addition of any edge to $G$ results in an $H$-subgraph. The saturation number $\mathrm{sat}(H,n)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. Kászonyi and Tuza, in 1986, gave a general upper bound on the saturation number of a graph $H$, but a nontrivial lower bound has remained elusive. In this paper we give a general lower bound on $\mathrm{sat}(H,n)$ and prove that it is asymptotically sharp (up to an additive constant) on a large class of graphs. This class includes all threshold graphs and many graphs for which the saturation number was previously determined exactly. Our work thus gives an asymptotic common generalization of several earlier results. The class also includes disjoint unions of cliques, allowing us to address an open problem of Faudree, Ferrara, Gould, and Jacobson.
Clique immersions in graphs of independence number two with certain forbidden subgraphs
Published
• View Publication
• BIB
The Lescure-Meyniel conjecture is the analogue of Hadwiger's conjecture for the immersion order. It states that every graph $G$ contains the complete graph $K_{χ(G)}$ as an immersion, and like its minor-order counterpart it is open even for graphs with independence number 2. We show that every graph $G$ with independence number $α(G)\ge 2$ and no hole of length between $4$ and $2α(G)$ satisfies this conjecture. In particular, every $C_4$-free graph $G$ with $α(G)= 2$ satisfies the Lescure-Meyniel conjecture. We give another generalisation of this corollary, as follows. Let $G$ and $H$ be graphs with independence number at most 2, such that $|V(H)|\le 4$. If $G$ is $H$-free, then $G$ satisfies the Lescure-Meyniel conjecture.
Diameter of General Knödel Graphs
Published in Fundamenta Informaticae, Volume 190, Issue 1 (October 14, 2023) fi:12318
• View Publication
• BIB
The Knödel graph $W_{Δ,n}$ is a $Δ$-regular bipartition graph on $n\ge 2^Δ$ vertices and $n$ is an even integer. The vertices of $W_{Δ,n}$ are the pairs $(i,j)$ with $i=1,2$ and $0\le j\le n/2-1$. For every $j$, $0\le j\le n/2-1$, there is an edge between vertex $(1, j)$ and every vertex $(2,(j+2^k-1) \mod (n/2))$, for $k=0,1,\cdots,Δ-1$. In this paper we obtain some formulas for evaluating the distance of vertices of the Knödel graph and by them, we provide the formula $diam(W_{Δ,n})=1+\lceil\frac{n-2}{2^Δ-2}\rceil$ for the diameter of $W_{Δ,n}$, where $n\ge (2Δ-5)(2^Δ-2)+4$.
Local Orientation-Preserving Symmetry Preserving Operations on Polyhedra
Published
• View Publication
• BIB
Unifying approaches by amongst others Archimedes, Kepler, Goldberg, Caspar and Klug, Coxeter, and Conway, and extending on a previous formalisation of the concept of local symmetry preserving (lsp) operations, we introduce a formal definition of local operations on plane graphs that preserve orientation-preserving symmetries, but not necessarily orientation-reversing symmetries. This operations include, e.g., the chiral Goldberg and Conway operations as well as all lsp operations. We prove the soundness of our definition as well as introduce an invariant which can be used to systematically construct all such operations. We also show sufficient conditions for an operation to preserve the connectedness of the plane graph to which it is applied.
Distributed Algorithms, the Lovász Local Lemma, and Descriptive Combinatorics
Published
• View Publication
• BIB
In this paper we consider coloring problems on graphs and other combinatorial structures on standard Borel spaces. Our goal is to obtain sufficient conditions under which such colorings can be made well-behaved in the sense of topology or measure. To this end, we show that such well-behaved colorings can be produced using certain powerful techniques from finite combinatorics and computer science. First, we prove that efficient distributed coloring algorithms (on finite graphs) yield well-behaved colorings of Borel graphs of bounded degree; roughly speaking, deterministic algorithms produce Borel colorings, while randomized algorithms give measurable and Baire-measurable colorings. Second, we establish measurable and Baire-measurable versions of the Symmetric Lovász Local Lemma (under the assumption $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$, which is stronger than the standard LLL assumption $\mathsf{p}(\mathsf{d} + 1) \leq e^{-1}$ but still sufficient for many applications). From these general results, we derive a number of consequences in descriptive combinatorics and ergodic theory.
Bounding the Mim-Width of Hereditary Graph Classes
Published
• View Publication
• BIB
A large number of NP-hard graph problems become polynomial-time solvable on graph classes where the mim-width is bounded and quickly computable. Hence, when solving such problems on special graph classes, it is helpful to know whether the graph class under consideration has bounded mim-width. We first extend the toolkit for proving (un)boundedness of mim-width of graph classes. This enables us to initiate a systematic study into bounding mim-width from the perspective of hereditary graph classes. For a given graph $H$, the class of $H$-free graphs has bounded mim-width if and only if it has bounded clique-width. We show that the same is not true for $(H_1,H_2)$-free graphs. We find several general classes of $(H_1,H_2)$-free graphs having unbounded clique-width, but the mim-width is bounded and quickly computable. We also prove a number of new results showing that, for certain $H_1$ and $H_2$, the class of $(H_1,H_2)$-free graphs has unbounded mim-width. Combining these with known results, we present summary theorems of the current state of the art for the boundedness of mim-width for $(H_1,H_2)$-free graphs.
Colouring $(sP_1+P_5)$-Free Graphs: a Mim-Width Perspective
We prove that the class of $(K_t,sP_1+P_5)$-free graphs has bounded mim-width for every $s\geq 0$ and $t\geq 1$, and that there is a polynomial-time algorithm that, given a graph in the class, computes a branch decomposition of constant mim-width. A large number of \NP-complete graph problems become polynomial-time solvable on graph classes with bounded mim-width and for which a branch decomposition is quickly computable. The $k$-Colouring problem is an example of such a problem. For this problem, we may assume that the input graph is $K_{k+1}$-free. Then, as a consequence of our result, we obtain a new proof for the known result that for every fixed $k\geq 1$ and $s\geq 0$, $k$-Colouring is polynomial-time solvable for $(sP_1+P_5)$-free graphs. In fact, our findings show that the underlying reason for this polynomial-time algorithm is that the class has bounded mim-width.
Antimagic orientation of lobsters
Published
• View Publication
• BIB
Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\cdots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $u$ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as dense graphs, regular graphs, and trees including caterpillars and $k$-ary trees. In this note, we prove that every lobster admits an antimagic orientation.
On the depth of symbolic powers of edge ideals of graphs
Published
• View Publication
• BIB
Assume that $G$ is a graph with edge ideal $I(G)$ and star packing number $α_2(G)$. We denote the $s$-th symbolic power of $I(G)$ by $I(G)^{(s)}$. It is shown that the inequality ${\rm depth} S/(I(G)^{(s)})\geq α_2(G)-s+1$ is true for every chordal graph $G$ and every integer $s\geq 1$. Moreover, it is proved that for any graph $G$, we have ${\rm depth} S/(I(G)^{(2)})\geq α_2(G)-1$.
A Dirac-type theorem for uniform hypergraphs
Published
• View Publication
• BIB
Dirac (1952) proved that every connected graph of order $n>2k+1$ with minimum degree more than $k$ contains a path of length at least $2k+1$. Erdős and Gallai (1959) showed that every $n$-vertex graph $G$ with average degree more than $k-1$ contains a path of length $k$. The hypergraph extension of the Erdős-Gallai Theorem have been given by Győri, Katona, Lemons~(2016) and Davoodi et al.~(2018). Füredi, Kostochka, and Luo (2019) gave a connected version of the Erdős-Gallai Theorem for hypergraphs. In this paper, we give a hypergraph extension of the Dirac's Theorem: Given positive integers $n,k$ and $r$, let $H$ be a connected $n$-vertex $r$-graph with no Berge path of length $2k+1$. We show that (1) If $k> r\ge 4$ and $n>2k+1$, then $δ_1(H)\le\binom{k}{r-1}$. Furthermore, the equality holds if and only if $S'_r(n,k)\subseteq H\subseteq S_r(n,k)$ or $H\cong S(sK_{k+1}^{(r)},1)$; (2) If $k\ge r\ge 2$ and $n>2k(r-1)$, then $δ_1(H)\le \binom{k}{r-1}$. The result is also a Dirac-type version of the result of Füredi, Kostochka, and Luo. As an application of (1), we give a better lower bound of the minimum degree than the ones in the Dirac-type results for Berge Hamiltonian cycle given by Bermond et al.~(1976) and Clemens et al. (2016), respectively.
Forcing and anti-forcing polynomials of perfect matchings of a pyrene system
The forcing number of a perfect matching of a graph was introduced by Harary et al., which originated from Klein and Randić's ideal of innate degree of freedom of Kekulé structure in molecular graph. On the opposite side in some sense, Vukičević and Trinajstié proposed the anti-forcing number of a graph, afterwards Lei et al. generalized this idea to single perfect matching. Recently the forcing and anti-forcing polynomials of perfect matchings of a graph were proposed as counting polynomials for perfect matchings with the same forcing number and anti-forcing number respectively. In this paper, we obtain the explicit expressions of forcing and anti-forcing polynomials of a pyrene system. As consequences, the forcing and anti-forcing spectra of a pyrene system are determined.
Tropicalization of Graph Profiles
Published
• View Publication
• BIB
A graph profile records all possible densities of a fixed finite set of graphs. Profiles can be extremely complicated; for instance the full profile of any triple of connected graphs is not known, and little is known about hypergraph profiles. We introduce the tropicalization of graph and hypergraph profiles. Tropicalization is a well-studied operation in algebraic geometry, which replaces a variety (the set of real or complex solutions to a finite set of algebraic equations) with its "combinatorial shadow". We prove that the tropicalization of a graph profile is a closed convex cone, which still captures interesting combinatorial information. We explicitly compute these tropicalizations for arbitrary sets of complete and star hypergraphs. We show they are rational polyhedral cones even though the corresponding profiles are not even known to be semialgebraic in some of these cases. We then use tropicalization to prove strong restrictions on the power of the sums of squares method, equivalently Cauchy-Schwarz calculus, to test (which is weaker than certification) the validity of graph density inequalities. In particular, we show that sums of squares cannot test simple binomial graph density inequalities, or even their approximations. Small concrete examples of such inequalities are presented, and include the famous Blakley-Roy inequalities for paths of odd length. As a consequence, these simple inequalities cannot be written as a rational sum of squares of graph densities.
On the spectral radius of bi-block graphs with given independence number $α$
Published
• View Publication
• BIB
A connected graph is called a bi-block graph if each of its blocks is a complete bipartite graph. Let $\mathcal{B}(\mathbf{k}, α)$ be the class of bi-block graph on $\mathbf{k}$ vertices with given independence number $α$. It is easy to see that every bi-block graph is a bipartite graph. For a bipartite graph $G$ on $\mathbf{k}$ vertices, the independence number $α(G)$ satisfies $\ceil*{\frac{\mathbf{k}}{2}} \leq α(G) \leq \mathbf{k}-1$. In this article, we prove that the maximum spectral radius $ρ(G)$ among all graphs $G$ in $\mathcal{B}(\mathbf{k}, α)$, is uniquely attained for the complete bipartite graph $K_{α, \mathbf{k}-α}$.
Erdős-Hajnal-type results for ordered paths
Published
• View Publication
• BIB
An ordered graph is a graph with a linear ordering on its vertex set. We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that any ordered graph $G$ on $n$ vertices with the property that neither $G$ nor its complement contains an induced monotone path of size $k$, has either a clique or an independent set of size at least $n^{c_k}$. This strengthens a result of Bousquet, Lagoutte, and Thomassé, who proved the analogous result for unordered graphs.
A key idea of the above paper was to show that any unordered graph on $n$ vertices that does not contain an induced path of size $k$, and whose maximum degree is at most $c(k)n$ for some small $c(k)>0$, contains two disjoint linear size subsets with no edge between them. This approach fails for ordered graphs, because the analogous statement is false for $k\geq 3$, by a construction of Fox. We provide further examples how this statement fails for ordered graphs avoiding other ordered trees as well.
Combinatorial Hopf algebras from representations of families of wreath products
Published
• View Publication
• BIB
We construct Hopf algebras whose elements are representations of combinatorial automorphism groups, by generalising a theorem of Zelevinsky on Hopf algebras of representations of wreath products. As an application we attach symmetric functions to representations of graph automorphism groups, generalising and refining Stanley's chromatic symmetric function.
On the convexity number of the complementary prism of a tree
A set of vertices $S$ of a graph $G$ is a (geodesic)convex set, if $S$ contains all the vertices belonging to any shortest path connecting between two vertices of $S$. The cardinality of maximum proper convex set of $G$ is called the convexity number, con$(G)$ of $G$. The complementary prism $G\bar{G}$ of $G$ is obtained from the disjoint union of $G$ and its complement $\bar{G}$ by adding the edges of a perfect matching between them. In this work, we examine the convex sets of the complementary prism of a tree and derive formulas for the convexity numbers of the complementary prisms of all trees.
Characterization of classes of graphs with large general position number
Published
• View Publication
• BIB
Getting inspired by the famous no-three-in-line problem and by the general position subset selection problem from discrete geometry, the same is introduced into graph theory as follows. A set $S$ of vertices in a graph $G$ is a general position set if no element of $S$ lies on a geodesic between any two other elements of $S$. The cardinality of a largest general position set is the general position number ${\rm gp}(G)$ of $G.$ In \cite{ullas-2016} graphs $G$ of order $n$ with ${\rm gp}(G)$ $\in \{2, n, n-1\}$ were characterized. In this paper, we characterize the classes of all connected graphs of order $n\geq 4$ with the general position number $n-2.$
Random perturbation of sparse graphs
Published
• View Publication
• BIB
In the model of randomly perturbed graphs we consider the union of a deterministic graph $\mathcal{G}_α$ with minimum degree $αn$ and the binomial random graph $\mathbb{G}(n,p)$. This model was introduced by Bohman, Frieze, and Martin and for Hamilton cycles their result bridges the gap between Dirac's theorem and the results by Posá and Koršunov on the threshold in $\mathbb{G}(n,p)$. In this note we extend this result in $\mathcal{G}_α\cup \mathbb{G}(n,p)$ to sparser graphs with $α=o(1)$. More precisely, for any $\varepsilon>0$ and $α\colon \mathbb{N} \mapsto (0,1)$ we show that a.a.s. $\mathcal{G}_α\cup \mathbb{G}(n,β/n)$ is Hamiltonian, where $β= -(6 + \varepsilon) \log(α)$. If $α>0$ is a fixed constant this gives the aforementioned result by Bohman, Frieze, and Martin and if $α=O(1/n)$ the random part $\mathbb{G}(n,p)$ is sufficient for a Hamilton cycle. We also discuss embeddings of bounded degree trees and other spanning structures in this model, which lead to interesting questions on almost spanning embeddings into $\mathbb{G}(n,p)$.
Large cliques and independent sets all over the place
Published
• View Publication
• BIB
We study the following question raised by Erdős and Hajnal in the early 90's. Over all $n$-vertex graphs $G$ what is the smallest possible value of $m$ for which any $m$ vertices of $G$ contain both a clique and an independent set of size $\log n$? We construct examples showing that $m$ is at most $2^{2^{(\log\log n)^{1/2+o(1)}}}$ obtaining a twofold sub-polynomial improvement over the upper bound of about $\sqrt{n}$ coming from the natural guess, the random graph. Our (probabilistic) construction gives rise to new examples of Ramsey graphs, which while having no very large homogenous subsets contain both cliques and independent sets of size $\log n$ in any small subset of vertices. This is very far from being true in random graphs. Our proofs are based on an interplay between taking lexicographic products and using randomness.