graph
34995 papers tagged with this keyword
The structure of graphs with a vital linkage of order 2
Published
• View Publication
• BIB
A linkage of order k of a graph G is a subgraph with k components, each of which is a path. A linkage is vital if it spans all vertices, and no other linkage connects the same pairs of end vertices. We give a characterization of the graphs with a vital linkage of order 2: they are certain minors of a family of highly structured graphs.
Wiener Indices of Spiro and Polyphenyl Hexagonal Chains
Published
• View Publication
• BIB
The Wiener index W(G) of a connected graph $G$ is the sum of distances between all pairs of vertices in G$. In this paper, we first give the recurrences or explicit formulae for computing the Wiener indices of spiro and polyphenyl hexagonal chains, which are graphs of a class of unbranched multispiro molecules and polycyclic aromatic hydrocarbons, then we establish a relation between the Wiener indices of a spiro hexagonal chain and its corresponding polyphenyl hexagonal chain, and determine the extremal values and characterize the extremal graphs with respect to the Wiener index among all spiro and polyphenyl hexagonal chains with n hexagons, respectively. An interesting result shows that the average value of the Wiener indices with respect to the set of all such hexagonal chains is exactly the average value of the Wiener indices of three special hexagonal chains, and is just the Wiener index of the meta-chain.
List precoloring extension in planar graphs
Published in Discrete Math 311 (2011), no. 12, 1046-1056
• View Publication
• BIB
A celebrated result of Thomassen states that not only can every planar graph be colored properly with five colors, but no matter how arbitrary palettes of five colors are assigned to vertices, one can choose a color from the corresponding palette for each vertex so that the resulting coloring is proper. This result is referred to as 5-choosability of planar graphs. Albertson asked whether Thomassen's theorem can be extended by precoloring some vertices which are at a large enough distance apart in a graph. Here, among others, we answer the question in the case when the graph does not contain short cycles separating precolored vertices and when there is a "wide" Steiner tree containing all the precolored vertices.
The Tutte polynomial of the Sierpinski and Hanoi graphs
Published in Advances in Geometry, Vol. 13 (2013), Issue 4, 663-694
• View Publication
• BIB
We study the Tutte polynomial of two infinite families of finite graphs: the Sierpiński graphs, which are finite approximations of the well-known Sierpiński gasket, and the Schreier graphs of the Hanoi Towers group $H^{(3)}$ acting on the rooted ternary tree. For both of them, we recursively describe the Tutte polynomial and we compute several special evaluations of it, giving interesting results about the combinatorial structure of these graphs.
Construction of directed strongly regular graphs using finite incidence structures
We use finite incident structures to construct new infinite families of directed strongly regular graphs with parameters \[(l(q-1)q^l,\ l(q-1)q^{l-1},\ (lq-l+1)q^{l-2},\ (l-1)(q-1)q^{l-2},\ (lq-l+1)q^{l-2})\] for integers $q$ and $l$ ($q, l\ge 2$), and \[(lq^2(q-1),\ lq(q-1),\ lq-l+1,\ (l-1)(q-1),\ lq-l+1)\] for all prime powers $q$ and $l\in \{1, 2,..., q\}$. The new graphs given by these constructions have parameters $(36, 12, 5, 2, 5)$, $(54, 18, 7, 4, 7)$, $(72, 24, 10, 4, 10)$, $(96, 24, 7, 3, 7)$, $(108, 36, 14, 8, 14)$ and $(108, 36, 15, 6, 15)$ listed as feasible parameters on "Parameters of directed strongly regular graphs," at ${http://homepages.cwi.nl/^\sim aeb/math/dsrg/dsrg.html}$ by S. Hobart and A. E. Brouwer. We review these constructions and show how our methods may be used to construct other infinite families of directed strongly regular graphs.
The number of F-matchings in almost every tree is a zero residue
Published
• View Publication
• BIB
For graphs F and G an F-matching in G is a subgraph of G consisting of pairwise vertex disjoint copies of F. The number of F-matchings in G is denoted by s(F,G). We show that for every fixed positive integer m and every fixed tree F, the probability that s(F,T_n) = 0 mod m, where T_n is a random labeled tree with n vertices, tends to one exponentially fast as n grows to infinity. A similar result is proven for induced F-matchings. This generalizes a recent result of Wagner who showed that the number of independent sets in a random labeled tree is almost surely a zero residue.
Approximating the Tutte polynomial of a binary matroid and other related combinatorial polynomials
Published in JCSS 79(1) (February, 2013) 68-78
• View Publication
• BIB
We consider the problem of approximating certain combinatorial polynomials. First, we consider the problem of approximating the Tutte polynomial of a binary matroid with parameters q>= 2 and gamma. (Relative to the classical (x,y) parameterisation, q=(x-1)(y-1) and gamma=y-1.) A graph is a special case of a binary matroid, so earlier work by the authors shows inapproximability (subject to certain complexity assumptions) for q>2, apart from the trivial case gamma=0. The situation for q=2 is different. Previous results for graphs imply inapproximability in the region -2<=gamma<0, apart from at two "special points" where the polynomial can be computed exactly in polynomial time. For binary matroids, we extend this result by showing (i) there is no FPRAS in the region gamma<-2 unless NP=RP, and (ii) in the region gamma>0, the approximation problem is hard for the complexity class #RHPi_1 under approximation-preserving (AP) reducibility. The latter result indicates a gap in approximation complexity at q=2: whereas an FPRAS is known in the graphical case, there can be none in the binary matroid case, unless there is an FPRAS for all of #RHPi_1. The result also implies that it is computationally difficult to approximate the weight enumerator of a binary linear code, apart from at the special weights at which the problem is exactly solvable in polynomial time. As a consequence, we show that approximating the cycle index polynomial of a permutation group is hard for #RHPi_1 under AP-reducibility, partially resolving a question that we first posed in 1992.
Counting unicellular maps on non-orientable surfaces
Published in Advances in Applied Mathematics, 47(2):259-275 (2011)
• View Publication
• BIB
A unicellular map is the embedding of a connected graph in a surface in such a way that the complement of the graph is a topological disk. In this paper we present a bijective link between unicellular maps on a non-orientable surface and unicellular maps of a lower topological type, with distinguished vertices. From that we obtain a recurrence equation that leads to (new) explicit counting formulas for non-orientable unicellular maps of fixed topology. In particular, we give exact formulas for the precubic case (all vertices of degree 1 or 3), and asymptotic formulas for the general case, when the number of edges goes to infinity. Our strategy is inspired by recent results obtained by the second author for the orientable case, but significant novelties are introduced: in particular we construct an involution which, in some sense, "averages" the effects of non-orientability.
A new combinatorial identity for unicellular maps, via a direct bijective approach
Published in Advances in Applied Mathematics, 47(4):874-893 (2011)
• View Publication
• BIB
A unicellular map, or one-face map, is a graph embedded in an orientable surface such that its complement is a topological disk. In this paper, we give a new viewpoint to the structure of these objects, by describing a decomposition of any unicellular map into a unicellular map of smaller genus. This gives a new combinatorial identity for the number $ε_g(n)$ of unicellular maps of size $n$ and genus $g$. Contrarily to the Harer-Zagier recurrence formula, this identity is recursive in only one parameter (the genus). Iterating the construction gives an explicit bijection between unicellular maps and plane trees with distinguished vertices, which gives a combinatorial explanation (and proof) of the fact that $ε_g(n)$ is the product of the $n$-th Catalan number by a polynomial in $n$. The combinatorial interpretation also gives a new and simple formula for this polynomial. Variants of the problem are considered, like bipartite unicellular maps, or unicellular maps with cubic vertices only.
Total Edge Irregularity Strength of Large Graphs
Published
• View Publication
• BIB
Let $m:=|E(G)|$ sufficiently large and $s:=(m-1)/3$. We show that unless the maximum degree $Δ> 2s$, there is a weighting $w:E\cup V\to \{0,1,...,s\}$ so that $w(uv)+w(u)+w(v)\ne w(u'v')+w(u')+w(v')$ whenever $uv\ne u'v'$ (such a weighting is called {\em total edge irregular}). This validates a conjecture by Ivanco and Jendrol' for large graphs, extending a result by Brandt, Miskuf and Rautenbach.
Evolving Graph Representation and Visualization
The study of evolution of networks has received increased interest with the recent discovery that many real-world networks possess many things in common, in particular the manner of evolution of such networks. By adding a dimension of time to graph analysis, evolving graphs present opportunities and challenges to extract valuable information. This paper introduces the Evolving Graph Markup Language (EGML), an XML application for representing evolving graphs and related results. Along with EGML, a software tool is provided for the study of evolving graphs. New evolving graph drawing techniques based on the force-directed graph layout algorithm are also explored. Our evolving graph techniques reduce vertex movements between graph instances, so that an evolving graph can be viewed with smooth transitions
Classification of real Bott manifolds and acyclic digraphs
Published in Trans. Amer. Math. Soc. 369 (2017), pp. 2987-3011
• View Publication
• BIB
We completely characterize real Bott manifolds up to affine diffeomorphism in terms of three simple matrix operations on square binary matrices obtained from strictly upper triangular matrices by permuting rows and columns simultaneously. We also prove that any graded ring isomorphism between the cohomology rings of real Bott manifolds with $\mathbb Z/2$ coefficients is induced by an affine diffeomorphism between the real Bott manifolds.
Our characterization can also be described in terms of graph operations on directed acyclic graphs. Using this combinatorial interpretation, we prove that the decomposition of a real Bott manifold into a product of indecomposable real Bott manifolds is unique up to permutations of the indecomposable factors. Finally, we produce some numerical invariants of real Bott manifolds from the viewpoint of graph theory and discuss their topological meaning. As a by-product, we prove that the toral rank conjecture holds for real Bott manifolds.
The Merrifield-Simmons conjecture holds for bipartite graphs
Published in Journal of Graph Theory 72(4) (2013) 478-486
• View Publication
• BIB
Let $G = (V, E)$ be a graph and $σ(G)$ the number of independent (vertex) sets in $G$. Then the Merrifield-Simmons conjecture states that the sign of the term $σ(G_{-u}) \cdot σ(G_{-v}) - σ(G) \cdot σ(G_{-u-v})$ only depends on the parity of the distance of the vertices $u, v \in V$ in $G$. We prove that the conjecture holds for bipartite graphs by considering a generalization of the term, where vertex subsets instead of vertices are deleted.
Decomposition Algorithm for Median Graph of Triangulation of a Bordered 2D Surface
Published
• View Publication
• BIB
This paper develops an algorithm that identifies and decomposes a median graph of a triangulation of a 2-dimensional (2D) oriented bordered surface and in addition restores all corresponding triangulation whenever they exist. The algorithm is based on the consecutive simplification of the given graph by reducing degrees of its nodes. From the paper \cite{FST1}, it is known that such graphs can not have nodes of degrees above 8. Neighborhood of nodes of degrees 8,7,6,5, and 4 are consecutively simplified. Then, a criterion is provided to identify median graphs with nodes of degrees at most 3. As a byproduct, we produce an algorithm that is more effective than previous known to determine quivers of finite mutation type of size greater than 10.
A Census of Vertices by Generations in Regular Tessellations of the Plane
Published
• View Publication
• BIB
We consider regular tessellations of the plane as infinite graphs in which $q$ edges and $q$ faces meet at each vertex, and in which $p$ edges and $p$ vertices surround each face. For $1/p + 1/q = 1/2$, these are tilings of the Euclidean plane; for $1/p + 1/q < 1/2 $, they are tilings of the hyperbolic plane. We choose a vertex as the origin, and classify vertices into generations according to their distance (as measured by the number of edges in a shortest path) from the origin. For all $p\ge 3$ and $q \ge 3$ with $1/p + 1/q \le 1/2 $, we determine the rational generating function giving the number of vertices in each generation.
Local Statistics of Realizable Vertex Models
Published in Communications in Mathematical Physics, Volume 304, Number 3, 723-763, 2011
• View Publication
• BIB
We study planar "vertex" models, which are probability measures on edge subsets of a planar graph, satisfying certain constraints at each vertex, examples including dimer model, and 1-2 model, which we will define. We express the local statistics of a large class of vertex models on a finite hexagonal lattice as a linear combination of the local statistics of dimers on the corresponding Fisher graph, with the help of a generalized holographic algorithm. Using an $n\times n$ torus to approximate the periodic infinite graph, we give an explicit integral formula for the free energy and local statistics for configurations of the vertex model on an infinite bi-periodic graph. As an example, we simulate the 1-2 model by the technique of Glauber dynamics.
An Inaccessible Graph
Published
• View Publication
• BIB
An inaccessible, vertex transitive, locally finite graph is described. This graph is not quasi-isometric to a Cayley graph.
Covering line graphs with equivalence relations
Published in Discrete Applied Math., 158(17) (2010), 1902-1907
• View Publication
• BIB
An equivalence graph is a disjoint union of cliques, and the equivalence number $\mathit{eq}(G)$ of a graph $G$ is the minimum number of equivalence subgraphs needed to cover the edges of $G$. We consider the equivalence number of a line graph, giving improved upper and lower bounds: $\frac 13 \log_2\log_2 χ(G) < \mathit{eq}(L(G)) \leq 2\log_2\log_2 χ(G) + 2$. This disproves a recent conjecture that $\mathit{eq}(L(G))$ is at most three for triangle-free $G$; indeed it can be arbitrarily large.
To bound $\mathit{eq}(L(G))$ we bound the closely-related invariant $σ(G)$, which is the minimum number of orientations of $G$ such that for any two edges $e,f$ incident to some vertex $v$, both $e$ and $f$ are oriented out of $v$ in some orientation. When $G$ is triangle-free, $σ(G)=\mathit{eq}(L(G))$. We prove that even when $G$ is triangle-free, it is NP-complete to decide whether or not $σ(G)\leq 3$.
Injective colorings of graphs with low average degree
Published in Algorithmica. Vol. 60(3), 2011, pp. 553-568
• View Publication
• BIB
Let $\mad(G)$ denote the maximum average degree (over all subgraphs) of $G$ and let $χ_i(G)$ denote the injective chromatic number of $G$. We prove that if $Δ\geq 4$ and $\mad(G)<\frac{14}5$, then $χ_i(G)\leqΔ+2$. When $Δ=3$, we show that $\mad(G)<\frac{36}{13}$ implies $χ_i(G)\le 5$. In contrast, we give a graph $G$ with $Δ=3$, $\mad(G)=\frac{36}{13}$, and $χ_i(G)=6$.
A New Lower Bound on the Density of Vertex Identifying Codes for the Infinite Hexagonal Grid
Published in Electronic J. of Combinatorics, R113, Volume 16(1), 2009
• View Publication
• BIB
Given a graph $G$, an identifying code $C \subseteq V(G)$ is a vertex set such that for any two distinct vertices $v_1,v_2\in V(G)$, the sets $N[v_1]\cap C$ and $N[v_2]\cap C$ are distinct and nonempty (here $N[v]$ denotes a vertex $v$ and its neighbors). We study the case when $G$ is the infinite hexagonal grid $H$. Cohen et.al. constructed two identifying codes for $H$ with density $3/7$ and proved that any identifying code for $H$ must have density at least $16/39\approx0.410256$. Both their upper and lower bounds were best known until now. Here we prove a lower bound of $12/29\approx0.413793$.