graph
35150 papers tagged with this keyword
Combinatorics of embeddings
We offer the following explanation of the statement of the Kuratowski graph planarity criterion and of 6/7 of the statement of the Robertson-Seymour-Thomas intrinsic linking criterion. Let us call a cell complex 'dichotomial' if to every cell there corresponds a unique cell with the complementary set of vertices. Then every dichotomial cell complex is PL homeomorphic to a sphere; there exist precisely two 3-dimensional dichotomial cell complexes, and their 1-skeleta are K_5 and K_{3,3}; and precisely six 4-dimensional ones, and their 1-skeleta all but one graphs of the Petersen family.
In higher dimensions n>2, we observe that in order to characterize those compact n-polyhedra that embed in S^{2n} in terms of finitely many "prohibited minors", it suffices to establish finiteness of the list of all (n-1)-connected n-dimensional finite cell complexes that do not embed in S^{2n} yet all their proper subcomplexes and proper cell-like combinatorial quotients embed there. Our main result is that this list contains the n-skeleta of (2n+1)-dimensional dichotomial cell complexes. The 2-skeleta of 5-dimensional dichotomial cell complexes include (apart from the three joins of the i-skeleta of (2i+2)-simplices) at least ten non-simplicial complexes.
Orienting and separating distance-transitive graphs
Published
• View Publication
• BIB
It is shown that exactly 7 distance-transitive cubic graphs among the existing 12 possess a particular ultrahomogeneous property with respect to oriented cycles realizing the girth that allows the construction of a related Cayley digraph with similar ultrahomogeneous properties in which those oriented cycles appear minimally "pulled apart", or "separated" and whose description is truly beautiful and insightful. This work is proposed as the initiation of a study of similar ultrahomogeneous properties for distance-transitive graphs in general with the aim of generalizing to constructions of similar related "separator" Cayley digraphs.
On the number of unlabeled vertices in edge-friendly labelings of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$, and $f$ be a 0-1 labeling of $E(G)$ so that the absolute difference in the number of edges labeled 1 and 0 is no more than one. Call such a labeling $f$ \emph{edge-friendly}. We say an edge-friendly labeling induces a \emph{partial vertex labeling} if vertices which are incident to more edges labeled 1 than 0, are labeled 1, and vertices which are incident to more edges labeled 0 than 1, are labeled 0. Vertices that are incident to an equal number of edges of both labels we call \emph{unlabeled}. Call a procedure on a labeled graph a \emph{label switching algorithm} if it consists of pairwise switches of labels. Given an edge-friendly labeling of $K_n$, we show a label switching algorithm producing an edge-friendly relabeling of $K_n$ such that all the vertices are labeled. We call such a labeling \textit{opinionated}.
The surjectivity of the combinatorial Laplacian on infinite graphs
Published in Enseign. Math. (2) 58 (2012), 125-130
• View Publication
• BIB
Given a connected locally finite simplicial graph $ G$ with vertex set $V$, the combinatorial Laplacian $Δ_G \colon \R^V \to \R^V$ is defined on the space of all real-valued functions on $V$. We prove that $Δ_G$ is surjective if $G$ is infinite.
Approximating Cayley diagrams versus Cayley graphs
Published in Combinatorics, Probability and Computing 21 (2012), 635-641
• Search Publication
We construct a sequence of finite graphs that weakly converge to a Cayley graph, but there is no labelling of the edges that would converge to the corresponding Cayley diagram. A similar construction is used to give graph sequences that converge to the same limit, and such that a spanning tree in one of them has a limit that is not approximable by any subgraph of the other. We give an example where this subtree is a Hamiltonian cycle, but convergence is meant in a stronger sense. These latter are related to whether having a Hamiltonian cycle is a testable graph property.
On the edge-balanced index sets of product graphs
Published in J. Indones. Math. Soc. Special Edition (2011) p. 71-78
• View Publication
• BIB
We characterize strongly edge regular product graphs and find the edge-balanced index sets of complete bipartite graphs without a perfect matching, the direct product $K_n\times K_2$. We also prove a lemma that is helpful to determine the edge-balanced index sets of regular graphs.
Domino shuffling on Novak half-hexagons and Aztec half-diamonds
Published
• View Publication
• BIB
We explore the connections between the well-studied Aztec Diamond graphs and a new family of graphs called the Half-Hexagons, discovered by Jonathan Novak. In particular, both families of graphs have very simple domino shuffling algorithms, which turn out to be intimately related. This connection allows us to prove an "arctic parabola" theorem for the Half-Hexagons as a corollary of the Arctic Circle theorem for the Aztec Diamond.
On Laplacian like energy of trees
Published in MATCH Commun. Math. Comput. Chem. 64 (2010) 111--122
• Search Publication
Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. Laplacian--like energy of a graph is newly proposed graph invariant, defined as the sum of square roots of Laplacian eigenvalues. For bipartite graphs, the Laplacian--like energy coincides with the recently defined incidence energy $IE (G)$ of a graph. In [D. Stevanovi\' c, \textit{Laplacian--like energy of trees}, MATCH Commun. Math. Comput. Chem. 61 (2009), 407--417.] the author introduced a partial ordering of graphs based on Laplacian coefficients. We point out that original proof was incorrect and illustrate the error on the example using Laplacian Estrada index. Furthermore, we found the inverse of Jacobian matrix with elements representing derivatives of symmetric polynomials of order $n$, and provide a corrected elementary proof of the fact: Let $G$ and $H$ be two $n$-vertex graphs; if for Laplacian coefficients holds $c_k (G) \leqslant c_k (H)$ for $k = 1, 2, ..., n - 1$, then $LEL (G) \leqslant LEL (H)$. In addition, we generalize this theorem and provide a necessary condition for functions that satisfy partial ordering based on Laplacian coefficients.
Covering the edges of a random graph by cliques
Published in Combinatorica 15 (1995) pp1-9
• View Publication
• BIB
The clique cover number of a graph G is the minimum number of cliques required to cover the edges of graph G. In this paper we consider the random graph G(n,p), for p constant. We prove that with probability 1-o(1), the clique number of G(n,p) is Theta(n^2/\log^2n).
The phylogeny graphs of doubly partial orders
Published in Discussiones Mathematicae Graph Theory 33 (2013) 657-664
• View Publication
• BIB
The competition graph of a doubly partial order is known to be an interval graph. The CCE graph and the niche graph of a doubly partial order are also known to be interval graphs if the graphs do not contain a cycle of length four and three as an induced subgraph, respectively. Phylogeny graphs are variant of competition graphs. The phylogeny graph $P(D)$ of a digraph $D$ is the (simple undirected) graph defined by $V(P(D)):=V(D)$ and $E(P(D)):=\{xy \mid N^+_D(x) \cap N^+_D(y) \neq \emptyset \} \cup \{xy \mid (x,y) \in A(D) \}$, where $N^+_D(x):=\{v \in V(D) \mid (x,v) \in A(D)\}$.
In this note, we show that the phylogeny graph of a doubly partial order is an interval graph. We also show that, for any interval graph $G$, there exists an interval graph $\tilde{G}$ such that $\tilde{G}$ contains the graph $G$ as an induced subgraph and that $\tilde{G}$ is the phylogeny graph of a doubly partial order.
New Bounds for the Laplacian Spectral Radius of a Signed Graph
We obtain new bounds for the Laplacian spectral radius of a signed graph. Most of these new bounds have a dependence on edge sign, unlike previously known bounds, which only depend on the underlying structure of the graph. We then use some of these bounds to obtain new bounds for the Laplacian and signless Laplacian spectral radius of an unsigned graph by signing the edges all positive and all negative, respectively.
The crossing number of locally twisted cubes
The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a drawing of $G$. Motivated by the recent work [Faria, L., Figueiredo, C.M.H. de, Sykora, O., Vrt'o, I.: An improved upper bound on the crossing number of the hypercube. J. Graph Theory {\bf 59}, 145--161 (2008)] which solves the upper bound conjecture on the crossing number of $n$-dimensional hypercube proposed by Erdős and Guy, we give upper and lower bounds of the crossing number of locally twisted cube, which is one of variants of hypercube.
Graph reductions, binary rank, and pivots in gene assembly
Published in Discrete Appl. Math. 159 (2011), no. 17, 2117-2134
• View Publication
• BIB
We describe a graph reduction operation, generalizing three graph reduction operations related to gene assembly in ciliates. The graph formalization of gene assembly considers three reduction rules, called the positive rule, double rule, and negative rule, each of which removes one or two vertices from a graph. The graph reductions we define consist precisely of all compositions of these rules. We study graph reductions in terms of the adjacency matrix of a graph over the finite field with two elements, and show that they are path invariant, in the sense that the result of a sequence of graph reductions depends only on the vertices removed. The binary rank of a graph is the rank of its adjacency matrix over the finite field with two elements. We show that the binary rank of a graph determines how many times the negative rule is applied in any sequence of positive, double, and negative rules reducing the graph to the empty graph, resolving two open problems posed by Harju, Li, and Petre. We also demonstrate the close relation between graph reductions and the matrix pivot operation, both of which can be studied in terms of the poset of subsets of vertices of a graph that can be removed by a graph reduction.
Holes and a chordal cut in a graph
A set $X$ of vertices of a graph $G$ is called a {\em clique cut} of $G$ if the subgraph of $G$ induced by $X$ is a complete graph and the number of connected components of $G-X$ is greater than that of $G$. A clique cut $X$ of $G$ is called a {\em chordal cut} of $G$ if there exists a union $U$ of connected components of $G-X$ such that $G[U \cup X]$ is a chordal graph.
In this paper, we consider the following problem: Given a graph $G$, does the graph have a chordal cut? We show that $K_{2,2,2}$-free hole-edge-disjoint graphs have chordal cuts if they satisfy a certain condition.
Some other algebraic properties of folded hypercubes
We construct explicity the automorphism group of the folded hypercube $FQ_n$ of dimension $n>3$, as a semidirect product of $N$ by $M$, where $N$ is isomorphic to the Abelian group $Z_2^n$, and $M$ is isomorphic to $Sym(n+1)$, the symmetric group of degree $n+1$, then we will show that the folded hypercube $FQ_n$ is a symmetric graph.
Large chromatic number and Ramsey graphs
Let Q(n,c) denote the minimum clique size an n-vertex graph can have if its chromatic number is c. Using Ramsey graphs we give an exact, albeit implicit, formula for the case c is at least (n+3)/2.
Simplified existence theorems on all fractional [a,b]-factors
Published
• View Publication
• BIB
Let $G$ be a graph with order $n$ and let $g, f : V (G)\rightarrow N$ such that $g(v)\leq f(v)$ for all $v\in V(G)$. We say that $G$ has all fractional $(g, f)$-factors if $G$ has a fractional $p$-factor for every $p: V (G)\rightarrow N$ such that $g(v)\leq p(v)\leq f (v)$ for every $v\in V(G)$. Let $a<b$ be two positive integers. %and $G$ \textbf{a graph} of order $n$ sufficiently large %for $a$ and $b$. If $g\equiv a$, $f\equiv b$ and $G$ has all fractional $(g,f)$-factors, then we say that $G$ has all fractional $[a,b]$-factors. Suppose that $n$ is sufficiently large for $a$ and $b$.
This paper contains two results on the existence of all $(g,f)$-factors of graphs. First, we derive from Anstee's fractional $(g,f)$-factor theorem a similar characterization for the property of all fractional $(g,f)$-factors. Second, we show that $G$ has all fractional $[a, b]$-factors if the minimum degree is at least $\frac{1}{4a}((a+b-1)^2+4b)$ and every pair of nonadjacent vertices has cardinality of the neighborhood union at least $bn/(a + b)$. These lower bounds are sharp.
Ollivier's Ricci curvature, local clustering and curvature dimension inequalities on graphs
Published in Discrete Comput. Geom. 51 (2014), no. 2, 300-322
• View Publication
• BIB
In this paper, we explore the relationship between one of the most elementary and important properties of graphs, the presence and relative frequency of triangles, and a combinatorial notion of Ricci curvature. We employ a definition of generalized Ricci curvature proposed by Ollivier in a general framework of Markov processes and metric spaces and applied in graph theory by Lin-Yau. In analogy with curvature notions in Riemannian geometry, we interpret this Ricci curvature as a control on the amount of overlap between neighborhoods of two neighboring vertices. It is therefore naturally related to the presence of triangles containing those vertices, or more precisely, the local clustering coefficient, that is, the relative proportion of connected neighbors among all the neighbors of a vertex. This suggests to derive lower Ricci curvature bounds on graphs in terms of such local clustering coefficients. We also study curvature dimension inequalities on graphs, building upon previous work of several authors.
On the maximal energy tree with two maximum degree vertices
Published
• View Publication
• BIB
For a simple graph $G$, the energy $E(G)$ is defined as the sum of the absolute values of all eigenvalues of its adjacent matrix. For $Δ\geq 3$ and $t\geq 3$, denote by $T_a(Δ,t)$ (or simply $T_a$) the tree formed from a path $P_t$ on $t$ vertices by attaching $Δ-1$ $P_2$'s on each end of the path $P_t$, and $T_b(Δ, t)$ (or simply $T_b$) the tree formed from $P_{t+2}$ by attaching $Δ-1$ $P_2$'s on an end of the $P_{t+2}$ and $Δ-2$ $P_2$'s on the vertex next to the end. In [X. Li, X. Yao, J. Zhang and I. Gutman, Maximum energy trees with two maximum degree vertices, J. Math. Chem. 45(2009), 962--973], Li et al. proved that among trees of order $n$ with two vertices of maximum degree $Δ$, the maximal energy tree is either the graph $T_a$ or the graph $T_b$, where $t=n+4-4Δ\geq 3$. However, they could not determine which one of $T_a$ and $T_b$ is the maximal energy tree. This is because the quasi-order method is invalid for comparing their energies. In this paper, we use a new method to determine the maximal energy tree. It turns out that things are more complicated. We prove that the maximal energy tree is $T_b$ for $Δ\geq 7$ and any $t\geq 3$, while the maximal energy tree is $T_a$ for $Δ=3$ and any $t\geq 3$. Moreover, for $Δ=4$, the maximal energy tree is $T_a$ for all $t\geq 3$ but $t=4$, for which $T_b$ is the maximal energy tree. For $Δ=5$, the maximal energy tree is $T_b$ for all $t\geq 3$ but $t$ is odd and $3\leq t\leq 89$, for which $T_a$ is the maximal energy tree. For $Δ=6$, the maximal energy tree is $T_b$ for all $t\geq 3$ but $t=3,5,7$, for which $T_a$ is the maximal energy tree. One can see that for most $Δ$, $T_b$ is the maximal energy tree, $Δ=5$ is a turning point, and $Δ=3$ and 4 are exceptional cases.
Domination Reliability
Published in Electronic Journal of Combinatorics, 19 (2012), #P15
• View Publication
• BIB
We propose a new network reliability measure for some particular kind of service networks, which we refer to as domination reliability. We relate this new reliability measure to the domination polynomial of a graph and the coverage probability of a hypergraph. We derive explicit and recursive formulae for domination reliability and its associated domination reliability polynomial, deduce an analogue of Whitney's broken circuit theorem, and prove that computing domination reliability is NP-hard.