graph
35411 papers tagged with this keyword
Homotopy type of the neighborhood complexes of graphs of maximal degree at most $3$ and $4$-regular circulant graphs
Published in The Electronic Journal of Combinatorics, 26, no. 2 (2019): P2.4
• View Publication
• BIB
To estimate the lower bound for the chromatic number of a graph $G$, Lovász associated a simplicial complex $\mathcal{N}(G)$ called the neighborhood complex and relates the topological connectivity of $\mathcal{N}(G)$ to the chromatic number of $G$. More generally he proved that the chromatic number of $G$ is bounded below by the topological connectivity of $\mathcal{N}(G)$ plus $3$.
In this article, we consider the graphs of maximal degree at most $3$ and $4$-regular circulant graphs. We show that each connected component of the neighborhood complexes of these graphs is homotopy equivalent either to a point, to a wedge sum of circles, to a wedge sum of $2$-spheres $S^2$, to $S^3$, to a garland of $2$-spheres $S^2$ or to a connected sum of tori.
Embedding spanning bounded degree graphs in randomly perturbed graphs
We study the model $G_α\cup G(n,p)$ of randomly perturbed dense graphs, where $G_α$ is any $n$-vertex graph with minimum degree at least $αn$ and $G(n,p)$ is the binomial random graph. We introduce a general approach for studying the appearance of spanning subgraphs in this model using absorption. This approach yields simpler proofs of several known results. We also use it to derive the following two new results.
For every $α>0$ and $Δ\ge 5$, and every $n$-vertex graph $F$ with maximum degree at most $Δ$, we show that if $p=ω(n^{-2/(Δ+1)})$ then $G_α\cup G(n,p)$ with high probability contains a copy of $F$. The bound used for $p$ here is lower by a $\log$-factor in comparison to the conjectured threshold for the general appearance of such subgraphs in $G(n,p)$ alone, a typical feature of previous results concerning randomly perturbed dense graphs.
We also give the first example of graphs where the appearance threshold in $G_α\cup G(n,p)$ is lower than the appearance threshold in $G(n,p)$ by substantially more than a $\log$-factor. We prove that, for every $k\geq 2$ and $α>0$, there is some $η>0$ for which the $k$th power of a Hamilton cycle with high probability appears in $G_α\cup G(n,p)$ when $p=ω(n^{-1/k-η})$. The appearance threshold of the $k$th power of a Hamilton cycle in $G(n,p)$ alone is known to be $n^{-1/k}$, up to a $\log$-term when $k=2$, and exactly for $k>2$.
On the nonexistence of linear perfect Lee codes
Published in Journal of Combinatorial Theory series A 165: 225-257, 2019
• View Publication
• BIB
In 1968, Golomb and Welch conjectured that there does not exist perfect Lee code in $\mathbb{Z}^{n}$ with radius $r\ge2$ and dimension $n\ge3$. Besides its own interest in coding theory and discrete geometry, this conjecture is also strongly related to the degree-diameter problems of abelian Cayley graphs. Although there are many papers on this topic, the Golomb-Welch conjecture is far from being solved. In this paper, we prove the nonexistence of linear perfect Lee codes by introducing some new algebraic methods. Using these new methods, we show the nonexistence of linear perfect Lee codes of radii $r=2,3$ in $\mathbb{Z}^n$ for infinitely many values of the dimension $n$. In particular, there does not exist linear perfect Lee codes of radius $2$ in $\mathbb{Z}^n$ for all $3\le n\le 100$ except 8 cases.
A Faster Isomorphism Test for Graphs of Small Degree
Published in SIAM J. Comput. 52(6): FOCS18-1-FOCS18-36 (2023)
• View Publication
• BIB
In a recent breakthrough, Babai (STOC 2016) gave a quasipolynomial time graph isomorphism test. In this work, we give an improved isomorphism test for graphs of small degree: our algorithms runs in time $n^{O((\log d)^{c})}$, where $n$ is the number of vertices of the input graphs, $d$ is the maximum degree of the input graphs, and $c$ is an absolute constant. The best previous isomorphism test for graphs of maximum degree $d$ due to Babai, Kantor and Luks (FOCS 1983) runs in time $n^{O(d/ \log d)}$.
Universality for bounded degree spanning trees in randomly perturbed graphs
We solve a problem of Krivelevich, Kwan and Sudakov [SIAM Journal on Discrete Mathematics 31 (2017), 155-171] concerning the threshold for the containment of all bounded degree spanning trees in the model of randomly perturbed dense graphs. More precisely, we show that, if we start with a dense graph $G_α$ on $n$ vertices with $δ(G_α)\ge αn$ for $α>0$ and we add to it the binomial random graph $G(n,C/n)$, then with high probability the graph $G_α\cup G(n,C/n)$ contains copies of all spanning trees with maximum degree at most $Δ$ simultaneously, where $C$ depends only on $α$ and $Δ$.
Improved bounds for rainbow numbers of matchings in plane triangulations
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, the {\it rainbow number} $rb(G,H)$ for $H$ with respect to $G$ is defined as the minimum number $k$ such that any $k$-edge-coloring of $G$ contains a rainbow $H$, i.e., a copy of $H$, all of whose edges have different colors. Denote by $kK_2$ a matching of size $k$ and $\mathcal {T}_n$ the class of all plane triangulations of order $n$, respectively. In [S. Jendrol$'$, I. Schiermeyer and J. Tu, Rainbow numbers for matchings in plane triangulations, Discrete Math. 331(2014), 158--164], the authors determined the exact values of $rb(\mathcal {T}_n, kK_2)$ for $2\leq k \le 4$ and proved that $2n+2k-9 \le rb(\mathcal {T}_n, kK_2) \le 2n+2k-7+2\binom{2k-2}{3}$ for $k \ge 5$. In this paper, we improve the upper bounds and prove that $rb(\mathcal {T}_n, kK_2)\le 2n+6k-16$ for $n \ge 2k$ and $k\ge 5$. Especially, we show that $rb(\mathcal {T}_n, 5K_2)=2n+1$ for $n \ge 11$.
On Minrank and the Lovász Theta Function
Published
• View Publication
• BIB
Two classical upper bounds on the Shannon capacity of graphs are the $\vartheta$-function due to Lovász and the minrank parameter due to Haemers. We provide several explicit constructions of $n$-vertex graphs with a constant $\vartheta$-function and minrank at least $n^δ$ for a constant $δ>0$ (over various prime order fields). This implies a limitation on the $\vartheta$-function-based algorithmic approach to approximating the minrank parameter of graphs. The proofs involve linear spaces of multivariate polynomials and the method of higher incidence matrices.
Dynamic monopolies for interval graphs with bounded thresholds
Published
• View Publication
• BIB
For a graph $G$ and an integer-valued threshold function $τ$ on its vertex set, a dynamic monopoly is a set of vertices of $G$ such that iteratively adding to it vertices $u$ of $G$ that have at least $τ(u)$ neighbors in it eventually yields the vertex set of $G$. We show that the problem of finding a dynamic monopoly of minimum order can be solved in polynomial time for interval graphs with bounded threshold functions, but is NP-hard for chordal graphs allowing unbounded threshold functions.
Permutation monoids and MB-homogeneity for graphs and relational structures
Published
• View Publication
• BIB
In this paper, we investigate the connection between infinite permutation monoids and bimorphism monoids of first-order structures. Taking our lead from the study of automorphism groups of structures as infinite permutation groups and the more recent developments in the field of homomorphism-homogeneous structures, we establish a series of results that underline this connection. Of particular interest is the idea of MB-homogeneity; a relational structure $\mathcal{M}$ is MB-homogeneous if every monomorphism between finite substructures of $\mathcal{M}$ extends to a bimorphism of $\mathcal{M}$. The results in question include a characterisation of closed permutation monoids, a Fraïssé-like theorem for MB-homogeneous structures, and the construction of $2^{\aleph_0}$ pairwise non-isomorphic countable MB-homogeneous graphs. We prove that any finite group arises as the automorphism group of some MB-homogeneous graph and use this to construct oligomorphic permutation monoids with any given finite group of units. We also consider MB-homogeneity for various well-known examples of homogeneous structures and in particular give a complete classification of countable homogeneous undirected graphs that are also MB-homogeneous.
Planar graphs without cycles of length 4 or 5 are (11:3)-colorable
A graph G is (a:b)-colorable if there exists an assignment of b-element subsets of {1,...,a} to vertices of G such that sets assigned to adjacent vertices are disjoint. We show that every planar graph without cycles of length 4 or 5 is (11:3)-colorable, a weakening of recently disproved Steinberg's conjecture. In particular, each such graph with n vertices has an independent set of size at least 3n/11.
Hamilton $\ell$-cycles in randomly-perturbed hypergraphs
Published
• View Publication
• BIB
We prove that for integers $2 \leq \ell < k$ and a small constant $c$, if a $k$-uniform hypergraph with linear minimum codegree is randomly `perturbed' by changing non-edges to edges independently at random with probability $p \geq O(n^{-(k-\ell)-c})$, then with high probability the resulting $k$-uniform hypergraph contains a Hamilton $\ell$-cycle. This complements a recent analogous result for Hamilton $1$-cycles due to Krivelevich, Kwan and Sudakov, and a comparable theorem in the graph case due to Bohman, Frieze and Martin.
Loewner's Differential Equation and Spidernets
We regard a certain type of Loewner's differential equation from a quantum probability point of view and approximate the underlying quantum process by the adjacency matrices of growing graphs which arise from the comb product of certain spidernets.
Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology
Published
• View Publication
• BIB
Given any polytope $P$ and any generic linear functional ${\bf c} $, one obtains a directed graph $G(P,{\bf c})$ from the 1-skeleton of $P$ by orienting each edge $e(u,v)$ from $u$ to $v$ for ${\bf c} (u) < {\bf c} ( v)$. For $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice $L$, the join of any collection $S$ of elements which all cover a common element $u$ in $L$ is proven to equal the sink of the smallest face of $P$ containing $u$ and all of the elements of $S$. The author conjectures for such $G(P,{\bf c})$ that no directed path in $G(P,{\bf c})$ ever revisits any facet of $P$. This would imply for such $P$ and ${\bf c}$ that the simplex method for linear programming is efficient under all possible pivot rules. This conjecture is proven for 3-polytopes and for spindles.
For simple polytopes in which $G(P,{\bf c})$ is the Hasse diagram of a lattice $L$, the order complex of each open interval in $L$ is proven homotopy equivalent to a ball or a sphere. Applications are given to the weak Bruhat order, the Tamari lattice, and the Cambrian lattices.
This paper concludes with an appendix by Dominik Preußproving the monotone Hirsch conjecture for $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice. This confirms one of the main consequences that the author's conjecture would have.
The Hopf monoid of Megagreedoids
We introduce megagreedoids, which generalize polymatroids, megamatroids, and greedoids. We define a quasisymmetric function invariant for a megagreedoid, and show that it has a positive expansion in the basis of fundamental quasisymmetric functions. Our proof involves lexicographic shellability. We also show that megagreedoids form a Hopf monoid. A running example is a megagreedoid associated to a rooted connected graph, and the resulting generalization of the chromatic symmetric function.
Encoding and avoiding 2-connected patterns in polygon dissections and outerplanar graphs
Published
• View Publication
• BIB
Let $Δ=\{ δ_1,δ_2,...,δ_m \} $ be a finite set of 2-connected patterns, i.e. graphs up to vertex relabelling. We study the generating function $D_{Δ}(z,u_1,u_2,...,u_m),$ which counts polygon dissections and marks subgraph copies of $δ_i$ with the variable $u_i$. We prove that this is always algebraic, through an explicit combinatorial decomposition depending on $Δ$. The decomposition also gives a defining system for $D_{Δ}(z,\mathbf{0})$, which encodes polygon dissections that restrict these patterns as subgraphs. In this way, we are able to extract normal limit laws for the patterns when they are encoded, and perform asymptotic enumeration of the resulting classes when they are avoided. The results can be directly transferred in the case of labelled outerplanar graphs. We give examples and compute the relevant constants when the patterns are small cycles or dissections.
Separation choosability and dense bipartite induced subgraphs
Published in Combinator. Probab. Comp. 28 (2019) 720-732
• View Publication
• BIB
We study a restricted form of list colouring, for which every pair of lists that correspond to adjacent vertices may not share more than one colour. The optimal list size such that a proper list colouring is always possible given this restriction, we call separation choosability. We show for bipartite graphs that separation choosability increases with (the logarithm of) the minimum degree. This strengthens results of Molloy and Thron and, partially, of Alon. One attempt to drop the bipartiteness assumption precipitates a natural class of Ramsey-type questions, of independent interest. For example, does every triangle-free graph of minimum degree $d$ contain a bipartite induced subgraph of minimum degree $Ω(\log d)$ as $d\to\infty$?
Partial immunization of trees
Published
• View Publication
• BIB
For a graph $G$ and an integer-valued function $τ$ on its vertex set, a dynamic monopoly is a set of vertices of $G$ such that iteratively adding to it vertices $u$ of $G$ that have at least $τ(u)$ neighbors in it eventually yields the vertex set of $G$. We study the problem of maximizing the minimum order of a dynamic monopoly by increasing the threshold values of individual vertices subject to vertex-dependent lower and upper bounds, and fixing the total increase. We solve this problem efficiently for trees, which extends a result of Khoshkhah and Zaker (On the largest dynamic monopolies of graphs with a given average threshold, Canadian Mathematical Bulletin 58 (2015) 306-316).
Equivalence of edge bicolored graphs on surfaces
Published
• View Publication
• BIB
Consider the collection of edge bicolorings of a graph that is cellularly embedded on an orientable surface. In this work, we count the number of equivalence classes of such colorings under two relations: reversing colors around a face and reversing colors around a vertex. In the case of the plane, this is well studied, but for other surfaces, the computation is more subtle. While this question can be stated purely graph theoretically, it has interesting applications in knot theory.
On domination perfect graphs
Let $γ(G)$ and $β(G)$ denote the domination number and the covering number of a graph $G$, respectively. A connected non-trivial graph $G$ is said to be $γβ$-{perfect} if $γ(H)=β(H)$ for every non-trivial induced connected subgraph $H$ of $G$. In this note we present an elementary proof of a characterization of the $γβ$-perfect graphs.
On the weighted safe set problem on paths and cycles
Published
• View Publication
• BIB
Let $G$ be a graph, and let $w: V(G) \to \mathbb{R}$ be a weight function on the vertices of $G$. For every subset $X$ of $V(G)$, let $w(X)=\sum_{v \in X} w(v).$ A non-empty subset $S \subset V(G)$ is a weighted safe set of $(G,w)$ if, for every component $C$ of the subgraph induced by $S$ and every component $D$ of $G-S$, we have $w(C) \geq w(D)$ whenever there is an edge between $C$ and $D$. If the subgraph of $G$ induced by a weighted safe set $S$ is connected, then the set $S$ is called a connected weighted safe set of $(G,w)$. The weighted safe number $s(G,w)$ and connected weighted safe number $cs(G,w)$ of $(G,w)$ are the minimum weights $w(S)$ among all weighted safe sets and all connected weighted safe sets of $(G,w)$, respectively. It is easy to see that for any pair $(G,w)$, ${s}(G,w) \le {cs}(G,w)$ by their definitions. In this paper, we discuss the possible equality when $G$ is a path or a cycle. We also give an answer to a problem due to Tittmann et al. [Eur. J. Combin. Vol. 32 (2011)] concerning subgraph component polynomials for cycles and complete graphs.