graph
35299 papers tagged with this keyword
The classification of Zamolodchikov periodic quivers
Published in Amer. J. Math, 141(2):447-484, 2019
• View Publication
• BIB
Zamolodchikov periodicity is a property of certain discrete dynamical systems associated with quivers. It has been shown by Keller to hold for quivers obtained as products of two Dynkin diagrams. We prove that the quivers exhibiting Zamolodchikov periodicity are in bijection with pairs of commuting Cartan matrices of finite type. Such pairs were classified by Stembridge in his study of $W$-graphs. The classification includes products of Dynkin diagrams along with four other infinite families, and eight exceptional cases. We provide a proof of Zamolodchikov periodicity for all four remaining infinite families, and verify the exceptional cases using a computer program.
The second largest eigenvalue and vertex-connectivity of regular multigraphs
Let $μ_2(G)$ be the second smallest Laplacian eigenvalue of a graph $G$. The vertex connectivity of $G$, written $κ(G)$, is the minimum size of a vertex set $S$ such that $G-S$ is disconnected. Fiedler proved that $μ_2(G) \le κ(G)$ for a non-complete simple graph $G$; for this reason $μ_2(G)$ is called the "algebraic connectivity" of $G$. We extend his result to multigraphs. For a pair of vertices $u$ and $v$, let $m(u,v)$ be the number of edges with endpoints $u$ and $v$. For a vertex $v$, let $m(v)=\max_{u \in N(v)} m(v,u)$, where $N(v)$ is the set of neighbors of $v$, and let $m(G)=\max_{v \in V(G)} m(v)$. We prove that for any multigraph $G$ whose underlying graph is not a complete graph, $μ_2(G) \le κ(G) m(G)$.
We also prove that for any $d$-regular multigraph $G$ whose underlying graph is not the complete graph with 2 vertices, if $μ_2(G) > \frac d4$, then $G$ is 2-connected. For $t\ge2$ and infinitely many $d$, we construct $d$-regular multigraphs $H$ with $μ_2(H)=d$, $κ(H)=t$, and $m(H)=\frac dt$. These graphs show that the inequality $μ_2(G) \le κ(G) m(G)$ is sharp. In addition, we prove that if $G$ is a $d$-regular multigraph whose underlying graph is not a complete graph, then $μ_2(G) \le d$; equality holds for the graphs in the construction.
Cycles in graphs of fixed girth with large size
Published
• View Publication
• BIB
Consider a family of graphs having a fixed girth and a large size. We give an optimal lower asymptotic bound on the number of even cycles of any constant length, as the order of the graphs tends to infinity.
On the normalized Shannon capacity of a union
Published in Combinator. Probab. Comp. 25 (2016) 766-767
• View Publication
• BIB
Let $G_1 \times G_2$ denote the strong product of graphs $G_1$ and $G_2$, i.e. the graph on $V(G_1) \times V(G_2)$ in which $(u_1,u_2)$ and $(v_1,v_2)$ are adjacent if for each $i=1,2$ we have $u_i=v_i$ or $u_iv_i \in E(G_i)$. The Shannon capacity of $G$ is $c(G) = \lim_{n\to \infty} α(G^n)^{1/n}$, where $G^n$ denotes the $n$-fold strong power of $G$, and $α(H)$ denotes the independence number of a graph $H$. The normalized Shannon capacity of $G$ is $C(G) = \frac {\log c(G)}{\log |V(G)|}$. Alon asked whether for every $ε> 0$ there are graphs $G$ and $G'$ satisfying $C(G), C(G') < ε$ but with $C(G + G') > 1 - ε$. We show that the answer is no.
Nontrivial nuciferous graphs exist
Published
• View Publication
• BIB
A nuciferous graph is a simple graph with a non-singular $0$-$1$ adjacency matrix $A$ such that all the diagonal entries of $A^{-1}$ are zero and all the off-diagonal entries of $A^{-1}$ are non-zero. Sciriha et al. conjectured that except $K_2$, no nuciferous graph exists. We disprove this conjecture. Moreover, we conjecture that there infinitely many nuciferous Cayley graphs.
On the permanental nullity and matching number of graphs
Published
• View Publication
• BIB
For a graph $G$ with $n$ vertices, let $ν(G)$ and $A(G)$ denote the matching number and adjacency matrix of $G$, respectively. The permanental polynomial of $G$ is defined as $π(G,x)={\rm per}(Ix-A(G))$. The permanental nullity of $G$, denoted by $η_{per}(G)$, is the multiplicity of the zero root of $π(G,x)$. In this paper, we use the Gallai-Edmonds structure theorem to derive a concise formula which reveals the relationship between the permanental nullity and the matching number of a graph. Furthermore, we prove a necessary and sufficient condition for a graph $G$ to have $η_{per}(G)=0$. As applications, we show that every unicyclic graph $G$ on $n$ vertices satisfies $n-2ν(G)-1 \le η_{per}(G) \le n-2ν(G)$, that the permanental nullity of the line graph of a graph is either zero or one, and that the permanental nullity of a factor critical graph is always zero.
Proof of a conjecture of Bergeron, Ceballos and Labbé
Published in New York Journal of Mathematics, Volume 23 (2017), pp. 1581--1610 (minor editorial variations)
• Search Publication
The reduced expressions for a given element $w$ of a Coxeter group $(W, S)$ can be regarded as the vertices of a directed graph $\mathcal{R}(w)$; its arcs correspond to the braid moves. Specifically, an arc goes from a reduced expression $a$ to a reduced expression $b$ when $b$ is obtained from $a$ by replacing a contiguous subword of the form $stst...$ (for some distinct $s, t$ in $S$) by $tsts...$ (where both subwords have length $m_{s, t}$, the order of $st$ in $W$). We prove a strong bipartiteness-type result for this graph $\mathcal{R}(w)$: Not only does every cycle of $\mathcal{R}(w)$ have even length; actually, the arcs of $\mathcal{R}(w)$ can be colored (with colors corresponding to the type of braid moves used), and to every color $c$ corresponds an "opposite" color $c^{\operatorname{op}}$ (corresponding to the reverses of the braid moves with color $c$), and for any color $c$, the number of arcs in any given cycle of $\mathcal{R}(w)$ having color in $\left\{c, c^{\operatorname{op}}\right\}$ is even. This is a generalization and strengthening of a 2014 result by Bergeron, Ceballos and Labbé. We state further conjectural extensions.
Hadwiger's Conjecture for squares of 2-Trees
Published in European Journal of Combinatorics 76 (2019): 159-174
• View Publication
• BIB
Hadwiger's conjecture asserts that any graph contains a clique minor with order no less than the chromatic number of the graph. We prove that this well-known conjecture is true for all graphs if and only if it is true for squares of split graphs. This observation implies that Hadwiger's conjecture for squares of chordal graphs is as difficult as the general case, since chordal graphs are a superclass of split graphs. Then we consider 2-trees which are a subclass of each of planar graphs, 2-degenerate graphs and chordal graphs. We prove that Hadwiger's conjecture is true for squares of $2$-trees. We achieve this by proving the following stronger result: for any $2$-tree $T$, its square $T^2$ has a clique minor of order $χ(T^2)$ for which each branch set induces a path, where $χ(T^2)$ is the chromatic number of $T^2$.
Critical window for connectivity in the Configuration Model
Published
• View Publication
• BIB
We identify the asymptotic probability of a configuration model $\mathrm{CM}_n(\boldsymbol{d})$ to produce a connected graph within its critical window for connectivity that is identified by the number of vertices of degree 1 and 2, as well as the expected degree. In this window, the probability that the graph is connected converges to a non-trivial value, and the size of the complement of the giant component weakly converges to a finite random variable. Under a finite second moment condition we also derive the asymptotics of the connectivity probability conditioned on simplicity, from which the asymptotic number of simple connected graphs with a prescribed degree sequence follows.
Augmented Zagreb Index of Polyhex Nanotubes
Augmented Zagreb Index is a newly defined degree based topological invariant which has been well established for its better correlation properties and is defined as $AZI(G)= \sum_{uv\in E(G)}(\frac{d_G (u)d_G (v)}{d_G (u)+ d_G (v)-2})^3 $, where $E(G)$ is the edge set of graph $G$ and $d(u),\,\,d(v)$ are the degrees of the end vertices $u$ and $v$ of edge $uv$, respectively. It has outperformed many well known degree based topological indices. In this article we give closed formulae for the augmented Zagreb index of arm-chair polyhex and zigzag edge polyhex nanotubes.
Improper coloring of graphs on surfaces
Published in Journal of Graph Theory 91(1) (2019), 16-34
• View Publication
• BIB
A graph $G$ is $(d_1,\ldots,d_k)$-colorable if its vertex set can be partitioned into $k$ sets $V_1,\ldots,V_k$, such that for each $i\in\{1, \ldots, k\}$, the subgraph of $G$ induced by $V_i$ has maximum degree at most $d_i$. The Four Color Theorem states that every planar graph is $(0,0,0,0)$-colorable, and a classical result of Cowen, Cowen, and Woodall shows that every planar graph is $(2,2,2)$-colorable. In this paper, we extend both of these results to graphs on surfaces. Namely, we show that every graph embeddable on a surface of Euler genus $g>0$ is $(0,0,0,9g-4)$-colorable and $(2,2,9g-4)$-colorable. Moreover, these graphs are also $(0,0,O(\sqrt{g}),O(\sqrt{g}))$-colorable and $(2,O(\sqrt{g}),O(\sqrt{g}))$-colorable. We also prove that every triangle-free graph that is embeddable on a surface of Euler genus $g$ is $(0, 0, O(g))$-colorable. This is an extension of Grötzsch's Theorem, which states that triangle-free planar graphs are $(0, 0, 0)$-colorable. Finally, we prove that every graph of girth at least 7 that is embeddable on a surface of Euler genus $g$ is $(0,O(\sqrt{g}))$-colorable. All these results are best possible in several ways as the girth condition is sharp, the constant maximum degrees cannot be improved, and the bounds on the maximum degrees depending on $g$ are tight up to a constant multiplicative factor.
Dominating sets in projective planes
Published
• View Publication
• BIB
We describe small dominating sets of the incidence graphs of finite projective planes by establishing a stability result which shows that dominating sets are strongly related to blocking and covering sets. Our main result states that if a dominating set in a projective plane of order $q>81$ is smaller than $2q+2[\sqrt{q}]+2$ (i.e., twice the size of a Baer subplane), then it contains either all but possibly one points of a line or all but possibly one lines through a point. Furthermore, we completely characterize dominating sets of size at most $2q+\sqrt{q}+1$. In Desarguesian planes, we could rely on strong stability results on blocking sets to show that if a dominating set is sufficiently smaller than 3q, then it consists of the union of a blocking set and a covering set apart from a few points and lines.
Maximising the number of induced cycles in a graph
Published
• View Publication
• BIB
We determine the maximum number of induced cycles that can be contained in a graph on $n\ge n_0$ vertices, and show that there is a unique graph that achieves this maximum. This answers a question of Tuza. We also determine the maximum number of odd or even cycles that can be contained in a graph on $n\ge n_0$ vertices and characterise the extremal graphs. This resolves a conjecture of Chvátal and Tuza from 1988.
Quasirandom Cayley graphs
Published in Discrete Analysis 2017:6, 14 pp
• View Publication
• BIB
We prove that the properties of having small discrepancy and having small second eigenvalue are equivalent in Cayley graphs, extending a result of Kohayakawa, Rödl, and Schacht, who treated the abelian case. The proof relies on Grothendieck's inequality. As a corollary, we also prove that a similar result holds in all vertex-transitive graphs.
Reducing the generalised Sudoku problem to the Hamiltonian cycle problem
Published
• View Publication
• BIB
The generalised Sudoku problem with $N$ symbols is known to be NP-complete, and hence is equivalent to any other NP-complete problem, even for the standard restricted version where $N$ is a perfect square. In particular, generalised Sudoku is equivalent to the, classical, Hamiltonian cycle problem. A constructive algorithm is given that reduces generalised Sudoku to the Hamiltonian cycle problem, where the resultant instance of Hamiltonian cycle problem is sparse, and has $O(N^3)$ vertices. The Hamiltonian cycle problem instance so constructed is a directed graph, and so a (known) conversion to undirected Hamiltonian cycle problem is also provided so that it can be submitted to the best heuristics. A simple algorithm for obtaining the valid Sudoku solution from the Hamiltonian cycle is provided. Techniques to reduce the size of the resultant graph are also discussed.
Upper k-tuple total domination in graphs
Published in Pure_and_Applied_Mathematics_Quarterly_13_4_2017_563-579
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. For any integer $k\geq 1$, a subset of $V$ is called a $k$-tuple total dominating set of $G$ if every vertex in $V$ has at least $k$ neighbors in the set. The minimum cardinality of a minimal $k$-tuple total dominating set of $G$ is called the $k$-tuple total domination number of $G$. In this paper, we introduce the concept of upper $k$-tuple total domination number of $G$ as the maximum cardinality of a minimal $k$-tuple total dominating set of $G$, and study the problem of finding a minimal $k$-tuple total dominating set of maximum cardinality on several classes of graphs, as well as finding general bounds and characterizations. Also, we find some results on the upper $k$-tuple total domination number of the Cartesian and cross product graphs.
Double Total Domination in Harary Graphs
Published in Pure_and_Applied_Mathematics_Quarterly_8_1_2017_1-6
• Search Publication
Let $G$ be a graph with minimum degree at least 2. A set $D\subseteq V$ is a double total dominating set of $G$ if each vertex is adjacent to at least two vertices in $D$. The double total domination number $γ_{\times 2,t}(G)$ of $G$ is the minimum cardinality of a double total dominating set of $G$. In this paper, we will find double total domination number of Harary graphs.
k-Tuple Restrained Domination in Graphs
Published
• View Publication
• BIB
For $k \ge 1$ an integer, a set $S$ of vertices in a graph $G$ with minimum degree at least~$k-1$ is a $k$-tuple dominating set of $G$ if every vertex of $S$ is adjacent to at least $k-1$ vertices in $S$ and every vertex of $V(G) \setminus S$ is adjacent to at least $k$ vertices in $S$; that is, $|N_G[v] \cap S| \ge k$ for every vertex $v$ of $G$ where $N_G[v]$ denotes the closed neighborhood of $v$ which consists of $v$ and all neighbors of $v$. A $k$-tuple restrained dominating set of $G$ is a $k$-tuple dominating set $S$ of $G$ with the additional property that every vertex outside $S$ has at least $k$ neighbors outside $S$. The minimum cardinality of a $k$-tuple restrained dominating set of $G$ is the $k$-tuple restrained domination number of $G$. When $k=1$, the $k$-tuple restrained domination number is the well-studied restrained domination number. In this paper, we determine the $k$-tuple restrained domination number of several classes of graphs. Tight upper bounds on the $k$-tuple restrained domination number of a general graph are established. We present basic properties of the $k$-tuple restrained domatic number of a graph which is the maximum number of the classes of a partition of $V(G)$ into $k$-tuple restrained dominating sets of $G$.
The Erdos-Posa Property for Directed Graphs
A classical result by Erdos and Posa states that there is a function $f: {\mathbb N} \rightarrow {\mathbb N}$ such that for every $k$, every graph $G$ contains $k$ pairwise vertex disjoint cycles or a set $T$ of at most $f(k)$ vertices such that $G-T$ is acyclic. The generalisation of this result to directed graphs is known as Younger's conjecture and was proved by Reed, Robertson, Seymour and Thomas in 1996. This so-called Erdos-Posa-property can naturally be generalised to arbitrary graphs and digraphs. Robertson and Seymour proved that a graph $H$ has the Erdos-Posa-property if, and only if, $H$ is planar. In this paper we study the corresponding problem for digraphs. We obtain a complete characterisation of the class of strongly connected digraphs which have the Erdos-Posa-property (both for topological and butterfly minors). We also generalise this result to classes of digraphs which are not strongly connected. In particular, we study the class of vertex-cyclic digraphs (digraphs without trivial strong components). For this natural class of digraphs we obtain a nearly complete characterisation of the digraphs within this class with the Erdos-Posa-property. In particular we give positive and algorithmic examples of digraphs with the Erdos-Posa-property by using directed tree decompositions in a novel way.
Tensor Product Multiplicities via Upper Cluster Algebras
Published in Annales de l'ENS, volume 54, issue 6 (2021)
• View Publication
• BIB
For each valued quiver $Q$ of Dynkin type, we construct a valued ice quiver $Δ_Q^2$. Let $G$ be a simple connected Lie group with Dynkin diagram the underlying valued graph of $Q$. The upper cluster algebra of $Δ_Q^2$ is graded by the triple dominant weights $(μ,ν,λ)$ of $G$. We prove that when $G$ is simply-laced, the dimension of each graded component counts the tensor multiplicity $c_{μ,ν}^λ$. We conjecture that this is also true if $G$ is not simply-laced, and sketch a possible approach. Using this construction, we improve Berenstein-Zelevinsky's model, or in some sense generalize Knutson-Tao's hive model in type $A$.