graph
34828 papers tagged with this keyword
Proper colouring Painter-Builder game
Published
• View Publication
• BIB
We consider the following two-player game, parametrised by positive integers $n$ and $k$. The game is played between Painter and Builder, alternately taking turns, with Painter moving first. The game starts with the empty graph on $n$ vertices. In each round Painter colours a vertex of her choice by one of the $k$ colours and Builder claims an edge between two previously unconnected vertices. Both players should maintain that during the game the graph admits a proper $k$-colouring. The game ends if either all $n$ vertices have been coloured, or Painter has no legal move. In the former case, Painter wins the game, in the latter one Builder is the winner. We prove that the minimal number of colours $k=k(n)$ allowing Painter's win is of logarithmic order in the number of vertices $n$. Biased versions of the game are also considered.
Chromatic Numbers of Exact Distance Graphs
Published
• View Publication
• BIB
For any graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$, which has an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$ in $G$. For odd $p$, Nešetřil and Ossona de Mendez proved that for any fixed graph class with bounded expansion, the chromatic number of $G^{[\natural p]}$ is bounded by an absolute constant. Using the notion of generalised colouring numbers, we give a much simpler proof for the result of Nešetřil and Ossona de Mendez, which at the same time gives significantly better bounds. In particular, we show that for any graph $G$ and odd positive integer $p$, the chromatic number of $G^{[\natural p]}$ is bounded by the weak $(2p-1)$-colouring number of $G$. For even $p$, we prove that $χ(G^{[\natural p]})$ is at most the weak $(2p)$-colouring number times the maximum degree. For odd $p$, the existing lower bound on the number of colours needed to colour $G^{[\natural p]}$ when $G$ is planar is improved. Similar lower bounds are given for $K_t$-minor free graphs.
Invertibility of graphs with a unique perfect matching
In this paper we investigate invertibility of graphs with a unique perfect matching, i.e. graphs having a unique 1-factor. We recall the new notion of the so-called negatively invertible graphs investigated by the authors in the recent paper. It is an extension of the classical definition of an inverse graph due to Godsil. We characterize all graphs with a unique perfect matching on $m\le 6$ vertices with respect to their positive and negative invertibility. We show that negatively invertible graphs exhibit properties like selfinvertibility which cannot be observed within the class of positively invertible non-bipartite graphs with a unique perfect matching.
Bounds of Zagreb indices and hyper Zagreb indices
The hyper Zagreb index is a kind of extensions of Zagreb index, used for predicting physicochemical properties of organic compounds. Given a graph $G= (V(G), E(G))$, the first hyper-Zagreb index is the sum of the square of edge degree over edge set $E(G)$ and defined as $HM_1(G)=\sum_{e=uv\in E(G)}d(e)^2$, where $d(e)=d(u)+d(v)$ is the edge degree. In this work we define the second hyper-Zagreb index on the adjacent edges as $HM_2(G)=\sum_{e\sim f}d(e)d(f)$, where $e\sim f$ represents the adjacent edges of $G$. By inequalities, we explore some upper and lower bounds of these hyper-Zagreb indices, and provide the relation between Zagreb indices and hyper Zagreb indices.
Positive speed self-avoiding walks on graphs with more than one end
Published in Journal of Combinatorial Theory, Series A Volume 175, October 2020, 105257
• View Publication
• BIB
A self-avoiding walk (SAW) is a path on a graph that visits each vertex at most once. The mean square displacement of an $n$-step SAW is the expected value of the square of the distance between the ending point and the starting point of an $n$-step SAW, where the expectation is taken with respect to the uniform measure on $n$-step SAWs starting from a fixed vertex. It is conjectured that the mean square displacement of an $n$-step SAW is asymptotically $n^{2ν}$, where $ν$ is a constant. Computing the exact values of the exponent $ν$ on various graphs has been a challenging problem in mathematical and scientific research for long.
In this paper we show that on any locally finite Cayley graph of an infinite, finitely-generated group with more than two ends, the number of SAWs whose end-to-end distances are linear in lengths has the same exponential growth rate as the number of all the SAWs. We also prove that for any infinite, finitely-generated group with more than one end, there exists a locally finite Cayley graph on which SAWs have positive speed - this implies that the mean square displacement exponent $ν=1$ on such graphs.
These results are obtained by proving more general theorems for SAWs on quasi-transitive graphs with more than one end, which make use of a variation of Kesten's pattern theorem in a surprising way, as well as the Stalling's splitting theorem. Applications include proving that SAWs have positive speed on the square grid in an infinite cylinder, and on the infinite free product graph of two connected, quasi-transitive graphs.
Tree Matchings
Published
• View Publication
• BIB
An $(s,t)$-matching in a bipartite graph $G=(U,V,E)$ is a subset of the edges $F$ such that each component of $G[F]$ is a tree with at most $t$ edges and each vertex in $U$ has $s$ neighbours in $G[H]$. We give sharp conditions for a bipartite graph to contain an $(s,t)$-matching. As a special case, we prove a conjecture of Bonacina, Galesi, Huynh and Wollan \cite{CNF}.
On the power domination number of de Bruijn and Kautz digraphs
Published in Combinatorial Algorithms. IWOCA 2017. Lecture Notes in Computer Science, vol 10765 (2018), 264-272
• View Publication
• BIB
Let $G=(V,A)$ be a directed graph without parallel arcs, and let $S\subseteq V$ be a set of vertices. Let the sequence $S=S_0\subseteq S_1\subseteq S_2\subseteq\cdots$ be defined as follows: $S_1$ is obtained from $S_0$ by adding all out-neighbors of vertices in $S_0$. For $k\geqslant 2$, $S_k$ is obtained from $S_{k-1}$ by adding all vertices $w$ such that for some vertex $v\in S_{k-1}$, $w$ is the unique out-neighbor of $v$ in $V\setminus S_{k-1}$. We set $M(S)=S_0\cup S_1\cup\cdots$, and call $S$ a \emph{power dominating set} for $G$ if $M(S)=V(G)$. The minimum cardinality of such a set is called the \emph{power domination number} of $G$. In this paper, we determine the power domination numbers of de Bruijn and Kautz digraphs.
Slightly subcritical hypercube percolation
Published
• View Publication
• BIB
We study bond percolation on the hypercube $\{0,1\}^m$ in the slightly subcritical regime where $p = p_c (1-\varepsilon_m)$ and $\varepsilon_m = o(1)$ but $\varepsilon_m \gg 2^{-m/3}$ and study the clusters of largest volume and diameter. We establish that with high probability the largest component has cardinality $Θ\left(\varepsilon_m^{-2} \log(\varepsilon_m^3 2^m)\right)$, that the maximal diameter of all clusters is $(1+o(1)) \varepsilon_m^{-1} \log(\varepsilon_m^3 2^m)$, and that the maximal mixing time of all clusters is $Θ\left(\varepsilon_m^{-3} \log^2(\varepsilon_m^3 2^m)\right)$.
These results hold in different levels of generality, and in particular, some of the estimates hold for various classes of graphs such as high-dimensional tori, expanders of high degree and girth, products of complete graphs, and infinite lattices in high dimensions.
An infinite family of cubic nonnormal Cayley graphs on nonabelian simple groups
Published
• View Publication
• BIB
We construct a connected cubic nonnormal Cayley graph on $\mathrm{A}_{2^m-1}$ for each integer $m\geqslant4$ and determine its full automorphism group. This is the first infinite family of connected cubic nonnormal Cayley graphs on nonabelian simple groups.
Lovász-Schrijver PSD-operator on Claw-Free Graphs
Published
• View Publication
• BIB
The subject of this work is the study of $\LS_+$-perfect graphs defined as those graphs $G$ for which the stable set polytope $\stab(G)$ is achieved in one iteration of Lovász-Schrijver PSD-operator $\LS_+$, applied to its edge relaxation $\estab(G)$. In particular, we look for a polyhedral relaxation of $\stab(G)$ that coincides with $\LS_+(\estab(G))$ and $\stab(G)$ if and only if $G$ is $\LS_+$-perfect. An according conjecture has been recently formulated ($\LS_+$-Perfect Graph Conjecture); here we verify it for the well-studied class of claw-free graphs.
Abstract tropical linear programming
Published
• View Publication
• BIB
In this paper we develop a combinatorial abstraction of tropical linear programming. This generalizes the search for a feasible point of a system of min-plus-inequalities. It is based on the polyhedral properties of triangulations of the product of two simplices and the combinatorics of the associated set of bipartite graphs with an additional sign information which we call a signed tropical matroid. We demonstrate the connections with the classical simplex method, mean payoff games and scheduling.
Packing Directed and Hamilton Cycles Online
Published
• View Publication
• BIB
Consider a directed analogue of the random graph process on $n$ vertices, where the $n(n-1)$ edges are ordered uniformly at random and revealed one at a time.
It is known that w.h.p.\@ the first digraph in this process with both in-degree and out-degree $\geq q$ has a $[q]$-edge-coloring with a Hamilton cycle in each color. We show that this coloring can be constructed online, where each edge must be irrevocably colored as soon as it appears. In a similar fashion, for the \emph{undirected} random graph process, we present an online $[n]$-edge-coloring algorithm which yields w.h.p.\@ $q$ disjoint rainbow Hamilton cycles in the first graph of the process that contains $q$ disjoint Hamilton cycles.
On the geometry of the countably branching diamond graphs
Published in J. Funct. Anal. 273 (2017), no. 10, 3150-3199
• View Publication
• BIB
In this article, the bi-Lipschitz embeddability of the sequence of countably branching diamond graphs $(D_k^ω)_{k\in\mathbb{N}}$ is investigated. In particular it is shown that for every $\varepsilon>0$ and $k\in\mathbb{N}$, $D_k^ω$ embeds bi-Lipschiztly with distortion at most $6(1+\varepsilon)$ into any reflexive Banach space with an unconditional asymptotic structure that does not admit an equivalent asymptotically uniformly convex norm. On the other hand it is shown that the sequence $(D_k^ω)_{k\in\mathbb{N}}$ does not admit an equi-bi-Lipschitz embedding into any Banach space that has an equivalent asymptotically midpoint uniformly convex norm. Combining these two results one obtains a metric characterization in terms of graph preclusion of the class of asymptotically uniformly convexifiable spaces, within the class of separable reflexive Banach spaces with an unconditional asymptotic structure. Applications to bi-Lipschitz embeddability into $L_p$-spaces and to some problems in renorming theory are also discussed.
Extremal regular graphs: the case of the infinite regular tree
In this paper we study the following problem. Let $A$ be a fixed graph, and let $\hom(G,A)$ denote the number of homomorphisms from a graph $G$ to $A$. Furthermore, let $v(G)$ denote the number of vertices of $G$, and let $\mathcal{G}_d$ denote the family of $d$--regular graphs. The general problem studied in this paper is to determine $$\inf_{G\in \mathcal{G}_d}\hom(G,A)^{1/v(G)}.$$ It turns out that in many instances the infimum is not achieved by a finite graph, but a sequence of graphs with girth (i. e., length of the shortest cycle) tending to infinity. In other words, the optimization problem is solved by the infinite $d$--regular tree.
We prove this type of results for the number of independent sets of bipartite graphs, evaluations of the Tutte-polynomial, Widom-Rowlinson configurations, and many more graph parameters. Our main tool will be a transformation called $2$-lift.
Root multiplicities for Borcherds algebras and graph coloring
Published in J. Algebra 499 (2018), 538-569
• View Publication
• BIB
We establish a connection between root multiplicities for Borcherds-Kac-Moody algebras and graph coloring. We show that the generalized chromatic polynomial of the graph associated to a given Borcherds algebra can be used to give a closed formula for certain root multiplicities. Using this connection we give a second interpretation, namely that the root multiplicity of a given root coincides with the number of acyclic orientations with a unique sink of a certain graph (depending on the root). Finally, using the combinatorics of Lyndon words we construct a basis for the root spaces corresponding to these roots and determine the Hilbert series in the case when all simple roots are imaginary. As an application we give a Lie theoretic proof of Stanley's reciprocity theorem of chromatic polynomials.
Some extremal results on complete degenerate hypergraphs
Published
• View Publication
• BIB
Let $K^{(r)}_{s_1,s_2,\cdots,s_r}$ be the complete $r$-partite $r$-uniform hypergraph and $ex(n,K^{(r)}_{s_1,s_2,\cdots,s_r})$ be the maximum number of edges in any $n$-vertex $K^{(r)}_{s_1,s_2,\cdots,s_r}$-free $r$-uniform hypergraph. It is well-known in the graph case that $ex(n,K_{s,t})=Θ(n^{2-1/s})$ when $t$ is sufficiently larger than $s$. In this note, we generalize the above to hypergraphs by showing that if $s_r$ is sufficiently larger than $s_1,s_2,\cdots,s_{r-1}$ then $$ex(n, K^{(r)}_{s_1,s_2,\cdots,s_r})=Θ\left(n^{r-\frac{1}{s_1s_2\cdots s_{r-1}}}\right).$$ This follows from a more general Turán type result we establish in hypergraphs, which also improves and generalizes some recent results of Alon and Shikhelman. The lower bounds of our results are obtained by the powerful random algebraic method of Bukh. Another new, perhaps unsurprising insight which we provide here is that one can also use the random algebraic method to construct non-degenerate (hyper-)graphs for various Turán type problems.
The asymptotics for $ex(n, K^{(r)}_{s_1,s_2,\cdots,s_r})$ is also proved by Verstraëte independently with a different approach.
Global Rigidity of Periodic Graphs under Fixed-lattice Representations
Published
• View Publication
• BIB
In 1992, Hendrickson proved that (d+1)-connectivity and redundant rigidity are necessary conditions for a generic (non-complete) bar-joint framework to be globally rigid in $\mathbb{R}^d$. Jackson and Jordan confirmed in 2005 that these conditions are also sufficient in $\mathbb{R}^2$, giving a combinatorial characterization of graphs whose generic realizations in $\mathbb{R}^2$ are globally rigid. In this paper, we establish analogues of these results for infinite periodic frameworks under fixed lattice representations. Our combinatorial characterization of globally rigid generic periodic frameworks in $\mathbb{R}^2$ in particular implies toroidal and cylindrical counterparts of the theorem by Jackson and Jordan.
Essential obstacles to Helly circular-arc graphs
Published
• View Publication
• BIB
A Helly circular-arc graph is the intersection graph of a set of arcs on a circle having the Helly property. We introduce essential obstacles, which are a refinement of the notion of obstacles, and prove that essential obstacles are precisely the minimal forbidden induced circular-arc subgraphs for the class of Helly circular-arc graphs. We show that it is possible to find in linear time, in any given obstacle, some minimal forbidden induced subgraph for the class of Helly circular-arc graphs contained as an induced subgraph. Moreover, relying on an existing linear-time algorithm for finding induced obstacles in circular-arc graphs, we conclude that it is possible to find in linear time an induced essential obstacle in any circular-arc graph that is not a Helly circular-arc graph. The problem of finding a forbidden induced subgraph characterization, not restricted only to circular-arc graphs, for the class of Helly circular-arc graphs remains unresolved. As a partial answer to this problem, we find the minimal forbidden induced subgraph characterization for the class of Helly circular-arc graphs restricted to graphs containing no induced claw and no induced 5-wheel. Furthermore, we show that there is a linear-time algorithm for finding, in any given graph that is not a Helly circular-arc graph, an induced subgraph isomorphic to claw, 5-wheel, or some minimal forbidden induced subgraph for the class of Helly circular-arc graphs.
A note on Matching Cover Algorithm
A $k$-matching cover of a graph $G$ is a union of $k$ matchings of $G$ which covers $V(G)$. A matching cover of $G$ is optimal if it consists of the fewest matchings of $G$. In this paper, we present an algorithm for finding an optimal matching cover of a graph on $n$ vertices and $m$ edges in $O(nm)$ time. This algorithm corrects an error of Matching Cover Algorithm in (Xiumei Wang, Xiaoxin Song, Jinjiang Yuan, On matching cover of graphs, Math. Program. Ser. A (2014)147: 499-518).
On the Distinguishing number of Functigraphs
Published
• View Publication
• BIB
Let $G_{1}$ and $G_{2}$ be disjoint copies of a graph $G$, and let $g:V(G_{1})\rightarrow V(G_{2})$ be a function. A functigraph $F_{G}$ consists of the vertex set $V(G_{1})\cup V(G_{2})$ and the edge set $E(G_{1})\cup E(G_{2})\cup \{uv:g(u)=v\}$. In this paper, we extend the study of the distinguishing number of a graph to its functigraph. We discuss the behavior of the distinguishing number in passing from $G$ to $F_{G}$ and find its sharp lower and upper bounds. We also discuss the distinguishing number of functigraphs of complete graphs and join graphs.