graph
34905 papers tagged with this keyword
Sufficient spectral conditions on Hamiltonian and traceable graphs
Published in Linear Algebra and its Applications 467 (2015) 254-266
• View Publication
• BIB
In this paper, we give sufficient conditions on the spectral radius for a bipartite graph to Hamiltonian and traceable, which expand the results of Lu, Liu and Tian (2012) [10]. Furthermore, we also present tight sufficient conditions on the signless Laplacian spectral radius for a graph to Hamiltonian and traceable, which improve the results of Yu and Fan (2012) [12].
Nowhere-zero 5-flows on cubic graphs with oddness 4
Published
• View Publication
• BIB
Tutte's 5-Flow Conjecture from 1954 states that every bridgeless graph has a nowhere-zero 5-flow. In 2004, Kochol proved that the conjecture is equivalent to its restriction on cyclically 6-edge connected cubic graphs. We prove that every cyclically 6-edge-connected cubic graph with oddness at most 4 has a nowhere-zero 5-flow.
Simplicial branching random walks and their applications
Published
• View Publication
• BIB
We define a new stochastic process on general simplicial complexes which allows to study their spectral and homological properties. Some results for random walks on graphs are shown to hold in this general setting. As an application, the process is used to calculate the spectral measure of high-dimensional analogues of regular trees and to construct solutions to the high-dimensional Dirichlet problem for forms.
Maximizing algebraic connectivity for certain families of graphs
Published
• View Publication
• BIB
We investigate the bounds on algebraic connectivity of graphs subject to constraints on the number of edges, vertices, and topology. We show that the algebraic connectivity for any tree on $n$ vertices and with maximum degree $d$ is bounded above by $2(d-2) \frac{1}{n}+O(\frac{\ln n}{n^{2}}) .$ We then investigate upper bounds on algebraic connectivity for cubic graphs. We show that algebraic connectivity of a cubic graph of girth $g$ is bounded above by $3-2^{3/2}\cos(π/\lfloor g/2\rfloor) ,$ which is an improvement over the bound found by Nilli [A. Nilli, Electron. J. Combin., 11(9), 2004]. Finally, we propose several conjectures and open questions.
Densities in large permutations and parameter testing
Published
• View Publication
• BIB
A classical theorem of Erdos, Lovasz and Spencer asserts that the densities of connected subgraphs in large graphs are independent. We prove an analogue of this theorem for permutations and we then apply the methods used in the proof to give an example of a finitely approximable permutation parameter that is not finitely forcible. The latter answers a question posed by two of the authors and Moreira and Sampaio.
Bipartite Communities
For a given graph, $G$, let $A$ be the adjacency matrix, $D$ is the diagonal matrix of degrees, $L' = D - A$ is the combinatorial Laplacian, and $L = D^{-1/2}L'D^{-1/2}$ is the normalized Laplacian. Recently, the eigenvectors corresponding to the smallest eigenvalues of $L$ and $L'$ have been of great interest because of their application to community detection, which is a nebulously defined problem that essentially seeks to find a vertex set $S$ such that there are few edges incident with exactly one vertex of $S$. The connection between community detection and the second smallest eigenvalue (and the corresponding eigenvector) is well-known. The $k$ smallest eigenvalues have been used heuristically to find multiple communities in the same graph, and a justification with theoretical rigor for the use of $k \geq 3$ eigenpairs has only been found very recently.
The largest eigenpair of $L$ has been used more classically to solve the MAX-CUT problem, which seeks to find a vertex set $S$ that maximizes the number of edges incident with exactly one vertex of $S$. Very recently Trevisan presented a connection between the largest eigenvalue of $L$ and a recursive approach to the MAX-CUT problem that seeks to find a "bipartite community" at each stage. This is related to Kleinberg's HITS algorithm that finds the largest eigenvalue of $A^TA$. We will provide a justification with theoretical rigor for looking at the $k$ largest eigenvalues of $L$ to find multiple bipartite communities in the same graph, and then provide a heuristic algorithm to find strong bipartite communities that is based on the intuition developed by the theoretical methods. Finally, we will present the results of applying our algorithm to various data-mining problems.
Representing Graphs via Pattern Avoiding Words
Published
• View Publication
• BIB
The notion of a word-representable graph has been studied in a series of papers in the literature. A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. If $V =\{1, \ldots, n\}$, this is equivalent to saying that $G$ is word-representable if for all $x,y \in \{1, \ldots, n\}$, $xy \in E$ if and only if the subword $w_{\{x,y\}}$ of $w$ consisting of all occurrences of $x$ or $y$ in $w$ has no consecutive occurrence of the pattern 11.
In this paper, we introduce the study of $u$-representable graphs for any word $u \in \{1,2\}^*$. A graph $G$ is $u$-representable if and only if there is a labeled version of $G$, $G=(\{1, \ldots, n\}, E)$, and a word $w \in \{1, \ldots, n\}^*$ such that for all $x,y \in \{1, \ldots, n\}$, $xy \in E$ if and only if $w_{\{x,y\}}$ has no consecutive occurrence of the pattern $u$. Thus, word-representable graphs are just $11$-representable graphs. We show that for any $k \geq 3$, every finite graph $G$ is $1^k$-representable. This contrasts with the fact that not all graphs are 11-representable graphs.
The main focus of the paper is the study of $12$-representable graphs. In particular, we classify the $12$-representable trees. We show that any $12$-representable graph is a comparability graph and the class of $12$-representable graphs include the classes of co-interval graphs and permutation graphs. We also state a number of facts on $12$-representation of induced subgraphs of a grid graph.
Maximal-clique partitions and the Roller Coaster Conjecture
Published
• View Publication
• BIB
A graph $G$ is {\em well-covered} if every maximal independent set has the same cardinality $q$. Let $i_k(G)$ denote the number of independent sets of cardinality $k$ in $G$. Brown, Dilcher, and Nowakowski conjectured that the independence sequence $(i_0(G), i_1(G), \ldots, i_q(G))$ was unimodal for any well-ordered graph $G$ with independence number $q$. Michael and Traves disproved this conjecture. Instead they posited the so-called ``Roller Coaster" Conjecture: that the terms \[
i_{\left\lceil\frac{q}2\right\rceil}(G), i_{\left\lceil\frac{q}2\right\rceil+1}(G), \ldots, i_q(G) \] could be in any specified order for some well-covered graph $G$ with independence number $q$. Michael and Traves proved the conjecture for $q<8$ and Matchett extended this to $q<12$.
In this paper, we prove the Roller Coaster Conjecture using a construction of graphs with a property related to that of having a maximal-clique partition. In particular, we show, for all pairs of integers $1\le k<q$ and positive integers $m$, that there is a well-covered graph $G$ with independence number $q$ for which every independent set of size $k+1$ is contained in a unique maximal independent set, but each independent set of size $k$ is contained in at least $m$ distinct independent sets.
A Survey of directed graphs invariants
In this paper, various kinds of invariants of directed graphs are summarized. In the first topic, the invariant w(G) for a directed graph G is introduced, which is primarily defined by S. Chen and X.M. Chen to solve a problem of weak connectedness of tensor product of two directed graphs. Further, we present our recent studies on the invariant w(G) in categorical view.
In the second topic, Homology theory on directed graph is introduced, and we also cast on categorical view of the definition.
The third topic mainly focuses on Laplacians on graphs, including traditional work and latest result of 1-laplacian by K.C.Chang.
Finally, Zeta functions and Graded graphs are introduced, inclduing Bratteli-Vershik diagram, dual graded graphs and differential posets, with some applications in dynamic system.
Zeta-equivalent digraphs: Simultaneous cospectrality
Published
• View Publication
• BIB
We introduce a zeta function of digraphs that determines, and is determined by, the spectra of all linear combinations of the adjacency matrix, its transpose, the out-degree matrix, and the in-degree matrix. In particular, zeta-equivalence of graphs encompasses simultaneous cospectrality with respect to the adjacency, the Laplacian, the signless Laplacian, and the normalized Laplacian matrix, respectively. In addition, we express zeta-equivalence in terms of Markov chains and in terms of invasions where each edge is replaced by a fixed digraph. We finish with a method for constructing zeta-equivalent digraphs.
Abelian sandpile model and Biggs-Merino polynomial for directed graphs
Published in J. Combin. Theory Ser. A 154 (2018), 145-171
• View Publication
• BIB
We prove several results concerning a polynomial that arises from the sandpile model on directed graphs; these results are previously only known for undirected graphs. Implicit in the sandpile model is the choice of a sink vertex, and it is conjectured by Perrot and Pham that the polynomial $c_0+c_1y+\ldots c_n y^n$, where $c_i$ is the number of recurrent classes of the sandpile model with level $i$, is independent of the choice of the sink. We prove their conjecture by expressing the polynomial as an invariant of the sinkless sandpile model. We then present a bijection between arborescences of directed graphs and reverse $G$-parking functions that preserves external activity by generalizing Cori-Le Borgne bijection for undirected graphs. As an application of this bijection, we extend Merino's Theorem by showing that for Eulerian directed graphs the polynomial $c_0+c_1y+\ldots c_n y^n$ is equal to the greedoid polynomial of the graph.
Irreversible 2-conversion set in graphs of bounded degree
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (September 26, 2017) dmtcs:2559
• View Publication
• BIB
An irreversible $k$-threshold process (also a $k$-neighbor bootstrap percolation) is a dynamic process on a graph where vertices change color from white to black if they have at least $k$ black neighbors. An irreversible $k$-conversion set of a graph $G$ is a subset $S$ of vertices of $G$ such that the irreversible $k$-threshold process starting with $S$ black eventually changes all vertices of $G$ to black. We show that deciding the existence of an irreversible 2-conversion set of a given size is NP-complete, even for graphs of maximum degree 4, which answers a question of Dreyer and Roberts. Conversely, we show that for graphs of maximum degree 3, the minimum size of an irreversible 2-conversion set can be computed in polynomial time. Moreover, we find an optimal irreversible 3-conversion set for the toroidal grid, simplifying constructions of Pike and Zou.
Dominating induced matchings of finite graphs and regularity of edge ideals
Published
• View Publication
• BIB
The regularity of an edge ideal of a finite simple graph $G$ is at least the induced matching number of $G$ and is at most the minimum matching number of $G$. If $G$ possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of $G$ is equal to the minimum matching number of $G$. In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied.
All fractional (g,f)-factors in graphs
Let $G$ be a graph, and $g,f:V(G)\rightarrow N$ be two functions with $g(x)\leq f(x)$ for each vertex $x$ in $G$. We say that $G$ has all fractional $(g,f)$-factors if $G$ includes a fractional $r$-factor for every $r:V(G)\rightarrow N$ such that $g(x)\leq r(x)\leq f(x)$ for each vertex $x$ in $G$. Let $H$ be a subgraph of $G$. We say that $G$ admits all fractional $(g,f)$-factors including $H$ if for every $r:V(G)\rightarrow N$ with $g(x)\leq r(x)\leq f(x)$ for each vertex $x$ in $G$, $G$ includes a fractional $r$-factor $F_h$ with $h(e)=1$ for any $e\in E(H)$, then we say that $G$ admits all fractional $(g,f)$-factors including $H$, where $h:E(G)\rightarrow [0,1]$ is the indicator function of $F_h$. In this paper, we obtain a characterization for the existence of all fractional $(g,f)$-factors including $H$ and pose a sufficient condition for a graph to have all fractional $(g,f)$-factors including $H$.
The Parameterized Complexity of Graph Cyclability
Published
• View Publication
• BIB
The cyclability of a graph is the maximum integer $k$ for which every $k$ vertices lie on a cycle. The algorithmic version of the problem, given a graph $G$ and a non-negative integer $k,$ decide whether the cyclability of $G$ is at least $k,$ is {\sf NP}-hard. We study the parametrized complexity of this problem. We prove that this problem, parameterized by $k,$ is ${\sf co\mbox{-}W[1]}$-hard and that its does not admit a polynomial kernel on planar graphs, unless ${\sf NP}\subseteq{\sf co}\mbox{-}{\sf NP}/{\sf poly}$. On the positive side, we give an {\sf FPT} algorithm for planar graphs that runs in time $2^{2^{O(k^2\log k)}}\cdot n^2$. Our algorithm is based on a series of graph-theoretical results on cyclic linkages in planar graphs.
Permutation combinatorics of worldsheet moduli space
Published in Phys. Rev. D 91, 126001 (2015)
• View Publication
• BIB
Light-cone string diagrams have been used to reproduce the orbifold Euler characteristic of moduli spaces of punctured Riemann surfaces at low genus and with few punctures. Nakamura studied the meromorphic differential introduced by Giddings and Wolpert to characterise light-cone diagrams and introduced a class of graphs related to this differential. These Nakamura graphs were used to parametrise the cells in a light-cone cell decomposition of moduli space. We develop links between Nakamura graphs and realisations of the worldsheet as branched covers. This leads to a development of the combinatorics of Nakamura graphs in terms of permutation tuples. For certain classes of cells, including those of top dimension, there is a simple relation to Belyi maps, which allows us to use results from Hermitian and complex matrix models to give analytic formulae for the counting of cells at arbitrarily high genus. For the most general cells, we develop a new equivalence relation on Hurwitz classes which organises the cells and allows efficient enumeration of Nakamura graphs using the group theory software GAP.
Playing weighted Tron on Trees
Published
• View Publication
• BIB
We consider the weighted version of the Tron game on graphs where two players, Alice and Bob, each build their own path by claiming one vertex at a time, starting with Alice. The vertices carry non-negative weights that sum up to 1 and either player tries to claim a path with larger total weight than the opponent. We show that if the graph is a tree then Alice can always ensure to get at most 1/5 less than Bob, and that there exist trees where Bob can ensure to get at least 1/5 more than Alice.
On the Spectrum of the Generalised Petersen Graphs
Published
• View Publication
• BIB
We show that the gap between the two greatest eigenvalues of the generalised Petersen graphs $P(n,k)$ tends to zero as $n \rightarrow \infty$. Moreover, we provide explicit upper bounds on the size of this gap. It follows that these graphs have poor expansion properties for large values of $n$. We also show that a positive proportion of the eigenvalues of $P(n,k)$ tend to the valency.
Some Computations for Binomial Edge Ideals and Koszul Duality
We make some observations on binomial edge ideals, with the characterization of their Koszulness as motivation. Inspired by results of Ene, Herzog and Hibi, we discuss building Koszul graphs from smaller pieces in a controlled manner. We characterize the Koszul property of cone graphs and compute the dual algebra of the quadratic algebra coming from an arbitrary binomial edge ideal. We compute the first two syzygies of the infinite minimal free resolution of the residue field over the algebra defined by a binomial edge ideal, and observe that they are always linear.
$3$-Regular mixed graphs with optimum Hermitian energy
Published
• View Publication
• BIB
Let $G$ be a simple undirected graph, and $G^φ$ be a mixed graph of $G$ with the generalized orientation $φ$ and Hermitian-adjacency matrix $H(G^φ)$. Then $G$ is called the underlying graph of $G^φ$. The Hermitian energy of the mixed graph $G^φ$, denoted by $\mathcal{E}_H(G^φ)$, is defined as the sum of all the singular values of $H(G^φ)$. A $k$-regular mixed graph on $n$ vertices having Hermitian energy $n\sqrt{k}$ is called a $k$-regular optimum Hermitian energy mixed graph. In this paper, we first focus on the problem proposed by Liu and Li [J. Liu, X. Li, Hermitian-adjacency matrices and Hermitian energies of mixed graphs, Linear Algebra Appl. 466(2015), 182--207] of determining all the $3$-regular connected optimum Hermitian energy mixed graphs. We then prove that optimum Hermitian energy oriented graphs with underlying graph hypercube are unique (up to switching equivalence).